Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf
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.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@7c64dc11
c Learn all clauses as in MiniSAT
c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
c Expensive 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/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf
c reading problem ... 
c ... done. Wall clock time 0.068s.
c #vars     600
c #constraints  500
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 500
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):0.44
o 1419
c Got one! Elapsed wall clock time (in seconds):0.575
o 1416
c Got one! Elapsed wall clock time (in seconds):0.671
o 1415
c Got one! Elapsed wall clock time (in seconds):0.736
o 1414
c Got one! Elapsed wall clock time (in seconds):0.823
o 1372
c Got one! Elapsed wall clock time (in seconds):0.872
o 1371
c Got one! Elapsed wall clock time (in seconds):0.94
o 1370
c Got one! Elapsed wall clock time (in seconds):0.979
o 1369
c Got one! Elapsed wall clock time (in seconds):1.038
o 1368
c Got one! Elapsed wall clock time (in seconds):1.075
o 1367
c Got one! Elapsed wall clock time (in seconds):1.147
o 1366
c Got one! Elapsed wall clock time (in seconds):1.175
o 1365
c Got one! Elapsed wall clock time (in seconds):1.232
o 1364
c Got one! Elapsed wall clock time (in seconds):1.258
o 1363
c Got one! Elapsed wall clock time (in seconds):1.284
o 1362
c Got one! Elapsed wall clock time (in seconds):1.316
o 1361
c Got one! Elapsed wall clock time (in seconds):1.345
o 1360
c Got one! Elapsed wall clock time (in seconds):1.369
o 1359
c Got one! Elapsed wall clock time (in seconds):1.402
o 1358
c Got one! Elapsed wall clock time (in seconds):1.43
o 1357
c Got one! Elapsed wall clock time (in seconds):1.459
o 1356
c Got one! Elapsed wall clock time (in seconds):1.489
o 1355
c Got one! Elapsed wall clock time (in seconds):1.515
o 1354
c Got one! Elapsed wall clock time (in seconds):1.54
o 1353
c Got one! Elapsed wall clock time (in seconds):1.561
o 1352
c Got one! Elapsed wall clock time (in seconds):1.596
o 1351
c Got one! Elapsed wall clock time (in seconds):1.625
o 1350
c Got one! Elapsed wall clock time (in seconds):1.646
o 1349
c Got one! Elapsed wall clock time (in seconds):1.668
o 1348
c Got one! Elapsed wall clock time (in seconds):1.701
o 1347
c Got one! Elapsed wall clock time (in seconds):1.725
o 1346
c Got one! Elapsed wall clock time (in seconds):1.751
o 1345
c Got one! Elapsed wall clock time (in seconds):1.781
o 1344
c Got one! Elapsed wall clock time (in seconds):1.818
o 1343
c Got one! Elapsed wall clock time (in seconds):1.854
o 1342
c Got one! Elapsed wall clock time (in seconds):1.893
o 1341
c Got one! Elapsed wall clock time (in seconds):1.937
o 1340
c Got one! Elapsed wall clock time (in seconds):1.972
o 1339
c Got one! Elapsed wall clock time (in seconds):2.005
o 1338
c Got one! Elapsed wall clock time (in seconds):2.033
o 1337
c Got one! Elapsed wall clock time (in seconds):2.062
o 1336
c Got one! Elapsed wall clock time (in seconds):2.091
o 1335
c Got one! Elapsed wall clock time (in seconds):2.13
o 1334
c Got one! Elapsed wall clock time (in seconds):2.166
o 1333
c Got one! Elapsed wall clock time (in seconds):2.201
o 1332
c Got one! Elapsed wall clock time (in seconds):2.245
o 1331
c Got one! Elapsed wall clock time (in seconds):2.286
o 1330
c Got one! Elapsed wall clock time (in seconds):2.337
o 1329
c Got one! Elapsed wall clock time (in seconds):2.371
o 1328
c Got one! Elapsed wall clock time (in seconds):2.409
o 1327
c Got one! Elapsed wall clock time (in seconds):2.444
o 1326
c Got one! Elapsed wall clock time (in seconds):2.515
o 1325
c Got one! Elapsed wall clock time (in seconds):2.552
o 1324
c Got one! Elapsed wall clock time (in seconds):2.604
o 1323
c Got one! Elapsed wall clock time (in seconds):2.633
o 1322
c Got one! Elapsed wall clock time (in seconds):2.66
o 1321
c Got one! Elapsed wall clock time (in seconds):2.709
o 1320
c Got one! Elapsed wall clock time (in seconds):2.739
o 1319
c Got one! Elapsed wall clock time (in seconds):2.783
o 1318
c Got one! Elapsed wall clock time (in seconds):2.82
o 1317
c Got one! Elapsed wall clock time (in seconds):2.855
o 1316
c Got one! Elapsed wall clock time (in seconds):2.884
o 1315
c Got one! Elapsed wall clock time (in seconds):2.93
o 1314
c Got one! Elapsed wall clock time (in seconds):2.968
o 1313
c Got one! Elapsed wall clock time (in seconds):3.001
o 1312
c Got one! Elapsed wall clock time (in seconds):3.094
o 1311
c Got one! Elapsed wall clock time (in seconds):3.158
o 1310
c Got one! Elapsed wall clock time (in seconds):3.2
o 1309
c Got one! Elapsed wall clock time (in seconds):3.256
o 1308
c Got one! Elapsed wall clock time (in seconds):3.286
o 1307
c Got one! Elapsed wall clock time (in seconds):3.337
o 1306
c Got one! Elapsed wall clock time (in seconds):3.379
o 1305
c Got one! Elapsed wall clock time (in seconds):3.426
o 1304
c Got one! Elapsed wall clock time (in seconds):3.487
o 1303
c Got one! Elapsed wall clock time (in seconds):3.532
o 1302
c Got one! Elapsed wall clock time (in seconds):3.588
o 1301
c Got one! Elapsed wall clock time (in seconds):3.646
o 1300
c Got one! Elapsed wall clock time (in seconds):3.734
o 1299
c Got one! Elapsed wall clock time (in seconds):3.798
o 1298
c Got one! Elapsed wall clock time (in seconds):3.853
o 1297
c Got one! Elapsed wall clock time (in seconds):3.894
o 1296
c Got one! Elapsed wall clock time (in seconds):3.938
o 1295
c Got one! Elapsed wall clock time (in seconds):4.006
o 1294
c Got one! Elapsed wall clock time (in seconds):4.05
o 1293
c Got one! Elapsed wall clock time (in seconds):4.129
o 1292
c Got one! Elapsed wall clock time (in seconds):4.184
o 1291
c Got one! Elapsed wall clock time (in seconds):4.3
o 1290
c Got one! Elapsed wall clock time (in seconds):4.354
o 1289
c Got one! Elapsed wall clock time (in seconds):4.405
o 1288
c Got one! Elapsed wall clock time (in seconds):4.565
o 1287
c Got one! Elapsed wall clock time (in seconds):4.655
o 1286
c Got one! Elapsed wall clock time (in seconds):4.721
o 1285
c Got one! Elapsed wall clock time (in seconds):4.795
o 1284
c Got one! Elapsed wall clock time (in seconds):4.843
o 1283
c Got one! Elapsed wall clock time (in seconds):4.898
o 1282
c Got one! Elapsed wall clock time (in seconds):5.0
o 1281
c Got one! Elapsed wall clock time (in seconds):5.064
o 1280
c Got one! Elapsed wall clock time (in seconds):5.143
o 1279
c Got one! Elapsed wall clock time (in seconds):5.182
o 1278
c Got one! Elapsed wall clock time (in seconds):5.216
o 1277
c Got one! Elapsed wall clock time (in seconds):5.281
o 1276
c Got one! Elapsed wall clock time (in seconds):5.32
o 1275
c Got one! Elapsed wall clock time (in seconds):5.389
o 1274
c Got one! Elapsed wall clock time (in seconds):5.478
o 1273
c Got one! Elapsed wall clock time (in seconds):5.561
o 1272
c Got one! Elapsed wall clock time (in seconds):5.608
o 1271
c Got one! Elapsed wall clock time (in seconds):5.66
o 1270
c Got one! Elapsed wall clock time (in seconds):5.72
o 1269
c Got one! Elapsed wall clock time (in seconds):5.763
o 1268
c Got one! Elapsed wall clock time (in seconds):5.812
o 66
c Got one! Elapsed wall clock time (in seconds):5.834
o 16
c Got one! Elapsed wall clock time (in seconds):5.84
o 14
Killed
1823.464u 0.480s 30:23.33 100.0%	0+0k 0+0io 1pf+0w