Trace number 4085342

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)-41 1800.03 1781.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUMa2418d45f4247bab260506429e96e746
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-55
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126555
Number of constraints which are clauses126555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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.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-4085342-1465236716.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
1.06/0.76	c ... done. Wall clock time 0.66s.
1.06/0.76	c declared #vars     1534
1.06/0.76	c #constraints  126555
1.06/0.76	c constraints type 
1.06/0.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 126555
1.06/0.76	c 126555 constraints processed.
1.06/0.76	c objective function length is 1534 literals
1.06/0.78	c SATISFIABLE
1.06/0.78	c OPTIMIZING...
1.06/0.78	c Got one! Elapsed wall clock time (in seconds):0.683
1.06/0.78	o -39
1.19/0.82	c Got one! Elapsed wall clock time (in seconds):0.723
1.19/0.82	o -40
1.19/0.86	c Got one! Elapsed wall clock time (in seconds):0.762
1.19/0.86	o -41
2.24/1.66	c cleaning 2526 clauses out of 5052 with flag 11076/5052
3.29/2.57	c cleaning 4260 clauses out of 8525 with flag 23636/11051
4.30/3.58	c cleaning 5629 clauses out of 11266 with flag 38159/18052
5.51/4.79	c cleaning 6816 clauses out of 13636 with flag 54680/26051
7.04/6.22	c cleaning 7911 clauses out of 15822 with flag 73219/35053
8.65/7.82	c cleaning 8954 clauses out of 17909 with flag 94051/45051
10.81/9.72	c cleaning 9978 clauses out of 19956 with flag 116971/56052
12.81/11.76	c cleaning 10990 clauses out of 21979 with flag 141900/68053
15.01/13.99	c cleaning 11995 clauses out of 23990 with flag 168744/81054
18.35/16.93	c cleaning 12992 clauses out of 25992 with flag 197895/95051
21.36/19.95	c cleaning 13995 clauses out of 28000 with flag 229149/110051
24.45/23.06	c cleaning 15001 clauses out of 30005 with flag 262532/126051
27.75/26.31	c cleaning 16000 clauses out of 32004 with flag 298121/143051
31.35/29.91	c cleaning 17003 clauses out of 34005 with flag 335767/161052
35.25/33.86	c cleaning 18000 clauses out of 36002 with flag 375293/180052
39.09/37.48	c cleaning 19000 clauses out of 38003 with flag 416974/200053
42.79/41.16	c cleaning 19999 clauses out of 40002 with flag 460576/221052
46.99/45.38	c cleaning 21001 clauses out of 42003 with flag 506407/243052
51.49/49.81	c cleaning 22000 clauses out of 44001 with flag 554309/266051
57.32/55.11	c cleaning 23001 clauses out of 46001 with flag 604697/290051
62.72/60.52	c cleaning 23994 clauses out of 48000 with flag 656270/315051
68.72/66.56	c cleaning 24998 clauses out of 50006 with flag 709551/341051
74.93/72.75	c cleaning 25998 clauses out of 52008 with flag 765047/368051
80.82/78.68	c cleaning 27001 clauses out of 54010 with flag 822481/396051
88.81/85.74	c cleaning 28003 clauses out of 56009 with flag 881870/425051
96.41/93.37	c cleaning 29001 clauses out of 58006 with flag 944278/455051
105.21/102.16	c cleaning 29998 clauses out of 60006 with flag 1008973/486052
114.33/111.23	c cleaning 30996 clauses out of 62008 with flag 1075624/518052
125.29/121.45	c cleaning 32001 clauses out of 64011 with flag 1144646/551051
135.28/131.41	c cleaning 32996 clauses out of 66010 with flag 1215928/585051
144.48/140.65	c cleaning 34004 clauses out of 68014 with flag 1288588/620051
153.88/150.07	c cleaning 34999 clauses out of 70010 with flag 1363329/656051
163.08/159.24	c cleaning 36002 clauses out of 72011 with flag 1439874/693051
173.67/169.87	c cleaning 37001 clauses out of 74009 with flag 1518785/731051
186.66/181.78	c cleaning 38000 clauses out of 76008 with flag 1599306/770051
198.36/193.42	c cleaning 39000 clauses out of 78009 with flag 1681691/810052
210.47/205.52	c cleaning 40004 clauses out of 80008 with flag 1766197/851051
222.67/217.72	c cleaning 41003 clauses out of 82007 with flag 1852703/893054
234.47/229.55	c cleaning 42001 clauses out of 84002 with flag 1940867/936052
248.15/242.70	c cleaning 43001 clauses out of 86001 with flag 2030877/980052
262.86/257.44	c cleaning 43998 clauses out of 87999 with flag 2124711/1025051
278.46/273.03	c cleaning 45001 clauses out of 90002 with flag 2220883/1071052
291.57/286.16	c cleaning 45998 clauses out of 92001 with flag 2319047/1118052
306.44/300.05	c cleaning 47002 clauses out of 94003 with flag 2418888/1166052
321.64/315.24	c cleaning 47999 clauses out of 96000 with flag 2521358/1215051
340.74/334.32	c cleaning 48998 clauses out of 98005 with flag 2625801/1265055
361.77/355.03	c cleaning 49996 clauses out of 100004 with flag 2732392/1316052
380.08/373.36	c cleaning 51000 clauses out of 102010 with flag 2841963/1368054
399.89/393.16	c cleaning 52000 clauses out of 104007 with flag 2953020/1421051
420.68/413.34	c cleaning 53003 clauses out of 106008 with flag 3065750/1475052
440.29/432.98	c cleaning 54002 clauses out of 108004 with flag 3180885/1530051
459.27/451.50	c cleaning 54998 clauses out of 110002 with flag 3298269/1586051
478.67/470.90	c cleaning 56002 clauses out of 112005 with flag 3417903/1643052
499.26/491.54	c cleaning 56996 clauses out of 114003 with flag 3539487/1701052
519.46/511.27	c cleaning 57996 clauses out of 116007 with flag 3662830/1760052
541.16/532.94	c cleaning 59006 clauses out of 118011 with flag 3788296/1820052
568.66/560.11	c cleaning 59998 clauses out of 120004 with flag 3915813/1881051
594.25/585.74	c cleaning 60998 clauses out of 122008 with flag 4044725/1943053
621.70/612.79	c cleaning 61999 clauses out of 124008 with flag 4175208/2006051
646.49/637.55	c cleaning 63000 clauses out of 126010 with flag 4308862/2070052
673.13/663.97	c cleaning 64003 clauses out of 128009 with flag 4444728/2135051
697.03/687.81	c cleaning 64999 clauses out of 130006 with flag 4582902/2201051
724.26/714.66	c cleaning 66001 clauses out of 132008 with flag 4723143/2268052
751.95/742.35	c cleaning 67002 clauses out of 134006 with flag 4865912/2336051
781.40/771.08	c cleaning 67998 clauses out of 136004 with flag 5010597/2405051
809.50/798.86	c cleaning 69001 clauses out of 138007 with flag 5157078/2475052
838.31/827.62	c cleaning 69998 clauses out of 140005 with flag 5305284/2546051
870.02/859.10	c cleaning 71000 clauses out of 142008 with flag 5456571/2618052
897.84/886.46	c cleaning 71998 clauses out of 144007 with flag 5608655/2691051
930.56/918.82	c cleaning 73005 clauses out of 146009 with flag 5763060/2765051
962.35/950.68	c cleaning 73999 clauses out of 148005 with flag 5919913/2840052
993.64/981.64	c cleaning 75002 clauses out of 150005 with flag 6078318/2916051
1028.78/1016.53	c cleaning 76002 clauses out of 152005 with flag 6238422/2993053
1070.85/1058.31	c cleaning 76996 clauses out of 154001 with flag 6402135/3071051
1118.63/1105.66	c cleaning 78000 clauses out of 156005 with flag 6567884/3150051
1162.30/1148.72	c cleaning 78997 clauses out of 158007 with flag 6736161/3230053
1211.68/1197.82	c cleaning 80005 clauses out of 160009 with flag 6906494/3311052
1269.80/1255.62	c cleaning 81000 clauses out of 162003 with flag 7077146/3393051
1322.85/1308.19	c cleaning 81992 clauses out of 164003 with flag 7247932/3476051
1376.51/1361.50	c cleaning 83004 clauses out of 166012 with flag 7420969/3560052
1428.70/1413.45	c cleaning 84000 clauses out of 168008 with flag 7595883/3645052
1475.92/1460.31	c cleaning 84997 clauses out of 170008 with flag 7772555/3731052
1524.93/1508.87	c cleaning 86004 clauses out of 172011 with flag 7951063/3818052
1572.23/1555.84	c cleaning 87003 clauses out of 174006 with flag 8131339/3906051
1623.15/1606.29	c cleaning 87998 clauses out of 176004 with flag 8314308/3995052
1677.18/1659.92	c cleaning 88996 clauses out of 178005 with flag 8499191/4085051
1730.14/1712.32	c cleaning 90005 clauses out of 180010 with flag 8685947/4176052
1784.13/1765.77	c cleaning 91000 clauses out of 182007 with flag 8875617/4268054
1800.03/1781.60	c starts		: 87
1800.03/1781.60	c conflicts		: 4307360
1800.03/1781.60	c decisions		: 4661687
1800.03/1781.60	c propagations		: 24070589
1800.03/1781.60	c inspects		: 17511048702
1800.03/1781.60	c shortcuts		: 0
1800.03/1781.60	c learnt literals	: 0
1800.03/1781.60	c learnt binary clauses	: 0
1800.03/1781.60	c learnt ternary clauses	: 0
1800.03/1781.60	c learnt constraints	: 4307360
1800.03/1781.60	c ignored constraints	: 0
1800.03/1781.60	c root simplifications	: 0
1800.03/1781.60	c removed literals (reason simplification)	: 0
1800.03/1781.60	c reason swapping (by a shorter reason)	: 0
1800.03/1781.60	c Calls to reduceDB	: 88
1800.03/1781.60	c Number of update (reduction) of LBD	: 175363
1800.03/1781.60	c Imported unit clauses	: 0
1800.03/1781.60	c number of reductions to clauses (during analyze)	: 0
1800.03/1781.60	c number of learned constraints concerned by reduction	: 0
1800.03/1781.60	c number of learning phase by resolution	: 0
1800.03/1781.60	c number of learning phase by cutting planes	: 0
1800.03/1781.60	c speed (assignments/second)	: 13516.480208980853
1800.03/1781.60	c non guided choices	0
1800.03/1781.63	c learnt constraints type 
1800.03/1781.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 130313
1800.03/1781.63	s SATISFIABLE
1800.03/1781.63	c Found 3 solution(s)
1800.03/1781.64	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 
1800.03/1781.64	c objective function=-41
1800.03/1781.64	c Total wall clock time (in seconds): 1781.537

Verifier Data 

OK	-41

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

pid=4487
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.07 2.43 3.13 3/193 4495
/proc/meminfo: memFree=30461528/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 105605238 98570240 977 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 24065 977 743 9 0 16771 0
[pid=4495/tid=4496] ppid=4487 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 105605239 98570240 978 33554432000 1073741824 1073778376 140735324922736 139980868394536 266435642752 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.07 2.43 3.13 3/193 4495
/proc/meminfo: memFree=30461528/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 4481 0 1 0 9 1 0 0 20 0 18 0 105605238 9787879424 6121 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2389619 6121 2157 9 0 2380296 0
[pid=4495/tid=4496] ppid=4487 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 105605239 9787879424 6121 33554432000 1073741824 1073778376 140735324922736 139980868397984 266439025933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200336 s]
/proc/loadavg: 2.07 2.43 3.13 3/193 4495
/proc/meminfo: memFree=30461528/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 5007 0 1 0 27 1 0 0 20 0 18 0 105605238 9787879424 6961 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2389619 6961 2218 9 0 2380296 0
[pid=4495/tid=4496] ppid=4487 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 105605239 9787879424 6961 33554432000 1073741824 1073778376 140735324922736 139980868397984 139980718565159 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) 9558476

[startup+0.300331 s]
/proc/loadavg: 2.07 2.43 3.13 3/193 4495
/proc/meminfo: memFree=30461528/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 5864 0 1 0 48 2 0 0 20 0 18 0 105605238 9787879424 8933 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2389619 8933 2233 9 0 2380296 0
[pid=4495/tid=4496] ppid=4487 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2400 0 1 0 26 1 0 0 20 0 18 0 105605239 9787879424 8933 33554432000 1073741824 1073778376 140735324922736 139980868397984 266439015480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700304 s]
/proc/loadavg: 2.07 2.43 3.13 3/193 4495
/proc/meminfo: memFree=30461528/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9558476 CPUtime=1.06 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 6824 0 1 0 102 4 0 0 20 0 18 0 105605238 9787879424 39927 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2389619 39927 2261 9 0 2380296 0
[pid=4495/tid=4496] ppid=4487 vsize=9558476 CPUtime=0.66 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2462 0 1 0 63 3 0 0 20 0 18 0 105605239 9787879424 39927 33554432000 1073741824 1073778376 140735324922736 139980868398552 266439025933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 2.07 2.43 3.13 4/213 4515
/proc/meminfo: memFree=30157248/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 8813 0 1 0 209 5 0 0 20 0 19 0 105605238 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 40574 2280 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2475 0 1 0 143 3 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980868399256 139980718706048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 105605240 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 1641 0 0 0 28 0 0 0 20 0 19 0 105605243 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/4495/task/4511/stat : 4511 (java) S 4487 4495 31415 0 -1 4202560 3335 0 0 0 32 0 0 0 20 0 19 0 105605243 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980216572600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4512] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4512/stat : 4512 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980215520248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4513] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4513/stat : 4513 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980214467912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 40574 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.07 2.43 3.13 3/213 4515
/proc/meminfo: memFree=30118088/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 9240 0 1 0 380 10 0 0 20 0 19 0 105605238 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 50639 2284 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2477 0 1 0 299 3 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980868397544 139980719181852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 117 0 0 0 0 2 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 105605240 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 1653 0 0 0 32 0 0 0 20 0 19 0 105605243 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/4495/task/4511/stat : 4511 (java) S 4487 4495 31415 0 -1 4202560 3339 0 0 0 36 0 0 0 20 0 19 0 105605243 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980216572600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4512] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4512/stat : 4512 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980215520248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4513] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4513/stat : 4513 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980214467912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 50639 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.07 2.42 3.12 3/213 4515
/proc/meminfo: memFree=30073164/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 9257 0 1 0 702 12 0 0 20 0 19 0 105605238 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 58311 2284 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 2494 0 1 0 617 4 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980868399384 139980719107439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 117 0 0 0 0 2 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 19 0 105605239 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 105605240 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 1653 0 0 0 35 0 0 0 20 0 19 0 105605243 9856040960 58311 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7

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

[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 723726 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1619.26
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.55 2.28 2.36 3/213 4555
/proc/meminfo: memFree=24882216/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=1679.57 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 22097 0 1 0 167522 435 0 0 20 0 19 0 105605238 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 710111 2293 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=1649.18 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 3448 0 1 0 164876 42 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980868390592 139980719012299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=2.7 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 937 0 0 0 224 46 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 1148 0 0 0 236 46 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=2.67 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 1040 0 0 0 225 42 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 1109 0 0 0 232 44 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 1287 0 0 0 231 54 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=2.8 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 1105 0 0 0 226 54 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 1201 0 0 0 230 46 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=2.52 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 1167 0 0 0 210 42 0 0 20 0 19 0 105605239 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=2.88 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 2777 0 0 0 284 4 0 0 20 0 19 0 105605240 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 2186 0 0 0 38 0 0 0 20 0 19 0 105605243 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/4495/task/4511/stat : 4511 (java) S 4487 4495 31415 0 -1 4202560 3339 0 0 0 36 0 0 0 20 0 19 0 105605243 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980216572600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4512] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4512/stat : 4512 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980215520248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4513] ppid=4487 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/4495/task/4513/stat : 4513 (java) S 4487 4495 31415 0 -1 4202560 95 0 0 0 28 40 0 0 20 0 19 0 105605243 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980214467912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 710111 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1679.57
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.28 2.25 2.35 3/214 4559
/proc/meminfo: memFree=24995436/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=1740.15 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 22156 0 1 0 173577 438 0 0 20 0 19 0 105605238 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 681819 2293 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=1708.56 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 3450 0 1 0 170814 42 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980868390592 139980719135911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 937 0 0 0 230 46 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=2.91 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 1148 0 0 0 245 46 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=2.76 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 1040 0 0 0 234 42 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=2.83 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 1109 0 0 0 239 44 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 1287 0 0 0 242 54 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=2.94 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 1131 0 0 0 240 54 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 1221 0 0 0 239 46 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=2.61 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 1167 0 0 0 219 42 0 0 20 0 19 0 105605239 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 2784 0 0 0 312 4 0 0 20 0 19 0 105605240 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 2186 0 0 0 38 0 0 0 20 0 19 0 105605243 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/4495/task/4511/stat : 4511 (java) S 4487 4495 31415 0 -1 4202560 3339 0 0 0 36 0 0 0 20 0 19 0 105605243 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980216572600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4512] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4512/stat : 4512 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980215520248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4513] ppid=4487 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/4495/task/4513/stat : 4513 (java) S 4487 4495 31415 0 -1 4202560 99 0 0 0 29 42 0 0 20 0 19 0 105605243 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980214467912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 681819 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1740.15
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.6 s]
/proc/loadavg: 2.33 2.28 2.35 4/213 4560
/proc/meminfo: memFree=25065260/32872528 swapFree=14448/1543360
[pid=4495] ppid=4487 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/4495/stat : 4495 (java) S 4487 4495 31415 0 -1 4202496 22630 0 1 0 179563 440 0 0 20 0 19 0 105605238 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 140735324913872 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4495/statm: 2406260 664362 2293 9 0 2396937 0
[pid=4495/tid=4496] ppid=4487 vsize=9625040 CPUtime=1767.23 cores=1,3,5,7
/proc/4495/task/4496/stat : 4496 (java) R 4487 4495 31415 0 -1 4202560 3452 0 1 0 176680 43 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980868390592 139980719132273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4498] ppid=4487 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/4495/task/4498/stat : 4498 (java) S 4487 4495 31415 0 -1 4202560 937 0 0 0 236 46 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980840851624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4499] ppid=4487 vsize=9625040 CPUtime=2.97 cores=1,3,5,7
/proc/4495/task/4499/stat : 4499 (java) S 4487 4495 31415 0 -1 4202560 1148 0 0 0 251 46 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980839799080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4500] ppid=4487 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/4495/task/4500/stat : 4500 (java) S 4487 4495 31415 0 -1 4202560 1040 0 0 0 240 42 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980838746536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4501] ppid=4487 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/4495/task/4501/stat : 4501 (java) S 4487 4495 31415 0 -1 4202560 1109 0 0 0 254 44 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980837693992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4502] ppid=4487 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/4495/task/4502/stat : 4502 (java) S 4487 4495 31415 0 -1 4202560 1287 0 0 0 248 54 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980707506856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4503] ppid=4487 vsize=9625040 CPUtime=3.11 cores=1,3,5,7
/proc/4495/task/4503/stat : 4503 (java) S 4487 4495 31415 0 -1 4202560 1131 0 0 0 257 54 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980706454312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4504] ppid=4487 vsize=9625040 CPUtime=2.95 cores=1,3,5,7
/proc/4495/task/4504/stat : 4504 (java) S 4487 4495 31415 0 -1 4202560 1221 0 0 0 249 46 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980705401768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4505] ppid=4487 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/4495/task/4505/stat : 4505 (java) S 4487 4495 31415 0 -1 4202560 1167 0 0 0 229 42 0 0 20 0 19 0 105605239 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980704349224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4506] ppid=4487 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/4495/task/4506/stat : 4506 (java) S 4487 4495 31415 0 -1 4202560 3252 0 0 0 339 4 0 0 20 0 19 0 105605240 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980221835368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4507] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4507/stat : 4507 (java) S 4487 4495 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980220781688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4508] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4508/stat : 4508 (java) S 4487 4495 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105605241 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980219729032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4509] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4509/stat : 4509 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980218677776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4495/tid=4510] ppid=4487 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/4495/task/4510/stat : 4510 (java) S 4487 4495 31415 0 -1 4202560 2186 0 0 0 38 0 0 0 20 0 19 0 105605243 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980217625144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4495/tid=4511] ppid=4487 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/4495/task/4511/stat : 4511 (java) S 4487 4495 31415 0 -1 4202560 3339 0 0 0 36 0 0 0 20 0 19 0 105605243 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980216572600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4512] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4512/stat : 4512 (java) S 4487 4495 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105605243 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980215520248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4495/tid=4513] ppid=4487 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/4495/task/4513/stat : 4513 (java) S 4487 4495 31415 0 -1 4202560 103 0 0 0 30 44 0 0 20 0 19 0 105605243 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980214467912 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4495/tid=4515] ppid=4487 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4495/task/4515/stat : 4515 (java) S 4487 4495 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105605316 9856040960 664362 33554432000 1073741824 1073778376 140735324922736 139980213412648 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 4495 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4495 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=88713
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=792271
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.65
CPU time (s): 1800.03
CPU user time (s): 1795.63
CPU system time (s): 4.4
CPU usage (%): 101.032
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 4.79227
maximum resident set size= 3490832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22839
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38895
involuntary context switches= 16048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5211 second user time and 11.7852 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 20:11:56
IDJOB=4085342
IDBENCH=2265
IDSOLVER=2546
FILE ID=node116/4085342-1465236716
RUNJOBID= node116-1465236716-4449
PBS_JOBID= 19843214
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085342-1465236716/watcher-4085342-1465236716 -o /tmp/evaluation-result-4085342-1465236716/solver-4085342-1465236716 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465236716-4449 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085342-1465236716.opb

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

MD5SUM BENCH= a2418d45f4247bab260506429e96e746
RANDOM SEED=1345945362

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.134
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.134
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.134
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.134
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		: 2667.134
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.134
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:        30464684 kB
Buffers:           31604 kB
Cached:           122624 kB
SwapCached:         1432 kB
Active:            76156 kB
Inactive:          88552 kB
Active(anon):      11820 kB
Inactive(anon):     1380 kB
Active(file):      64336 kB
Inactive(file):    87172 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098884 kB
Dirty:              6696 kB
Writeback:            12 kB
AnonPages:       1549760 kB
Mapped:            12688 kB
Shmem:                 0 kB
Slab:             566428 kB
SReclaimable:      10596 kB
SUnreclaim:       555832 kB
KernelStack:        1408 kB
PageTables:         7224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2226064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1531904 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 node116 at 2016-06-06 20:41:38