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_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_6.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@31d520c4
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_6.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.428
o 1363
c Got one! Elapsed wall clock time (in seconds):0.566
o 1362
c Got one! Elapsed wall clock time (in seconds):0.726
o 1361
c Got one! Elapsed wall clock time (in seconds):0.988
o 1360
c Got one! Elapsed wall clock time (in seconds):1.336
o 1359
c Got one! Elapsed wall clock time (in seconds):1.446
o 1358
c Got one! Elapsed wall clock time (in seconds):1.607
o 1357
c Got one! Elapsed wall clock time (in seconds):1.667
o 1356
c Got one! Elapsed wall clock time (in seconds):1.738
o 1355
c Got one! Elapsed wall clock time (in seconds):1.816
o 1354
c Got one! Elapsed wall clock time (in seconds):1.916
o 1353
c Got one! Elapsed wall clock time (in seconds):1.944
o 1352
c Got one! Elapsed wall clock time (in seconds):2.023
o 1351
c Got one! Elapsed wall clock time (in seconds):2.066
o 1350
c Got one! Elapsed wall clock time (in seconds):2.091
o 1349
c Got one! Elapsed wall clock time (in seconds):2.12
o 1348
c Got one! Elapsed wall clock time (in seconds):2.165
o 1347
c Got one! Elapsed wall clock time (in seconds):2.223
o 1346
c Got one! Elapsed wall clock time (in seconds):2.255
o 1345
c Got one! Elapsed wall clock time (in seconds):2.29
o 1344
c Got one! Elapsed wall clock time (in seconds):2.323
o 1343
c Got one! Elapsed wall clock time (in seconds):2.343
o 1342
c Got one! Elapsed wall clock time (in seconds):2.379
o 1341
c Got one! Elapsed wall clock time (in seconds):2.402
o 1340
c Got one! Elapsed wall clock time (in seconds):2.434
o 1339
c Got one! Elapsed wall clock time (in seconds):2.46
o 1338
c Got one! Elapsed wall clock time (in seconds):2.488
o 1337
c Got one! Elapsed wall clock time (in seconds):2.524
o 1336
c Got one! Elapsed wall clock time (in seconds):2.567
o 1335
c Got one! Elapsed wall clock time (in seconds):2.601
o 1334
c Got one! Elapsed wall clock time (in seconds):2.63
o 1333
c Got one! Elapsed wall clock time (in seconds):2.651
o 1332
c Got one! Elapsed wall clock time (in seconds):2.677
o 1331
c Got one! Elapsed wall clock time (in seconds):2.698
o 1330
c Got one! Elapsed wall clock time (in seconds):2.738
o 1329
c Got one! Elapsed wall clock time (in seconds):2.764
o 1328
c Got one! Elapsed wall clock time (in seconds):2.797
o 1327
c Got one! Elapsed wall clock time (in seconds):2.824
o 1326
c Got one! Elapsed wall clock time (in seconds):2.854
o 1325
c Got one! Elapsed wall clock time (in seconds):2.892
o 1324
c Got one! Elapsed wall clock time (in seconds):2.919
o 1323
c Got one! Elapsed wall clock time (in seconds):2.954
o 1322
c Got one! Elapsed wall clock time (in seconds):2.994
o 1321
c Got one! Elapsed wall clock time (in seconds):3.037
o 1320
c Got one! Elapsed wall clock time (in seconds):3.063
o 1319
c Got one! Elapsed wall clock time (in seconds):3.097
o 1318
c Got one! Elapsed wall clock time (in seconds):3.126
o 1317
c Got one! Elapsed wall clock time (in seconds):3.178
o 1316
c Got one! Elapsed wall clock time (in seconds):3.224
o 1315
c Got one! Elapsed wall clock time (in seconds):3.262
o 1314
c Got one! Elapsed wall clock time (in seconds):3.311
o 1313
c Got one! Elapsed wall clock time (in seconds):3.344
o 1312
c Got one! Elapsed wall clock time (in seconds):3.398
o 1311
c Got one! Elapsed wall clock time (in seconds):3.436
o 1310
c Got one! Elapsed wall clock time (in seconds):3.471
o 1309
c Got one! Elapsed wall clock time (in seconds):3.524
o 1308
c Got one! Elapsed wall clock time (in seconds):3.561
o 1307
c Got one! Elapsed wall clock time (in seconds):3.617
o 1306
c Got one! Elapsed wall clock time (in seconds):3.658
o 1305
c Got one! Elapsed wall clock time (in seconds):3.692
o 1304
c Got one! Elapsed wall clock time (in seconds):3.74
o 1303
c Got one! Elapsed wall clock time (in seconds):3.772
o 1302
c Got one! Elapsed wall clock time (in seconds):3.81
o 1301
c Got one! Elapsed wall clock time (in seconds):3.882
o 1300
c Got one! Elapsed wall clock time (in seconds):3.918
o 1299
c Got one! Elapsed wall clock time (in seconds):3.96
o 1298
c Got one! Elapsed wall clock time (in seconds):4.011
o 1297
c Got one! Elapsed wall clock time (in seconds):4.048
o 1296
c Got one! Elapsed wall clock time (in seconds):4.084
o 1295
c Got one! Elapsed wall clock time (in seconds):4.128
o 1294
c Got one! Elapsed wall clock time (in seconds):4.241
o 1293
c Got one! Elapsed wall clock time (in seconds):4.313
o 1292
c Got one! Elapsed wall clock time (in seconds):4.395
o 1291
c Got one! Elapsed wall clock time (in seconds):4.472
o 1290
c Got one! Elapsed wall clock time (in seconds):4.524
o 1289
c Got one! Elapsed wall clock time (in seconds):4.585
o 1288
c Got one! Elapsed wall clock time (in seconds):4.623
o 1287
c Got one! Elapsed wall clock time (in seconds):4.663
o 1286
c Got one! Elapsed wall clock time (in seconds):4.702
o 1285
c Got one! Elapsed wall clock time (in seconds):4.762
o 1284
c Got one! Elapsed wall clock time (in seconds):4.81
o 1283
c Got one! Elapsed wall clock time (in seconds):4.854
o 1282
c Got one! Elapsed wall clock time (in seconds):4.913
o 1281
c Got one! Elapsed wall clock time (in seconds):4.996
o 1280
c Got one! Elapsed wall clock time (in seconds):5.044
o 1279
c Got one! Elapsed wall clock time (in seconds):5.082
o 74
c Got one! Elapsed wall clock time (in seconds):5.133
o 60
c Got one! Elapsed wall clock time (in seconds):5.174
o 51
c Got one! Elapsed wall clock time (in seconds):5.18
o 10
c Got one! Elapsed wall clock time (in seconds):19.287
o 9
c Got one! Elapsed wall clock time (in seconds):30.912
o 8
c starts		: 207
c conflicts		: 48888
c decisions		: 127831
c propagations		: 3509247
c inspects		: 63864930
c learnt literals	: 11
c learnt binary clauses	: 39
c learnt ternary clauses	: 93
c learnt clauses	: 48876
c ignored clauses	: 0
c root simplifications	: 0
c removed literals (reason simplification)	: 579252
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (assignments/second)	: 224994.9990382766
c non guided choices	424
c learnt constraints type 
c org.sat4j.minisat.constraints.cnf.LearntHTClause => 48837
c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 39
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=8
c Total wall clock time (in seconds): 46.655
46.758u 0.217s 0:47.18 99.5%	0+0k 0+0io 1pf+0w