Trace number 3742686

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.08 1797.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K67.opb
MD5SUM9e951304b89652b8f827a6527d1495c5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark29.5175
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3685
Total number of constraints3821
Number of constraints which are clauses3754
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint67
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 68
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.08	c no version file found!!!
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version	1.6.0_24
0.07/0.08	c os.name	Linux
0.07/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.08	c os.arch	amd64
0.07/0.08	c Free memory 1599470296
0.07/0.08	c Max memory 1607860224
0.07/0.08	c Total memory 1607860224
0.07/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742686-1338771686.opb
0.10/0.10	c reading problem ... 
0.54/0.39	c ... done. Wall clock time 0.292s.
0.54/0.39	c CPU time (experimental) 0.37s.
0.54/0.39	c #vars     3685
0.54/0.39	c #constraints  3819
1426.26/1423.77	c cleaning 330633 clauses out of 661445 for limit 40.68921269035564
1428.98/1426.40	c cleaning 165579 clauses out of 331311 for limit 133.83156126243748
1429.88/1427.31	c cleaning 82912 clauses out of 166233 for limit 440.3191317755964
1430.58/1428.06	c cleaning 41712 clauses out of 83820 for limit 1438.6611543101164
1431.08/1428.50	c cleaning 20952 clauses out of 42609 for limit 4671.918206501063
1431.28/1428.77	c cleaning 10582 clauses out of 22156 for limit 14802.211022986221
1431.48/1428.92	c cleaning 5626 clauses out of 12074 for limit 44794.2906138948
1431.58/1429.02	c cleaning 3379 clauses out of 6948 for limit 128371.88311644612
1431.58/1429.08	c cleaning 1960 clauses out of 4071 for limit 362037.4772382735
1431.68/1429.13	c cleaning 1206 clauses out of 2609 for limit 929752.6325307225
1431.68/1429.18	c cleaning 925 clauses out of 1903 for limit 2102125.277543548
1431.78/1429.23	c cleaning 655 clauses out of 1478 for limit 4463533.881813008
1431.78/1429.28	c cleaning 614 clauses out of 1325 for limit 8227394.122481322
1431.88/1429.32	c cleaning 562 clauses out of 1209 for limit 1.4840165455173766E7
1431.88/1429.37	c cleaning 518 clauses out of 1147 for limit 2.579630558320333E7
1431.98/1429.41	c cleaning 498 clauses out of 1129 for limit 4.321981224916482E7
1431.98/1429.46	c cleaning 483 clauses out of 1133 for limit 7.116587911054243E7
1432.08/1429.51	c cleaning 531 clauses out of 1148 for limit 1.1559703739628725E8
1432.08/1429.56	c cleaning 476 clauses out of 1117 for limit 1.9592565429522988E8
1432.08/1429.59	c cleaning 464 clauses out of 1141 for limit 3.163113105017541E8
1432.18/1429.64	c cleaning 469 clauses out of 1177 for limit 5.056846723433224E8
1432.18/1429.69	c cleaning 461 clauses out of 1208 for limit 8.125408528755391E8
1432.28/1429.73	c cleaning 530 clauses out of 1247 for limit 1.2980803431628833E9
1432.28/1429.77	c cleaning 571 clauses out of 1219 for limit 2.1942657881115103E9
1432.38/1429.81	c cleaning 548 clauses out of 1146 for limit 3.841449986645802E9
1432.38/1429.87	c cleaning 452 clauses out of 1098 for limit 6.612007657055413E9
1432.48/1429.91	c cleaning 453 clauses out of 1148 for limit 1.0450058230180855E10
1432.48/1429.97	c cleaning 504 clauses out of 1193 for limit 1.6550343742842402E10
1432.58/1430.04	c cleaning 490 clauses out of 1189 for limit 2.7385551690920856E10
1432.58/1430.08	c cleaning 494 clauses out of 1199 for limit 4.478577076967215E10
1432.68/1430.13	c cleaning 472 clauses out of 1206 for limit 7.350253659261589E10
1432.68/1430.18	c cleaning 468 clauses out of 1238 for limit 1.1855583241755884E11
1432.78/1430.23	c cleaning 540 clauses out of 1266 for limit 1.9042663937497247E11
1432.78/1430.28	c cleaning 570 clauses out of 1227 for limit 3.2434502798407056E11
1432.88/1430.32	c cleaning 536 clauses out of 1155 for limit 5.670961342242476E11
1432.88/1430.37	c cleaning 504 clauses out of 1122 for limit 9.656177412619757E11
1432.98/1430.42	c cleaning 457 clauses out of 1117 for limit 1.5979614408268525E12
1432.98/1430.46	c cleaning 479 clauses out of 1159 for limit 2.537215803805629E12
1433.08/1430.51	c cleaning 456 clauses out of 1179 for limit 4.1091161176855215E12
1433.08/1430.55	c cleaning 510 clauses out of 1223 for limit 6.532683971413048E12
1433.18/1430.60	c cleaning 529 clauses out of 1214 for limit 1.0864001530463549E13
1433.18/1430.64	c cleaning 469 clauses out of 1184 for limit 1.8351779299033793E13
1433.18/1430.69	c cleaning 574 clauses out of 1215 for limit 2.952187934397184E13
1433.28/1430.74	c cleaning 485 clauses out of 1140 for limit 5.183663517065134E13
1433.28/1430.78	c cleaning 569 clauses out of 1157 for limit 8.439820415723888E13
1433.38/1430.82	c cleaning 511 clauses out of 1086 for limit 1.4798701248623138E14
1433.38/1430.86	c cleaning 445 clauses out of 1075 for limit 2.465476406500625E14
1433.48/1430.90	c cleaning 436 clauses out of 1130 for limit 3.868002611806466E14
1433.48/1430.94	c cleaning 457 clauses out of 1196 for limit 6.038915226044202E14
1433.48/1430.98	c cleaning 614 clauses out of 1239 for limit 9.613348651274756E14
1433.58/1431.02	c cleaning 531 clauses out of 1123 for limit 1.7456336573739355E15
1433.58/1431.08	c cleaning 535 clauses out of 1094 for limit 2.9610139382608807E-5
1433.68/1431.12	c cleaning 520 clauses out of 1059 for limit 5.044495054859048E-5
1433.68/1431.16	c cleaning 508 clauses out of 1040 for limit 8.479509288045695E-5
1433.78/1431.21	c cleaning 484 clauses out of 1029 for limit 1.4090974742372566E-4
1433.78/1431.26	c cleaning 500 clauses out of 1045 for limit 2.2882106772107938E-4
1433.78/1431.29	c cleaning 475 clauses out of 1047 for limit 3.7776788863700685E-4
1433.87/1431.34	c cleaning 481 clauses out of 1069 for limit 6.083399910160837E-4
1433.87/1431.39	c cleaning 457 clauses out of 1091 for limit 9.859587464322657E-4
1433.98/1431.43	c cleaning 464 clauses out of 1132 for limit 0.0015639538415647889
1433.98/1431.47	c cleaning 467 clauses out of 1167 for limit 0.0024993143182547206
1434.07/1431.52	c cleaning 486 clauses out of 1200 for limit 0.004008356812354764
1434.07/1431.56	c cleaning 504 clauses out of 1214 for limit 0.0065340856131339475
1434.17/1431.61	c cleaning 493 clauses out of 1210 for limit 0.01081120304672456
1434.17/1431.66	c cleaning 479 clauses out of 1217 for limit 0.017726569717592226
1434.27/1431.71	c cleaning 518 clauses out of 1238 for limit 0.02873760185933482
1434.27/1431.75	c cleaning 507 clauses out of 1226 for limit 0.0481441646629434
1434.39/1431.80	c cleaning 491 clauses out of 1213 for limit 0.07976679478762064
1434.39/1431.85	c cleaning 508 clauses out of 1223 for limit 0.13060111480394623
1434.49/1431.90	c cleaning 498 clauses out of 1214 for limit 0.21675844641119477
1434.49/1431.94	c cleaning 504 clauses out of 1216 for limit 0.3568757418813317
1434.49/1431.99	c cleaning 482 clauses out of 1213 for limit 0.5905819932541205
1434.59/1432.04	c cleaning 499 clauses out of 1231 for limit 0.9597073838356804
1434.59/1432.08	c cleaning 493 clauses out of 1233 for limit 1.581700352197003
1434.70/1432.13	c cleaning 495 clauses out of 1238 for limit 2.5927073968367114
1434.70/1432.17	c cleaning 492 clauses out of 1243 for limit 4.258522142674624
1434.80/1432.22	c cleaning 502 clauses out of 1251 for limit 6.977962251203747
1434.80/1432.25	c cleaning 514 clauses out of 1249 for limit 11.526020138032335
1434.89/1432.30	c cleaning 492 clauses out of 1238 for limit 19.234486214340592
1434.89/1432.33	c cleaning 467 clauses out of 1243 for limit 31.497962222648813
1434.89/1432.38	c cleaning 497 clauses out of 1276 for limit 50.60096497644543
1434.99/1432.43	c cleaning 499 clauses out of 1279 for limit 83.25202691654248
1434.99/1432.48	c cleaning 496 clauses out of 1281 for limit 137.21659224601953
1435.09/1432.54	c cleaning 490 clauses out of 1285 for limit 225.5841170676908
1435.19/1432.60	c cleaning 530 clauses out of 1294 for limit 369.06150220831637
1435.19/1432.64	c cleaning 494 clauses out of 1264 for limit 623.0771640521612
1435.19/1432.69	c cleaning 500 clauses out of 1270 for limit 1022.6830889600919
1435.29/1432.74	c cleaning 491 clauses out of 1270 for limit 1686.5412257911667
1435.29/1432.79	c cleaning 472 clauses out of 1279 for limit 2761.760571171565
1435.39/1432.85	c cleaning 508 clauses out of 1310 for limit 4460.101027346195
1435.49/1432.90	c cleaning 514 clauses out of 1301 for limit 7398.779260374586
1435.49/1432.95	c cleaning 502 clauses out of 1285 for limit 12328.808386749013
1435.59/1433.00	c cleaning 501 clauses out of 1286 for limit 20377.11442942357
1435.59/1433.05	c cleaning 485 clauses out of 1282 for limit 33608.41098334377
1435.69/1433.10	c cleaning 479 clauses out of 1297 for limit 54783.770015308604
1435.69/1433.15	c cleaning 501 clauses out of 1320 for limit 88949.36886347258
1435.80/1433.20	c cleaning 521 clauses out of 1317 for limit 146729.6530457682
1435.80/1433.25	c cleaning 525 clauses out of 1296 for limit 245897.7478223788
1435.90/1433.30	c cleaning 490 clauses out of 1272 for limit 413583.15325984755
1435.90/1433.35	c cleaning 492 clauses out of 1281 for limit 676584.7377784551
1435.90/1433.39	c cleaning 643 clauses out of 1289 for limit 1108853.8182183509
1435.99/1433.44	c cleaning 557 clauses out of 1146 for limit 2056830.4020252826
1435.99/1433.48	c cleaning 514 clauses out of 1089 for limit 3569530.588102081
1436.09/1433.52	c cleaning 375 clauses out of 1076 for limit 5963718.21752019
1436.09/1433.57	c cleaning 420 clauses out of 1201 for limit 8811346.218352366
1436.19/1433.62	c cleaning 463 clauses out of 1285 for limit 1.3635657366955673E7
1436.19/1433.67	c cleaning 494 clauses out of 1321 for limit 2.1852330745599456E7
1436.29/1433.72	c cleaning 528 clauses out of 1323 for limit 3.583922241985274E7
1436.29/1433.77	c cleaning 646 clauses out of 1296 for limit 6.039539415521873E7
1436.39/1433.81	c cleaning 518 clauses out of 1152 for limit 1.1227453186659269E8
1436.39/1433.86	c cleaning 490 clauses out of 1134 for limit 1.8809470259420377E8
1436.49/1433.91	c cleaning 441 clauses out of 1142 for limit 3.074046117391721E8
1436.49/1433.96	c cleaning 458 clauses out of 1200 for limit 4.8196623238051933E8
1436.59/1434.01	c cleaning 521 clauses out of 1242 for limit 7.679485927386638E8
1436.59/1434.06	c cleaning 494 clauses out of 1221 for limit 1.2882316584590495E9
1436.69/1434.11	c cleaning 610 clauses out of 1230 for limit 2.115260904725346E9
1436.69/1434.16	c cleaning 542 clauses out of 1117 for limit 3.8297306685277085E9
1436.79/1434.21	c cleaning 479 clauses out of 1075 for limit 6.562492627482624E9
1436.79/1434.25	c cleaning 441 clauses out of 1098 for limit 1.0616952227915024E10
1436.90/1434.31	c cleaning 465 clauses out of 1155 for limit 1.6611432376110962E10
1436.90/1434.36	c cleaning 471 clauses out of 1190 for limit 2.6588754395700096E10
1436.90/1434.40	c cleaning 603 clauses out of 1219 for limit 4.280525959338669E10
1437.00/1434.44	c cleaning 493 clauses out of 1116 for limit 7.710677395631503E10
1437.00/1434.49	c cleaning 419 clauses out of 1123 for limit 1.2636676235228801E11
1437.09/1434.54	c cleaning 452 clauses out of 1206 for limit 1.9444206181246445E11
1437.09/1434.59	c cleaning 517 clauses out of 1252 for limit 3.085706190146073E11
1437.19/1434.63	c cleaning 517 clauses out of 1234 for limit 5.1578073433302423E11
1437.19/1434.68	c cleaning 603 clauses out of 1217 for limit 8.624731517181063E11
1437.29/1434.72	c cleaning 475 clauses out of 1114 for limit 1.5538420102763147E12
1437.29/1434.78	c cleaning 440 clauses out of 1139 for limit 2.506248977568817E12
1437.39/1434.84	c cleaning 523 clauses out of 1201 for limit 3.9276234110529067E12
1437.39/1434.89	c cleaning 491 clauses out of 1176 for limit 6.601648381966892E12
1437.49/1434.94	c cleaning 481 clauses out of 1187 for limit 1.080771546522884E13
1437.49/1435.00	c cleaning 584 clauses out of 1204 for limit 1.7536583925205479E13
1437.59/1435.04	c cleaning 521 clauses out of 1122 for limit 3.109592918083461E13
1437.59/1435.08	c cleaning 440 clauses out of 1100 for limit 5.225466712724014E13
1437.69/1435.13	c cleaning 476 clauses out of 1160 for limit 8.17176122903745E13
1437.69/1435.18	c cleaning 498 clauses out of 1184 for limit 1.3203158665368733E14
1437.79/1435.22	c cleaning 587 clauses out of 1185 for limit 2.173364503211803E14
1437.79/1435.28	c cleaning 540 clauses out of 1098 for limit 3.868160331291367E14
1437.89/1435.32	c cleaning 461 clauses out of 1058 for limit 6.620290186923058E14
1437.89/1435.37	c cleaning 483 clauses out of 1099 for limit 1.0531492240405875E15
1438.00/1435.43	c cleaning 454 clauses out of 1118 for limit 1.710687616324879E15
1438.00/1435.49	c cleaning 561 clauses out of 1160 for limit 2.7081478189145115E-5
1438.10/1435.54	c cleaning 533 clauses out of 1099 for limit 4.713988835115021E-5
1438.10/1435.59	c cleaning 510 clauses out of 1067 for limit 8.01516046370485E-5
1438.19/1435.63	c cleaning 501 clauses out of 1056 for limit 1.3342404342006059E-4
1438.19/1435.68	c cleaning 484 clauses out of 1055 for limit 2.2024265987375492E-4
1438.29/1435.73	c cleaning 476 clauses out of 1075 for limit 3.578816021309737E-4
1438.29/1435.78	c cleaning 445 clauses out of 1096 for limit 5.771512421320689E-4
1438.39/1435.84	c cleaning 455 clauses out of 1150 for limit 9.061993027852605E-4
1438.39/1435.89	c cleaning 472 clauses out of 1195 for limit 0.0014381677501144412
1438.49/1435.94	c cleaning 508 clauses out of 1223 for limit 0.002317431367474245
1438.49/1435.98	c cleaning 486 clauses out of 1220 for limit 0.003850365464124299
1438.59/1436.03	c cleaning 506 clauses out of 1230 for limit 0.006272988804240685
1438.59/1436.07	c cleaning 501 clauses out of 1223 for limit 0.01039380445858905
1438.69/1436.12	c cleaning 503 clauses out of 1222 for limit 0.017154800830473355
1438.69/1436.18	c cleaning 500 clauses out of 1219 for limit 0.0283601855210218
1438.79/1436.22	c cleaning 494 clauses out of 1219 for limit 0.04676973988190734
1438.79/1436.28	c cleaning 507 clauses out of 1225 for limit 0.07675178038312516
1438.89/1436.33	c cleaning 501 clauses out of 1218 for limit 0.12730139003574706
1438.89/1436.38	c cleaning 492 clauses out of 1217 for limit 0.21010952596012067
1438.99/1436.43	c cleaning 483 clauses out of 1225 for limit 0.34423586749851653
1438.99/1436.47	c cleaning 484 clauses out of 1245 for limit 0.5602505338846103
1439.10/1436.51	c cleaning 505 clauses out of 1258 for limit 0.911639934131177
1439.10/1436.56	c cleaning 500 clauses out of 1253 for limit 1.5094154749845377
1439.10/1436.60	c cleaning 485 clauses out of 1253 for limit 2.489228044239151
1439.20/1436.64	c cleaning 498 clauses out of 1268 for limit 4.05650849372581
1439.20/1436.68	c cleaning 480 clauses out of 1273 for limit 6.683480140072517
1439.29/1436.74	c cleaning 488 clauses out of 1290 for limit 10.844104821811623
1439.29/1436.79	c cleaning 508 clauses out of 1305 for limit 17.730963177152763
1439.39/1436.83	c cleaning 509 clauses out of 1294 for limit 29.400919630667318
1439.39/1436.89	c cleaning 554 clauses out of 1284 for limit 48.86366686478709
1439.49/1436.93	c cleaning 509 clauses out of 1232 for limit 84.15216254742752
1439.49/1436.97	c cleaning 509 clauses out of 1221 for limit 139.74851070622532
1439.59/1437.02	c cleaning 493 clauses out of 1212 for limit 232.17535563359868
1439.59/1437.06	c cleaning 484 clauses out of 1219 for limit 380.68951945814297
1439.69/1437.12	c cleaning 481 clauses out of 1235 for limit 619.6744010883993
1439.69/1437.18	c cleaning 493 clauses out of 1255 for limit 1006.646959829946
1439.79/1437.23	c cleaning 492 clauses out of 1261 for limit 1650.5443593470504
1439.79/1437.28	c cleaning 486 clauses out of 1271 for limit 2705.9617123847293
1439.89/1437.33	c cleaning 482 clauses out of 1283 for limit 4411.917724908828
1439.89/1437.37	c cleaning 493 clauses out of 1301 for limit 7175.17754355742
1439.99/1437.41	c cleaning 521 clauses out of 1308 for limit 11769.502117181959
1439.99/1437.45	c cleaning 510 clauses out of 1287 for limit 19726.188345820632
1440.09/1437.50	c cleaning 478 clauses out of 1277 for limit 32785.8699689279
1440.09/1437.55	c cleaning 502 clauses out of 1301 for limit 53177.17026675246
1440.09/1437.59	c cleaning 499 clauses out of 1297 for limit 87790.88100368978
1440.20/1437.63	c cleaning 493 clauses out of 1298 for limit 144667.3672388677
1440.20/1437.68	c cleaning 489 clauses out of 1305 for limit 237296.12467179188
1440.30/1437.73	c cleaning 475 clauses out of 1316 for limit 388062.0335192122
1440.30/1437.77	c cleaning 524 clauses out of 1341 for limit 628035.4427925072
1440.39/1437.82	c cleaning 490 clauses out of 1317 for limit 1054588.529892333
1440.39/1437.86	c cleaning 487 clauses out of 1327 for limit 1726051.6311850946
1440.49/1437.91	c cleaning 577 clauses out of 1340 for limit 2818874.844933005
1440.49/1437.95	c cleaning 455 clauses out of 1264 for limit 4933145.413591631
1440.49/1437.99	c cleaning 500 clauses out of 1310 for limit 7857603.212745972
1440.59/1438.03	c cleaning 647 clauses out of 1308 for limit 1.2952109562743139E7
1440.59/1438.07	c cleaning 563 clauses out of 1161 for limit 2.4064227281227686E7
1440.69/1438.12	c cleaning 336 clauses out of 1098 for limit 4.1962145699592814E7
1440.69/1438.16	c cleaning 437 clauses out of 1262 for limit 6.02083269855356E7
1440.79/1438.20	c cleaning 502 clauses out of 1325 for limit 9.457055183772787E7
1440.79/1438.24	c cleaning 565 clauses out of 1324 for limit 1.5623351909939075E8
1440.79/1438.29	c cleaning 445 clauses out of 1260 for limit 2.710079642884859E8
1440.89/1438.34	c cleaning 468 clauses out of 1313 for limit 4.280305196930803E8
1440.89/1438.38	c cleaning 474 clauses out of 1345 for limit 6.890854266739254E8
1440.99/1438.43	c cleaning 684 clauses out of 1371 for limit 1.1148431808862689E9
1440.99/1438.47	c cleaning 553 clauses out of 1189 for limit 2.1241945609945846E9
1441.09/1438.51	c cleaning 394 clauses out of 1134 for limit 3.665641224363915E9
1441.09/1438.55	c cleaning 389 clauses out of 1240 for limit 5.528371410873978E9
1441.19/1438.60	c cleaning 505 clauses out of 1352 for limit 8.370137738141683E9
1441.19/1438.65	c cleaning 494 clauses out of 1346 for limit 1.3851142959669817E10
1441.19/1438.69	c cleaning 669 clauses out of 1353 for limit 2.2746955279029232E10
1441.30/1438.74	c cleaning 403 clauses out of 1185 for limit 4.287391265201361E10
1441.30/1438.79	c cleaning 636 clauses out of 1280 for limit 6.5326345424826126E10
1441.40/1438.83	c cleaning 554 clauses out of 1144 for limit 1.2053916957502489E11
1441.40/1438.87	c cleaning 365 clauses out of 1090 for limit 2.0863329099543604E11
1441.49/1438.92	c cleaning 394 clauses out of 1225 for limit 3.061469273241208E11
1441.49/1438.97	c cleaning 447 clauses out of 1331 for limit 4.646691340960498E11
1441.59/1439.03	c cleaning 469 clauses out of 1385 for limit 7.371612639944221E11
1441.59/1439.09	c cleaning 494 clauses out of 1420 for limit 1.1904683924885994E12
1441.69/1439.15	c cleaning 701 clauses out of 1421 for limit 1.952070344408005E12
1441.69/1439.19	c cleaning 421 clauses out of 1221 for limit 3.750285031701801E12
1441.79/1439.23	c cleaning 455 clauses out of 1299 for limit 5.807539396956544E12
1441.79/1439.28	c cleaning 653 clauses out of 1344 for limit 9.256737195095691E12
1441.89/1439.33	c cleaning 590 clauses out of 1193 for limit 1.7232237421639959E13
1441.89/1439.37	c cleaning 414 clauses out of 1101 for limit 3.073135133926687E13
1441.99/1439.42	c cleaning 415 clauses out of 1187 for limit 4.700825660245557E13
1441.99/1439.46	c cleaning 452 clauses out of 1277 for limit 7.242064898557714E13
1442.09/1439.50	c cleaning 464 clauses out of 1321 for limit 1.1499218651172506E14
1442.09/1439.54	c cleaning 673 clauses out of 1357 for limit 1.8460658518512006E14
1442.09/1439.59	c cleaning 401 clauses out of 1184 for limit 3.489243042253946E14
1442.19/1439.64	c cleaning 638 clauses out of 1282 for limit 5.30904337562365E14
1442.19/1439.68	c cleaning 557 clauses out of 1144 for limit 9.811471831416254E14
1442.29/1439.71	c cleaning 381 clauses out of 1087 for limit 1.7028897395010835E15
1442.29/1439.75	c cleaning 379 clauses out of 1206 for limit 2.5311894518986E15
1442.29/1439.79	c cleaning 630 clauses out of 1327 for limit 3.79364705901505E-5
1442.40/1439.83	c cleaning 572 clauses out of 1201 for limit 6.940308468725806E-5
1442.40/1439.86	c cleaning 520 clauses out of 1125 for limit 1.2169902486727842E-4
1442.50/1439.91	c cleaning 486 clauses out of 1105 for limit 2.0433051510110334E-4
1442.50/1439.95	c cleaning 480 clauses out of 1121 for limit 3.3282413028490825E-4
1442.50/1439.99	c cleaning 376 clauses out of 1139 for limit 5.391176593055816E-4
1442.59/1440.02	c cleaning 428 clauses out of 1263 for limit 8.017884915376852E-4
1442.59/1440.07	c cleaning 470 clauses out of 1335 for limit 0.0012509437746474968
1442.69/1440.12	c cleaning 437 clauses out of 1365 for limit 0.002017633552819281
1442.69/1440.17	c cleaning 516 clauses out of 1431 for limit 0.003183425798368138
1442.79/1440.21	c cleaning 506 clauses out of 1412 for limit 0.005304592417860154
1442.79/1440.25	c cleaning 491 clauses out of 1408 for limit 0.008790406778984726
1442.89/1440.30	c cleaning 517 clauses out of 1416 for limit 0.014400240632340428
1442.89/1440.35	c cleaning 500 clauses out of 1398 for limit 0.024029636793891595
1442.99/1440.40	c cleaning 522 clauses out of 1398 for limit 0.039628085700425586
1442.99/1440.44	c cleaning 478 clauses out of 1376 for limit 0.06639688699804193
1442.99/1440.48	c cleaning 510 clauses out of 1400 for limit 0.10783581545876463
1443.09/1440.52	c cleaning 514 clauses out of 1388 for limit 0.17901460305641198
1443.09/1440.57	c cleaning 510 clauses out of 1374 for limit 0.2982270827337827
1443.19/1440.61	c cleaning 499 clauses out of 1364 for limit 0.49542204728947625
1443.19/1440.66	c cleaning 484 clauses out of 1366 for limit 0.8166376515122177
1443.29/1440.70	c cleaning 471 clauses out of 1381 for limit 1.3307846885877148
1443.29/1440.75	c cleaning 494 clauses out of 1410 for limit 2.1495039541188885
1443.39/1440.80	c cleaning 493 clauses out of 1417 for limit 3.530838956055142
1443.39/1440.85	c cleaning 499 clauses out of 1424 for limit 5.7942023443574495
1443.39/1440.89	c cleaning 496 clauses out of 1424 for limit 9.545859385566976
1443.50/1440.95	c cleaning 501 clauses out of 1428 for limit 15.698302792861991
1443.50/1441.00	c cleaning 495 clauses out of 1429 for limit 25.92230348547761
1443.60/1441.06	c cleaning 484 clauses out of 1432 for limit 42.57451066956617
1443.69/1441.12	c cleaning 499 clauses out of 1450 for limit 69.47836524514942
1443.69/1441.18	c cleaning 491 clauses out of 1450 for limit 114.46453981972725
1443.79/1441.23	c cleaning 545 clauses out of 1458 for limit 187.5438469431656
1443.79/1441.29	c cleaning 526 clauses out of 1413 for limit 319.1347301258236
1443.89/1441.34	c cleaning 488 clauses out of 1387 for limit 536.1615389335035
1443.89/1441.40	c cleaning 476 clauses out of 1399 for limit 876.6178115789069
1443.99/1441.46	c cleaning 513 clauses out of 1424 for limit 1421.7014769922982
1444.09/1441.52	c cleaning 517 clauses out of 1410 for limit 2365.4875492696965
1444.09/1441.57	c cleaning 507 clauses out of 1394 for limit 3949.7299590782213
1444.19/1441.62	c cleaning 496 clauses out of 1388 for limit 6548.338341648109
1444.19/1441.68	c cleaning 465 clauses out of 1390 for limit 10761.991381409334
1444.29/1441.74	c cleaning 502 clauses out of 1425 for limit 17312.04860837681
1444.29/1441.79	c cleaning 521 clauses out of 1423 for limit 28590.010450098194
1444.39/1441.83	c cleaning 511 clauses out of 1405 for limit 47896.33825910398
1444.39/1441.88	c cleaning 510 clauses out of 1391 for limit 79543.34646299735
1444.49/1441.93	c cleaning 493 clauses out of 1381 for limit 132127.4935810785
1444.49/1441.97	c cleaning 477 clauses out of 1388 for limit 216797.0139203144
1444.60/1442.03	c cleaning 502 clauses out of 1413 for limit 351905.059497629
1444.60/1442.09	c cleaning 474 clauses out of 1409 for limit 580822.6489010667
1444.70/1442.13	c cleaning 488 clauses out of 1435 for limit 940499.3985953303
1444.70/1442.19	c cleaning 718 clauses out of 1448 for limit 1538623.1416987872
1444.79/1442.25	c cleaning 391 clauses out of 1230 for limit 2987112.6264121453
1444.89/1442.31	c cleaning 669 clauses out of 1338 for limit 4523993.485145132
1444.89/1442.35	c cleaning 515 clauses out of 1169 for limit 8539244.725014213
1444.89/1442.39	c cleaning 397 clauses out of 1154 for limit 1.4265403144952126E7
1444.99/1442.42	c cleaning 423 clauses out of 1257 for limit 2.159784736424331E7
1800.08/1797.11	c starts		: 22
1800.08/1797.11	c conflicts		: 1156220
1800.08/1797.11	c decisions		: 2671847
1800.08/1797.11	c propagations		: 308424601
1800.08/1797.11	c inspects		: 11158208701
1800.08/1797.11	c learnt literals	: 61
1800.08/1797.11	c learnt binary clauses	: 41754
1800.08/1797.11	c learnt ternary clauses	: 35387
1800.08/1797.11	c learnt clauses	: 1156159
1800.08/1797.11	c root simplifications	: 0
1800.08/1797.11	c removed literals (reason simplification)	: 0
1800.08/1797.11	c reason swapping (by a shorter reason)	: 0
1800.08/1797.11	c Calls to reduceDB	: 291
1800.08/1797.11	c speed (decisions/second)	: 1487.0766639710002
1800.08/1797.11	c non guided choices	69
1800.08/1797.11	s UNKNOWN
1800.08/1797.11	c Total wall clock time (ms): 1797.007

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-3742686-1338771686/watcher-3742686-1338771686 -o /tmp/evaluation-result-3742686-1338771686/solver-3742686-1338771686 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742686-1338771686.opb 

running on 4 cores: 0,2,4,6

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: 1.92 1.97 1.99 3/196 15154
/proc/meminfo: memFree=26474400/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 1150 0 0 0 0 0 0 0 20 0 2 0 343293001 91889664 870 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 22434 881 667 9 0 16769 0
[pid=15154/tid=15155] ppid=15152 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 343293002 91893760 886 33554432000 1073741824 1073778376 140735075807792 140735075796856 254750311808 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.077842 s]
/proc/loadavg: 1.92 1.97 1.99 3/196 15154
/proc/meminfo: memFree=26474400/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 4128 0 1 0 6 1 0 0 20 0 18 0 343293001 3028844544 5846 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 739464 5846 1791 9 0 729885 0
[pid=15154/tid=15155] ppid=15152 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 2918 0 1 0 5 0 0 0 20 0 18 0 343293002 3028844544 5846 33554432000 1073741824 1073778376 140735075807792 140271320244360 254753694989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100288 s]
/proc/loadavg: 1.92 1.97 1.99 3/196 15154
/proc/meminfo: memFree=26474400/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 4900 0 1 0 9 1 0 0 20 0 18 0 343293001 3028844544 6610 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 739464 6610 2127 9 0 729885 0
[pid=15154/tid=15155] ppid=15152 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3017 0 1 0 7 0 0 0 20 0 18 0 343293002 3028844544 6610 33554432000 1073741824 1073778376 140735075807792 140271320252752 140271325083502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300252 s]
/proc/loadavg: 1.92 1.97 1.99 3/196 15154
/proc/meminfo: memFree=26474400/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 8589 0 1 0 53 1 0 0 20 0 18 0 343293001 3028844544 10957 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 739464 10957 2239 9 0 729885 0
[pid=15154/tid=15155] ppid=15152 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3040 0 1 0 27 0 0 0 20 0 18 0 343293002 3028844544 10957 33554432000 1073741824 1073778376 140735075807792 140271320252752 140271166077937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700244 s]
/proc/loadavg: 1.92 1.97 1.99 3/196 15154
/proc/meminfo: memFree=26474400/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=1.38 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 10818 0 1 0 136 2 0 0 20 0 19 0 343293001 3097006080 14326 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 14326 2266 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3059 0 1 0 66 1 0 0 20 0 19 0 343293002 3097006080 14326 33554432000 1073741824 1073778376 140735075807792 140271320252824 140271166354629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50064 s]
/proc/loadavg: 1.92 1.97 1.99 3/215 15173
/proc/meminfo: memFree=26419484/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=2.23 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 10828 0 1 0 221 2 0 0 20 0 19 0 343293001 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 15357 2272 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3062 0 1 0 146 1 0 0 20 0 19 0 343293002 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271320253000 140271166354567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3398 0 0 0 35 0 0 0 20 0 19 0 343293007 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3168 0 0 0 37 0 0 0 20 0 19 0 343293007 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 15357 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 3024420

[startup+3.10063 s]
/proc/loadavg: 1.93 1.97 1.99 3/215 15173
/proc/meminfo: memFree=26412720/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=3.85 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 10832 0 1 0 383 2 0 0 20 0 19 0 343293001 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 16893 2272 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3066 0 1 0 306 1 0 0 20 0 19 0 343293002 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271320250912 140271166332996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3398 0 0 0 36 0 0 0 20 0 19 0 343293007 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3168 0 0 0 37 0 0 0 20 0 19 0 343293007 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 16893 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 3024420

[startup+6.30069 s]
/proc/loadavg: 1.93 1.97 1.99 3/215 15173
/proc/meminfo: memFree=26391868/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=7.05 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 10842 0 1 0 703 2 0 0 20 0 19 0 343293001 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 20969 2273 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3075 0 1 0 625 1 0 0 20 0 19 0 343293002 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271320252880 140271166274106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343293003 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3398 0 0 0 37 0 0 0 20 0 19 0 343293007 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3168 0 0 0 37 0 0 0 20 0 19 0 343293007 3097006080 20969 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3411 0 0 0 47 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3171 0 0 0 39 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 100 0 0 0 41 31 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.27
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/214 15250
/proc/meminfo: memFree=24510132/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=1785.27 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 13225 0 1 0 178387 140 0 0 20 0 19 0 343293001 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 418435 2302 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=1775.81 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3262 0 1 0 177547 34 0 0 20 0 19 0 343293002 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271320251696 140271166274086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 239 0 0 0 25 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 250 0 0 0 27 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 162 0 0 0 14 10 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 380 0 0 0 25 24 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 229 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 232 0 0 0 17 14 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 170 0 0 0 13 9 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 233 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=1.07 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 196 0 0 0 101 6 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3411 0 0 0 47 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3171 0 0 0 39 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 104 0 0 0 43 32 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.27
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.13 2.05 2.01 3/214 15250
/proc/meminfo: memFree=24510256/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 13225 0 1 0 179868 140 0 0 20 0 19 0 343293001 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 418435 2302 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=1790.58 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3262 0 1 0 179023 35 0 0 20 0 19 0 343293002 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271320251696 140271166274136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 239 0 0 0 25 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 250 0 0 0 27 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 162 0 0 0 14 10 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 380 0 0 0 25 24 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 229 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 232 0 0 0 17 14 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 170 0 0 0 13 9 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 233 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=1.07 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 196 0 0 0 101 6 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3411 0 0 0 47 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3171 0 0 0 39 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 104 0 0 0 43 32 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1797.1 s]
/proc/loadavg: 2.13 2.05 2.01 3/214 15250
/proc/meminfo: memFree=24510256/32873844 swapFree=7628/7628
[pid=15154] ppid=15152 vsize=3024420 CPUtime=1800.08 cores=0,2,4,6
/proc/15154/stat : 15154 (java) S 15152 15154 14240 0 -1 4202496 13225 0 1 0 179868 140 0 0 20 0 19 0 343293001 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140735075798928 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15154/statm: 756105 418435 2302 9 0 746526 0
[pid=15154/tid=15155] ppid=15152 vsize=3024420 CPUtime=1790.58 cores=0,2,4,6
/proc/15154/task/15155/stat : 15155 (java) R 15152 15154 14240 0 -1 4202560 3262 0 1 0 179023 35 0 0 20 0 19 0 343293002 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271320251696 140271166274136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15154/tid=15157] ppid=15152 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/15154/task/15157/stat : 15157 (java) S 15152 15154 14240 0 -1 4202560 239 0 0 0 25 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271303678760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15158] ppid=15152 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/15154/task/15158/stat : 15158 (java) S 15152 15154 14240 0 -1 4202560 250 0 0 0 27 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271302625960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15159] ppid=15152 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/15154/task/15159/stat : 15159 (java) S 15152 15154 14240 0 -1 4202560 162 0 0 0 14 10 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271301573672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15160] ppid=15152 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/15154/task/15160/stat : 15160 (java) S 15152 15154 14240 0 -1 4202560 380 0 0 0 25 24 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271300520872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15161] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15161/stat : 15161 (java) S 15152 15154 14240 0 -1 4202560 229 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271299467560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15162] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15162/stat : 15162 (java) S 15152 15154 14240 0 -1 4202560 232 0 0 0 17 14 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271298414760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15163] ppid=15152 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/15154/task/15163/stat : 15163 (java) S 15152 15154 14240 0 -1 4202560 170 0 0 0 13 9 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271297362472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15164] ppid=15152 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/15154/task/15164/stat : 15164 (java) S 15152 15154 14240 0 -1 4202560 233 0 0 0 18 13 0 0 20 0 19 0 343293003 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271296309672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15154/tid=15165] ppid=15152 vsize=3024420 CPUtime=1.07 cores=0,2,4,6
/proc/15154/task/15165/stat : 15165 (java) S 15152 15154 14240 0 -1 4202560 196 0 0 0 101 6 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271165631208 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15166] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15166/stat : 15166 (java) S 15152 15154 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271164577272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15167] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15167/stat : 15167 (java) S 15152 15154 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343293004 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271163524872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15168] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15168/stat : 15168 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271162473360 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15169] ppid=15152 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/15154/task/15169/stat : 15169 (java) S 15152 15154 14240 0 -1 4202560 3411 0 0 0 47 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271161419960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15170] ppid=15152 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/15154/task/15170/stat : 15170 (java) S 15152 15154 14240 0 -1 4202560 3171 0 0 0 39 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271160367160 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15171] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15171/stat : 15171 (java) S 15152 15154 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271159315064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15154/tid=15172] ppid=15152 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/15154/task/15172/stat : 15172 (java) S 15152 15154 14240 0 -1 4202560 104 0 0 0 43 32 0 0 20 0 19 0 343293007 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271158262472 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15154/tid=15173] ppid=15152 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15154/task/15173/stat : 15173 (java) S 15152 15154 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343293042 3097006080 418435 33554432000 1073741824 1073778376 140735075807792 140271156131240 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15154 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=238234
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=951703
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.12
CPU time (s): 1800.08
CPU user time (s): 1798.68
CPU system time (s): 1.4
CPU usage (%): 100.165
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.9517
maximum resident set size= 1673856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13257
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38022
involuntary context switches= 8927

runsolver used 5.80212 second user time and 14.9727 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 03:01:26
IDJOB=3742686
IDBENCH=90223
IDSOLVER=2319
FILE ID=node145/3742686-1338771686
RUNJOBID= node145-1338762649-14256
PBS_JOBID= 14636810
Free space on /tmp= 70924 MiB

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

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

MD5SUM BENCH= 9e951304b89652b8f827a6527d1495c5
RANDOM SEED=225093871

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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.91
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		: 2667.149
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	: 5331.91
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26475192 kB
Buffers:          452416 kB
Cached:          4877608 kB
SwapCached:            0 kB
Active:          1867776 kB
Inactive:        3643420 kB
Active(anon):     172568 kB
Inactive(anon):    10916 kB
Active(file):    1695208 kB
Inactive(file):  3632504 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3600 kB
Writeback:             0 kB
AnonPages:        300652 kB
Mapped:            22392 kB
Shmem:               200 kB
Slab:             726828 kB
SReclaimable:     167852 kB
SUnreclaim:       558976 kB
KernelStack:        1776 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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= 70916 MiB
End job on node145 at 2012-06-04 03:31:25