Trace number 4103868

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)1391388940707500 1800.02 1791.65

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3b.opb
MD5SUM2982ffe422921e9a65d384b08247e6aa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1323375948476250
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1351353706341500
Optimality of the best value was proved NO
Number of variables2283
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 1780
Biggest coefficient in the objective function 50331648000000000
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 1076758128151185266
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 50331648000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 1076758128151185266
Number of bits of the biggest sum of numbers60
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103868-1466253299.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.28/0.27	c ... done. Wall clock time 0.147s.
0.28/0.27	c declared #vars     2283
0.28/0.27	c #constraints  151
0.28/0.27	c constraints type 
0.28/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22
0.28/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 129
0.28/0.27	c 151 constraints processed.
0.28/0.27	c objective function length is 1780 literals
0.84/0.47	c SATISFIABLE
0.84/0.47	c OPTIMIZING...
0.84/0.47	c Got one! Elapsed wall clock time (in seconds):0.355
0.84/0.47	o 1769704860085500
0.84/0.50	c Got one! Elapsed wall clock time (in seconds):0.376
0.84/0.50	o 1391388940707500
1.60/1.02	c cleaning 2915 clauses out of 5840 with flag 25442/5842
2.67/1.60	c cleaning 4460 clauses out of 8925 with flag 50786/11842
3.37/2.31	c cleaning 5733 clauses out of 11465 with flag 88437/18842
4.17/3.14	c cleaning 6862 clauses out of 13732 with flag 130504/26842
5.09/4.06	c cleaning 7932 clauses out of 15870 with flag 177003/35842
6.19/5.19	c cleaning 8962 clauses out of 17939 with flag 235069/45843
7.50/6.42	c cleaning 9985 clauses out of 19976 with flag 307759/56842
8.90/7.82	c cleaning 10994 clauses out of 21992 with flag 386460/68843
10.40/9.36	c cleaning 11997 clauses out of 23997 with flag 476657/81842
12.20/11.14	c cleaning 12994 clauses out of 26001 with flag 577288/95843
14.10/13.05	c cleaning 14003 clauses out of 28008 with flag 682585/110844
16.24/15.13	c cleaning 14997 clauses out of 30003 with flag 789307/126842
18.35/17.28	c cleaning 16002 clauses out of 32008 with flag 909109/143844
20.75/19.70	c cleaning 17001 clauses out of 34004 with flag 1038083/161842
23.45/22.33	c cleaning 17989 clauses out of 36003 with flag 1165695/180842
26.35/25.24	c cleaning 19008 clauses out of 38016 with flag 1300604/200844
29.45/28.38	c cleaning 19988 clauses out of 40007 with flag 1439600/221843
32.95/31.80	c cleaning 21002 clauses out of 42018 with flag 1579856/243842
36.90/35.73	c cleaning 22003 clauses out of 44017 with flag 1721174/266843
40.60/39.49	c cleaning 22998 clauses out of 46013 with flag 1872829/290842
44.91/43.71	c cleaning 24000 clauses out of 48015 with flag 2047289/315842
49.21/48.05	c cleaning 24996 clauses out of 50015 with flag 2221438/341842
53.61/52.42	c cleaning 26009 clauses out of 52019 with flag 2406510/368842
58.51/57.23	c cleaning 26992 clauses out of 54010 with flag 2606301/396842
63.40/62.10	c cleaning 28008 clauses out of 56019 with flag 2814537/425843
68.80/67.53	c cleaning 28993 clauses out of 58010 with flag 3022213/455842
74.31/73.04	c cleaning 30000 clauses out of 60017 with flag 3236205/486842
79.71/78.42	c cleaning 31002 clauses out of 62018 with flag 3448348/518843
85.58/84.25	c cleaning 32002 clauses out of 64015 with flag 3678194/551842
91.48/90.16	c cleaning 32997 clauses out of 66014 with flag 3902606/585843
98.09/96.77	c cleaning 34001 clauses out of 68016 with flag 4147901/620842
105.21/103.77	c cleaning 34993 clauses out of 70015 with flag 4390296/656842
113.11/111.64	c cleaning 36007 clauses out of 72022 with flag 4666713/693842
121.02/119.53	c cleaning 36997 clauses out of 74016 with flag 4936558/731843
129.52/128.07	c cleaning 38002 clauses out of 76019 with flag 5217633/770843
138.34/136.76	c cleaning 38999 clauses out of 78016 with flag 5499144/810842
147.44/145.84	c cleaning 39998 clauses out of 80018 with flag 5806627/851843
157.74/156.10	c cleaning 40995 clauses out of 82019 with flag 6132220/893842
167.95/166.26	c cleaning 42000 clauses out of 84024 with flag 6429565/936842
178.04/176.32	c cleaning 42998 clauses out of 86024 with flag 6728041/980842
188.40/186.51	c cleaning 43997 clauses out of 88028 with flag 7050008/1025844
200.50/198.68	c cleaning 45008 clauses out of 90029 with flag 7429944/1071842
212.53/210.52	c cleaning 46002 clauses out of 92021 with flag 7796478/1118842
224.94/222.93	c cleaning 47006 clauses out of 94021 with flag 8136497/1166844
237.77/235.60	c cleaning 48001 clauses out of 96013 with flag 8501571/1215842
250.97/248.82	c cleaning 48998 clauses out of 98013 with flag 8867265/1265843
264.25/261.98	c cleaning 49996 clauses out of 100014 with flag 9241065/1316842
278.55/276.27	c cleaning 51002 clauses out of 102019 with flag 9647306/1368843
291.88/289.44	c cleaning 52000 clauses out of 104017 with flag 10033403/1421843
305.45/302.92	c cleaning 53000 clauses out of 106017 with flag 10440610/1475843
319.55/317.05	c cleaning 53996 clauses out of 108016 with flag 10858904/1530842
334.23/331.68	c cleaning 55002 clauses out of 110022 with flag 11297517/1586844
348.63/345.93	c cleaning 56002 clauses out of 112018 with flag 11704136/1643842
365.34/362.60	c cleaning 57002 clauses out of 114017 with flag 12148788/1701843
381.31/378.55	c cleaning 57994 clauses out of 116016 with flag 12563755/1760844
396.98/394.14	c cleaning 58993 clauses out of 118020 with flag 12990351/1820842
415.94/413.00	c cleaning 59997 clauses out of 120028 with flag 13457547/1881843
434.26/431.34	c cleaning 61000 clauses out of 122031 with flag 13921051/1943843
452.79/449.89	c cleaning 62006 clauses out of 124031 with flag 14376751/2006843
471.54/468.53	c cleaning 63010 clauses out of 126025 with flag 14884038/2070843
491.30/488.20	c cleaning 64001 clauses out of 128018 with flag 15413752/2135846
511.76/508.69	c cleaning 64998 clauses out of 130014 with flag 15971785/2201843
530.03/526.86	c cleaning 65989 clauses out of 132015 with flag 16472186/2268842
547.50/544.28	c cleaning 67003 clauses out of 134029 with flag 16987612/2336845
565.59/562.22	c cleaning 67996 clauses out of 136023 with flag 17483718/2405842
584.45/581.01	c cleaning 69004 clauses out of 138028 with flag 18014715/2475843
605.62/602.17	c cleaning 69995 clauses out of 140024 with flag 18552999/2546843
628.17/624.63	c cleaning 71002 clauses out of 142030 with flag 19102883/2618844
653.83/650.29	c cleaning 71999 clauses out of 144027 with flag 19728169/2691843
677.96/674.37	c cleaning 73003 clauses out of 146028 with flag 20321308/2765843
701.80/698.07	c cleaning 73992 clauses out of 148026 with flag 20866741/2840844
725.35/721.50	c cleaning 75002 clauses out of 150033 with flag 21435665/2916843
747.43/743.54	c cleaning 75999 clauses out of 152031 with flag 22008909/2993843
772.62/768.63	c cleaning 77005 clauses out of 154031 with flag 22607919/3071842
800.16/796.14	c cleaning 78005 clauses out of 156027 with flag 23262946/3150843
826.15/822.08	c cleaning 78999 clauses out of 158022 with flag 23952262/3230843
855.11/850.88	c cleaning 79984 clauses out of 160023 with flag 24664797/3311843
881.34/877.09	c cleaning 81005 clauses out of 162039 with flag 25360506/3393843
908.73/904.38	c cleaning 81997 clauses out of 164033 with flag 26023559/3476842
936.92/932.44	c cleaning 83008 clauses out of 166036 with flag 26681899/3560842
969.23/964.68	c cleaning 83999 clauses out of 168029 with flag 27326421/3645843
1001.27/996.52	c cleaning 85005 clauses out of 170030 with flag 27980176/3731843
1034.38/1029.55	c cleaning 86004 clauses out of 172026 with flag 28636844/3818844
1065.30/1060.40	c cleaning 86989 clauses out of 174022 with flag 29302942/3906844
1096.61/1091.45	c cleaning 88001 clauses out of 176031 with flag 29955774/3995842
1130.24/1124.98	c cleaning 88992 clauses out of 178030 with flag 30669675/4085842
1166.51/1161.04	c cleaning 90009 clauses out of 180039 with flag 31407319/4176843
1198.54/1192.97	c cleaning 91007 clauses out of 182032 with flag 32164598/4268845
1231.83/1226.00	c cleaning 92000 clauses out of 184022 with flag 32850732/4361842
1267.86/1261.91	c cleaning 93002 clauses out of 186023 with flag 33573770/4455843
1299.13/1293.07	c cleaning 94004 clauses out of 188021 with flag 34301616/4550843
1332.89/1326.62	c cleaning 94997 clauses out of 190018 with flag 35072166/4646844
1368.93/1362.51	c cleaning 96005 clauses out of 192019 with flag 35856112/4743842
1407.75/1401.11	c cleaning 97003 clauses out of 194015 with flag 36658782/4841843
1445.02/1438.21	c cleaning 98002 clauses out of 196012 with flag 37541619/4940843
1481.82/1474.82	c cleaning 98993 clauses out of 198010 with flag 38449869/5040843
1523.35/1516.10	c cleaning 99998 clauses out of 200016 with flag 39179612/5141842
1568.01/1560.63	c cleaning 100991 clauses out of 202019 with flag 39956338/5243843
1614.37/1606.81	c cleaning 101996 clauses out of 204027 with flag 40785815/5346842
1656.63/1648.96	c cleaning 102998 clauses out of 206031 with flag 41610443/5450842
1695.49/1687.68	c cleaning 104001 clauses out of 208033 with flag 42411607/5555842
1739.41/1731.38	c cleaning 104997 clauses out of 210034 with flag 43202253/5661844
1790.28/1781.92	c cleaning 106001 clauses out of 212036 with flag 43976850/5768843
1800.02/1791.60	c starts		: 52
1800.02/1791.60	c conflicts		: 5799458
1800.02/1791.60	c decisions		: 7717870
1800.02/1791.60	c propagations		: 141414175
1800.02/1791.60	c inspects		: 26225688880
1800.02/1791.60	c shortcuts		: 0
1800.02/1791.60	c learnt literals	: 2
1800.02/1791.60	c learnt binary clauses	: 1
1800.02/1791.60	c learnt ternary clauses	: 5
1800.02/1791.60	c learnt constraints	: 5799457
1800.02/1791.60	c ignored constraints	: 0
1800.02/1791.60	c root simplifications	: 0
1800.02/1791.60	c removed literals (reason simplification)	: 0
1800.02/1791.60	c reason swapping (by a shorter reason)	: 0
1800.02/1791.60	c Calls to reduceDB	: 103
1800.02/1791.60	c Number of update (reduction) of LBD	: 1148918
1800.02/1791.60	c Imported unit clauses	: 0
1800.02/1791.60	c number of reductions to clauses (during analyze)	: 0
1800.02/1791.60	c number of learned constraints concerned by reduction	: 0
1800.02/1791.60	c number of learning phase by resolution	: 0
1800.02/1791.60	c number of learning phase by cutting planes	: 0
1800.02/1791.60	c speed (assignments/second)	: 78943.9844182205
1800.02/1791.60	c non guided choices	84
1800.02/1791.63	c learnt constraints type 
1800.02/1791.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.02/1791.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136650
1800.02/1791.63	s SATISFIABLE
1800.02/1791.63	c Found 2 solution(s)
1800.02/1791.64	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 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 x527 -x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 x556 -x557 x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 x584 -x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 x730 -x731 -x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 -x944 x945 x946 x947 x948 -x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 -x1183 x1184 x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 x1216 -x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 x1307 x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 -x1389 -x1390 x1391 x1392 x1393 -x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 x1404 x1405 -x1406 -x1407 x1408 x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 x1435 x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 x1459 -x1460 -x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 x1495 x1496 x1497 x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 x1555 x1556 x1557 x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 -x1613 x1614 x1615 x1616 x1617 -x1618 x1619 x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 x1674 x1675 -x1676 x1677 x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 x1735 x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 x1764 x1765 -x1766 x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 x1826 x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 x1855 x1856 x1857 x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 -x1884 -x1885 x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 -x1921 -x1922 -x1923 x1924 x1925 x1926 x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 x1945 x1946 x1947 x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 x1990 x1991 x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 x2009 x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 x2024 x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 x2037 x2038 x2039 x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 x2051 x2052 x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 
1800.02/1791.64	c objective function=1391388940707500
1800.02/1791.64	c Total wall clock time (in seconds): 1791.521

Verifier Data 

OK	1391388940707500

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-4103868-1466253299/watcher-4103868-1466253299 -o /tmp/evaluation-result-4103868-1466253299/solver-4103868-1466253299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103868-1466253299.opb 

pid=24184
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.20 2.27 2.20 3/194 24187
/proc/meminfo: memFree=29671876/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/24187/stat : 24187 (java) R 24184 24187 21988 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 27376487 278528 33 33554432000 1073741824 1073778376 140734789208288 140735666852616 270698376373 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 68 34 26 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.20 2.27 2.20 3/194 24187
/proc/meminfo: memFree=29671876/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 4421 0 1 0 8 1 0 0 20 0 18 0 27376487 9787879424 6037 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200238 s]
/proc/loadavg: 2.20 2.27 2.20 3/194 24187
/proc/meminfo: memFree=29671876/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 5052 0 1 0 27 1 0 0 20 0 18 0 27376487 9787879424 6897 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2389619 6897 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300263 s]
/proc/loadavg: 2.20 2.27 2.20 3/194 24187
/proc/meminfo: memFree=29671876/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 9712 0 1 0 52 2 0 0 20 0 19 0 27376487 9856040960 11309 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 11309 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700293 s]
/proc/loadavg: 2.20 2.27 2.20 3/194 24187
/proc/meminfo: memFree=29671876/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 11635 0 1 0 128 2 0 0 20 0 19 0 27376487 9856040960 12586 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 12586 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.20 2.27 2.20 4/213 24206
/proc/meminfo: memFree=29616372/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=2.57 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 18903 0 1 0 254 3 0 0 20 0 19 0 27376487 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 19394 2260 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2425 0 1 0 145 0 0 0 20 0 19 0 27376488 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983573185032 139983403453591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27376490 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3776 0 0 0 33 0 0 0 20 0 19 0 27376493 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 72 2 0 0 20 0 19 0 27376493 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 19394 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.20 2.27 2.20 3/213 24206
/proc/meminfo: memFree=29596584/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 18911 0 1 0 414 3 0 0 20 0 19 0 27376487 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 22978 2260 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2433 0 1 0 304 1 0 0 20 0 19 0 27376488 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983573176016 139983403453638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27376490 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3776 0 0 0 34 0 0 0 20 0 19 0 27376493 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 72 2 0 0 20 0 19 0 27376493 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 22978 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.26 2.28 2.21 3/213 24206
/proc/meminfo: memFree=29571272/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=7.4 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 18927 0 1 0 736 4 0 0 20 0 19 0 27376487 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 28569 2262 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2447 0 1 0 623 1 0 0 20 0 19 0 27376488 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983573176000 139983403453573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27376489 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27376490 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3777 0 0 0 35 0 0 0 20 0 19 0 27376493 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 73 2 0 0 20 0 19 0 27376493 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 28569 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040


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

[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 82483 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1670.09
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.44 2.32 2.26 3/213 24337
/proc/meminfo: memFree=29636220/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=1730.41 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 22895 0 1 0 172932 109 0 0 20 0 19 0 27376487 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 81537 2284 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=1713.63 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2601 0 1 0 171334 29 0 0 20 0 19 0 27376488 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983573183712 139983403484611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 386 0 0 0 99 5 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 622 0 0 0 123 10 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 516 0 0 0 110 9 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 532 0 0 0 114 8 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 272 0 0 0 112 9 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 220 0 0 0 112 8 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 333 0 0 0 95 7 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 484 0 0 0 108 6 0 0 20 0 19 0 27376489 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 353 0 0 0 136 5 0 0 20 0 19 0 27376490 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3788 0 0 0 37 0 0 0 20 0 19 0 27376493 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 73 2 0 0 20 0 19 0 27376493 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 100 0 0 0 31 38 0 0 20 0 19 0 27376493 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 81537 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.41
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.33 2.30 2.26 3/213 24339
/proc/meminfo: memFree=29629792/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=1790.68 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 22945 0 1 0 178957 111 0 0 20 0 19 0 27376487 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 79997 2284 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=1773.26 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2609 0 1 0 177296 30 0 0 20 0 19 0 27376488 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983573176000 139983403350056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 386 0 0 0 102 6 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 622 0 0 0 129 10 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 516 0 0 0 115 9 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 532 0 0 0 117 8 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 272 0 0 0 116 9 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 220 0 0 0 117 8 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 333 0 0 0 101 7 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 484 0 0 0 113 6 0 0 20 0 19 0 27376489 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 391 0 0 0 146 6 0 0 20 0 19 0 27376490 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3788 0 0 0 37 0 0 0 20 0 19 0 27376493 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 73 2 0 0 20 0 19 0 27376493 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 104 0 0 0 32 40 0 0 20 0 19 0 27376493 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 79997 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.68
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.6 s]
/proc/loadavg: 2.43 2.33 2.27 4/213 24339
/proc/meminfo: memFree=29623088/32872528 swapFree=1542984/1696284
[pid=24187] ppid=24184 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/24187/stat : 24187 (java) S 24184 24187 21988 0 -1 4202496 22947 0 1 0 179891 111 0 0 20 0 19 0 27376487 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 140734789199424 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24187/statm: 2406260 79677 2284 9 0 2396937 0
[pid=24187/tid=24189] ppid=24184 vsize=9625040 CPUtime=1782.51 cores=1,3,5,7
/proc/24187/task/24189/stat : 24189 (java) R 24184 24187 21988 0 -1 4202560 2611 0 1 0 178220 31 0 0 20 0 19 0 27376488 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983573183832 139983403453633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24190] ppid=24184 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/24187/task/24190/stat : 24190 (java) S 24184 24187 21988 0 -1 4202560 386 0 0 0 103 6 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983534676648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24191] ppid=24184 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/24187/task/24191/stat : 24191 (java) S 24184 24187 21988 0 -1 4202560 622 0 0 0 129 10 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983533624104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24192] ppid=24184 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24187/task/24192/stat : 24192 (java) S 24184 24187 21988 0 -1 4202560 516 0 0 0 116 9 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983532571560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24193] ppid=24184 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/24187/task/24193/stat : 24193 (java) S 24184 24187 21988 0 -1 4202560 532 0 0 0 118 8 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983531519016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24194] ppid=24184 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/24187/task/24194/stat : 24194 (java) S 24184 24187 21988 0 -1 4202560 272 0 0 0 117 9 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983530465448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24195] ppid=24184 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24187/task/24195/stat : 24195 (java) S 24184 24187 21988 0 -1 4202560 220 0 0 0 117 8 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983529412904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24196] ppid=24184 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/24187/task/24196/stat : 24196 (java) S 24184 24187 21988 0 -1 4202560 333 0 0 0 102 7 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983528360360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24197] ppid=24184 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/24187/task/24197/stat : 24197 (java) S 24184 24187 21988 0 -1 4202560 484 0 0 0 115 6 0 0 20 0 19 0 27376489 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983527307816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24198] ppid=24184 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/24187/task/24198/stat : 24198 (java) S 24184 24187 21988 0 -1 4202560 391 0 0 0 146 6 0 0 20 0 19 0 27376490 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983396506216 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24199] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24199/stat : 24199 (java) S 24184 24187 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983395452536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24200] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24200/stat : 24200 (java) S 24184 24187 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27376491 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983394399880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24201] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24201/stat : 24201 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983393348624 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24202] ppid=24184 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/24187/task/24202/stat : 24202 (java) S 24184 24187 21988 0 -1 4202560 3788 0 0 0 37 0 0 0 20 0 19 0 27376493 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983392294968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24187/tid=24203] ppid=24184 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/24187/task/24203/stat : 24203 (java) S 24184 24187 21988 0 -1 4202560 11430 0 0 0 73 2 0 0 20 0 19 0 27376493 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983391242424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24187/tid=24204] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24204/stat : 24204 (java) S 24184 24187 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27376493 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983390190072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24187/tid=24205] ppid=24184 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/24187/task/24205/stat : 24205 (java) S 24184 24187 21988 0 -1 4202560 104 0 0 0 32 40 0 0 20 0 19 0 27376493 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983389137736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24187/tid=24206] ppid=24184 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24187/task/24206/stat : 24206 (java) S 24184 24187 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27376515 9856040960 79677 33554432000 1073741824 1073778376 140734789208288 139983388083496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 24187 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 24187 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=479197
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=559762
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.65
CPU time (s): 1800.02
CPU user time (s): 1798.91
CPU system time (s): 1.11
CPU usage (%): 100.467
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 1.55976
maximum resident set size= 632804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22993
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41838
involuntary context switches= 23791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70268 second user time and 15.3527 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 14:34:59
IDJOB=4103868
IDBENCH=2490
IDSOLVER=2546
FILE ID=node125/4103868-1466253299
RUNJOBID= node125-1466240732-22005
PBS_JOBID= 19918195
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103868-1466253299/watcher-4103868-1466253299 -o /tmp/evaluation-result-4103868-1466253299/solver-4103868-1466253299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103868-1466253299.opb

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

MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa
RANDOM SEED=851723188

node125.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.683
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.36
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.683
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.683
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		: 2666.683
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.54
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.683
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.683
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.683
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.683
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:        29672412 kB
Buffers:          127840 kB
Cached:           149088 kB
SwapCached:          688 kB
Active:           552404 kB
Inactive:         212984 kB
Active(anon):     489776 kB
Inactive(anon):     1040 kB
Active(file):      62628 kB
Inactive(file):   211944 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       2186048 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             603244 kB
SReclaimable:      46792 kB
SUnreclaim:       556452 kB
KernelStack:        1616 kB
PageTables:         8360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2366508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 71744 MiB
End job on node125 at 2016-06-18 15:04:50