Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wbo1.6-wms_industrial-_home_maxsat_benchmarks_wms_industrial_aes_mul_8_3.wcnf Job file: /home/maxsat/benchmarks/wms_industrial/aes/mul_8_3.wcnf Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6 c core #1 c c c Core size: 41 Core Weight: 1 Total Weight: 1 c Current CPU time: 0.676897 s c c core #2 c c c Core size: 43 Core Weight: 1 Total Weight: 2 c Current CPU time: 0.995848 s c c core #3 c c c Core size: 20 Core Weight: 1 Total Weight: 3 c Current CPU time: 1.3248 s c c core #4 c c c Core size: 43 Core Weight: 1 Total Weight: 4 c Current CPU time: 1.63675 s c c core #5 c c c Core size: 36 Core Weight: 1 Total Weight: 5 c Current CPU time: 1.9677 s c c core #6 c c c Core size: 38 Core Weight: 1 Total Weight: 6 c Current CPU time: 2.29565 s c c core #7 c c c Core size: 37 Core Weight: 1 Total Weight: 7 c Current CPU time: 2.6356 s c c core #8 c c c Core size: 23 Core Weight: 1 Total Weight: 8 c Current CPU time: 2.97955 s c c core #9 c c c Core size: 34 Core Weight: 1 Total Weight: 9 c Current CPU time: 3.31849 s c c core #10 c c c Core size: 44 Core Weight: 1 Total Weight: 10 c Current CPU time: 3.67244 s c c core #11 c c c Core size: 40 Core Weight: 1 Total Weight: 11 c Current CPU time: 4.02639 s c c core #12 c c c Core size: 40 Core Weight: 1 Total Weight: 12 c Current CPU time: 4.38533 s c c core #13 c c c Core size: 37 Core Weight: 1 Total Weight: 13 c Current CPU time: 4.74628 s c c core #14 c c c Core size: 23 Core Weight: 1 Total Weight: 14 c Current CPU time: 5.10922 s c c core #15 c c c Core size: 37 Core Weight: 1 Total Weight: 15 c Current CPU time: 5.46617 s c c core #16 c c c Core size: 37 Core Weight: 1 Total Weight: 16 c Current CPU time: 5.83511 s c c core #17 c c c Core size: 23 Core Weight: 1 Total Weight: 17 c Current CPU time: 6.20606 s c c core #18 c c c Core size: 79 Core Weight: 1 Total Weight: 18 c Current CPU time: 6.573 s c c core #19 c c c Core size: 81 Core Weight: 1 Total Weight: 19 c Current CPU time: 6.95394 s c c core #20 c c c Core size: 77 Core Weight: 1 Total Weight: 20 c Current CPU time: 7.33389 s c c core #21 c c c Core size: 116 Core Weight: 1 Total Weight: 21 c Current CPU time: 7.71683 s c c core #22 c c c Core size: 106 Core Weight: 1 Total Weight: 22 c Current CPU time: 8.10577 s c c core #23 c c c Core size: 74 Core Weight: 1 Total Weight: 23 c Current CPU time: 8.49671 s c c core #24 c c c Core size: 399 Core Weight: 1 Total Weight: 24 c Current CPU time: 8.91165 s c c core #25 c c c Core size: 545 Core Weight: 1 Total Weight: 25 c Current CPU time: 9.38157 s c c core #26 c c c Core size: 2798 Core Weight: 1 Total Weight: 26 c Current CPU time: 13.385 s c