Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-maxsat_crafted-_home_jplanes_evaluation_benchmarks_maxsat_crafted_MAXCUT_DIMACS_MOD_johnson8-4-4.clq.cnf
Job file: /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/johnson8-4-4.clq.cnf
Job solver: /home/jplanes/evaluation/solvers/DanielLeBerre/SAT4J-Maxsat
c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
c This is free software under the dual EPL/GNU LGPL licenses.
c See www.sat4j.org for details.
c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
c version 2.1.0.v20090425
c sun.arch.data.model	64
c java.version	1.5.0
c os.name	Linux
c os.version	2.6.9-5.0.5.ELsmp
c os.arch	amd64
c Free memory 403233816
c Max memory 405471232
c Total memory 405471232
c Number of processors 2
c c --- Begin Solver configuration ---
c Stops conflict analysis at the first Unique Implication Point
c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@296672d6
c Learn all clauses as in MiniSAT
c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.2 initConflictBound=100000 
c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
c No reason simplification
c MiniSAT restarts strategy
c Memory based learned constraints deletion strategy
c timeout=2147483s
c DB Simplification allowed=false
c --- End Solver configuration ---
c solving /home/jplanes/evaluation/benchmarks/maxsat_crafted/MAXCUT/DIMACS_MOD/johnson8-4-4.clq.cnf
c reading problem ... 
c ... done. Wall clock time 0.246s.
c #vars     3780
c #constraints  3710
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3710
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.752
o 2416
c Got one! Elapsed wall clock time (in seconds):0.86
o 1590
c Got one! Elapsed wall clock time (in seconds):0.925
o 1589
c Got one! Elapsed wall clock time (in seconds):0.969
o 1547
c Got one! Elapsed wall clock time (in seconds):1.066
o 1546
c Got one! Elapsed wall clock time (in seconds):1.085
o 1545
c Got one! Elapsed wall clock time (in seconds):1.095
o 1504
c Got one! Elapsed wall clock time (in seconds):1.116
o 1503
c Got one! Elapsed wall clock time (in seconds):1.128
o 1502
c Got one! Elapsed wall clock time (in seconds):1.146
o 1501
c Got one! Elapsed wall clock time (in seconds):1.156
o 1500
c Got one! Elapsed wall clock time (in seconds):1.166
o 1461
c Got one! Elapsed wall clock time (in seconds):1.199
o 1460
c Got one! Elapsed wall clock time (in seconds):1.218
o 1459
c Got one! Elapsed wall clock time (in seconds):1.249
o 1458
c Got one! Elapsed wall clock time (in seconds):1.261
o 1457
c Got one! Elapsed wall clock time (in seconds):1.28
o 1456
c Got one! Elapsed wall clock time (in seconds):1.291
o 1455
c Got one! Elapsed wall clock time (in seconds):1.3
o 1418
c Got one! Elapsed wall clock time (in seconds):1.359
o 1417
c Got one! Elapsed wall clock time (in seconds):1.378
o 1416
c Got one! Elapsed wall clock time (in seconds):1.389
o 1415
c Got one! Elapsed wall clock time (in seconds):1.398
o 1381
c Got one! Elapsed wall clock time (in seconds):1.454
o 1380
c Got one! Elapsed wall clock time (in seconds):1.477
o 1379
c Got one! Elapsed wall clock time (in seconds):1.488
o 1378
c Got one! Elapsed wall clock time (in seconds):1.499
o 1377
c Got one! Elapsed wall clock time (in seconds):1.508
o 1344
c Got one! Elapsed wall clock time (in seconds):1.532
o 1343
c Got one! Elapsed wall clock time (in seconds):1.601
o 1342
c Got one! Elapsed wall clock time (in seconds):1.624
o 1341
c Got one! Elapsed wall clock time (in seconds):1.636
o 1340
c Got one! Elapsed wall clock time (in seconds):1.648
o 1339
c Got one! Elapsed wall clock time (in seconds):1.658
o 1338
c Got one! Elapsed wall clock time (in seconds):1.668
o 1307
c Got one! Elapsed wall clock time (in seconds):1.826
o 1306
c Got one! Elapsed wall clock time (in seconds):1.839
o 1305
c Got one! Elapsed wall clock time (in seconds):1.85
o 1304
c Got one! Elapsed wall clock time (in seconds):1.862
o 1303
c Got one! Elapsed wall clock time (in seconds):1.872
o 1270
c Got one! Elapsed wall clock time (in seconds):2.027
o 1269
c Got one! Elapsed wall clock time (in seconds):2.274
o 1268
c Got one! Elapsed wall clock time (in seconds):2.287
o 1267
c Got one! Elapsed wall clock time (in seconds):2.298
o 1266
c Got one! Elapsed wall clock time (in seconds):2.309
o 1265
c Got one! Elapsed wall clock time (in seconds):2.319
o 1235
c Got one! Elapsed wall clock time (in seconds):2.454
o 1234
c Got one! Elapsed wall clock time (in seconds):2.667
o 1233
c Got one! Elapsed wall clock time (in seconds):2.783
o 1232
c Got one! Elapsed wall clock time (in seconds):2.92
o 1231
c Got one! Elapsed wall clock time (in seconds):2.949
o 1230
c Got one! Elapsed wall clock time (in seconds):2.962
o 1229
c Got one! Elapsed wall clock time (in seconds):2.975
o 1228
c Got one! Elapsed wall clock time (in seconds):2.988
o 1227
c Got one! Elapsed wall clock time (in seconds):3.0
o 1226
c Got one! Elapsed wall clock time (in seconds):3.01
o 1200
c Got one! Elapsed wall clock time (in seconds):3.161
o 1199
c Got one! Elapsed wall clock time (in seconds):3.442
o 1198
c Got one! Elapsed wall clock time (in seconds):3.699
o 1197
c Got one! Elapsed wall clock time (in seconds):3.798
o 1196
c Got one! Elapsed wall clock time (in seconds):3.903
o 1195
c Got one! Elapsed wall clock time (in seconds):4.065
o 1194
c Got one! Elapsed wall clock time (in seconds):4.078
o 1193
c Got one! Elapsed wall clock time (in seconds):4.105
o 1192
c Got one! Elapsed wall clock time (in seconds):4.12
o 1191
c Got one! Elapsed wall clock time (in seconds):4.13
o 1165
c Got one! Elapsed wall clock time (in seconds):4.27
o 1164
c Got one! Elapsed wall clock time (in seconds):4.62
o 1163
c Got one! Elapsed wall clock time (in seconds):4.898
o 1162
c Got one! Elapsed wall clock time (in seconds):5.373
o 1161
c Got one! Elapsed wall clock time (in seconds):5.469
o 1160
c Got one! Elapsed wall clock time (in seconds):5.483
o 1159
c Got one! Elapsed wall clock time (in seconds):5.499
o 1158
c Got one! Elapsed wall clock time (in seconds):5.512
o 1157
c Got one! Elapsed wall clock time (in seconds):5.527
o 1156
c Got one! Elapsed wall clock time (in seconds):5.543
o 1155
c Got one! Elapsed wall clock time (in seconds):5.554
o 1132
c Got one! Elapsed wall clock time (in seconds):5.975
o 1131
c Got one! Elapsed wall clock time (in seconds):6.277
o 1130
c Got one! Elapsed wall clock time (in seconds):6.668
o 1129
c Got one! Elapsed wall clock time (in seconds):7.135
o 1128
c Got one! Elapsed wall clock time (in seconds):7.236
o 1127
c Got one! Elapsed wall clock time (in seconds):7.285
o 1126
c Got one! Elapsed wall clock time (in seconds):7.378
o 1125
c Got one! Elapsed wall clock time (in seconds):7.441
o 1124
c Got one! Elapsed wall clock time (in seconds):7.454
o 1123
c Got one! Elapsed wall clock time (in seconds):7.466
o 1122
c Got one! Elapsed wall clock time (in seconds):7.479
o 1121
c Got one! Elapsed wall clock time (in seconds):7.49
o 1099
c Got one! Elapsed wall clock time (in seconds):7.764
o 1098
c Got one! Elapsed wall clock time (in seconds):8.28
o 1097
c Got one! Elapsed wall clock time (in seconds):8.489
o 1096
c Got one! Elapsed wall clock time (in seconds):9.371
o 1095
c Got one! Elapsed wall clock time (in seconds):9.597
o 1094
c Got one! Elapsed wall clock time (in seconds):9.884
o 1093
c Got one! Elapsed wall clock time (in seconds):9.968
o 1092
c Got one! Elapsed wall clock time (in seconds):9.982
o 1091
c Got one! Elapsed wall clock time (in seconds):9.994
o 1090
c Got one! Elapsed wall clock time (in seconds):10.005
o 1066
c Got one! Elapsed wall clock time (in seconds):10.989
o 1065
c Got one! Elapsed wall clock time (in seconds):11.862
o 1064
c Got one! Elapsed wall clock time (in seconds):12.712
o 1063
c Got one! Elapsed wall clock time (in seconds):12.956
o 1062
c Got one! Elapsed wall clock time (in seconds):13.334
o 1061
c Got one! Elapsed wall clock time (in seconds):13.365
o 1060
c Got one! Elapsed wall clock time (in seconds):13.392
o 1059
c Got one! Elapsed wall clock time (in seconds):13.406
o 1058
c Got one! Elapsed wall clock time (in seconds):13.417
o 1057
c Got one! Elapsed wall clock time (in seconds):13.428
o 1056
c Got one! Elapsed wall clock time (in seconds):13.437
o 1047
c Got one! Elapsed wall clock time (in seconds):15.365
o 1046
c Got one! Elapsed wall clock time (in seconds):17.146
o 1045
c Got one! Elapsed wall clock time (in seconds):17.234
o 1044
c Got one! Elapsed wall clock time (in seconds):17.323
o 1043
c Got one! Elapsed wall clock time (in seconds):17.396
o 1042
c Got one! Elapsed wall clock time (in seconds):17.406
o 1028
c Got one! Elapsed wall clock time (in seconds):21.452
o 1027
c Got one! Elapsed wall clock time (in seconds):23.214
o 1026
c Got one! Elapsed wall clock time (in seconds):23.935
o 1025
c Got one! Elapsed wall clock time (in seconds):23.98
o 1024
c Got one! Elapsed wall clock time (in seconds):23.99
o 1009
c Got one! Elapsed wall clock time (in seconds):30.952
o 1008
c Got one! Elapsed wall clock time (in seconds):33.758
o 1007
c Got one! Elapsed wall clock time (in seconds):37.931
o 1006
c Got one! Elapsed wall clock time (in seconds):39.538
o 1005
c Got one! Elapsed wall clock time (in seconds):40.083
o 1004
c Got one! Elapsed wall clock time (in seconds):40.144
o 1003
c Got one! Elapsed wall clock time (in seconds):40.248
o 1002
c Got one! Elapsed wall clock time (in seconds):40.343
o 1001
c Got one! Elapsed wall clock time (in seconds):40.426
o 1000
c Got one! Elapsed wall clock time (in seconds):40.504
o 999
c Got one! Elapsed wall clock time (in seconds):40.598
o 998
c Got one! Elapsed wall clock time (in seconds):40.643
o 997
c Got one! Elapsed wall clock time (in seconds):40.658
o 996
c Got one! Elapsed wall clock time (in seconds):40.668
o 990
c Got one! Elapsed wall clock time (in seconds):48.379
o 989
c Got one! Elapsed wall clock time (in seconds):65.666
o 988
c Got one! Elapsed wall clock time (in seconds):67.491
o 987
c Got one! Elapsed wall clock time (in seconds):67.818
o 986
c Got one! Elapsed wall clock time (in seconds):68.726
o 985
c Got one! Elapsed wall clock time (in seconds):68.97
o 984
c Got one! Elapsed wall clock time (in seconds):68.988
o 983
c Got one! Elapsed wall clock time (in seconds):69.002
o 982
c Got one! Elapsed wall clock time (in seconds):69.013
o 973
c cleaning 42625 clauses out of 86000
c Got one! Elapsed wall clock time (in seconds):87.487
o 972
c Got one! Elapsed wall clock time (in seconds):108.061
o 971
c cleaning 41060 clauses out of 82875
c Got one! Elapsed wall clock time (in seconds):129.179
o 970
c Got one! Elapsed wall clock time (in seconds):133.741
o 969
c Got one! Elapsed wall clock time (in seconds):134.393
o 968
c Got one! Elapsed wall clock time (in seconds):136.147
o 967
c Got one! Elapsed wall clock time (in seconds):136.925
o 966
c Got one! Elapsed wall clock time (in seconds):137.013
o 965
c Got one! Elapsed wall clock time (in seconds):137.024
o 956
c cleaning 42802 clauses out of 86315
c Got one! Elapsed wall clock time (in seconds):170.565
o 955
c Got one! Elapsed wall clock time (in seconds):209.674
o 954
c cleaning 41161 clauses out of 83013
c Got one! Elapsed wall clock time (in seconds):241.381
o 953
c Got one! Elapsed wall clock time (in seconds):251.489
o 952
c Got one! Elapsed wall clock time (in seconds):251.872
o 951
c cleaning 42825 clauses out of 86352
c Got one! Elapsed wall clock time (in seconds):260.094
o 950
c Got one! Elapsed wall clock time (in seconds):260.219
o 949
c Got one! Elapsed wall clock time (in seconds):260.459
o 948
c Got one! Elapsed wall clock time (in seconds):260.488
o 947
c Got one! Elapsed wall clock time (in seconds):260.498
o 939
c Got one! Elapsed wall clock time (in seconds):273.051
o 938
c cleaning 41438 clauses out of 83527
c cleaning 43218 clauses out of 87091
c cleaning 41678 clauses out of 83371
c cleaning 43586 clauses out of 87193
c cleaning 40799 clauses out of 81609
c Got one! Elapsed wall clock time (in seconds):494.334
o 937
c cleaning 42148 clauses out of 84308
c cleaning 41056 clauses out of 82160
c cleaning 42795 clauses out of 85606
c Got one! Elapsed wall clock time (in seconds):590.744
o 936
c cleaning 40896 clauses out of 81811
c cleaning 42695 clauses out of 85414
c cleaning 40839 clauses out of 81718
c Got one! Elapsed wall clock time (in seconds):756.161
o 935
c cleaning 42682 clauses out of 85380
c cleaning 40841 clauses out of 81697
c cleaning 42170 clauses out of 84356
c Got one! Elapsed wall clock time (in seconds):843.161
o 934
c cleaning 40584 clauses out of 81186
c cleaning 41299 clauses out of 82610
c cleaning 40397 clauses out of 80806
c cleaning 42431 clauses out of 84907
c cleaning 40713 clauses out of 81475
c cleaning 42124 clauses out of 84262
c cleaning 40312 clauses out of 80638
c cleaning 41655 clauses out of 83328
c cleaning 39821 clauses out of 79671
c cleaning 41915 clauses out of 83851
c cleaning 40442 clauses out of 80935
c cleaning 41725 clauses out of 83497
c cleaning 40613 clauses out of 81269
c Got one! Elapsed wall clock time (in seconds):1415.554
o 933
c cleaning 42571 clauses out of 85157
c cleaning 40037 clauses out of 80084
c cleaning 41521 clauses out of 83047
c cleaning 39747 clauses out of 79526
c cleaning 41114 clauses out of 82279
c cleaning 39329 clauses out of 78667
c Got one! Elapsed wall clock time (in seconds):1688.781
o 932
c cleaning 40896 clauses out of 81836
c cleaning 38961 clauses out of 77941
c cleaning 40960 clauses out of 81979
c Got one! Elapsed wall clock time (in seconds):1768.57
o 931
c cleaning 39001 clauses out of 78019
c cleaning 40747 clauses out of 81518
Killed
1847.002u 0.557s 30:48.31 99.9%	0+0k 0+0io 1pf+0w