Trace number 3744578

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.96 1762.12

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_2_ic.opb
MD5SUMc16bd2424e0fff3ff3df69ee00e2dc99
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 112678587
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11239356641
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 112678587
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11239356641
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version	1.6.0_24
0.00/0.07	c os.name	Linux
0.00/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch	amd64
0.00/0.07	c Free memory 1599470296
0.00/0.07	c Max memory 1607860224
0.00/0.07	c Total memory 1607860224
0.00/0.07	c Number of processors 8
0.00/0.09	--- Begin Solver configuration ---
0.00/0.09	c Stops conflict analysis at the first Unique Implication Point
0.00/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.00/0.09	c No reason simplification
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3744578-1338804112.opb
0.00/0.09	c reading problem ... 
1.37/0.65	c ... done. Wall clock time 0.559s.
1.37/0.65	c CPU time (experimental) 0.62s.
1.37/0.65	c #vars     15725
1.37/0.65	c #constraints  33133
1283.25/1262.64	c cleaning 403230 clauses out of 806500 for limit 33662.11300291859
1299.99/1278.99	c cleaning 206870 clauses out of 413771 for limit 2.3976944350232525E9
1304.82/1283.60	c cleaning 105191 clauses out of 210401 for limit 1.5642180524016025E11
1313.19/1291.79	c cleaning 56591 clauses out of 113211 for limit 8.709338507294258E-6
1315.05/1293.53	c cleaning 29304 clauses out of 58618 for limit 1.2416446602072498E-4
1318.27/1296.63	c cleaning 16405 clauses out of 32815 for limit 0.007365150640666093
1321.85/1300.01	c cleaning 9934 clauses out of 19909 for limit 0.4023104312405844
1327.11/1305.03	c cleaning 6728 clauses out of 13475 for limit 19.718468229966756
1334.17/1311.77	c cleaning 6118 clauses out of 12247 for limit 5323.374110847069
1337.51/1314.93	c cleaning 4794 clauses out of 9630 for limit 224810.26612248697
1340.76/1318.07	c cleaning 4144 clauses out of 8337 for limit 8622999.207433766
1345.54/1322.67	c cleaning 4823 clauses out of 9691 for limit 1.8165413478519242E9
1347.11/1324.10	c cleaning 3177 clauses out of 6368 for limit 1.2398766680068316E10
1356.78/1333.36	c cleaning 6065 clauses out of 12191 for limit 5.271669526681353E13
1362.04/1338.39	c cleaning 5292 clauses out of 10626 for limit 5.456581923068284E-5
1363.83/1340.00	c cleaning 3408 clauses out of 6834 for limit 3.8052498548179993E-4
1365.30/1341.47	c cleaning 2453 clauses out of 4926 for limit 0.0023677257976381805
1371.82/1347.64	c cleaning 4231 clauses out of 8474 for limit 0.5574969679863634
1373.50/1349.25	c cleaning 2858 clauses out of 5743 for limit 3.689434581794334
1376.63/1352.23	c cleaning 2925 clauses out of 5885 for limit 72.42483014263456
1381.55/1356.95	c cleaning 3723 clauses out of 7460 for limit 5154.637253032449
1386.46/1361.70	c cleaning 4088 clauses out of 8237 for limit 421183.01845551684
1388.05/1363.16	c cleaning 2799 clauses out of 5650 for limit 2756726.2624471234
1389.83/1364.80	c cleaning 2404 clauses out of 4849 for limit 2.371070306824507E7
1391.21/1366.17	c cleaning 1953 clauses out of 3946 for limit 1.3081022956971213E8
1394.53/1369.31	c cleaning 2738 clauses out of 5493 for limit 3.1173129148150287E9
1399.45/1374.03	c cleaning 3122 clauses out of 6255 for limit 9.081422746441096E10
1404.66/1379.02	c cleaning 3561 clauses out of 7132 for limit 4.35293775183077E12
1406.38/1380.64	c cleaning 2518 clauses out of 5071 for limit 2.7457933043586543E13
1407.82/1382.03	c cleaning 2011 clauses out of 4053 for limit 1.5408221375442297E14
1412.86/1386.84	c cleaning 3014 clauses out of 6043 for limit 5.659240191754291E-5
1417.83/1391.53	c cleaning 3251 clauses out of 6528 for limit 0.0017361501117517848
1421.41/1394.95	c cleaning 3131 clauses out of 6277 for limit 0.036320399077168664
1422.98/1396.43	c cleaning 2566 clauses out of 5146 for limit 0.32768495839697803
1424.56/1397.95	c cleaning 2263 clauses out of 4580 for limit 2.7232302239976924
1429.36/1402.53	c cleaning 3149 clauses out of 6319 for limit 108.19759333047988
1434.24/1407.25	c cleaning 3565 clauses out of 7170 for limit 5216.676388416089
1435.61/1408.50	c cleaning 2291 clauses out of 4603 for limit 22055.394370004917
1437.19/1410.00	c cleaning 1875 clauses out of 3814 for limit 119622.20362242391
1438.68/1411.45	c cleaning 1691 clauses out of 3437 for limit 594171.1934622432
1441.93/1414.59	c cleaning 2609 clauses out of 5249 for limit 1.294521585031435E7
1443.52/1416.07	c cleaning 2062 clauses out of 4138 for limit 7.350113072657572E7
1445.09/1417.52	c cleaning 1786 clauses out of 3575 for limit 3.811900971529013E8
1446.66/1419.03	c cleaning 1641 clauses out of 3290 for limit 1.859618811094671E9
1450.14/1422.32	c cleaning 2553 clauses out of 5149 for limit 3.941741555112207E10
1451.63/1423.77	c cleaning 2019 clauses out of 4095 for limit 2.2207019853531097E11
1453.13/1425.14	c cleaning 1768 clauses out of 3576 for limit 1.1405500236001733E12
1456.08/1427.97	c cleaning 2652 clauses out of 5311 for limit 2.5552317251408633E13
1457.86/1429.68	c cleaning 2326 clauses out of 4657 for limit 2.1510716617048828E14
1459.45/1431.16	c cleaning 1902 clauses out of 3830 for limit 1.1719133243837952E-5
1460.90/1432.57	c cleaning 1703 clauses out of 3428 for limit 5.872474151646725E-5
1462.48/1434.00	c cleaning 1590 clauses out of 3226 for limit 2.8015587667652215E-4
1465.74/1437.10	c cleaning 2540 clauses out of 5135 for limit 0.005832843837876559
1467.12/1438.45	c cleaning 2029 clauses out of 4095 for limit 0.03280458531092973
1470.24/1441.46	c cleaning 2753 clauses out of 5566 for limit 0.8006384912673895
1472.04/1443.15	c cleaning 2389 clauses out of 4813 for limit 6.8483721684862155
1473.45/1444.41	c cleaning 1939 clauses out of 3927 for limit 37.758393694325264
1474.92/1445.89	c cleaning 1712 clauses out of 3485 for limit 190.25485800328613
1476.71/1447.53	c cleaning 1863 clauses out of 3773 for limit 1299.7962516330265
1478.18/1448.96	c cleaning 1939 clauses out of 3912 for limit 9290.857752682105
1479.84/1450.53	c cleaning 1973 clauses out of 3971 for limit 67563.05742259834
1481.53/1452.11	c cleaning 1976 clauses out of 3998 for limit 496352.186943295
1482.80/1453.33	c cleaning 1733 clauses out of 3522 for limit 2527033.7307935054
1486.07/1456.44	c cleaning 2617 clauses out of 5289 for limit 5.582362472792176E7
1487.52/1457.86	c cleaning 2050 clauses out of 4173 for limit 3.1764746055024576E8
1490.84/1461.10	c cleaning 2809 clauses out of 5624 for limit 7.826618790263176E9
1497.05/1466.93	c cleaning 3392 clauses out of 6813 for limit 3.5274362757130304E11
1498.62/1468.50	c cleaning 2453 clauses out of 4922 for limit 2.1920887296456006E12
1501.60/1471.27	c cleaning 2485 clauses out of 4970 for limit 2.6506799719657645E13
1503.20/1472.73	c cleaning 1991 clauses out of 3983 for limit 1.4804781988239953E14
1504.79/1474.30	c cleaning 1747 clauses out of 3494 for limit 7.584485175216225E14
1508.01/1477.31	c cleaning 2113 clauses out of 4246 for limit 7.605257812218188E-5
1514.06/1483.08	c cleaning 3554 clauses out of 7132 for limit 0.006729874329958829
1516.06/1485.00	c cleaning 2532 clauses out of 5082 for limit 0.042529407897966595
1517.45/1486.25	c cleaning 1765 clauses out of 3548 for limit 0.16534198090509114
1522.54/1491.11	c cleaning 3137 clauses out of 6284 for limit 8.430786008267765
1524.01/1492.59	c cleaning 2316 clauses out of 4644 for limit 51.01244706347099
1525.38/1493.85	c cleaning 1908 clauses out of 3829 for limit 277.76989498518554
1527.16/1495.51	c cleaning 1949 clauses out of 3922 for limit 2007.802596144264
1528.73/1497.05	c cleaning 1728 clauses out of 3471 for limit 10154.829233678247
1530.11/1498.39	c cleaning 1616 clauses out of 3245 for limit 48814.542312466554
1532.10/1500.27	c cleaning 1553 clauses out of 3129 for limit 227052.36019100447
1800.09/1762.11	c starts		: 22
1800.09/1762.11	c conflicts		: 1258954
1800.09/1762.11	c decisions		: 1653947
1800.09/1762.11	c propagations		: 872863773
1800.09/1762.11	c inspects		: 7963592843
1800.09/1762.11	c learnt literals	: 0
1800.09/1762.11	c learnt binary clauses	: 0
1800.09/1762.11	c learnt ternary clauses	: 1
1800.09/1762.11	c learnt clauses	: 1258953
1800.09/1762.11	c root simplifications	: 0
1800.09/1762.11	c removed literals (reason simplification)	: 0
1800.09/1762.11	c reason swapping (by a shorter reason)	: 0
1800.09/1762.11	c Calls to reduceDB	: 82
1800.09/1762.11	c speed (decisions/second)	: 938.9791595583364
1800.09/1762.11	c non guided choices	0
1800.09/1762.11	s UNKNOWN
1800.09/1762.11	c Total wall clock time (ms): 1762.022

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-3744578-1338804112/watcher-3744578-1338804112 -o /tmp/evaluation-result-3744578-1338804112/solver-3744578-1338804112 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744578-1338804112.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: 2.02 2.03 2.00 4/193 12611
/proc/meminfo: memFree=26286076/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/12611/stat : 12611 (java) R 12609 12611 9704 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 346537145 23793664 710 33554432000 1073741824 1073778376 140733812976304 140733812965368 273439307856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 5809 711 526 9 0 128 0

[startup+0.102743 s]
/proc/loadavg: 2.02 2.03 2.00 4/193 12611
/proc/meminfo: memFree=26286076/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 4923 0 1 0 9 1 0 0 20 0 18 0 346537145 3028844544 7142 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 739464 7142 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.200295 s]
/proc/loadavg: 2.02 2.03 2.00 4/193 12611
/proc/meminfo: memFree=26286076/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=2957856 CPUtime=0.3 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 5665 0 1 0 29 1 0 0 20 0 18 0 346537145 3028844544 8788 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 739464 8788 2224 9 0 729885 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2957856

[startup+0.300211 s]
/proc/loadavg: 2.02 2.03 2.00 4/193 12611
/proc/meminfo: memFree=26286076/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=2957856 CPUtime=0.52 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 7871 0 1 0 50 2 0 0 20 0 18 0 346537145 3028844544 11203 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 739464 11203 2248 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856

[startup+0.700173 s]
/proc/loadavg: 2.02 2.03 2.00 4/193 12611
/proc/meminfo: memFree=26286076/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=1.55 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 10234 0 1 0 151 4 0 0 20 0 19 0 346537145 3097006080 39847 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 39847 2274 9 0 746526 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 3024420

[startup+1.50075 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12630
/proc/meminfo: memFree=26043732/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=2.56 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 10330 0 1 0 250 6 0 0 20 0 19 0 346537145 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 86443 2278 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3176 0 1 0 143 4 0 0 20 0 19 0 346537146 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487628611960 140487458353257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 2874 0 0 0 54 0 0 0 20 0 19 0 346537151 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3085 0 0 0 52 0 0 0 20 0 19 0 346537151 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 86443 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12630
/proc/meminfo: memFree=25829748/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=4.3 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 10462 0 1 0 419 11 0 0 20 0 19 0 346537145 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 120770 2291 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3232 0 1 0 298 6 0 0 20 0 19 0 346537146 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487628610856 140487458326532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 2874 0 0 0 56 0 0 0 20 0 19 0 346537151 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3085 0 0 0 52 0 0 0 20 0 19 0 346537151 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 120770 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.02 2.03 2.00 3/212 12630
/proc/meminfo: memFree=25802752/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=7.56 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 10475 0 1 0 745 11 0 0 20 0 19 0 346537145 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 121241 2291 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=6.2 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3235 0 1 0 614 6 0 0 20 0 19 0 346537146 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487628612136 140487458259380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 346537147 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 2874 0 0 0 56 0 0 0 20 0 19 0 346537151 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3085 0 0 0 52 0 0 0 20 0 19 0 346537151 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 121241 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=5.59 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 329 0 0 0 550 9 0 0 20 0 19 0 346537147 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=5.92 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 326 0 0 0 581 11 0 0 20 0 19 0 346537147 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=6.03 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 343 0 0 0 589 14 0 0 20 0 19 0 346537147 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 121 0 0 0 25 5 0 0 20 0 19 0 346537148 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 3197 0 0 0 70 0 0 0 20 0 19 0 346537151 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3094 0 0 0 60 0 0 0 20 0 19 0 346537151 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 91 0 0 0 29 30 0 0 20 0 19 0 346537151 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 420644 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1636.73
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.14 2.13 2.05 3/211 12700
/proc/meminfo: memFree=24104996/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=1698.18 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 14508 0 1 0 169690 128 0 0 20 0 19 0 346537145 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 420718 2307 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=1647.89 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3947 0 1 0 164751 38 0 0 20 0 19 0 346537146 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487628610752 140487458370643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=6.07 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 369 0 0 0 597 10 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=5.93 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 389 0 0 0 581 12 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=5.84 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 362 0 0 0 572 12 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 363 0 0 0 611 11 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=6.29 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 365 0 0 0 618 11 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=5.82 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 336 0 0 0 572 10 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=6.2 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 338 0 0 0 608 12 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=6.29 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 350 0 0 0 615 14 0 0 20 0 19 0 346537147 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 123 0 0 0 25 5 0 0 20 0 19 0 346537148 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 3197 0 0 0 70 0 0 0 20 0 19 0 346537151 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3094 0 0 0 60 0 0 0 20 0 19 0 346537151 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 93 0 0 0 30 31 0 0 20 0 19 0 346537151 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 420718 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1698.18
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.06 2.11 2.04 3/212 12704
/proc/meminfo: memFree=24104368/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=1759.46 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 14619 0 1 0 175815 131 0 0 20 0 19 0 346537145 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 420792 2307 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=1707.34 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3976 0 1 0 170695 39 0 0 20 0 19 0 346537146 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487628610864 140487458351335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=6.36 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 381 0 0 0 626 10 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=6.09 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 396 0 0 0 597 12 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=6.07 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 370 0 0 0 594 13 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=6.44 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 378 0 0 0 632 12 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=6.58 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 374 0 0 0 646 12 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=6.06 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 341 0 0 0 596 10 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 346 0 0 0 629 12 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=6.5 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 360 0 0 0 636 14 0 0 20 0 19 0 346537147 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 127 0 0 0 26 5 0 0 20 0 19 0 346537148 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 3197 0 0 0 70 0 0 0 20 0 19 0 346537151 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3094 0 0 0 60 0 0 0 20 0 19 0 346537151 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 97 0 0 0 31 33 0 0 20 0 19 0 346537151 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 420792 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1759.46
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.1 s]
/proc/loadavg: 2.09 2.11 2.04 3/211 12704
/proc/meminfo: memFree=24103308/32873852 swapFree=6856/6856
[pid=12611] ppid=12609 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/12611/stat : 12611 (java) S 12609 12611 9704 0 -1 4202496 14672 0 1 0 179876 133 0 0 20 0 19 0 346537145 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140733812967440 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12611/statm: 756105 420910 2307 9 0 746526 0
[pid=12611/tid=12613] ppid=12609 vsize=3024420 CPUtime=1746.83 cores=0,2,4,6
/proc/12611/task/12613/stat : 12613 (java) R 12609 12611 9704 0 -1 4202560 3993 0 1 0 174643 40 0 0 20 0 19 0 346537146 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487628610888 140487458351536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12614] ppid=12609 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/12611/task/12614/stat : 12614 (java) S 12609 12611 9704 0 -1 4202560 384 0 0 0 637 10 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487612037800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12615] ppid=12609 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/12611/task/12615/stat : 12615 (java) S 12609 12611 9704 0 -1 4202560 400 0 0 0 609 13 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487610985256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12616] ppid=12609 vsize=3024420 CPUtime=6.19 cores=0,2,4,6
/proc/12611/task/12616/stat : 12616 (java) S 12609 12611 9704 0 -1 4202560 373 0 0 0 606 13 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487609932712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12611/tid=12617] ppid=12609 vsize=3024420 CPUtime=6.62 cores=0,2,4,6
/proc/12611/task/12617/stat : 12617 (java) S 12609 12611 9704 0 -1 4202560 382 0 0 0 650 12 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487608880168 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12618] ppid=12609 vsize=3024420 CPUtime=6.72 cores=0,2,4,6
/proc/12611/task/12618/stat : 12618 (java) S 12609 12611 9704 0 -1 4202560 377 0 0 0 660 12 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487607826600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12619] ppid=12609 vsize=3024420 CPUtime=6.17 cores=0,2,4,6
/proc/12611/task/12619/stat : 12619 (java) S 12609 12611 9704 0 -1 4202560 343 0 0 0 607 10 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487606774056 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12620] ppid=12609 vsize=3024420 CPUtime=6.55 cores=0,2,4,6
/proc/12611/task/12620/stat : 12620 (java) S 12609 12611 9704 0 -1 4202560 350 0 0 0 643 12 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487605721512 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12621] ppid=12609 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/12611/task/12621/stat : 12621 (java) S 12609 12611 9704 0 -1 4202560 369 0 0 0 654 14 0 0 20 0 19 0 346537147 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487604668968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12622] ppid=12609 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12611/task/12622/stat : 12622 (java) S 12609 12611 9704 0 -1 4202560 129 0 0 0 26 5 0 0 20 0 19 0 346537148 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487592258152 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12623] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12623/stat : 12623 (java) S 12609 12611 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487591204472 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12624] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12624/stat : 12624 (java) S 12609 12611 9704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346537148 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487590151816 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12625] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12625/stat : 12625 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487589100560 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12611/tid=12626] ppid=12609 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/12611/task/12626/stat : 12626 (java) S 12609 12611 9704 0 -1 4202560 3197 0 0 0 70 0 0 0 20 0 19 0 346537151 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487588046904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12627] ppid=12609 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12611/task/12627/stat : 12627 (java) S 12609 12611 9704 0 -1 4202560 3094 0 0 0 60 0 0 0 20 0 19 0 346537151 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487586994360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12628] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12628/stat : 12628 (java) S 12609 12611 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346537151 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487585942008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12611/tid=12629] ppid=12609 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/12611/task/12629/stat : 12629 (java) S 12609 12611 9704 0 -1 4202560 99 0 0 0 32 33 0 0 20 0 19 0 346537151 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487584889672 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12611/tid=12630] ppid=12609 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12611/task/12630/stat : 12630 (java) S 12609 12611 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346537214 3097006080 420910 33554432000 1073741824 1073778376 140733812976304 140487582688552 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1762.12
CPU time (s): 1800.96
CPU user time (s): 1799.09
CPU system time (s): 1.87171
CPU usage (%): 102.204
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.87172
maximum resident set size= 1683756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14701
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60724
involuntary context switches= 116185

runsolver used 5.53116 second user time and 14.8527 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-04 12:01:52
IDJOB=3744578
IDBENCH=92778
IDSOLVER=2319
FILE ID=node128/3744578-1338804112
RUNJOBID= node128-1338773754-9720
PBS_JOBID= 14636825
Free space on /tmp= 70420 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_2_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744578-1338804112/watcher-3744578-1338804112 -o /tmp/evaluation-result-3744578-1338804112/solver-3744578-1338804112 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744578-1338804112.opb           

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

MD5SUM BENCH= c16bd2424e0fff3ff3df69ee00e2dc99
RANDOM SEED=1794275222

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        26286612 kB
Buffers:          563936 kB
Cached:          3900660 kB
SwapCached:          744 kB
Active:          3271856 kB
Inactive:        2411368 kB
Active(anon):    1209604 kB
Inactive(anon):    11420 kB
Active(file):    2062252 kB
Inactive(file):  2399948 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:              5304 kB
Writeback:             0 kB
AnonPages:       1259276 kB
Mapped:            22808 kB
Shmem:               200 kB
Slab:             758420 kB
SReclaimable:     199996 kB
SUnreclaim:       558424 kB
KernelStack:        1752 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1826728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1214464 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= 70408 MiB
End job on node128 at 2012-06-04 12:31:17