Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...le_rwpms_wcnf_L3_V100_C600_H100_6.wcnf
c Solving...
o 385
o 384
o 383
o 382
o 220
o 219
o 217
o 216
o 174
o 171
o 117
o 72
o 70
o 48
o 46
o 32
o 31
o 30
o 29
o 28
o 26
c Answer: 21
v -1 2 -3 -4 5 6 -7 8 9 -10 11 12 13 14 15 -16 -17 18 19 -20 21 22 23 24
v 25 -26 27 -28 29 30 31 32 -33 34 -35 36 -37 38 -39 -40 -41 -42 -43 44 -45
v 46 47 48 -49 50 51 -52 -53 54 55 -56 57 -58 59 -60 -61 62 63 -64 65 66
v -67 68 69 70 71 -72 -73 -74 75 76 77 -78 -79 80 -81 82 -83 -84 85 86 87
v 88 89 90 91 -92 93 -94 -95 -96 97 98 -99 100 0
s OPTIMUM FOUND

c Models        : 1     
c   Enumerated  : 21
c   Optimum     : yes
c Optimization  : 26
c Time          : 1065.481s (Solving: 1065.48s 1st Model: 0.00s Unsat: 1060.64s)
c CPU Time      : 1064.310s
1064.140u 0.015s 17:45.49 99.8%	0+0k 0+0io 0pf+0w