Trace number 4109006

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.08 1797.06

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-89.opb
MD5SUM5e35cfce24461785d6d1180987ae518e
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 variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.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-4109006-1466293436.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
2.27/1.67	c ... done. Wall clock time 1.556s.
2.27/1.67	c declared #vars     10086
2.27/1.67	c #constraints  226608
2.27/1.67	c constraints type 
2.27/1.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 155859
2.27/1.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
2.27/1.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47809
2.27/1.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22218
2.27/1.67	c 226608 constraints processed.
4.49/3.40	c cleaning 2495 clauses out of 4994 with flag 68584/5000
6.05/4.97	c cleaning 4241 clauses out of 8497 with flag 149151/11000
7.65/6.58	c cleaning 5582 clauses out of 11256 with flag 227398/18000
8.87/7.77	c cleaning 6807 clauses out of 13674 with flag 314672/26000
10.37/9.28	c cleaning 7907 clauses out of 15868 with flag 426148/35001
11.97/10.86	c cleaning 8957 clauses out of 17960 with flag 531203/45000
13.57/12.49	c cleaning 9971 clauses out of 20003 with flag 648703/56000
14.97/13.90	c cleaning 10920 clauses out of 22032 with flag 757266/68000
17.07/15.96	c cleaning 11961 clauses out of 24112 with flag 908581/81000
19.37/18.22	c cleaning 13023 clauses out of 26153 with flag 1039259/95002
21.77/20.62	c cleaning 14002 clauses out of 28128 with flag 1182324/110001
23.97/22.87	c cleaning 15048 clauses out of 30125 with flag 1312368/126001
26.48/25.35	c cleaning 16006 clauses out of 32076 with flag 1457471/143000
29.47/28.33	c cleaning 17026 clauses out of 34070 with flag 1611544/161000
33.28/32.13	c cleaning 17951 clauses out of 36045 with flag 1806227/180001
36.58/35.43	c cleaning 19014 clauses out of 38093 with flag 2001960/200000
39.38/38.27	c cleaning 20009 clauses out of 40081 with flag 2212360/221002
42.48/41.34	c cleaning 21019 clauses out of 42072 with flag 2389274/243002
46.78/45.67	c cleaning 22010 clauses out of 44052 with flag 2623647/266001
50.78/49.67	c cleaning 22978 clauses out of 46042 with flag 2836440/290001
55.38/54.28	c cleaning 24021 clauses out of 48063 with flag 3078056/315000
60.38/59.26	c cleaning 24940 clauses out of 50043 with flag 3322780/341001
65.78/64.68	c cleaning 25953 clauses out of 52106 with flag 3582642/368004
71.70/70.43	c cleaning 27019 clauses out of 54150 with flag 3878403/396001
76.09/74.90	c cleaning 28051 clauses out of 56131 with flag 4148592/425001
80.89/79.63	c cleaning 29033 clauses out of 58079 with flag 4385234/455000
85.89/84.60	c cleaning 29925 clauses out of 60047 with flag 4669557/486001
90.59/89.35	c cleaning 31032 clauses out of 62122 with flag 4983465/518001
96.09/94.84	c cleaning 32003 clauses out of 64091 with flag 5291675/551002
101.60/100.40	c cleaning 33024 clauses out of 66088 with flag 5638566/585002
108.19/107.00	c cleaning 33990 clauses out of 68062 with flag 5934510/620000
114.89/113.66	c cleaning 34971 clauses out of 70072 with flag 6233843/656000
122.19/120.99	c cleaning 36002 clauses out of 72101 with flag 6530537/693000
128.90/127.63	c cleaning 36899 clauses out of 74099 with flag 6841012/731000
139.20/137.98	c cleaning 38079 clauses out of 76200 with flag 7279188/770000
150.40/149.10	c cleaning 39044 clauses out of 78122 with flag 7699405/810001
160.40/159.15	c cleaning 40010 clauses out of 80078 with flag 8062306/851001
170.61/169.32	c cleaning 40969 clauses out of 82067 with flag 8450355/893000
181.11/179.83	c cleaning 42025 clauses out of 84100 with flag 8810236/936002
190.01/188.72	c cleaning 43028 clauses out of 86073 with flag 9200869/980000
200.02/198.73	c cleaning 43981 clauses out of 88045 with flag 9577515/1025000
211.72/210.48	c cleaning 44920 clauses out of 90065 with flag 10010359/1071001
224.22/222.95	c cleaning 45980 clauses out of 92145 with flag 10444179/1118001
236.03/234.76	c cleaning 47043 clauses out of 94164 with flag 10877251/1166000
247.63/246.36	c cleaning 48041 clauses out of 96121 with flag 11330313/1215000
259.84/258.52	c cleaning 49023 clauses out of 98080 with flag 11746351/1265000
270.94/269.67	c cleaning 50008 clauses out of 100057 with flag 12235236/1316000
283.54/282.26	c cleaning 51006 clauses out of 102049 with flag 12692011/1368000
296.64/295.30	c cleaning 51946 clauses out of 104046 with flag 13177300/1421003
311.04/309.70	c cleaning 53042 clauses out of 106097 with flag 13682504/1475000
322.95/321.62	c cleaning 53982 clauses out of 108055 with flag 14144414/1530000
335.25/333.99	c cleaning 54967 clauses out of 110074 with flag 14612837/1586001
346.76/345.50	c cleaning 56028 clauses out of 112106 with flag 15077314/1643000
359.66/358.32	c cleaning 57005 clauses out of 114080 with flag 15568862/1701002
372.17/370.83	c cleaning 58024 clauses out of 116073 with flag 16066062/1760000
386.16/384.83	c cleaning 58979 clauses out of 118051 with flag 16555973/1820002
399.87/398.59	c cleaning 59971 clauses out of 120070 with flag 17101101/1881000
414.37/413.03	c cleaning 60998 clauses out of 122099 with flag 17691023/1943000
429.67/428.37	c cleaning 62019 clauses out of 124103 with flag 18178172/2006002
445.62/444.08	c cleaning 63004 clauses out of 126082 with flag 18702804/2070000
459.83/458.28	c cleaning 63994 clauses out of 128078 with flag 19303787/2135000
475.05/473.41	c cleaning 64984 clauses out of 130084 with flag 19838293/2201000
488.96/487.31	c cleaning 66026 clauses out of 132100 with flag 20395615/2268000
504.95/503.36	c cleaning 67012 clauses out of 134074 with flag 20967896/2336000
521.66/520.03	c cleaning 67964 clauses out of 136062 with flag 21568122/2405000
539.47/537.81	c cleaning 69049 clauses out of 138098 with flag 22168984/2475000
556.26/554.68	c cleaning 69971 clauses out of 140051 with flag 22779523/2546002
572.77/571.15	c cleaning 70960 clauses out of 142079 with flag 23381792/2618001
590.87/589.24	c cleaning 72018 clauses out of 144122 with flag 23992344/2691004
609.78/608.18	c cleaning 72987 clauses out of 146100 with flag 24614423/2765000
629.17/627.54	c cleaning 74037 clauses out of 148113 with flag 25293240/2840000
647.88/646.23	c cleaning 75017 clauses out of 150076 with flag 25898203/2916000
667.59/665.90	c cleaning 75998 clauses out of 152060 with flag 26547500/2993001
689.70/688.03	c cleaning 77010 clauses out of 154061 with flag 27290765/3071000
711.60/709.92	c cleaning 77986 clauses out of 156052 with flag 27892765/3150001
733.61/731.90	c cleaning 79003 clauses out of 158066 with flag 28511309/3230001
755.50/753.89	c cleaning 79998 clauses out of 160062 with flag 29191680/3311000
779.30/777.68	c cleaning 80934 clauses out of 162064 with flag 29987760/3393000
802.06/799.94	c cleaning 82005 clauses out of 164130 with flag 30738120/3476000
823.37/821.21	c cleaning 83055 clauses out of 166125 with flag 31483666/3560000
850.77/848.67	c cleaning 83957 clauses out of 168071 with flag 32258697/3645001
873.27/871.13	c cleaning 85014 clauses out of 170113 with flag 33010438/3731000
897.98/895.85	c cleaning 86044 clauses out of 172099 with flag 33659514/3818000
924.69/922.52	c cleaning 86994 clauses out of 174057 with flag 34349505/3906002
949.39/947.23	c cleaning 88008 clauses out of 176061 with flag 35158018/3995000
973.99/971.90	c cleaning 89028 clauses out of 178055 with flag 35853100/4085002
1002.60/1000.45	c cleaning 89928 clauses out of 180025 with flag 36778306/4176000
1030.82/1028.67	c cleaning 91019 clauses out of 182097 with flag 37606483/4268000
1060.02/1057.89	c cleaning 91953 clauses out of 184078 with flag 38422398/4361000
1092.33/1090.12	c cleaning 93043 clauses out of 186126 with flag 39069143/4455001
1123.35/1121.13	c cleaning 93974 clauses out of 188082 with flag 39788325/4550000
1151.86/1149.69	c cleaning 95006 clauses out of 190109 with flag 40567099/4646001
1181.36/1179.19	c cleaning 95975 clauses out of 192102 with flag 41426409/4743000
1211.86/1209.63	c cleaning 97026 clauses out of 194127 with flag 42203881/4841000
1243.38/1241.13	c cleaning 98048 clauses out of 196102 with flag 43023898/4940001
1273.19/1270.90	c cleaning 98986 clauses out of 198053 with flag 43810339/5040000
1309.31/1307.01	c cleaning 100016 clauses out of 200067 with flag 44702337/5141000
1345.02/1342.79	c cleaning 100984 clauses out of 202051 with flag 45626978/5243000
1379.44/1377.18	c cleaning 101941 clauses out of 204067 with flag 46477579/5346000
1413.46/1411.10	c cleaning 103043 clauses out of 206129 with flag 47262779/5450003
1450.28/1447.96	c cleaning 104034 clauses out of 208083 with flag 48028320/5555000
1486.10/1483.72	c cleaning 104914 clauses out of 210049 with flag 48945357/5661000
1520.61/1518.21	c cleaning 105962 clauses out of 212136 with flag 49851527/5768001
1554.50/1551.52	c cleaning 107069 clauses out of 214173 with flag 50688936/5876000
1587.81/1584.86	c cleaning 107978 clauses out of 216104 with flag 51585848/5985000
1622.13/1619.16	c cleaning 109008 clauses out of 218126 with flag 52385562/6095000
1658.24/1655.24	c cleaning 110015 clauses out of 220119 with flag 53185187/6206001
1692.86/1689.83	c cleaning 111001 clauses out of 222103 with flag 54109675/6318000
1729.67/1726.67	c cleaning 112008 clauses out of 224103 with flag 55063016/6431001
1771.89/1768.84	c cleaning 113013 clauses out of 226095 with flag 56178479/6545001
1800.08/1797.00	c starts		: 22224
1800.08/1797.00	c conflicts		: 6632126
1800.08/1797.00	c decisions		: 37004159
1800.08/1797.00	c propagations		: 1134465023
1800.08/1797.00	c inspects		: 25827689675
1800.08/1797.00	c shortcuts		: 0
1800.08/1797.00	c learnt literals	: 10
1800.08/1797.00	c learnt binary clauses	: 1130
1800.08/1797.00	c learnt ternary clauses	: 3092
1800.08/1797.00	c learnt constraints	: 6632116
1800.08/1797.00	c ignored constraints	: 0
1800.08/1797.00	c root simplifications	: 0
1800.08/1797.00	c removed literals (reason simplification)	: 0
1800.08/1797.00	c reason swapping (by a shorter reason)	: 0
1800.08/1797.00	c Calls to reduceDB	: 110
1800.08/1797.00	c Number of update (reduction) of LBD	: 3953570
1800.08/1797.00	c Imported unit clauses	: 0
1800.08/1797.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.00	c number of learned constraints concerned by reduction	: 0
1800.08/1797.00	c number of learning phase by resolution	: 0
1800.08/1797.00	c number of learning phase by cutting planes	: 0
1800.08/1797.00	c speed (assignments/second)	: 631899.5296116301
1800.08/1797.00	c non guided choices	582864
1800.08/1797.00	c timeout
1800.08/1797.04	c learnt constraints type 
1800.08/1797.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1130
1800.08/1797.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 199077
1800.08/1797.04	s UNKNOWN
1800.08/1797.04	c Total wall clock time (in seconds): 1796.928

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-4109006-1466293436/watcher-4109006-1466293436 -o /tmp/evaluation-result-4109006-1466293436/solver-4109006-1466293436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22551 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109006-1466293436.opb 

pid=25179
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.27 2.28 2.18 3/194 25182
/proc/meminfo: memFree=28166264/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25182/stat : 25182 (java) R 25179 25182 22534 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 31392577 9515008 128 33554432000 1073741824 1073778376 140733681960368 140733681957496 271787201327 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2372 133 103 9 0 120 0

[startup+0.10016 s]
/proc/loadavg: 2.27 2.28 2.18 3/194 25182
/proc/meminfo: memFree=28166264/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 31392577 9787879424 6035 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2389619 6035 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.27 2.28 2.18 3/194 25182
/proc/meminfo: memFree=28166264/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 4787 0 1 0 24 1 0 0 20 0 18 0 31392577 9787879424 6856 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2389619 6856 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.30022 s]
/proc/loadavg: 2.27 2.28 2.18 3/194 25182
/proc/meminfo: memFree=28166264/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 6173 0 1 0 46 2 0 0 20 0 18 0 31392577 9787879424 9250 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2389619 9250 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700293 s]
/proc/loadavg: 2.27 2.28 2.18 3/194 25182
/proc/meminfo: memFree=28166264/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9558476 CPUtime=1.14 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 7420 0 1 0 111 3 0 0 20 0 18 0 31392577 9787879424 40289 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2389619 40289 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 2.27 2.28 2.18 3/212 25200
/proc/meminfo: memFree=28000308/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9558476 CPUtime=2.17 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 9042 0 1 0 210 7 0 0 20 0 18 0 31392577 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2389619 78871 2263 9 0 2380296 0
[pid=25182/tid=25184] ppid=25179 vsize=9558476 CPUtime=1.41 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 2529 0 1 0 138 3 0 0 20 0 18 0 31392577 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123125923080 140122989679188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 31392579 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 31392580 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 31392580 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 31392580 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31392582 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 2080 0 0 0 25 0 0 0 20 0 18 0 31392582 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 2908 0 0 0 29 0 0 0 20 0 18 0 31392583 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31392583 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31392583 9787879424 78871 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9558476

[startup+3.10089 s]
/proc/loadavg: 2.25 2.28 2.18 3/213 25201
/proc/meminfo: memFree=27855576/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 10138 0 1 0 407 8 0 0 20 0 19 0 31392577 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2406260 79414 2278 9 0 2396937 0
[pid=25182/tid=25184] ppid=25179 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 2542 0 1 0 297 3 0 0 20 0 19 0 31392577 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123125924312 140122990030393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 31392579 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392582 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 3099 0 0 0 44 0 0 0 20 0 19 0 31392582 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 2958 0 0 0 47 0 0 0 20 0 19 0 31392583 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 79414 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9625040

[startup+6.30088 s]
/proc/loadavg: 2.25 2.28 2.18 3/213 25201
/proc/meminfo: memFree=27856492/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9625040 CPUtime=7.45 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 10286 0 1 0 737 8 0 0 20 0 19 0 31392577 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2406260 78979 2284 9 0 2396937 0
[pid=25182/tid=25184] ppid=25179 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 2545 0 1 0 616 3 0 0 20 0 19 0 31392577 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123125924136 140122990054692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 31392579 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392582 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 3102 0 0 0 48 0 0 0 20 0 19 0 31392582 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 3100 0 0 0 53 0 0 0 20 0 19 0 31392583 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 78979 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.21 2.27 2.18 3/213 25201

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

[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.34
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.21 1.40 1.78 2/188 25299
/proc/meminfo: memFree=28959092/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9625040 CPUtime=1725.37 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 14019 0 1 0 172407 130 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2406260 385627 2293 9 0 2396937 0
[pid=25182/tid=25184] ppid=25179 vsize=9625040 CPUtime=1717.05 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 3327 0 1 0 171658 47 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123125915424 140122989970215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 223 0 0 0 15 8 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 246 0 0 0 23 12 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 418 0 0 0 20 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 244 0 0 0 17 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 176 0 0 0 11 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 142 0 0 0 8 5 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 18 10 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 13 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 1160 0 0 0 23 2 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 3102 0 0 0 49 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 3263 0 0 0 57 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 99 0 0 0 34 39 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.17 1.36 1.74 2/188 25300
/proc/meminfo: memFree=28958968/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9625040 CPUtime=1785.38 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 14023 0 1 0 178407 131 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2406260 385627 2293 9 0 2396937 0
[pid=25182/tid=25184] ppid=25179 vsize=9625040 CPUtime=1776.9 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 3327 0 1 0 177642 48 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123125915424 140122989981222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 223 0 0 0 15 8 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 246 0 0 0 23 12 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 418 0 0 0 20 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 244 0 0 0 17 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 176 0 0 0 11 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 142 0 0 0 8 5 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 18 10 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 13 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 1160 0 0 0 23 2 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 3102 0 0 0 49 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 3263 0 0 0 57 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 103 0 0 0 35 41 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 1.13 1.34 1.73 3/188 25301
/proc/meminfo: memFree=28958968/32872528 swapFree=1103996/1183712
[pid=25182] ppid=25179 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/25182/stat : 25182 (java) S 25179 25182 22534 0 -1 4202496 14023 0 1 0 179877 131 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140733681951504 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25182/statm: 2406260 385627 2293 9 0 2396937 0
[pid=25182/tid=25184] ppid=25179 vsize=9625040 CPUtime=1791.56 cores=1,3,5,7
/proc/25182/task/25184/stat : 25184 (java) R 25179 25182 22534 0 -1 4202560 3327 0 1 0 179108 48 0 0 20 0 19 0 31392577 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123125915424 140122989981222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25185] ppid=25179 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/25182/task/25185/stat : 25185 (java) S 25179 25182 22534 0 -1 4202560 223 0 0 0 15 8 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123114985768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25186] ppid=25179 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25182/task/25186/stat : 25186 (java) S 25179 25182 22534 0 -1 4202560 246 0 0 0 23 12 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123113932968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25187] ppid=25179 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/25182/task/25187/stat : 25187 (java) S 25179 25182 22534 0 -1 4202560 418 0 0 0 20 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123112880680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25188] ppid=25179 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/25182/task/25188/stat : 25188 (java) S 25179 25182 22534 0 -1 4202560 244 0 0 0 17 9 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123111827880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25189] ppid=25179 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25182/task/25189/stat : 25189 (java) S 25179 25182 22534 0 -1 4202560 176 0 0 0 11 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123110775592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25190] ppid=25179 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/25182/task/25190/stat : 25190 (java) S 25179 25182 22534 0 -1 4202560 142 0 0 0 8 5 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123109722792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25191] ppid=25179 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/25182/task/25191/stat : 25191 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 18 10 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140123108670504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25182/tid=25192] ppid=25179 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25182/task/25192/stat : 25192 (java) S 25179 25182 22534 0 -1 4202560 178 0 0 0 13 7 0 0 20 0 19 0 31392579 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122961689512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25193] ppid=25179 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/25182/task/25193/stat : 25193 (java) S 25179 25182 22534 0 -1 4202560 1160 0 0 0 23 2 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122949490920 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25194] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25194/stat : 25194 (java) S 25179 25182 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122948436984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25195] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25195/stat : 25195 (java) S 25179 25182 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31392580 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122947384584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25196] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25196/stat : 25196 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122946333072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25197] ppid=25179 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25182/task/25197/stat : 25197 (java) S 25179 25182 22534 0 -1 4202560 3102 0 0 0 49 0 0 0 20 0 19 0 31392582 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122945280696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25182/tid=25198] ppid=25179 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/25182/task/25198/stat : 25198 (java) S 25179 25182 22534 0 -1 4202560 3263 0 0 0 57 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122944227896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25199] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25199/stat : 25199 (java) S 25179 25182 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122943175800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25182/tid=25200] ppid=25179 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/25182/task/25200/stat : 25200 (java) S 25179 25182 22534 0 -1 4202560 103 0 0 0 35 41 0 0 20 0 19 0 31392583 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122942123208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25182/tid=25201] ppid=25179 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25182/task/25201/stat : 25201 (java) S 25179 25182 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 31392745 9856040960 385627 33554432000 1073741824 1073778376 140733681960368 140122941068200 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 25182 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 25182 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=159246
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=731736
# CPU time returned by wait4() is 1795.89
# 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): 1797.06
CPU time (s): 1800.08
CPU user time (s): 1798.77
CPU system time (s): 1.31
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 1.73174
maximum resident set size= 1542628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14059
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38192
involuntary context switches= 4518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5101 second user time and 12.0162 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-19 01:43:56
IDJOB=4109006
IDBENCH=89814
IDSOLVER=2546
FILE ID=node115/4109006-1466293436
RUNJOBID= node115-1466275999-22551
PBS_JOBID= 19918252
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-89.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109006-1466293436/watcher-4109006-1466293436 -o /tmp/evaluation-result-4109006-1466293436/solver-4109006-1466293436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22551 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109006-1466293436.opb

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

MD5SUM BENCH= 5e35cfce24461785d6d1180987ae518e
RANDOM SEED=1484428939

node115.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.103
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.20
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.103
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		: 2667.103
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.55
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.103
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		: 2667.103
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		: 2667.103
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		: 2667.103
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		: 2667.103
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:        28166272 kB
Buffers:          175544 kB
Cached:           267252 kB
SwapCached:         2472 kB
Active:          2426076 kB
Inactive:         326480 kB
Active(anon):    2310060 kB
Inactive(anon):     2168 kB
Active(file):     116016 kB
Inactive(file):   324312 kB
Unevictable:     1183712 kB
Mlocked:         1103996 kB
SwapTotal:      67108856 kB
SwapFree:       67099632 kB
Dirty:              9904 kB
Writeback:             0 kB
AnonPages:       3510596 kB
Mapped:            16568 kB
Shmem:                 0 kB
Slab:             614260 kB
SReclaimable:      57812 kB
SUnreclaim:       556448 kB
KernelStack:        1592 kB
PageTables:        11232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4455268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2361344 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= 71732 MiB
End job on node115 at 2016-06-19 02:13:53