Trace number 3689677

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.13 1779.68

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
MD5SUM5c9e224cdd9eef3594ee47236fa33798
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19397
Total number of constraints19725
Number of constraints which are clauses19562
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 164
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3689677-1337892349.opb
0.08/0.13	c reading problem ... 
1.20/0.61	c ... done. Wall clock time 0.487s.
1.20/0.61	c declared #vars     19397
1.20/0.61	c #constraints  19725
1.20/0.61	c constraints type 
1.20/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17454
1.20/0.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 163
1.20/0.61	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.20/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2106
1.20/0.61	c 19725 constraints processed.
3.48/2.50	c cleaning 2495 clauses out of 4993 with flag 5000/5000
5.28/4.30	c cleaning 4194 clauses out of 8494 with flag 11000/11000
7.49/6.41	c cleaning 5547 clauses out of 11298 with flag 18000/18000
9.91/8.85	c cleaning 6758 clauses out of 13749 with flag 26000/26000
12.66/11.58	c cleaning 7890 clauses out of 15989 with flag 35000/35000
15.78/14.66	c cleaning 8898 clauses out of 18099 with flag 45002/45002
19.31/18.16	c cleaning 9899 clauses out of 20199 with flag 56001/56001
22.82/21.68	c cleaning 11060 clauses out of 22294 with flag 68000/68000
27.29/26.01	c cleaning 11951 clauses out of 24232 with flag 81002/81002
31.82/30.59	c cleaning 12796 clauses out of 26280 with flag 95002/95002
36.45/35.11	c cleaning 14107 clauses out of 28482 with flag 110001/110001
41.57/40.27	c cleaning 15012 clauses out of 30376 with flag 126003/126003
46.70/45.38	c cleaning 16013 clauses out of 32360 with flag 143000/143000
52.54/51.15	c cleaning 16991 clauses out of 34347 with flag 161001/161001
58.46/57.00	c cleaning 17962 clauses out of 36357 with flag 180002/180002
64.29/62.88	c cleaning 18994 clauses out of 38392 with flag 200000/200000
70.52/69.09	c cleaning 19632 clauses out of 40398 with flag 221000/221000
77.57/76.01	c cleaning 19924 clauses out of 42765 with flag 243000/243000
84.81/83.29	c cleaning 20725 clauses out of 45842 with flag 266002/266002
92.44/90.87	c cleaning 21909 clauses out of 49114 with flag 290000/290000
100.09/98.48	c cleaning 23281 clauses out of 52205 with flag 315000/315000
108.65/106.98	c cleaning 23728 clauses out of 54922 with flag 341001/341001
117.63/115.83	c cleaning 24524 clauses out of 58193 with flag 368000/368000
126.80/124.99	c cleaning 25426 clauses out of 61670 with flag 396001/396001
136.22/134.39	c cleaning 26815 clauses out of 65241 with flag 425000/425000
145.96/144.07	c cleaning 27546 clauses out of 68426 with flag 455000/455000
156.62/154.64	c cleaning 28445 clauses out of 71880 with flag 486000/486000
166.49/164.46	c cleaning 29545 clauses out of 75435 with flag 518000/518000
177.23/175.17	c cleaning 30309 clauses out of 78890 with flag 551000/551000
188.68/186.58	c cleaning 31393 clauses out of 82581 with flag 585000/585000
200.95/198.77	c cleaning 32365 clauses out of 86187 with flag 620000/620000
212.11/209.83	c cleaning 33551 clauses out of 89827 with flag 656005/656005
225.47/223.13	c cleaning 34970 clauses out of 93271 with flag 693000/693000
237.27/234.88	c cleaning 35204 clauses out of 96300 with flag 731000/731000
249.62/247.13	c cleaning 36378 clauses out of 100096 with flag 770001/770001
262.99/260.43	c cleaning 36802 clauses out of 103716 with flag 810000/810000
276.95/274.30	c cleaning 37965 clauses out of 107914 with flag 851000/851000
291.73/289.06	c cleaning 38818 clauses out of 111947 with flag 893001/893001
307.01/304.25	c cleaning 39644 clauses out of 116129 with flag 936001/936001
321.37/318.53	c cleaning 40955 clauses out of 120485 with flag 980001/980001
338.22/335.35	c cleaning 41304 clauses out of 124527 with flag 1025000/1025000
353.78/350.82	c cleaning 43534 clauses out of 129224 with flag 1071001/1071001
370.19/367.14	c cleaning 43593 clauses out of 132693 with flag 1118004/1118004
386.48/383.31	c cleaning 44588 clauses out of 137094 with flag 1166000/1166000
403.32/400.15	c cleaning 45642 clauses out of 141506 with flag 1215001/1215001
422.30/419.06	c cleaning 46350 clauses out of 145865 with flag 1265002/1265002
440.85/437.50	c cleaning 47960 clauses out of 150513 with flag 1316000/1316000
460.61/457.26	c cleaning 48475 clauses out of 154554 with flag 1368003/1368003
481.26/477.87	c cleaning 49499 clauses out of 159076 with flag 1421000/1421000
501.13/497.68	c cleaning 51395 clauses out of 163577 with flag 1475000/1475000
524.73/521.15	c cleaning 51121 clauses out of 167182 with flag 1530000/1530000
547.82/544.10	c cleaning 52651 clauses out of 172061 with flag 1586000/1586000
570.23/566.48	c cleaning 53729 clauses out of 176412 with flag 1643002/1643002
594.01/590.11	c cleaning 54201 clauses out of 180681 with flag 1701000/1701000
616.40/612.41	c cleaning 55341 clauses out of 185480 with flag 1760000/1760000
639.82/635.76	c cleaning 56324 clauses out of 190139 with flag 1820000/1820000
662.29/658.14	c cleaning 57569 clauses out of 194815 with flag 1881000/1881000
688.32/683.88	c cleaning 59155 clauses out of 199247 with flag 1943002/1943002
715.69/711.02	c cleaning 59525 clauses out of 203093 with flag 2006003/2006003
741.28/736.53	c cleaning 60975 clauses out of 207565 with flag 2070000/2070000
766.90/762.03	c cleaning 61524 clauses out of 211590 with flag 2135000/2135000
793.30/788.31	c cleaning 62619 clauses out of 216066 with flag 2201000/2201000
821.89/816.64	c cleaning 65444 clauses out of 220447 with flag 2268000/2268000
851.61/846.23	c cleaning 64302 clauses out of 223004 with flag 2336001/2336001
881.70/876.02	c cleaning 64756 clauses out of 227701 with flag 2405000/2405000
913.31/907.54	c cleaning 66316 clauses out of 232948 with flag 2475003/2475003
940.61/934.72	c cleaning 67135 clauses out of 237629 with flag 2546000/2546000
971.04/965.09	c cleaning 68239 clauses out of 242494 with flag 2618000/2618000
997.97/991.85	c cleaning 69103 clauses out of 247255 with flag 2691000/2691000
1047.34/1039.64	c cleaning 71738 clauses out of 252152 with flag 2765000/2765000
1080.55/1072.36	c cleaning 71133 clauses out of 255414 with flag 2840000/2840000
1116.83/1108.02	c cleaning 72783 clauses out of 260281 with flag 2916000/2916000
1156.91/1147.46	c cleaning 74373 clauses out of 264498 with flag 2993000/2993000
1193.08/1182.95	c cleaning 74256 clauses out of 268127 with flag 3071002/3071002
1250.00/1238.79	c cleaning 77107 clauses out of 272870 with flag 3150001/3150001
1326.14/1313.33	c cleaning 78642 clauses out of 275762 with flag 3230000/3230000
1367.84/1354.21	c cleaning 78890 clauses out of 278120 with flag 3311000/3311000
1401.91/1388.07	c cleaning 77541 clauses out of 281230 with flag 3393000/3393000
1435.93/1421.64	c cleaning 78772 clauses out of 286690 with flag 3476001/3476001
1472.52/1457.72	c cleaning 79696 clauses out of 291917 with flag 3560000/3560000
1508.59/1493.48	c cleaning 80767 clauses out of 297221 with flag 3645000/3645000
1546.87/1531.30	c cleaning 82404 clauses out of 302454 with flag 3731000/3731000
1582.40/1566.41	c cleaning 82977 clauses out of 307053 with flag 3818003/3818003
1621.28/1605.03	c cleaning 83793 clauses out of 312073 with flag 3906000/3906000
1659.41/1642.86	c cleaning 84667 clauses out of 317281 with flag 3995001/3995001
1698.69/1681.78	c cleaning 85442 clauses out of 322613 with flag 4085000/4085000
1772.84/1753.00	c cleaning 88859 clauses out of 328171 with flag 4176000/4176000
1800.13/1779.61	c starts		: 252
1800.13/1779.61	c conflicts		: 4233125
1800.13/1779.61	c decisions		: 80106983
1800.13/1779.61	c propagations		: 3303201609
1800.13/1779.61	c inspects		: 7810989160
1800.13/1779.61	c shortcuts		: 0
1800.13/1779.61	c learnt literals	: 58
1800.13/1779.61	c learnt binary clauses	: 208665
1800.13/1779.61	c learnt ternary clauses	: 221159
1800.13/1779.61	c learnt constraints	: 4233067
1800.13/1779.61	c ignored constraints	: 0
1800.13/1779.61	c root simplifications	: 0
1800.13/1779.61	c removed literals (reason simplification)	: 0
1800.13/1779.61	c reason swapping (by a shorter reason)	: 0
1800.13/1779.61	c Calls to reduceDB	: 87
1800.13/1779.61	c number of reductions to clauses (during analyze)	: 0
1800.13/1779.61	c number of learned constraints concerned by reduction	: 0
1800.13/1779.61	c number of learning phase by resolution	: 0
1800.13/1779.61	c number of learning phase by cutting planes	: 0
1800.13/1779.61	c speed (assignments/second)	: 1856797.566355514
1800.13/1779.61	c non guided choices	54317
1800.13/1779.67	c learnt constraints type 
1800.13/1779.67	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 208666
1800.13/1779.67	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87846
1800.13/1779.67	c constraints type 
1800.13/1779.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17454
1800.13/1779.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 163
1800.13/1779.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1800.13/1779.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2106
1800.13/1779.67	c 19725 constraints processed.
1800.13/1779.67	s UNKNOWN
1800.13/1779.67	c Total wall clock time (in seconds): 1779.547

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-3689677-1337892349/watcher-3689677-1337892349 -o /tmp/evaluation-result-3689677-1337892349/solver-3689677-1337892349 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689677-1337892349.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23476
/proc/meminfo: memFree=28899624/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23476/stat : 23476 (java) D 23474 23476 21484 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 255363482 9515008 176 33554432000 1073741824 1073778376 140736800337152 140736800319880 218213729168 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23476/statm: 2323 176 133 9 0 71 0

[startup+0.0209841 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23476
/proc/meminfo: memFree=28899624/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 1428 0 1 0 0 0 0 0 20 0 2 0 255363482 105127936 1109 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100324 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23476
/proc/meminfo: memFree=28899624/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 3929 0 1 0 7 1 0 0 20 0 18 0 255363482 9787813888 4619 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2389603 4628 2029 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23476
/proc/meminfo: memFree=28899624/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 7227 0 1 0 51 2 0 0 20 0 18 0 255363482 9787813888 9922 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2389603 9922 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700312 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23476
/proc/meminfo: memFree=28899624/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 9863 0 1 0 141 4 0 0 20 0 19 0 255363482 9855975424 34386 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 34386 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9624976

[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23495
/proc/meminfo: memFree=28767836/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=2.42 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 10028 0 1 0 237 5 0 0 20 0 19 0 255363482 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 34925 2251 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2565 0 1 0 143 3 0 0 20 0 19 0 255363483 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420258488840 140420198998223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 3665 0 0 0 49 1 0 0 20 0 19 0 255363489 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2603 0 0 0 41 0 0 0 20 0 19 0 255363489 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 34925 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9624976

[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23495
/proc/meminfo: memFree=28765284/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=4.15 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 10251 0 1 0 409 6 0 0 20 0 19 0 255363482 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 40619 2281 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2570 0 1 0 298 3 0 0 20 0 19 0 255363483 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420258488824 140420198935489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255363486 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 3678 0 0 0 53 2 0 0 20 0 19 0 255363489 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2755 0 0 0 46 0 0 0 20 0 19 0 255363489 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 40619 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9624976

[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23495
/proc/meminfo: memFree=28738040/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=7.39 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 10274 0 1 0 733 6 0 0 20 0 19 0 255363482 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 42054 2281 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2573 0 1 0 614 3 0 0 20 0 19 0 255363483 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420258488760 140420198991808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255363484 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 255363486 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 3680 0 0 0 55 2 0 0 20 0 19 0 255363489 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2757 0 0 0 48 0 0 0 20 0 19 0 255363489 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 42054 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 4488 0 0 0 68 2 0 0 20 0 19 0 255363489 9855975424 218030 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2768 0 0 0 53 0 0 0 20 0 19 0 255363489 9855975424 218030 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 218030 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 93 0 0 0 48 25 0 0 20 0 19 0 255363489 9855975424 218030 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 218030 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1618.58
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.02 4/213 23591
/proc/meminfo: memFree=22219948/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=1679.03 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 20697 0 1 0 167746 157 0 0 20 0 19 0 255363482 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 218052 2282 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=1645.27 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2784 0 1 0 164497 30 0 0 20 0 19 0 255363483 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420258488608 140420198998118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=2.59 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 1502 0 0 0 244 15 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=2.42 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1139 0 0 0 230 12 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=2.62 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 1262 0 0 0 244 18 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 770 0 0 0 239 14 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=2.38 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 823 0 0 0 227 11 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=2.56 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 1391 0 0 0 241 15 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=2.48 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 831 0 0 0 234 14 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 758 0 0 0 245 12 0 0 20 0 19 0 255363484 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=7.06 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 905 0 0 0 704 2 0 0 20 0 19 0 255363486 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 4488 0 0 0 68 2 0 0 20 0 19 0 255363489 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2768 0 0 0 53 0 0 0 20 0 19 0 255363489 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 95 0 0 0 51 25 0 0 20 0 19 0 255363489 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 218052 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1679.03
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.68 2.21 2.08 4/212 23591
/proc/meminfo: memFree=22039096/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=1741.06 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 22345 0 1 0 173917 189 0 0 20 0 19 0 255363482 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 226480 2282 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=1704.23 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2814 0 1 0 170393 30 0 0 20 0 19 0 255363483 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420258487816 140420198409735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 1736 0 0 0 275 17 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=2.71 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1225 0 0 0 257 14 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 1455 0 0 0 275 23 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=2.85 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 963 0 0 0 268 17 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=2.72 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 981 0 0 0 257 15 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 1523 0 0 0 272 19 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=2.78 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 895 0 0 0 263 15 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 1171 0 0 0 281 18 0 0 20 0 19 0 255363484 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=7.2 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 1046 0 0 0 717 3 0 0 20 0 19 0 255363486 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 4488 0 0 0 68 2 0 0 20 0 19 0 255363489 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2768 0 0 0 53 0 0 0 20 0 19 0 255363489 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 99 0 0 0 53 26 0 0 20 0 19 0 255363489 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 226480 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1741.06
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.6 s]
/proc/loadavg: 2.27 2.18 2.07 3/213 23592
/proc/meminfo: memFree=22462904/32873844 swapFree=7620/7620
[pid=23476] ppid=23474 vsize=9624976 CPUtime=1800.13 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 21484 0 -1 4202496 24392 0 1 0 179818 195 0 0 20 0 19 0 255363482 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140736412259344 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23476/statm: 2406244 157674 2282 9 0 2396937 0
[pid=23476/tid=23478] ppid=23474 vsize=9624976 CPUtime=1760.47 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 21484 0 -1 4202560 2861 0 1 0 176016 31 0 0 20 0 19 0 255363483 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420258487816 140420199040623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23479] ppid=23474 vsize=9624976 CPUtime=3.21 cores=1,3,5,7
/proc/23476/task/23479/stat : 23479 (java) S 23474 23476 21484 0 -1 4202560 1842 0 0 0 303 18 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420102175272 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23480] ppid=23474 vsize=9624976 CPUtime=3.05 cores=1,3,5,7
/proc/23476/task/23480/stat : 23480 (java) S 23474 23476 21484 0 -1 4202560 1740 0 0 0 290 15 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420101122472 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23481] ppid=23474 vsize=9624976 CPUtime=3.26 cores=1,3,5,7
/proc/23476/task/23481/stat : 23481 (java) S 23474 23476 21484 0 -1 4202560 1694 0 0 0 303 23 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420100069672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23482] ppid=23474 vsize=9624976 CPUtime=3.16 cores=1,3,5,7
/proc/23476/task/23482/stat : 23482 (java) S 23474 23476 21484 0 -1 4202560 1418 0 0 0 299 17 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420099016872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23483] ppid=23474 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/23476/task/23483/stat : 23483 (java) S 23474 23476 21484 0 -1 4202560 1451 0 0 0 283 16 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420097965096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23484] ppid=23474 vsize=9624976 CPUtime=3.26 cores=1,3,5,7
/proc/23476/task/23484/stat : 23484 (java) S 23474 23476 21484 0 -1 4202560 1533 0 0 0 306 20 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420096912296 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23485] ppid=23474 vsize=9624976 CPUtime=3.09 cores=1,3,5,7
/proc/23476/task/23485/stat : 23485 (java) S 23474 23476 21484 0 -1 4202560 972 0 0 0 293 16 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420095859496 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23486] ppid=23474 vsize=9624976 CPUtime=3.31 cores=1,3,5,7
/proc/23476/task/23486/stat : 23486 (java) S 23474 23476 21484 0 -1 4202560 1281 0 0 0 312 19 0 0 20 0 19 0 255363484 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420094806696 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23487] ppid=23474 vsize=9624976 CPUtime=7.41 cores=1,3,5,7
/proc/23476/task/23487/stat : 23487 (java) S 23474 23476 21484 0 -1 4202560 1060 0 0 0 737 4 0 0 20 0 19 0 255363486 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420082608616 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420081554680 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255363486 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420080501768 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420079450256 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 21484 0 -1 4202560 4488 0 0 0 68 2 0 0 20 0 19 0 255363489 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420078398392 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 21484 0 -1 4202560 2768 0 0 0 53 0 0 0 20 0 19 0 255363489 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420077345592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255363489 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420076292984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 21484 0 -1 4202560 103 0 0 0 54 28 0 0 20 0 19 0 255363489 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420075240392 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255363546 9855975424 157674 33554432000 1073741824 1073778376 140736412268208 140420074185896 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9624976

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 23476 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=429357
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=233660
# CPU time returned by wait4() is 1795.66
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.68
CPU time (s): 1800.13
CPU user time (s): 1798.18
CPU system time (s): 1.95
CPU usage (%): 101.149
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.43
system time used= 2.23366
maximum resident set size= 1055320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24425
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46079
involuntary context switches= 37511

runsolver used 6.00109 second user time and 15.8616 second system time

The end

Launcher Data

Begin job on node107 at 2012-05-24 22:45:49
IDJOB=3689677
IDBENCH=90172
IDSOLVER=2269
FILE ID=node107/3689677-1337892349
RUNJOBID= node107-1337871881-21501
PBS_JOBID= 14620097
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689677-1337892349/watcher-3689677-1337892349 -o /tmp/evaluation-result-3689677-1337892349/solver-3689677-1337892349 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689677-1337892349.opb

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

MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798
RANDOM SEED=1957135273

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28899888 kB
Buffers:          214788 kB
Cached:          2598284 kB
SwapCached:            0 kB
Active:           893292 kB
Inactive:        2306780 kB
Active(anon):     389444 kB
Inactive(anon):        0 kB
Active(file):     503848 kB
Inactive(file):  2306780 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1656 kB
Writeback:             0 kB
AnonPages:        400624 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             627108 kB
SReclaimable:      69696 kB
SUnreclaim:       557412 kB
KernelStack:        1592 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     702424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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= 71656 MiB
End job on node107 at 2012-05-24 23:15:31