Trace number 3744656

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.01 1759.22

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_7_ic.opb
MD5SUMa68c99426915823baa7396c373ffb50a
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 15865908633
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 15865908633
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3744656-1338806232.opb
0.10/0.10	c reading problem ... 
1.31/0.68	c ... done. Wall clock time 0.583s.
1.31/0.68	c CPU time (experimental) 0.66s.
1.31/0.68	c #vars     15725
1.31/0.68	c #constraints  33133
1230.15/1207.06	c cleaning 423744 clauses out of 847502 for limit 209.63161097889133
1262.48/1238.35	c cleaning 221857 clauses out of 443757 for limit 1.9599872910032834E11
1277.86/1253.26	c cleaning 115945 clauses out of 231899 for limit 8.294358922372616E-5
1287.15/1262.19	c cleaning 61222 clauses out of 122454 for limit 0.10481785200353606
1291.02/1265.82	c cleaning 31843 clauses out of 63732 for limit 2.4565755171801547
1294.60/1269.23	c cleaning 17181 clauses out of 34389 for limit 55.532542114184736
1296.28/1270.88	c cleaning 9348 clauses out of 18710 for limit 458.70132944014694
1301.19/1275.54	c cleaning 6668 clauses out of 13361 for limit 35105.68136327099
1302.75/1277.02	c cleaning 4079 clauses out of 8192 for limit 256542.64982939008
1314.30/1288.17	c cleaning 7292 clauses out of 14613 for limit 5.25029568723084E9
1317.36/1291.09	c cleaning 5380 clauses out of 10821 for limit 2.352052216898994E11
1326.70/1299.91	c cleaning 6708 clauses out of 13444 for limit 5.6830775163741286E-6
1339.64/1312.27	c cleaning 9108 clauses out of 18234 for limit 0.41518964241608947
1342.90/1315.30	c cleaning 6306 clauses out of 12628 for limit 19.927559780674727
1344.46/1316.87	c cleaning 4135 clauses out of 8321 for limit 223.4612419306169
1347.78/1320.04	c cleaning 3332 clauses out of 6684 for limit 3386.5048381505117
1349.26/1321.40	c cleaning 2167 clauses out of 4352 for limit 14145.263075957977
1352.43/1324.43	c cleaning 2080 clauses out of 4187 for limit 108965.62804297224
1360.71/1332.33	c cleaning 4528 clauses out of 9106 for limit 5.508238641900329E7
1362.37/1333.94	c cleaning 3260 clauses out of 6579 for limit 5.64467012745556E8
1368.69/1339.98	c cleaning 4144 clauses out of 8317 for limit 6.630123199419614E10
1370.45/1341.68	c cleaning 3071 clauses out of 6175 for limit 6.61826129606236E11
1372.02/1343.13	c cleaning 2302 clauses out of 4604 for limit 3.9811928696715796E12
1373.78/1344.84	c cleaning 1891 clauses out of 3800 for limit 2.1590543420601633E13
1375.37/1346.36	c cleaning 1698 clauses out of 3409 for limit 1.0794134612656181E14
1376.86/1347.75	c cleaning 1583 clauses out of 3215 for limit 5.153942415368386E14
1380.20/1350.95	c cleaning 2553 clauses out of 5131 for limit 1.070225320610267E-4
1381.68/1352.34	c cleaning 2026 clauses out of 4075 for limit 6.025786624613026E-4
1383.46/1354.02	c cleaning 1999 clauses out of 4051 for limit 0.004492330405006633
1384.94/1355.47	c cleaning 1770 clauses out of 3550 for limit 0.022945853589691683
1386.51/1356.92	c cleaning 1380 clauses out of 2780 for limit 0.07968921511068708
1388.09/1358.44	c cleaning 1443 clauses out of 2902 for limit 0.3430706945065168
1389.68/1359.97	c cleaning 1464 clauses out of 2957 for limit 1.5070523646920184
1391.25/1361.47	c cleaning 1481 clauses out of 2993 for limit 6.677910766044578
1392.91/1363.00	c cleaning 1747 clauses out of 3513 for limit 42.123770535369324
1394.67/1364.74	c cleaning 2120 clauses out of 4266 for limit 423.1204072863999
1396.24/1366.27	c cleaning 1565 clauses out of 3145 for limit 1559.3422122134893
1397.90/1367.85	c cleaning 1523 clauses out of 3082 for limit 7150.989421760046
1402.69/1372.49	c cleaning 3005 clauses out of 6058 for limit 327897.3994462109
1404.58/1374.22	c cleaning 2504 clauses out of 5055 for limit 2912317.051165557
1405.95/1375.54	c cleaning 1994 clauses out of 4049 for limit 1.6274613130018273E7
1412.53/1381.89	c cleaning 3777 clauses out of 7554 for limit 2.1382659250488822E9
1414.10/1383.34	c cleaning 2389 clauses out of 4778 for limit 9.203199491913708E9
1419.02/1388.05	c cleaning 2944 clauses out of 5888 for limit 2.4749924441689288E11
1420.68/1389.65	c cleaning 2214 clauses out of 4444 for limit 1.4707379184606514E12
1423.96/1392.75	c cleaning 2360 clauses out of 4730 for limit 1.6854956425365861E13
1425.62/1394.36	c cleaning 1936 clauses out of 3873 for limit 9.260031716604403E13
1427.30/1395.96	c cleaning 1949 clauses out of 3935 for limit 6.727748668615853E-6
1428.67/1397.29	c cleaning 1482 clauses out of 2985 for limit 2.409613692827339E-5
1430.14/1398.66	c cleaning 1235 clauses out of 2505 for limit 7.824648284748649E-5
1431.92/1400.37	c cleaning 1361 clauses out of 2769 for limit 3.1716316931952815E-4
1433.61/1401.97	c cleaning 1698 clauses out of 3407 for limit 0.001904682569528403
1436.78/1404.96	c cleaning 2089 clauses out of 4209 for limit 0.018805948838724
1438.08/1406.17	c cleaning 1553 clauses out of 3121 for limit 0.06904411911947236
1442.92/1410.79	c cleaning 2773 clauses out of 5567 for limit 2.11549413101879
1448.15/1415.71	c cleaning 3631 clauses out of 7294 for limit 145.6700503112665
1454.28/1421.55	c cleaning 3823 clauses out of 7663 for limit 7585.5015200109065
1457.52/1424.63	c cleaning 2905 clauses out of 5840 for limit 73619.66318590143
1459.40/1426.40	c cleaning 2206 clauses out of 4438 for limit 435803.35745993524
1460.78/1427.72	c cleaning 1863 clauses out of 3729 for limit 2319260.9301084112
1461.07/1428.06	c cleaning 1170 clauses out of 2366 for limit 6028137.391653354
1462.65/1429.50	c cleaning 1590 clauses out of 3196 for limit 3.300765411890564E7
1464.02/1430.85	c cleaning 1291 clauses out of 2606 for limit 1.1009276849795005E8
1465.60/1432.31	c cleaning 1157 clauses out of 2315 for limit 3.3704972961948454E8
1469.03/1435.63	c cleaning 1803 clauses out of 3659 for limit 2.603733409792769E9
1470.39/1436.99	c cleaning 1927 clauses out of 3856 for limit 1.827449767711535E10
1471.76/1438.24	c cleaning 1713 clauses out of 3430 for limit 9.223389010378212E10
1473.48/1439.89	c cleaning 1857 clauses out of 3715 for limit 6.286086494659628E11
1478.39/1444.51	c cleaning 2670 clauses out of 5358 for limit 1.4458647518734955E13
1479.77/1445.80	c cleaning 1835 clauses out of 3689 for limit 5.716997604088305E13
1481.24/1447.23	c cleaning 1421 clauses out of 2853 for limit 2.0084089869212647E14
1482.92/1448.87	c cleaning 1442 clauses out of 2932 for limit 8.76511508559668E-6
1800.01/1759.21	c starts		: 22
1800.01/1759.21	c conflicts		: 1271207
1800.01/1759.21	c decisions		: 1782980
1800.01/1759.21	c propagations		: 931790538
1800.01/1759.21	c inspects		: 8155797030
1800.01/1759.21	c learnt literals	: 0
1800.01/1759.21	c learnt binary clauses	: 0
1800.01/1759.21	c learnt ternary clauses	: 0
1800.01/1759.21	c learnt clauses	: 1271207
1800.01/1759.21	c root simplifications	: 0
1800.01/1759.21	c removed literals (reason simplification)	: 0
1800.01/1759.21	c reason swapping (by a shorter reason)	: 0
1800.01/1759.21	c Calls to reduceDB	: 72
1800.01/1759.21	c speed (decisions/second)	: 1013.9267212210476
1800.01/1759.21	c non guided choices	0
1800.01/1759.21	s UNKNOWN
1800.01/1759.21	c Total wall clock time (ms): 1759.109

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-3744656-1338806232/watcher-3744656-1338806232 -o /tmp/evaluation-result-3744656-1338806232/solver-3744656-1338806232 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744656-1338806232.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.29 2.11 2.03 2/194 23544
/proc/meminfo: memFree=25989216/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 346748789 24780800 867 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 6050 867 654 9 0 385 0
[pid=23544/tid=23545] ppid=23542 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 2 0 346748790 91889664 882 33554432000 1073741824 1073778376 140735930259712 140735930248776 214369275796 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0166189 s]
/proc/loadavg: 2.29 2.11 2.03 2/194 23544
/proc/meminfo: memFree=25989216/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=2413132 CPUtime=0 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 3011 0 1 0 0 0 0 0 20 0 10 0 346748789 2471047168 3202 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 603283 3202 977 9 0 594392 0
[pid=23544/tid=23545] ppid=23542 vsize=2413132 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 1853 0 1 0 0 0 0 0 20 0 10 0 346748790 2471047168 3202 33554432000 1073741824 1073778376 140735930259712 139804284639184 139804286984102 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2413132

[startup+0.100266 s]
/proc/loadavg: 2.29 2.11 2.03 2/194 23544
/proc/meminfo: memFree=25989216/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 4924 0 1 0 9 1 0 0 20 0 18 0 346748789 3028844544 6629 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 739464 6629 2127 9 0 729885 0
[pid=23544/tid=23545] ppid=23542 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3004 0 1 0 7 0 0 0 20 0 18 0 346748790 3028844544 6629 33554432000 1073741824 1073778376 140735930259712 139804284633480 214373033229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300271 s]
/proc/loadavg: 2.29 2.11 2.03 2/194 23544
/proc/meminfo: memFree=25989216/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 7058 0 1 0 46 1 0 0 20 0 18 0 346748789 3028844544 10163 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 739464 10163 2239 9 0 729885 0
[pid=23544/tid=23545] ppid=23542 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3024 0 1 0 26 1 0 0 20 0 18 0 346748790 3028844544 10163 33554432000 1073741824 1073778376 140735930259712 139804284633480 139804155167144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.70027 s]
/proc/loadavg: 2.29 2.11 2.03 2/194 23544
/proc/meminfo: memFree=25989216/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=2957856 CPUtime=1.49 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 10584 0 1 0 145 4 0 0 20 0 18 0 346748789 3028844544 39288 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 739464 39288 2264 9 0 729885 0
[pid=23544/tid=23545] ppid=23542 vsize=2957856 CPUtime=0.67 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3088 0 1 0 64 3 0 0 20 0 18 0 346748790 3028844544 39288 33554432000 1073741824 1073778376 140735930259712 139804284629248 139804155076099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2957856

[startup+1.50071 s]
/proc/loadavg: 2.27 2.11 2.03 3/213 23563
/proc/meminfo: memFree=25795124/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=2.67 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 11934 0 1 0 260 7 0 0 20 0 19 0 346748789 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 81295 2278 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3174 0 1 0 141 6 0 0 20 0 19 0 346748790 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804284636432 139804155889158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4342 0 0 0 59 0 0 0 20 0 19 0 346748795 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3222 0 0 0 56 0 0 0 20 0 19 0 346748795 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 81295 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.27 2.11 2.03 3/213 23563
/proc/meminfo: memFree=25529940/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=4.32 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 12044 0 1 0 422 10 0 0 20 0 19 0 346748789 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 116131 2291 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3239 0 1 0 298 8 0 0 20 0 19 0 346748790 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804284637736 139804155889686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4342 0 0 0 59 0 0 0 20 0 19 0 346748795 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3222 0 0 0 56 0 0 0 20 0 19 0 346748795 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 116131 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.27 2.11 2.03 3/213 23563
/proc/meminfo: memFree=25505116/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=7.69 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 12093 0 1 0 756 13 0 0 20 0 19 0 346748789 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 121255 2291 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=6.19 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 3243 0 1 0 611 8 0 0 20 0 19 0 346748790 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804284637576 139804156030433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 346748791 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4342 0 0 0 62 0 0 0 20 0 19 0 346748795 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3222 0 0 0 57 0 0 0 20 0 19 0 346748795 3097006080 121255 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4346 0 0 0 71 0 0 0 20 0 19 0 346748795 3097006080 420806 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3232 0 0 0 65 0 0 0 20 0 19 0 346748795 3097006080 420806 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420806 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 93 0 0 0 37 27 0 0 20 0 19 0 346748795 3097006080 420806 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 420806 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1640.08
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 23724
/proc/meminfo: memFree=24973576/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=1701.42 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 16210 0 1 0 170001 141 0 0 20 0 19 0 346748789 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 420871 2307 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=1642.52 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 4007 0 1 0 164212 40 0 0 20 0 19 0 346748790 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804284636368 139804155964065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=6.48 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 420 0 0 0 635 13 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 396 0 0 0 655 13 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=6.36 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 369 0 0 0 624 12 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=6.67 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 410 0 0 0 653 14 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=6.58 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 400 0 0 0 646 12 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=6.59 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 410 0 0 0 647 12 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=6.54 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 414 0 0 0 643 11 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=6.69 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 390 0 0 0 657 12 0 0 20 0 19 0 346748791 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 138 0 0 0 28 3 0 0 20 0 19 0 346748792 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4346 0 0 0 71 0 0 0 20 0 19 0 346748795 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3232 0 0 0 65 0 0 0 20 0 19 0 346748795 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 97 0 0 0 38 29 0 0 20 0 19 0 346748795 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 420871 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1701.42
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/213 23725
/proc/meminfo: memFree=24764308/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=1762.54 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 16267 0 1 0 176111 143 0 0 20 0 19 0 346748789 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 420897 2307 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=1701.92 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 4032 0 1 0 170151 41 0 0 20 0 19 0 346748790 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804284636368 139804156034973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=6.65 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 424 0 0 0 651 14 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=6.87 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 399 0 0 0 674 13 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 371 0 0 0 645 12 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=6.85 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 411 0 0 0 671 14 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=6.82 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 409 0 0 0 670 12 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=6.81 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 415 0 0 0 669 12 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=6.74 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 415 0 0 0 663 11 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=6.83 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 391 0 0 0 671 12 0 0 20 0 19 0 346748791 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 142 0 0 0 28 4 0 0 20 0 19 0 346748792 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4346 0 0 0 71 0 0 0 20 0 19 0 346748795 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3232 0 0 0 65 0 0 0 20 0 19 0 346748795 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 99 0 0 0 40 30 0 0 20 0 19 0 346748795 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 420897 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1762.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1759.2 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 23725
/proc/meminfo: memFree=24764184/32873844 swapFree=7632/7632
[pid=23544] ppid=23542 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/23544/stat : 23544 (java) S 23542 23544 21172 0 -1 4202496 16296 0 1 0 179857 144 0 0 20 0 19 0 346748789 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 140735930250848 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23544/statm: 756105 420911 2307 9 0 746526 0
[pid=23544/tid=23545] ppid=23542 vsize=3024420 CPUtime=1738.51 cores=0,2,4,6
/proc/23544/task/23545/stat : 23545 (java) R 23542 23544 21172 0 -1 4202560 4043 0 1 0 173809 42 0 0 20 0 19 0 346748790 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804284636352 139804155633957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23547] ppid=23542 vsize=3024420 CPUtime=6.75 cores=0,2,4,6
/proc/23544/task/23547/stat : 23547 (java) S 23542 23544 21172 0 -1 4202560 424 0 0 0 661 14 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804273699880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23548] ppid=23542 vsize=3024420 CPUtime=6.97 cores=0,2,4,6
/proc/23544/task/23548/stat : 23548 (java) S 23542 23544 21172 0 -1 4202560 399 0 0 0 684 13 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804149410728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23549] ppid=23542 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/23544/task/23549/stat : 23549 (java) S 23542 23544 21172 0 -1 4202560 375 0 0 0 656 12 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804148357928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23550] ppid=23542 vsize=3024420 CPUtime=6.97 cores=0,2,4,6
/proc/23544/task/23550/stat : 23550 (java) S 23542 23544 21172 0 -1 4202560 411 0 0 0 683 14 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804147305128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23544/tid=23551] ppid=23542 vsize=3024420 CPUtime=6.92 cores=0,2,4,6
/proc/23544/task/23551/stat : 23551 (java) S 23542 23544 21172 0 -1 4202560 410 0 0 0 680 12 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804146252328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23552] ppid=23542 vsize=3024420 CPUtime=6.9 cores=0,2,4,6
/proc/23544/task/23552/stat : 23552 (java) S 23542 23544 21172 0 -1 4202560 421 0 0 0 678 12 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804145199528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23553] ppid=23542 vsize=3024420 CPUtime=6.84 cores=0,2,4,6
/proc/23544/task/23553/stat : 23553 (java) S 23542 23544 21172 0 -1 4202560 416 0 0 0 673 11 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804144146728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23544/tid=23554] ppid=23542 vsize=3024420 CPUtime=6.91 cores=0,2,4,6
/proc/23544/task/23554/stat : 23554 (java) S 23542 23544 21172 0 -1 4202560 393 0 0 0 679 12 0 0 20 0 19 0 346748791 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139804143093928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23555] ppid=23542 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/23544/task/23555/stat : 23555 (java) S 23542 23544 21172 0 -1 4202560 144 0 0 0 28 4 0 0 20 0 19 0 346748792 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803660086248 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23556] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23556/stat : 23556 (java) S 23542 23544 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803659032312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23557] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23557/stat : 23557 (java) S 23542 23544 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346748792 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803657979400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23558] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23558/stat : 23558 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803656927888 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23559] ppid=23542 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/23544/task/23559/stat : 23559 (java) S 23542 23544 21172 0 -1 4202560 4346 0 0 0 71 0 0 0 20 0 19 0 346748795 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803655875000 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23560] ppid=23542 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/23544/task/23560/stat : 23560 (java) S 23542 23544 21172 0 -1 4202560 3232 0 0 0 65 0 0 0 20 0 19 0 346748795 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803654822200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23561] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23561/stat : 23561 (java) S 23542 23544 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346748795 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803653769592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23544/tid=23562] ppid=23542 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/23544/task/23562/stat : 23562 (java) S 23542 23544 21172 0 -1 4202560 101 0 0 0 41 30 0 0 20 0 19 0 346748795 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803652717000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23544/tid=23563] ppid=23542 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/23544/task/23563/stat : 23563 (java) S 23542 23544 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346748862 3097006080 420911 33554432000 1073741824 1073778376 140735930259712 139803650586280 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 23544 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=209238
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=893712
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1759.22
CPU time (s): 1800.01
CPU user time (s): 1798.57
CPU system time (s): 1.44
CPU usage (%): 102.318
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 1.89371
maximum resident set size= 1683760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16326
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= 61634
involuntary context switches= 119846

runsolver used 5.9031 second user time and 14.6508 second system time

The end

Launcher Data

Begin job on node130 at 2012-06-04 12:37:12
IDJOB=3744656
IDBENCH=92791
IDSOLVER=2319
FILE ID=node130/3744656-1338806232
RUNJOBID= node130-1338783068-21188
PBS_JOBID= 14636838
Free space on /tmp= 70968 MiB

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

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

MD5SUM BENCH= a68c99426915823baa7396c373ffb50a
RANDOM SEED=1043028546

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25989596 kB
Buffers:         1706120 kB
Cached:          2589008 kB
SwapCached:         4312 kB
Active:          4099168 kB
Inactive:        1871572 kB
Active(anon):    1663836 kB
Inactive(anon):     8188 kB
Active(file):    2435332 kB
Inactive(file):  1863384 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099292 kB
Dirty:              4844 kB
Writeback:             0 kB
AnonPages:       1712756 kB
Mapped:            17760 kB
Shmem:                 4 kB
Slab:             730972 kB
SReclaimable:     171844 kB
SUnreclaim:       559128 kB
KernelStack:        1592 kB
PageTables:         7524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1638400 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= 70896 MiB
End job on node130 at 2012-06-04 13:06:33