Trace number 4085722

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)-31 1800.07 1779.85

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
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 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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-4085722-1465279416.opb
0.11/0.10	c reading problem ... 
0.11/0.11	c  objective function found
0.88/0.47	c ... done. Wall clock time 0.361s.
0.88/0.47	c declared #vars     900
0.88/0.47	c #constraints  960
0.88/0.47	c constraints type 
0.88/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 960
0.88/0.47	c 960 constraints processed.
0.88/0.47	c objective function length is 900 literals
0.88/0.49	c SATISFIABLE
0.88/0.49	c OPTIMIZING...
0.88/0.49	c Got one! Elapsed wall clock time (in seconds):0.386
0.88/0.49	o -28
1.04/0.51	c Got one! Elapsed wall clock time (in seconds):0.403
1.04/0.51	o -29
1.04/0.53	c Got one! Elapsed wall clock time (in seconds):0.423
1.04/0.53	o -30
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.512
1.31/0.62	o -31
2.34/1.55	c cleaning 2642 clauses out of 5284 with flag 11121/5284
3.42/2.51	c cleaning 4323 clauses out of 8645 with flag 24370/11287
4.63/3.70	c cleaning 5655 clauses out of 11318 with flag 39734/18283
6.08/5.17	c cleaning 6830 clauses out of 13663 with flag 57110/26283
7.81/6.82	c cleaning 7916 clauses out of 15834 with flag 77026/35284
9.78/8.76	c cleaning 8956 clauses out of 17917 with flag 98874/45283
12.18/11.10	c cleaning 9981 clauses out of 19961 with flag 122801/56283
14.78/13.56	c cleaning 10988 clauses out of 21980 with flag 148979/68283
17.75/16.37	c cleaning 11993 clauses out of 23992 with flag 177194/81283
20.85/19.41	c cleaning 12997 clauses out of 25999 with flag 208650/95283
24.58/22.99	c cleaning 14000 clauses out of 28002 with flag 241435/110283
28.38/26.74	c cleaning 14998 clauses out of 30003 with flag 276250/126284
32.78/30.97	c cleaning 15999 clauses out of 32004 with flag 313286/143283
37.18/35.33	c cleaning 16999 clauses out of 34006 with flag 352432/161284
41.97/40.17	c cleaning 18002 clauses out of 36008 with flag 393632/180285
47.39/45.24	c cleaning 19001 clauses out of 38004 with flag 437562/200283
52.39/50.22	c cleaning 19997 clauses out of 40003 with flag 483343/221283
58.30/56.14	c cleaning 20999 clauses out of 42006 with flag 530948/243283
64.79/62.35	c cleaning 22002 clauses out of 44007 with flag 581271/266283
71.19/68.76	c cleaning 22997 clauses out of 46005 with flag 633369/290283
78.20/75.72	c cleaning 23998 clauses out of 48008 with flag 686838/315283
85.84/83.14	c cleaning 25001 clauses out of 50010 with flag 742736/341283
94.04/91.32	c cleaning 25998 clauses out of 52010 with flag 802133/368284
102.74/100.05	c cleaning 27006 clauses out of 54012 with flag 863099/396284
111.46/108.45	c cleaning 28004 clauses out of 56007 with flag 926527/425285
120.06/117.07	c cleaning 29000 clauses out of 58003 with flag 992174/455285
130.44/127.30	c cleaning 29992 clauses out of 60002 with flag 1059974/486284
140.54/137.44	c cleaning 31001 clauses out of 62012 with flag 1129245/518286
151.97/148.63	c cleaning 32002 clauses out of 64008 with flag 1202683/551283
163.97/160.66	c cleaning 33001 clauses out of 66008 with flag 1277404/585285
177.27/173.68	c cleaning 33997 clauses out of 68005 with flag 1354143/620283
189.58/185.95	c cleaning 35004 clauses out of 70013 with flag 1432306/656288
202.79/199.09	c cleaning 35996 clauses out of 72004 with flag 1514612/693283
215.99/212.27	c cleaning 37004 clauses out of 74008 with flag 1597112/731283
230.09/226.11	c cleaning 38001 clauses out of 76004 with flag 1681858/770283
244.29/240.38	c cleaning 39000 clauses out of 78003 with flag 1768534/810283
259.55/255.58	c cleaning 40002 clauses out of 80005 with flag 1857106/851285
276.46/272.34	c cleaning 40993 clauses out of 82001 with flag 1948766/893283
293.77/289.55	c cleaning 42004 clauses out of 84009 with flag 2042589/936284
311.21/306.81	c cleaning 42999 clauses out of 86005 with flag 2138741/980284
327.11/322.71	c cleaning 44003 clauses out of 88007 with flag 2236908/1025285
344.57/340.14	c cleaning 44996 clauses out of 90002 with flag 2337147/1071283
363.09/358.57	c cleaning 46004 clauses out of 92007 with flag 2439912/1118284
382.81/378.14	c cleaning 46994 clauses out of 94003 with flag 2544419/1166284
402.28/397.33	c cleaning 48005 clauses out of 96010 with flag 2651047/1215285
422.60/417.51	c cleaning 49003 clauses out of 98007 with flag 2758845/1265287
444.72/439.56	c cleaning 49998 clauses out of 100000 with flag 2870553/1316283
465.09/459.78	c cleaning 50993 clauses out of 102003 with flag 2984601/1368284
487.53/481.95	c cleaning 51998 clauses out of 104011 with flag 3099774/1421285
511.23/505.59	c cleaning 53003 clauses out of 106012 with flag 3216926/1475284
535.96/530.16	c cleaning 54003 clauses out of 108008 with flag 3337909/1530283
560.90/554.91	c cleaning 55004 clauses out of 110008 with flag 3461050/1586286
586.89/580.74	c cleaning 56000 clauses out of 112001 with flag 3585275/1643283
612.58/606.29	c cleaning 56997 clauses out of 114001 with flag 3712251/1701283
639.42/632.84	c cleaning 58000 clauses out of 116006 with flag 3840372/1760285
667.98/661.09	c cleaning 58995 clauses out of 118004 with flag 3970458/1820283
697.47/690.38	c cleaning 60001 clauses out of 120010 with flag 4101175/1881284
728.13/720.68	c cleaning 61000 clauses out of 122009 with flag 4234662/1943284
760.41/752.50	c cleaning 62003 clauses out of 124011 with flag 4369668/2006286
795.75/787.51	c cleaning 62997 clauses out of 126005 with flag 4508496/2070283
833.60/825.09	c cleaning 64001 clauses out of 128008 with flag 4647394/2135283
869.52/860.53	c cleaning 64998 clauses out of 130008 with flag 4789355/2201284
908.58/899.15	c cleaning 66005 clauses out of 132011 with flag 4933812/2268285
945.92/936.14	c cleaning 66996 clauses out of 134004 with flag 5080526/2336283
985.30/975.00	c cleaning 68002 clauses out of 136010 with flag 5229470/2405285
1024.47/1013.76	c cleaning 68996 clauses out of 138006 with flag 5382014/2475283
1062.47/1051.24	c cleaning 70000 clauses out of 140010 with flag 5537803/2546283
1103.88/1092.01	c cleaning 71004 clauses out of 142011 with flag 5694736/2618284
1147.13/1134.76	c cleaning 71993 clauses out of 144006 with flag 5853764/2691283
1189.47/1176.63	c cleaning 73003 clauses out of 146016 with flag 6014222/2765286
1233.85/1220.41	c cleaning 74004 clauses out of 148011 with flag 6177089/2840284
1278.40/1264.42	c cleaning 75004 clauses out of 150007 with flag 6342097/2916284
1324.06/1309.61	c cleaning 75994 clauses out of 152002 with flag 6509795/2993283
1371.16/1356.03	c cleaning 77003 clauses out of 154009 with flag 6679448/3071284
1419.87/1404.27	c cleaning 77995 clauses out of 156006 with flag 6851413/3150284
1472.24/1455.81	c cleaning 79001 clauses out of 158011 with flag 7026305/3230284
1526.23/1509.26	c cleaning 80004 clauses out of 160011 with flag 7202389/3311285
1579.28/1561.62	c cleaning 81003 clauses out of 162006 with flag 7381068/3393284
1629.33/1611.04	c cleaning 81996 clauses out of 164002 with flag 7562024/3476283
1687.29/1668.37	c cleaning 83000 clauses out of 166008 with flag 7744495/3560285
1741.92/1722.29	c cleaning 84003 clauses out of 168008 with flag 7928029/3645285
1800.07/1779.81	c starts		: 30
1800.07/1779.81	c conflicts		: 3730896
1800.07/1779.81	c decisions		: 4389886
1800.07/1779.81	c propagations		: 31775169
1800.07/1779.81	c inspects		: 21093238684
1800.07/1779.81	c shortcuts		: 0
1800.07/1779.81	c learnt literals	: 0
1800.07/1779.81	c learnt binary clauses	: 0
1800.07/1779.81	c learnt ternary clauses	: 0
1800.07/1779.81	c learnt constraints	: 3730896
1800.07/1779.81	c ignored constraints	: 0
1800.07/1779.81	c root simplifications	: 0
1800.07/1779.81	c removed literals (reason simplification)	: 0
1800.07/1779.81	c reason swapping (by a shorter reason)	: 0
1800.07/1779.81	c Calls to reduceDB	: 81
1800.07/1779.81	c Number of update (reduction) of LBD	: 270486
1800.07/1779.81	c Imported unit clauses	: 0
1800.07/1779.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1779.81	c number of learned constraints concerned by reduction	: 0
1800.07/1779.81	c number of learning phase by resolution	: 0
1800.07/1779.81	c number of learning phase by cutting planes	: 0
1800.07/1779.81	c speed (assignments/second)	: 17857.85002183395
1800.07/1779.81	c non guided choices	0
1800.07/1779.84	c learnt constraints type 
1800.07/1779.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 169616
1800.07/1779.84	s SATISFIABLE
1800.07/1779.84	c Found 4 solution(s)
1800.07/1779.84	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 
1800.07/1779.84	c objective function=-31
1800.07/1779.84	c Total wall clock time (in seconds): 1779.734

Verifier Data 

OK	-31

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

pid=13365
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.31 2.24 2.19 4/194 13368
/proc/meminfo: memFree=29535316/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 109874786 98570240 976 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 24065 976 743 9 0 16771 0
[pid=13368/tid=13369] ppid=13365 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 109874787 98570240 977 33554432000 1073741824 1073778376 140736081059360 140139395845672 260190324096 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100068 s]
/proc/loadavg: 2.31 2.24 2.19 4/194 13368
/proc/meminfo: memFree=29535316/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 4428 0 1 0 10 1 0 0 20 0 18 0 109874786 9787879424 6047 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2389619 6047 2140 9 0 2380296 0
[pid=13368/tid=13369] ppid=13365 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2369 0 1 0 7 0 0 0 20 0 18 0 109874787 9787879424 6047 33554432000 1073741824 1073778376 140736081059360 140139395849120 260193707277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200305 s]
/proc/loadavg: 2.31 2.24 2.19 4/194 13368
/proc/meminfo: memFree=29535316/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 5008 0 1 0 29 1 0 0 20 0 18 0 109874786 9787879424 7013 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2389619 7013 2220 9 0 2380296 0
[pid=13368/tid=13369] ppid=13365 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2391 0 1 0 17 0 0 0 20 0 18 0 109874787 9787879424 7013 33554432000 1073741824 1073778376 140736081059360 140139395849120 140139229686832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300279 s]
/proc/loadavg: 2.31 2.24 2.19 4/194 13368
/proc/meminfo: memFree=29535316/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 9592 0 1 0 57 1 0 0 20 0 18 0 109874786 9787879424 11637 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2389619 11637 2235 9 0 2380296 0
[pid=13368/tid=13369] ppid=13365 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2395 0 1 0 27 0 0 0 20 0 18 0 109874787 9787879424 11637 33554432000 1073741824 1073778376 140736081059360 140139395849120 140139399136208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.70033 s]
/proc/loadavg: 2.31 2.24 2.19 4/194 13368
/proc/meminfo: memFree=29535316/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 10419 0 1 0 144 3 0 0 20 0 19 0 109874786 9856040960 28447 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 28447 2265 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2438 0 1 0 65 2 0 0 20 0 19 0 109874787 9856040960 28447 33554432000 1073741824 1073778376 140736081059360 140139395850536 140139229878222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.31 2.24 2.19 3/213 13387
/proc/meminfo: memFree=29409132/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=2.34 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 10467 0 1 0 230 4 0 0 20 0 19 0 109874786 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 38714 2269 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2459 0 1 0 145 2 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139395850696 140139230302080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109874788 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3747 0 0 0 46 0 0 0 20 0 19 0 109874791 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/13368/task/13384/stat : 13384 (java) S 13365 13368 5965 0 -1 4202560 2989 0 0 0 36 0 0 0 20 0 19 0 109874791 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140139214653752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13385] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13385/stat : 13385 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140138340411768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13386] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13386/stat : 13386 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140138339359176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13387] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 38714 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.29 2.24 2.19 3/213 13387
/proc/meminfo: memFree=29357076/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 10531 0 1 0 398 5 0 0 20 0 19 0 109874786 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 46420 2287 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2470 0 1 0 302 3 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139395850728 140139230217291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109874788 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3751 0 0 0 50 0 0 0 20 0 19 0 109874791 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/13368/task/13384/stat : 13384 (java) S 13365 13368 5965 0 -1 4202560 2994 0 0 0 38 0 0 0 20 0 19 0 109874791 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140139214653752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13385] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13385/stat : 13385 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140138340411768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13386] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13386/stat : 13386 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140138339359176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13387] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 46420 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.29 2.24 2.19 3/213 13387
/proc/meminfo: memFree=29316832/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=7.31 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 11076 0 1 0 723 8 0 0 20 0 19 0 109874786 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 56608 2287 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2473 0 1 0 619 3 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139395850520 140139230217273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 181 0 0 0 1 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 19 0 109874787 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 109874788 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3751 0 0 0 50 0 0 0 20 0 19 0 109874791 9856040960 56608 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.41 cores=1,3,5,7

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

/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 179801 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1620.47
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.25 3/213 13496
/proc/meminfo: memFree=26465016/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=1681.26 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 27116 0 1 0 167795 331 0 0 20 0 19 0 109874786 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 200551 2296 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=1645.57 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2869 0 1 0 164524 33 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139395849440 140139230144988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=3.09 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 1418 0 0 0 270 39 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 1728 0 0 0 279 34 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 1521 0 0 0 275 33 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 1415 0 0 0 284 34 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 1221 0 0 0 266 40 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 1663 0 0 0 263 35 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=2.92 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 2268 0 0 0 260 32 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=3.27 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 2170 0 0 0 289 38 0 0 20 0 19 0 109874787 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=5.32 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 2741 0 0 0 525 7 0 0 20 0 19 0 109874788 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3751 0 0 0 50 0 0 0 20 0 19 0 109874791 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13368/task/13384/stat : 13384 (java) S 13365 13368 5965 0 -1 4202560 2997 0 0 0 44 0 0 0 20 0 19 0 109874791 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140139214653752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13385] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13385/stat : 13385 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140138340411768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13386] ppid=13365 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13368/task/13386/stat : 13386 (java) S 13365 13368 5965 0 -1 4202560 97 0 0 0 27 34 0 0 20 0 19 0 109874791 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140138339359176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13387] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 200551 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1681.26
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.23 2.25 4/213 13497
/proc/meminfo: memFree=26434736/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=1742.02 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 28626 0 1 0 173855 347 0 0 20 0 19 0 109874786 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 208490 2296 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=1704.72 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2885 0 1 0 170439 33 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139395849424 140139230300366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 1586 0 0 0 280 40 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 1747 0 0 0 287 36 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 1654 0 0 0 286 34 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 1830 0 0 0 298 35 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 1382 0 0 0 278 42 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=3.12 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 1695 0 0 0 275 37 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 2469 0 0 0 272 33 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 2365 0 0 0 301 40 0 0 20 0 19 0 109874787 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=5.72 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 2909 0 0 0 564 8 0 0 20 0 19 0 109874788 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3751 0 0 0 50 0 0 0 20 0 19 0 109874791 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13368/task/13384/stat : 13384 (java) S 13365 13368 5965 0 -1 4202560 2997 0 0 0 44 0 0 0 20 0 19 0 109874791 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140139214653752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13385] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13385/stat : 13385 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140138340411768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13386] ppid=13365 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/13368/task/13386/stat : 13386 (java) S 13365 13368 5965 0 -1 4202560 99 0 0 0 28 36 0 0 20 0 19 0 109874791 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140138339359176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13387] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 208490 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1742.02
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.8 s]
/proc/loadavg: 2.31 2.26 2.26 4/213 13498
/proc/meminfo: memFree=26485736/32872528 swapFree=16360/1798728
[pid=13368] ppid=13365 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/13368/stat : 13368 (java) S 13365 13368 5965 0 -1 4202496 28819 0 1 0 179658 349 0 0 20 0 19 0 109874786 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140736081050496 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13368/statm: 2406260 195711 2296 9 0 2396937 0
[pid=13368/tid=13369] ppid=13365 vsize=9625040 CPUtime=1761.58 cores=1,3,5,7
/proc/13368/task/13369/stat : 13369 (java) R 13365 13368 5965 0 -1 4202560 2898 0 1 0 176124 34 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139395849424 140139230326881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13371] ppid=13365 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/13368/task/13371/stat : 13371 (java) S 13365 13368 5965 0 -1 4202560 1586 0 0 0 288 40 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139357342760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13372] ppid=13365 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/13368/task/13372/stat : 13372 (java) S 13365 13368 5965 0 -1 4202560 1747 0 0 0 298 36 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139356289960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13373] ppid=13365 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/13368/task/13373/stat : 13373 (java) S 13365 13368 5965 0 -1 4202560 1654 0 0 0 299 34 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139355237160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13374] ppid=13365 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/13368/task/13374/stat : 13374 (java) S 13365 13368 5965 0 -1 4202560 1830 0 0 0 306 35 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139354184360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13375] ppid=13365 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/13368/task/13375/stat : 13375 (java) S 13365 13368 5965 0 -1 4202560 1382 0 0 0 287 42 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139353131560 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13376] ppid=13365 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/13368/task/13376/stat : 13376 (java) S 13365 13368 5965 0 -1 4202560 1695 0 0 0 283 37 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139352078760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13377] ppid=13365 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/13368/task/13377/stat : 13377 (java) S 13365 13368 5965 0 -1 4202560 2469 0 0 0 279 34 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139351025960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13378] ppid=13365 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/13368/task/13378/stat : 13378 (java) S 13365 13368 5965 0 -1 4202560 2365 0 0 0 311 40 0 0 20 0 19 0 109874787 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139349973160 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13379] ppid=13365 vsize=9625040 CPUtime=5.97 cores=1,3,5,7
/proc/13368/task/13379/stat : 13379 (java) S 13365 13368 5965 0 -1 4202560 3085 0 0 0 589 8 0 0 20 0 19 0 109874788 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139219917800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13368/tid=13380] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13380/stat : 13380 (java) S 13365 13368 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139218863864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13381] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13381/stat : 13381 (java) S 13365 13368 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109874789 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139217810952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13382] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13382/stat : 13382 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139216759440 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13383] ppid=13365 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13368/task/13383/stat : 13383 (java) S 13365 13368 5965 0 -1 4202560 3751 0 0 0 50 0 0 0 20 0 19 0 109874791 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139215706552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13368/tid=13384] ppid=13365 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/13368/task/13384/stat : 13384 (java) S 13365 13368 5965 0 -1 4202560 2997 0 0 0 44 0 0 0 20 0 19 0 109874791 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140139214653752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13385] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13385/stat : 13385 (java) S 13365 13368 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109874791 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140138340411768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13368/tid=13386] ppid=13365 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/13368/task/13386/stat : 13386 (java) S 13365 13368 5965 0 -1 4202560 103 0 0 0 29 37 0 0 20 0 19 0 109874791 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140138339359176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13368/tid=13387] ppid=13365 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13368/task/13387/stat : 13387 (java) S 13365 13368 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109874834 9856040960 195711 33554432000 1073741824 1073778376 140736081059360 140138338305704 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 13368 sig 9
??? kill -13368 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13368 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=68564
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=911405
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.85
CPU time (s): 1800.07
CPU user time (s): 1796.58
CPU system time (s): 3.49
CPU usage (%): 101.136
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.07
system time used= 3.9114
maximum resident set size= 1614152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28855
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46811
involuntary context switches= 45274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3831 second user time and 11.7422 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-07 08:03:36
IDJOB=4085722
IDBENCH=89874
IDSOLVER=2546
FILE ID=node123/4085722-1465279416
RUNJOBID= node123-1465255130-5982
PBS_JOBID= 19843274
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085722-1465279416/watcher-4085722-1465279416 -o /tmp/evaluation-result-4085722-1465279416/solver-4085722-1465279416 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5982 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085722-1465279416.opb

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=1340262221

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:        29535224 kB
Buffers:          107516 kB
Cached:           139556 kB
SwapCached:         1808 kB
Active:           601072 kB
Inactive:         178656 kB
Active(anon):     533032 kB
Inactive(anon):     2104 kB
Active(file):      68040 kB
Inactive(file):   176552 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098808 kB
Dirty:              1536 kB
Writeback:             0 kB
AnonPages:       2353252 kB
Mapped:            15332 kB
Shmem:                 0 kB
Slab:             600332 kB
SReclaimable:      43828 kB
SUnreclaim:       556504 kB
KernelStack:        1592 kB
PageTables:         8568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2752080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2312192 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= 71724 MiB
End job on node123 at 2016-06-07 08:33:16