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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_5.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_5.wcnf
c Solving...
o 343
o 342
o 341
o 340
o 339
o 338
o 239
o 184
o 183
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
o 28
o 27
c Answer: 19
v 1 -2 -3 -4 5 6 7 -8 9 10 -11 -12 13 -14 -15 -16 -17 18 19 20 -21 22 23
v 24 25 26 -27 28 -29 -30 31 -32 -33 34 35 -36 -37 -38 -39 40 41 42 -43 -44
v -45 46 47 -48 -49 -50 51 52 53 54 55 -56 -57 58 59 60 -61 62 -63 -64 -65
v -66 67 68 -69 70 71 -72 -73 74 75 76 -77 78 -79 -80 -81 82 -83 84 -85 -86
v 87 88 -89 -90 -91 92 93 -94 -95 96 97 -98 -99 -100 0
s OPTIMUM FOUND

c Models        : 1     
c   Enumerated  : 19
c   Optimum     : yes
c Optimization  : 27
c Time          : 986.205s (Solving: 986.20s 1st Model: 0.00s Unsat: 966.92s)
c CPU Time      : 985.310s
985.170u 0.009s 16:26.22 99.8%	0+0k 0+0io 0pf+0w