Trace number 4085810

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-72 1800.08 1794.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4085810-1465260521.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
1.09/0.54	c ... done. Wall clock time 0.441s.
1.09/0.54	c declared #vars     1000
1.09/0.54	c internal #vars     7316
1.09/0.54	c #constraints  14134
1.09/0.54	c constraints type 
1.09/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316
1.09/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.09/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.09/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316
1.09/0.54	c 14134 constraints processed.
1.09/0.54	c objective function length is 500 literals
6.23/4.32	c cleaning 2497 clauses out of 5000 with flag 40738/5000
10.07/8.18	c cleaning 4247 clauses out of 8503 with flag 59767/11000
13.98/12.07	c cleaning 5621 clauses out of 11256 with flag 77089/18000
19.29/17.32	c cleaning 6817 clauses out of 13636 with flag 96830/26001
25.39/23.33	c cleaning 7907 clauses out of 15819 with flag 120205/35001
31.69/29.65	c cleaning 8955 clauses out of 17912 with flag 143720/45001
38.59/36.54	c cleaning 9976 clauses out of 19957 with flag 169606/56001
46.29/44.25	c cleaning 10990 clauses out of 21980 with flag 199842/68000
55.50/53.49	c cleaning 11995 clauses out of 23990 with flag 232432/81000
65.52/63.39	c cleaning 12997 clauses out of 25995 with flag 267875/95000
75.02/72.80	c cleaning 13995 clauses out of 27999 with flag 306036/110001
81.12/78.97	c cleaning 15001 clauses out of 30004 with flag 343140/126001
87.62/85.45	c cleaning 16001 clauses out of 32003 with flag 382628/143001
94.97/92.68	c cleaning 16998 clauses out of 34002 with flag 424478/161001
102.37/100.05	c cleaning 18000 clauses out of 36004 with flag 468080/180001
110.28/107.94	c cleaning 18999 clauses out of 38004 with flag 514367/200001
118.77/116.43	c cleaning 20002 clauses out of 40004 with flag 563454/221000
129.17/126.79	c cleaning 21001 clauses out of 42002 with flag 614816/243000
139.87/137.41	c cleaning 22001 clauses out of 44001 with flag 667619/266000
150.76/148.19	c cleaning 22997 clauses out of 46000 with flag 723787/290000
156.56/153.96	c SATISFIABLE
156.56/153.96	c OPTIMIZING...
156.56/153.96	c Got one! Elapsed wall clock time (in seconds):153.859
156.56/153.96	o -72
159.18/156.52	c cleaning 21142 clauses out of 42284 with flag 26388/309281
161.99/159.36	c cleaning 13571 clauses out of 27141 with flag 43410/315280
166.39/163.78	c cleaning 10284 clauses out of 20571 with flag 69825/322281
171.30/168.69	c cleaning 9136 clauses out of 18286 with flag 96690/330280
177.20/174.58	c cleaning 9068 clauses out of 18150 with flag 127009/339280
183.97/181.27	c cleaning 9541 clauses out of 19083 with flag 160935/349281
190.97/188.23	c cleaning 10270 clauses out of 20542 with flag 192681/360281
198.76/196.06	c cleaning 11134 clauses out of 22272 with flag 224315/372281
207.26/204.55	c cleaning 12066 clauses out of 24138 with flag 263420/385281
216.46/213.78	c cleaning 13032 clauses out of 26072 with flag 310042/399281
226.80/224.01	c cleaning 14020 clauses out of 28040 with flag 360769/414281
237.11/234.35	c cleaning 15003 clauses out of 30019 with flag 409150/430280
248.60/245.81	c cleaning 16005 clauses out of 32016 with flag 453934/447280
260.60/257.89	c cleaning 17003 clauses out of 34011 with flag 500792/465280
273.68/270.80	c cleaning 18000 clauses out of 36008 with flag 550349/484280
287.28/284.42	c cleaning 18999 clauses out of 38008 with flag 603154/504280
301.68/298.82	c cleaning 19999 clauses out of 40009 with flag 658482/525280
316.62/313.77	c cleaning 21004 clauses out of 42010 with flag 715463/547280
332.42/329.50	c cleaning 22002 clauses out of 44006 with flag 773404/570280
350.79/347.89	c cleaning 23001 clauses out of 46004 with flag 835977/594280
369.18/366.22	c cleaning 23999 clauses out of 48003 with flag 901806/619280
389.97/386.93	c cleaning 25001 clauses out of 50004 with flag 968631/645280
410.08/407.01	c cleaning 26002 clauses out of 52004 with flag 1039639/672281
433.81/430.68	c cleaning 26999 clauses out of 54002 with flag 1113003/700281
455.91/452.74	c cleaning 27997 clauses out of 56003 with flag 1188102/729281
478.93/475.61	c cleaning 29001 clauses out of 58006 with flag 1266755/759281
502.43/499.19	c cleaning 30002 clauses out of 60005 with flag 1347122/790281
530.07/526.79	c cleaning 31001 clauses out of 62003 with flag 1430414/822281
561.37/557.91	c cleaning 32000 clauses out of 64002 with flag 1517073/855281
589.66/586.26	c cleaning 32997 clauses out of 66002 with flag 1619531/889281
621.65/618.20	c cleaning 34003 clauses out of 68005 with flag 1734979/924281
657.03/653.45	c cleaning 35001 clauses out of 70002 with flag 1853811/960281
686.92/683.23	c cleaning 35992 clauses out of 72000 with flag 1963739/997280
719.61/715.90	c cleaning 37000 clauses out of 74008 with flag 2063549/1035280
752.65/748.91	c cleaning 37998 clauses out of 76008 with flag 2164603/1074280
788.76/785.08	c cleaning 39004 clauses out of 78010 with flag 2269503/1114280
828.37/824.64	c cleaning 39997 clauses out of 80006 with flag 2375621/1155280
870.53/866.70	c cleaning 41005 clauses out of 82009 with flag 2484915/1197280
913.32/909.46	c cleaning 41994 clauses out of 84004 with flag 2597480/1240280
949.73/945.70	c cleaning 42999 clauses out of 86010 with flag 2711532/1284280
990.15/986.16	c cleaning 44003 clauses out of 88011 with flag 2829553/1329280
1030.13/1026.09	c cleaning 45001 clauses out of 90008 with flag 2948632/1375280
1075.09/1070.98	c cleaning 46004 clauses out of 92008 with flag 3070686/1422281
1127.79/1123.55	c cleaning 47001 clauses out of 94004 with flag 3196901/1470281
1172.63/1168.25	c cleaning 48002 clauses out of 96003 with flag 3323677/1519281
1227.72/1223.27	c cleaning 49001 clauses out of 98001 with flag 3453611/1569281
1285.20/1280.59	c cleaning 49997 clauses out of 100000 with flag 3587673/1620281
1343.81/1339.06	c cleaning 50994 clauses out of 102003 with flag 3722827/1672281
1405.70/1400.82	c cleaning 52001 clauses out of 104009 with flag 3860925/1725281
1470.42/1465.49	c cleaning 53000 clauses out of 106008 with flag 4002314/1779281
1535.56/1530.41	c cleaning 53999 clauses out of 108008 with flag 4145577/1834281
1602.43/1597.19	c cleaning 54998 clauses out of 110009 with flag 4290793/1890281
1670.51/1665.05	c cleaning 56005 clauses out of 112011 with flag 4439212/1947281
1743.15/1737.54	c cleaning 57000 clauses out of 114006 with flag 4590575/2005281
1800.08/1794.30	c starts		: 76
1800.08/1794.30	c conflicts		: 2055074
1800.08/1794.30	c decisions		: 2658413
1800.08/1794.30	c propagations		: 1655525550
1800.08/1794.30	c inspects		: 22391104367
1800.08/1794.30	c shortcuts		: 0
1800.08/1794.30	c learnt literals	: 0
1800.08/1794.30	c learnt binary clauses	: 27
1800.08/1794.30	c learnt ternary clauses	: 634
1800.08/1794.30	c learnt constraints	: 2055074
1800.08/1794.30	c ignored constraints	: 0
1800.08/1794.30	c root simplifications	: 0
1800.08/1794.30	c removed literals (reason simplification)	: 0
1800.08/1794.30	c reason swapping (by a shorter reason)	: 0
1800.08/1794.30	c Calls to reduceDB	: 74
1800.08/1794.30	c Number of update (reduction) of LBD	: 413
1800.08/1794.30	c Imported unit clauses	: 0
1800.08/1794.30	c number of reductions to clauses (during analyze)	: 0
1800.08/1794.30	c number of learned constraints concerned by reduction	: 0
1800.08/1794.30	c number of learning phase by resolution	: 0
1800.08/1794.30	c number of learning phase by cutting planes	: 0
1800.08/1794.30	c speed (assignments/second)	: 922941.5877026273
1800.08/1794.30	c non guided choices	0
1800.08/1794.33	c learnt constraints type 
1800.08/1794.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 27
1800.08/1794.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106773
1800.08/1794.33	s SATISFIABLE
1800.08/1794.33	c Found 1 solution(s)
1800.08/1794.33	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 
1800.08/1794.33	c objective function=-72
1800.08/1794.33	c Total wall clock time (in seconds): 1794.23

Verifier Data 

OK	-72

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-4085810-1465260521/watcher-4085810-1465260521 -o /tmp/evaluation-result-4085810-1465260521/solver-4085810-1465260521 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085810-1465260521.opb 

pid=6708
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.22 2.20 2.18 4/194 6711
/proc/meminfo: memFree=30116172/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6711/stat : 6711 (java) R 6708 6711 5965 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 107985244 23793664 722 33554432000 1073741824 1073778376 140735116291904 140735116280968 140312957680459 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 5809 734 543 9 0 128 0

[startup+0.100061 s]
/proc/loadavg: 2.22 2.20 2.18 4/194 6711
/proc/meminfo: memFree=30116172/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 4478 0 1 0 9 1 0 0 20 0 18 0 107985244 9787879424 6109 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2389619 6109 2157 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 2.22 2.20 2.18 4/194 6711
/proc/meminfo: memFree=30116172/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 4731 0 1 0 24 1 0 0 20 0 18 0 107985244 9787879424 6825 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2389619 6825 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.22 2.20 2.18 4/194 6711
/proc/meminfo: memFree=30116172/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 6173 0 1 0 48 2 0 0 20 0 18 0 107985244 9787879424 9804 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2389619 9804 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700184 s]
/proc/loadavg: 2.22 2.20 2.18 4/194 6711
/proc/meminfo: memFree=30116172/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 25215 0 1 0 164 5 0 0 20 0 19 0 107985244 9856040960 37262 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 37262 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.22 2.20 2.18 6/213 6730
/proc/meminfo: memFree=29956540/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 32952 0 1 0 332 7 0 0 20 0 19 0 107985244 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 40472 2270 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2455 0 1 0 145 2 0 0 20 0 19 0 107985244 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312949654088 140312773928501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107985246 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13086 0 0 0 93 1 0 0 20 0 19 0 107985249 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16134 0 0 0 89 3 0 0 20 0 19 0 107985249 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 40472 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.22 2.20 2.18 3/213 6730
/proc/meminfo: memFree=29951200/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=5.03 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 32960 0 1 0 496 7 0 0 20 0 19 0 107985244 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 41500 2273 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2459 0 1 0 305 2 0 0 20 0 19 0 107985244 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312949651944 140312773928180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107985246 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13089 0 0 0 97 1 0 0 20 0 19 0 107985249 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16134 0 0 0 89 3 0 0 20 0 19 0 107985249 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 41500 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.21 2.20 2.18 3/213 6730
/proc/meminfo: memFree=29946968/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=8.25 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 32971 0 1 0 818 7 0 0 20 0 19 0 107985244 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 36822 2277 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2466 0 1 0 624 2 0 0 20 0 19 0 107985244 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312949651808 140312773928017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107985245 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107985246 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13093 0 0 0 98 1 0 0 20 0 19 0 107985249 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16134 0 0 0 90 3 0 0 20 0 19 0 107985249 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 36822 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 9625040


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

[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 161732 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.95
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/205 6854
/proc/meminfo: memFree=29586440/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=1787.98 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 36097 0 1 0 178715 83 0 0 20 0 19 0 107985244 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 161733 2299 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=1775.13 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2542 0 1 0 177481 32 0 0 20 0 19 0 107985244 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312949652672 140312774019793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 348 0 0 0 56 6 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 316 0 0 0 57 10 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 305 0 0 0 59 5 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 377 0 0 0 60 7 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 180 0 0 0 53 9 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 167 0 0 0 54 7 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 450 0 0 0 58 7 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 437 0 0 0 55 7 0 0 20 0 19 0 107985245 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 377 0 0 0 83 2 0 0 20 0 19 0 107985246 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13093 0 0 0 102 1 0 0 20 0 19 0 107985249 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16139 0 0 0 101 3 0 0 20 0 19 0 107985249 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 103 0 0 0 14 17 0 0 20 0 19 0 107985249 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 161733 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 2.04 2.18 2.17 3/214 6993
/proc/meminfo: memFree=29453036/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 36100 0 1 0 179925 83 0 0 20 0 19 0 107985244 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 160290 2299 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=1787.06 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2543 0 1 0 178673 33 0 0 20 0 19 0 107985244 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312949652672 140312773927678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 348 0 0 0 57 6 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 316 0 0 0 58 10 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 305 0 0 0 62 5 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 377 0 0 0 61 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 180 0 0 0 54 9 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 167 0 0 0 55 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 450 0 0 0 61 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 437 0 0 0 56 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 379 0 0 0 83 2 0 0 20 0 19 0 107985246 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13093 0 0 0 102 1 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16139 0 0 0 101 3 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 103 0 0 0 14 17 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6711 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.3 s]
/proc/loadavg: 2.04 2.18 2.17 3/214 6993
/proc/meminfo: memFree=29453036/32872528 swapFree=16360/1798728
[pid=6711] ppid=6708 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/6711/stat : 6711 (java) S 6708 6711 5965 0 -1 4202496 36100 0 1 0 179925 83 0 0 20 0 19 0 107985244 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140735116283040 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6711/statm: 2406260 160290 2299 9 0 2396937 0
[pid=6711/tid=6713] ppid=6708 vsize=9625040 CPUtime=1787.06 cores=0,2,4,6
/proc/6711/task/6713/stat : 6713 (java) R 6708 6711 5965 0 -1 4202560 2543 0 1 0 178673 33 0 0 20 0 19 0 107985244 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312949652672 140312773927678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6714] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6714/stat : 6714 (java) S 6708 6711 5965 0 -1 4202560 348 0 0 0 57 6 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312911145128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6715] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6715/stat : 6715 (java) S 6708 6711 5965 0 -1 4202560 316 0 0 0 58 10 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312910092584 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6716] ppid=6708 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/6711/task/6716/stat : 6716 (java) S 6708 6711 5965 0 -1 4202560 305 0 0 0 62 5 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312909040040 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6717] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6717/stat : 6717 (java) S 6708 6711 5965 0 -1 4202560 377 0 0 0 61 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312907987496 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6718] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6718/stat : 6718 (java) S 6708 6711 5965 0 -1 4202560 180 0 0 0 54 9 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312906934952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6719] ppid=6708 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6711/task/6719/stat : 6719 (java) S 6708 6711 5965 0 -1 4202560 167 0 0 0 55 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312905882408 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6720] ppid=6708 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/6711/task/6720/stat : 6720 (java) S 6708 6711 5965 0 -1 4202560 450 0 0 0 61 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312904829864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6721] ppid=6708 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/6711/task/6721/stat : 6721 (java) S 6708 6711 5965 0 -1 4202560 437 0 0 0 56 7 0 0 20 0 19 0 107985245 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312903777320 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6722] ppid=6708 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/6711/task/6722/stat : 6722 (java) S 6708 6711 5965 0 -1 4202560 379 0 0 0 83 2 0 0 20 0 19 0 107985246 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312773126248 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6711/tid=6723] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6723/stat : 6723 (java) S 6708 6711 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312772072568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6724] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6724/stat : 6724 (java) S 6708 6711 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107985247 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312771019912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6725] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6725/stat : 6725 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312769968656 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6726] ppid=6708 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/6711/task/6726/stat : 6726 (java) S 6708 6711 5965 0 -1 4202560 13093 0 0 0 102 1 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312768916024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6711/tid=6727] ppid=6708 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/6711/task/6727/stat : 6727 (java) S 6708 6711 5965 0 -1 4202560 16139 0 0 0 101 3 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312767863480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6728] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6728/stat : 6728 (java) S 6708 6711 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312766811128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6711/tid=6729] ppid=6708 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/6711/task/6729/stat : 6729 (java) S 6708 6711 5965 0 -1 4202560 103 0 0 0 14 17 0 0 20 0 19 0 107985249 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312765758792 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6711/tid=6730] ppid=6708 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6711/task/6730/stat : 6730 (java) S 6708 6711 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107985300 9856040960 160290 33554432000 1073741824 1073778376 140735116291904 140312764703528 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1794.34
CPU time (s): 1800.08
CPU user time (s): 1799.25
CPU system time (s): 0.83
CPU usage (%): 100.32
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.2828
maximum resident set size= 674204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36136
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39515
involuntary context switches= 28690

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90349 second user time and 12.7331 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-07 02:48:41
IDJOB=4085810
IDBENCH=48247
IDSOLVER=2546
FILE ID=node123/4085810-1465260521
RUNJOBID= node123-1465255130-5981
PBS_JOBID= 19843274
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053
RANDOM SEED=1219540663

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
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.117
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.117
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.57
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.117
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.117
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:        30116436 kB
Buffers:           32172 kB
Cached:            98660 kB
SwapCached:         1832 kB
Active:           156168 kB
Inactive:          81592 kB
Active(anon):     107388 kB
Inactive(anon):     2052 kB
Active(file):      48780 kB
Inactive(file):    79540 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098732 kB
Dirty:              1844 kB
Writeback:             0 kB
AnonPages:       1876088 kB
Mapped:            15416 kB
Shmem:                 0 kB
Slab:             567476 kB
SReclaimable:      11500 kB
SUnreclaim:       555976 kB
KernelStack:        1768 kB
PageTables:         8036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2487476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1832960 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 node123 at 2016-06-07 03:18:35