Trace number 4090537

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.01 1795.74

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM4fda08e2dc650152cad1c676f7fa8f96
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints54
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 2808
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2807
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
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@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4090537-1466062506.wbo
0.11/0.10	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.061s.
0.11/0.16	c declared #vars     750
0.11/0.16	c internal #vars     804
0.11/0.16	c #constraints  80
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.11/0.16	c 80 constraints processed.
0.11/0.16	c objective function length is 54 literals
0.28/0.27	c SATISFIABLE
0.28/0.27	c OPTIMIZING...
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.173
0.28/0.28	o 118
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.28/0.29	o 107
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.25
0.54/0.35	o 36
0.86/0.58	c cleaning 2889 clauses out of 5787 with flag 27274/5787
1.19/0.87	c Got one! Elapsed wall clock time (in seconds):0.767
1.19/0.87	o 32
1.19/0.90	c Got one! Elapsed wall clock time (in seconds):0.793
1.19/0.90	o 23
1.63/1.21	c cleaning 6761 clauses out of 13558 with flag 34229/16447
1.92/1.52	c Got one! Elapsed wall clock time (in seconds):1.415
1.92/1.52	o 22
2.02/1.62	c Got one! Elapsed wall clock time (in seconds):1.518
2.02/1.62	o 18
2.02/1.67	c Got one! Elapsed wall clock time (in seconds):1.572
2.02/1.67	o 15
2.12/1.75	c cleaning 6707 clauses out of 13441 with flag 7166/23091
2.65/2.20	c cleaning 6360 clauses out of 12735 with flag 47238/29092
3.06/2.69	c cleaning 6669 clauses out of 13375 with flag 97950/36092
3.66/3.20	c cleaning 7292 clauses out of 14705 with flag 157285/44091
4.27/3.85	c cleaning 8148 clauses out of 16417 with flag 227683/53095
5.57/5.13	c cleaning 9130 clauses out of 18266 with flag 314998/63092
6.57/6.19	c cleaning 10057 clauses out of 20135 with flag 409175/74091
7.87/7.48	c cleaning 11030 clauses out of 22078 with flag 511586/86091
9.16/8.72	c cleaning 11988 clauses out of 24048 with flag 615069/99091
10.56/10.19	c cleaning 12977 clauses out of 26060 with flag 719617/113091
12.36/11.90	c cleaning 14043 clauses out of 28085 with flag 850550/128093
13.97/13.54	c cleaning 14965 clauses out of 30041 with flag 971739/144092
15.17/14.79	c cleaning 16031 clauses out of 32076 with flag 1115106/161092
17.17/16.77	c cleaning 17018 clauses out of 34045 with flag 1267114/179092
19.27/18.86	c cleaning 17998 clauses out of 36027 with flag 1432725/198092
21.70/21.30	c cleaning 19005 clauses out of 38029 with flag 1610458/218092
24.90/24.46	c cleaning 20002 clauses out of 40023 with flag 1818268/239091
27.90/27.49	c cleaning 20990 clauses out of 42021 with flag 2012728/261091
32.00/31.51	c cleaning 22014 clauses out of 44031 with flag 2220005/284091
35.39/34.93	c cleaning 22992 clauses out of 46018 with flag 2434375/308092
39.99/39.53	c cleaning 24005 clauses out of 48025 with flag 2663244/333091
44.79/44.30	c cleaning 25005 clauses out of 50020 with flag 2876460/359091
50.69/50.21	c cleaning 25975 clauses out of 52015 with flag 3092514/386091
56.60/56.20	c cleaning 26991 clauses out of 54041 with flag 3327863/414092
63.84/63.33	c cleaning 27996 clauses out of 56050 with flag 3565181/443092
71.54/71.07	c cleaning 29003 clauses out of 58056 with flag 3834690/473094
79.76/79.27	c cleaning 30016 clauses out of 60052 with flag 4207352/504093
88.45/87.94	c cleaning 30993 clauses out of 62034 with flag 4566225/536091
97.45/96.99	c cleaning 32012 clauses out of 64044 with flag 4900158/569094
105.94/105.42	c cleaning 33006 clauses out of 66030 with flag 5231891/603092
115.45/114.95	c cleaning 34006 clauses out of 68023 with flag 5553689/638091
121.75/121.24	c cleaning 34995 clauses out of 70017 with flag 5849509/674091
127.46/126.87	c cleaning 35981 clauses out of 72027 with flag 6144590/711096
134.06/133.47	c cleaning 36963 clauses out of 74043 with flag 6465623/749093
147.66/147.03	c cleaning 37967 clauses out of 76082 with flag 6862283/788095
165.16/164.50	c cleaning 38983 clauses out of 78111 with flag 7337785/828091
183.06/182.45	c cleaning 39992 clauses out of 80128 with flag 7824070/869091
202.15/201.40	c cleaning 40995 clauses out of 82137 with flag 8273509/911092
220.85/220.05	c cleaning 41994 clauses out of 84141 with flag 8714540/954091
240.25/239.42	c cleaning 43001 clauses out of 86149 with flag 9212049/998093
259.36/258.60	c cleaning 44002 clauses out of 88148 with flag 9694444/1043093
279.85/279.06	c cleaning 45000 clauses out of 90146 with flag 10147119/1089093
301.05/300.09	c cleaning 45997 clauses out of 92146 with flag 10638509/1136093
321.45/320.46	c cleaning 46997 clauses out of 94147 with flag 11148845/1184091
346.56/345.54	c cleaning 47996 clauses out of 96150 with flag 11686153/1233091
373.26/372.25	c cleaning 49002 clauses out of 98161 with flag 12263480/1283098
402.27/401.27	c cleaning 49996 clauses out of 100154 with flag 12874305/1334093
434.61/433.31	c cleaning 51004 clauses out of 102156 with flag 13468473/1386091
463.82/462.55	c cleaning 52004 clauses out of 104153 with flag 14111479/1439092
495.13/493.90	c cleaning 53000 clauses out of 106152 with flag 14761638/1493095
535.33/534.09	c cleaning 54004 clauses out of 108149 with flag 15375067/1548092
566.65/565.14	c cleaning 55002 clauses out of 110148 with flag 16014783/1604095
599.74/598.29	c cleaning 55998 clauses out of 112142 with flag 16672112/1661091
637.05/635.52	c cleaning 57000 clauses out of 114145 with flag 17364610/1719092
677.22/675.40	c cleaning 58000 clauses out of 116144 with flag 18160449/1778091
717.61/715.83	c cleaning 59000 clauses out of 118145 with flag 18956281/1838092
753.70/751.92	c cleaning 59994 clauses out of 120144 with flag 19635150/1899091
791.34/789.32	c cleaning 61000 clauses out of 122151 with flag 20315128/1961092
815.83/813.74	c cleaning 62030 clauses out of 124153 with flag 20924677/2024094
841.83/839.77	c cleaning 63006 clauses out of 126124 with flag 21467115/2088095
852.93/850.78	c cleaning 64010 clauses out of 128114 with flag 22004848/2153091
869.04/866.84	c cleaning 65054 clauses out of 130107 with flag 22561159/2219094
887.23/884.98	c cleaning 65993 clauses out of 132050 with flag 23120479/2286091
908.75/906.37	c cleaning 67007 clauses out of 134057 with flag 23737145/2354091
931.46/929.00	c cleaning 67985 clauses out of 136052 with flag 24338436/2423093
956.62/954.14	c cleaning 69033 clauses out of 138065 with flag 24954176/2493091
977.42/974.84	c cleaning 70003 clauses out of 140034 with flag 25622643/2564093
999.57/996.94	c cleaning 71015 clauses out of 142029 with flag 26256341/2636091
1044.68/1041.94	c cleaning 72003 clauses out of 144014 with flag 26935778/2709091
1089.19/1086.42	c cleaning 73002 clauses out of 146012 with flag 27653473/2783092
1127.30/1124.44	c cleaning 74004 clauses out of 148009 with flag 28414281/2858091
1172.59/1169.60	c cleaning 75001 clauses out of 150005 with flag 29188698/2934091
1195.77/1192.79	c cleaning 75989 clauses out of 152007 with flag 29885896/3011094
1233.74/1230.65	c cleaning 77005 clauses out of 154015 with flag 30650793/3089091
1283.51/1280.38	c cleaning 77995 clauses out of 156010 with flag 31524317/3168091
1335.48/1332.24	c cleaning 79006 clauses out of 158015 with flag 32411353/3248091
1387.18/1383.89	c cleaning 80000 clauses out of 160010 with flag 33330840/3329092
1434.56/1431.16	c cleaning 80997 clauses out of 162010 with flag 34220879/3411092
1460.02/1456.57	c cleaning 81970 clauses out of 164012 with flag 35006452/3494091
1497.48/1493.94	c cleaning 83018 clauses out of 166042 with flag 35788117/3578091
1532.57/1529.00	c cleaning 84003 clauses out of 168024 with flag 36616300/3663091
1575.66/1571.91	c cleaning 84985 clauses out of 170021 with flag 37311635/3749091
1631.36/1627.52	c cleaning 86011 clauses out of 172036 with flag 38287102/3836091
1697.09/1693.19	c cleaning 87001 clauses out of 174025 with flag 38973474/3924091
1771.02/1766.90	c cleaning 87975 clauses out of 176024 with flag 39680145/4013091
1800.01/1795.70	c starts		: 33567
1800.01/1795.70	c conflicts		: 4081422
1800.01/1795.70	c decisions		: 8449301
1800.01/1795.70	c propagations		: 124450808
1800.01/1795.70	c inspects		: 31389221890
1800.01/1795.70	c shortcuts		: 0
1800.01/1795.70	c learnt literals	: 0
1800.01/1795.70	c learnt binary clauses	: 0
1800.01/1795.70	c learnt ternary clauses	: 0
1800.01/1795.70	c learnt constraints	: 4081422
1800.01/1795.70	c ignored constraints	: 0
1800.01/1795.70	c root simplifications	: 0
1800.01/1795.70	c removed literals (reason simplification)	: 0
1800.01/1795.70	c reason swapping (by a shorter reason)	: 0
1800.01/1795.70	c Calls to reduceDB	: 87
1800.01/1795.70	c Number of update (reduction) of LBD	: 2342906
1800.01/1795.70	c Imported unit clauses	: 0
1800.01/1795.70	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.70	c number of learned constraints concerned by reduction	: 0
1800.01/1795.70	c number of learning phase by resolution	: 0
1800.01/1795.70	c number of learning phase by cutting planes	: 0
1800.01/1795.70	c speed (assignments/second)	: 69311.22962725336
1800.01/1795.70	c non guided choices	20492
1800.01/1795.73	c learnt constraints type 
1800.01/1795.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 156380
1800.01/1795.73	s SATISFIABLE
1800.01/1795.73	c Found 8 solution(s)
1800.01/1795.73	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 
1800.01/1795.73	c objective function=15
1800.01/1795.73	c Total wall clock time (in seconds): 1795.631

Verifier Data 

OK	15

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-4090537-1466062506/watcher-4090537-1466062506 -o /tmp/evaluation-result-4090537-1466062506/solver-4090537-1466062506 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466062125-7301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090537-1466062506.wbo 

pid=7485
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.23 1.66 0.86 3/194 7488
/proc/meminfo: memFree=30387312/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 8297399 94019584 917 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 22954 917 697 9 0 16769 0
[pid=7488/tid=7489] ppid=7485 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) D 7485 7488 7284 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 8297399 95129600 927 33554432000 1073741824 1073778376 140733713451568 139935160131112 259103223079 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.23 1.66 0.86 3/194 7488
/proc/meminfo: memFree=30387312/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 4479 0 1 0 10 1 0 0 20 0 18 0 8297399 9787879424 6104 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2389619 6104 2155 9 0 2380296 0
[pid=7488/tid=7489] ppid=7485 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 8297399 9787879424 6104 33554432000 1073741824 1073778376 140733713451568 139935160134560 139935168182301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200383 s]
/proc/loadavg: 2.23 1.66 0.86 3/194 7488
/proc/meminfo: memFree=30387312/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 6247 0 1 0 27 1 0 0 20 0 19 0 8297399 9856040960 7784 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 7784 2230 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2410 0 1 0 17 0 0 0 20 0 19 0 8297399 9856040960 7784 33554432000 1073741824 1073778376 140733713451568 139935160136320 139935164268107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300384 s]
/proc/loadavg: 2.23 1.66 0.86 3/194 7488
/proc/meminfo: memFree=30387312/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 7000 0 1 0 53 1 0 0 20 0 19 0 8297399 9856040960 8395 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 8395 2245 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2411 0 1 0 27 0 0 0 20 0 19 0 8297399 9856040960 8395 33554432000 1073741824 1073778376 140733713451568 139935160136320 139935017819860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700308 s]
/proc/loadavg: 2.23 1.66 0.86 3/194 7488
/proc/meminfo: memFree=30387312/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 9184 0 1 0 108 2 0 0 20 0 19 0 8297399 9856040960 9793 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 9793 2255 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2413 0 1 0 66 1 0 0 20 0 19 0 8297399 9856040960 9793 33554432000 1073741824 1073778376 140733713451568 139935160136168 139935017819694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.23 1.66 0.86 4/213 7507
/proc/meminfo: memFree=30349744/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 9191 0 1 0 190 2 0 0 20 0 19 0 8297399 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 11332 2257 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2417 0 1 0 145 1 0 0 20 0 19 0 8297399 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139935160127184 139935017787672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8297401 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3223 0 0 0 24 0 0 0 20 0 19 0 8297404 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7488/task/7504/stat : 7504 (java) S 7485 7488 7284 0 -1 4202560 2278 0 0 0 18 0 0 0 20 0 19 0 8297404 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934777555256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7505] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7505/stat : 7505 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934776502648 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7506] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7506/stat : 7506 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934775450056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 11332 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.23 1.66 0.86 4/213 7507
/proc/meminfo: memFree=30334664/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 9197 0 1 0 354 2 0 0 20 0 19 0 8297399 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 13893 2257 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2422 0 1 0 304 1 0 0 20 0 19 0 8297399 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139935160127168 139935017778720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8297401 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3224 0 0 0 28 0 0 0 20 0 19 0 8297404 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7488/task/7504/stat : 7504 (java) S 7485 7488 7284 0 -1 4202560 2278 0 0 0 18 0 0 0 20 0 19 0 8297404 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934777555256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7505] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7505/stat : 7505 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934776502648 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7506] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7506/stat : 7506 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934775450056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 13893 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.29 1.68 0.87 4/213 7507
/proc/meminfo: memFree=30289500/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 9210 0 1 0 674 3 0 0 20 0 19 0 8297399 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 19510 2258 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2434 0 1 0 623 1 0 0 20 0 19 0 8297399 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139935160127168 139935017819731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8297400 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8297401 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3224 0 0 0 28 0 0 0 20 0 19 0 8297404 9856040960 19510 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7

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

[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 127191 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.4
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.01 4/213 7575
/proc/meminfo: memFree=29487848/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=1786.52 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 12687 0 1 0 178545 107 0 0 20 0 19 0 8297399 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 125706 2280 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=1775.75 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2509 0 1 0 177537 38 0 0 20 0 19 0 8297399 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139935160127264 139935017605058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 456 0 0 0 51 9 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 470 0 0 0 52 7 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 289 0 0 0 49 7 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 328 0 0 0 55 6 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 203 0 0 0 52 7 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 428 0 0 0 46 7 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 242 0 0 0 54 9 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 443 0 0 0 54 8 0 0 20 0 19 0 8297400 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 295 0 0 0 51 2 0 0 20 0 19 0 8297401 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3383 0 0 0 31 0 0 0 20 0 19 0 8297404 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7488/task/7504/stat : 7504 (java) S 7485 7488 7284 0 -1 4202560 2278 0 0 0 18 0 0 0 20 0 19 0 8297404 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934777555256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7505] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7505/stat : 7505 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934776502648 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7506] ppid=7485 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/7488/task/7506/stat : 7506 (java) S 7485 7488 7284 0 -1 4202560 104 0 0 0 28 37 0 0 20 0 19 0 8297404 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934775450056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 125706 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.16 2.20 2.01 3/213 7641
/proc/meminfo: memFree=29843912/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 12690 0 1 0 179893 108 0 0 20 0 19 0 8297399 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 123462 2280 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=1789.09 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2510 0 1 0 178870 39 0 0 20 0 19 0 8297399 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935160134976 139935017778847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 456 0 0 0 51 9 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 470 0 0 0 53 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 289 0 0 0 50 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 328 0 0 0 57 6 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 203 0 0 0 53 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 428 0 0 0 47 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 242 0 0 0 55 9 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 443 0 0 0 55 8 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 297 0 0 0 51 2 0 0 20 0 19 0 8297401 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3383 0 0 0 31 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7488/task/7504/stat : 7504 (java) S 7485 7488 7284 0 -1 4202560 2278 0 0 0 18 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934777555256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7505] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7505/stat : 7505 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934776502648 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7506] ppid=7485 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7488/task/7506/stat : 7506 (java) S 7485 7488 7284 0 -1 4202560 104 0 0 0 29 37 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934775450056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 7488 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.7 s]
/proc/loadavg: 2.16 2.20 2.01 3/213 7641
/proc/meminfo: memFree=29843912/32872528 swapFree=1497568/1644736
[pid=7488] ppid=7485 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/7488/stat : 7488 (java) S 7485 7488 7284 0 -1 4202496 12690 0 1 0 179893 108 0 0 20 0 19 0 8297399 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 140733713442704 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7488/statm: 2406260 123462 2280 9 0 2396937 0
[pid=7488/tid=7489] ppid=7485 vsize=9625040 CPUtime=1789.09 cores=1,3,5,7
/proc/7488/task/7489/stat : 7489 (java) R 7485 7488 7284 0 -1 4202560 2510 0 1 0 178870 39 0 0 20 0 19 0 8297399 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935160134976 139935017778847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7491] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7491/stat : 7491 (java) S 7485 7488 7284 0 -1 4202560 456 0 0 0 51 9 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935138237480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7492] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7492/stat : 7492 (java) S 7485 7488 7284 0 -1 4202560 470 0 0 0 53 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935137184680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7493] ppid=7485 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7488/task/7493/stat : 7493 (java) S 7485 7488 7284 0 -1 4202560 289 0 0 0 50 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139935136131880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7494] ppid=7485 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7488/task/7494/stat : 7494 (java) S 7485 7488 7284 0 -1 4202560 328 0 0 0 57 6 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934799227560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7495] ppid=7485 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7488/task/7495/stat : 7495 (java) S 7485 7488 7284 0 -1 4202560 203 0 0 0 53 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934798174760 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7496] ppid=7485 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7488/task/7496/stat : 7496 (java) S 7485 7488 7284 0 -1 4202560 428 0 0 0 47 7 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934797121960 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7497] ppid=7485 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/7488/task/7497/stat : 7497 (java) S 7485 7488 7284 0 -1 4202560 242 0 0 0 55 9 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934796069160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7498] ppid=7485 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7488/task/7498/stat : 7498 (java) S 7485 7488 7284 0 -1 4202560 443 0 0 0 55 8 0 0 20 0 19 0 8297400 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934795016360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7488/tid=7499] ppid=7485 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7488/task/7499/stat : 7499 (java) S 7485 7488 7284 0 -1 4202560 297 0 0 0 51 2 0 0 20 0 19 0 8297401 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934782819304 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7500] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7500/stat : 7500 (java) S 7485 7488 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934781765368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7501] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7501/stat : 7501 (java) S 7485 7488 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8297402 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934780712456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7502] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7502/stat : 7502 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934779660944 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7503] ppid=7485 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7488/task/7503/stat : 7503 (java) S 7485 7488 7284 0 -1 4202560 3383 0 0 0 31 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934778608056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7488/tid=7504] ppid=7485 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7488/task/7504/stat : 7504 (java) S 7485 7488 7284 0 -1 4202560 2278 0 0 0 18 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934777555256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7505] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7505/stat : 7505 (java) S 7485 7488 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934776502648 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7488/tid=7506] ppid=7485 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7488/task/7506/stat : 7506 (java) S 7485 7488 7284 0 -1 4202560 104 0 0 0 29 37 0 0 20 0 19 0 8297404 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934775450056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7488/tid=7507] ppid=7485 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7488/task/7507/stat : 7507 (java) S 7485 7488 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8297416 9856040960 123462 33554432000 1073741824 1073778376 140733713451568 139934774298280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1795.74
CPU time (s): 1800.01
CPU user time (s): 1798.93
CPU system time (s): 1.08
CPU usage (%): 100.238
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 1.52177
maximum resident set size= 745816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38847
involuntary context switches= 13078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37157 second user time and 14.7248 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-16 09:35:06
IDJOB=4090537
IDBENCH=78687
IDSOLVER=2551
FILE ID=node124/4090537-1466062506
RUNJOBID= node124-1466062125-7301
PBS_JOBID= 19904015
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090537-1466062506/watcher-4090537-1466062506 -o /tmp/evaluation-result-4090537-1466062506/solver-4090537-1466062506 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466062125-7301 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090537-1466062506.wbo

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

MD5SUM BENCH= 4fda08e2dc650152cad1c676f7fa8f96
RANDOM SEED=269023111

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30388104 kB
Buffers:            3316 kB
Cached:            37516 kB
SwapCached:         2464 kB
Active:           113100 kB
Inactive:          19968 kB
Active(anon):      92880 kB
Inactive(anon):     1972 kB
Active(file):      20220 kB
Inactive(file):    17996 kB
Unevictable:     1644736 kB
Mlocked:         1497568 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:              1636 kB
Writeback:             0 kB
AnonPages:       1742216 kB
Mapped:            15168 kB
Shmem:                 0 kB
Slab:             564256 kB
SReclaimable:       8132 kB
SUnreclaim:       556124 kB
KernelStack:        1568 kB
PageTables:         7968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 71728 MiB
End job on node124 at 2016-06-16 10:05:02