Trace number 3710819

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
SAT4J PB specific settings 2.3.2 snapshot? (TO) 1800.08 1795.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.10	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3710819-1338153856.opb
0.11/0.11	c reading problem ... 
0.11/0.14	c ... done. Wall clock time 0.038s.
0.11/0.14	c declared #vars     61
0.11/0.14	c #constraints  15
0.11/0.14	c constraints type 
0.11/0.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.11/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.11/0.14	c 15 constraints processed.
0.64/0.46	c cleaning 2497 clauses out of 5000 with flag 5000/5000
1.05/0.73	c cleaning 4253 clauses out of 8506 with flag 11003/11003
1.35/1.05	c cleaning 5626 clauses out of 11251 with flag 18001/18001
1.76/1.49	c cleaning 6812 clauses out of 13624 with flag 26000/26000
2.28/1.98	c cleaning 7899 clauses out of 15812 with flag 35000/35000
2.90/2.58	c cleaning 8953 clauses out of 17914 with flag 45001/45001
3.63/3.22	c cleaning 9981 clauses out of 19962 with flag 56002/56002
4.24/3.88	c cleaning 10986 clauses out of 21979 with flag 68000/68000
5.04/4.66	c cleaning 11994 clauses out of 23993 with flag 81000/81000
5.87/5.45	c cleaning 12997 clauses out of 26000 with flag 95001/95001
6.86/6.44	c cleaning 14002 clauses out of 28003 with flag 110001/110001
8.07/7.62	c cleaning 14993 clauses out of 30000 with flag 126000/126000
9.18/8.73	c cleaning 16008 clauses out of 32016 with flag 143009/143009
10.39/9.96	c cleaning 16995 clauses out of 34001 with flag 161002/161002
11.70/11.21	c cleaning 17999 clauses out of 36006 with flag 180002/180002
13.20/12.72	c cleaning 18998 clauses out of 38005 with flag 200000/200000
14.71/14.20	c cleaning 19995 clauses out of 40008 with flag 221001/221001
16.11/15.66	c cleaning 21004 clauses out of 42014 with flag 243002/243002
18.03/17.58	c cleaning 22001 clauses out of 44008 with flag 266000/266000
20.13/19.69	c cleaning 23003 clauses out of 46009 with flag 290002/290002
22.36/21.84	c cleaning 24001 clauses out of 48006 with flag 315002/315002
24.58/24.08	c cleaning 25000 clauses out of 50004 with flag 341001/341001
27.00/26.49	c cleaning 25999 clauses out of 52006 with flag 368003/368003
29.91/29.32	c cleaning 27004 clauses out of 54008 with flag 396004/396004
32.33/31.74	c cleaning 27997 clauses out of 56002 with flag 425002/425002
34.94/34.37	c cleaning 29002 clauses out of 58003 with flag 455000/455000
37.46/36.90	c cleaning 30000 clauses out of 60001 with flag 486000/486000
40.59/39.93	c cleaning 31003 clauses out of 62005 with flag 518004/518004
43.41/42.76	c cleaning 31995 clauses out of 64000 with flag 551002/551002
47.23/46.55	c cleaning 33000 clauses out of 66004 with flag 585001/585001
50.84/50.17	c cleaning 33998 clauses out of 68003 with flag 620000/620000
54.84/54.18	c cleaning 35001 clauses out of 70005 with flag 656000/656000
58.85/58.18	c cleaning 36000 clauses out of 72006 with flag 693002/693002
62.86/62.17	c cleaning 36989 clauses out of 74004 with flag 731000/731000
67.37/66.61	c cleaning 38002 clauses out of 76016 with flag 770001/770001
70.71/69.97	c cleaning 39003 clauses out of 78014 with flag 810001/810001
74.22/73.49	c cleaning 40001 clauses out of 80010 with flag 851000/851000
77.93/77.10	c cleaning 41003 clauses out of 82009 with flag 893000/893000
81.35/80.56	c cleaning 41999 clauses out of 84006 with flag 936000/936000
84.96/84.13	c cleaning 42997 clauses out of 86007 with flag 980000/980000
89.48/88.61	c cleaning 43999 clauses out of 88010 with flag 1025000/1025000
94.12/93.25	c cleaning 45006 clauses out of 90012 with flag 1071001/1071001
98.74/97.81	c cleaning 45999 clauses out of 92006 with flag 1118001/1118001
103.15/102.28	c cleaning 46998 clauses out of 94007 with flag 1166001/1166001
108.07/107.18	c cleaning 48004 clauses out of 96012 with flag 1215004/1215004
113.38/112.48	c cleaning 48998 clauses out of 98004 with flag 1265000/1265000
118.79/117.85	c cleaning 49995 clauses out of 100006 with flag 1316000/1316000
124.53/123.57	c cleaning 51002 clauses out of 102013 with flag 1368002/1368002
129.96/128.94	c cleaning 52006 clauses out of 104012 with flag 1421003/1421003
135.39/134.31	c cleaning 52997 clauses out of 106003 with flag 1475000/1475000
141.20/140.17	c cleaning 54002 clauses out of 108012 with flag 1530006/1530006
148.63/147.54	c cleaning 55002 clauses out of 110004 with flag 1586000/1586000
154.88/153.77	c cleaning 55999 clauses out of 112005 with flag 1643003/1643003
161.50/160.30	c cleaning 56998 clauses out of 114004 with flag 1701001/1701001
167.61/166.40	c cleaning 57999 clauses out of 116007 with flag 1760002/1760002
173.14/171.94	c cleaning 59001 clauses out of 118008 with flag 1820002/1820002
179.97/178.78	c cleaning 60001 clauses out of 120005 with flag 1881000/1881000
186.28/185.08	c cleaning 60998 clauses out of 122006 with flag 1943002/1943002
193.88/192.67	c cleaning 62003 clauses out of 124008 with flag 2006002/2006002
202.13/200.81	c cleaning 62998 clauses out of 126003 with flag 2070000/2070000
209.95/208.64	c cleaning 64000 clauses out of 128005 with flag 2135000/2135000
219.08/217.73	c cleaning 64995 clauses out of 130005 with flag 2201000/2201000
227.91/226.59	c cleaning 66004 clauses out of 132013 with flag 2268003/2268003
236.96/235.55	c cleaning 67001 clauses out of 134013 with flag 2336007/2336007
245.00/243.54	c cleaning 67996 clauses out of 136005 with flag 2405000/2405000
254.12/252.66	c cleaning 69000 clauses out of 138010 with flag 2475001/2475001
265.04/263.53	c cleaning 69995 clauses out of 140010 with flag 2546001/2546001
277.37/275.87	c cleaning 71004 clauses out of 142014 with flag 2618000/2618000
289.31/287.74	c cleaning 72003 clauses out of 144016 with flag 2691006/2691006
301.83/300.30	c cleaning 73000 clauses out of 146009 with flag 2765002/2765002
313.79/312.19	c cleaning 74002 clauses out of 148010 with flag 2840003/2840003
326.05/324.38	c cleaning 75000 clauses out of 150006 with flag 2916001/2916001
338.88/337.12	c cleaning 75996 clauses out of 152005 with flag 2993000/2993000
348.11/346.34	c cleaning 77000 clauses out of 154010 with flag 3071001/3071001
355.83/354.03	c cleaning 78002 clauses out of 156010 with flag 3150001/3150001
363.94/362.18	c cleaning 79002 clauses out of 158008 with flag 3230001/3230001
373.49/371.63	c cleaning 80000 clauses out of 160005 with flag 3311000/3311000
384.22/382.36	c cleaning 80999 clauses out of 162006 with flag 3393001/3393001
392.24/390.31	c cleaning 81998 clauses out of 164009 with flag 3476003/3476003
402.66/400.72	c cleaning 82997 clauses out of 166010 with flag 3560002/3560002
413.01/411.02	c cleaning 83997 clauses out of 168014 with flag 3645003/3645003
424.47/422.41	c cleaning 85005 clauses out of 170017 with flag 3731003/3731003
436.50/434.49	c cleaning 86001 clauses out of 172012 with flag 3818003/3818003
449.01/446.91	c cleaning 87002 clauses out of 174008 with flag 3906000/3906000
461.64/459.52	c cleaning 87998 clauses out of 176008 with flag 3995002/3995002
475.79/473.63	c cleaning 89005 clauses out of 178012 with flag 4085004/4085004
491.03/488.84	c cleaning 89998 clauses out of 180003 with flag 4176000/4176000
507.78/505.50	c cleaning 91001 clauses out of 182011 with flag 4268006/4268006
523.14/520.83	c cleaning 91991 clauses out of 184004 with flag 4361000/4361000
538.96/536.69	c cleaning 93006 clauses out of 186013 with flag 4455000/4455000
555.63/553.22	c cleaning 94002 clauses out of 188011 with flag 4550004/4550004
571.84/569.48	c cleaning 94997 clauses out of 190005 with flag 4646000/4646000
588.37/585.95	c cleaning 95998 clauses out of 192010 with flag 4743002/4743002
606.81/604.33	c cleaning 97004 clauses out of 194012 with flag 4841002/4841002
625.14/622.67	c cleaning 98000 clauses out of 196008 with flag 4940002/4940002
642.97/640.45	c cleaning 98994 clauses out of 198008 with flag 5040002/5040002
662.34/659.75	c cleaning 99997 clauses out of 200012 with flag 5141000/5141000
681.28/678.69	c cleaning 101000 clauses out of 202015 with flag 5243000/5243000
701.96/699.22	c cleaning 102004 clauses out of 204016 with flag 5346001/5346001
719.01/716.29	c cleaning 103003 clauses out of 206011 with flag 5450000/5450000
734.63/731.89	c cleaning 103999 clauses out of 208008 with flag 5555000/5555000
752.38/749.54	c cleaning 104998 clauses out of 210010 with flag 5661001/5661001
771.61/768.70	c cleaning 105993 clauses out of 212012 with flag 5768001/5768001
791.55/788.67	c cleaning 107006 clauses out of 214019 with flag 5876001/5876001
813.30/810.35	c cleaning 107996 clauses out of 216013 with flag 5985001/5985001
836.03/833.04	c cleaning 109004 clauses out of 218017 with flag 6095001/6095001
858.16/855.15	c cleaning 110001 clauses out of 220012 with flag 6206000/6206000
878.91/875.81	c cleaning 111000 clauses out of 222012 with flag 6318001/6318001
899.78/896.68	c cleaning 111996 clauses out of 224012 with flag 6431001/6431001
924.33/921.12	c cleaning 113004 clauses out of 226015 with flag 6545000/6545000
950.69/947.40	c cleaning 113998 clauses out of 228011 with flag 6660000/6660000
978.44/975.13	c cleaning 115006 clauses out of 230017 with flag 6776004/6776004
999.29/995.90	c cleaning 116001 clauses out of 232007 with flag 6893000/6893000
1017.81/1014.41	c cleaning 116993 clauses out of 234008 with flag 7011002/7011002
1037.72/1034.35	c cleaning 118000 clauses out of 236013 with flag 7130000/7130000
1063.45/1060.02	c cleaning 118997 clauses out of 238013 with flag 7250000/7250000
1086.42/1082.94	c cleaning 119999 clauses out of 240017 with flag 7371001/7371001
1108.88/1105.34	c cleaning 121006 clauses out of 242023 with flag 7493006/7493006
1138.02/1134.41	c cleaning 122000 clauses out of 244011 with flag 7616000/7616000
1163.26/1159.65	c cleaning 123000 clauses out of 246011 with flag 7740000/7740000
1191.49/1187.86	c cleaning 123999 clauses out of 248011 with flag 7865000/7865000
1223.77/1220.08	c cleaning 124998 clauses out of 250012 with flag 7991000/7991000
1246.87/1243.06	c cleaning 126000 clauses out of 252014 with flag 8118000/8118000
1272.90/1269.05	c cleaning 127000 clauses out of 254015 with flag 8246001/8246001
1293.81/1289.91	c cleaning 127999 clauses out of 256014 with flag 8375000/8375000
1313.56/1309.61	c cleaning 129002 clauses out of 258017 with flag 8505002/8505002
1333.48/1329.52	c cleaning 130001 clauses out of 260013 with flag 8636000/8636000
1353.82/1349.83	c cleaning 131002 clauses out of 262013 with flag 8768001/8768001
1379.14/1375.10	c cleaning 132000 clauses out of 264010 with flag 8901000/8901000
1401.68/1397.67	c cleaning 133003 clauses out of 266010 with flag 9035000/9035000
1424.74/1420.65	c cleaning 134000 clauses out of 268007 with flag 9170000/9170000
1450.56/1446.41	c cleaning 134997 clauses out of 270009 with flag 9306002/9306002
1472.88/1468.78	c cleaning 136004 clauses out of 272010 with flag 9443000/9443000
1498.20/1494.04	c cleaning 136998 clauses out of 274006 with flag 9581000/9581000
1526.54/1522.32	c cleaning 137999 clauses out of 276008 with flag 9720000/9720000
1557.18/1552.93	c cleaning 139000 clauses out of 278011 with flag 9860002/9860002
1585.65/1581.40	c cleaning 140002 clauses out of 280009 with flag 10001000/10001000
1619.31/1614.91	c cleaning 141001 clauses out of 282007 with flag 10143000/10143000
1648.96/1644.55	c cleaning 141997 clauses out of 284006 with flag 10286000/10286000
1680.38/1675.93	c cleaning 143001 clauses out of 286012 with flag 10430003/10430003
1708.60/1704.11	c cleaning 144001 clauses out of 288010 with flag 10575002/10575002
1743.35/1738.82	c cleaning 144996 clauses out of 290008 with flag 10721001/10721001
1774.10/1769.57	c cleaning 146000 clauses out of 292012 with flag 10868001/10868001
1800.08/1795.41	c starts		: 321
1800.08/1795.41	c conflicts		: 10998698
1800.08/1795.41	c decisions		: 11247727
1800.08/1795.41	c propagations		: 85355765
1800.08/1795.41	c inspects		: 21721043396
1800.08/1795.41	c shortcuts		: 0
1800.08/1795.41	c learnt literals	: 0
1800.08/1795.41	c learnt binary clauses	: 0
1800.08/1795.41	c learnt ternary clauses	: 0
1800.08/1795.41	c learnt constraints	: 10998699
1800.08/1795.41	c ignored constraints	: 0
1800.08/1795.41	c root simplifications	: 321
1800.08/1795.41	c removed literals (reason simplification)	: 72560748
1800.08/1795.41	c reason swapping (by a shorter reason)	: 0
1800.08/1795.41	c Calls to reduceDB	: 143
1800.08/1795.41	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.41	c number of learned constraints concerned by reduction	: 0
1800.08/1795.41	c number of learning phase by resolution	: 0
1800.08/1795.41	c number of learning phase by cutting planes	: 0
1800.08/1795.41	c speed (assignments/second)	: 47544.9800140815
1800.08/1795.41	c non guided choices	29
1800.08/1795.45	c learnt constraints type 
1800.08/1795.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 276807
1800.08/1795.45	c constraints type 
1800.08/1795.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.08/1795.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
1800.08/1795.45	c 15 constraints processed.
1800.08/1795.45	s UNKNOWN
1800.08/1795.45	c Total wall clock time (in seconds): 1795.339

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-3710819-1338153856/watcher-3710819-1338153856 -o /tmp/evaluation-result-3710819-1338153856/solver-3710819-1338153856 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710819-1338153856.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 5676
/proc/meminfo: memFree=31658260/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5676/stat : 5676 (java) R 5674 5676 31461 0 -1 4202496 888 0 0 0 0 0 0 0 20 0 1 0 281511095 23793664 615 33554432000 1073741824 1073778376 140734586337440 140734586326504 260181113395 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 5809 630 468 9 0 128 0

[startup+0.0160209 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 5676
/proc/meminfo: memFree=31658260/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 2230 0 1 0 0 0 0 0 20 0 10 0 281511095 9231130624 2930 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2253694 2930 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100195 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 5676
/proc/meminfo: memFree=31658260/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 4378 0 1 0 10 1 0 0 20 0 18 0 281511095 9787842560 6096 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2389610 6096 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300245 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 5676
/proc/meminfo: memFree=31658260/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 6441 0 1 0 51 1 0 0 20 0 19 0 281511095 9856004096 8033 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 8033 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700129 s]
/proc/loadavg: 1.91 1.98 1.99 3/194 5676
/proc/meminfo: memFree=31658260/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 6996 0 1 0 103 2 0 0 20 0 19 0 281511095 9856004096 10271 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 10271 2273 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9625004

[startup+1.50496 s]
/proc/loadavg: 1.91 1.98 1.99 3/213 5695
/proc/meminfo: memFree=31623948/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 7028 0 1 0 186 2 0 0 20 0 19 0 281511095 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 11320 2274 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) S 5674 5676 31461 0 -1 4202560 2520 0 1 0 144 0 0 0 20 0 19 0 281511095 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321854452136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) R 5674 5676 31461 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281511097 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321207854448 140321858613542 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1916 0 0 0 16 0 0 0 20 0 19 0 281511100 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 11320 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625004

[startup+3.10056 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 5695
/proc/meminfo: memFree=31621528/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=3.52 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 7035 0 1 0 350 2 0 0 20 0 19 0 281511095 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 11324 2274 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) R 5674 5676 31461 0 -1 4202560 2523 0 1 0 300 0 0 0 20 0 19 0 281511095 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321854452016 140321699134950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) S 5674 5676 31461 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 281511097 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321207855592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1916 0 0 0 20 0 0 0 20 0 19 0 281511100 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 11324 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 5695
/proc/meminfo: memFree=31617192/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=6.76 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 7077 0 1 0 673 3 0 0 20 0 19 0 281511095 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 12381 2274 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=6.12 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) R 5674 5676 31461 0 -1 4202560 2528 0 1 0 612 0 0 0 20 0 19 0 281511095 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321854452016 140321699053009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281511096 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) S 5674 5676 31461 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 281511097 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321207855592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1916 0 0 0 20 0 0 0 20 0 19 0 281511100 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 12381 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 43276 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1935 0 0 0 22 0 0 0 20 0 19 0 281511100 9856004096 43276 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 43276 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 95 0 0 0 23 24 0 0 20 0 19 0 281511100 9856004096 43276 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 43276 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.78
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 5766
/proc/meminfo: memFree=31392912/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=1726.85 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 9532 0 1 0 172645 40 0 0 20 0 19 0 281511095 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 43788 2275 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=1711.16 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) R 5674 5676 31461 0 -1 4202560 2672 0 1 0 171089 27 0 0 20 0 19 0 281511095 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321854452016 140321699039208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 160 0 0 0 68 1 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 247 0 0 0 65 2 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 263 0 0 0 67 0 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 307 0 0 0 65 2 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 303 0 0 0 67 1 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 498 0 0 0 62 2 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 205 0 0 0 63 1 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 184 0 0 0 65 0 0 0 20 0 19 0 281511096 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=5.1 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) S 5674 5676 31461 0 -1 4202560 154 0 0 0 508 2 0 0 20 0 19 0 281511097 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321207855592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1935 0 0 0 22 0 0 0 20 0 19 0 281511100 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 99 0 0 0 24 25 0 0 20 0 19 0 281511100 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 43788 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.85
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 5777
/proc/meminfo: memFree=31387304/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=1786.96 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 9544 0 1 0 178655 41 0 0 20 0 19 0 281511095 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 44812 2275 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=1770.83 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) R 5674 5676 31461 0 -1 4202560 2674 0 1 0 177056 27 0 0 20 0 19 0 281511095 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321854452016 140321699053009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 160 0 0 0 70 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 247 0 0 0 67 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 263 0 0 0 70 0 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 307 0 0 0 66 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 303 0 0 0 70 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 498 0 0 0 65 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 205 0 0 0 65 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 184 0 0 0 66 0 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=5.22 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) S 5674 5676 31461 0 -1 4202560 160 0 0 0 520 2 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321207855592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1935 0 0 0 22 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 103 0 0 0 25 26 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.96
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 5777
/proc/meminfo: memFree=31387440/32873648 swapFree=7116/7116
[pid=5676] ppid=5674 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/5676/stat : 5676 (java) S 5674 5676 31461 0 -1 4202496 9544 0 1 0 179966 42 0 0 20 0 19 0 281511095 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140734586328576 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5676/statm: 2406251 44812 2275 9 0 2396937 0
[pid=5676/tid=5678] ppid=5674 vsize=9625004 CPUtime=1783.9 cores=1,3,5,7
/proc/5676/task/5678/stat : 5678 (java) R 5674 5676 31461 0 -1 4202560 2674 0 1 0 178362 28 0 0 20 0 19 0 281511095 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321854452016 140321699134978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5679] ppid=5674 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5676/task/5679/stat : 5679 (java) S 5674 5676 31461 0 -1 4202560 160 0 0 0 70 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321698437672 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5680] ppid=5674 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/5676/task/5680/stat : 5680 (java) S 5674 5676 31461 0 -1 4202560 247 0 0 0 67 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321697384872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5681] ppid=5674 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5676/task/5681/stat : 5681 (java) S 5674 5676 31461 0 -1 4202560 263 0 0 0 70 0 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321696332072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5682] ppid=5674 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5676/task/5682/stat : 5682 (java) S 5674 5676 31461 0 -1 4202560 307 0 0 0 66 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321695279272 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5683] ppid=5674 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5676/task/5683/stat : 5683 (java) S 5674 5676 31461 0 -1 4202560 303 0 0 0 70 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321694227496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5684] ppid=5674 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5676/task/5684/stat : 5684 (java) S 5674 5676 31461 0 -1 4202560 498 0 0 0 65 2 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321693174696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5685] ppid=5674 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5676/task/5685/stat : 5685 (java) S 5674 5676 31461 0 -1 4202560 205 0 0 0 65 1 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321692121896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5686] ppid=5674 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5676/task/5686/stat : 5686 (java) S 5674 5676 31461 0 -1 4202560 184 0 0 0 66 0 0 0 20 0 19 0 281511096 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321691069096 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5687] ppid=5674 vsize=9625004 CPUtime=5.22 cores=1,3,5,7
/proc/5676/task/5687/stat : 5687 (java) S 5674 5676 31461 0 -1 4202560 160 0 0 0 520 2 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321207855592 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5688] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5688/stat : 5688 (java) S 5674 5676 31461 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321206801656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5689] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5689/stat : 5689 (java) S 5674 5676 31461 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281511097 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321205748744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5690] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5690/stat : 5690 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511099 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321204697232 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5676/tid=5691] ppid=5674 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/5676/task/5691/stat : 5691 (java) S 5674 5676 31461 0 -1 4202560 1324 0 0 0 18 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321203645368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5676/tid=5692] ppid=5674 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/5676/task/5692/stat : 5692 (java) S 5674 5676 31461 0 -1 4202560 1935 0 0 0 22 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321202592568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5693] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5693/stat : 5693 (java) S 5674 5676 31461 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321201539960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5676/tid=5694] ppid=5674 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/5676/task/5694/stat : 5694 (java) S 5674 5676 31461 0 -1 4202560 103 0 0 0 25 26 0 0 20 0 19 0 281511100 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321200487368 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5676/tid=5695] ppid=5674 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5676/task/5695/stat : 5695 (java) S 5674 5676 31461 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281511110 9856004096 44812 33554432000 1073741824 1073778376 140734586337440 140321199432872 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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 5676 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=79106
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=791879
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.45
CPU time (s): 1800.08
CPU user time (s): 1799.66
CPU system time (s): 0.42
CPU usage (%): 100.258
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 0.791879
maximum resident set size= 181456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9589
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41893
involuntary context switches= 16058

runsolver used 6.00109 second user time and 15.1537 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 23:24:16
IDJOB=3710819
IDBENCH=2900
IDSOLVER=2289
FILE ID=node123/3710819-1338153856
RUNJOBID= node123-1338144817-4665
PBS_JOBID= 14624505
Free space on /tmp= 71684 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710819-1338153856/watcher-3710819-1338153856 -o /tmp/evaluation-result-3710819-1338153856/solver-3710819-1338153856 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710819-1338153856.opb

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

MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=1755604064

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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:        31658796 kB
Buffers:          161064 kB
Cached:           207200 kB
SwapCached:          956 kB
Active:           230072 kB
Inactive:         196152 kB
Active(anon):      50852 kB
Inactive(anon):     9080 kB
Active(file):     179220 kB
Inactive(file):   187072 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:               976 kB
Writeback:             0 kB
AnonPages:         63924 kB
Mapped:            18544 kB
Shmem:                 0 kB
Slab:             652112 kB
SReclaimable:      96276 kB
SUnreclaim:       555836 kB
KernelStack:        1600 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71684 MiB
End job on node123 at 2012-05-27 23:54:14