Trace number 3687507

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 1795.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1783.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3687507-1337871942.opb
0.07/0.12	c reading problem ... 
11.41/8.26	c ... done. Wall clock time 8.141s.
11.41/8.26	c declared #vars     1041679
11.41/8.26	c #constraints  160196
11.41/8.26	c constraints type 
11.41/8.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1563
11.41/8.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 1643
11.41/8.26	c ignored satisfied constraints => 1655
11.41/8.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
11.41/8.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 155612
11.41/8.26	c 161851 constraints processed.
11.41/8.26	c objective function length is 1611 literals
13.04/9.48	c cleaning 2501 clauses out of 5001 with flag 5001/5001
16.12/11.95	c cleaning 4247 clauses out of 8500 with flag 11001/11001
18.12/13.98	c cleaning 5625 clauses out of 11253 with flag 18001/18001
20.43/16.25	c cleaning 6809 clauses out of 13627 with flag 26000/26000
23.37/19.10	c cleaning 7905 clauses out of 15819 with flag 35001/35001
25.97/21.78	c cleaning 8957 clauses out of 17913 with flag 45000/45000
28.87/24.65	c cleaning 9978 clauses out of 19956 with flag 56000/56000
31.97/27.75	c cleaning 10986 clauses out of 21978 with flag 68000/68000
35.58/31.36	c cleaning 11994 clauses out of 23993 with flag 81001/81001
38.97/34.77	c cleaning 12996 clauses out of 25998 with flag 95000/95000
42.68/38.49	c cleaning 13997 clauses out of 28003 with flag 110001/110001
46.67/42.42	c cleaning 15001 clauses out of 30005 with flag 126000/126000
51.07/46.89	c cleaning 16000 clauses out of 32004 with flag 143000/143000
55.47/51.28	c cleaning 16998 clauses out of 34005 with flag 161001/161001
60.07/55.81	c cleaning 18000 clauses out of 36006 with flag 180000/180000
64.87/60.68	c cleaning 19003 clauses out of 38006 with flag 200000/200000
70.07/65.88	c cleaning 19999 clauses out of 40003 with flag 221000/221000
75.47/71.20	c cleaning 20999 clauses out of 42005 with flag 243001/243001
81.28/77.08	c cleaning 21999 clauses out of 44006 with flag 266001/266001
87.37/83.10	c cleaning 22999 clauses out of 46007 with flag 290001/290001
93.47/89.21	c cleaning 24002 clauses out of 48008 with flag 315001/315001
99.87/95.61	c cleaning 25001 clauses out of 50007 with flag 341002/341002
106.27/102.08	c cleaning 26001 clauses out of 52004 with flag 368000/368000
112.96/108.80	c cleaning 27000 clauses out of 54003 with flag 396000/396000
119.96/115.73	c cleaning 27998 clauses out of 56003 with flag 425000/425000
127.37/123.19	c cleaning 28998 clauses out of 58006 with flag 455001/455001
135.07/130.88	c cleaning 29999 clauses out of 60007 with flag 486000/486000
143.36/139.17	c cleaning 31002 clauses out of 62008 with flag 518000/518000
151.46/147.26	c cleaning 31999 clauses out of 64006 with flag 551000/551000
159.10/154.82	c cleaning 32992 clauses out of 66007 with flag 585000/585000
166.79/162.50	c cleaning 34001 clauses out of 68015 with flag 620000/620000
175.39/171.11	c cleaning 35004 clauses out of 70015 with flag 656001/656001
184.69/180.44	c cleaning 36000 clauses out of 72010 with flag 693000/693000
193.99/189.79	c cleaning 36998 clauses out of 74011 with flag 731001/731001
203.99/199.72	c cleaning 38003 clauses out of 76012 with flag 770000/770000
213.79/209.53	c cleaning 39003 clauses out of 78009 with flag 810000/810000
222.69/218.43	c cleaning 39997 clauses out of 80008 with flag 851002/851002
231.21/226.98	c cleaning 41005 clauses out of 82009 with flag 893000/893000
240.90/236.66	c cleaning 42001 clauses out of 84004 with flag 936000/936000
250.71/246.44	c cleaning 42996 clauses out of 86003 with flag 980000/980000
262.00/257.71	c cleaning 44000 clauses out of 88007 with flag 1025000/1025000
272.90/268.69	c cleaning 44997 clauses out of 90008 with flag 1071001/1071001
285.19/280.94	c cleaning 46004 clauses out of 92011 with flag 1118001/1118001
298.09/293.83	c cleaning 46998 clauses out of 94006 with flag 1166000/1166000
311.20/306.97	c cleaning 47999 clauses out of 96008 with flag 1215000/1215000
324.69/320.46	c cleaning 49003 clauses out of 98009 with flag 1265000/1265000
338.59/334.38	c cleaning 49998 clauses out of 100006 with flag 1316000/1316000
350.48/346.26	c cleaning 51003 clauses out of 102008 with flag 1368000/1368000
364.68/360.45	c cleaning 51997 clauses out of 104005 with flag 1421000/1421000
378.99/374.76	c cleaning 53002 clauses out of 106008 with flag 1475000/1475000
393.99/389.80	c cleaning 54001 clauses out of 108007 with flag 1530001/1530001
409.09/404.87	c cleaning 54999 clauses out of 110005 with flag 1586000/1586000
422.48/418.26	c cleaning 56003 clauses out of 112006 with flag 1643000/1643000
435.18/430.91	c cleaning 56982 clauses out of 114003 with flag 1701000/1701000
446.87/442.63	c cleaning 57968 clauses out of 116022 with flag 1760001/1760001
460.97/456.79	c cleaning 58988 clauses out of 118054 with flag 1820001/1820001
473.57/469.35	c cleaning 60025 clauses out of 120066 with flag 1881001/1881001
490.17/485.99	c cleaning 61007 clauses out of 122040 with flag 1943000/1943000
504.88/500.62	c cleaning 62012 clauses out of 124033 with flag 2006000/2006000
518.47/514.20	c cleaning 63005 clauses out of 126020 with flag 2070000/2070000
532.18/527.98	c cleaning 63995 clauses out of 128015 with flag 2135000/2135000
546.67/542.47	c cleaning 65011 clauses out of 130021 with flag 2201001/2201001
563.07/558.86	c cleaning 66005 clauses out of 132010 with flag 2268001/2268001
581.26/577.06	c cleaning 66999 clauses out of 134005 with flag 2336001/2336001
600.67/596.49	c cleaning 68000 clauses out of 136005 with flag 2405000/2405000
618.78/614.56	c cleaning 68997 clauses out of 138006 with flag 2475001/2475001
638.67/634.40	c cleaning 70002 clauses out of 140008 with flag 2546000/2546000
655.66/651.40	c cleaning 70992 clauses out of 142006 with flag 2618000/2618000
675.76/671.59	c cleaning 72008 clauses out of 144015 with flag 2691001/2691001
694.45/690.24	c cleaning 72985 clauses out of 146007 with flag 2765001/2765001
709.75/705.56	c cleaning 73982 clauses out of 148021 with flag 2840000/2840000
728.75/724.60	c cleaning 75011 clauses out of 150040 with flag 2916001/2916001
749.95/745.74	c cleaning 76009 clauses out of 152029 with flag 2993001/2993001
767.55/763.32	c cleaning 77010 clauses out of 154023 with flag 3071004/3071004
787.84/783.64	c cleaning 78004 clauses out of 156009 with flag 3150000/3150000
807.64/803.45	c cleaning 78995 clauses out of 158005 with flag 3230000/3230000
830.74/826.58	c cleaning 80000 clauses out of 160011 with flag 3311001/3311001
854.24/850.07	c cleaning 81003 clauses out of 162011 with flag 3393001/3393001
875.45/871.24	c cleaning 82000 clauses out of 164008 with flag 3476001/3476001
898.85/894.62	c cleaning 82996 clauses out of 166007 with flag 3560000/3560000
922.04/917.83	c cleaning 84004 clauses out of 168011 with flag 3645000/3645000
942.94/938.78	c cleaning 85003 clauses out of 170007 with flag 3731000/3731000
969.14/964.91	c cleaning 86001 clauses out of 172005 with flag 3818001/3818001
996.75/992.59	c cleaning 87002 clauses out of 174004 with flag 3906001/3906001
1021.85/1017.65	c cleaning 87998 clauses out of 176001 with flag 3995000/3995000
1043.65/1039.43	c cleaning 88999 clauses out of 178003 with flag 4085000/4085000
1070.94/1066.76	c cleaning 89999 clauses out of 180004 with flag 4176000/4176000
1097.23/1093.00	c cleaning 90999 clauses out of 182005 with flag 4268000/4268000
1124.24/1120.00	c cleaning 91997 clauses out of 184006 with flag 4361000/4361000
1152.54/1148.39	c cleaning 93004 clauses out of 186010 with flag 4455001/4455001
1176.75/1172.50	c cleaning 94002 clauses out of 188005 with flag 4550000/4550000
1197.44/1193.25	c cleaning 94996 clauses out of 190004 with flag 4646001/4646001
1225.44/1221.23	c cleaning 96000 clauses out of 192007 with flag 4743000/4743000
1251.24/1247.01	c cleaning 97002 clauses out of 194007 with flag 4841000/4841000
1274.64/1270.44	c cleaning 97978 clauses out of 196005 with flag 4940000/4940000
1293.93/1289.73	c cleaning 98948 clauses out of 198027 with flag 5040000/5040000
1315.23/1311.04	c cleaning 99962 clauses out of 200080 with flag 5141001/5141001
1337.54/1333.34	c cleaning 101059 clauses out of 202118 with flag 5243001/5243001
1360.54/1356.39	c cleaning 101995 clauses out of 204059 with flag 5346001/5346001
1389.23/1385.00	c cleaning 103022 clauses out of 206063 with flag 5450000/5450000
1420.83/1416.68	c cleaning 104018 clauses out of 208042 with flag 5555001/5555001
1447.64/1443.49	c cleaning 104970 clauses out of 210023 with flag 5661000/5661000
1484.54/1480.39	c cleaning 106017 clauses out of 212054 with flag 5768001/5768001
1519.54/1515.32	c cleaning 107011 clauses out of 214037 with flag 5876001/5876001
1554.93/1550.72	c cleaning 108005 clauses out of 216033 with flag 5985008/5985008
1599.34/1595.15	c cleaning 108980 clauses out of 218021 with flag 6095001/6095001
1633.65/1629.44	c cleaning 109997 clauses out of 220041 with flag 6206001/6206001
1667.95/1663.75	c cleaning 110996 clauses out of 222043 with flag 6318000/6318000
1707.15/1702.91	c cleaning 112003 clauses out of 224047 with flag 6431000/6431000
1739.85/1735.68	c cleaning 113003 clauses out of 226047 with flag 6545003/6545003
1778.06/1773.90	c cleaning 113997 clauses out of 228041 with flag 6660000/6660000
1800.07/1795.81	c starts		: 276
1800.07/1795.81	c conflicts		: 6740265
1800.07/1795.81	c decisions		: 14670187
1800.07/1795.81	c propagations		: 328012397
1800.07/1795.81	c inspects		: 12018260798
1800.07/1795.81	c shortcuts		: 0
1800.07/1795.81	c learnt literals	: 1
1800.07/1795.81	c learnt binary clauses	: 683
1800.07/1795.81	c learnt ternary clauses	: 167
1800.07/1795.81	c learnt constraints	: 6740264
1800.07/1795.81	c ignored constraints	: 0
1800.07/1795.81	c root simplifications	: 0
1800.07/1795.81	c removed literals (reason simplification)	: 0
1800.07/1795.81	c reason swapping (by a shorter reason)	: 0
1800.07/1795.81	c Calls to reduceDB	: 111
1800.07/1795.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.81	c number of learned constraints concerned by reduction	: 0
1800.07/1795.81	c number of learning phase by resolution	: 0
1800.07/1795.81	c number of learning phase by cutting planes	: 0
1800.07/1795.81	c speed (assignments/second)	: 183512.67923979388
1800.07/1795.81	c non guided choices	5109758
1800.07/1795.84	c learnt constraints type 
1800.07/1795.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 683
1800.07/1795.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 193696
1800.07/1795.84	c constraints type 
1800.07/1795.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1563
1800.07/1795.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1643
1800.07/1795.84	c ignored satisfied constraints => 1655
1800.07/1795.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
1800.07/1795.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 155612
1800.07/1795.84	c 161851 constraints processed.
1800.07/1795.84	s UNKNOWN
1800.07/1795.84	c Total wall clock time (in seconds): 1795.715

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-3687507-1337871942/watcher-3687507-1337871942 -o /tmp/evaluation-result-3687507-1337871942/solver-3687507-1337871942 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687507-1337871942.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.40 0.41 0.14 3/194 22812
/proc/meminfo: memFree=27969928/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/22812/stat : 22812 (java) D 22810 22812 22635 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 253321224 2560000 46 33554432000 1073741824 1073778376 140735650409504 140735650406632 213183982887 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/22812/statm: 625 46 37 9 0 29 0

[startup+0.0458621 s]
/proc/loadavg: 1.40 0.41 0.14 3/194 22812
/proc/meminfo: memFree=27969928/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 3003 0 1 0 1 1 0 0 20 0 13 0 253321224 9446973440 3703 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2306390 3703 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100195 s]
/proc/loadavg: 1.40 0.41 0.14 3/194 22812
/proc/meminfo: memFree=27969928/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 4011 0 1 0 6 1 0 0 20 0 18 0 253321224 9787813888 5214 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 5221 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.30027 s]
/proc/loadavg: 1.40 0.41 0.14 3/194 22812
/proc/meminfo: memFree=27969928/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 7410 0 1 0 45 2 0 0 20 0 18 0 253321224 9787813888 15521 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 15521 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700273 s]
/proc/loadavg: 1.40 0.41 0.14 3/194 22812
/proc/meminfo: memFree=27969928/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=1.31 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 12834 0 1 0 124 7 0 0 20 0 18 0 253321224 9787813888 53951 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 53951 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9558412

[startup+1.50061 s]
/proc/loadavg: 1.40 0.41 0.14 3/212 22830
/proc/meminfo: memFree=27712536/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=2.74 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 14650 0 1 0 254 20 0 0 20 0 18 0 253321224 9787813888 108953 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 108953 2247 9 0 2380296 0
[pid=22812/tid=22814] ppid=22810 vsize=9558412 CPUtime=1.28 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) S 22810 22812 22635 0 -1 4202560 2596 0 1 0 123 5 0 0 20 0 18 0 253321226 9787813888 108953 33554432000 1073741824 1073778376 140734708474608 140364836285640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) R 22810 22812 22635 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364680280792 140364838758073 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) R 22810 22812 22635 0 -1 4202560 172 0 0 0 4 1 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364679227992 140364840043660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) R 22810 22812 22635 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364678175192 140364843182928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9558412 CPUtime=0.16 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) R 22810 22812 22635 0 -1 4202560 179 0 0 0 12 4 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364677122392 140364838758073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) R 22810 22812 22635 0 -1 4202560 53 0 0 0 7 2 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364676070320 140364838758089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) R 22810 22812 22635 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364675017816 140364838758089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) R 22810 22812 22635 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364673965016 140364843183179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) R 22810 22812 22635 0 -1 4202560 149 0 0 0 6 3 0 0 20 0 18 0 253321227 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364672912216 140364838758089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253321228 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364660499848 213196518460 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9558412 CPUtime=0.38 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4359 0 0 0 38 0 0 0 20 0 18 0 253321231 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9558412 CPUtime=0.36 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5790 0 0 0 35 1 0 0 20 0 18 0 253321231 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321232 9787813888 109465 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9558412

[startup+3.10074 s]
/proc/loadavg: 1.40 0.41 0.14 3/212 22830
/proc/meminfo: memFree=27446484/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=5.31 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 17504 0 1 0 479 52 0 0 20 0 18 0 253321224 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 332290 2255 9 0 2380296 0
[pid=22812/tid=22814] ppid=22810 vsize=9558412 CPUtime=2.53 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) R 22810 22812 22635 0 -1 4202560 3590 0 1 0 238 15 0 0 20 0 18 0 253321226 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364836285456 140364844051553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9558412 CPUtime=0.21 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) S 22810 22812 22635 0 -1 4202560 103 0 0 0 17 4 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364680280616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9558412 CPUtime=0.17 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) S 22810 22812 22635 0 -1 4202560 501 0 0 0 14 3 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364679227816 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9558412 CPUtime=0.2 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) S 22810 22812 22635 0 -1 4202560 120 0 0 0 16 4 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364678175016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9558412 CPUtime=0.35 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) S 22810 22812 22635 0 -1 4202560 271 0 0 0 29 6 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364677122216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9558412 CPUtime=0.24 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) S 22810 22812 22635 0 -1 4202560 115 0 0 0 19 5 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364676070440 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) S 22810 22812 22635 0 -1 4202560 122 0 0 0 21 4 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364675017640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9558412 CPUtime=0.16 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) S 22810 22812 22635 0 -1 4202560 86 0 0 0 13 3 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364673964840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) S 22810 22812 22635 0 -1 4202560 252 0 0 0 21 6 0 0 20 0 18 0 253321227 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364672912040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 1022 0 0 0 0 0 0 0 20 0 18 0 253321228 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364660500968 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9558412 CPUtime=0.38 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4359 0 0 0 38 0 0 0 20 0 18 0 253321231 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9558412 CPUtime=0.36 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5790 0 0 0 35 1 0 0 20 0 18 0 253321231 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321232 9787813888 332290 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 9558412

[startup+6.30067 s]
/proc/loadavg: 1.53 0.45 0.15 3/212 22830
/proc/meminfo: memFree=25159316/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9558412 CPUtime=8.9 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 18713 0 1 0 814 76 0 0 20 0 18 0 253321224 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2389603 703351 2261 9 0 2380296 0
[pid=22812/tid=22814] ppid=22810 vsize=9558412 CPUtime=5.61 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) R 22810 22812 22635 0 -1 4202560 4308 0 1 0 523 38 0 0 20 0 18 0 253321226 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364836278256 140364709237301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) S 22810 22812 22635 0 -1 4202560 197 0 0 0 23 5 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364680280616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) S 22810 22812 22635 0 -1 4202560 509 0 0 0 21 4 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364679227816 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9558412 CPUtime=0.25 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) S 22810 22812 22635 0 -1 4202560 210 0 0 0 20 5 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364678175016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) S 22810 22812 22635 0 -1 4202560 286 0 0 0 33 7 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364677122216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9558412 CPUtime=0.26 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) S 22810 22812 22635 0 -1 4202560 121 0 0 0 21 5 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364676070440 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9558412 CPUtime=0.3 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) S 22810 22812 22635 0 -1 4202560 134 0 0 0 25 5 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364675017640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9558412 CPUtime=0.21 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) S 22810 22812 22635 0 -1 4202560 101 0 0 0 18 3 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364673964840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9558412 CPUtime=0.32 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) S 22810 22812 22635 0 -1 4202560 257 0 0 0 26 6 0 0 20 0 18 0 253321227 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364672912040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 1262 0 0 0 0 0 0 0 20 0 18 0 253321228 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364660500968 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253321229 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4365 0 0 0 48 0 0 0 20 0 18 0 253321231 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9558412 CPUtime=0.4 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5790 0 0 0 39 1 0 0 20 0 18 0 253321231 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321231 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253321232 9787813888 703351 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 9558412

[startup+12.7008 s]
/proc/loadavg: 1.57 0.47 0.16 3/213 22831
/proc/meminfo: memFree=24693396/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9624976 CPUtime=16.92 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 29908 0 1 0 1587 105 0 0 20 0 19 0 253321224 9855975424 788924 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2406244 788924 2279 9 0 2396937 0
[pid=22812/tid=22814] ppid=22810 vsize=9624976 CPUtime=9.59 cores=0,2,4,6

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

[pid=22812/tid=22827] ppid=22810 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4370 0 0 0 77 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5807 0 0 0 84 2 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9624976 CPUtime=0.35 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 95 0 0 0 16 19 0 0 20 0 19 0 253321232 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22831] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22831/stat : 22831 (java) S 22810 22812 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322065 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364652078248 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.55
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.73 2.24 1.80 3/213 22905
/proc/meminfo: memFree=25258560/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9624976 CPUtime=1726.55 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 30225 0 1 0 172534 121 0 0 20 0 19 0 253321224 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2406244 788925 2280 9 0 2396937 0
[pid=22812/tid=22814] ppid=22810 vsize=9624976 CPUtime=1605.63 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) R 22810 22812 22635 0 -1 4202560 4430 0 1 0 160499 64 0 0 20 0 19 0 253321226 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364836286752 140364709713393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) S 22810 22812 22635 0 -1 4202560 940 0 0 0 36 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364680280616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) S 22810 22812 22635 0 -1 4202560 1675 0 0 0 35 7 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364679227816 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) S 22810 22812 22635 0 -1 4202560 713 0 0 0 35 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364678175016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) S 22810 22812 22635 0 -1 4202560 1100 0 0 0 52 11 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364677122216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) S 22810 22812 22635 0 -1 4202560 1321 0 0 0 33 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364676070440 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) S 22810 22812 22635 0 -1 4202560 1703 0 0 0 37 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364675017640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) S 22810 22812 22635 0 -1 4202560 1137 0 0 0 31 6 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364673964840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) S 22810 22812 22635 0 -1 4202560 1564 0 0 0 39 10 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364672912040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9624976 CPUtime=111.01 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 4186 0 0 0 11099 2 0 0 20 0 19 0 253321228 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364660500968 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4370 0 0 0 77 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5808 0 0 0 84 2 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 99 0 0 0 17 19 0 0 20 0 19 0 253321232 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22831] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22831/stat : 22831 (java) S 22810 22812 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322065 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364652078248 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.55
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.27 2.19 1.82 3/213 22906
/proc/meminfo: memFree=25202084/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9624976 CPUtime=1786.56 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 30235 0 1 0 178534 122 0 0 20 0 19 0 253321224 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2406244 788925 2280 9 0 2396937 0
[pid=22812/tid=22814] ppid=22810 vsize=9624976 CPUtime=1663.4 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) R 22810 22812 22635 0 -1 4202560 4432 0 1 0 166275 65 0 0 20 0 19 0 253321226 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364836286752 140364709525401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) S 22810 22812 22635 0 -1 4202560 940 0 0 0 36 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364680280616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) S 22810 22812 22635 0 -1 4202560 1675 0 0 0 35 7 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364679227816 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) S 22810 22812 22635 0 -1 4202560 713 0 0 0 35 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364678175016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) S 22810 22812 22635 0 -1 4202560 1100 0 0 0 52 11 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364677122216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) S 22810 22812 22635 0 -1 4202560 1321 0 0 0 33 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364676070440 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) S 22810 22812 22635 0 -1 4202560 1703 0 0 0 37 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364675017640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) S 22810 22812 22635 0 -1 4202560 1137 0 0 0 31 6 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364673964840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) S 22810 22812 22635 0 -1 4202560 1564 0 0 0 39 10 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364672912040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9624976 CPUtime=113.09 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 4190 0 0 0 11306 3 0 0 20 0 19 0 253321228 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364660500968 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4370 0 0 0 77 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5808 0 0 0 84 2 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 103 0 0 0 18 20 0 0 20 0 19 0 253321232 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22831] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22831/stat : 22831 (java) S 22810 22812 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322065 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364652078248 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.21 2.18 1.82 3/213 22906
/proc/meminfo: memFree=25199916/32873648 swapFree=6848/6848
[pid=22812] ppid=22810 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22812/stat : 22812 (java) S 22810 22812 22635 0 -1 4202496 30235 0 1 0 179885 122 0 0 20 0 19 0 253321224 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140734708465744 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22812/statm: 2406244 788925 2280 9 0 2396937 0
[pid=22812/tid=22814] ppid=22810 vsize=9624976 CPUtime=1676.87 cores=0,2,4,6
/proc/22812/task/22814/stat : 22814 (java) R 22810 22812 22635 0 -1 4202560 4432 0 1 0 167622 65 0 0 20 0 19 0 253321226 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364836286752 140364709483120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22815] ppid=22810 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22812/task/22815/stat : 22815 (java) S 22810 22812 22635 0 -1 4202560 940 0 0 0 36 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364680280616 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22816] ppid=22810 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/22812/task/22816/stat : 22816 (java) S 22810 22812 22635 0 -1 4202560 1675 0 0 0 35 7 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364679227816 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22817] ppid=22810 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/22812/task/22817/stat : 22817 (java) S 22810 22812 22635 0 -1 4202560 713 0 0 0 35 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364678175016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22818] ppid=22810 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22812/task/22818/stat : 22818 (java) S 22810 22812 22635 0 -1 4202560 1100 0 0 0 52 11 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364677122216 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22819] ppid=22810 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/22812/task/22819/stat : 22819 (java) S 22810 22812 22635 0 -1 4202560 1321 0 0 0 33 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364676070440 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22820] ppid=22810 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/22812/task/22820/stat : 22820 (java) S 22810 22812 22635 0 -1 4202560 1703 0 0 0 37 8 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364675017640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22821] ppid=22810 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/22812/task/22821/stat : 22821 (java) S 22810 22812 22635 0 -1 4202560 1137 0 0 0 31 6 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364673964840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22822] ppid=22810 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22812/task/22822/stat : 22822 (java) S 22810 22812 22635 0 -1 4202560 1564 0 0 0 39 10 0 0 20 0 19 0 253321227 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364672912040 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22823] ppid=22810 vsize=9624976 CPUtime=113.09 cores=0,2,4,6
/proc/22812/task/22823/stat : 22823 (java) S 22810 22812 22635 0 -1 4202560 4190 0 0 0 11306 3 0 0 20 0 19 0 253321228 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364660500968 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22824] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22824/stat : 22824 (java) S 22810 22812 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364659447032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22825] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22825/stat : 22825 (java) S 22810 22812 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253321229 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364658394120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22826] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22826/stat : 22826 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364657342608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22827] ppid=22810 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/22812/task/22827/stat : 22827 (java) S 22810 22812 22635 0 -1 4202560 4370 0 0 0 77 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364656290744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22812/tid=22828] ppid=22810 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22812/task/22828/stat : 22828 (java) S 22810 22812 22635 0 -1 4202560 5808 0 0 0 84 2 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364655237944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22812/tid=22829] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22829/stat : 22829 (java) S 22810 22812 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253321231 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364654185336 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22812/tid=22830] ppid=22810 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22812/task/22830/stat : 22830 (java) S 22810 22812 22635 0 -1 4202560 103 0 0 0 18 20 0 0 20 0 19 0 253321232 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364653132744 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22812/tid=22831] ppid=22810 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22812/task/22831/stat : 22831 (java) S 22810 22812 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322065 9855975424 788925 33554432000 1073741824 1073778376 140734708474608 140364652078248 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 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 22812 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=248232
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=712739
# CPU time returned by wait4() is 1795.96
# 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): 1795.86
CPU time (s): 1800.07
CPU user time (s): 1798.85
CPU system time (s): 1.22
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.71274
maximum resident set size= 3166336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30274
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39440
involuntary context switches= 11328

runsolver used 6.36003 second user time and 13.403 second system time

The end

Launcher Data

Begin job on node113 at 2012-05-24 17:05:44
IDJOB=3687507
IDBENCH=1845
IDSOLVER=2269
FILE ID=node113/3687507-1337871942
RUNJOBID= node113-1337871880-22652
PBS_JOBID= 14620091
Free space on /tmp= 71652 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687507-1337871942/watcher-3687507-1337871942 -o /tmp/evaluation-result-3687507-1337871942/solver-3687507-1337871942 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687507-1337871942.opb

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

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=1647376675

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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:       32873648 kB
MemFree:        27969936 kB
Buffers:          206092 kB
Cached:          3412420 kB
SwapCached:            0 kB
Active:          1109572 kB
Inactive:        3005384 kB
Active(anon):     499260 kB
Inactive(anon):        0 kB
Active(file):     610312 kB
Inactive(file):  3005384 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36192 kB
Writeback:             0 kB
AnonPages:        521952 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             634176 kB
SReclaimable:      78004 kB
SUnreclaim:       556172 kB
KernelStack:        1592 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     825028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    483328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node113 at 2012-05-24 17:35:42