Trace number 4116257

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1798.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-5.opb
MD5SUM969f655ceffdb0b5352b9f558494ef5a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4116257-1466959887.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.70/0.41	c ... done. Wall clock time 0.294s.
0.70/0.41	c declared #vars     4128
0.70/0.41	c #constraints  9952
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.70/0.41	c org.sat4j.specs.Constr$1 => 888
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.70/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.70/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.70/0.41	c 9952 constraints processed.
1.74/1.11	c cleaning 2498 clauses out of 4998 with flag 15515/5000
2.39/1.78	c cleaning 4249 clauses out of 8500 with flag 36959/11000
3.19/2.56	c cleaning 5601 clauses out of 11251 with flag 64168/18000
4.11/3.48	c cleaning 6820 clauses out of 13650 with flag 96936/26000
5.23/4.53	c cleaning 7892 clauses out of 15830 with flag 137518/35000
6.42/5.71	c cleaning 8951 clauses out of 17939 with flag 183656/45001
7.72/7.08	c cleaning 9988 clauses out of 19987 with flag 234782/56000
9.22/8.58	c cleaning 10993 clauses out of 21999 with flag 294984/68000
10.92/10.24	c cleaning 12004 clauses out of 24008 with flag 360445/81002
12.72/12.05	c cleaning 12996 clauses out of 26003 with flag 432874/95001
14.73/14.04	c cleaning 13976 clauses out of 28006 with flag 512637/110000
16.83/16.11	c cleaning 14984 clauses out of 30030 with flag 603540/126000
19.13/18.48	c cleaning 16005 clauses out of 32048 with flag 699427/143002
21.64/20.98	c cleaning 17008 clauses out of 34043 with flag 799644/161002
24.33/23.67	c cleaning 18017 clauses out of 36033 with flag 908965/180000
27.33/26.64	c cleaning 18973 clauses out of 38016 with flag 1024693/200000
30.44/29.75	c cleaning 19984 clauses out of 40045 with flag 1146627/221002
33.84/33.11	c cleaning 21021 clauses out of 42060 with flag 1278118/243001
37.43/36.75	c cleaning 22003 clauses out of 44039 with flag 1414219/266001
41.33/40.63	c cleaning 22990 clauses out of 46036 with flag 1557175/290001
45.33/44.70	c cleaning 23987 clauses out of 48047 with flag 1707878/315002
49.73/49.08	c cleaning 24999 clauses out of 50058 with flag 1864164/341000
54.23/53.58	c cleaning 26008 clauses out of 52059 with flag 2026807/368000
59.05/58.40	c cleaning 26985 clauses out of 54051 with flag 2196783/396000
63.85/63.15	c cleaning 27999 clauses out of 56066 with flag 2372657/425000
68.65/67.95	c cleaning 28976 clauses out of 58067 with flag 2556624/455000
73.85/73.12	c cleaning 30037 clauses out of 60091 with flag 2744671/486000
79.05/78.39	c cleaning 31014 clauses out of 62054 with flag 2941642/518000
84.65/83.97	c cleaning 32016 clauses out of 64041 with flag 3145735/551001
90.55/89.81	c cleaning 32981 clauses out of 66025 with flag 3356219/585001
96.75/96.07	c cleaning 33996 clauses out of 68044 with flag 3574202/620001
103.26/102.57	c cleaning 34999 clauses out of 70048 with flag 3798435/656001
109.96/109.28	c cleaning 36014 clauses out of 72048 with flag 4033415/693000
117.06/116.38	c cleaning 37007 clauses out of 74036 with flag 4273490/731002
124.45/123.78	c cleaning 37977 clauses out of 76027 with flag 4517531/770000
132.05/131.31	c cleaning 38994 clauses out of 78051 with flag 4769707/810001
139.95/139.26	c cleaning 40006 clauses out of 80056 with flag 5027271/851000
148.35/147.65	c cleaning 41018 clauses out of 82050 with flag 5290225/893000
157.15/156.41	c cleaning 41998 clauses out of 84033 with flag 5563762/936001
166.08/165.34	c cleaning 42975 clauses out of 86034 with flag 5843723/980000
174.98/174.21	c cleaning 43995 clauses out of 88060 with flag 6127677/1025001
184.18/183.46	c cleaning 44999 clauses out of 90064 with flag 6420898/1071000
193.67/192.99	c cleaning 46009 clauses out of 92066 with flag 6721599/1118001
203.47/202.75	c cleaning 46990 clauses out of 94056 with flag 7026692/1166000
213.68/212.99	c cleaning 48002 clauses out of 96066 with flag 7338103/1215000
224.37/223.65	c cleaning 48990 clauses out of 98064 with flag 7657453/1265000
235.67/234.90	c cleaning 50026 clauses out of 100076 with flag 7982845/1316002
246.96/246.29	c cleaning 51006 clauses out of 102048 with flag 8312271/1368000
258.77/258.05	c cleaning 51996 clauses out of 104042 with flag 8652010/1421000
271.07/270.34	c cleaning 53009 clauses out of 106047 with flag 8999234/1475001
283.52/282.71	c cleaning 54009 clauses out of 108037 with flag 9349469/1530000
296.21/295.47	c cleaning 54979 clauses out of 110028 with flag 9709376/1586000
309.22/308.48	c cleaning 56021 clauses out of 112049 with flag 10075638/1643000
322.73/321.94	c cleaning 56988 clauses out of 114028 with flag 10447944/1701000
336.44/335.63	c cleaning 57994 clauses out of 116040 with flag 10820980/1760000
350.83/350.09	c cleaning 58990 clauses out of 118048 with flag 11205636/1820002
365.73/364.95	c cleaning 59986 clauses out of 120056 with flag 11594288/1881000
380.83/380.06	c cleaning 61026 clauses out of 122070 with flag 11993195/1943000
396.54/395.76	c cleaning 62006 clauses out of 124046 with flag 12397157/2006002
412.15/411.36	c cleaning 62997 clauses out of 126039 with flag 12805418/2070001
428.16/427.39	c cleaning 64001 clauses out of 128041 with flag 13221135/2135000
444.78/443.92	c cleaning 65011 clauses out of 130042 with flag 13646226/2201002
461.69/460.89	c cleaning 65988 clauses out of 132029 with flag 14081927/2268000
479.19/478.37	c cleaning 66986 clauses out of 134041 with flag 14516245/2336000
497.49/496.67	c cleaning 68003 clauses out of 136055 with flag 14951606/2405000
515.80/514.97	c cleaning 68992 clauses out of 138052 with flag 15397410/2475000
535.15/534.22	c cleaning 70014 clauses out of 140061 with flag 15846786/2546001
554.86/553.92	c cleaning 70971 clauses out of 142046 with flag 16300099/2618000
574.96/574.05	c cleaning 72030 clauses out of 144075 with flag 16766259/2691000
595.36/594.44	c cleaning 73005 clauses out of 146045 with flag 17237619/2765000
616.67/615.79	c cleaning 74014 clauses out of 148041 with flag 17714907/2840001
638.17/637.27	c cleaning 74989 clauses out of 150027 with flag 18199067/2916001
660.38/659.46	c cleaning 75996 clauses out of 152037 with flag 18691759/2993000
683.18/682.14	c cleaning 76979 clauses out of 154041 with flag 19186658/3071000
706.68/705.68	c cleaning 78015 clauses out of 156063 with flag 19687247/3150001
730.39/729.34	c cleaning 79016 clauses out of 158047 with flag 20193818/3230000
754.99/753.94	c cleaning 79987 clauses out of 160031 with flag 20706666/3311000
780.39/779.31	c cleaning 80997 clauses out of 162044 with flag 21227102/3393000
806.09/805.07	c cleaning 81969 clauses out of 164048 with flag 21756674/3476001
832.28/831.13	c cleaning 83020 clauses out of 166078 with flag 22292459/3560000
858.88/857.75	c cleaning 84008 clauses out of 168058 with flag 22831324/3645000
886.29/885.19	c cleaning 85000 clauses out of 170051 with flag 23379777/3731001
914.01/912.87	c cleaning 85985 clauses out of 172051 with flag 23931898/3818001
942.52/941.37	c cleaning 87022 clauses out of 174065 with flag 24490325/3906000
971.53/970.30	c cleaning 87935 clauses out of 176044 with flag 25060884/3995001
1001.04/999.77	c cleaning 89019 clauses out of 178108 with flag 25636581/4085000
1031.05/1029.73	c cleaning 90035 clauses out of 180090 with flag 26214135/4176001
1061.76/1060.42	c cleaning 91013 clauses out of 182054 with flag 26796660/4268000
1093.26/1091.97	c cleaning 91960 clauses out of 184042 with flag 27380769/4361001
1125.75/1124.32	c cleaning 93015 clauses out of 186081 with flag 27977629/4455000
1157.75/1156.34	c cleaning 94006 clauses out of 188066 with flag 28580306/4550000
1191.16/1189.77	c cleaning 95031 clauses out of 190062 with flag 29185942/4646002
1225.08/1223.60	c cleaning 95997 clauses out of 192029 with flag 29801211/4743000
1259.73/1258.11	c cleaning 96978 clauses out of 194032 with flag 30420930/4841000
1294.94/1293.37	c cleaning 97991 clauses out of 196054 with flag 31045124/4940000
1331.25/1329.69	c cleaning 99032 clauses out of 198064 with flag 31674267/5040001
1368.86/1367.27	c cleaning 99987 clauses out of 200031 with flag 32315102/5141000
1406.13/1404.36	c cleaning 100978 clauses out of 202045 with flag 32961135/5243001
1444.84/1443.04	c cleaning 102033 clauses out of 204066 with flag 33610298/5346000
1484.25/1482.43	c cleaning 103007 clauses out of 206033 with flag 34266495/5450000
1524.28/1522.50	c cleaning 103993 clauses out of 208026 with flag 34936775/5555000
1564.89/1562.91	c cleaning 104991 clauses out of 210035 with flag 35609525/5661002
1606.18/1604.23	c cleaning 106005 clauses out of 212042 with flag 36287160/5768000
1648.67/1646.78	c cleaning 106994 clauses out of 214037 with flag 36964784/5876000
1691.79/1689.74	c cleaning 107999 clauses out of 216043 with flag 37652416/5985000
1735.68/1733.64	c cleaning 109013 clauses out of 218044 with flag 38340113/6095000
1780.07/1778.06	c cleaning 110003 clauses out of 220031 with flag 39045131/6206000
1800.07/1798.00	c starts		: 55927
1800.07/1798.00	c conflicts		: 6263363
1800.07/1798.00	c decisions		: 62854058
1800.07/1798.00	c propagations		: 870856748
1800.07/1798.00	c inspects		: 24344815345
1800.07/1798.00	c shortcuts		: 0
1800.07/1798.00	c learnt literals	: 2
1800.07/1798.00	c learnt binary clauses	: 43
1800.07/1798.00	c learnt ternary clauses	: 644
1800.07/1798.00	c learnt constraints	: 6263361
1800.07/1798.00	c ignored constraints	: 0
1800.07/1798.00	c root simplifications	: 0
1800.07/1798.00	c removed literals (reason simplification)	: 0
1800.07/1798.00	c reason swapping (by a shorter reason)	: 0
1800.07/1798.00	c Calls to reduceDB	: 107
1800.07/1798.00	c Number of update (reduction) of LBD	: 1312256
1800.07/1798.00	c Imported unit clauses	: 0
1800.07/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.00	c number of learned constraints concerned by reduction	: 0
1800.07/1798.00	c number of learning phase by resolution	: 0
1800.07/1798.00	c number of learning phase by cutting planes	: 0
1800.07/1798.00	c speed (assignments/second)	: 484458.74831093015
1800.07/1798.00	c non guided choices	11398
1800.07/1798.00	c timeout
1800.07/1798.03	c learnt constraints type 
1800.07/1798.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43
1800.07/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 167348
1800.07/1798.03	s UNKNOWN
1800.07/1798.03	c Total wall clock time (in seconds): 1797.915

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4116257-1466959887/watcher-4116257-1466959887 -o /tmp/evaluation-result-4116257-1466959887/solver-4116257-1466959887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116257-1466959887.opb 

pid=28817
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.11 2.12 2.11 3/194 28820
/proc/meminfo: memFree=31124916/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28820/stat : 28820 (java) D 28817 28820 26442 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 29026591 9515008 185 33554432000 1073741824 1073778376 140733742532192 140733742521256 206619897127 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2323 185 143 9 0 71 0

[startup+0.100157 s]
/proc/loadavg: 2.11 2.12 2.11 3/194 28820
/proc/meminfo: memFree=31124916/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 4472 0 1 0 8 1 0 0 20 0 18 0 29026591 9787879424 5582 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2389619 5582 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200324 s]
/proc/loadavg: 2.11 2.12 2.11 3/194 28820
/proc/meminfo: memFree=31124916/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 5020 0 1 0 25 2 0 0 20 0 18 0 29026591 9787879424 6541 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2389619 6541 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300342 s]
/proc/loadavg: 2.11 2.12 2.11 3/194 28820
/proc/meminfo: memFree=31124916/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 5925 0 1 0 47 2 0 0 20 0 18 0 29026591 9787879424 8555 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2389619 8555 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700292 s]
/proc/loadavg: 2.11 2.12 2.11 3/194 28820
/proc/meminfo: memFree=31124916/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 8780 0 1 0 129 2 0 0 20 0 19 0 29026591 9856040960 14704 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 14704 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.11 2.12 2.11 5/213 28839
/proc/meminfo: memFree=31074816/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 8797 0 1 0 214 2 0 0 20 0 19 0 29026591 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 15231 2269 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2479 0 1 0 145 1 0 0 20 0 19 0 29026592 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944468070936 139944340657376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29026594 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2644 0 0 0 32 0 0 0 20 0 19 0 29026597 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2397 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 15231 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.10 2.12 2.11 3/213 28839
/proc/meminfo: memFree=31072148/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 8805 0 1 0 378 2 0 0 20 0 19 0 29026591 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 15749 2270 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2481 0 1 0 305 1 0 0 20 0 19 0 29026592 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944468070904 139944340658177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29026594 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2402 0 0 0 36 0 0 0 20 0 19 0 29026597 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 15749 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625040

[startup+6.30091 s]
/proc/loadavg: 2.10 2.12 2.11 3/213 28839
/proc/meminfo: memFree=31064512/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=7.02 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 8814 0 1 0 700 2 0 0 20 0 19 0 29026591 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 17400 2271 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2486 0 1 0 624 1 0 0 20 0 19 0 29026592 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944468061888 139944340754996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29026593 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29026594 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2405 0 0 0 37 0 0 0 20 0 19 0 29026597 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 17400 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9625040


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

[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 87658 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1664.27
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.10 2.08 3/214 28972
/proc/meminfo: memFree=30779084/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=1724.38 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 10623 0 1 0 172381 57 0 0 20 0 19 0 29026591 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 90728 2285 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=1717.26 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2543 0 1 0 171697 29 0 0 20 0 19 0 29026592 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944468061984 139944340629695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 142 0 0 0 19 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 74 0 0 0 12 1 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 61 0 0 0 12 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 99 0 0 0 14 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 189 0 0 0 23 4 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 177 0 0 0 15 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 148 0 0 0 14 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 143 0 0 0 11 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 19 0 29026594 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2979 0 0 0 41 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 100 0 0 0 31 41 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.38
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.08 3/213 28973
/proc/meminfo: memFree=30779744/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=1784.37 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 10627 0 1 0 178378 59 0 0 20 0 19 0 29026591 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 90728 2285 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=1777.08 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2543 0 1 0 177678 30 0 0 20 0 19 0 29026592 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944468061984 139944340657940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 142 0 0 0 19 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 74 0 0 0 12 1 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 61 0 0 0 12 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 99 0 0 0 14 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 189 0 0 0 23 4 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 177 0 0 0 15 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 148 0 0 0 14 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 143 0 0 0 11 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 19 0 29026594 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2979 0 0 0 41 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 104 0 0 0 32 42 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.11 2.09 2.08 3/213 28973
/proc/meminfo: memFree=30779676/32872528 swapFree=552864/567172
[pid=28820] ppid=28817 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/28820/stat : 28820 (java) S 28817 28820 26442 0 -1 4202496 10627 0 1 0 179947 60 0 0 20 0 19 0 29026591 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 140733742523328 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28820/statm: 2406260 90728 2285 9 0 2396937 0
[pid=28820/tid=28822] ppid=28817 vsize=9625040 CPUtime=1792.73 cores=1,3,5,7
/proc/28820/task/28822/stat : 28822 (java) R 28817 28820 26442 0 -1 4202560 2543 0 1 0 179242 31 0 0 20 0 19 0 29026592 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944468061984 139944340697995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28823] ppid=28817 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/28820/task/28823/stat : 28823 (java) S 28817 28820 26442 0 -1 4202560 142 0 0 0 19 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944311683624 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28824] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28824/stat : 28824 (java) S 28817 28820 26442 0 -1 4202560 74 0 0 0 12 1 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944310630824 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28825] ppid=28817 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/28820/task/28825/stat : 28825 (java) S 28817 28820 26442 0 -1 4202560 61 0 0 0 12 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944309578024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28826] ppid=28817 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/28820/task/28826/stat : 28826 (java) S 28817 28820 26442 0 -1 4202560 99 0 0 0 14 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944308525224 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28827] ppid=28817 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/28820/task/28827/stat : 28827 (java) S 28817 28820 26442 0 -1 4202560 189 0 0 0 23 4 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944307473448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28820/tid=28828] ppid=28817 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/28820/task/28828/stat : 28828 (java) S 28817 28820 26442 0 -1 4202560 177 0 0 0 15 3 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944306420648 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28829] ppid=28817 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/28820/task/28829/stat : 28829 (java) S 28817 28820 26442 0 -1 4202560 148 0 0 0 14 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944305367848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28830] ppid=28817 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/28820/task/28830/stat : 28830 (java) S 28817 28820 26442 0 -1 4202560 143 0 0 0 11 2 0 0 20 0 19 0 29026593 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944304315048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28831] ppid=28817 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/28820/task/28831/stat : 28831 (java) S 28817 28820 26442 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 19 0 29026594 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944292116968 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28832] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28832/stat : 28832 (java) S 28817 28820 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944291063032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28833] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28833/stat : 28833 (java) S 28817 28820 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29026595 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944290010120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28834] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28834/stat : 28834 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944288958608 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28835] ppid=28817 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28820/task/28835/stat : 28835 (java) S 28817 28820 26442 0 -1 4202560 2645 0 0 0 34 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944287906744 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28820/tid=28836] ppid=28817 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/28820/task/28836/stat : 28836 (java) S 28817 28820 26442 0 -1 4202560 2979 0 0 0 41 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944286853944 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28837] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28837/stat : 28837 (java) S 28817 28820 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944285801336 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28820/tid=28838] ppid=28817 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/28820/task/28838/stat : 28838 (java) S 28817 28820 26442 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 19 0 29026597 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944284748744 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28820/tid=28839] ppid=28817 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28820/task/28839/stat : 28839 (java) S 28817 28820 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29026633 9856040960 90728 33554432000 1073741824 1073778376 140733742532192 139944283694248 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28820 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28820 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=898134
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=74836
# CPU time returned by wait4() is 1795.97
# 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): 1798.04
CPU time (s): 1800.07
CPU user time (s): 1799.47
CPU system time (s): 0.6
CPU usage (%): 100.113
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.9
system time used= 1.07484
maximum resident set size= 363032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38376
involuntary context switches= 13797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4044 second user time and 13.8609 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 18:51:27
IDJOB=4116257
IDBENCH=109447
IDSOLVER=2546
FILE ID=node138/4116257-1466959887
RUNJOBID= node138-1466940040-26459
PBS_JOBID= 19976338
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116257-1466959887/watcher-4116257-1466959887 -o /tmp/evaluation-result-4116257-1466959887/solver-4116257-1466959887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116257-1466959887.opb

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

MD5SUM BENCH= 969f655ceffdb0b5352b9f558494ef5a
RANDOM SEED=2093106399

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31125180 kB
Buffers:           24460 kB
Cached:           223452 kB
SwapCached:         3788 kB
Active:           253488 kB
Inactive:         226516 kB
Active(anon):     230008 kB
Inactive(anon):     4564 kB
Active(file):      23480 kB
Inactive(file):   221952 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:              1196 kB
Writeback:             0 kB
AnonPages:        796496 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             567092 kB
SReclaimable:      10448 kB
SUnreclaim:       556644 kB
KernelStack:        1568 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1252944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-26 19:21:25