Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_ramsey_ram_k3_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n20.ra1.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wms_crafted/ramsey/ram_k3_n20.ra1.wcnf
c Solving...
o 557399
o 551982
o 551969
o 551934
o 388940
o 388922
o 317747
o 310328
o 310098
o 309829
o 190712
o 181595
o 173094
o 173010
o 167028
o 141243
o 139217
o 139156
o 139057
o 129653
o 129523
o 129282
o 124431
o 103227
o 103052
o 93987
o 93863
o 91545
o 90921
o 90480
o 89788
o 89687
o 89649
o 89457
o 87730
o 87495
o 87431
o 87425
o 87415
o 87413
o 87401
o 87399
o 87393
o 87382
o 87361
o 87042
o 87037
o 86864
o 86759
o 86695
o 86499
o 86479
o 86416
o 86013
o 85713
o 85683
o 85516
o 85215
o 84521
o 84488
o 84181
o 83738
o 83721
o 83661
o 83589
o 83000
o 82665
o 82577
o 82478
o 82234
o 82186
o 82027
o 81794
o 81767
o 81740
o 81230
o 81217
o 81202
o 81184
o 81083
o 80866
o 80697
o 80608
o 80508
o 80463
o 80342
o 80205
o 80183
o 79201
o 78837
o 78619
o 78508
o 78152
o 78008
o 77899
o 77820
o 77609
o 77597
o 76368
o 76364
1979.579u 0.131s 33:04.81 99.7%	0+0k 0+0io 0pf+0w