Trace number 3742452

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.09 1794.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K160.opb
MD5SUM4be3ef5c0a6baf670611a9fd5e5deae8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19040
Total number of constraints19362
Number of constraints which are clauses19202
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint160
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 161
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3742452-1338768751.opb
0.06/0.12	c reading problem ... 
1.16/0.64	c ... done. Wall clock time 0.515s.
1.16/0.64	c CPU time (experimental) 0.59s.
1.16/0.64	c #vars     19040
1.16/0.64	c #constraints  19360
1186.35/1182.36	c cleaning 331758 clauses out of 664471 for limit 813.9501421012639
1187.97/1183.90	c cleaning 166369 clauses out of 333213 for limit 2676.74983837087
1188.88/1184.89	c cleaning 83122 clauses out of 167346 for limit 8807.229152994512
1189.57/1185.50	c cleaning 41784 clauses out of 84722 for limit 28631.57879031027
1189.88/1185.84	c cleaning 20973 clauses out of 43438 for limit 92093.19957561103
1190.07/1186.08	c cleaning 10867 clauses out of 22965 for limit 287267.71510209696
1190.37/1186.30	c cleaning 5894 clauses out of 12598 for limit 864454.3510934685
1190.47/1186.41	c cleaning 3104 clauses out of 7203 for limit 2490873.2521595433
1190.57/1186.56	c cleaning 1930 clauses out of 4599 for limit 6433651.338102713
1190.87/1186.83	c cleaning 1199 clauses out of 3169 for limit 1.5397654789936075E7
1191.08/1187.05	c cleaning 1062 clauses out of 2469 for limit 3.259204527384434E7
1191.37/1187.35	c cleaning 826 clauses out of 1907 for limit 6.958856787149377E7
1191.67/1187.61	c cleaning 709 clauses out of 1581 for limit 1.3842438700048897E8
1191.77/1187.70	c cleaning 547 clauses out of 1372 for limit 2.6305481434584814E8
1191.87/1187.81	c cleaning 607 clauses out of 1324 for limit 4.495399239789236E8
1191.97/1188.00	c cleaning 519 clauses out of 1216 for limit 8.071951893697846E8
1192.27/1188.21	c cleaning 483 clauses out of 1197 for limit 1.3523025797194054E9
1192.47/1188.43	c cleaning 508 clauses out of 1214 for limit 2.1988987236627135E9
1192.67/1188.67	c cleaning 456 clauses out of 1206 for limit 3.650333071887335E9
1192.87/1188.88	c cleaning 449 clauses out of 1250 for limit 5.813801327284817E9
1193.07/1189.10	c cleaning 615 clauses out of 1300 for limit 9.209758085552374E9
1193.28/1189.27	c cleaning 546 clauses out of 1185 for limit 1.6662076021275251E10
1193.47/1189.47	c cleaning 509 clauses out of 1139 for limit 2.8587726918793E10
1193.67/1189.66	c cleaning 484 clauses out of 1130 for limit 4.75204771264048E10
1193.97/1189.91	c cleaning 479 clauses out of 1147 for limit 7.728339941647383E10
1194.07/1190.09	c cleaning 424 clauses out of 1167 for limit 1.2514115354283812E11
1194.28/1190.25	c cleaning 436 clauses out of 1243 for limit 1.9375627137833356E11
1194.47/1190.41	c cleaning 509 clauses out of 1307 for limit 3.038835536412661E11
1194.57/1190.59	c cleaning 486 clauses out of 1298 for limit 5.0461944147073413E11
1194.77/1190.77	c cleaning 645 clauses out of 1312 for limit 8.233049432658197E11
1194.97/1190.95	c cleaning 507 clauses out of 1167 for limit 1.5264394759792104E12
1195.07/1191.02	c cleaning 444 clauses out of 1160 for limit 2.532493520253573E12
1195.07/1191.10	c cleaning 398 clauses out of 1216 for limit 3.984085446341512E12
1195.17/1191.17	c cleaning 440 clauses out of 1320 for limit 6.064754123066435E12
1195.27/1191.27	c cleaning 470 clauses out of 1378 for limit 9.56147239486568E12
1195.38/1191.38	c cleaning 487 clauses out of 1408 for limit 1.5432178046914957E13
1195.48/1191.46	c cleaning 683 clauses out of 1421 for limit 2.5216899591501203E13
1195.57/1191.54	c cleaning 540 clauses out of 1238 for limit 4.773325048024484E13
1195.67/1191.62	c cleaning 357 clauses out of 1198 for limit 8.13468467564512E13
1195.67/1191.69	c cleaning 433 clauses out of 1341 for limit 1.1984630541390652E14
1195.77/1191.78	c cleaning 488 clauses out of 1408 for limit 1.8823772279745697E14
1195.87/1191.87	c cleaning 555 clauses out of 1420 for limit 3.0780584164375644E14
1195.97/1191.97	c cleaning 469 clauses out of 1366 for limit 5.2820791125465375E14
1196.07/1192.08	c cleaning 493 clauses out of 1396 for limit 8.515135395351455E14
1196.27/1192.21	c cleaning 488 clauses out of 1403 for limit 1.3972534549044502E15
1196.37/1192.30	c cleaning 700 clauses out of 1418 for limit 2.2867361356119323E-5
1196.48/1192.41	c cleaning 584 clauses out of 1218 for limit 4.3903675950957184E-5
1196.48/1192.50	c cleaning 540 clauses out of 1131 for limit 7.773881554234438E-5
1196.67/1192.62	c cleaning 508 clauses out of 1092 for limit 1.3291325217068187E-4
1196.77/1192.75	c cleaning 500 clauses out of 1083 for limit 2.207922583273582E-4
1196.87/1192.86	c cleaning 374 clauses out of 1083 for limit 3.641159710416938E-4
1197.07/1193.01	c cleaning 421 clauses out of 1209 for limit 5.378953270440005E-4
1197.17/1193.15	c cleaning 496 clauses out of 1289 for limit 8.336736317806436E-4
1197.37/1193.35	c cleaning 488 clauses out of 1291 for limit 0.001369965416655847
1197.58/1193.56	c cleaning 499 clauses out of 1303 for limit 0.002238449585113796
1197.68/1193.69	c cleaning 509 clauses out of 1304 for limit 0.0036886719132099267
1197.87/1193.85	c cleaning 482 clauses out of 1295 for limit 0.006125389910690859
1198.07/1194.08	c cleaning 525 clauses out of 1313 for limit 0.009963104102465195
1198.27/1194.30	c cleaning 507 clauses out of 1288 for limit 0.01674940632477474
1198.47/1194.46	c cleaning 507 clauses out of 1281 for limit 0.027772951679825665
1198.57/1194.59	c cleaning 482 clauses out of 1282 for limit 0.04613336402430148
1198.78/1194.74	c cleaning 507 clauses out of 1292 for limit 0.07488941337258839
1198.97/1195.00	c cleaning 512 clauses out of 1285 for limit 0.1241754383204837
1199.27/1195.21	c cleaning 500 clauses out of 1273 for limit 0.20671229689174483
1199.47/1195.41	c cleaning 501 clauses out of 1273 for limit 0.34089623105082506
1199.67/1195.63	c cleaning 507 clauses out of 1272 for limit 0.5626254574366606
1199.88/1195.82	c cleaning 495 clauses out of 1265 for limit 0.9329789641993862
1200.09/1196.03	c cleaning 450 clauses out of 1270 for limit 1.5325496152967923
1200.29/1196.22	c cleaning 502 clauses out of 1320 for limit 2.431645270669592
1200.49/1196.45	c cleaning 509 clauses out of 1318 for limit 4.020213706380574
1200.69/1196.63	c cleaning 521 clauses out of 1308 for limit 6.673876740256829
1200.90/1196.83	c cleaning 497 clauses out of 1287 for limit 11.185702527119243
1201.09/1197.08	c cleaning 473 clauses out of 1290 for limit 18.403820515211784
1201.29/1197.29	c cleaning 495 clauses out of 1317 for limit 29.7281450590377
1201.59/1197.52	c cleaning 500 clauses out of 1322 for limit 48.84026574125917
1201.79/1197.74	c cleaning 477 clauses out of 1323 for limit 80.56381583870959
1201.89/1197.89	c cleaning 477 clauses out of 1345 for limit 130.5566395631853
1202.19/1198.11	c cleaning 499 clauses out of 1369 for limit 211.74257884001693
1202.39/1198.32	c cleaning 533 clauses out of 1369 for limit 348.8426470836831
1202.59/1198.59	c cleaning 502 clauses out of 1336 for limit 589.4981552110278
1202.79/1198.74	c cleaning 492 clauses out of 1334 for limit 973.6188328180803
1202.99/1198.96	c cleaning 547 clauses out of 1342 for limit 1596.0561525743558
1203.20/1199.16	c cleaning 503 clauses out of 1295 for limit 2727.638432840493
1203.39/1199.30	c cleaning 496 clauses out of 1292 for limit 4508.685503978605
1203.59/1199.51	c cleaning 479 clauses out of 1296 for limit 7412.47671290407
1203.69/1199.67	c cleaning 509 clauses out of 1318 for limit 12032.152620733415
1203.99/1199.91	c cleaning 497 clauses out of 1308 for limit 19974.337031706833
1204.09/1200.08	c cleaning 513 clauses out of 1311 for limit 32864.97550011196
1204.39/1200.31	c cleaning 506 clauses out of 1298 for limit 54741.563720997954
1204.59/1200.52	c cleaning 490 clauses out of 1294 for limit 90736.60502301695
1204.79/1200.72	c cleaning 480 clauses out of 1302 for limit 148420.08683661823
1204.89/1200.89	c cleaning 465 clauses out of 1322 for limit 241061.6347789737
1205.09/1201.03	c cleaning 467 clauses out of 1357 for limit 387289.3833276198
1205.19/1201.16	c cleaning 509 clauses out of 1390 for limit 623528.8122979869
1205.40/1201.38	c cleaning 493 clauses out of 1381 for limit 1034983.7593652827
1205.59/1201.53	c cleaning 494 clauses out of 1388 for limit 1698218.7613263514
1205.69/1201.68	c cleaning 479 clauses out of 1394 for limit 2788535.7320252294
1205.89/1201.86	c cleaning 684 clauses out of 1416 for limit 4531751.978850092
1206.09/1202.04	c cleaning 556 clauses out of 1231 for limit 8588013.307419134
1206.29/1202.24	c cleaning 502 clauses out of 1176 for limit 1.4839997872891521E7
1206.40/1202.39	c cleaning 507 clauses out of 1173 for limit 2.451119717426409E7
1206.59/1202.50	c cleaning 360 clauses out of 1166 for limit 4.066491531858078E7
1206.69/1202.64	c cleaning 479 clauses out of 1306 for limit 5.987301561587931E7
1206.79/1202.79	c cleaning 423 clauses out of 1327 for limit 9.717605713611595E7
1206.99/1202.92	c cleaning 458 clauses out of 1404 for limit 1.514673320858124E8
1207.09/1203.03	c cleaning 494 clauses out of 1446 for limit 2.4253458543535867E8
1207.19/1203.17	c cleaning 573 clauses out of 1452 for limit 3.98319200314479E8
1207.39/1203.38	c cleaning 564 clauses out of 1379 for limit 6.916549326913861E8
1207.60/1203.57	c cleaning 491 clauses out of 1315 for limit 1.1961451368657806E9
1207.69/1203.66	c cleaning 471 clauses out of 1325 for limit 1.959675451137711E9
1207.79/1203.75	c cleaning 490 clauses out of 1353 for limit 3.1617214757911716E9
1207.89/1203.86	c cleaning 580 clauses out of 1363 for limit 5.175847083304349E9
1207.99/1203.95	c cleaning 440 clauses out of 1283 for limit 9.067895850796373E9
1208.09/1204.03	c cleaning 458 clauses out of 1343 for limit 1.4286079221450624E10
1208.19/1204.13	c cleaning 470 clauses out of 1385 for limit 2.284521135803838E10
1208.29/1204.23	c cleaning 508 clauses out of 1415 for limit 3.687605049069854E10
1208.39/1204.34	c cleaning 502 clauses out of 1407 for limit 6.115931750906014E10
1208.49/1204.46	c cleaning 490 clauses out of 1405 for limit 1.0100346912570782E11
1208.60/1204.58	c cleaning 702 clauses out of 1418 for limit 1.6553727673077322E11
1208.70/1204.69	c cleaning 549 clauses out of 1213 for limit 3.181731942219969E11
1208.79/1204.79	c cleaning 560 clauses out of 1164 for limit 5.4679847608844684E11
1208.89/1204.88	c cleaning 476 clauses out of 1104 for limit 9.50751653660268E11
1208.99/1204.98	c cleaning 373 clauses out of 1129 for limit 1.5347322516917415E12
1209.09/1205.08	c cleaning 424 clauses out of 1255 for limit 2.274595685618235E12
1209.19/1205.18	c cleaning 637 clauses out of 1332 for limit 3.5378067875059077E12
1209.39/1205.30	c cleaning 397 clauses out of 1194 for limit 6.502126044550309E12
1209.49/1205.42	c cleaning 450 clauses out of 1297 for limit 9.871328889337271E12
1209.59/1205.51	c cleaning 469 clauses out of 1347 for limit 1.5674867888602379E13
1209.59/1205.60	c cleaning 460 clauses out of 1380 for limit 2.528234242093945E13
1209.80/1205.71	c cleaning 470 clauses out of 1418 for limit 4.049552447540493E13
1209.89/1205.81	c cleaning 480 clauses out of 1448 for limit 6.539892115095137E13
1209.89/1205.90	c cleaning 502 clauses out of 1470 for limit 1.0645025882887367E14
1210.09/1206.07	c cleaning 580 clauses out of 1466 for limit 1.75677826487448E14
1210.39/1206.32	c cleaning 681 clauses out of 1386 for limit 3.064386755958098E14
1210.59/1206.54	c cleaning 434 clauses out of 1205 for limit 5.812669724285975E14
1210.80/1206.74	c cleaning 476 clauses out of 1271 for limit 9.088098604541012E14
1210.99/1206.91	c cleaning 453 clauses out of 1295 for limit 1.4709729943438292E15
1211.19/1207.12	c cleaning 487 clauses out of 1342 for limit 2.3408729284208905E15
1211.39/1207.37	c cleaning 488 clauses out of 1355 for limit 3.823375446340525E15
1211.59/1207.53	c cleaning 657 clauses out of 1367 for limit 6.249907855565697E-5
1211.79/1207.71	c cleaning 574 clauses out of 1210 for limit 1.164428015302348E-4
1212.00/1207.95	c cleaning 519 clauses out of 1136 for limit 2.0453873782289754E-4
1212.19/1208.10	c cleaning 526 clauses out of 1117 for limit 3.430493627569037E-4
1212.39/1208.36	c cleaning 485 clauses out of 1091 for limit 5.792165019389286E-4
1212.59/1208.57	c cleaning 437 clauses out of 1106 for limit 9.42250631286664E-4
1212.79/1208.74	c cleaning 475 clauses out of 1169 for limit 0.0014701543724437627
1213.00/1208.91	c cleaning 411 clauses out of 1194 for limit 0.0023737173889623146
1213.10/1209.00	c cleaning 442 clauses out of 1284 for limit 0.0036438350846236998
1213.19/1209.19	c cleaning 473 clauses out of 1341 for limit 0.005747994372100548
1213.40/1209.36	c cleaning 486 clauses out of 1370 for limit 0.009297141813385998
1213.50/1209.45	c cleaning 474 clauses out of 1382 for limit 0.01516871679800178
1213.60/1209.55	c cleaning 475 clauses out of 1408 for limit 0.024553314027077843
1213.69/1209.68	c cleaning 483 clauses out of 1433 for limit 0.03978528465878932
1213.79/1209.78	c cleaning 488 clauses out of 1450 for limit 0.06484202135815749
1213.89/1209.89	c cleaning 508 clauses out of 1462 for limit 0.10605546721172364
1213.99/1210.00	c cleaning 478 clauses out of 1454 for limit 0.17586196223759767
1214.20/1210.15	c cleaning 569 clauses out of 1476 for limit 0.2856971122531728
1214.50/1210.44	c cleaning 512 clauses out of 1407 for limit 0.4942583303344089
1214.70/1210.61	c cleaning 501 clauses out of 1395 for limit 0.8221097040408757
1214.90/1210.82	c cleaning 525 clauses out of 1394 for limit 1.3567414563526736
1215.10/1211.03	c cleaning 514 clauses out of 1369 for limit 2.278307333405155
1215.20/1211.19	c cleaning 503 clauses out of 1355 for limit 3.7960537048297622
1215.40/1211.35	c cleaning 466 clauses out of 1354 for limit 6.277372339803547
1215.60/1211.54	c cleaning 501 clauses out of 1386 for limit 10.092997994326836
1215.80/1211.75	c cleaning 481 clauses out of 1385 for limit 16.65672174651822
1216.00/1211.99	c cleaning 456 clauses out of 1406 for limit 27.113082410261246
1216.20/1212.16	c cleaning 485 clauses out of 1449 for limit 43.34282402097517
1216.40/1212.37	c cleaning 488 clauses out of 1469 for limit 70.85854659445256
1216.60/1212.52	c cleaning 503 clauses out of 1475 for limit 115.68334343884825
1216.80/1212.71	c cleaning 474 clauses out of 1472 for limit 191.16612162222938
1216.90/1212.89	c cleaning 463 clauses out of 1498 for limit 309.78673178870247
1217.10/1213.07	c cleaning 491 clauses out of 1537 for limit 498.91397532435946
1217.30/1213.25	c cleaning 502 clauses out of 1544 for limit 817.4084149300493
1217.41/1213.38	c cleaning 474 clauses out of 1542 for limit 1349.764226418049
1217.60/1213.54	c cleaning 499 clauses out of 1568 for limit 2189.0320287279637
1217.80/1213.73	c cleaning 519 clauses out of 1569 for limit 3607.705826040812
1218.00/1213.91	c cleaning 473 clauses out of 1550 for limit 6022.519989785947
1218.20/1214.14	c cleaning 599 clauses out of 1577 for limit 9761.895224650616
1218.40/1214.35	c cleaning 565 clauses out of 1478 for limit 17176.998918180772
1218.61/1214.56	c cleaning 505 clauses out of 1413 for limit 29630.25898819603
1218.80/1214.79	c cleaning 521 clauses out of 1408 for limit 49037.7845905607
1219.00/1214.94	c cleaning 493 clauses out of 1388 for limit 82117.25606138258
1219.20/1215.10	c cleaning 528 clauses out of 1394 for limit 134704.62171883113
1219.40/1215.38	c cleaning 486 clauses out of 1366 for limit 226699.44560518948
1219.61/1215.59	c cleaning 507 clauses out of 1380 for limit 370064.953703829
1219.90/1215.81	c cleaning 481 clauses out of 1373 for limit 613398.0544681379
1220.00/1215.99	c cleaning 487 clauses out of 1392 for limit 997768.0272041704
1220.30/1216.24	c cleaning 492 clauses out of 1405 for limit 1630228.1242580954
1220.50/1216.43	c cleaning 532 clauses out of 1413 for limit 2673242.9527319404
1220.71/1216.64	c cleaning 444 clauses out of 1385 for limit 4515696.581669031
1221.00/1216.90	c cleaning 514 clauses out of 1437 for limit 7148840.349158001
1221.10/1217.09	c cleaning 541 clauses out of 1423 for limit 1.190538250742659E7
1221.30/1217.24	c cleaning 469 clauses out of 1382 for limit 2.021604042945395E7
1221.50/1217.42	c cleaning 475 clauses out of 1414 for limit 3.2617083829340603E7
1221.70/1217.62	c cleaning 501 clauses out of 1438 for limit 5.283929670079691E7
1221.81/1217.80	c cleaning 482 clauses out of 1437 for limit 8.719970854905322E7
1222.10/1218.02	c cleaning 493 clauses out of 1455 for limit 1.4202496639746106E8
1222.30/1218.23	c cleaning 507 clauses out of 1462 for limit 2.3309674172607404E8
1222.50/1218.46	c cleaning 681 clauses out of 1455 for limit 3.862570944034465E8
1222.70/1218.67	c cleaning 376 clauses out of 1274 for limit 7.274881466847959E8
1222.91/1218.88	c cleaning 669 clauses out of 1398 for limit 1.09331187481765E9
1223.10/1219.09	c cleaning 505 clauses out of 1229 for limit 2.0509507925336456E9
1223.30/1219.29	c cleaning 539 clauses out of 1225 for limit 3.396733180877763E9
1223.50/1219.41	c cleaning 524 clauses out of 1185 for limit 5.784962489015815E9
1223.60/1219.58	c cleaning 508 clauses out of 1161 for limit 9.737390004948833E9
1223.80/1219.76	c cleaning 407 clauses out of 1153 for limit 1.6169677730889498E10
1223.90/1219.89	c cleaning 491 clauses out of 1246 for limit 2.4675645154120434E10
1224.11/1220.04	c cleaning 381 clauses out of 1255 for limit 4.040161444242026E10
1224.30/1220.22	c cleaning 448 clauses out of 1375 for limit 6.087376259443267E10
1224.50/1220.46	c cleaning 464 clauses out of 1426 for limit 9.670183029020244E10
1224.70/1220.68	c cleaning 504 clauses out of 1462 for limit 1.5554739205542114E11
1225.00/1220.91	c cleaning 488 clauses out of 1458 for limit 2.5722221260085635E11
1225.21/1221.15	c cleaning 690 clauses out of 1470 for limit 4.2073103230057367E11
1225.40/1221.31	c cleaning 545 clauses out of 1280 for limit 7.96833892407534E11
1225.60/1221.55	c cleaning 528 clauses out of 1237 for limit 1.3624889180975732E12
1225.80/1221.76	c cleaning 544 clauses out of 1207 for limit 2.2981706374513496E12
1226.00/1221.95	c cleaning 465 clauses out of 1163 for limit 3.9333782680001694E12
1226.21/1222.17	c cleaning 510 clauses out of 1198 for limit 6.297156658302635E12
1226.50/1222.40	c cleaning 456 clauses out of 1188 for limit 1.0472268341926445E13
1226.60/1222.60	c cleaning 466 clauses out of 1232 for limit 1.6653379613301701E13
1226.80/1222.78	c cleaning 365 clauses out of 1266 for limit 2.6726080430120734E13
1227.00/1222.98	c cleaning 396 clauses out of 1401 for limit 3.982783767816903E13
1227.20/1223.16	c cleaning 491 clauses out of 1505 for limit 6.114264903531385E13
1227.41/1223.38	c cleaning 507 clauses out of 1515 for limit 1.0026711444355711E14
1227.70/1223.61	c cleaning 480 clauses out of 1507 for limit 1.66065444565436E14
1227.90/1223.82	c cleaning 448 clauses out of 1528 for limit 2.7037066505423284E14
1228.10/1224.02	c cleaning 476 clauses out of 1579 for limit 4.3104456032612606E14
1228.30/1224.23	c cleaning 491 clauses out of 1603 for limit 7.002073471703189E14
1228.51/1224.44	c cleaning 783 clauses out of 1613 for limit 1.1487253818217978E15
1228.70/1224.60	c cleaning 503 clauses out of 1329 for limit 2.29692586831431E15
1228.80/1224.79	c cleaning 583 clauses out of 1326 for limit 3.796508029647804E15
1229.01/1224.99	c cleaning 499 clauses out of 1243 for limit 6.679017866118965E15
1229.21/1225.19	c cleaning 587 clauses out of 1244 for limit 1.1005739789042483E-4
1229.41/1225.40	c cleaning 527 clauses out of 1157 for limit 1.951471211639755E-4
1229.61/1225.56	c cleaning 458 clauses out of 1130 for limit 3.295133021638355E-4
1229.81/1225.77	c cleaning 501 clauses out of 1172 for limit 5.23937725212507E-4
1230.01/1225.95	c cleaning 434 clauses out of 1171 for limit 8.647812679864202E-4
1230.21/1226.15	c cleaning 437 clauses out of 1239 for limit 0.001350568987692444
1230.41/1226.30	c cleaning 338 clauses out of 1300 for limit 0.00211851523046025
1230.51/1226.49	c cleaning 431 clauses out of 1462 for limit 0.0031065865474718822
1230.81/1226.70	c cleaning 446 clauses out of 1531 for limit 0.004892282491194355
1231.01/1226.90	c cleaning 460 clauses out of 1586 for limit 0.007796037737746348
1231.11/1227.06	c cleaning 468 clauses out of 1625 for limit 0.012535599996713043
1231.31/1227.23	c cleaning 494 clauses out of 1657 for limit 0.02027364649237207
1231.51/1227.41	c cleaning 496 clauses out of 1663 for limit 0.03331332760625081
1231.61/1227.56	c cleaning 545 clauses out of 1667 for limit 0.05480630864385481
1231.81/1227.75	c cleaning 526 clauses out of 1624 for limit 0.09296190987824565
1232.01/1227.97	c cleaning 495 clauses out of 1596 for limit 0.1556843790991858
1232.20/1228.20	c cleaning 528 clauses out of 1601 for limit 0.2559425432081313
1232.51/1228.44	c cleaning 488 clauses out of 1573 for limit 0.4295967403069591
1232.71/1228.62	c cleaning 503 clauses out of 1587 for limit 0.7036192033026668
1232.91/1228.82	c cleaning 497 clauses out of 1582 for limit 1.1617026895952187
1233.11/1229.02	c cleaning 513 clauses out of 1585 for limit 1.9121770191215364
1233.21/1229.16	c cleaning 467 clauses out of 1576 for limit 3.1841614634722575
1233.31/1229.25	c cleaning 471 clauses out of 1607 for limit 5.139516702991115
1233.51/1229.44	c cleaning 497 clauses out of 1634 for limit 8.319035351926184
1233.71/1229.61	c cleaning 490 clauses out of 1637 for limit 13.694060102753168
1233.91/1229.81	c cleaning 502 clauses out of 1647 for limit 22.446219053040505
1234.11/1230.05	c cleaning 502 clauses out of 1645 for limit 37.06182326979865
1234.31/1230.26	c cleaning 507 clauses out of 1643 for limit 61.19430498471415
1234.51/1230.47	c cleaning 511 clauses out of 1636 for limit 101.34939434955133
1234.71/1230.62	c cleaning 470 clauses out of 1625 for limit 168.27011005731418
1234.81/1230.79	c cleaning 522 clauses out of 1655 for limit 272.4697121859752
1235.12/1231.04	c cleaning 486 clauses out of 1633 for limit 455.3925624621982
1235.31/1231.23	c cleaning 484 clauses out of 1647 for limit 744.6195011529393
1235.41/1231.39	c cleaning 590 clauses out of 1663 for limit 1216.162597915692
1235.61/1231.59	c cleaning 507 clauses out of 1573 for limit 2120.3670975653354
1235.81/1231.79	c cleaning 541 clauses out of 1566 for limit 3512.399514298905
1236.12/1232.03	c cleaning 507 clauses out of 1525 for limit 5948.147226271984
1236.31/1232.24	c cleaning 505 clauses out of 1518 for limit 9854.524387456506
1236.41/1232.36	c cleaning 470 clauses out of 1515 for limit 16316.22621338667
1236.51/1232.48	c cleaning 458 clauses out of 1543 for limit 26366.5488467205
1236.61/1232.57	c cleaning 457 clauses out of 1585 for limit 42329.76277858066
1236.71/1232.69	c cleaning 482 clauses out of 1629 for limit 67989.90207520555
1236.91/1232.83	c cleaning 499 clauses out of 1651 for limit 111073.98691632622
1237.01/1232.96	c cleaning 481 clauses out of 1648 for limit 182776.37790788146
1237.11/1233.08	c cleaning 487 clauses out of 1668 for limit 298106.62414277566
1237.22/1233.17	c cleaning 474 clauses out of 1679 for limit 487420.55527194944
1237.41/1233.30	c cleaning 485 clauses out of 1705 for limit 791564.0099614656
1237.51/1233.41	c cleaning 506 clauses out of 1720 for limit 1294010.6877155022
1237.61/1233.52	c cleaning 493 clauses out of 1716 for limit 2143255.452706167
1237.71/1233.63	c cleaning 544 clauses out of 1721 for limit 3517201.2104149833
1237.81/1233.76	c cleaning 487 clauses out of 1677 for limit 5952520.622266915
1237.91/1233.88	c cleaning 464 clauses out of 1690 for limit 9740991.259925889
1238.11/1234.01	c cleaning 502 clauses out of 1728 for limit 1.574240317091426E7
1238.21/1234.11	c cleaning 693 clauses out of 1724 for limit 2.596954680524423E7
1238.32/1234.26	c cleaning 759 clauses out of 1533 for limit 4.82596744600516E7
1238.51/1234.41	c cleaning 401 clauses out of 1272 for limit 9.572520278053886E7
1238.61/1234.50	c cleaning 404 clauses out of 1371 for limit 1.464643196411798E8
1238.71/1234.61	c cleaning 365 clauses out of 1467 for limit 2.2573300680499044E8
1800.09/1794.41	c starts		: 22
1800.09/1794.41	c conflicts		: 1327937
1800.09/1794.41	c decisions		: 7703444
1800.09/1794.41	c propagations		: 1254038503
1800.09/1794.41	c inspects		: 7710167647
1800.09/1794.41	c learnt literals	: 37
1800.09/1794.41	c learnt binary clauses	: 111495
1800.09/1794.41	c learnt ternary clauses	: 78261
1800.09/1794.41	c learnt clauses	: 1327900
1800.09/1794.41	c root simplifications	: 0
1800.09/1794.41	c removed literals (reason simplification)	: 0
1800.09/1794.41	c reason swapping (by a shorter reason)	: 0
1800.09/1794.41	c Calls to reduceDB	: 290
1800.09/1794.41	c speed (decisions/second)	: 4294.590791612683
1800.09/1794.41	c non guided choices	22742
1800.09/1794.41	s UNKNOWN
1800.09/1794.41	c Total wall clock time (ms): 1794.286

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742452-1338768751/watcher-3742452-1338768751 -o /tmp/evaluation-result-3742452-1338768751/solver-3742452-1338768751 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742452-1338768751.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18497
/proc/meminfo: memFree=23866768/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18497/stat : 18497 (java) R 18495 18497 16961 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 342999507 278528 33 33554432000 1073741824 1073778376 140735755063296 140735755060472 251035479335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18497/statm: 68 33 25 9 0 25 0

[startup+0.0533191 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18497
/proc/meminfo: memFree=23866768/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=2490788 CPUtime=0.01 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 3844 0 1 0 1 0 0 0 20 0 11 0 342999507 2550566912 5053 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 622697 5053 1653 9 0 613398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788

[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18497
/proc/meminfo: memFree=23866768/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=2956804 CPUtime=0.06 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 4116 0 1 0 5 1 0 0 20 0 18 0 342999507 3027767296 5834 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 739201 5834 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18497
/proc/meminfo: memFree=23866768/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 7905 0 1 0 47 2 0 0 20 0 18 0 342999507 3028844544 10961 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 739464 10961 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700317 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 18497
/proc/meminfo: memFree=23866768/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 9721 0 1 0 133 4 0 0 20 0 19 0 342999507 3097006080 34591 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 34591 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420

[startup+1.50073 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 18516
/proc/meminfo: memFree=23737516/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 10934 0 1 0 239 4 0 0 20 0 19 0 342999507 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 34518 2271 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3089 0 1 0 142 3 0 0 20 0 19 0 342999509 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422497980760 140422362689810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3489 0 0 0 45 0 0 0 20 0 19 0 342999515 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3160 0 0 0 48 0 0 0 20 0 19 0 342999515 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 34518 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 3024420

[startup+3.10079 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 18516
/proc/meminfo: memFree=23736640/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=4.04 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 10937 0 1 0 400 4 0 0 20 0 19 0 342999507 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 35031 2271 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3091 0 1 0 301 3 0 0 20 0 19 0 342999509 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422497980856 140422362787976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3489 0 0 0 45 0 0 0 20 0 19 0 342999515 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3160 0 0 0 50 0 0 0 20 0 19 0 342999515 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 35031 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30085 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 18516
/proc/meminfo: memFree=23732296/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=7.28 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 10940 0 1 0 724 4 0 0 20 0 19 0 342999507 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 35428 2272 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3093 0 1 0 620 3 0 0 20 0 19 0 342999509 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422497980856 140422362690054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999510 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342999511 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3489 0 0 0 47 0 0 0 20 0 19 0 342999515 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3161 0 0 0 52 0 0 0 20 0 19 0 342999515 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 35428 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

################
# More data... #
################

[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3316 0 0 0 62 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 99 0 0 0 58 43 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.92
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 18590
/proc/meminfo: memFree=22199924/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=1787.98 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 13300 0 1 0 178567 231 0 0 20 0 19 0 342999507 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 418031 2302 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=1774.94 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3251 0 1 0 177459 35 0 0 20 0 19 0 342999509 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422497979696 140422362787336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 208 0 0 0 28 15 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 168 0 0 0 20 12 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 178 0 0 0 33 13 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 261 0 0 0 27 19 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 177 0 0 0 30 13 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 297 0 0 0 32 20 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 195 0 0 0 23 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 215 0 0 0 35 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=1.81 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 255 0 0 0 171 10 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3316 0 0 0 62 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 103 0 0 0 59 45 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.09 2.03 2.01 3/213 18590
/proc/meminfo: memFree=22199924/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 13300 0 1 0 179778 231 0 0 20 0 19 0 342999507 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 418031 2302 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=1787.02 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3251 0 1 0 178666 36 0 0 20 0 19 0 342999509 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422497979696 140422362787976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 208 0 0 0 28 15 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 168 0 0 0 20 12 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 178 0 0 0 33 13 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 261 0 0 0 27 19 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 177 0 0 0 30 13 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 297 0 0 0 32 20 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 195 0 0 0 23 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 215 0 0 0 35 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=1.81 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 255 0 0 0 171 10 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3316 0 0 0 62 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 103 0 0 0 59 45 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1794.4 s]
/proc/loadavg: 2.09 2.03 2.01 3/213 18590
/proc/meminfo: memFree=22199924/32873844 swapFree=7628/7628
[pid=18497] ppid=18495 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/18497/stat : 18497 (java) S 18495 18497 16961 0 -1 4202496 13300 0 1 0 179778 231 0 0 20 0 19 0 342999507 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140734673729376 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18497/statm: 756105 418031 2302 9 0 746526 0
[pid=18497/tid=18499] ppid=18495 vsize=3024420 CPUtime=1787.02 cores=1,3,5,7
/proc/18497/task/18499/stat : 18499 (java) R 18495 18497 16961 0 -1 4202560 3251 0 1 0 178666 36 0 0 20 0 19 0 342999509 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422497979696 140422362787976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18500] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18500/stat : 18500 (java) S 18495 18497 16961 0 -1 4202560 208 0 0 0 28 15 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422481406888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18501] ppid=18495 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/18497/task/18501/stat : 18501 (java) S 18495 18497 16961 0 -1 4202560 168 0 0 0 20 12 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422361902120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18502] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18502/stat : 18502 (java) S 18495 18497 16961 0 -1 4202560 178 0 0 0 33 13 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422360849064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18497/tid=18503] ppid=18495 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/18497/task/18503/stat : 18503 (java) S 18495 18497 16961 0 -1 4202560 261 0 0 0 27 19 0 0 20 0 19 0 342999510 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422359796520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18504] ppid=18495 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18497/task/18504/stat : 18504 (java) S 18495 18497 16961 0 -1 4202560 177 0 0 0 30 13 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422358743464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18505] ppid=18495 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18497/task/18505/stat : 18505 (java) S 18495 18497 16961 0 -1 4202560 297 0 0 0 32 20 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422357690920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18506] ppid=18495 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18497/task/18506/stat : 18506 (java) S 18495 18497 16961 0 -1 4202560 195 0 0 0 23 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422356637864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18507] ppid=18495 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/18497/task/18507/stat : 18507 (java) S 18495 18497 16961 0 -1 4202560 215 0 0 0 35 15 0 0 20 0 19 0 342999511 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140422355585320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18508] ppid=18495 vsize=3024420 CPUtime=1.81 cores=1,3,5,7
/proc/18497/task/18508/stat : 18508 (java) S 18495 18497 16961 0 -1 4202560 255 0 0 0 171 10 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421873257320 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18509] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18509/stat : 18509 (java) S 18495 18497 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421872203640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18510] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18510/stat : 18510 (java) S 18495 18497 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342999512 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421871150472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18511] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18511/stat : 18511 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421870099216 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18512] ppid=18495 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/18497/task/18512/stat : 18512 (java) S 18495 18497 16961 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421869046072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18497/tid=18513] ppid=18495 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18497/task/18513/stat : 18513 (java) S 18495 18497 16961 0 -1 4202560 3316 0 0 0 62 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421867993528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18514] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18514/stat : 18514 (java) S 18495 18497 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421866940664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18497/tid=18515] ppid=18495 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/18497/task/18515/stat : 18515 (java) S 18495 18497 16961 0 -1 4202560 103 0 0 0 59 45 0 0 20 0 19 0 342999515 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421865888328 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18497/tid=18516] ppid=18495 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18497/task/18516/stat : 18516 (java) S 18495 18497 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342999573 3097006080 418031 33554432000 1073741824 1073778376 140734673738240 140421863757352 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18497 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=478501
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=262656
# CPU time returned by wait4() is 1794.74
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.42
CPU time (s): 1800.09
CPU user time (s): 1797.78
CPU system time (s): 2.31
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 2.26266
maximum resident set size= 1672284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13330
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37999
involuntary context switches= 6324

runsolver used 9.1906 second user time and 13.5329 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 02:12:31
IDJOB=3742452
IDBENCH=90187
IDSOLVER=2319
FILE ID=node143/3742452-1338768751
RUNJOBID= node143-1338750755-16978
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K160.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742452-1338768751/watcher-3742452-1338768751 -o /tmp/evaluation-result-3742452-1338768751/solver-3742452-1338768751 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742452-1338768751.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4be3ef5c0a6baf670611a9fd5e5deae8
RANDOM SEED=465209288

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23867148 kB
Buffers:         2379308 kB
Cached:          3978616 kB
SwapCached:          188 kB
Active:          5848432 kB
Inactive:        2191376 kB
Active(anon):    1669436 kB
Inactive(anon):    10988 kB
Active(file):    4178996 kB
Inactive(file):  2180388 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              4700 kB
Writeback:             0 kB
AnonPages:       1685524 kB
Mapped:            18724 kB
Shmem:               160 kB
Slab:             822376 kB
SReclaimable:     263768 kB
SUnreclaim:       558608 kB
KernelStack:        1600 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 02:42:28