Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i2000d0u98-30.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-30.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...oblem/mancoosi-test-i2000d0u98-30.wcnf
c Solving...
o 20517826820
o 2240354044
o 2227436133
o 2227435894
o 2225434566
o 1116468549
o 1113579247
o 287504673
o 287504672
o 287504671
o 287504670
o 287504669
o 287504668
o 287504667
o 287498728
o 287496940
o 287431989
o 287431988
o 287431987
o 275724480
o 275724474
o 227416483
o 227416482
o 227410644
o 227410640
o 227343799
o 227343798
o 227343797
o 227343796
o 227343795
o 227343794
o 215599965
o 215599963
o 215545467
o 212389892
o 212389891
o 212383990
o 212382197
o 212317208
o 212317207
o 212317206
1979.523u 0.190s 33:03.17 99.8%	0+0k 0+0io 0pf+0w