Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wbo1.6-pms_industrial-_home_maxsat_benchmarks_pms_industrial_pbo-mqc_nlogencdr_10tree410p.wcnf Job file: /home/maxsat/benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree410p.wcnf Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6 c core #1 c c c Core size: 96 Core Weight: 1 Total Weight: 1 c Current CPU time: 0.054991 s c c core #2 c c c Core size: 137 Core Weight: 1 Total Weight: 2 c Current CPU time: 0.094985 s c c core #3 c c c Core size: 220 Core Weight: 1 Total Weight: 3 c Current CPU time: 0.155976 s c c core #4 c c c Core size: 250 Core Weight: 1 Total Weight: 4 c Current CPU time: 0.230964 s c c core #5 c c c Core size: 240 Core Weight: 1 Total Weight: 5 c Current CPU time: 0.305953 s c c core #6 c c c Core size: 184 Core Weight: 1 Total Weight: 6 c Current CPU time: 0.409937 s c c core #7 c c c Core size: 167 Core Weight: 1 Total Weight: 7 c Current CPU time: 0.609907 s c c core #8 c c c Core size: 215 Core Weight: 1 Total Weight: 8 c Current CPU time: 0.889864 s c c core #9 c c c Core size: 437 Core Weight: 1 Total Weight: 9 c Current CPU time: 2.39864 s c c core #10 c c c Core size: 506 Core Weight: 1 Total Weight: 10 c Current CPU time: 8.27774 s c c core #11 c c c Core size: 272 Core Weight: 1 Total Weight: 11 c Current CPU time: 65.4101 s c c core #12 c c c Core size: 235 Core Weight: 1 Total Weight: 12 c Current CPU time: 466.397 s c c #cores: 12 s UNKNOWN 1800.001u 5.203s 30:17.61 99.3% 0+0k 0+0io 0pf+0w