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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_7.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_7.wcnf
c reading problem ... 
c ... done. Wall clock time 0.046s.
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.276
o 1337
c Got one! Elapsed wall clock time (in seconds):0.402
o 1336
c Got one! Elapsed wall clock time (in seconds):0.5
o 1335
c Got one! Elapsed wall clock time (in seconds):0.606
o 1334
c Got one! Elapsed wall clock time (in seconds):0.668
o 1333
c Got one! Elapsed wall clock time (in seconds):0.756
o 1332
c Got one! Elapsed wall clock time (in seconds):0.904
o 1331
c Got one! Elapsed wall clock time (in seconds):0.977
o 1330
c Got one! Elapsed wall clock time (in seconds):1.013
o 1329
c Got one! Elapsed wall clock time (in seconds):1.063
o 1328
c Got one! Elapsed wall clock time (in seconds):1.119
o 1327
c Got one! Elapsed wall clock time (in seconds):1.152
o 1326
c Got one! Elapsed wall clock time (in seconds):1.202
o 1325
c Got one! Elapsed wall clock time (in seconds):1.229
o 1324
c Got one! Elapsed wall clock time (in seconds):1.254
o 1323
c Got one! Elapsed wall clock time (in seconds):1.275
o 1322
c Got one! Elapsed wall clock time (in seconds):1.299
o 1321
c Got one! Elapsed wall clock time (in seconds):1.346
o 1320
c Got one! Elapsed wall clock time (in seconds):1.369
o 1319
c Got one! Elapsed wall clock time (in seconds):1.39
o 1318
c Got one! Elapsed wall clock time (in seconds):1.419
o 1317
c Got one! Elapsed wall clock time (in seconds):1.448
o 1316
c Got one! Elapsed wall clock time (in seconds):1.48
o 1315
c Got one! Elapsed wall clock time (in seconds):1.511
o 1314
c Got one! Elapsed wall clock time (in seconds):1.542
o 1313
c Got one! Elapsed wall clock time (in seconds):1.565
o 1312
c Got one! Elapsed wall clock time (in seconds):1.611
o 1311
c Got one! Elapsed wall clock time (in seconds):1.639
o 1310
c Got one! Elapsed wall clock time (in seconds):1.66
o 1309
c Got one! Elapsed wall clock time (in seconds):1.683
o 1308
c Got one! Elapsed wall clock time (in seconds):1.705
o 1307
c Got one! Elapsed wall clock time (in seconds):1.743
o 1306
c Got one! Elapsed wall clock time (in seconds):1.77
o 1305
c Got one! Elapsed wall clock time (in seconds):1.803
o 1304
c Got one! Elapsed wall clock time (in seconds):1.836
o 1303
c Got one! Elapsed wall clock time (in seconds):1.863
o 1302
c Got one! Elapsed wall clock time (in seconds):1.893
o 1301
c Got one! Elapsed wall clock time (in seconds):1.926
o 1300
c Got one! Elapsed wall clock time (in seconds):1.97
o 1299
c Got one! Elapsed wall clock time (in seconds):2.004
o 1298
c Got one! Elapsed wall clock time (in seconds):2.056
o 1297
c Got one! Elapsed wall clock time (in seconds):2.088
o 1296
c Got one! Elapsed wall clock time (in seconds):2.121
o 1295
c Got one! Elapsed wall clock time (in seconds):2.18
o 1294
c Got one! Elapsed wall clock time (in seconds):2.215
o 1293
c Got one! Elapsed wall clock time (in seconds):2.277
o 1292
c Got one! Elapsed wall clock time (in seconds):2.306
o 1291
c Got one! Elapsed wall clock time (in seconds):2.395
o 1290
c Got one! Elapsed wall clock time (in seconds):2.446
o 1289
c Got one! Elapsed wall clock time (in seconds):2.496
o 1288
c Got one! Elapsed wall clock time (in seconds):2.544
o 1287
c Got one! Elapsed wall clock time (in seconds):2.577
o 1286
c Got one! Elapsed wall clock time (in seconds):2.62
o 1285
c Got one! Elapsed wall clock time (in seconds):2.667
o 1284
c Got one! Elapsed wall clock time (in seconds):2.718
o 1283
c Got one! Elapsed wall clock time (in seconds):2.765
o 1282
c Got one! Elapsed wall clock time (in seconds):2.797
o 1281
c Got one! Elapsed wall clock time (in seconds):2.835
o 1280
c Got one! Elapsed wall clock time (in seconds):2.881
o 1279
c Got one! Elapsed wall clock time (in seconds):2.957
o 1278
c Got one! Elapsed wall clock time (in seconds):2.992
o 1277
c Got one! Elapsed wall clock time (in seconds):3.028
o 1276
c Got one! Elapsed wall clock time (in seconds):3.06
o 1275
c Got one! Elapsed wall clock time (in seconds):3.088
o 1274
c Got one! Elapsed wall clock time (in seconds):3.153
o 1273
c Got one! Elapsed wall clock time (in seconds):3.209
o 1272
c Got one! Elapsed wall clock time (in seconds):3.267
o 1271
c Got one! Elapsed wall clock time (in seconds):3.328
o 1270
c Got one! Elapsed wall clock time (in seconds):3.374
o 1269
c Got one! Elapsed wall clock time (in seconds):3.421
o 1268
c Got one! Elapsed wall clock time (in seconds):3.48
o 1267
c Got one! Elapsed wall clock time (in seconds):3.525
o 1266
c Got one! Elapsed wall clock time (in seconds):3.566
o 1265
c Got one! Elapsed wall clock time (in seconds):3.64
o 1264
c Got one! Elapsed wall clock time (in seconds):3.685
o 1263
c Got one! Elapsed wall clock time (in seconds):3.743
o 1262
c Got one! Elapsed wall clock time (in seconds):3.782
o 1261
c Got one! Elapsed wall clock time (in seconds):3.856
o 1260
c Got one! Elapsed wall clock time (in seconds):3.916
o 1259
c Got one! Elapsed wall clock time (in seconds):3.966
o 1258
c Got one! Elapsed wall clock time (in seconds):4.009
o 1257
c Got one! Elapsed wall clock time (in seconds):4.047
o 1256
c Got one! Elapsed wall clock time (in seconds):4.113
o 1255
c Got one! Elapsed wall clock time (in seconds):4.154
o 1254
c Got one! Elapsed wall clock time (in seconds):4.212
o 1253
c Got one! Elapsed wall clock time (in seconds):4.358
o 1252
c Got one! Elapsed wall clock time (in seconds):4.414
o 1251
c Got one! Elapsed wall clock time (in seconds):4.475
o 1250
c Got one! Elapsed wall clock time (in seconds):4.548
o 1249
c Got one! Elapsed wall clock time (in seconds):4.654
o 1248
c Got one! Elapsed wall clock time (in seconds):4.717
o 1247
c Got one! Elapsed wall clock time (in seconds):4.781
o 1246
c Got one! Elapsed wall clock time (in seconds):4.839
o 1245
c Got one! Elapsed wall clock time (in seconds):4.888
o 1244
c Got one! Elapsed wall clock time (in seconds):4.939
o 1243
c Got one! Elapsed wall clock time (in seconds):4.985
o 1242
c Got one! Elapsed wall clock time (in seconds):5.143
o 1241
c Got one! Elapsed wall clock time (in seconds):5.221
o 1240
c Got one! Elapsed wall clock time (in seconds):5.272
o 1239
c Got one! Elapsed wall clock time (in seconds):5.326
o 1238
c Got one! Elapsed wall clock time (in seconds):5.41
o 1237
c Got one! Elapsed wall clock time (in seconds):5.483
o 1236
c Got one! Elapsed wall clock time (in seconds):5.544
o 1235
c Got one! Elapsed wall clock time (in seconds):5.603
o 1234
c Got one! Elapsed wall clock time (in seconds):5.678
o 1233
c Got one! Elapsed wall clock time (in seconds):5.796
o 1232
c Got one! Elapsed wall clock time (in seconds):5.848
o 1231
c Got one! Elapsed wall clock time (in seconds):5.915
o 1230
c Got one! Elapsed wall clock time (in seconds):5.96
o 1229
c Got one! Elapsed wall clock time (in seconds):6.022
o 1228
c Got one! Elapsed wall clock time (in seconds):6.183
o 1227
c Got one! Elapsed wall clock time (in seconds):6.258
o 1226
c Got one! Elapsed wall clock time (in seconds):6.368
o 1225
c Got one! Elapsed wall clock time (in seconds):6.446
o 1224
c Got one! Elapsed wall clock time (in seconds):6.519
o 1223
c Got one! Elapsed wall clock time (in seconds):6.588
o 1222
c Got one! Elapsed wall clock time (in seconds):6.651
o 1221
c Got one! Elapsed wall clock time (in seconds):6.731
o 1220
c Got one! Elapsed wall clock time (in seconds):6.788
o 1219
c Got one! Elapsed wall clock time (in seconds):6.848
o 1218
c Got one! Elapsed wall clock time (in seconds):7.002
o 1217
c Got one! Elapsed wall clock time (in seconds):7.112
o 1216
c Got one! Elapsed wall clock time (in seconds):7.237
o 1215
c Got one! Elapsed wall clock time (in seconds):7.358
o 1214
c Got one! Elapsed wall clock time (in seconds):7.451
o 1213
c Got one! Elapsed wall clock time (in seconds):7.561
o 1212
c Got one! Elapsed wall clock time (in seconds):7.671
o 1211
c Got one! Elapsed wall clock time (in seconds):7.73
o 1210
c Got one! Elapsed wall clock time (in seconds):7.8
o 1209
c Got one! Elapsed wall clock time (in seconds):7.872
o 1208
c Got one! Elapsed wall clock time (in seconds):7.936
o 1207
c Got one! Elapsed wall clock time (in seconds):8.016
o 1206
c Got one! Elapsed wall clock time (in seconds):8.117
o 1205
c Got one! Elapsed wall clock time (in seconds):8.179
o 1204
c Got one! Elapsed wall clock time (in seconds):8.289
o 1203
c Got one! Elapsed wall clock time (in seconds):8.354
o 1202
c Got one! Elapsed wall clock time (in seconds):8.411
o 1201
c Got one! Elapsed wall clock time (in seconds):8.462
o 1200
c Got one! Elapsed wall clock time (in seconds):8.541
o 1199
c Got one! Elapsed wall clock time (in seconds):8.607
o 1198
c Got one! Elapsed wall clock time (in seconds):8.653
o 1197
c Got one! Elapsed wall clock time (in seconds):8.69
o 1196
c Got one! Elapsed wall clock time (in seconds):8.802
o 1195
c Got one! Elapsed wall clock time (in seconds):8.865
o 1194
c Got one! Elapsed wall clock time (in seconds):8.951
o 1193
c Got one! Elapsed wall clock time (in seconds):8.997
o 1192
c Got one! Elapsed wall clock time (in seconds):9.039
o 1191
c Got one! Elapsed wall clock time (in seconds):9.231
o 1190
c Got one! Elapsed wall clock time (in seconds):9.292
o 1189
c Got one! Elapsed wall clock time (in seconds):9.349
o 1188
c Got one! Elapsed wall clock time (in seconds):9.491
o 1187
c Got one! Elapsed wall clock time (in seconds):9.537
o 1186
c Got one! Elapsed wall clock time (in seconds):9.668
o 1185
c Got one! Elapsed wall clock time (in seconds):9.741
o 1184
c Got one! Elapsed wall clock time (in seconds):9.828
o 1183
c Got one! Elapsed wall clock time (in seconds):9.87
o 1181
c Got one! Elapsed wall clock time (in seconds):9.913
o 1180
c Got one! Elapsed wall clock time (in seconds):10.209
o 1179
c Got one! Elapsed wall clock time (in seconds):10.313
o 1178
c Got one! Elapsed wall clock time (in seconds):10.411
o 1177
c Got one! Elapsed wall clock time (in seconds):10.5
o 1176
c Got one! Elapsed wall clock time (in seconds):10.581
o 1175
c Got one! Elapsed wall clock time (in seconds):10.703
o 1174
c Got one! Elapsed wall clock time (in seconds):10.797
o 1173
c Got one! Elapsed wall clock time (in seconds):10.857
o 1172
c Got one! Elapsed wall clock time (in seconds):10.918
o 1171
c Got one! Elapsed wall clock time (in seconds):10.977
o 1170
c Got one! Elapsed wall clock time (in seconds):11.057
o 1169
c Got one! Elapsed wall clock time (in seconds):11.126
o 1168
c Got one! Elapsed wall clock time (in seconds):11.28
o 1167
c Got one! Elapsed wall clock time (in seconds):11.338
o 1166
c Got one! Elapsed wall clock time (in seconds):11.389
o 1165
c Got one! Elapsed wall clock time (in seconds):11.449
o 1164
c Got one! Elapsed wall clock time (in seconds):11.658
o 1163
c Got one! Elapsed wall clock time (in seconds):11.779
o 1162
c Got one! Elapsed wall clock time (in seconds):11.859
o 1161
c Got one! Elapsed wall clock time (in seconds):12.024
o 1160
c Got one! Elapsed wall clock time (in seconds):12.107
o 1159
c Got one! Elapsed wall clock time (in seconds):12.168
o 1158
c Got one! Elapsed wall clock time (in seconds):12.456
o 1157
c Got one! Elapsed wall clock time (in seconds):12.604
o 1156
c Got one! Elapsed wall clock time (in seconds):12.718
o 1155
c Got one! Elapsed wall clock time (in seconds):12.826
o 1154
c Got one! Elapsed wall clock time (in seconds):12.951
o 1153
c Got one! Elapsed wall clock time (in seconds):13.015
o 21
c Got one! Elapsed wall clock time (in seconds):13.04
o 15
c Got one! Elapsed wall clock time (in seconds):13.055
o 14
c Got one! Elapsed wall clock time (in seconds):13.07
o 13
c Got one! Elapsed wall clock time (in seconds):13.078
o 12
c Got one! Elapsed wall clock time (in seconds):13.082
o 9
c Got one! Elapsed wall clock time (in seconds):14.308
o 8
c Got one! Elapsed wall clock time (in seconds):17.21
o 7
c starts		: 397
c conflicts		: 38451
c decisions		: 170868
c propagations		: 1606397
c inspects		: 67059477
c learnt literals	: 5
c learnt binary clauses	: 26
c learnt ternary clauses	: 58
c learnt clauses	: 38445
c ignored clauses	: 0
c root simplifications	: 0
c removed literals (reason simplification)	: 291984
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (assignments/second)	: 54408.02709568163
c non guided choices	962
c learnt constraints type 
c org.sat4j.minisat.constraints.cnf.LearntHTClause => 38419
c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 26
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=7
c Total wall clock time (in seconds): 46.832
48.047u 0.270s 0:47.27 102.2%	0+0k 0+0io 1pf+0w