Trace number 4110581

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.02 900.159

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap111_wcsp.wbo
MD5SUM4ad1347278976f19411afc1ab6eea52f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark16519919
Best CPU time to get the best result obtained on this benchmark1800.14
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 61306436
Min constraint cost 1
Max constraint cost 61306436
Sum of constraints costs 154547346300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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 ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
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 Expensive 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.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
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 phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts 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.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4110581-1466347721.wbo
0.09/0.12	c reading problem ... 
0.54/0.39	c ... done. Wall clock time 0.269s.
0.54/0.39	c declared #vars     2600
0.54/0.39	c internal #vars     7648
0.54/0.39	c #constraints  5248
0.54/0.39	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.39	c constraints type 
0.54/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2550
0.54/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.54/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2648
0.54/0.39	c 5248 constraints processed.
0.54/0.39	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.39	c constraints type 
0.54/0.39	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2648
0.54/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2550
0.54/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.54/0.39	c 5248 constraints processed.
0.54/0.39	c objective function length is 5048 literals
1.59/0.61	c And the winner is solver0
1.74/0.90	c SATISFIABLE
1.74/0.90	c OPTIMIZING...
1.74/0.90	c Got one! Elapsed wall clock time (in seconds):0.778
1.74/0.90	o 8157049
2.05/1.09	c And the winner is solver1
2.56/1.45	c Got one! Elapsed wall clock time (in seconds):1.329
2.56/1.45	o 8153817
2.71/1.56	c And the winner is solver1
2.94/1.97	c Got one! Elapsed wall clock time (in seconds):1.852
2.94/1.97	o 8152055
3.42/2.13	c And the winner is solver1
3.63/2.49	c Got one! Elapsed wall clock time (in seconds):2.368
3.63/2.49	o 8138638
7.31/4.26	c cleaning 2749 clauses out of 5498 with flag 24978/5498
11.89/6.49	c cleaning 4364 clauses out of 8749 with flag 59217/11498
17.48/9.21	c cleaning 5687 clauses out of 11385 with flag 94200/18498
23.37/12.14	c cleaning 6848 clauses out of 13702 with flag 130165/26502
29.78/15.33	c cleaning 7921 clauses out of 15850 with flag 173054/35498
36.18/18.57	c cleaning 8965 clauses out of 17929 with flag 229993/45498
43.84/22.38	c cleaning 9974 clauses out of 19964 with flag 285438/56498
52.44/26.60	c cleaning 10961 clauses out of 21990 with flag 349063/68498
61.84/31.31	c cleaning 12009 clauses out of 24030 with flag 427015/81499
71.29/36.05	c cleaning 12997 clauses out of 26020 with flag 500231/95498
82.10/41.47	c cleaning 13997 clauses out of 28023 with flag 587260/110498
93.60/47.13	c cleaning 15005 clauses out of 30026 with flag 671116/126498
105.79/53.29	c cleaning 16006 clauses out of 32021 with flag 759141/143498
118.89/59.72	c cleaning 17010 clauses out of 34019 with flag 849332/161502
132.78/66.68	c cleaning 17994 clauses out of 36005 with flag 951601/180498
147.78/74.16	c cleaning 19007 clauses out of 38015 with flag 1089273/200502
164.27/82.35	c cleaning 19998 clauses out of 40004 with flag 1180774/221498
179.74/90.04	c cleaning 20998 clauses out of 42006 with flag 1301486/243498
198.14/99.28	c cleaning 21989 clauses out of 44008 with flag 1408627/266498
217.02/108.69	c cleaning 23008 clauses out of 46019 with flag 1543771/290498
236.27/118.20	c cleaning 23987 clauses out of 48012 with flag 1677030/315499
256.68/128.46	c cleaning 25000 clauses out of 50024 with flag 1815734/341498
277.92/139.07	c cleaning 25994 clauses out of 52024 with flag 1948175/368498
297.99/149.04	c cleaning 26998 clauses out of 54030 with flag 2104804/396498
319.03/159.60	c cleaning 28016 clauses out of 56032 with flag 2252823/425498
342.46/171.27	c cleaning 28997 clauses out of 58021 with flag 2411059/455503
367.52/183.74	c cleaning 29993 clauses out of 60019 with flag 2547317/486498
395.14/197.53	c cleaning 31000 clauses out of 62026 with flag 2685755/518498
423.98/211.90	c cleaning 32005 clauses out of 64026 with flag 2846649/551498
452.65/226.22	c cleaning 33005 clauses out of 66021 with flag 3022959/585498
482.56/241.18	c cleaning 34001 clauses out of 68016 with flag 3181487/620498
513.78/256.79	c cleaning 35003 clauses out of 70016 with flag 3364817/656499
547.04/273.33	c cleaning 35995 clauses out of 72012 with flag 3544199/693498
583.10/291.39	c cleaning 37003 clauses out of 74017 with flag 3725835/731498
620.56/310.02	c cleaning 37989 clauses out of 76017 with flag 3901161/770501
658.76/329.32	c cleaning 39005 clauses out of 78025 with flag 4078259/810498
698.98/349.41	c cleaning 40005 clauses out of 80022 with flag 4273147/851500
738.80/369.31	c cleaning 41005 clauses out of 82017 with flag 4500644/893500
778.25/389.01	c cleaning 41989 clauses out of 84010 with flag 4697677/936498
816.91/408.31	c cleaning 43008 clauses out of 86021 with flag 4932308/980498
857.95/428.81	c cleaning 43994 clauses out of 88013 with flag 5149303/1025498
898.61/449.12	c cleaning 44997 clauses out of 90019 with flag 5393146/1071498
938.47/469.08	c cleaning 46010 clauses out of 92024 with flag 5627370/1118500
983.00/491.58	c cleaning 46997 clauses out of 94012 with flag 5873295/1166498
1030.66/515.34	c cleaning 47984 clauses out of 96015 with flag 6099638/1215498
1077.89/538.98	c cleaning 48997 clauses out of 98031 with flag 6357590/1265498
1122.20/561.01	c cleaning 49984 clauses out of 100034 with flag 6632896/1316498
1169.67/584.76	c cleaning 51012 clauses out of 102050 with flag 6881760/1368498
1219.14/609.50	c cleaning 52003 clauses out of 104038 with flag 7129348/1421498
1270.11/635.18	c cleaning 52992 clauses out of 106035 with flag 7389035/1475498
1326.42/663.27	c cleaning 54016 clauses out of 108043 with flag 7655397/1530498
1379.87/689.97	c cleaning 55005 clauses out of 110028 with flag 7924185/1586499
1432.66/716.29	c cleaning 55941 clauses out of 112022 with flag 8200966/1643498
1478.52/739.19	c cleaning 57008 clauses out of 114081 with flag 8512848/1701498
1527.75/764.02	c cleaning 57990 clauses out of 116073 with flag 8808680/1760498
1580.07/790.14	c cleaning 59018 clauses out of 118083 with flag 9118775/1820498
1624.77/812.44	c cleaning 60005 clauses out of 120065 with flag 9486048/1881498
1672.49/836.24	c cleaning 61014 clauses out of 122060 with flag 9814074/1943498
1721.70/861.07	c cleaning 61982 clauses out of 124047 with flag 10154300/2006499
1773.17/886.73	c cleaning 63015 clauses out of 126064 with flag 10467845/2070498
1800.02/900.10	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.02/900.10	c starts		: 1667
1800.02/900.10	c conflicts		: 2105923
1800.02/900.10	c decisions		: 17204591
1800.02/900.10	c propagations		: 1462390570
1800.02/900.10	c inspects		: 2819919389
1800.02/900.10	c shortcuts		: 0
1800.02/900.10	c learnt literals	: 0
1800.02/900.10	c learnt binary clauses	: 0
1800.02/900.10	c learnt ternary clauses	: 0
1800.02/900.10	c learnt constraints	: 2105923
1800.02/900.10	c ignored constraints	: 0
1800.02/900.10	c root simplifications	: 0
1800.02/900.10	c removed literals (reason simplification)	: 5457724
1800.02/900.10	c reason swapping (by a shorter reason)	: 0
1800.02/900.10	c Calls to reduceDB	: 60
1800.02/900.10	c Number of update (reduction) of LBD	: 1248495
1800.02/900.10	c Imported unit clauses	: 0
1800.02/900.10	c number of reductions to clauses (during analyze)	: 0
1800.02/900.10	c number of learned constraints concerned by reduction	: 0
1800.02/900.10	c number of learning phase by resolution	: 0
1800.02/900.10	c number of learning phase by cutting planes	: 0
1800.02/900.10	c speed (assignments/second)	: 1629217.560547369
1800.02/900.10	c non guided choices	42
1800.02/900.13	c learnt constraints type 
1800.02/900.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98474
1800.02/900.13	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.02/900.13	c starts		: 5
1800.02/900.13	c conflicts		: 352
1800.02/900.13	c decisions		: 729784
1800.02/900.13	c propagations		: 1617676
1800.02/900.13	c inspects		: 25852150
1800.02/900.13	c shortcuts		: 0
1800.02/900.13	c learnt literals	: 0
1800.02/900.13	c learnt binary clauses	: 0
1800.02/900.13	c learnt ternary clauses	: 0
1800.02/900.13	c learnt constraints	: 352
1800.02/900.13	c ignored constraints	: 0
1800.02/900.13	c root simplifications	: 0
1800.02/900.13	c removed literals (reason simplification)	: 0
1800.02/900.13	c reason swapping (by a shorter reason)	: 0
1800.02/900.13	c Calls to reduceDB	: 0
1800.02/900.13	c Number of update (reduction) of LBD	: 0
1800.02/900.13	c Imported unit clauses	: 0
1800.02/900.13	c number of reductions to clauses (during analyze)	: 0
1800.02/900.13	c number of learned constraints concerned by reduction	: 0
1800.02/900.13	c number of learning phase by resolution	: 0
1800.02/900.13	c number of learning phase by cutting planes	: 0
1800.02/900.13	c speed (assignments/second)	: 1799.0589193030532
1800.02/900.13	c non guided choices	0
1800.02/900.13	c learnt constraints type 
1800.02/900.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 352
1800.02/900.13	s SATISFIABLE
1800.02/900.13	c Found 4 solution(s)
1800.02/900.14	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 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 
1800.02/900.14	c objective function=8138638
1800.02/900.14	c Total wall clock time (in seconds): 900.022

Verifier Data 

OK	8138638

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-4110581-1466347721/watcher-4110581-1466347721 -o /tmp/evaluation-result-4110581-1466347721/solver-4110581-1466347721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466341826-28148 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110581-1466347721.wbo 

pid=4589
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.02 2.02 2.05 3/196 4592
/proc/meminfo: memFree=27600436/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/4592/stat : 4592 (java) R 4589 4592 28131 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 36822546 278528 33 33554432000 1073741824 1073778376 140733422091104 140735277749944 247055084725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 68 33 25 9 0 25 0

[startup+0.100148 s]
/proc/loadavg: 2.02 2.02 2.05 3/196 4592
/proc/meminfo: memFree=27600436/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 4441 0 1 0 8 1 0 0 20 0 18 0 36822546 9787879424 6070 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2389619 6070 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200217 s]
/proc/loadavg: 2.02 2.02 2.05 3/196 4592
/proc/meminfo: memFree=27600436/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 5052 0 1 0 24 1 0 0 20 0 18 0 36822546 9787879424 8126 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2389619 8126 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.02 2.02 2.05 3/196 4592
/proc/meminfo: memFree=27600436/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 7778 0 1 0 53 1 0 0 20 0 18 0 36822546 9787879424 11147 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2389619 11147 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700248 s]
/proc/loadavg: 2.02 2.02 2.05 3/196 4592
/proc/meminfo: memFree=27600436/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 15766 0 1 0 168 5 0 0 20 0 19 0 36822546 10060525568 19261 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 19261 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 9824732

[startup+1.50071 s]
/proc/loadavg: 2.02 2.02 2.05 4/215 4617
/proc/meminfo: memFree=27523204/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 17143 0 1 0 263 8 0 0 20 0 22 0 36822546 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 23465 2272 9 0 2446860 0
[pid=4592/tid=4594] ppid=4589 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4589 4592 28131 0 -1 4202560 2464 0 1 0 42 2 0 0 20 0 22 0 36822547 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063318848376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4595] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063162612776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4596] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063161559976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4597] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36822549 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) R 4589 4592 28131 0 -1 4202560 7349 0 0 0 73 2 0 0 20 0 22 0 36822552 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067624598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) R 4589 4592 28131 0 -1 4202560 5968 0 0 0 69 2 0 0 20 0 22 0 36822552 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063137782072 140063325823665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 23465 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 2.02 2.02 2.05 2/215 4623
/proc/meminfo: memFree=27497784/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 19034 0 1 0 498 13 0 0 20 0 22 0 36822546 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 35759 2276 9 0 2446860 0
[pid=4592/tid=4594] ppid=4589 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4589 4592 28131 0 -1 4202560 2469 0 1 0 45 2 0 0 20 0 22 0 36822547 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063318848376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4595] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063162612776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4596] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063161559976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4597] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36822549 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) S 4589 4592 28131 0 -1 4202560 7354 0 0 0 112 2 0 0 20 0 22 0 36822552 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) S 4589 4592 28131 0 -1 4202560 7812 0 0 0 104 3 0 0 20 0 22 0 36822552 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063137782072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 35759 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 9824732

[startup+6.30087 s]
/proc/loadavg: 2.42 2.10 2.08 4/218 4626
/proc/meminfo: memFree=27370792/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=11.69 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 19123 0 1 0 1153 16 0 0 20 0 22 0 36822546 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 49000 2292 9 0 2446860 0
[pid=4592/tid=4594] ppid=4589 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4589 4592 28131 0 -1 4202560 2469 0 1 0 45 2 0 0 20 0 22 0 36822547 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063318848376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4595] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4589 4592 28131 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063162612776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4596] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4589 4592 28131 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063161559976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4597] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36822548 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36822549 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) S 4589 4592 28131 0 -1 4202560 7358 0 0 0 119 2 0 0 20 0 22 0 36822552 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) S 4589 4592 28131 0 -1 4202560 7816 0 0 0 113 3 0 0 20 0 22 0 36822552 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063137782072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4624] ppid=4589 vsize=9824732 CPUtime=3.72 cores=1,3,5,7
/proc/4592/task/4624/stat : 4624 (java) R 4589 4592 28131 0 -1 4202560 8 0 0 0 372 0 0 0 20 0 22 0 36822797 10060525568 49000 33554432000 1073741824 1073778376 140733422091104 140063133569720 140063191822921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4625] ppid=4589 vsize=9824732 CPUtime=3.73 cores=1,3,5,7

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

/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 485 0 0 0 112 7 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 354 0 0 0 114 8 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 161 0 0 0 100 6 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 720 0 0 0 117 6 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 490 0 0 0 107 5 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 458 0 0 0 105 6 0 0 20 0 22 0 36822548 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 183 0 0 0 263 16 0 0 20 0 22 0 36822549 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) S 4589 4592 28131 0 -1 4202560 7359 0 0 0 124 2 0 0 20 0 22 0 36822552 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) S 4589 4592 28131 0 -1 4202560 7823 0 0 0 131 3 0 0 20 0 22 0 36822552 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063137782072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 36822552 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4624] ppid=4589 vsize=9824732 CPUtime=871.72 cores=1,3,5,7
/proc/4592/task/4624/stat : 4624 (java) R 4589 4592 28131 0 -1 4202560 78 0 0 0 87159 13 0 0 20 0 22 0 36822797 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063133568448 140063191702983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4625] ppid=4589 vsize=9824732 CPUtime=871.75 cores=1,3,5,7
/proc/4592/task/4625/stat : 4625 (java) R 4589 4592 28131 0 -1 4202560 135 0 0 0 87159 16 0 0 20 0 22 0 36822797 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063134622128 140063191933438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4626] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4626/stat : 4626 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822797 10060525568 107948 33554432000 1073741824 1073778376 140733422091104 140063131464488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.37
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 1.99 2.21 2.28 3/191 4705
/proc/meminfo: memFree=30943872/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 23050 0 1 0 179900 102 0 0 20 0 22 0 36822546 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 107787 2301 9 0 2446860 0
[pid=4592/tid=4594] ppid=4589 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4589 4592 28131 0 -1 4202560 2475 0 1 0 48 3 0 0 20 0 22 0 36822547 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063318848376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4595] ppid=4589 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4589 4592 28131 0 -1 4202560 285 0 0 0 108 5 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063162612776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4596] ppid=4589 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4589 4592 28131 0 -1 4202560 615 0 0 0 104 7 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063161559976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4597] ppid=4589 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 485 0 0 0 113 7 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 354 0 0 0 117 8 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 161 0 0 0 102 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 720 0 0 0 119 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 490 0 0 0 108 5 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 458 0 0 0 108 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 186 0 0 0 263 16 0 0 20 0 22 0 36822549 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) S 4589 4592 28131 0 -1 4202560 7359 0 0 0 124 2 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) S 4589 4592 28131 0 -1 4202560 7823 0 0 0 131 3 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063137782072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4624] ppid=4589 vsize=9824732 CPUtime=889.41 cores=1,3,5,7
/proc/4592/task/4624/stat : 4624 (java) R 4589 4592 28131 0 -1 4202560 83 0 0 0 88928 13 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063133568448 140063191940189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4625] ppid=4589 vsize=9824732 CPUtime=889.44 cores=1,3,5,7
/proc/4592/task/4625/stat : 4625 (java) R 4589 4592 28131 0 -1 4202560 137 0 0 0 88928 16 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063134620096 140063191933489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4626] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4626/stat : 4626 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063131464488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

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 4592 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.101 s]
/proc/loadavg: 1.99 2.21 2.28 3/191 4705
/proc/meminfo: memFree=30943872/32872528 swapFree=249320/249320
[pid=4592] ppid=4589 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/4592/stat : 4592 (java) S 4589 4592 28131 0 -1 4202496 23050 0 1 0 179900 102 0 0 20 0 22 0 36822546 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140733422082240 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4592/statm: 2456183 107787 2301 9 0 2446860 0
[pid=4592/tid=4594] ppid=4589 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/4592/task/4594/stat : 4594 (java) S 4589 4592 28131 0 -1 4202560 2475 0 1 0 48 3 0 0 20 0 22 0 36822547 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063318848376 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4595] ppid=4589 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/4592/task/4595/stat : 4595 (java) S 4589 4592 28131 0 -1 4202560 285 0 0 0 108 5 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063162612776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4596] ppid=4589 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/4592/task/4596/stat : 4596 (java) S 4589 4592 28131 0 -1 4202560 615 0 0 0 104 7 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063161559976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4597] ppid=4589 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/4592/task/4597/stat : 4597 (java) S 4589 4592 28131 0 -1 4202560 485 0 0 0 113 7 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063160507176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4598] ppid=4589 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/4592/task/4598/stat : 4598 (java) S 4589 4592 28131 0 -1 4202560 354 0 0 0 117 8 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063159454376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4599] ppid=4589 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/4592/task/4599/stat : 4599 (java) S 4589 4592 28131 0 -1 4202560 161 0 0 0 102 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063158401576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4600] ppid=4589 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/4592/task/4600/stat : 4600 (java) S 4589 4592 28131 0 -1 4202560 720 0 0 0 119 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063157348776 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4601] ppid=4589 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/4592/task/4601/stat : 4601 (java) S 4589 4592 28131 0 -1 4202560 490 0 0 0 108 5 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063156295976 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4602] ppid=4589 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/4592/task/4602/stat : 4602 (java) S 4589 4592 28131 0 -1 4202560 458 0 0 0 108 6 0 0 20 0 22 0 36822548 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063155243176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4603] ppid=4589 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/4592/task/4603/stat : 4603 (java) S 4589 4592 28131 0 -1 4202560 186 0 0 0 263 16 0 0 20 0 22 0 36822549 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063143046120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4604] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4604/stat : 4604 (java) S 4589 4592 28131 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063141992184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4605] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4605/stat : 4605 (java) S 4589 4592 28131 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36822550 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063140939272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4606] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4606/stat : 4606 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063139887760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4607] ppid=4589 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/4592/task/4607/stat : 4607 (java) S 4589 4592 28131 0 -1 4202560 7359 0 0 0 124 2 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063138834872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4608] ppid=4589 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/4592/task/4608/stat : 4608 (java) S 4589 4592 28131 0 -1 4202560 7823 0 0 0 131 3 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063137782072 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4609] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4609/stat : 4609 (java) S 4589 4592 28131 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063136729464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4592/tid=4610] ppid=4589 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/4592/task/4610/stat : 4610 (java) S 4589 4592 28131 0 -1 4202560 53 0 0 0 14 23 0 0 20 0 22 0 36822552 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063135676872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4592/tid=4617] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4617/stat : 4617 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822642 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063132517288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4624] ppid=4589 vsize=9824732 CPUtime=889.41 cores=1,3,5,7
/proc/4592/task/4624/stat : 4624 (java) R 4589 4592 28131 0 -1 4202560 83 0 0 0 88928 13 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063133568448 140063191940189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4592/tid=4625] ppid=4589 vsize=9824732 CPUtime=889.44 cores=1,3,5,7
/proc/4592/task/4625/stat : 4625 (java) R 4589 4592 28131 0 -1 4202560 137 0 0 0 88928 16 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063134620096 140063191933489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4592/tid=4626] ppid=4589 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4592/task/4626/stat : 4626 (java) S 4589 4592 28131 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36822797 10060525568 107787 33554432000 1073741824 1073778376 140733422091104 140063131464488 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4592 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=529190
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=501771
# CPU time returned by wait4() is 1796.03
# 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): 900.159
CPU time (s): 1800.02
CPU user time (s): 1799
CPU system time (s): 1.02
CPU usage (%): 199.967
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 1.50177
maximum resident set size= 518260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26554
involuntary context switches= 31516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54216 second user time and 7.84381 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-19 16:48:41
IDJOB=4110581
IDBENCH=79535
IDSOLVER=2552
FILE ID=node103/4110581-1466347721
RUNJOBID= node103-1466341826-28148
PBS_JOBID= 19922045
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap111_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110581-1466347721/watcher-4110581-1466347721 -o /tmp/evaluation-result-4110581-1466347721/solver-4110581-1466347721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466341826-28148 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110581-1466347721.wbo

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

MD5SUM BENCH= 4ad1347278976f19411afc1ab6eea52f
RANDOM SEED=723865524

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        27600592 kB
Buffers:          170996 kB
Cached:           330016 kB
SwapCached:         2492 kB
Active:          3903152 kB
Inactive:         360260 kB
Active(anon):    3760492 kB
Inactive(anon):     4364 kB
Active(file):     142660 kB
Inactive(file):   355896 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099656 kB
Dirty:               440 kB
Writeback:             0 kB
AnonPages:       4047296 kB
Mapped:            16704 kB
Shmem:                 0 kB
Slab:             617444 kB
SReclaimable:      61300 kB
SUnreclaim:       556144 kB
KernelStack:        1792 kB
PageTables:        12288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4304984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3727360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node103 at 2016-06-19 17:03:42