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_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_3.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_3.wcnf
c reading problem ... 
c ... done. Wall clock time 0.07s.
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.489
o 1429
c Got one! Elapsed wall clock time (in seconds):0.743
o 1428
c Got one! Elapsed wall clock time (in seconds):0.889
o 1427
c Got one! Elapsed wall clock time (in seconds):0.991
o 1426
c Got one! Elapsed wall clock time (in seconds):1.12
o 1326
c Got one! Elapsed wall clock time (in seconds):1.261
o 1325
c Got one! Elapsed wall clock time (in seconds):1.4
o 1324
c Got one! Elapsed wall clock time (in seconds):1.459
o 1323
c Got one! Elapsed wall clock time (in seconds):1.54
o 1322
c Got one! Elapsed wall clock time (in seconds):1.596
o 1321
c Got one! Elapsed wall clock time (in seconds):1.707
o 1320
c Got one! Elapsed wall clock time (in seconds):1.74
o 1319
c Got one! Elapsed wall clock time (in seconds):1.826
o 1318
c Got one! Elapsed wall clock time (in seconds):1.849
o 1317
c Got one! Elapsed wall clock time (in seconds):1.879
o 1316
c Got one! Elapsed wall clock time (in seconds):1.904
o 1315
c Got one! Elapsed wall clock time (in seconds):1.929
o 1314
c Got one! Elapsed wall clock time (in seconds):2.001
o 1313
c Got one! Elapsed wall clock time (in seconds):2.05
o 1312
c Got one! Elapsed wall clock time (in seconds):2.093
o 1311
c Got one! Elapsed wall clock time (in seconds):2.132
o 1310
c Got one! Elapsed wall clock time (in seconds):2.159
o 1309
c Got one! Elapsed wall clock time (in seconds):2.182
o 1308
c Got one! Elapsed wall clock time (in seconds):2.205
o 1307
c Got one! Elapsed wall clock time (in seconds):2.244
o 1306
c Got one! Elapsed wall clock time (in seconds):2.276
o 1305
c Got one! Elapsed wall clock time (in seconds):2.311
o 1304
c Got one! Elapsed wall clock time (in seconds):2.356
o 1303
c Got one! Elapsed wall clock time (in seconds):2.384
o 1302
c Got one! Elapsed wall clock time (in seconds):2.407
o 1301
c Got one! Elapsed wall clock time (in seconds):2.434
o 1300
c Got one! Elapsed wall clock time (in seconds):2.455
o 1299
c Got one! Elapsed wall clock time (in seconds):2.495
o 1298
c Got one! Elapsed wall clock time (in seconds):2.521
o 1297
c Got one! Elapsed wall clock time (in seconds):2.547
o 1296
c Got one! Elapsed wall clock time (in seconds):2.584
o 1295
c Got one! Elapsed wall clock time (in seconds):2.631
o 1294
c Got one! Elapsed wall clock time (in seconds):2.661
o 1293
c Got one! Elapsed wall clock time (in seconds):2.692
o 1292
c Got one! Elapsed wall clock time (in seconds):2.717
o 1291
c Got one! Elapsed wall clock time (in seconds):2.761
o 1290
c Got one! Elapsed wall clock time (in seconds):2.804
o 1289
c Got one! Elapsed wall clock time (in seconds):2.852
o 1288
c Got one! Elapsed wall clock time (in seconds):2.886
o 1287
c Got one! Elapsed wall clock time (in seconds):2.943
o 1286
c Got one! Elapsed wall clock time (in seconds):2.975
o 1285
c Got one! Elapsed wall clock time (in seconds):3.058
o 1284
c Got one! Elapsed wall clock time (in seconds):3.105
o 1283
c Got one! Elapsed wall clock time (in seconds):3.148
o 1282
c Got one! Elapsed wall clock time (in seconds):3.19
o 1281
c Got one! Elapsed wall clock time (in seconds):3.222
o 1280
c Got one! Elapsed wall clock time (in seconds):3.255
o 1279
c Got one! Elapsed wall clock time (in seconds):3.313
o 1278
c Got one! Elapsed wall clock time (in seconds):3.356
o 1277
c Got one! Elapsed wall clock time (in seconds):3.394
o 1276
c Got one! Elapsed wall clock time (in seconds):3.491
o 1275
c Got one! Elapsed wall clock time (in seconds):3.54
o 1274
c Got one! Elapsed wall clock time (in seconds):3.595
o 1273
c Got one! Elapsed wall clock time (in seconds):3.629
o 1272
c Got one! Elapsed wall clock time (in seconds):3.657
o 1271
c Got one! Elapsed wall clock time (in seconds):3.71
o 1270
c Got one! Elapsed wall clock time (in seconds):3.775
o 1269
c Got one! Elapsed wall clock time (in seconds):3.819
o 1268
c Got one! Elapsed wall clock time (in seconds):3.848
o 1267
c Got one! Elapsed wall clock time (in seconds):3.881
o 1266
c Got one! Elapsed wall clock time (in seconds):3.926
o 1265
c Got one! Elapsed wall clock time (in seconds):3.985
o 1264
c Got one! Elapsed wall clock time (in seconds):4.035
o 1263
c Got one! Elapsed wall clock time (in seconds):4.083
o 1262
c Got one! Elapsed wall clock time (in seconds):4.142
o 1261
c Got one! Elapsed wall clock time (in seconds):4.239
o 1260
c Got one! Elapsed wall clock time (in seconds):4.311
o 1259
c Got one! Elapsed wall clock time (in seconds):4.362
o 1258
c Got one! Elapsed wall clock time (in seconds):4.413
o 1257
c Got one! Elapsed wall clock time (in seconds):4.473
o 1256
c Got one! Elapsed wall clock time (in seconds):4.588
o 1255
c Got one! Elapsed wall clock time (in seconds):4.642
o 1254
c Got one! Elapsed wall clock time (in seconds):4.736
o 1253
c Got one! Elapsed wall clock time (in seconds):4.8
o 1252
c Got one! Elapsed wall clock time (in seconds):4.843
o 30
c Got one! Elapsed wall clock time (in seconds):4.886
o 29
c Got one! Elapsed wall clock time (in seconds):4.9
o 7
c Got one! Elapsed wall clock time (in seconds):10.867
o 6
c starts		: 175
c conflicts		: 16598
c decisions		: 75287
c propagations		: 835114
c inspects		: 15120574
c learnt literals	: 3
c learnt binary clauses	: 22
c learnt ternary clauses	: 87
c learnt clauses	: 16594
c ignored clauses	: 0
c root simplifications	: 0
c removed literals (reason simplification)	: 51965
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (assignments/second)	: 1327685.2146263912
c non guided choices	344
c learnt constraints type 
c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16572
c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 22
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=6
c Total wall clock time (in seconds): 11.647
11.836u 0.198s 0:12.13 99.0%	0+0k 0+0io 1pf+0w