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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_0.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_0.wcnf
c reading problem ... 
c ... done. Wall clock time 0.067s.
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.426
o 1414
c Got one! Elapsed wall clock time (in seconds):0.698
o 1413
c Got one! Elapsed wall clock time (in seconds):0.797
o 1412
c Got one! Elapsed wall clock time (in seconds):0.902
o 1411
c Got one! Elapsed wall clock time (in seconds):1.252
o 1410
c Got one! Elapsed wall clock time (in seconds):1.376
o 1409
c Got one! Elapsed wall clock time (in seconds):1.509
o 1408
c Got one! Elapsed wall clock time (in seconds):1.573
o 1407
c Got one! Elapsed wall clock time (in seconds):1.637
o 1406
c Got one! Elapsed wall clock time (in seconds):1.701
o 1405
c Got one! Elapsed wall clock time (in seconds):1.805
o 1404
c Got one! Elapsed wall clock time (in seconds):1.838
o 1403
c Got one! Elapsed wall clock time (in seconds):1.91
o 1402
c Got one! Elapsed wall clock time (in seconds):1.932
o 1401
c Got one! Elapsed wall clock time (in seconds):1.964
o 1400
c Got one! Elapsed wall clock time (in seconds):2.006
o 1399
c Got one! Elapsed wall clock time (in seconds):2.061
o 1398
c Got one! Elapsed wall clock time (in seconds):2.114
o 1397
c Got one! Elapsed wall clock time (in seconds):2.144
o 1396
c Got one! Elapsed wall clock time (in seconds):2.188
o 1395
c Got one! Elapsed wall clock time (in seconds):2.219
o 1394
c Got one! Elapsed wall clock time (in seconds):2.243
o 1393
c Got one! Elapsed wall clock time (in seconds):2.271
o 1392
c Got one! Elapsed wall clock time (in seconds):2.298
o 1391
c Got one! Elapsed wall clock time (in seconds):2.33
o 1390
c Got one! Elapsed wall clock time (in seconds):2.36
o 1389
c Got one! Elapsed wall clock time (in seconds):2.417
o 1388
c Got one! Elapsed wall clock time (in seconds):2.442
o 1387
c Got one! Elapsed wall clock time (in seconds):2.471
o 1386
c Got one! Elapsed wall clock time (in seconds):2.495
o 1385
c Got one! Elapsed wall clock time (in seconds):2.519
o 1384
c Got one! Elapsed wall clock time (in seconds):2.548
o 1383
c Got one! Elapsed wall clock time (in seconds):2.582
o 1382
c Got one! Elapsed wall clock time (in seconds):2.614
o 1381
c Got one! Elapsed wall clock time (in seconds):2.656
o 1380
c Got one! Elapsed wall clock time (in seconds):2.685
o 1379
c Got one! Elapsed wall clock time (in seconds):2.713
o 1378
c Got one! Elapsed wall clock time (in seconds):2.745
o 1377
c Got one! Elapsed wall clock time (in seconds):2.773
o 1376
c Got one! Elapsed wall clock time (in seconds):2.799
o 1375
c Got one! Elapsed wall clock time (in seconds):2.831
o 1374
c Got one! Elapsed wall clock time (in seconds):2.861
o 1373
c Got one! Elapsed wall clock time (in seconds):2.894
o 1372
c Got one! Elapsed wall clock time (in seconds):2.922
o 1371
c Got one! Elapsed wall clock time (in seconds):2.966
o 1370
c Got one! Elapsed wall clock time (in seconds):2.991
o 1369
c Got one! Elapsed wall clock time (in seconds):3.036
o 1368
c Got one! Elapsed wall clock time (in seconds):3.07
o 1367
c Got one! Elapsed wall clock time (in seconds):3.104
o 1366
c Got one! Elapsed wall clock time (in seconds):3.144
o 1365
c Got one! Elapsed wall clock time (in seconds):3.2
o 1364
c Got one! Elapsed wall clock time (in seconds):3.241
o 1363
c Got one! Elapsed wall clock time (in seconds):3.272
o 1362
c Got one! Elapsed wall clock time (in seconds):3.301
o 1361
c Got one! Elapsed wall clock time (in seconds):3.375
o 1360
c Got one! Elapsed wall clock time (in seconds):3.416
o 1359
c Got one! Elapsed wall clock time (in seconds):3.463
o 1358
c Got one! Elapsed wall clock time (in seconds):3.536
o 1357
c Got one! Elapsed wall clock time (in seconds):3.6
o 1356
c Got one! Elapsed wall clock time (in seconds):3.646
o 1355
c Got one! Elapsed wall clock time (in seconds):3.682
o 1354
c Got one! Elapsed wall clock time (in seconds):3.722
o 1353
c Got one! Elapsed wall clock time (in seconds):3.778
o 1352
c Got one! Elapsed wall clock time (in seconds):3.823
o 1351
c Got one! Elapsed wall clock time (in seconds):3.86
o 1350
c Got one! Elapsed wall clock time (in seconds):3.934
o 1349
c Got one! Elapsed wall clock time (in seconds):3.998
o 1348
c Got one! Elapsed wall clock time (in seconds):4.04
o 1347
c Got one! Elapsed wall clock time (in seconds):4.079
o 1346
c Got one! Elapsed wall clock time (in seconds):4.115
o 1345
c Got one! Elapsed wall clock time (in seconds):4.185
o 1344
c Got one! Elapsed wall clock time (in seconds):4.225
o 1343
c Got one! Elapsed wall clock time (in seconds):4.252
o 21
c Got one! Elapsed wall clock time (in seconds):7.245
o 20
c Got one! Elapsed wall clock time (in seconds):8.316
o 19
c Got one! Elapsed wall clock time (in seconds):8.354
o 7
c Got one! Elapsed wall clock time (in seconds):8.374
o 6
c Got one! Elapsed wall clock time (in seconds):8.38
o 4
c starts		: 170
c conflicts		: 18962
c decisions		: 77342
c propagations		: 1580056
c inspects		: 12613966
c learnt literals	: 3
c learnt binary clauses	: 16
c learnt ternary clauses	: 25
c learnt clauses	: 18958
c ignored clauses	: 0
c root simplifications	: 0
c removed literals (reason simplification)	: 64107
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (assignments/second)	: 868639.9120395823
c non guided choices	329
c learnt constraints type 
c org.sat4j.minisat.constraints.cnf.LearntHTClause => 18942
c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 16
c constraints type 
c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 500
s OPTIMUM FOUND
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 25 26 -27 -28 -29 -30 31 -32 -33 -34 35 -36 37 -38 -39 -40 -41 42 -43 -44 45 -46 47 48 -49 50 51 52 -53 54 55 56 57 -58 -59 -60 61 62 -63 -64 -65 -66 -67 -68 69 -70 71 72 -73 74 -75 76 -77 -78 79 80 -81 -82 83 84 85 -86 87 -88 -89 -90 -91 92 93 94 95 96 97 98 99 100 0
c objective function=4
c Total wall clock time (in seconds): 10.368
10.537u 0.183s 0:10.81 99.0%	0+0k 0+0io 1pf+0w