Trace number 3744488

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.04 1765.02

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_9_ic.opb
MD5SUM5b69bba9fba38b21e500a479429a9384
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 146363183
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 9700646039
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 146363183
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 9700646039
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3744488-1338802029.opb
0.09/0.10	c reading problem ... 
1.31/0.68	c ... done. Wall clock time 0.573s.
1.31/0.68	c CPU time (experimental) 0.64s.
1.31/0.68	c #vars     15725
1.31/0.68	c #constraints  33133
1360.42/1340.45	c cleaning 391993 clauses out of 784004 for limit 5.816350885741203E-6
1370.59/1350.33	c cleaning 199245 clauses out of 398507 for limit 0.007605388551035841
1380.09/1359.54	c cleaning 104125 clauses out of 208262 for limit 118.45497146352655
1383.88/1363.11	c cleaning 53806 clauses out of 107637 for limit 7603.139369376731
1398.06/1376.78	c cleaning 33900 clauses out of 67831 for limit 1.461137721174584E10
1400.03/1378.64	c cleaning 17952 clauses out of 35934 for limit 2.0461661338733627E11
1405.26/1383.63	c cleaning 11463 clauses out of 22980 for limit 4.751013648371137E13
1414.54/1392.53	c cleaning 9999 clauses out of 20016 for limit 0.0026895187567811674
1418.09/1395.91	c cleaning 6504 clauses out of 13019 for limit 0.08334481527572338
1419.54/1397.32	c cleaning 3995 clauses out of 8013 for limit 0.6061215289827852
1421.23/1398.95	c cleaning 3001 clauses out of 6018 for limit 5.969338645455798
1425.98/1403.49	c cleaning 4247 clauses out of 8517 for limit 1034.9193587069294
1431.08/1408.38	c cleaning 4856 clauses out of 9771 for limit 221566.1511369921
1432.86/1410.01	c cleaning 3433 clauses out of 6915 for limit 2315654.6498171682
1442.87/1419.64	c cleaning 6223 clauses out of 12481 for limit 1.0432491657066126E10
1446.10/1422.75	c cleaning 4363 clauses out of 8760 for limit 1.816693999342143E11
1447.68/1424.24	c cleaning 2944 clauses out of 5895 for limit 1.208372173945093E12
1450.95/1427.34	c cleaning 2725 clauses out of 5451 for limit 1.5939980227727977E13
1452.74/1429.04	c cleaning 2335 clauses out of 4728 for limit 1.3620061358784032E-6
1454.23/1430.47	c cleaning 1933 clauses out of 3891 for limit 7.407880000507203E-6
1455.90/1432.07	c cleaning 1722 clauses out of 3458 for limit 3.738503930069951E-5
1457.48/1433.57	c cleaning 1615 clauses out of 3238 for limit 1.7942488255308223E-4
1459.06/1435.04	c cleaning 1805 clauses out of 3621 for limit 0.0011843648635027476
1462.43/1438.28	c cleaning 2148 clauses out of 4317 for limit 0.012129584873365067
1464.12/1439.86	c cleaning 2078 clauses out of 4169 for limit 0.09290083965785716
1465.58/1441.27	c cleaning 1787 clauses out of 3591 for limit 0.4837308553740981
1467.13/1442.78	c cleaning 1638 clauses out of 3305 for limit 2.3596625741824147
1468.90/1444.47	c cleaning 1572 clauses out of 3165 for limit 11.029257881612153
1470.57/1446.01	c cleaning 1780 clauses out of 3595 for limit 71.9637328321973
1473.76/1449.02	c cleaning 2649 clauses out of 5315 for limit 1614.7322434290033
1475.44/1450.63	c cleaning 2074 clauses out of 4164 for limit 9225.538019624026
1477.33/1452.48	c cleaning 1787 clauses out of 3590 for limit 47992.750044685345
1478.82/1453.85	c cleaning 1634 clauses out of 3304 for limit 234116.6057275178
1481.98/1456.83	c cleaning 2554 clauses out of 5169 for limit 4959323.3198819915
1483.55/1458.33	c cleaning 2289 clauses out of 4615 for limit 4.1084764091831535E7
1490.08/1464.67	c cleaning 4912 clauses out of 9827 for limit 3.5051318876941864E10
1491.89/1466.35	c cleaning 3197 clauses out of 6416 for limit 2.4102558043487146E11
1493.45/1467.84	c cleaning 2349 clauses out of 4718 for limit 1.468597232197181E12
1495.02/1469.39	c cleaning 1915 clauses out of 3868 for limit 8.026150994327056E12
1496.80/1471.01	c cleaning 1969 clauses out of 3954 for limit 5.8131989442964555E13
1498.19/1472.31	c cleaning 1720 clauses out of 3485 for limit 2.958126415179957E14
1503.53/1477.41	c cleaning 3381 clauses out of 6766 for limit 2.2692424565163598E-4
1504.91/1478.79	c cleaning 2433 clauses out of 4883 for limit 0.0014074235286075983
1506.50/1480.24	c cleaning 2217 clauses out of 4450 for limit 0.011422865637869699
1508.28/1481.97	c cleaning 2609 clauses out of 5236 for limit 0.19587287544706272
1510.04/1483.68	c cleaning 2550 clauses out of 5124 for limit 2.4341128856185636
1511.42/1484.98	c cleaning 2272 clauses out of 4575 for limit 20.184444327444858
1512.99/1486.45	c cleaning 2386 clauses out of 4802 for limit 234.33149531251678
1513.29/1486.71	c cleaning 1442 clauses out of 2918 for limit 637.2244667939265
1514.66/1488.06	c cleaning 1712 clauses out of 3474 for limit 3950.9582500945894
1516.40/1489.73	c cleaning 2115 clauses out of 4263 for limit 39312.51864671357
1517.96/1491.25	c cleaning 2302 clauses out of 4648 for limit 439804.3465000583
1519.93/1493.11	c cleaning 2401 clauses out of 4845 for limit 5141345.3672725735
1521.32/1494.48	c cleaning 2202 clauses out of 4445 for limit 4.149128203410411E7
1523.21/1496.25	c cleaning 2619 clauses out of 5242 for limit 7.070211624433063E8
1526.49/1499.38	c cleaning 2802 clauses out of 5625 for limit 1.3280402833415281E10
1527.83/1500.68	c cleaning 2149 clauses out of 4321 for limit 7.738346043408253E10
1529.52/1502.23	c cleaning 1826 clauses out of 3672 for limit 4.0841097244852637E11
1531.23/1503.86	c cleaning 2151 clauses out of 4349 for limit 4.2188456499654604E12
1532.80/1505.36	c cleaning 2335 clauses out of 4696 for limit 4.756257594433048E13
1533.10/1505.64	c cleaning 1413 clauses out of 2861 for limit 1.2874533007157858E14
1534.59/1507.02	c cleaning 1965 clauses out of 3948 for limit 1.1380245575844256E-5
1536.08/1508.43	c cleaning 2226 clauses out of 4482 for limit 1.2215235631812102E-4
1537.86/1510.12	c cleaning 2370 clauses out of 4756 for limit 0.0014041428415300966
1539.44/1511.63	c cleaning 2178 clauses out of 4386 for limit 0.01126180639186698
1541.09/1513.20	c cleaning 2330 clauses out of 4708 for limit 0.12797338722100013
1542.77/1514.80	c cleaning 2672 clauses out of 5381 for limit 2.259081944771363
1544.57/1516.56	c cleaning 2579 clauses out of 5207 for limit 28.419590146102127
1546.36/1518.24	c cleaning 2798 clauses out of 5628 for limit 528.9158983663464
1547.94/1519.73	c cleaning 2396 clauses out of 4830 for limit 4558.449285396843
1548.24/1520.09	c cleaning 1445 clauses out of 2933 for limit 12367.26225819
1549.80/1521.53	c cleaning 1730 clauses out of 3492 for limit 77138.82042769594
1551.61/1523.22	c cleaning 2099 clauses out of 4258 for limit 768569.1700315359
1553.17/1524.76	c cleaning 2310 clauses out of 4661 for limit 8581396.566136764
1554.65/1526.15	c cleaning 2169 clauses out of 4349 for limit 6.788943462542643E7
1556.31/1527.70	c cleaning 2070 clauses out of 4181 for limit 5.2284082572187525E8
1557.89/1529.25	c cleaning 2024 clauses out of 4110 for limit 3.930039123557009E9
1559.79/1531.05	c cleaning 1538 clauses out of 3086 for limit 1.4234904175369894E10
1561.47/1532.63	c cleaning 1518 clauses out of 3048 for limit 6.4640270930410576E10
1562.95/1534.00	c cleaning 1515 clauses out of 3030 for limit 2.9163736338750946E11
1566.42/1537.36	c cleaning 1981 clauses out of 4017 for limit 2.688638533309435E12
1571.45/1542.19	c cleaning 2767 clauses out of 5534 for limit 6.461260948019188E13
1573.20/1543.81	c cleaning 2116 clauses out of 4267 for limit 3.758386625969258E14
1578.37/1548.79	c cleaning 3298 clauses out of 6651 for limit 2.1754050487678272E-4
1580.57/1550.80	c cleaning 2411 clauses out of 4854 for limit 0.0013382260534913356
1582.45/1552.69	c cleaning 1715 clauses out of 3443 for limit 0.005131023504165946
1584.35/1554.40	c cleaning 1354 clauses out of 2728 for limit 0.017611990187132394
1585.52/1555.58	c cleaning 1409 clauses out of 2873 for limit 0.07492906685558715
1587.21/1557.15	c cleaning 1701 clauses out of 3467 for limit 0.46063739524858166
1588.69/1558.50	c cleaning 1603 clauses out of 3264 for limit 2.1900877741357045
1590.48/1560.22	c cleaning 1799 clauses out of 3660 for limit 14.431770760198287
1591.92/1561.60	c cleaning 1641 clauses out of 3362 for limit 70.53508123315468
1593.28/1562.98	c cleaning 1572 clauses out of 3221 for limit 330.20208876071996
1595.13/1564.76	c cleaning 1793 clauses out of 3648 for limit 2154.2928873671844
1800.04/1765.01	c starts		: 22
1800.04/1765.01	c conflicts		: 1155848
1800.04/1765.01	c decisions		: 1456423
1800.04/1765.01	c propagations		: 736818794
1800.04/1765.01	c inspects		: 7194425489
1800.04/1765.01	c learnt literals	: 0
1800.04/1765.01	c learnt binary clauses	: 0
1800.04/1765.01	c learnt ternary clauses	: 3
1800.04/1765.01	c learnt clauses	: 1155848
1800.04/1765.01	c root simplifications	: 0
1800.04/1765.01	c removed literals (reason simplification)	: 0
1800.04/1765.01	c reason swapping (by a shorter reason)	: 0
1800.04/1765.01	c Calls to reduceDB	: 94
1800.04/1765.01	c speed (decisions/second)	: 825.4966986888277
1800.04/1765.01	c non guided choices	0
1800.04/1765.01	s UNKNOWN
1800.04/1765.01	c Total wall clock time (ms): 1764.905

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 1.98 1.99 3/195 10852
/proc/meminfo: memFree=27651604/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10852/stat : 10852 (java) D 10850 10852 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346328607 9515008 183 33554432000 1073741824 1073778376 140736199448016 140736199439048 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10852/statm: 2323 183 140 9 0 71 0

[startup+0.0454651 s]
/proc/loadavg: 1.96 1.98 1.99 3/195 10852
/proc/meminfo: memFree=27651604/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 3949 0 1 0 2 1 0 0 20 0 13 0 346328607 2686889984 4645 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 655979 4645 1677 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100282 s]
/proc/loadavg: 1.96 1.98 1.99 3/195 10852
/proc/meminfo: memFree=27651604/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 4921 0 1 0 8 1 0 0 20 0 18 0 346328607 3028844544 6110 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 739464 6110 2098 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300247 s]
/proc/loadavg: 1.96 1.98 1.99 3/195 10852
/proc/meminfo: memFree=27651604/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 7724 0 1 0 45 2 0 0 20 0 18 0 346328607 3028844544 11044 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 739464 11054 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700259 s]
/proc/loadavg: 1.96 1.98 1.99 3/195 10852
/proc/meminfo: memFree=27651604/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=2957856 CPUtime=1.5 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 10287 0 1 0 145 5 0 0 20 0 18 0 346328607 3028844544 39397 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 739464 39397 2268 9 0 729885 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2957856

[startup+1.50075 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 10871
/proc/meminfo: memFree=27463308/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=2.7 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 11642 0 1 0 262 8 0 0 20 0 19 0 346328607 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 75365 2278 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3207 0 1 0 139 7 0 0 20 0 19 0 346328608 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020156547432 140020097078127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 54 0 0 0 20 0 19 0 346328614 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4306 0 0 0 66 0 0 0 20 0 19 0 346328614 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 75365 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 3024420

[startup+3.10076 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 10871
/proc/meminfo: memFree=27218232/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=4.39 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 11763 0 1 0 425 14 0 0 20 0 19 0 346328607 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 116345 2291 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3284 0 1 0 293 10 0 0 20 0 19 0 346328608 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020156547624 140020097177953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346328610 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 54 0 0 0 20 0 19 0 346328614 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4306 0 0 0 68 0 0 0 20 0 19 0 346328614 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 116345 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 3024420

[startup+6.30082 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 10871
/proc/meminfo: memFree=27174736/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=7.77 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 11814 0 1 0 761 16 0 0 20 0 19 0 346328607 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 121379 2291 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=6.16 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3288 0 1 0 606 10 0 0 20 0 19 0 346328608 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020156546208 140020097103956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 346328610 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 54 0 0 0 20 0 19 0 346328614 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4306 0 0 0 68 0 0 0 20 0 19 0 346328614 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 121379 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 58 0 0 0 20 0 19 0 346328614 3097006080 420689 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4319 0 0 0 83 0 0 0 20 0 19 0 346328614 3097006080 420689 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420689 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 93 0 0 0 43 37 0 0 20 0 19 0 346328614 3097006080 420689 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 420689 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.75
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/213 11012
/proc/meminfo: memFree=25839756/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=1695.29 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 15477 0 1 0 169358 171 0 0 20 0 19 0 346328607 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 420739 2307 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=1645.47 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3895 0 1 0 164509 38 0 0 20 0 19 0 346328608 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020156546240 140020097186485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=5.32 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 404 0 0 0 516 16 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=5.2 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 328 0 0 0 506 14 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=5.48 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 353 0 0 0 535 13 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=5.4 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 375 0 0 0 524 16 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=5.6 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 413 0 0 0 545 15 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=5.43 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 345 0 0 0 528 15 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=5.2 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 368 0 0 0 506 14 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=5.4 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 344 0 0 0 526 14 0 0 20 0 19 0 346328610 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 122 0 0 0 33 4 0 0 20 0 19 0 346328611 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 58 0 0 0 20 0 19 0 346328614 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4319 0 0 0 83 0 0 0 20 0 19 0 346328614 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 95 0 0 0 45 38 0 0 20 0 19 0 346328614 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 420739 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1695.29
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/213 11012
/proc/meminfo: memFree=25835660/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=1756.54 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 15564 0 1 0 175480 174 0 0 20 0 19 0 346328607 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 420797 2307 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=1704.81 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3916 0 1 0 170443 38 0 0 20 0 19 0 346328608 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020156546240 140020097186684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=5.56 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 413 0 0 0 539 17 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=5.41 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 338 0 0 0 527 14 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=5.7 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 356 0 0 0 557 13 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=5.63 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 381 0 0 0 547 16 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=5.83 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 422 0 0 0 568 15 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=5.63 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 355 0 0 0 548 15 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=5.39 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 373 0 0 0 525 14 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=5.59 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 350 0 0 0 545 14 0 0 20 0 19 0 346328610 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 126 0 0 0 33 4 0 0 20 0 19 0 346328611 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 58 0 0 0 20 0 19 0 346328614 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4319 0 0 0 83 0 0 0 20 0 19 0 346328614 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 99 0 0 0 46 40 0 0 20 0 19 0 346328614 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 420797 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1756.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1765 s]
/proc/loadavg: 2.06 2.06 2.06 3/213 11012
/proc/meminfo: memFree=25822876/32873844 swapFree=7112/7112
[pid=10852] ppid=10850 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10850 10852 8924 0 -1 4202496 15614 0 1 0 179827 177 0 0 20 0 19 0 346328607 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140735543450064 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10852/statm: 756105 420831 2307 9 0 746526 0
[pid=10852/tid=10854] ppid=10850 vsize=3024420 CPUtime=1747.1 cores=1,3,5,7
/proc/10852/task/10854/stat : 10854 (java) R 10850 10852 8924 0 -1 4202560 3928 0 1 0 174671 39 0 0 20 0 19 0 346328608 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020156546224 140020097077731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=3024420 CPUtime=5.69 cores=1,3,5,7
/proc/10852/task/10855/stat : 10855 (java) S 10850 10852 8924 0 -1 4202560 416 0 0 0 552 17 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020021848616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=3024420 CPUtime=5.57 cores=1,3,5,7
/proc/10852/task/10856/stat : 10856 (java) S 10850 10852 8924 0 -1 4202560 343 0 0 0 543 14 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020020795816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=3024420 CPUtime=5.83 cores=1,3,5,7
/proc/10852/task/10857/stat : 10857 (java) S 10850 10852 8924 0 -1 4202560 365 0 0 0 569 14 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020019743016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=3024420 CPUtime=5.75 cores=1,3,5,7
/proc/10852/task/10858/stat : 10858 (java) S 10850 10852 8924 0 -1 4202560 382 0 0 0 559 16 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020018690216 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=3024420 CPUtime=5.98 cores=1,3,5,7
/proc/10852/task/10859/stat : 10859 (java) S 10850 10852 8924 0 -1 4202560 428 0 0 0 582 16 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020017638440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10860] ppid=10850 vsize=3024420 CPUtime=5.8 cores=1,3,5,7
/proc/10852/task/10860/stat : 10860 (java) S 10850 10852 8924 0 -1 4202560 363 0 0 0 565 15 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020016585640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=3024420 CPUtime=5.5 cores=1,3,5,7
/proc/10852/task/10861/stat : 10861 (java) S 10850 10852 8924 0 -1 4202560 373 0 0 0 536 14 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020015532840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10862] ppid=10850 vsize=3024420 CPUtime=5.71 cores=1,3,5,7
/proc/10852/task/10862/stat : 10862 (java) S 10850 10852 8924 0 -1 4202560 352 0 0 0 556 15 0 0 20 0 19 0 346328610 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020014480040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10863] ppid=10850 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/10852/task/10863/stat : 10863 (java) S 10850 10852 8924 0 -1 4202560 128 0 0 0 33 4 0 0 20 0 19 0 346328611 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020002281960 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10864] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10864/stat : 10864 (java) S 10850 10852 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020001228024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10865] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10865/stat : 10865 (java) S 10850 10852 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346328611 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140020000175112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10866] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10866/stat : 10866 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019999123600 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10867] ppid=10850 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/10852/task/10867/stat : 10867 (java) S 10850 10852 8924 0 -1 4202560 2934 0 0 0 58 0 0 0 20 0 19 0 346328614 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019998071736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10852/tid=10868] ppid=10850 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/10852/task/10868/stat : 10868 (java) S 10850 10852 8924 0 -1 4202560 4319 0 0 0 83 0 0 0 20 0 19 0 346328614 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019997018936 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10852/tid=10869] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10869/stat : 10869 (java) S 10850 10852 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346328614 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019995966328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10852/tid=10870] ppid=10850 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/10852/task/10870/stat : 10870 (java) S 10850 10852 8924 0 -1 4202560 101 0 0 0 47 41 0 0 20 0 19 0 346328614 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019994913736 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10852/tid=10871] ppid=10850 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10852/task/10871/stat : 10871 (java) S 10850 10852 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346328679 3097006080 420831 33554432000 1073741824 1073778376 140735543458928 140019992781992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10852 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=659322
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=181668
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1765.02
CPU time (s): 1800.04
CPU user time (s): 1798.27
CPU system time (s): 1.77
CPU usage (%): 101.984
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 2.18167
maximum resident set size= 1683444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56903
involuntary context switches= 97326

runsolver used 8.47971 second user time and 13.5829 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-04 11:27:09
IDJOB=3744488
IDBENCH=92763
IDSOLVER=2319
FILE ID=node119/3744488-1338802029
RUNJOBID= node119-1338784193-8941
PBS_JOBID= 14636847
Free space on /tmp= 70896 MiB

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

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

MD5SUM BENCH= 5b69bba9fba38b21e500a479429a9384
RANDOM SEED=978950178

node119.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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
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.943
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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
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.943
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.943
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.93
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.943
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.92
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.943
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.90
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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27651760 kB
Buffers:          435388 kB
Cached:          3199052 kB
SwapCached:         1936 kB
Active:          2263388 kB
Inactive:        2093756 kB
Active(anon):     718236 kB
Inactive(anon):     6616 kB
Active(file):    1545152 kB
Inactive(file):  2087140 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              4768 kB
Writeback:             0 kB
AnonPages:        799860 kB
Mapped:            20160 kB
Shmem:                 0 kB
Slab:             706516 kB
SReclaimable:     148556 kB
SUnreclaim:       557960 kB
KernelStack:        1776 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    751616 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= 70880 MiB
End job on node119 at 2012-06-04 11:56:36