Trace number 3744038

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.18 1748.82

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_0_mh_ic.opb
MD5SUMd1abf7b4963ec923523ad7cbca6393af
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4905751
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 18442352201
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 18442352201
Number of bits of the biggest sum of numbers35
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	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.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@1cb1c5fa
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-3744038-1338792184.opb
0.09/0.10	c reading problem ... 
2.00/1.15	c ... done. Wall clock time 1.049s.
2.00/1.15	c CPU time (experimental) 1.12s.
2.00/1.15	c #vars     45775
2.00/1.15	c #constraints  104533
383.03/372.21	c cleaning 274730 clauses out of 549500 for limit 1.0574312137905051E-7
394.31/383.29	c cleaning 145115 clauses out of 290272 for limit 1.0894723140053515
396.17/385.05	c cleaning 73814 clauses out of 147655 for limit 26.072555290841777
397.83/386.66	c cleaning 38141 clauses out of 76341 for limit 615.1107904083204
399.78/388.53	c cleaning 20551 clauses out of 41200 for limit 22927.10902236387
401.74/390.45	c cleaning 11774 clauses out of 23649 for limit 803468.8663501454
405.04/393.63	c cleaning 8407 clauses out of 16875 for limit 1.6753167197497496E8
405.34/393.93	c cleaning 4439 clauses out of 8968 for limit 5.198774639667984E8
639.05/623.26	c cleaning 181717 clauses out of 363529 for limit 1252.5192286881584
645.46/629.56	c cleaning 94587 clauses out of 189312 for limit 4364993.739586377
647.72/631.78	c cleaning 48564 clauses out of 97225 for limit 1.0367242375944261E8
651.09/635.02	c cleaning 26752 clauses out of 53664 for limit 2.8029836747789845E10
652.72/636.69	c cleaning 14627 clauses out of 29411 for limit 6.232162106683877E11
654.46/638.32	c cleaning 8329 clauses out of 16782 for limit 8.062307164868724E12
659.15/642.99	c cleaning 7465 clauses out of 14956 for limit 6.05504906955743E-5
662.31/646.05	c cleaning 5973 clauses out of 11988 for limit 0.006794943296914037
665.62/649.22	c cleaning 5196 clauses out of 10516 for limit 0.6995511721744085
668.38/652.00	c cleaning 5109 clauses out of 10321 for limit 106.15529703776076
669.71/653.23	c cleaning 4307 clauses out of 8712 for limit 4171.927861397207
669.82/653.40	c cleaning 2403 clauses out of 4903 for limit 12200.556127763874
670.96/654.50	c cleaning 2445 clauses out of 5001 for limit 146049.00841652622
672.48/655.97	c cleaning 3021 clauses out of 6055 for limit 3997587.8556254595
674.03/657.42	c cleaning 2450 clauses out of 5035 for limit 3.559350443297243E7
675.25/658.68	c cleaning 2227 clauses out of 4584 for limit 2.888781217328321E8
676.89/660.24	c cleaning 2175 clauses out of 4357 for limit 2.2479945227204156E9
902.91/881.98	c cleaning 163554 clauses out of 327182 for limit 4.926289856670277E8
910.65/889.54	c cleaning 86013 clauses out of 172128 for limit 4.621765655278363E12
914.01/892.84	c cleaning 45799 clauses out of 91616 for limit 2.1327374061054152E-5
917.48/896.20	c cleaning 26130 clauses out of 52316 for limit 0.02489809964417561
921.08/899.76	c cleaning 16304 clauses out of 32687 for limit 26.618692032108616
923.10/901.72	c cleaning 9644 clauses out of 19382 for limit 902.1193446245555
924.85/903.48	c cleaning 6350 clauses out of 12739 for limit 27637.393444582234
927.54/906.02	c cleaning 5157 clauses out of 10391 for limit 1857339.066443933
928.88/907.31	c cleaning 3570 clauses out of 7231 for limit 1.968204360266628E7
931.56/909.94	c cleaning 4282 clauses out of 8661 for limit 2.444890328769281E9
933.08/911.44	c cleaning 3388 clauses out of 6881 for limit 3.76118176556483E10
934.41/912.78	c cleaning 2983 clauses out of 5991 for limit 5.258803843913581E11
935.92/914.26	c cleaning 2736 clauses out of 5508 for limit 6.977049348719764E12
937.78/916.02	c cleaning 2620 clauses out of 5272 for limit 8.891392043786795E13
1188.64/1161.02	c cleaning 167315 clauses out of 334656 for limit 2.5467925252613065E-4
1194.87/1167.12	c cleaning 88893 clauses out of 177837 for limit 17.42631816436447
1196.70/1168.97	c cleaning 45705 clauses out of 91444 for limit 413.3824001739637
1198.45/1170.68	c cleaning 24335 clauses out of 48740 for limit 15616.780511557772
1199.89/1172.04	c cleaning 13157 clauses out of 26406 for limit 213418.7010024684
1202.91/1174.90	c cleaning 8569 clauses out of 17249 for limit 1.7873856423369538E7
1204.14/1176.16	c cleaning 5043 clauses out of 10178 for limit 1.355871019395865E8
1206.94/1178.82	c cleaning 4538 clauses out of 9136 for limit 8.271920305582262E9
1208.18/1180.08	c cleaning 3233 clauses out of 6598 for limit 8.471760495395174E10
1209.52/1181.32	c cleaning 2357 clauses out of 4868 for limit 5.1654315085992285E11
1210.87/1182.65	c cleaning 1980 clauses out of 4007 for limit 2.8032862602304336E12
1215.09/1186.72	c cleaning 3711 clauses out of 7527 for limit 3.661673625665469E-6
1216.54/1188.13	c cleaning 3150 clauses out of 6318 for limit 5.3317574563302864E-5
1217.78/1189.39	c cleaning 2530 clauses out of 5166 for limit 4.8133797792754214E-4
1219.22/1190.76	c cleaning 2275 clauses out of 4637 for limit 0.003970319849010081
1220.37/1191.88	c cleaning 2134 clauses out of 4361 for limit 0.03119360298737344
1221.82/1193.30	c cleaning 2313 clauses out of 4729 for limit 0.3515853510147701
1224.72/1196.07	c cleaning 2661 clauses out of 5414 for limit 6.165213670996646
1226.26/1197.59	c cleaning 2832 clauses out of 5755 for limit 116.90293150205203
1227.50/1198.76	c cleaning 2406 clauses out of 4922 for limit 1009.9925183248156
1229.16/1200.35	c cleaning 2704 clauses out of 5517 for limit 18143.73173285912
1230.61/1201.72	c cleaning 2591 clauses out of 5311 for limit 229437.1344775423
1231.85/1202.99	c cleaning 2280 clauses out of 4720 for limit 1909508.3454420709
1233.29/1204.34	c cleaning 2427 clauses out of 4940 for limit 2.2254407981438443E7
1236.38/1207.37	c cleaning 3713 clauses out of 7516 for limit 2.1828235389432893E9
1444.95/1411.78	c cleaning 110882 clauses out of 221801 for limit 390.6066316013349
1595.94/1557.35	c cleaning 152373 clauses out of 304918 for limit 5602343.0339530045
1599.23/1560.54	c cleaning 77752 clauses out of 155545 for limit 2.2091846992529976E8
1600.69/1561.98	c cleaning 39812 clauses out of 79793 for limit 3.185274290505316E9
1602.08/1563.27	c cleaning 20896 clauses out of 41981 for limit 4.477982567693594E10
1603.28/1564.31	c cleaning 11194 clauses out of 22586 for limit 3.736784277353105E11
1606.83/1567.66	c cleaning 8329 clauses out of 16891 for limit 1.2247916987216814E14
1613.19/1573.58	c cleaning 8224 clauses out of 16562 for limit 0.003738513970777367
1614.36/1574.67	c cleaning 4855 clauses out of 9838 for limit 0.028227513972414783
1615.31/1575.55	c cleaning 3425 clauses out of 6983 for limit 0.2941446510577917
1800.18/1748.81	c starts		: 24
1800.18/1748.81	c conflicts		: 2466074
1800.18/1748.81	c decisions		: 5959397
1800.18/1748.81	c propagations		: 704187376
1800.18/1748.81	c inspects		: 6185168568
1800.18/1748.81	c learnt literals	: 0
1800.18/1748.81	c learnt binary clauses	: 14
1800.18/1748.81	c learnt ternary clauses	: 25
1800.18/1748.81	c learnt clauses	: 2466073
1800.18/1748.81	c root simplifications	: 0
1800.18/1748.81	c removed literals (reason simplification)	: 0
1800.18/1748.81	c reason swapping (by a shorter reason)	: 0
1800.18/1748.81	c Calls to reduceDB	: 74
1800.18/1748.81	c speed (decisions/second)	: 3410.194652548406
1800.18/1748.81	c non guided choices	33
1800.18/1748.81	s UNKNOWN
1800.18/1748.81	c Total wall clock time (ms): 1748.705

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-3744038-1338792184/watcher-3744038-1338792184 -o /tmp/evaluation-result-3744038-1338792184/solver-3744038-1338792184 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744038-1338792184.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.04 1.99 1.99 2/194 8555
/proc/meminfo: memFree=26910792/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8555/stat : 8555 (java) D 8553 8555 6470 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345342892 9515008 183 33554432000 1073741824 1073778376 140733464985216 140733464976248 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 2323 183 140 9 0 71 0

[startup+0.099089 s]
/proc/loadavg: 2.04 1.99 1.99 2/194 8555
/proc/meminfo: memFree=26910792/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 4852 0 1 0 7 1 0 0 20 0 18 0 345342892 3028844544 6545 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 739464 6550 2089 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.100554 s]
/proc/loadavg: 2.04 1.99 1.99 2/194 8555
/proc/meminfo: memFree=26910792/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 4900 0 1 0 8 1 0 0 20 0 18 0 345342892 3028844544 6592 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 739464 6592 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300228 s]
/proc/loadavg: 2.04 1.99 1.99 2/194 8555
/proc/meminfo: memFree=26910792/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 5943 0 1 0 46 1 0 0 20 0 18 0 345342892 3028844544 11349 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 739464 11349 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700243 s]
/proc/loadavg: 2.04 1.99 1.99 2/194 8555
/proc/meminfo: memFree=26910792/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=2957856 CPUtime=1.26 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 9117 0 1 0 122 4 0 0 20 0 18 0 345342892 3028844544 42632 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 739464 42632 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 2957856

[startup+1.50071 s]
/proc/loadavg: 2.04 1.99 1.99 3/212 8573
/proc/meminfo: memFree=26612444/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=2.88 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 17642 0 1 0 279 9 0 0 20 0 19 0 345342892 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 101553 2279 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) R 8553 8555 6470 0 -1 4202560 3214 0 1 0 139 7 0 0 20 0 19 0 345342893 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346949886408 140346798398288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346933320360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346932267816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346931215272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346930162728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346929109160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346928056616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346927004072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) S 8553 8555 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345342894 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346925951528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345342895 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346795215464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5747 0 0 0 64 1 0 0 20 0 19 0 345342898 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) R 8553 8555 6470 0 -1 4202560 7485 0 0 0 71 0 0 0 20 0 19 0 345342898 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346789951672 140346953986768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 101553 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 2.11 2.00 2.00 3/213 8574
/proc/meminfo: memFree=26425512/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=4.81 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 17837 0 1 0 463 18 0 0 20 0 19 0 345342892 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 131796 2292 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=2.98 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) R 8553 8555 6470 0 -1 4202560 3244 0 1 0 290 8 0 0 20 0 19 0 345342893 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346949893328 140346798392304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) S 8553 8555 6470 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346933320360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) S 8553 8555 6470 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346932267816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) S 8553 8555 6470 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346931215272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) S 8553 8555 6470 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346930162728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) S 8553 8555 6470 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346929109160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) S 8553 8555 6470 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346928056616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) S 8553 8555 6470 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346927004072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) S 8553 8555 6470 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 345342894 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346925951528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345342895 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346795215464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5747 0 0 0 67 1 0 0 20 0 19 0 345342898 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7485 0 0 0 77 0 0 0 20 0 19 0 345342898 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 131796 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 3024420

[startup+6.30779 s]
/proc/loadavg: 2.11 2.00 2.00 3/213 8574
/proc/meminfo: memFree=26385916/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=8.25 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 17869 0 1 0 807 18 0 0 20 0 19 0 345342892 3097006080 131818 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 131818 2292 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=6.09 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) S 8553 8555 6470 0 -1 4202560 3247 0 1 0 601 8 0 0 20 0 19 0 345342893 3097006080 131818 33554432000 1073741824 1073778376 140734635094352 140346949893432 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) R 8553 8555 6470 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 345342894 3097006080 131818 33554432000 1073741824 1073778376 140734635094352 140346933320536 140346953651340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) R 8553 8555 6470 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 345342894 3097006080 131818 33554432000 1073741824 1073778376 140734635094352 140346932267816 140346956790468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) R 8553 8555 6470 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346931215448 140346954070191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) R 8553 8555 6470 0 -1 4202560 50 0 0 0 13 2 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346930162728 140346956402993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) R 8553 8555 6470 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346929109336 140346956790681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) R 8553 8555 6470 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346928056616 140346953172892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) R 8553 8555 6470 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346927004248 140346954070288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) R 8553 8555 6470 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 345342894 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346925951552 140346956790664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345342895 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346795214344 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5747 0 0 0 67 1 0 0 20 0 19 0 345342898 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7485 0 0 0 77 0 0 0 20 0 19 0 345342898 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 131819 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.10 2.00 2.00 3/213 8574
/proc/meminfo: memFree=26282976/32873648 swapFree=7388/7388

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

[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5754 0 0 0 78 1 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7492 0 0 0 80 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 89 0 0 0 30 31 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1644.26
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/214 8669
/proc/meminfo: memFree=25236580/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=1708.29 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 22716 0 1 0 170656 173 0 0 20 0 19 0 345342892 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 423286 2308 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=1637.21 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) R 8553 8555 6470 0 -1 4202560 4244 0 1 0 163685 36 0 0 20 0 19 0 345342893 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346949893328 140346798398039 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=7.65 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 748 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346933320360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=7.91 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 773 18 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346932267816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=7.94 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) S 8553 8555 6470 0 -1 4202560 465 0 0 0 778 16 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346931215272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=8.04 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) S 8553 8555 6470 0 -1 4202560 511 0 0 0 785 19 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346930162728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=7.85 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) S 8553 8555 6470 0 -1 4202560 482 0 0 0 768 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346929109160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=7.66 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) S 8553 8555 6470 0 -1 4202560 483 0 0 0 750 16 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346928056616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=7.83 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) S 8553 8555 6470 0 -1 4202560 462 0 0 0 768 15 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346927004072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=7.63 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) S 8553 8555 6470 0 -1 4202560 421 0 0 0 748 15 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346925951528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=2.63 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 126 0 0 0 259 4 0 0 20 0 19 0 345342895 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346795215464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5754 0 0 0 78 1 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7492 0 0 0 80 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 93 0 0 0 31 32 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1708.29
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.95 1.95 1.97 3/213 8670
/proc/meminfo: memFree=25189612/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=1771.88 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 22768 0 1 0 177010 178 0 0 20 0 19 0 345342892 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 423286 2308 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=1695.72 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) R 8553 8555 6470 0 -1 4202560 4288 0 1 0 169535 37 0 0 20 0 19 0 345342893 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346949893248 140346798396192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=8.34 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 816 18 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346933320360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=8.58 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 840 18 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346932267816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=8.58 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) S 8553 8555 6470 0 -1 4202560 465 0 0 0 842 16 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346931215272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=8.65 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) S 8553 8555 6470 0 -1 4202560 511 0 0 0 846 19 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346930162728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=8.43 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) S 8553 8555 6470 0 -1 4202560 482 0 0 0 826 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346929109160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=8.21 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) S 8553 8555 6470 0 -1 4202560 483 0 0 0 804 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346928056616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=8.4 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) S 8553 8555 6470 0 -1 4202560 462 0 0 0 825 15 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346927004072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=8.24 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) S 8553 8555 6470 0 -1 4202560 421 0 0 0 808 16 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346925951528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=2.63 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 130 0 0 0 259 4 0 0 20 0 19 0 345342895 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346795215464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5754 0 0 0 78 1 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7492 0 0 0 80 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 97 0 0 0 32 33 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1771.88
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1748.8 s]
/proc/loadavg: 1.97 1.95 1.97 4/213 8670
/proc/meminfo: memFree=25179372/32873648 swapFree=7388/7388
[pid=8555] ppid=8553 vsize=3024420 CPUtime=1800.18 cores=0,2,4,6
/proc/8555/stat : 8555 (java) S 8553 8555 6470 0 -1 4202496 22791 0 1 0 179838 180 0 0 20 0 19 0 345342892 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140734635085488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8555/statm: 756105 423286 2308 9 0 746526 0
[pid=8555/tid=8557] ppid=8553 vsize=3024420 CPUtime=1721.5 cores=0,2,4,6
/proc/8555/task/8557/stat : 8557 (java) R 8553 8555 6470 0 -1 4202560 4307 0 1 0 172112 38 0 0 20 0 19 0 345342893 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346949893416 140346798449999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8558] ppid=8553 vsize=3024420 CPUtime=8.62 cores=0,2,4,6
/proc/8555/task/8558/stat : 8558 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 844 18 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346933320360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8559] ppid=8553 vsize=3024420 CPUtime=8.93 cores=0,2,4,6
/proc/8555/task/8559/stat : 8559 (java) S 8553 8555 6470 0 -1 4202560 501 0 0 0 875 18 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346932267816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8560] ppid=8553 vsize=3024420 CPUtime=8.89 cores=0,2,4,6
/proc/8555/task/8560/stat : 8560 (java) S 8553 8555 6470 0 -1 4202560 465 0 0 0 872 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346931215272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8561] ppid=8553 vsize=3024420 CPUtime=9 cores=0,2,4,6
/proc/8555/task/8561/stat : 8561 (java) S 8553 8555 6470 0 -1 4202560 511 0 0 0 880 20 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346930162728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8562] ppid=8553 vsize=3024420 CPUtime=8.75 cores=0,2,4,6
/proc/8555/task/8562/stat : 8562 (java) S 8553 8555 6470 0 -1 4202560 482 0 0 0 858 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346929109160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8563] ppid=8553 vsize=3024420 CPUtime=8.46 cores=0,2,4,6
/proc/8555/task/8563/stat : 8563 (java) S 8553 8555 6470 0 -1 4202560 483 0 0 0 829 17 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346928056616 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8564] ppid=8553 vsize=3024420 CPUtime=8.74 cores=0,2,4,6
/proc/8555/task/8564/stat : 8564 (java) S 8553 8555 6470 0 -1 4202560 462 0 0 0 859 15 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346927004072 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8565] ppid=8553 vsize=3024420 CPUtime=8.47 cores=0,2,4,6
/proc/8555/task/8565/stat : 8565 (java) S 8553 8555 6470 0 -1 4202560 421 0 0 0 831 16 0 0 20 0 19 0 345342894 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346925951528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8566] ppid=8553 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/8555/task/8566/stat : 8566 (java) S 8553 8555 6470 0 -1 4202560 132 0 0 0 259 5 0 0 20 0 19 0 345342895 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346795215464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8567] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8567/stat : 8567 (java) S 8553 8555 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346794161784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8568] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8568/stat : 8568 (java) S 8553 8555 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345342896 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346793109128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8569] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8569/stat : 8569 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346792057872 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8570] ppid=8553 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/8555/task/8570/stat : 8570 (java) S 8553 8555 6470 0 -1 4202560 5754 0 0 0 78 1 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346791004216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8555/tid=8571] ppid=8553 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/8555/task/8571/stat : 8571 (java) S 8553 8555 6470 0 -1 4202560 7492 0 0 0 80 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346789951672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8572] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8572/stat : 8572 (java) S 8553 8555 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346788899320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8555/tid=8573] ppid=8553 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/8555/task/8573/stat : 8573 (java) S 8553 8555 6470 0 -1 4202560 99 0 0 0 32 34 0 0 20 0 19 0 345342898 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346787846984 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8555/tid=8574] ppid=8553 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8555/task/8574/stat : 8574 (java) S 8553 8555 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345343021 3097006080 423286 33554432000 1073741824 1073778376 140734635094352 140346785715496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 8555 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=219237
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=292651
# CPU time returned by wait4() is 1796.51
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1748.82
CPU time (s): 1800.18
CPU user time (s): 1798.38
CPU system time (s): 1.8
CPU usage (%): 102.937
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 2.29265
maximum resident set size= 1693260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22820
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= 70408
involuntary context switches= 129715

runsolver used 8.15976 second user time and 12.2941 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-04 08:43:04
IDJOB=3744038
IDBENCH=92674
IDSOLVER=2319
FILE ID=node148/3744038-1338792184
RUNJOBID= node148-1338772384-6486
PBS_JOBID= 14636819
Free space on /tmp= 71288 MiB

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

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

MD5SUM BENCH= d1abf7b4963ec923523ad7cbca6393af
RANDOM SEED=648740203

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26911072 kB
Buffers:          610028 kB
Cached:          3074048 kB
SwapCached:          628 kB
Active:          2830468 kB
Inactive:        2200276 kB
Active(anon):    1335900 kB
Inactive(anon):    10660 kB
Active(file):    1494568 kB
Inactive(file):  2189616 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:              7856 kB
Writeback:            36 kB
AnonPages:       1375560 kB
Mapped:            19148 kB
Shmem:                36 kB
Slab:             768356 kB
SReclaimable:     212292 kB
SUnreclaim:       556064 kB
KernelStack:        1592 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1826484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1325056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71308 MiB
End job on node148 at 2012-06-04 09:12:15