Trace number 4090632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.92 1783.56

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
MD5SUM153666059db7da507c96674bc7662476
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints66
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3685
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3684
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4090632-1466063950.wbo
0.11/0.10	c reading problem ... 
0.29/0.21	c ... done. Wall clock time 0.115s.
0.29/0.21	c declared #vars     2550
0.29/0.21	c internal #vars     2616
0.29/0.21	c #constraints  101
0.29/0.21	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
0.29/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.29/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.29/0.22	c 101 constraints processed.
0.29/0.22	c objective function length is 66 literals
0.57/0.35	c SATISFIABLE
0.57/0.35	c OPTIMIZING...
0.57/0.35	c Got one! Elapsed wall clock time (in seconds):0.247
0.57/0.35	o 42
0.57/0.37	c Got one! Elapsed wall clock time (in seconds):0.269
0.57/0.37	o 34
1.13/0.70	c Got one! Elapsed wall clock time (in seconds):0.603
1.13/0.70	o 1
1.36/0.98	c cleaning 3285 clauses out of 6582 with flag 11023/6582
1.82/1.39	c cleaning 4624 clauses out of 9297 with flag 47625/12582
2.84/2.38	c cleaning 5796 clauses out of 11676 with flag 98138/19585
3.94/3.47	c cleaning 6930 clauses out of 13880 with flag 156103/27585
4.85/4.31	c cleaning 7929 clauses out of 15948 with flag 214933/36583
6.16/5.63	c cleaning 8956 clauses out of 18018 with flag 292225/46582
7.25/6.74	c cleaning 9986 clauses out of 20064 with flag 371666/57584
9.04/8.57	c cleaning 10990 clauses out of 22078 with flag 461692/69584
11.15/10.67	c cleaning 11998 clauses out of 24087 with flag 558076/82583
13.89/13.31	c cleaning 12997 clauses out of 26089 with flag 651646/96583
16.98/16.49	c cleaning 14002 clauses out of 28093 with flag 750055/111584
20.39/19.85	c cleaning 14994 clauses out of 30089 with flag 856334/127582
24.79/24.24	c cleaning 16001 clauses out of 32098 with flag 993306/144585
29.19/28.64	c cleaning 16999 clauses out of 34095 with flag 1126572/162583
33.22/32.68	c cleaning 18001 clauses out of 36096 with flag 1252213/181583
37.82/37.25	c cleaning 18996 clauses out of 38096 with flag 1386495/201584
42.92/42.30	c cleaning 20003 clauses out of 40101 with flag 1529243/222585
49.03/48.50	c cleaning 21002 clauses out of 42098 with flag 1680616/244585
55.40/54.69	c cleaning 22000 clauses out of 44095 with flag 1835025/267584
62.80/62.08	c cleaning 23000 clauses out of 46093 with flag 2008037/291582
70.70/70.00	c cleaning 23997 clauses out of 48093 with flag 2194707/316582
79.00/78.23	c cleaning 24998 clauses out of 50096 with flag 2368909/342582
88.91/88.01	c cleaning 26002 clauses out of 52098 with flag 2551649/369582
98.81/98.00	c cleaning 26997 clauses out of 54096 with flag 2755600/397582
109.91/109.06	c cleaning 27999 clauses out of 56099 with flag 2964908/426582
122.26/121.30	c cleaning 29005 clauses out of 58101 with flag 3185263/456583
131.27/130.26	c cleaning 30027 clauses out of 60097 with flag 3417711/487584
138.87/137.82	c cleaning 31010 clauses out of 62070 with flag 3650963/519584
147.02/145.81	c cleaning 32009 clauses out of 64062 with flag 3890584/552586
155.92/154.74	c cleaning 33006 clauses out of 66052 with flag 4171845/586585
165.51/164.38	c cleaning 34001 clauses out of 68043 with flag 4470965/621582
174.83/173.50	c cleaning 34995 clauses out of 70042 with flag 4745591/657582
182.03/180.70	c cleaning 36005 clauses out of 72047 with flag 5001942/694582
190.38/188.91	c cleaning 37001 clauses out of 74042 with flag 5277252/732582
202.79/201.30	c cleaning 37999 clauses out of 76042 with flag 5560197/771583
215.71/214.14	c cleaning 39004 clauses out of 78045 with flag 5845458/811585
228.51/226.91	c cleaning 39998 clauses out of 80039 with flag 6124413/852583
243.61/241.95	c cleaning 41001 clauses out of 82041 with flag 6398135/894583
252.89/251.12	c cleaning 41985 clauses out of 84041 with flag 6701477/937584
278.51/276.54	c cleaning 42728 clauses out of 86056 with flag 7228756/981584
293.90/291.84	c cleaning 44138 clauses out of 88326 with flag 7578085/1026582
309.05/306.92	c cleaning 45072 clauses out of 90188 with flag 7921191/1072582
326.24/324.07	c cleaning 46035 clauses out of 92116 with flag 8239764/1119582
343.33/341.10	c cleaning 47015 clauses out of 94084 with flag 8593216/1167585
361.53/359.19	c cleaning 48009 clauses out of 96066 with flag 8971003/1216582
379.31/376.84	c cleaning 49004 clauses out of 98058 with flag 9354078/1266583
398.61/396.04	c cleaning 50003 clauses out of 100053 with flag 9765483/1317582
418.56/415.65	c cleaning 50648 clauses out of 102050 with flag 10358090/1369582
441.19/437.88	c cleaning 51889 clauses out of 104403 with flag 10904557/1422583
454.44/450.95	c cleaning 53206 clauses out of 106514 with flag 11248230/1476583
474.05/470.44	c cleaning 54101 clauses out of 108309 with flag 11592785/1531584
497.47/493.66	c cleaning 55049 clauses out of 110206 with flag 12067013/1587582
522.48/518.58	c cleaning 56023 clauses out of 112157 with flag 12508347/1644582
546.55/542.45	c cleaning 57012 clauses out of 114136 with flag 12933449/1702584
559.27/554.98	c cleaning 58027 clauses out of 116123 with flag 13331931/1761583
575.46/571.05	c cleaning 59027 clauses out of 118095 with flag 13769643/1821582
597.80/593.29	c cleaning 59995 clauses out of 120068 with flag 14201519/1882582
614.60/609.82	c cleaning 61010 clauses out of 122074 with flag 14610724/1944583
635.42/630.59	c cleaning 62014 clauses out of 124064 with flag 15045307/2007583
666.15/661.04	c cleaning 63000 clauses out of 126050 with flag 15432199/2071583
699.53/694.21	c cleaning 64004 clauses out of 128050 with flag 15841388/2136583
734.25/728.89	c cleaning 65004 clauses out of 130045 with flag 16342124/2202582
771.89/766.15	c cleaning 66001 clauses out of 132041 with flag 16955696/2269582
807.91/802.00	c cleaning 67001 clauses out of 134042 with flag 17487090/2337584
844.42/838.22	c cleaning 67997 clauses out of 136039 with flag 18007167/2406582
879.57/873.20	c cleaning 69003 clauses out of 138043 with flag 18563707/2476583
907.64/901.07	c cleaning 70000 clauses out of 140039 with flag 19130183/2547582
943.41/936.61	c cleaning 71003 clauses out of 142040 with flag 19584790/2619583
982.11/975.07	c cleaning 72004 clauses out of 144037 with flag 20081445/2692583
1027.76/1020.48	c cleaning 72998 clauses out of 146032 with flag 20682293/2766582
1069.40/1061.64	c cleaning 73998 clauses out of 148034 with flag 21359524/2841582
1119.08/1111.02	c cleaning 74997 clauses out of 150036 with flag 22046477/2917582
1163.34/1154.93	c cleaning 76004 clauses out of 152043 with flag 22657216/2994586
1199.04/1190.28	c cleaning 77000 clauses out of 154040 with flag 23333978/3072587
1224.89/1215.68	c cleaning 78002 clauses out of 156037 with flag 23863124/3151584
1265.26/1255.43	c cleaning 78968 clauses out of 158033 with flag 24413729/3231582
1288.42/1278.23	c cleaning 80009 clauses out of 160066 with flag 24955692/3312583
1318.63/1308.06	c cleaning 81012 clauses out of 162057 with flag 25491841/3394583
1370.37/1359.34	c cleaning 82006 clauses out of 164044 with flag 26066696/3477582
1400.82/1389.12	c cleaning 82980 clauses out of 166041 with flag 26635227/3561585
1430.14/1417.84	c cleaning 84000 clauses out of 168060 with flag 27190483/3646584
1455.49/1442.73	c cleaning 84985 clauses out of 170059 with flag 27769985/3732583
1499.41/1486.26	c cleaning 86001 clauses out of 172073 with flag 28378713/3819582
1552.52/1538.83	c cleaning 87008 clauses out of 174072 with flag 28990149/3907582
1601.65/1587.35	c cleaning 88008 clauses out of 176065 with flag 29547288/3996583
1674.16/1659.19	c cleaning 89015 clauses out of 178056 with flag 30159708/4086582
1733.53/1718.07	c cleaning 89994 clauses out of 180043 with flag 30768460/4177584
1782.88/1766.81	c cleaning 91000 clauses out of 182048 with flag 31610819/4269583
1800.05/1783.50	c starts		: 3659
1800.05/1783.50	c conflicts		: 4329339
1800.05/1783.50	c decisions		: 11433135
1800.05/1783.50	c propagations		: 82677709
1800.05/1783.50	c inspects		: 29134593361
1800.05/1783.50	c shortcuts		: 0
1800.05/1783.50	c learnt literals	: 0
1800.05/1783.50	c learnt binary clauses	: 0
1800.05/1783.50	c learnt ternary clauses	: 0
1800.05/1783.50	c learnt constraints	: 4329339
1800.05/1783.50	c ignored constraints	: 0
1800.05/1783.50	c root simplifications	: 0
1800.05/1783.50	c removed literals (reason simplification)	: 0
1800.05/1783.50	c reason swapping (by a shorter reason)	: 0
1800.05/1783.50	c Calls to reduceDB	: 88
1800.05/1783.50	c Number of update (reduction) of LBD	: 2459674
1800.05/1783.50	c Imported unit clauses	: 0
1800.05/1783.50	c number of reductions to clauses (during analyze)	: 0
1800.05/1783.50	c number of learned constraints concerned by reduction	: 0
1800.05/1783.50	c number of learning phase by resolution	: 0
1800.05/1783.50	c number of learning phase by cutting planes	: 0
1800.05/1783.50	c speed (assignments/second)	: 46362.66950487921
1800.05/1783.50	c non guided choices	88070
1800.05/1783.53	c learnt constraints type 
1800.05/1783.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150805
1800.05/1783.53	s SATISFIABLE
1800.05/1783.53	c Found 3 solution(s)
1800.05/1783.55	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 
1800.05/1783.55	c objective function=1
1800.05/1783.55	c Total wall clock time (in seconds): 1783.447

Verifier Data 

OK	1

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-4090632-1466063950/watcher-4090632-1466063950 -o /tmp/evaluation-result-4090632-1466063950/solver-4090632-1466063950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11146 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090632-1466063950.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.13 1.86 4/194 11501
/proc/meminfo: memFree=31519620/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 8440662 98570240 978 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 24065 978 744 9 0 16771 0
[pid=11501/tid=11502] ppid=11498 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 8440662 98570240 978 33554432000 1073741824 1073778376 140734525782464 139721557413416 206629062016 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.23 2.13 1.86 4/194 11501
/proc/meminfo: memFree=31519620/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 4490 0 1 0 10 1 0 0 20 0 18 0 8440662 9787879424 6120 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2389619 6120 2157 9 0 2380296 0
[pid=11501/tid=11502] ppid=11498 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2378 0 1 0 8 0 0 0 20 0 18 0 8440662 9787879424 6120 33554432000 1073741824 1073778376 140734525782464 139721557417048 139721409946323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200275 s]
/proc/loadavg: 2.23 2.13 1.86 4/194 11501
/proc/meminfo: memFree=31519620/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 4970 0 1 0 28 1 0 0 20 0 18 0 8440662 9787879424 7469 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2389619 7469 2217 9 0 2380296 0
[pid=11501/tid=11502] ppid=11498 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2396 0 1 0 18 0 0 0 20 0 18 0 8440662 9787879424 7469 33554432000 1073741824 1073778376 140734525782464 139721557416792 139721560703878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300259 s]
/proc/loadavg: 2.23 2.13 1.86 4/194 11501
/proc/meminfo: memFree=31519620/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 6258 0 1 0 55 2 0 0 20 0 19 0 8440662 9856040960 8620 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 8620 2246 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2411 0 1 0 26 2 0 0 20 0 19 0 8440662 9856040960 8620 33554432000 1073741824 1073778376 140734525782464 139721557418624 139721410090412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9625040

[startup+0.700325 s]
/proc/loadavg: 2.23 2.13 1.86 4/194 11501
/proc/meminfo: memFree=31519620/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 7341 0 1 0 111 2 0 0 20 0 19 0 8440662 9856040960 10504 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 10504 2252 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2414 0 1 0 66 2 0 0 20 0 19 0 8440662 9856040960 10504 33554432000 1073741824 1073778376 140734525782464 139721557418624 139721409914700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.37 2.17 1.87 3/213 11520
/proc/meminfo: memFree=31461548/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 7733 0 1 0 200 2 0 0 20 0 19 0 8440662 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 14162 2259 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2422 0 1 0 146 2 0 0 20 0 19 0 8440662 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721557418152 139721410081953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2661 0 0 0 32 0 0 0 20 0 19 0 8440666 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1373 0 0 0 20 0 0 0 20 0 19 0 8440666 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 14162 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.37 2.17 1.87 3/213 11520
/proc/meminfo: memFree=31432752/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=3.64 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 7748 0 1 0 361 3 0 0 20 0 19 0 8440662 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 17753 2259 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2430 0 1 0 306 2 0 0 20 0 19 0 8440662 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721557418312 139721410349824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 33 0 0 0 20 0 19 0 8440666 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1373 0 0 0 20 0 0 0 20 0 19 0 8440666 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 17753 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.34 2.16 1.87 3/213 11520
/proc/meminfo: memFree=31356596/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=6.85 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 7772 0 1 0 682 3 0 0 20 0 19 0 8440662 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 28932 2260 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2453 0 1 0 625 3 0 0 20 0 19 0 8440662 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721557409472 139721410351010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440663 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 34 0 0 0 20 0 19 0 8440666 9856040960 28932 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.2 cores=0,2,4,6

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

[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 34 0 0 0 20 0 19 0 8440666 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1899 0 0 0 22 0 0 0 20 0 19 0 8440666 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 100 0 0 0 23 28 0 0 20 0 19 0 8440666 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 126792 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1737.9
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.07 3/213 11654
/proc/meminfo: memFree=30882912/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=1798.81 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 29633 0 1 0 179719 162 0 0 20 0 19 0 8440662 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 113090 2282 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=1770.82 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2787 0 1 0 177050 32 0 0 20 0 19 0 8440662 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721557417072 139721410344915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 2556 0 0 0 259 16 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 2467 0 0 0 254 16 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 3001 0 0 0 266 18 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 3140 0 0 0 267 20 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 2916 0 0 0 257 16 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 2112 0 0 0 269 15 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 2313 0 0 0 264 16 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 1197 0 0 0 270 14 0 0 20 0 19 0 8440663 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=5.05 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 1210 0 0 0 500 5 0 0 20 0 19 0 8440664 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 34 0 0 0 20 0 19 0 8440666 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1899 0 0 0 22 0 0 0 20 0 19 0 8440666 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 104 0 0 0 24 28 0 0 20 0 19 0 8440666 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 113090 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.5 s]
/proc/loadavg: 2.14 2.12 2.07 3/213 11654
/proc/meminfo: memFree=30883056/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 30401 0 1 0 179842 163 0 0 20 0 19 0 8440662 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 114368 2282 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=1772 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2788 0 1 0 177168 32 0 0 20 0 19 0 8440662 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721557417304 139721410350662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 2744 0 0 0 259 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 2795 0 0 0 255 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=2.86 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 3228 0 0 0 268 18 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 3140 0 0 0 267 20 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 2916 0 0 0 257 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 2112 0 0 0 269 15 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 2337 0 0 0 265 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 1197 0 0 0 270 14 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=5.05 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 1210 0 0 0 500 5 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 34 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1899 0 0 0 22 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 104 0 0 0 24 28 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 11501 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1783.5 s]
/proc/loadavg: 2.14 2.12 2.07 3/213 11654
/proc/meminfo: memFree=30883056/32872528 swapFree=532956/565660
[pid=11501] ppid=11498 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/11501/stat : 11501 (java) S 11498 11501 11130 0 -1 4202496 30401 0 1 0 179842 163 0 0 20 0 19 0 8440662 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 140734525773600 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11501/statm: 2406260 114368 2282 9 0 2396937 0
[pid=11501/tid=11502] ppid=11498 vsize=9625040 CPUtime=1772 cores=0,2,4,6
/proc/11501/task/11502/stat : 11502 (java) R 11498 11501 11130 0 -1 4202560 2788 0 1 0 177168 32 0 0 20 0 19 0 8440662 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721557417304 139721410350662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11504] ppid=11498 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/11501/task/11504/stat : 11504 (java) S 11498 11501 11130 0 -1 4202560 2744 0 0 0 259 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721529870760 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11505] ppid=11498 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/11501/task/11505/stat : 11505 (java) S 11498 11501 11130 0 -1 4202560 2795 0 0 0 255 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721528818216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11506] ppid=11498 vsize=9625040 CPUtime=2.86 cores=0,2,4,6
/proc/11501/task/11506/stat : 11506 (java) S 11498 11501 11130 0 -1 4202560 3228 0 0 0 268 18 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721398855848 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11501/tid=11507] ppid=11498 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/11501/task/11507/stat : 11507 (java) S 11498 11501 11130 0 -1 4202560 3140 0 0 0 267 20 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721397803304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11508] ppid=11498 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/11501/task/11508/stat : 11508 (java) S 11498 11501 11130 0 -1 4202560 2916 0 0 0 257 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721396751272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11509] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11509/stat : 11509 (java) S 11498 11501 11130 0 -1 4202560 2112 0 0 0 269 15 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721395698728 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11510] ppid=11498 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/11501/task/11510/stat : 11510 (java) S 11498 11501 11130 0 -1 4202560 2337 0 0 0 265 16 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139721394645672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11511] ppid=11498 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/11501/task/11511/stat : 11511 (java) S 11498 11501 11130 0 -1 4202560 1197 0 0 0 270 14 0 0 20 0 19 0 8440663 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720923278120 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11512] ppid=11498 vsize=9625040 CPUtime=5.05 cores=0,2,4,6
/proc/11501/task/11512/stat : 11512 (java) S 11498 11501 11130 0 -1 4202560 1210 0 0 0 500 5 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720911079784 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11513] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11513/stat : 11513 (java) S 11498 11501 11130 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720910026104 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11514] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11514/stat : 11514 (java) S 11498 11501 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8440664 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720908972936 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11515] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11515/stat : 11515 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720907921680 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11516] ppid=11498 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/11501/task/11516/stat : 11516 (java) S 11498 11501 11130 0 -1 4202560 2668 0 0 0 34 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720906869560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11517] ppid=11498 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/11501/task/11517/stat : 11517 (java) S 11498 11501 11130 0 -1 4202560 1899 0 0 0 22 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720905817016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11501/tid=11518] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11518/stat : 11518 (java) S 11498 11501 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720904764152 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11501/tid=11519] ppid=11498 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/11501/task/11519/stat : 11519 (java) S 11498 11501 11130 0 -1 4202560 104 0 0 0 24 28 0 0 20 0 19 0 8440666 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720903711816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11501/tid=11520] ppid=11498 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11501/task/11520/stat : 11520 (java) S 11498 11501 11130 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440684 9856040960 114368 33554432000 1073741824 1073778376 140734525782464 139720902558760 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1783.56
CPU time (s): 1800.92
CPU user time (s): 1798.82
CPU system time (s): 2.10268
CPU usage (%): 100.973
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 2.10268
maximum resident set size= 772252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30449
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47447
involuntary context switches= 40692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3134 second user time and 13.402 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 09:59:10
IDJOB=4090632
IDBENCH=78721
IDSOLVER=2551
FILE ID=node138/4090632-1466063950
RUNJOBID= node138-1466062110-11146
PBS_JOBID= 19904002
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090632-1466063950/watcher-4090632-1466063950 -o /tmp/evaluation-result-4090632-1466063950/solver-4090632-1466063950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466062110-11146 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090632-1466063950.wbo

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

MD5SUM BENCH= 153666059db7da507c96674bc7662476
RANDOM SEED=908136431

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31521048 kB
Buffers:            4036 kB
Cached:            36308 kB
SwapCached:         1188 kB
Active:            54748 kB
Inactive:          19772 kB
Active(anon):      35216 kB
Inactive(anon):     1452 kB
Active(file):      19532 kB
Inactive(file):    18320 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099616 kB
Dirty:              1280 kB
Writeback:             0 kB
AnonPages:        652928 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             565216 kB
SReclaimable:       8708 kB
SUnreclaim:       556508 kB
KernelStack:        1760 kB
PageTables:         5708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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 node138 at 2016-06-16 10:28:54