Trace number 4085803

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-34 1800.04 1785.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-47
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4085803-1465261858.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
0.49/0.36	c ... done. Wall clock time 0.258s.
0.49/0.36	c declared #vars     400
0.49/0.36	c internal #vars     2882
0.49/0.36	c #constraints  5566
0.49/0.36	c constraints type 
0.49/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
0.49/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.49/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.49/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
0.49/0.36	c 5566 constraints processed.
0.49/0.36	c objective function length is 200 literals
1.64/0.81	c SATISFIABLE
1.64/0.81	c OPTIMIZING...
1.64/0.81	c Got one! Elapsed wall clock time (in seconds):0.71
1.64/0.81	o -34
2.71/1.81	c cleaning 2982 clauses out of 5964 with flag 20238/5964
3.66/2.72	c cleaning 4464 clauses out of 8927 with flag 33926/11909
5.19/3.85	c cleaning 5752 clauses out of 11503 with flag 50186/18949
6.62/4.84	c cleaning 6848 clauses out of 13695 with flag 68412/26893
7.66/5.89	c cleaning 7913 clauses out of 15825 with flag 90319/35871
8.86/7.01	c cleaning 8970 clauses out of 17940 with flag 114200/45899
10.06/8.20	c cleaning 9982 clauses out of 19963 with flag 140081/56892
11.56/9.79	c cleaning 11005 clauses out of 22037 with flag 166398/68948
14.10/12.22	c cleaning 11983 clauses out of 23968 with flag 194640/81884
16.95/15.03	c cleaning 12998 clauses out of 25996 with flag 229747/95895
19.85/17.92	c cleaning 13992 clauses out of 27986 with flag 268016/110883
23.45/21.53	c cleaning 15026 clauses out of 30052 with flag 303348/126941
27.16/25.23	c cleaning 15975 clauses out of 31956 with flag 338079/143871
31.16/29.25	c cleaning 17030 clauses out of 34059 with flag 376130/161949
35.56/33.54	c cleaning 17988 clauses out of 35977 with flag 415973/180897
40.46/38.45	c cleaning 18977 clauses out of 37992 with flag 460043/200900
45.66/43.65	c cleaning 20024 clauses out of 40048 with flag 503247/221933
50.76/48.77	c cleaning 20974 clauses out of 41982 with flag 548840/243891
54.86/52.86	c cleaning 22008 clauses out of 44016 with flag 596943/266899
61.09/58.99	c cleaning 22972 clauses out of 45982 with flag 648690/290873
67.79/65.65	c cleaning 23942 clauses out of 48021 with flag 705598/315884
74.80/72.67	c cleaning 25033 clauses out of 50066 with flag 760522/341871
81.62/79.21	c cleaning 25945 clauses out of 52033 with flag 817637/368871
87.91/85.54	c cleaning 27034 clauses out of 54097 with flag 878357/396880
94.81/92.49	c cleaning 28047 clauses out of 56102 with flag 940641/425919
101.61/99.21	c cleaning 29006 clauses out of 58018 with flag 1012961/455882
108.17/105.67	c cleaning 29995 clauses out of 60019 with flag 1078244/486889
117.66/115.12	c cleaning 31018 clauses out of 62038 with flag 1149037/518903
125.21/122.48	c cleaning 32002 clauses out of 64011 with flag 1218279/551894
136.11/133.33	c cleaning 33005 clauses out of 66009 with flag 1289603/585894
145.04/141.95	c cleaning 33999 clauses out of 67997 with flag 1363295/620887
154.63/151.54	c cleaning 34984 clauses out of 69982 with flag 1439495/656871
164.63/161.59	c cleaning 35991 clauses out of 72004 with flag 1518511/693877
176.98/173.86	c cleaning 36991 clauses out of 74007 with flag 1598844/731871
188.94/185.70	c cleaning 37978 clauses out of 76019 with flag 1681623/770874
204.24/201.07	c cleaning 39005 clauses out of 78047 with flag 1768257/810880
218.58/215.25	c cleaning 40026 clauses out of 80061 with flag 1857264/851899
231.47/228.11	c cleaning 40965 clauses out of 82007 with flag 1946524/893871
244.40/240.98	c cleaning 42023 clauses out of 84046 with flag 2038519/936875
257.68/254.20	c cleaning 43011 clauses out of 86023 with flag 2132676/980875
269.88/266.37	c cleaning 44001 clauses out of 88016 with flag 2229602/1025879
284.07/280.43	c cleaning 45001 clauses out of 90014 with flag 2328532/1071878
299.85/296.18	c cleaning 46008 clauses out of 92016 with flag 2429326/1118881
312.95/309.21	c cleaning 47009 clauses out of 94022 with flag 2592281/1166895
323.55/319.76	c cleaning 47997 clauses out of 95993 with flag 2790395/1215875
335.95/332.07	c cleaning 48991 clauses out of 97992 with flag 2940832/1265871
351.36/347.37	c cleaning 50006 clauses out of 100011 with flag 3076440/1316881
371.57/367.54	c cleaning 51005 clauses out of 102010 with flag 3206424/1368886
393.06/388.97	c cleaning 52011 clauses out of 104022 with flag 3336400/1421903
409.35/405.13	c cleaning 52987 clauses out of 105979 with flag 3471552/1475871
432.99/428.78	c cleaning 53994 clauses out of 108002 with flag 3612041/1530881
452.69/448.32	c cleaning 55005 clauses out of 110010 with flag 3737897/1586883
469.78/465.33	c cleaning 55992 clauses out of 112004 with flag 3870933/1643882
487.94/483.41	c cleaning 56996 clauses out of 114001 with flag 3998312/1701871
507.83/503.29	c cleaning 57953 clauses out of 116020 with flag 4145482/1760886
531.91/527.22	c cleaning 59006 clauses out of 118089 with flag 4274446/1820908
555.98/551.28	c cleaning 60026 clauses out of 120104 with flag 4412949/1881929
579.63/574.89	c cleaning 61013 clauses out of 122035 with flag 4545169/1943886
607.48/602.57	c cleaning 61971 clauses out of 124007 with flag 4683838/2006871
630.53/625.42	c cleaning 63022 clauses out of 126049 with flag 4826416/2070884
652.19/647.03	c cleaning 64003 clauses out of 128014 with flag 4970003/2135871
679.44/674.19	c cleaning 64983 clauses out of 130019 with flag 5112601/2201879
702.93/697.51	c cleaning 66000 clauses out of 132048 with flag 5254836/2268891
724.70/719.18	c cleaning 67006 clauses out of 134035 with flag 5398464/2336878
760.37/754.76	c cleaning 67995 clauses out of 136038 with flag 5549697/2405887
790.13/784.37	c cleaning 69025 clauses out of 138052 with flag 5700458/2475896
816.88/810.98	c cleaning 69971 clauses out of 140002 with flag 5852607/2546871
862.52/856.41	c cleaning 71001 clauses out of 142031 with flag 6008930/2618871
892.49/886.21	c cleaning 72014 clauses out of 144030 with flag 6169741/2691871
923.26/916.87	c cleaning 73008 clauses out of 146016 with flag 6333673/2765871
949.80/943.11	c cleaning 73952 clauses out of 148016 with flag 6498649/2840879
979.14/972.31	c cleaning 75021 clauses out of 150063 with flag 6668241/2916878
1010.49/1003.44	c cleaning 76023 clauses out of 152055 with flag 6845545/2993891
1038.32/1031.15	c cleaning 76996 clauses out of 154045 with flag 7026359/3071904
1067.23/1059.83	c cleaning 78009 clauses out of 156057 with flag 7207189/3150912
1093.95/1086.36	c cleaning 79005 clauses out of 158015 with flag 7386482/3230879
1119.08/1111.21	c cleaning 79935 clauses out of 160002 with flag 7573501/3311871
1148.85/1140.81	c cleaning 81043 clauses out of 162090 with flag 7762292/3393894
1171.83/1163.67	c cleaning 81992 clauses out of 164025 with flag 7972055/3476872
1201.15/1192.79	c cleaning 83028 clauses out of 166055 with flag 8173174/3560894
1245.69/1237.01	c cleaning 84013 clauses out of 168028 with flag 8381243/3645895
1278.24/1269.38	c cleaning 84992 clauses out of 169997 with flag 8572412/3731877
1313.57/1304.31	c cleaning 85995 clauses out of 172000 with flag 8782507/3818872
1347.80/1338.27	c cleaning 87007 clauses out of 174024 with flag 8994273/3906891
1383.69/1373.78	c cleaning 87975 clauses out of 175998 with flag 9214776/3995872
1419.55/1409.27	c cleaning 89021 clauses out of 178050 with flag 9449498/4085899
1454.43/1443.74	c cleaning 89988 clauses out of 180002 with flag 9683701/4176872
1485.89/1474.84	c cleaning 90977 clauses out of 182013 with flag 9907337/4268871
1524.82/1513.41	c cleaning 91974 clauses out of 184036 with flag 10121938/4361871
1562.54/1550.74	c cleaning 92985 clauses out of 186062 with flag 10341267/4455871
1601.09/1589.00	c cleaning 94038 clauses out of 188077 with flag 10575566/4550871
1643.06/1630.46	c cleaning 95020 clauses out of 190046 with flag 10801638/4646878
1687.91/1674.96	c cleaning 95979 clauses out of 192019 with flag 11049052/4743871
1719.41/1706.05	c cleaning 97000 clauses out of 194050 with flag 11325590/4841881
1751.70/1737.94	c cleaning 97983 clauses out of 196041 with flag 11564141/4940872
1797.29/1783.10	c cleaning 99014 clauses out of 198070 with flag 11839547/5040884
1800.04/1785.70	c starts		: 7120
1800.04/1785.70	c conflicts		: 5059288
1800.04/1785.70	c decisions		: 13440921
1800.04/1785.70	c propagations		: 171013047
1800.04/1785.70	c inspects		: 33514078487
1800.04/1785.70	c shortcuts		: 0
1800.04/1785.70	c learnt literals	: 0
1800.04/1785.70	c learnt binary clauses	: 8
1800.04/1785.70	c learnt ternary clauses	: 817
1800.04/1785.70	c learnt constraints	: 5059288
1800.04/1785.70	c ignored constraints	: 0
1800.04/1785.70	c root simplifications	: 0
1800.04/1785.70	c removed literals (reason simplification)	: 0
1800.04/1785.70	c reason swapping (by a shorter reason)	: 0
1800.04/1785.70	c Calls to reduceDB	: 96
1800.04/1785.70	c Number of update (reduction) of LBD	: 799385
1800.04/1785.70	c Imported unit clauses	: 0
1800.04/1785.70	c number of reductions to clauses (during analyze)	: 0
1800.04/1785.70	c number of learned constraints concerned by reduction	: 0
1800.04/1785.70	c number of learning phase by resolution	: 0
1800.04/1785.70	c number of learning phase by cutting planes	: 0
1800.04/1785.70	c speed (assignments/second)	: 95787.54431236231
1800.04/1785.70	c non guided choices	0
1800.04/1785.73	c learnt constraints type 
1800.04/1785.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 8
1800.04/1785.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117452
1800.04/1785.73	s SATISFIABLE
1800.04/1785.73	c Found 1 solution(s)
1800.04/1785.73	v x1 x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 x80 -x81 x82 -x83 x84 x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 x253 -x254 x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 x310 -x311 x312 -x313 -x314 -x315 -x316 x317 x318 x319 -x320 -x321 -x322 x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 x382 x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 
1800.04/1785.73	c objective function=-34
1800.04/1785.73	c Total wall clock time (in seconds): 1785.63

Verifier Data 

OK	-34

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-4085803-1465261858/watcher-4085803-1465261858 -o /tmp/evaluation-result-4085803-1465261858/solver-4085803-1465261858 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5400 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085803-1465261858.opb 

pid=6085
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 6088
/proc/meminfo: memFree=31654644/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6088/stat : 6088 (java) R 6085 6088 5384 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 108121258 23793664 716 33554432000 1073741824 1073778376 140734760353712 140734760342776 247055037800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 5809 717 531 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 6088
/proc/meminfo: memFree=31654644/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 4519 0 1 0 10 1 0 0 20 0 18 0 108121258 9787879424 5641 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2389619 5641 2155 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 6088
/proc/meminfo: memFree=31654644/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 4757 0 1 0 25 1 0 0 20 0 18 0 108121258 9787879424 6342 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2389619 6342 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 6088
/proc/meminfo: memFree=31654644/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 6396 0 1 0 48 1 0 0 20 0 18 0 108121258 9787879424 9512 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2389619 9512 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700275 s]
/proc/loadavg: 2.04 2.02 2.00 3/196 6088
/proc/meminfo: memFree=31654644/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 14184 0 1 0 151 3 0 0 20 0 19 0 108121258 9856040960 16208 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 16208 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.04 2.02 2.00 3/215 6107
/proc/meminfo: memFree=31587932/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 14249 0 1 0 236 3 0 0 20 0 19 0 108121258 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 17294 2270 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2551 0 1 0 146 1 0 0 20 0 19 0 108121258 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248594430352 140248534794543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5910 0 0 0 46 0 0 0 20 0 19 0 108121262 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) S 6085 6088 5384 0 -1 4202560 4517 0 0 0 40 1 0 0 20 0 19 0 108121263 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248413276472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 17294 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.04 2.02 2.00 3/215 6107
/proc/meminfo: memFree=31571300/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 18961 0 1 0 442 4 0 0 20 0 19 0 108121258 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 23599 2274 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2560 0 1 0 306 1 0 0 20 0 19 0 108121258 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248594430408 140248534907265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5942 0 0 0 50 0 0 0 20 0 19 0 108121262 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) R 6085 6088 5384 0 -1 4202560 9188 0 0 0 82 2 0 0 20 0 19 0 108121263 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248413264040 140248598521735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 23599 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 6107
/proc/meminfo: memFree=31517712/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=8.16 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 20080 0 1 0 812 4 0 0 20 0 19 0 108121258 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 29869 2275 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2575 0 1 0 625 1 0 0 20 0 19 0 108121258 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248594423488 140248534824317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108121259 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5942 0 0 0 52 0 0 0 20 0 19 0 108121262 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) S 6085 6088 5384 0 -1 4202560 10291 0 0 0 130 2 0 0 20 0 19 0 108121263 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248413276472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 29869 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 9625040


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

[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 96899 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.98
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/214 6355
/proc/meminfo: memFree=30676404/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=1796.59 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 30082 0 1 0 179535 124 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 117830 2297 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=1768.51 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2811 0 1 0 176817 34 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248594431200 140248535036468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1330 0 0 0 212 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1184 0 0 0 207 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 896 0 0 0 197 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=2.18 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1999 0 0 0 205 13 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 764 0 0 0 214 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 622 0 0 0 193 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 851 0 0 0 199 8 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 1275 0 0 0 208 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 749 0 0 0 393 4 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5942 0 0 0 52 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) S 6085 6088 5384 0 -1 4202560 10298 0 0 0 136 2 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248413276472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 104 0 0 0 33 29 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.7 s]
/proc/loadavg: 2.05 2.08 2.04 4/214 6355
/proc/meminfo: memFree=30676404/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 30083 0 1 0 179880 124 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 117830 2297 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=1771.88 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2812 0 1 0 177154 34 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248594431200 140248534630824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1330 0 0 0 212 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1184 0 0 0 207 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 896 0 0 0 199 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1999 0 0 0 206 13 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 764 0 0 0 215 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 622 0 0 0 193 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 851 0 0 0 200 8 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 1275 0 0 0 210 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 749 0 0 0 393 4 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5942 0 0 0 52 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) S 6085 6088 5384 0 -1 4202560 10298 0 0 0 136 2 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248413276472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 104 0 0 0 33 29 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 6088 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1785.7 s]
/proc/loadavg: 2.05 2.08 2.04 4/214 6355
/proc/meminfo: memFree=30676404/32872528 swapFree=10676/249824
[pid=6088] ppid=6085 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6085 6088 5384 0 -1 4202496 30083 0 1 0 179880 124 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140734760344848 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6088/statm: 2406260 117830 2297 9 0 2396937 0
[pid=6088/tid=6090] ppid=6085 vsize=9625040 CPUtime=1771.88 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) R 6085 6088 5384 0 -1 4202560 2812 0 1 0 177154 34 0 0 20 0 19 0 108121258 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248594431200 140248534630824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6088/tid=6091] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6085 6088 5384 0 -1 4202560 1330 0 0 0 212 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248438320168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6092] ppid=6085 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6085 6088 5384 0 -1 4202560 1184 0 0 0 207 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248437267368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6093] ppid=6085 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6085 6088 5384 0 -1 4202560 896 0 0 0 199 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248436214568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6094] ppid=6085 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6085 6088 5384 0 -1 4202560 1999 0 0 0 206 13 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248435161768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6095] ppid=6085 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6085 6088 5384 0 -1 4202560 764 0 0 0 215 9 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248434108968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6096] ppid=6085 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6085 6088 5384 0 -1 4202560 622 0 0 0 193 10 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248433056168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6097] ppid=6085 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6085 6088 5384 0 -1 4202560 851 0 0 0 200 8 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248432003368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6098] ppid=6085 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6085 6088 5384 0 -1 4202560 1275 0 0 0 210 14 0 0 20 0 19 0 108121259 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248430950568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6099] ppid=6085 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6085 6088 5384 0 -1 4202560 749 0 0 0 393 4 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248418540520 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6100] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6085 6088 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248417486584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6101] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6085 6088 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108121260 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248416433672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6102] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248415382160 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6103] ppid=6085 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/6088/task/6103/stat : 6103 (java) S 6085 6088 5384 0 -1 4202560 5942 0 0 0 52 0 0 0 20 0 19 0 108121262 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248414329272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6088/tid=6104] ppid=6085 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/6088/task/6104/stat : 6104 (java) S 6085 6088 5384 0 -1 4202560 10298 0 0 0 136 2 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248413276472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6105] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6105/stat : 6105 (java) S 6085 6088 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248412223864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6088/tid=6106] ppid=6085 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6088/task/6106/stat : 6106 (java) S 6085 6088 5384 0 -1 4202560 104 0 0 0 33 29 0 0 20 0 19 0 108121263 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248411171272 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6088/tid=6107] ppid=6085 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6107/stat : 6107 (java) S 6085 6088 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108121295 9856040960 117830 33554432000 1073741824 1073778376 140734760353712 140248410117800 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6088 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=279228
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=711739
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1785.74
CPU time (s): 1800.04
CPU user time (s): 1798.8
CPU system time (s): 1.24
CPU usage (%): 100.801
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 1.71174
maximum resident set size= 714740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30122
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44201
involuntary context switches= 37413

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5724 second user time and 13.085 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-07 03:10:58
IDJOB=4085803
IDBENCH=48283
IDSOLVER=2546
FILE ID=node103/4085803-1465261858
RUNJOBID= node103-1465256472-5400
PBS_JOBID= 19843279
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085803-1465261858/watcher-4085803-1465261858 -o /tmp/evaluation-result-4085803-1465261858/solver-4085803-1465261858 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5400 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085803-1465261858.opb

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=1351043768

node103.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.760
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.52
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.760
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.760
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.760
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.760
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.760
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.760
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.760
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:        31655064 kB
Buffers:           71684 kB
Cached:           126388 kB
SwapCached:         1720 kB
Active:           136660 kB
Inactive:         116872 kB
Active(anon):      56640 kB
Inactive(anon):     1176 kB
Active(file):      80020 kB
Inactive(file):   115696 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096656 kB
Dirty:              1648 kB
Writeback:             0 kB
AnonPages:        312608 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             570776 kB
SReclaimable:      14040 kB
SUnreclaim:       556736 kB
KernelStack:        1768 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     939012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71736 MiB
End job on node103 at 2016-06-07 03:40:44