Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wbo1.6-cnf-ms_random-_home_maxsat_benchmarks_ms_random_max3sat_70v_s3v70c1100-10.cnf Job file: /home/maxsat/benchmarks/ms_random/max3sat/70v/s3v70c1100-10.cnf Job solver: /home/maxsat/solvers/wbo1.6-cnf/wbo1.6-cnf c core #1 c c c Core size: 89 Core Weight: 1 Total Weight: 1 c Current CPU time: 0.004999 s c c core #2 c c c Core size: 218 Core Weight: 1 Total Weight: 2 c Current CPU time: 0.015997 s c c core #3 c c c Core size: 403 Core Weight: 1 Total Weight: 3 c Current CPU time: 0.044993 s c c core #4 c c c Core size: 146 Core Weight: 1 Total Weight: 4 c Current CPU time: 0.111982 s c c core #5 c c c Core size: 213 Core Weight: 1 Total Weight: 5 c Current CPU time: 0.154976 s c c core #6 c c c Core size: 432 Core Weight: 1 Total Weight: 6 c Current CPU time: 0.19597 s c c core #7 c c c Core size: 697 Core Weight: 1 Total Weight: 7 c Current CPU time: 0.427934 s c c core #8 c c c Core size: 973 Core Weight: 1 Total Weight: 8 c Current CPU time: 8.90864 s c c core #9 c c c Core size: 1104 Core Weight: 1 Total Weight: 9 c Current CPU time: 429.964 s c c #cores: 9 s UNKNOWN 1800.000u 6.284s 30:17.11 99.4% 0+0k 0+0io 0pf+0w