Trace number 3687517

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.07 1768.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.2.v20120418
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		501472288
0.07/0.08	c Max memory 		7480803328
0.07/0.08	c Total memory 		504102912
0.07/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687517-1337871946.opb
0.09/0.11	c reading problem ... 
0.30/0.28	c ... done. Wall clock time 0.169s.
0.30/0.28	c declared #vars     2655
0.30/0.28	c #constraints  291
0.30/0.28	c constraints type 
0.30/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
0.30/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 146
0.30/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.30/0.28	c 291 constraints processed.
0.30/0.28	c objective function length is 2655 literals
1.37/0.82	c cleaning 2501 clauses out of 5005 with flag 5005/5005
1.83/1.26	c cleaning 4249 clauses out of 8499 with flag 11000/11000
2.46/1.88	c cleaning 5625 clauses out of 11250 with flag 18000/18000
3.17/2.54	c cleaning 6809 clauses out of 13625 with flag 26000/26000
3.83/3.20	c cleaning 7907 clauses out of 15816 with flag 35000/35000
4.64/3.94	c cleaning 8954 clauses out of 17909 with flag 45000/45000
5.54/4.83	c cleaning 9976 clauses out of 19955 with flag 56000/56000
6.57/5.80	c cleaning 10983 clauses out of 21979 with flag 68000/68000
7.70/6.95	c cleaning 11997 clauses out of 23998 with flag 81002/81002
8.82/8.07	c cleaning 12993 clauses out of 25999 with flag 95000/95000
10.14/9.33	c cleaning 14003 clauses out of 28006 with flag 110000/110000
11.46/10.62	c cleaning 14999 clauses out of 30004 with flag 126001/126001
13.07/12.21	c cleaning 15994 clauses out of 32005 with flag 143001/143001
14.97/14.17	c cleaning 16985 clauses out of 34010 with flag 161000/161000
17.10/16.21	c cleaning 18013 clauses out of 36026 with flag 180001/180001
19.12/18.22	c cleaning 19001 clauses out of 38015 with flag 200003/200003
21.66/20.76	c cleaning 19996 clauses out of 40012 with flag 221001/221001
24.08/23.19	c cleaning 20999 clauses out of 42015 with flag 243000/243000
26.60/25.65	c cleaning 21999 clauses out of 44016 with flag 266000/266000
29.02/28.02	c cleaning 22999 clauses out of 46017 with flag 290000/290000
31.45/30.49	c cleaning 24009 clauses out of 48019 with flag 315001/315001
34.27/33.22	c cleaning 24997 clauses out of 50009 with flag 341000/341000
37.12/36.06	c cleaning 26005 clauses out of 52015 with flag 368003/368003
40.26/39.17	c cleaning 27000 clauses out of 54008 with flag 396001/396001
43.61/42.42	c cleaning 27998 clauses out of 56007 with flag 425000/425000
46.63/45.43	c cleaning 28998 clauses out of 58012 with flag 455003/455003
50.26/49.06	c cleaning 30000 clauses out of 60011 with flag 486000/486000
54.27/53.04	c cleaning 30994 clauses out of 62013 with flag 518002/518002
58.30/57.10	c cleaning 31993 clauses out of 64018 with flag 551001/551001
62.72/61.50	c cleaning 33002 clauses out of 66024 with flag 585000/585000
66.56/65.25	c cleaning 33999 clauses out of 68022 with flag 620000/620000
71.17/69.81	c cleaning 35002 clauses out of 70023 with flag 656000/656000
76.77/75.41	c cleaning 35997 clauses out of 72021 with flag 693000/693000
82.30/80.99	c cleaning 37008 clauses out of 74024 with flag 731000/731000
89.36/87.95	c cleaning 38004 clauses out of 76019 with flag 770003/770003
95.68/94.15	c cleaning 38995 clauses out of 78014 with flag 810002/810002
102.22/100.65	c cleaning 39991 clauses out of 80017 with flag 851000/851000
108.18/106.53	c cleaning 41005 clauses out of 82027 with flag 893001/893001
113.14/111.40	c cleaning 42003 clauses out of 84023 with flag 936002/936002
118.05/116.11	c cleaning 42994 clauses out of 86018 with flag 980000/980000
123.28/121.16	c cleaning 44010 clauses out of 88024 with flag 1025000/1025000
128.51/126.32	c cleaning 45001 clauses out of 90014 with flag 1071000/1071000
133.84/131.68	c cleaning 45988 clauses out of 92013 with flag 1118000/1118000
139.48/137.28	c cleaning 46992 clauses out of 94025 with flag 1166000/1166000
146.46/144.16	c cleaning 47977 clauses out of 96033 with flag 1215000/1215000
152.28/149.90	c cleaning 49007 clauses out of 98056 with flag 1265000/1265000
158.11/155.71	c cleaning 49998 clauses out of 100050 with flag 1316001/1316001
163.98/161.51	c cleaning 51013 clauses out of 102051 with flag 1368000/1368000
169.41/166.96	c cleaning 52006 clauses out of 104038 with flag 1421000/1421000
175.85/173.39	c cleaning 53002 clauses out of 106032 with flag 1475000/1475000
182.70/180.10	c cleaning 54006 clauses out of 108030 with flag 1530000/1530000
189.33/186.79	c cleaning 55006 clauses out of 110025 with flag 1586001/1586001
197.18/194.54	c cleaning 56003 clauses out of 112019 with flag 1643001/1643001
205.62/202.91	c cleaning 56998 clauses out of 114016 with flag 1701001/1701001
214.18/211.47	c cleaning 57997 clauses out of 116018 with flag 1760001/1760001
223.64/220.83	c cleaning 58998 clauses out of 118021 with flag 1820001/1820001
235.28/232.26	c cleaning 59991 clauses out of 120022 with flag 1881000/1881000
247.64/244.48	c cleaning 61015 clauses out of 122034 with flag 1943003/1943003
256.97/253.71	c cleaning 61996 clauses out of 124016 with flag 2006000/2006000
264.10/260.85	c cleaning 62998 clauses out of 126020 with flag 2070000/2070000
271.15/267.82	c cleaning 63999 clauses out of 128022 with flag 2135000/2135000
279.29/275.94	c cleaning 65006 clauses out of 130023 with flag 2201000/2201000
288.16/284.72	c cleaning 66005 clauses out of 132017 with flag 2268000/2268000
298.92/295.41	c cleaning 66990 clauses out of 134012 with flag 2336000/2336000
312.76/309.22	c cleaning 67985 clauses out of 136022 with flag 2405000/2405000
323.76/320.18	c cleaning 69008 clauses out of 138037 with flag 2475000/2475000
336.62/332.93	c cleaning 69996 clauses out of 140029 with flag 2546000/2546000
349.28/345.51	c cleaning 70999 clauses out of 142033 with flag 2618000/2618000
360.95/357.19	c cleaning 71997 clauses out of 144034 with flag 2691000/2691000
374.28/370.47	c cleaning 72992 clauses out of 146038 with flag 2765001/2765001
387.03/383.10	c cleaning 73991 clauses out of 148046 with flag 2840001/2840001
398.60/394.68	c cleaning 74999 clauses out of 150055 with flag 2916001/2916001
410.37/406.32	c cleaning 76020 clauses out of 152056 with flag 2993001/2993001
421.51/417.47	c cleaning 77012 clauses out of 154035 with flag 3071000/3071000
430.66/426.55	c cleaning 78005 clauses out of 156024 with flag 3150001/3150001
440.51/436.37	c cleaning 78998 clauses out of 158018 with flag 3230000/3230000
450.57/446.34	c cleaning 80000 clauses out of 160020 with flag 3311000/3311000
461.85/457.59	c cleaning 81003 clauses out of 162020 with flag 3393000/3393000
473.32/468.90	c cleaning 82008 clauses out of 164019 with flag 3476002/3476002
485.29/480.86	c cleaning 83003 clauses out of 166009 with flag 3560000/3560000
497.47/492.91	c cleaning 83992 clauses out of 168009 with flag 3645003/3645003
511.23/506.67	c cleaning 84988 clauses out of 170014 with flag 3731000/3731000
526.67/521.81	c cleaning 85948 clauses out of 172027 with flag 3818001/3818001
539.40/534.59	c cleaning 86982 clauses out of 174079 with flag 3906001/3906001
556.29/551.24	c cleaning 88044 clauses out of 176097 with flag 3995001/3995001
573.59/568.18	c cleaning 89017 clauses out of 178053 with flag 4085001/4085001
591.73/585.97	c cleaning 90003 clauses out of 180035 with flag 4176000/4176000
608.86/602.72	c cleaning 91009 clauses out of 182033 with flag 4268001/4268001
625.60/619.15	c cleaning 91996 clauses out of 184024 with flag 4361001/4361001
644.08/637.21	c cleaning 92997 clauses out of 186028 with flag 4455001/4455001
662.72/655.51	c cleaning 94006 clauses out of 188032 with flag 4550002/4550002
691.44/683.58	c cleaning 94981 clauses out of 190024 with flag 4646000/4646000
717.80/709.31	c cleaning 96003 clauses out of 192043 with flag 4743000/4743000
743.86/734.85	c cleaning 96984 clauses out of 194041 with flag 4841001/4841001
770.14/760.56	c cleaning 98018 clauses out of 196058 with flag 4940002/4940002
794.69/784.61	c cleaning 99018 clauses out of 198039 with flag 5040001/5040001
822.33/811.69	c cleaning 99991 clauses out of 200020 with flag 5141000/5141000
845.84/834.64	c cleaning 100928 clauses out of 202029 with flag 5243000/5243000
865.39/853.92	c cleaning 101992 clauses out of 204102 with flag 5346001/5346001
883.27/871.51	c cleaning 102993 clauses out of 206109 with flag 5450000/5450000
904.24/891.91	c cleaning 104052 clauses out of 208117 with flag 5555001/5555001
922.77/910.19	c cleaning 105014 clauses out of 210064 with flag 5661000/5661000
942.03/928.81	c cleaning 106011 clauses out of 212050 with flag 5768000/5768000
967.27/953.53	c cleaning 107009 clauses out of 214039 with flag 5876000/5876000
988.81/974.60	c cleaning 108010 clauses out of 216031 with flag 5985001/5985001
1012.92/998.39	c cleaning 109004 clauses out of 218020 with flag 6095000/6095000
1036.57/1021.42	c cleaning 110007 clauses out of 220016 with flag 6206000/6206000
1061.85/1046.26	c cleaning 111000 clauses out of 222009 with flag 6318000/6318000
1086.54/1070.34	c cleaning 112001 clauses out of 224009 with flag 6431000/6431000
1112.47/1095.70	c cleaning 112990 clauses out of 226008 with flag 6545000/6545000
1138.02/1120.78	c cleaning 114004 clauses out of 228020 with flag 6660002/6660002
1161.90/1144.24	c cleaning 115006 clauses out of 230014 with flag 6776000/6776000
1191.32/1173.05	c cleaning 115995 clauses out of 232008 with flag 6893000/6893000
1220.32/1201.43	c cleaning 116979 clauses out of 234013 with flag 7011000/7011000
1251.00/1231.45	c cleaning 117987 clauses out of 236034 with flag 7130000/7130000
1280.93/1260.85	c cleaning 119012 clauses out of 238047 with flag 7250000/7250000
1312.23/1291.40	c cleaning 120009 clauses out of 240036 with flag 7371001/7371001
1347.63/1325.97	c cleaning 120997 clauses out of 242027 with flag 7493001/7493001
1376.93/1354.61	c cleaning 121996 clauses out of 244030 with flag 7616001/7616001
1409.95/1387.00	c cleaning 123008 clauses out of 246034 with flag 7740001/7740001
1445.51/1421.93	c cleaning 123990 clauses out of 248026 with flag 7865001/7865001
1480.16/1455.81	c cleaning 125014 clauses out of 250037 with flag 7991002/7991002
1527.40/1502.23	c cleaning 125980 clauses out of 252022 with flag 8118001/8118001
1563.14/1537.13	c cleaning 127018 clauses out of 254042 with flag 8246001/8246001
1594.56/1567.92	c cleaning 128010 clauses out of 256023 with flag 8375000/8375000
1625.23/1597.86	c cleaning 128991 clauses out of 258013 with flag 8505000/8505000
1655.56/1627.48	c cleaning 129984 clauses out of 260022 with flag 8636000/8636000
1686.38/1657.68	c cleaning 130990 clauses out of 262038 with flag 8768000/8768000
1719.21/1689.87	c cleaning 132001 clauses out of 264049 with flag 8901001/8901001
1755.47/1725.35	c cleaning 133006 clauses out of 266049 with flag 9035002/9035002
1795.42/1764.06	c cleaning 134001 clauses out of 268042 with flag 9170001/9170001
1800.07/1768.61	c starts		: 300
1800.07/1768.61	c conflicts		: 9188324
1800.07/1768.61	c decisions		: 10490068
1800.07/1768.61	c propagations		: 89559564
1800.07/1768.61	c inspects		: 12963412436
1800.07/1768.61	c shortcuts		: 0
1800.07/1768.61	c learnt literals	: 0
1800.07/1768.61	c learnt binary clauses	: 3
1800.07/1768.61	c learnt ternary clauses	: 23
1800.07/1768.61	c learnt constraints	: 9188324
1800.07/1768.61	c ignored constraints	: 0
1800.07/1768.61	c root simplifications	: 0
1800.07/1768.61	c removed literals (reason simplification)	: 0
1800.07/1768.61	c reason swapping (by a shorter reason)	: 0
1800.07/1768.61	c Calls to reduceDB	: 131
1800.07/1768.61	c number of reductions to clauses (during analyze)	: 0
1800.07/1768.61	c number of learned constraints concerned by reduction	: 0
1800.07/1768.61	c number of learning phase by resolution	: 0
1800.07/1768.61	c number of learning phase by cutting planes	: 0
1800.07/1768.61	c speed (assignments/second)	: 50647.21693466388
1800.07/1768.61	c non guided choices	1
1800.07/1768.64	c learnt constraints type 
1800.07/1768.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.07/1768.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 152468
1800.07/1768.64	c constraints type 
1800.07/1768.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
1800.07/1768.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 146
1800.07/1768.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.07/1768.64	c 291 constraints processed.
1800.07/1768.64	s UNKNOWN
1800.07/1768.64	c Total wall clock time (in seconds): 1768.534

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-3687517-1337871946/watcher-3687517-1337871946 -o /tmp/evaluation-result-3687517-1337871946/solver-3687517-1337871946 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687517-1337871946.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: 1.23 0.34 0.11 3/196 22049
/proc/meminfo: memFree=29122420/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22049/stat : 22049 (java) R 22047 22049 21531 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 253319963 23793664 717 33554432000 1073741824 1073778376 140733542571040 140733542560104 273579816296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 5809 732 542 9 0 128 0

[startup+0.085804 s]
/proc/loadavg: 1.23 0.34 0.11 3/196 22049
/proc/meminfo: memFree=29122420/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 4153 0 1 0 7 0 0 0 20 0 18 0 253319963 9787813888 5361 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2389603 5362 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100304 s]
/proc/loadavg: 1.23 0.34 0.11 3/196 22049
/proc/meminfo: memFree=29122420/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 4365 0 1 0 9 0 0 0 20 0 18 0 253319963 9787813888 5572 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2389603 5572 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300165 s]
/proc/loadavg: 1.23 0.34 0.11 3/196 22049
/proc/meminfo: memFree=29122420/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9558412 CPUtime=0.6 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 7486 0 1 0 58 2 0 0 20 0 18 0 253319963 9787813888 10881 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2389603 10881 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9558412

[startup+0.700237 s]
/proc/loadavg: 1.23 0.34 0.11 3/196 22049
/proc/meminfo: memFree=29122420/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=1.27 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 8355 0 1 0 125 2 0 0 20 0 19 0 253319963 9855975424 12242 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 12242 2239 9 0 2396937 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.23 0.34 0.11 3/215 22068
/proc/meminfo: memFree=29067452/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 8430 0 1 0 213 3 0 0 20 0 19 0 253319963 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 17413 2267 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 2468 0 1 0 144 0 0 0 20 0 19 0 253319964 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139897123246488 139896967211183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253319966 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2316 0 0 0 33 0 0 0 20 0 19 0 253319969 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 2384 0 0 0 28 0 0 0 20 0 19 0 253319969 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 17413 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 1.37 0.38 0.13 3/215 22068
/proc/meminfo: memFree=29054916/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=3.83 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 8452 0 1 0 380 3 0 0 20 0 19 0 253319963 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 19979 2268 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 2468 0 1 0 300 0 0 0 20 0 19 0 253319964 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139897123246552 139896967282204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 253319966 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2317 0 0 0 33 0 0 0 20 0 19 0 253319969 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 2386 0 0 0 34 0 0 0 20 0 19 0 253319969 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 19979 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624976

[startup+6.30068 s]
/proc/loadavg: 1.37 0.38 0.13 3/215 22068
/proc/meminfo: memFree=29048400/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=7.1 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 8473 0 1 0 706 4 0 0 20 0 19 0 253319963 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 20885 2268 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=6.11 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 2473 0 1 0 611 0 0 0 20 0 19 0 253319964 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139897123246368 139896967211078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253319965 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 253319966 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2317 0 0 0 33 0 0 0 20 0 19 0 253319969 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.34 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 2386 0 0 0 34 0 0 0 20 0 19 0 253319969 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 20885 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2412 0 0 0 39 0 0 0 20 0 19 0 253319969 9855975424 193450 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 9307 0 0 0 68 2 0 0 20 0 19 0 253319969 9855975424 193450 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 193450 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 93 0 0 0 20 20 0 0 20 0 19 0 253319969 9855975424 193450 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 193450 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1629.77
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 1.68 3/215 22139
/proc/meminfo: memFree=28314724/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=1691.16 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 38370 0 1 0 168940 176 0 0 20 0 19 0 253319963 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 176553 2275 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=1639.32 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 3140 0 1 0 163904 28 0 0 20 0 19 0 253319964 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139897123245408 139896967210880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=4.72 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 2768 0 0 0 454 18 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=4.72 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 2229 0 0 0 455 17 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=4.84 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 1740 0 0 0 471 13 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=4.93 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 1996 0 0 0 471 22 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=4.91 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 2705 0 0 0 473 18 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=4.75 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 2647 0 0 0 458 17 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=4.89 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 3462 0 0 0 470 19 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=5.09 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 3376 0 0 0 490 19 0 0 20 0 19 0 253319965 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=7.53 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 1307 0 0 0 744 9 0 0 20 0 19 0 253319966 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2412 0 0 0 39 0 0 0 20 0 19 0 253319969 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 9307 0 0 0 68 2 0 0 20 0 19 0 253319969 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 95 0 0 0 21 20 0 0 20 0 19 0 253319969 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 176553 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1691.16
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.70 3/215 22139
/proc/meminfo: memFree=28351416/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=1752.43 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 38519 0 1 0 175063 180 0 0 20 0 19 0 253319963 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 156899 2275 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=1698.51 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 3172 0 1 0 169822 29 0 0 20 0 19 0 253319964 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139897123245392 139896967188900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=4.95 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 2771 0 0 0 476 19 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=4.9 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 2253 0 0 0 472 18 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=5.05 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 1740 0 0 0 492 13 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=5.19 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 2001 0 0 0 497 22 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=5.14 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 2708 0 0 0 496 18 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=5 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 2660 0 0 0 483 17 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=5.15 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 3462 0 0 0 496 19 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=5.3 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 3404 0 0 0 511 19 0 0 20 0 19 0 253319965 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=7.64 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 1344 0 0 0 754 10 0 0 20 0 19 0 253319966 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2412 0 0 0 39 0 0 0 20 0 19 0 253319969 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 9307 0 0 0 68 2 0 0 20 0 19 0 253319969 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 99 0 0 0 22 21 0 0 20 0 19 0 253319969 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 156899 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1752.43
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1768.6 s]
/proc/loadavg: 2.01 2.02 1.71 3/215 22140
/proc/meminfo: memFree=28407480/32873844 swapFree=6584/6584
[pid=22049] ppid=22047 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22049/stat : 22049 (java) S 22047 22049 21531 0 -1 4202496 39250 0 1 0 179821 186 0 0 20 0 19 0 253319963 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 140733542562176 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22049/statm: 2406244 141100 2275 9 0 2396937 0
[pid=22049/tid=22051] ppid=22047 vsize=9624976 CPUtime=1743.9 cores=0,2,4,6
/proc/22049/task/22051/stat : 22051 (java) R 22047 22049 21531 0 -1 4202560 3215 0 1 0 174360 30 0 0 20 0 19 0 253319964 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139897123245408 139896967239052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22052] ppid=22047 vsize=9624976 CPUtime=5.19 cores=0,2,4,6
/proc/22049/task/22052/stat : 22052 (java) S 22047 22049 21531 0 -1 4202560 2827 0 0 0 500 19 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896966605736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22053] ppid=22047 vsize=9624976 CPUtime=5.16 cores=0,2,4,6
/proc/22049/task/22053/stat : 22053 (java) S 22047 22049 21531 0 -1 4202560 2488 0 0 0 497 19 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896965553192 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22054] ppid=22047 vsize=9624976 CPUtime=5.26 cores=0,2,4,6
/proc/22049/task/22054/stat : 22054 (java) S 22047 22049 21531 0 -1 4202560 1740 0 0 0 513 13 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896964500136 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22055] ppid=22047 vsize=9624976 CPUtime=5.4 cores=0,2,4,6
/proc/22049/task/22055/stat : 22055 (java) S 22047 22049 21531 0 -1 4202560 2029 0 0 0 518 22 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896963447592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22056] ppid=22047 vsize=9624976 CPUtime=5.36 cores=0,2,4,6
/proc/22049/task/22056/stat : 22056 (java) S 22047 22049 21531 0 -1 4202560 2734 0 0 0 518 18 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896962394536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22057] ppid=22047 vsize=9624976 CPUtime=5.24 cores=0,2,4,6
/proc/22049/task/22057/stat : 22057 (java) S 22047 22049 21531 0 -1 4202560 2873 0 0 0 506 18 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896961341992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22058] ppid=22047 vsize=9624976 CPUtime=5.41 cores=0,2,4,6
/proc/22049/task/22058/stat : 22058 (java) S 22047 22049 21531 0 -1 4202560 3463 0 0 0 522 19 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896960288936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22059] ppid=22047 vsize=9624976 CPUtime=5.55 cores=0,2,4,6
/proc/22049/task/22059/stat : 22059 (java) S 22047 22049 21531 0 -1 4202560 3493 0 0 0 535 20 0 0 20 0 19 0 253319965 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896959236392 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22060] ppid=22047 vsize=9624976 CPUtime=7.9 cores=0,2,4,6
/proc/22049/task/22060/stat : 22060 (java) S 22047 22049 21531 0 -1 4202560 1382 0 0 0 779 11 0 0 20 0 19 0 253319966 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896476908392 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22049/tid=22061] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22061/stat : 22061 (java) S 22047 22049 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896475854712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22062] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22062/stat : 22062 (java) S 22047 22049 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319966 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896474801544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22063] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22063/stat : 22063 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896473750288 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22064] ppid=22047 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/22049/task/22064/stat : 22064 (java) S 22047 22049 21531 0 -1 4202560 2412 0 0 0 39 0 0 0 20 0 19 0 253319969 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896472697144 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22049/tid=22065] ppid=22047 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/22049/task/22065/stat : 22065 (java) S 22047 22049 21531 0 -1 4202560 9307 0 0 0 68 2 0 0 20 0 19 0 253319969 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896471644600 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22066] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22066/stat : 22066 (java) S 22047 22049 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319969 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896470591736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22049/tid=22067] ppid=22047 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22049/task/22067/stat : 22067 (java) S 22047 22049 21531 0 -1 4202560 101 0 0 0 22 22 0 0 20 0 19 0 253319969 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896469539400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22049/tid=22068] ppid=22047 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22049/task/22068/stat : 22068 (java) S 22047 22049 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253319995 9855975424 141100 33554432000 1073741824 1073778376 140733542571040 139896468485672 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 22049 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=969275
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=270654
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1768.65
CPU time (s): 1800.07
CPU user time (s): 1798.21
CPU system time (s): 1.86
CPU usage (%): 101.777
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 2.27065
maximum resident set size= 821516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39291
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58709
involuntary context switches= 73547

runsolver used 7.02993 second user time and 12.7151 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 17:05:46
IDJOB=3687517
IDBENCH=1851
IDSOLVER=2269
FILE ID=node132/3687517-1337871946
RUNJOBID= node132-1337871880-21547
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687517-1337871946/watcher-3687517-1337871946 -o /tmp/evaluation-result-3687517-1337871946/solver-3687517-1337871946 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687517-1337871946.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=152657804

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29122048 kB
Buffers:          205364 kB
Cached:          2698456 kB
SwapCached:            0 kB
Active:           737208 kB
Inactive:        2246896 kB
Active(anon):      82624 kB
Inactive(anon):        0 kB
Active(file):     654584 kB
Inactive(file):  2246896 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1108 kB
Writeback:             0 kB
AnonPages:         88576 kB
Mapped:            22644 kB
Shmem:               212 kB
Slab:             628388 kB
SReclaimable:      70468 kB
SUnreclaim:       557920 kB
KernelStack:        1608 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     694768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 71636 MiB
End job on node132 at 2012-05-24 17:35:17