Trace number 362319

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.11 1784.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
MD5SUMd7a28c2ec06d645af4379f015212128c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.33173
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 653755
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 653755
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/0.15	c Number of processors 2
0.21/0.20	--- Begin Solver configuration ---
0.21/0.20	c Stops conflict analysis at the first Unique Implication Point
0.21/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.21/0.20	c Learn all clauses as in MiniSAT
0.21/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.21/0.20	c No reason simplification
0.21/0.20	c --- End Solver configuration ---
0.21/0.20	c solving /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb
0.21/0.20	c reading problem ... 
6.50/5.26	c ... done. Wall clock time 5.054s.
6.50/5.26	c CPU time (experimental) 4.12s.
6.50/5.26	c #vars     155000
6.50/5.26	c #constraints  5300
1285.80/1273.51	c cleaning 85995 clauses out of 172000 for limit 3.165896291578388E9
1290.46/1278.12	c cleaning 43240 clauses out of 86506 for limit 1.0391286020081682E10
1294.61/1282.29	c cleaning 21877 clauses out of 43766 for limit 3.3871510217950905E10
1303.18/1290.77	c cleaning 11440 clauses out of 22895 for limit 1.77153449656666E11
1306.72/1294.24	c cleaning 5957 clauses out of 11949 for limit 5.564261303746428E11
1310.16/1297.67	c cleaning 3221 clauses out of 6491 for limit 1.687519670904794E12
1312.98/1300.43	c cleaning 1833 clauses out of 3771 for limit 4.795063021550752E12
1315.30/1302.73	c cleaning 1209 clauses out of 2437 for limit 1.2224094480844367E13
1318.44/1305.89	c cleaning 863 clauses out of 1738 for limit 2.855114040531704E13
1320.86/1308.26	c cleaning 683 clauses out of 1366 for limit 5.937010452988574E13
1323.18/1310.52	c cleaning 593 clauses out of 1187 for limit 1.1312581682877172E14
1325.70/1313.08	c cleaning 546 clauses out of 1092 for limit 2.0238423154850184E14
1329.01/1316.37	c cleaning 524 clauses out of 1049 for limit 3.484843222123364E14
1332.05/1319.34	c cleaning 498 clauses out of 1020 for limit 5.880874197854006E14
1335.27/1322.51	c cleaning 505 clauses out of 1027 for limit 9.680550686520264E14
1337.39/1324.69	c cleaning 462 clauses out of 1025 for limit 1.6043756566467452E15
1340.43/1327.68	c cleaning 502 clauses out of 1054 for limit 2.549967230208213E15
1344.07/1331.26	c cleaning 523 clauses out of 1054 for limit 4.2136601978618914E-5
1346.38/1333.52	c cleaning 506 clauses out of 1031 for limit 7.103908229943544E-5
1349.42/1336.60	c cleaning 495 clauses out of 1028 for limit 1.178480268457749E-4
1352.33/1339.44	c cleaning 489 clauses out of 1031 for limit 1.9339428152044023E-4
1355.77/1342.81	c cleaning 508 clauses out of 1039 for limit 3.1552886678241367E-4
1360.00/1347.00	c cleaning 501 clauses out of 1041 for limit 5.24571776399667E-4
1364.36/1351.32	c cleaning 490 clauses out of 1030 for limit 8.656238116947655E-4
1367.69/1354.62	c cleaning 477 clauses out of 1040 for limit 0.0014138032216956021
1370.51/1357.46	c cleaning 501 clauses out of 1063 for limit 0.002281103173752377
1373.66/1360.55	c cleaning 514 clauses out of 1063 for limit 0.003765609903944659
1376.57/1363.42	c cleaning 499 clauses out of 1050 for limit 0.006293173305206092
1379.69/1366.57	c cleaning 486 clauses out of 1050 for limit 0.010367906381281752
1382.72/1369.52	c cleaning 513 clauses out of 1063 for limit 0.016872074204524454
1387.64/1374.50	c cleaning 479 clauses out of 1050 for limit 0.028168798894772917
1393.99/1380.78	c cleaning 516 clauses out of 1082 for limit 0.04557911455442165
1398.03/1384.79	c cleaning 507 clauses out of 1055 for limit 0.07624597857228028
1401.55/1388.24	c cleaning 504 clauses out of 1049 for limit 0.1265856024729022
1406.50/1393.13	c cleaning 497 clauses out of 1048 for limit 0.20958391121036307
1411.33/1397.95	c cleaning 500 clauses out of 1053 for limit 0.3446797448826448
1417.79/1404.33	c cleaning 510 clauses out of 1054 for limit 0.5684521611356811
1422.65/1409.15	c cleaning 488 clauses out of 1037 for limit 0.9461719763399918
1426.68/1413.15	c cleaning 500 clauses out of 1049 for limit 1.5425144325400975
1433.14/1419.52	c cleaning 503 clauses out of 1049 for limit 2.543812653147589
1436.68/1423.09	c cleaning 502 clauses out of 1055 for limit 4.208958510522465
1440.69/1427.08	c cleaning 503 clauses out of 1044 for limit 6.951393712692712
1443.83/1430.12	c cleaning 486 clauses out of 1041 for limit 11.49681499775003
1446.85/1433.15	c cleaning 512 clauses out of 1055 for limit 18.708186892454084
1449.50/1435.72	c cleaning 508 clauses out of 1043 for limit 31.20726709764167
1457.63/1443.85	c cleaning 757 clauses out of 1535 for limit 57.66913544239738
1459.54/1445.73	c cleaning 615 clauses out of 1278 for limit 114.22912593627801
1465.07/1451.23	c cleaning 822 clauses out of 1667 for limit 239.1233183050678
1468.91/1455.08	c cleaning 647 clauses out of 1343 for limit 488.5042870473155
1474.23/1460.34	c cleaning 585 clauses out of 1194 for limit 904.3299801530507
1479.05/1465.19	c cleaning 540 clauses out of 1112 for limit 1606.1492179968664
1487.48/1473.54	c cleaning 762 clauses out of 1574 for limit 3092.194101420755
1491.30/1477.32	c cleaning 629 clauses out of 1308 for limit 6111.975030519029
1495.00/1481.04	c cleaning 560 clauses out of 1178 for limit 11180.607460246518
1499.62/1485.64	c cleaning 542 clauses out of 1129 for limit 19451.462719457253
1503.84/1489.88	c cleaning 521 clauses out of 1087 for limit 33317.511017116
1507.66/1493.68	c cleaning 481 clauses out of 1056 for limit 55994.96082695109
1512.88/1498.81	c cleaning 501 clauses out of 1074 for limit 90704.7346624627
1518.61/1504.52	c cleaning 493 clauses out of 1073 for limit 149723.64921532734
1522.72/1508.69	c cleaning 501 clauses out of 1081 for limit 245332.35651482295
1526.95/1512.87	c cleaning 514 clauses out of 1080 for limit 404960.4924201555
1529.77/1515.66	c cleaning 494 clauses out of 1066 for limit 676604.8299981167
1534.19/1520.02	c cleaning 512 clauses out of 1072 for limit 1109566.663499657
1536.90/1522.79	c cleaning 503 clauses out of 1070 for limit 1851677.7688051232
1540.22/1526.05	c cleaning 495 clauses out of 1060 for limit 3060959.8246482667
1544.14/1529.95	c cleaning 534 clauses out of 1069 for limit 5025505.164663632
1548.27/1534.08	c cleaning 485 clauses out of 1027 for limit 8557891.540006809
1552.39/1538.17	c cleaning 522 clauses out of 1045 for limit 1.3911704799722431E7
1557.01/1542.75	c cleaning 481 clauses out of 1023 for limit 2.343564427403088E7
1560.73/1546.50	c cleaning 497 clauses out of 1044 for limit 3.79469559279651E7
1564.66/1550.37	c cleaning 520 clauses out of 1042 for limit 6.238684895115567E7
1569.38/1555.09	c cleaning 513 clauses out of 1028 for limit 1.0491331568299423E8
1574.30/1559.93	c cleaning 504 clauses out of 1013 for limit 1.752270483522618E8
1579.22/1564.85	c cleaning 504 clauses out of 1008 for limit 2.901158349913752E8
1583.25/1568.88	c cleaning 476 clauses out of 1001 for limit 4.803416441372108E8
1587.88/1573.47	c cleaning 476 clauses out of 1026 for limit 7.736194067048658E8
1592.11/1577.61	c cleaning 527 clauses out of 1062 for limit 1.247441614809636E9
1596.33/1581.81	c cleaning 479 clauses out of 1025 for limit 2.1102390174353645E9
1599.85/1585.32	c cleaning 483 clauses out of 1047 for limit 3.4103521893794146E9
1604.40/1589.88	c cleaning 529 clauses out of 1060 for limit 5.53296454803101E9
1608.83/1594.22	c cleaning 519 clauses out of 1039 for limit 9.38383118939514E9
1612.78/1598.17	c cleaning 479 clauses out of 1016 for limit 1.5762310049175537E10
1617.31/1602.69	c cleaning 492 clauses out of 1040 for limit 2.5470628230823593E10
1620.43/1605.70	c cleaning 521 clauses out of 1042 for limit 4.167293547930161E10
1624.57/1609.88	c cleaning 475 clauses out of 1021 for limit 7.01377706389785E10
1629.20/1614.40	c cleaning 491 clauses out of 1046 for limit 1.1290206935597287E11
1634.64/1619.86	c cleaning 527 clauses out of 1054 for limit 1.8459262722431326E11
1639.37/1624.52	c cleaning 513 clauses out of 1027 for limit 3.1242113459787036E11
1642.59/1627.79	c cleaning 509 clauses out of 1018 for limit 5.218635989188221E11
1646.32/1631.50	c cleaning 477 clauses out of 1006 for limit 8.68278713155874E11
1650.85/1635.98	c cleaning 484 clauses out of 1028 for limit 1.399862550162304E12
1653.98/1639.02	c cleaning 481 clauses out of 1047 for limit 2.2734805889400986E12
1658.49/1643.52	c cleaning 484 clauses out of 1066 for limit 3.682447929320786E12
1662.74/1647.79	c cleaning 536 clauses out of 1079 for limit 5.98170135174159E12
1667.17/1652.18	c cleaning 519 clauses out of 1043 for limit 1.0205111390894068E13
1671.59/1656.51	c cleaning 513 clauses out of 1027 for limit 1.7143166242766965E13
1675.92/1660.88	c cleaning 470 clauses out of 1011 for limit 2.8632724617164676E13
1680.94/1665.84	c cleaning 522 clauses out of 1044 for limit 4.58640873185239E13
1685.57/1670.48	c cleaning 458 clauses out of 1019 for limit 7.725941616651344E13
1690.11/1674.93	c cleaning 505 clauses out of 1061 for limit 1.2236750610960733E14
1693.64/1678.43	c cleaning 525 clauses out of 1056 for limit 2.027558818663401E14
1697.37/1682.18	c cleaning 515 clauses out of 1031 for limit 3.424795164929927E14
1701.70/1686.41	c cleaning 475 clauses out of 1023 for limit 5.732117743896059E14
1706.95/1691.68	c cleaning 489 clauses out of 1043 for limit 9.225496663442145E14
1711.96/1696.64	c cleaning 499 clauses out of 1056 for limit 1.5056882347854535E15
1717.79/1702.47	c cleaning 511 clauses out of 1053 for limit 2.480209940749622E-5
1722.90/1707.57	c cleaning 521 clauses out of 1052 for limit 4.1352529482103026E-5
1727.62/1712.28	c cleaning 507 clauses out of 1021 for limit 6.956693138600633E-5
1732.45/1717.04	c cleaning 477 clauses out of 1014 for limit 1.155171647500203E-4
1736.25/1720.84	c cleaning 512 clauses out of 1037 for limit 1.8627801725994606E-4
1740.97/1725.52	c cleaning 502 clauses out of 1026 for limit 3.1080171105770353E-4
1744.69/1729.29	c cleaning 484 clauses out of 1023 for limit 5.135426328892241E-4
1750.39/1734.90	c cleaning 488 clauses out of 1043 for limit 8.339917657648045E-4
1755.71/1740.27	c cleaning 498 clauses out of 1052 for limit 0.0013595108659123906
1760.72/1745.28	c cleaning 475 clauses out of 1053 for limit 0.0022376462345624357
1765.56/1750.07	c cleaning 505 clauses out of 1078 for limit 0.003604598720873836
1770.37/1754.82	c cleaning 506 clauses out of 1076 for limit 0.00597341703452564
1776.10/1760.55	c cleaning 508 clauses out of 1073 for limit 0.009908200990905084
1780.11/1764.51	c cleaning 502 clauses out of 1060 for limit 0.016457808044971798
1784.83/1769.29	c cleaning 508 clauses out of 1066 for limit 0.02720524456566684
1788.55/1772.98	c cleaning 497 clauses out of 1059 for limit 0.045206853248163544
1792.07/1776.44	c cleaning 493 clauses out of 1052 for limit 0.07430110409992935
1795.29/1779.63	c cleaning 502 clauses out of 1060 for limit 0.12172941661459709
1798.40/1782.71	c cleaning 497 clauses out of 1059 for limit 0.2011387952896518
1800.01/1784.31	c starts		: 18
1800.01/1784.31	c conflicts		: 235737
1800.01/1784.31	c decisions		: 618127
1800.01/1784.31	c propagations		: 92507818
1800.01/1784.31	c inspects		: 280022058
1800.01/1784.31	c learnt literals	: 0
1800.01/1784.31	c learnt binary clauses	: 0
1800.01/1784.31	c learnt ternary clauses	: 0
1800.01/1784.31	c learnt clauses	: 235736
1800.01/1784.31	c root simplifications	: 0
1800.01/1784.31	c removed literals (reason simplification)	: 0
1800.01/1784.31	c reason swapping (by a shorter reason)	: 0
1800.01/1784.31	c Calls to reduceDB	: 124
1800.01/1784.31	c speed (decisions/second)	: 347.5718547133262
1800.01/1784.31	c non guided choices	20005
1800.01/1784.31	s UNKNOWN
1800.01/1784.31	c Total wall clock time (ms): 1784.11

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-362319-1177010234 -o ROOT/results/node24/solver-362319-1177010234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28084
/proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=308 CPUtime=0
/proc/28084/stat : 28084 (java) R 28082 28084 27760 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 148941424 315392 39 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0
/proc/28084/statm: 81 41 31 9 0 6 0

[startup+0.04152 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28084
/proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1776088 CPUtime=0.03
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 3243 0 1 0 2 1 0 0 18 0 4 0 148941424 1818714112 2991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 444022 2991 887 9 0 441658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1776088

[startup+0.102526 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28084
/proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1780108 CPUtime=0.09
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 3979 0 1 0 7 2 0 0 18 0 12 0 148941424 1822830592 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 445027 3721 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.302548 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28084
/proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1781632 CPUtime=0.33
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 6427 0 1 0 30 3 0 0 18 0 12 0 148941424 1824391168 6166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 445408 6166 1267 9 0 443020 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781632

[startup+0.701587 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28084
/proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1783012 CPUtime=0.91
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 10690 0 1 0 86 5 0 0 18 0 12 0 148941424 1825804288 9965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 445753 9966 1296 9 0 443365 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1783012

[startup+1.50168 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 28096
/proc/meminfo: memFree=1510648/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1783012 CPUtime=1.82
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 24719 0 1 0 171 11 0 0 18 0 12 0 148941424 1825804288 23995 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 445753 23996 1302 9 0 443365 0
[pid=28084/tid=28086] ppid=28082 vsize=1783012 CPUtime=1.24
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 22645 0 1 0 114 10 0 0 25 0 12 0 148941425 1825804288 23996 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109519782 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 148941427 1825804288 23997 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 148941427 1825804288 23998 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 148941429 1825804288 23999 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 148941429 1825804288 24000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 148941429 1825804288 24000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 148941433 1825804288 24001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1783012 CPUtime=0.32
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1072 0 0 0 32 0 0 0 16 0 12 0 148941433 1825804288 24002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1783012 CPUtime=0.24
/proc/28084/task/28094/stat : 28094 (java) R 28082 28084 27760 0 -1 64 284 0 0 0 24 0 0 0 16 0 12 0 148941433 1825804288 24003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315553 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 148941433 1825804288 24004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1783012 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148941433 1825804288 24004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 1783012

[startup+3.10184 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 28096
/proc/meminfo: memFree=1429112/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1785324 CPUtime=3.84
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 49021 0 1 0 362 22 0 0 18 0 12 0 148941424 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 446331 47324 1313 9 0 443943 0
[pid=28084/tid=28086] ppid=28082 vsize=1785324 CPUtime=2.49
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37672 0 1 0 233 16 0 0 23 0 12 0 148941425 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109547103 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1785324 CPUtime=0.18
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 3444 0 0 0 17 1 0 0 16 0 12 0 148941427 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1785324 CPUtime=0.18
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 5496 0 0 0 16 2 0 0 18 0 12 0 148941427 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1785324 CPUtime=0.51
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1248 0 0 0 51 0 0 0 16 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1785324 CPUtime=0.43
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 436 0 0 0 43 0 0 0 16 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1785324 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 1785324

[startup+6.3022 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 28096
/proc/meminfo: memFree=1324408/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788492 CPUtime=8.3
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 73208 0 1 0 796 34 0 0 18 0 13 0 148941424 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447123 67725 1334 9 0 444735 0
[pid=28084/tid=28086] ppid=28082 vsize=1788492 CPUtime=4.75
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37715 0 1 0 459 16 0 0 19 0 13 0 148941425 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788492 CPUtime=0.91
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 16118 0 0 0 84 7 0 0 19 0 13 0 148941427 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788492 CPUtime=0.91
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 16083 0 0 0 83 8 0 0 18 0 13 0 148941427 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788492 CPUtime=0.91
/proc/28084/task/28093/stat : 28093 (java) R 28082 28084 27760 0 -1 64 1879 0 0 0 91 0 0 0 17 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102087169 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788492 CPUtime=0.77
/proc/28084/task/28094/stat : 28094 (java) R 28082 28084 27760 0 -1 64 683 0 0 0 77 0 0 0 16 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105420296 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788492 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 1788492

[startup+12.7029 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 28097
/proc/meminfo: memFree=1301616/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=14.99
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 74954 0 1 0 1463 36 0 0 18 0 13 0 148941424 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 69266 1334 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=10.94
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37720 0 1 0 1078 16 0 0 25 0 13 0 148941425 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109908899 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=1.07
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 16677 0 0 0 100 7 0 0 16 0 13 0 148941427 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=1.08
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 17251 0 0 0 99 9 0 0 16 0 13 0 148941427 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=0.98
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1884 0 0 0 98 0 0 0 16 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=0.85
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 692 0 0 0 85 0 0 0 17 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.99
Current children cumulated vsize (KiB) 1788372

[startup+25.5023 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 28097
/proc/meminfo: memFree=1288112/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=28.06
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 79296 0 1 0 2768 38 0 0 18 0 13 0 148941424 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 72632 1334 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=23.55
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37724 0 1 0 2339 16 0 0 25 0 13 0 148941425 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109877064 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=1.25
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 19409 0 0 0 116 9 0 0 16 0 13 0 148941427 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=1.26
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 18849 0 0 0 116 10 0 0 16 0 13 0 148941427 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=28084] ppid=28082 vsize=1788372 CPUtime=1677.42
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 508323 0 1 0 167436 306 0 0 18 0 13 0 148941424 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 78830 1336 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1645.31
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 45488 0 1 0 164495 36 0 0 25 0 13 0 148941425 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876752 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=14.42
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 230588 0 0 0 1327 115 0 0 16 0 13 0 148941427 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=14.49
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226053 0 0 0 1331 118 0 0 16 0 13 0 148941427 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0.96
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 2875 0 0 0 63 33 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1677.42
Current children cumulated vsize (KiB) 1788372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28099
/proc/meminfo: memFree=1283248/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=1737.76
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515770 0 1 0 173464 312 0 0 18 0 13 0 148941424 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 72984 1336 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1704.36
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46686 0 1 0 170398 38 0 0 19 0 13 0 148941425 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849172 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=14.81
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231525 0 0 0 1364 117 0 0 16 0 13 0 148941427 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=14.88
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226053 0 0 0 1370 118 0 0 16 0 13 0 148941427 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.48
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8187 0 0 0 112 36 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1737.76
Current children cumulated vsize (KiB) 1788372

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28099
/proc/meminfo: memFree=1288112/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=1798
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515903 0 1 0 179485 315 0 0 18 0 13 0 148941424 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 71813 1336 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1764.01
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46756 0 1 0 176363 38 0 0 20 0 13 0 148941425 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876575 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.08
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1391 117 0 0 16 0 13 0 148941427 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.15
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1397 118 0 0 16 0 13 0 148941427 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1788372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28099
/proc/meminfo: memFree=1288304/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=1800.01
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515906 0 1 0 179686 315 0 0 18 0 13 0 148941424 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 71765 1336 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1766.01
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46759 0 1 0 176562 39 0 0 18 0 13 0 148941425 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109883978 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.09
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1392 117 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.17
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1399 118 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1788372

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

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

[startup+1784.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 28099
/proc/meminfo: memFree=1288304/2055920 swapFree=4133640/4192956
[pid=28084] ppid=28082 vsize=1788372 CPUtime=1800.01
/proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515906 0 1 0 179686 315 0 0 18 0 13 0 148941424 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28084/statm: 447093 71765 1336 9 0 444705 0
[pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1766.01
/proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46759 0 1 0 176562 39 0 0 18 0 13 0 148941425 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109883978 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.09
/proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1392 117 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.17
/proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1399 118 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51
/proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13
/proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03
/proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0
/proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1788372

Child status: 143
Real time (s): 1784.4
CPU time (s): 1800.11
CPU user time (s): 1796.91
CPU system time (s): 3.19751
CPU usage (%): 100.881
Max. virtual memory (cumulated for all children) (KiB): 1801184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 3.19751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515927
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48525
involuntary context switches= 52870

runsolver used 1.68774 second user time and 4.86726 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Thu Apr 19 19:17:14 UTC 2007

IDJOB= 362319
IDBENCH= 1550
IDSOLVER= 159
FILE ID= node24/362319-1177010234

PBS_JOBID= 4630539

Free space on /tmp= 66225 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-362319-1177010234 -o ROOT/results/node24/solver-362319-1177010234 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  d7a28c2ec06d645af4379f015212128c

RANDOM SEED= 850611892

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1574896 kB
Buffers:         38156 kB
Cached:         346448 kB
SwapCached:      27340 kB
Active:         140536 kB
Inactive:       279312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574896 kB
SwapTotal:     4192956 kB
SwapFree:      4133640 kB
Dirty:           10156 kB
Writeback:           0 kB
Mapped:          42340 kB
Slab:            46748 kB
Committed_AS:  1881440 kB
PageTables:       1808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66225 MiB

End job on node24 on Thu Apr 19 19:47:00 UTC 2007