Trace number 4106741

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)-59 1800.06 1786.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_5.opb
MD5SUM80b55b230959185abe8760f01da7fec8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint60
Maximum length of a constraint108
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75288
Sum of products size (including duplicates)150576
Number of different products37644
Sum of products size75288

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.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4106741-1466275076.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  objective function found
1.97/0.86	c ... done. Wall clock time 0.752s.
1.97/0.86	c declared #vars     1000
1.97/0.86	c internal #vars     38644
1.97/0.86	c #constraints  77288
1.97/0.86	c constraints type 
1.97/0.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37644
1.97/0.86	c org.sat4j.minisat.constraints.cnf.UnitClauses => 954
1.97/0.86	c org.sat4j.specs.Constr$1 => 1025
1.97/0.86	c org.sat4j.minisat.constraints.cnf.UnitClause => 21
1.97/0.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37644
1.97/0.86	c 77288 constraints processed.
1.97/0.86	c objective function length is 1000 literals
2.49/1.00	c SATISFIABLE
2.49/1.00	c OPTIMIZING...
2.49/1.00	c Got one! Elapsed wall clock time (in seconds):0.899
2.49/1.00	o -55
2.81/1.13	c Got one! Elapsed wall clock time (in seconds):1.021
2.81/1.13	o -56
2.81/1.16	c Got one! Elapsed wall clock time (in seconds):1.053
2.81/1.16	o -57
2.81/1.19	c Got one! Elapsed wall clock time (in seconds):1.084
2.81/1.19	o -58
3.17/1.28	c Got one! Elapsed wall clock time (in seconds):1.18
3.17/1.28	o -59
3.95/1.91	c cleaning 2614 clauses out of 5228 with flag 10274/5228
4.75/2.66	c cleaning 4308 clauses out of 8615 with flag 22565/11229
5.66/3.58	c cleaning 5653 clauses out of 11308 with flag 36908/18230
6.76/4.70	c cleaning 6828 clauses out of 13655 with flag 53205/26230
8.40/6.04	c cleaning 7908 clauses out of 15825 with flag 71567/35228
9.80/7.45	c cleaning 8956 clauses out of 17917 with flag 91997/45228
11.31/8.97	c cleaning 9976 clauses out of 19962 with flag 114412/56229
13.20/10.83	c cleaning 10992 clauses out of 21985 with flag 138906/68228
15.40/13.07	c cleaning 11997 clauses out of 23994 with flag 165435/81229
20.19/17.74	c cleaning 12994 clauses out of 25997 with flag 196528/95229
26.39/23.61	c cleaning 13999 clauses out of 28002 with flag 230048/110228
32.39/29.68	c cleaning 14999 clauses out of 30003 with flag 266600/126228
38.98/36.24	c cleaning 15997 clauses out of 32005 with flag 306166/143229
45.99/43.29	c cleaning 16999 clauses out of 34007 with flag 347477/161228
53.90/51.00	c cleaning 18004 clauses out of 36008 with flag 390379/180228
61.92/59.10	c cleaning 18998 clauses out of 38004 with flag 435698/200228
70.61/67.71	c cleaning 20004 clauses out of 40007 with flag 484576/221229
79.71/76.85	c cleaning 21001 clauses out of 42002 with flag 535488/243228
88.82/85.93	c cleaning 21998 clauses out of 44002 with flag 587983/266229
98.54/95.21	c cleaning 23002 clauses out of 46004 with flag 644832/290229
103.45/100.12	c cleaning 24003 clauses out of 48005 with flag 697187/315232
108.64/105.32	c cleaning 25001 clauses out of 50001 with flag 751614/341231
114.24/110.90	c cleaning 25995 clauses out of 51998 with flag 807739/368229
119.94/116.67	c cleaning 26998 clauses out of 54004 with flag 865956/396230
126.44/123.18	c cleaning 28002 clauses out of 56004 with flag 926877/425228
134.82/131.05	c cleaning 29001 clauses out of 58004 with flag 989369/455230
142.22/138.47	c cleaning 29994 clauses out of 60001 with flag 1054017/486228
150.42/146.62	c cleaning 31002 clauses out of 62008 with flag 1120891/518229
158.94/155.11	c cleaning 32000 clauses out of 64006 with flag 1189955/551229
167.22/163.47	c cleaning 33004 clauses out of 66007 with flag 1260747/585230
177.56/173.06	c cleaning 33997 clauses out of 68001 with flag 1334554/620228
186.66/182.20	c cleaning 34997 clauses out of 70005 with flag 1410473/656229
196.26/191.71	c cleaning 36003 clauses out of 72007 with flag 1488412/693228
206.55/202.04	c cleaning 37002 clauses out of 74007 with flag 1568341/731231
218.82/213.75	c cleaning 37998 clauses out of 76002 with flag 1650770/770228
230.42/225.36	c cleaning 38997 clauses out of 78009 with flag 1734926/810233
242.82/237.72	c cleaning 39996 clauses out of 80008 with flag 1821025/851229
255.82/250.72	c cleaning 41003 clauses out of 82011 with flag 1909144/893228
269.22/264.12	c cleaning 41998 clauses out of 84008 with flag 1997910/936228
281.91/276.90	c cleaning 43005 clauses out of 86011 with flag 2089542/980229
296.22/291.15	c cleaning 43999 clauses out of 88005 with flag 2183762/1025228
311.60/305.78	c cleaning 44998 clauses out of 90006 with flag 2279511/1071228
328.30/322.47	c cleaning 46001 clauses out of 92008 with flag 2377193/1118228
345.30/339.48	c cleaning 46999 clauses out of 94008 with flag 2478448/1166229
362.31/356.43	c cleaning 48000 clauses out of 96010 with flag 2581215/1215230
378.40/372.56	c cleaning 49002 clauses out of 98009 with flag 2685791/1265229
397.74/390.52	c cleaning 50000 clauses out of 100007 with flag 2792267/1316229
415.34/408.14	c cleaning 51003 clauses out of 102006 with flag 2901019/1368228
433.85/426.60	c cleaning 52000 clauses out of 104004 with flag 3011833/1421229
453.36/446.15	c cleaning 53002 clauses out of 106005 with flag 3124789/1475230
473.16/465.95	c cleaning 53993 clauses out of 108002 with flag 3239104/1530229
492.77/485.55	c cleaning 55001 clauses out of 110009 with flag 3354812/1586229
513.85/506.21	c cleaning 56005 clauses out of 112009 with flag 3471781/1643230
537.05/529.45	c cleaning 56992 clauses out of 114003 with flag 3592537/1701229
561.55/553.92	c cleaning 58002 clauses out of 116011 with flag 3716097/1760229
587.18/579.56	c cleaning 58998 clauses out of 118009 with flag 3841971/1820229
613.39/605.78	c cleaning 59997 clauses out of 120010 with flag 3970121/1881228
639.54/630.85	c cleaning 61000 clauses out of 122013 with flag 4098785/1943228
666.15/657.40	c cleaning 62006 clauses out of 124014 with flag 4227817/2006229
694.16/685.49	c cleaning 62996 clauses out of 126009 with flag 4361306/2070230
725.17/716.43	c cleaning 64002 clauses out of 128011 with flag 4497593/2135228
756.14/747.15	c cleaning 65001 clauses out of 130009 with flag 4635666/2201228
787.35/778.38	c cleaning 66000 clauses out of 132008 with flag 4775900/2268228
818.77/809.75	c cleaning 66998 clauses out of 134008 with flag 4917867/2336228
850.22/840.70	c cleaning 68000 clauses out of 136011 with flag 5061812/2405229
882.13/872.52	c cleaning 69001 clauses out of 138011 with flag 5208110/2475229
913.84/904.25	c cleaning 70001 clauses out of 140010 with flag 5357086/2546229
950.05/940.49	c cleaning 71001 clauses out of 142010 with flag 5506916/2618230
987.30/977.48	c cleaning 72000 clauses out of 144009 with flag 5658760/2691230
1023.11/1013.21	c cleaning 73004 clauses out of 146008 with flag 5813810/2765229
1061.71/1051.82	c cleaning 73997 clauses out of 148003 with flag 5970483/2840228
1097.72/1087.29	c cleaning 74998 clauses out of 150006 with flag 6130273/2916228
1133.52/1123.08	c cleaning 75998 clauses out of 152009 with flag 6291460/2993229
1171.43/1160.92	c cleaning 76998 clauses out of 154010 with flag 6454934/3071228
1210.50/1199.70	c cleaning 78000 clauses out of 156012 with flag 6619398/3150228
1249.80/1239.03	c cleaning 79000 clauses out of 158013 with flag 6786605/3230229
1292.38/1281.02	c cleaning 80004 clauses out of 160013 with flag 6953897/3311229
1333.29/1321.97	c cleaning 80998 clauses out of 162009 with flag 7123281/3393229
1374.21/1362.81	c cleaning 82000 clauses out of 164013 with flag 7296308/3476231
1417.93/1406.28	c cleaning 83001 clauses out of 166010 with flag 7472476/3560228
1464.25/1452.60	c cleaning 84000 clauses out of 168009 with flag 7650493/3645228
1513.22/1500.99	c cleaning 85006 clauses out of 170012 with flag 7827972/3731231
1565.73/1553.44	c cleaning 85991 clauses out of 172003 with flag 8007854/3818228
1617.82/1604.68	c cleaning 86995 clauses out of 174012 with flag 8192098/3906228
1666.63/1653.41	c cleaning 88005 clauses out of 176018 with flag 8378494/3995229
1716.27/1702.97	c cleaning 89003 clauses out of 178012 with flag 8567408/4085228
1767.36/1753.63	c cleaning 89997 clauses out of 180009 with flag 8758472/4176228
1800.06/1786.30	c starts		: 4015
1800.06/1786.30	c conflicts		: 4240291
1800.06/1786.30	c decisions		: 8138953
1800.06/1786.30	c propagations		: 27250254
1800.06/1786.30	c inspects		: 16987050981
1800.06/1786.30	c shortcuts		: 0
1800.06/1786.30	c learnt literals	: 0
1800.06/1786.30	c learnt binary clauses	: 0
1800.06/1786.30	c learnt ternary clauses	: 0
1800.06/1786.30	c learnt constraints	: 4240291
1800.06/1786.30	c ignored constraints	: 0
1800.06/1786.30	c root simplifications	: 0
1800.06/1786.30	c removed literals (reason simplification)	: 0
1800.06/1786.30	c reason swapping (by a shorter reason)	: 0
1800.06/1786.30	c Calls to reduceDB	: 87
1800.06/1786.30	c Number of update (reduction) of LBD	: 218297
1800.06/1786.30	c Imported unit clauses	: 0
1800.06/1786.30	c number of reductions to clauses (during analyze)	: 0
1800.06/1786.30	c number of learned constraints concerned by reduction	: 0
1800.06/1786.30	c number of learning phase by resolution	: 0
1800.06/1786.30	c number of learning phase by cutting planes	: 0
1800.06/1786.30	c speed (assignments/second)	: 15263.059315896453
1800.06/1786.30	c non guided choices	0
1800.06/1786.33	c learnt constraints type 
1800.06/1786.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154075
1800.06/1786.33	s SATISFIABLE
1800.06/1786.33	c Found 5 solution(s)
1800.06/1786.33	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 x514 -x515 x516 x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 x561 x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.06/1786.34	c objective function=-59
1800.06/1786.34	c Total wall clock time (in seconds): 1786.232

Verifier Data 

OK	-59

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-4106741-1466275076/watcher-4106741-1466275076 -o /tmp/evaluation-result-4106741-1466275076/solver-4106741-1466275076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106741-1466275076.opb 

pid=15970
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: 0.97 1.24 1.67 4/195 15973
/proc/meminfo: memFree=30105904/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 1357 0 0 0 0 0 0 0 20 0 2 0 29554018 98578432 981 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 24068 983 749 9 0 16774 0
[pid=15973/tid=15974] ppid=15970 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 29554019 98582528 985 33554432000 1073741824 1073778376 140733281749456 139986746076712 273905698205 0 0 0 16784584 0 0 0 -1 5 0 0 0 0 0

[startup+0.100067 s]
/proc/loadavg: 0.97 1.24 1.67 4/195 15973
/proc/meminfo: memFree=30105904/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 4504 0 1 0 9 1 0 0 20 0 18 0 29554018 9787879424 5620 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2389619 5620 2141 9 0 2380296 0
[pid=15973/tid=15974] ppid=15970 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2431 0 1 0 6 1 0 0 20 0 18 0 29554019 9787879424 5620 33554432000 1073741824 1073778376 140733281749456 139986746080160 273909081357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200306 s]
/proc/loadavg: 0.97 1.24 1.67 4/195 15973
/proc/meminfo: memFree=30105904/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 4769 0 1 0 25 1 0 0 20 0 18 0 29554018 9787879424 6336 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2389619 6336 2213 9 0 2380296 0
[pid=15973/tid=15974] ppid=15970 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2457 0 1 0 16 1 0 0 20 0 18 0 29554019 9787879424 6336 33554432000 1073741824 1073778376 140733281749456 139986746080160 273909070904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300296 s]
/proc/loadavg: 0.97 1.24 1.67 4/195 15973
/proc/meminfo: memFree=30105904/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 5677 0 1 0 46 2 0 0 20 0 18 0 29554018 9787879424 8368 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2389619 8368 2241 9 0 2380296 0
[pid=15973/tid=15974] ppid=15970 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2460 0 1 0 26 1 0 0 20 0 18 0 29554019 9787879424 8368 33554432000 1073741824 1073778376 140733281749456 139986746080160 139986618707280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700246 s]
/proc/loadavg: 0.97 1.24 1.67 4/195 15973
/proc/meminfo: memFree=30105904/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9558476 CPUtime=1.67 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 22337 0 1 0 162 5 0 0 20 0 18 0 29554018 9787879424 31380 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2389619 31380 2256 9 0 2380296 0
[pid=15973/tid=15974] ppid=15970 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2494 0 1 0 65 2 0 0 20 0 18 0 29554019 9787879424 31380 33554432000 1073741824 1073778376 140733281749456 139986746073008 139986619050261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 0.97 1.24 1.67 7/215 15993
/proc/meminfo: memFree=29807296/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 24151 0 1 0 342 10 0 0 20 0 19 0 29554018 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 55187 2282 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2532 0 1 0 138 3 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986746081384 139986619685468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=0.93 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11354 0 0 0 91 2 0 0 20 0 19 0 29554023 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/15973/task/15989/stat : 15989 (java) S 15970 15973 15910 0 -1 4202560 8843 0 0 0 92 2 0 0 20 0 19 0 29554023 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986565057464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15990] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15990/stat : 15990 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986564004600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15991] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15991/stat : 15991 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986562952264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 55187 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040

[startup+3.1009 s]
/proc/loadavg: 0.97 1.24 1.67 3/215 15993
/proc/meminfo: memFree=29751440/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=5.26 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 24290 0 1 0 516 10 0 0 20 0 19 0 29554018 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 55210 2289 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2533 0 1 0 298 3 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986746081592 139986619932662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554019 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11357 0 0 0 92 3 0 0 20 0 19 0 29554023 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/15973/task/15989/stat : 15989 (java) S 15970 15973 15910 0 -1 4202560 8978 0 0 0 105 2 0 0 20 0 19 0 29554023 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986565057464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15990] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15990/stat : 15990 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986564004600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15991] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15991/stat : 15991 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986562952264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 55210 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 1.05 1.26 1.67 3/215 15993
/proc/meminfo: memFree=29723700/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=8.7 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 24805 0 1 0 850 20 0 0 20 0 19 0 29554018 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 75631 2289 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=6.14 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 2536 0 1 0 611 3 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986746080584 139986619132235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 47 0 0 0 3 0 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 89 0 0 0 4 3 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 176 0 0 0 2 2 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 186 0 0 0 3 3 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 21 0 0 0 1 2 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 24 0 0 0 1 1 0 0 20 0 19 0 29554019 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11358 0 0 0 99 3 0 0 20 0 19 0 29554023 9856040960 75631 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=1.07 cores=1,3,5,7

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

[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 901821 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1735.67
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.42 2.36 2.21 2/191 16091
/proc/meminfo: memFree=26534492/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=1796.06 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 36575 0 1 0 179151 455 0 0 20 0 19 0 29554018 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 895141 2298 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=1771.63 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 3395 0 1 0 177127 36 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986746072752 139986619685463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 1032 0 0 0 134 41 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=1.72 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 981 0 0 0 122 50 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 1120 0 0 0 140 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 1093 0 0 0 126 57 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 1296 0 0 0 143 49 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 1378 0 0 0 141 53 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 964 0 0 0 129 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 1034 0 0 0 149 48 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 2567 0 0 0 227 3 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11368 0 0 0 108 3 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/15973/task/15989/stat : 15989 (java) S 15970 15973 15910 0 -1 4202560 8979 0 0 0 106 2 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986565057464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15990] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15990/stat : 15990 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986564004600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15991] ppid=15970 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/15973/task/15991/stat : 15991 (java) S 15970 15973 15910 0 -1 4202560 103 0 0 0 34 45 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986562952264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.3 s]
/proc/loadavg: 2.39 2.35 2.20 3/215 16191
/proc/meminfo: memFree=26313572/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 36575 0 1 0 179550 456 0 0 20 0 19 0 29554018 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 895141 2298 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=1775.62 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 3395 0 1 0 177526 36 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986746072752 139986619685463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 1032 0 0 0 134 41 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=1.72 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 981 0 0 0 122 50 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 1120 0 0 0 140 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 1093 0 0 0 126 57 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 1296 0 0 0 143 49 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 1378 0 0 0 141 53 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 964 0 0 0 129 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 1034 0 0 0 149 48 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 2567 0 0 0 227 3 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11368 0 0 0 108 3 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/15973/task/15989/stat : 15989 (java) S 15970 15973 15910 0 -1 4202560 8979 0 0 0 106 2 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986565057464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15990] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15990/stat : 15990 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986564004600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15991] ppid=15970 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/15973/task/15991/stat : 15991 (java) S 15970 15973 15910 0 -1 4202560 103 0 0 0 34 45 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986562952264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 15973 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1786.3 s]
/proc/loadavg: 2.39 2.35 2.20 3/215 16191
/proc/meminfo: memFree=26313572/32872528 swapFree=1482636/1662508
[pid=15973] ppid=15970 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/15973/stat : 15973 (java) S 15970 15973 15910 0 -1 4202496 36575 0 1 0 179550 456 0 0 20 0 19 0 29554018 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 140733281740592 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 2406260 895141 2298 9 0 2396937 0
[pid=15973/tid=15974] ppid=15970 vsize=9625040 CPUtime=1775.62 cores=1,3,5,7
/proc/15973/task/15974/stat : 15974 (java) R 15970 15973 15910 0 -1 4202560 3395 0 1 0 177526 36 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986746072752 139986619685463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15976] ppid=15970 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/15973/task/15976/stat : 15976 (java) S 15970 15973 15910 0 -1 4202560 1032 0 0 0 134 41 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986590099880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15977] ppid=15970 vsize=9625040 CPUtime=1.72 cores=1,3,5,7
/proc/15973/task/15977/stat : 15977 (java) S 15970 15973 15910 0 -1 4202560 981 0 0 0 122 50 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986589047336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15978] ppid=15970 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/15973/task/15978/stat : 15978 (java) S 15970 15973 15910 0 -1 4202560 1120 0 0 0 140 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986587994280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15979] ppid=15970 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/15973/task/15979/stat : 15979 (java) S 15970 15973 15910 0 -1 4202560 1093 0 0 0 126 57 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986586941736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15980] ppid=15970 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/15973/task/15980/stat : 15980 (java) S 15970 15973 15910 0 -1 4202560 1296 0 0 0 143 49 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986585889704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15981] ppid=15970 vsize=9625040 CPUtime=1.94 cores=1,3,5,7
/proc/15973/task/15981/stat : 15981 (java) S 15970 15973 15910 0 -1 4202560 1378 0 0 0 141 53 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986584837160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15982] ppid=15970 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/15973/task/15982/stat : 15982 (java) S 15970 15973 15910 0 -1 4202560 964 0 0 0 129 51 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986583784104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15983] ppid=15970 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/15973/task/15983/stat : 15983 (java) S 15970 15973 15910 0 -1 4202560 1034 0 0 0 149 48 0 0 20 0 19 0 29554019 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986582731560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15973/tid=15984] ppid=15970 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/15973/task/15984/stat : 15984 (java) S 15970 15973 15910 0 -1 4202560 2567 0 0 0 227 3 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986570320232 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15985] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15985/stat : 15985 (java) S 15970 15973 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986569266552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15986] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15986/stat : 15986 (java) S 15970 15973 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29554021 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986568213384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15987] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15987/stat : 15987 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986567162128 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15988] ppid=15970 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/15973/task/15988/stat : 15988 (java) S 15970 15973 15910 0 -1 4202560 11368 0 0 0 108 3 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986566110008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15989] ppid=15970 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/15973/task/15989/stat : 15989 (java) S 15970 15973 15910 0 -1 4202560 8979 0 0 0 106 2 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986565057464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15973/tid=15990] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15990/stat : 15990 (java) S 15970 15973 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986564004600 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15973/tid=15991] ppid=15970 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/15973/task/15991/stat : 15991 (java) S 15970 15973 15910 0 -1 4202560 103 0 0 0 34 45 0 0 20 0 19 0 29554023 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986562952264 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15973/tid=15993] ppid=15970 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15973/task/15993/stat : 15993 (java) S 15970 15973 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29554112 9856040960 895141 33554432000 1073741824 1073778376 140733281749456 139986561897512 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15973 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=59717
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=41233
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.35
CPU time (s): 1800.06
CPU user time (s): 1795.5
CPU system time (s): 4.56
CPU usage (%): 100.767
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 5.04123
maximum resident set size= 3686308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36613
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38336
involuntary context switches= 5695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4448 second user time and 13.8529 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 20:37:56
IDJOB=4106741
IDBENCH=48222
IDSOLVER=2546
FILE ID=node134/4106741-1466275076
RUNJOBID= node134-1466275076-15927
PBS_JOBID= 19918245
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106741-1466275076/watcher-4106741-1466275076 -o /tmp/evaluation-result-4106741-1466275076/solver-4106741-1466275076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106741-1466275076.opb

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

MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8
RANDOM SEED=627252251

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.020
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.020
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.54
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.020
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.020
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:        30108592 kB
Buffers:          165468 kB
Cached:           187504 kB
SwapCached:         1008 kB
Active:            92404 kB
Inactive:         272332 kB
Active(anon):      13012 kB
Inactive(anon):     1616 kB
Active(file):      79392 kB
Inactive(file):   270716 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:       1670020 kB
Mapped:            13036 kB
Shmem:                 0 kB
Slab:             602448 kB
SReclaimable:      46768 kB
SUnreclaim:       555680 kB
KernelStack:        1352 kB
PageTables:         7704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2344736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71716 MiB
End job on node134 at 2016-06-18 21:07:42