Trace number 4090542

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.74 1790.24

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMc77cfb1ee053e7c4147458beb2d99117
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1200
Total number of constraints100
Number of soft constraints35
Number of constraints which are clauses60
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint30
Top cost 1842
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1841
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090542-1466063920.wbo
0.10/0.11	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.081s.
0.10/0.19	c declared #vars     1200
0.10/0.19	c internal #vars     1235
0.10/0.19	c #constraints  100
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
0.10/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.10/0.19	c 100 constraints processed.
0.10/0.19	c objective function length is 35 literals
0.54/0.38	c SATISFIABLE
0.54/0.38	c OPTIMIZING...
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.274
0.54/0.38	o 186
0.76/0.46	c Got one! Elapsed wall clock time (in seconds):0.355
0.76/0.46	o 97
0.98/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
0.98/0.64	o 74
1.15/0.75	c Got one! Elapsed wall clock time (in seconds):0.644
1.15/0.75	o 34
1.27/0.89	c cleaning 3282 clauses out of 6572 with flag 7080/6572
1.82/1.37	c cleaning 4612 clauses out of 9290 with flag 49064/12572
2.12/1.65	c Got one! Elapsed wall clock time (in seconds):1.542
2.12/1.65	o 17
2.12/1.67	c Got one! Elapsed wall clock time (in seconds):1.558
2.12/1.67	o 13
2.23/1.75	c cleaning 5201 clauses out of 10409 with flag 5786/18303
2.75/2.26	c cleaning 5598 clauses out of 11210 with flag 51498/24305
3.36/2.83	c cleaning 6298 clauses out of 12614 with flag 103309/31307
3.76/3.26	c Got one! Elapsed wall clock time (in seconds):3.148
3.76/3.26	o 8
4.06/3.59	c cleaning 8204 clauses out of 16430 with flag 35693/41421
4.66/4.15	c cleaning 7093 clauses out of 14226 with flag 79212/47421
5.16/4.68	c cleaning 6982 clauses out of 14134 with flag 138161/54422
5.77/5.22	c cleaning 7520 clauses out of 15153 with flag 206560/62423
6.37/5.89	c cleaning 8262 clauses out of 16631 with flag 276973/71421
7.37/6.85	c cleaning 9084 clauses out of 18370 with flag 350366/81422
8.76/8.21	c cleaning 10044 clauses out of 20286 with flag 432676/92422
10.47/9.93	c cleaning 11025 clauses out of 22242 with flag 541981/104422
12.36/11.89	c cleaning 12014 clauses out of 24217 with flag 657715/117422
14.66/14.19	c cleaning 13009 clauses out of 26203 with flag 779760/131422
17.56/17.08	c cleaning 13999 clauses out of 28195 with flag 915947/146423
20.57/20.05	c cleaning 15001 clauses out of 30196 with flag 1049992/162423
23.02/22.44	c cleaning 16089 clauses out of 32197 with flag 1182017/179425
25.71/25.10	c cleaning 17046 clauses out of 34108 with flag 1335134/197425
28.41/27.86	c cleaning 18014 clauses out of 36058 with flag 1519384/216421
31.71/31.11	c cleaning 19010 clauses out of 38044 with flag 1721021/236421
35.61/35.01	c cleaning 20011 clauses out of 40038 with flag 1935974/257425
38.61/38.08	c cleaning 20884 clauses out of 42023 with flag 2129630/279421
40.81/40.28	c cleaning 22032 clauses out of 44142 with flag 2344711/302424
44.62/44.10	c cleaning 22945 clauses out of 46108 with flag 2526646/326422
47.97/47.33	c cleaning 24059 clauses out of 48164 with flag 2727571/351423
53.76/53.13	c cleaning 25024 clauses out of 50104 with flag 2965092/377422
60.26/59.66	c cleaning 26016 clauses out of 52083 with flag 3217738/404425
67.76/67.11	c cleaning 26996 clauses out of 54063 with flag 3492645/432421
74.96/74.38	c cleaning 28000 clauses out of 56068 with flag 3782806/461422
82.76/82.12	c cleaning 29008 clauses out of 58067 with flag 4053228/491421
88.57/87.82	c cleaning 30020 clauses out of 60059 with flag 4313657/522421
93.87/93.11	c cleaning 30999 clauses out of 62041 with flag 4558091/554423
98.78/98.06	c cleaning 31932 clauses out of 64041 with flag 4805066/587422
103.57/102.90	c cleaning 32928 clauses out of 66109 with flag 5086125/621422
108.97/108.29	c cleaning 34003 clauses out of 68181 with flag 5426672/656422
116.55/115.67	c cleaning 35077 clauses out of 70178 with flag 5767304/692422
126.64/125.78	c cleaning 36048 clauses out of 72102 with flag 6148936/729423
132.64/131.73	c cleaning 37009 clauses out of 74057 with flag 6500618/767426
145.11/144.07	c cleaning 38008 clauses out of 76044 with flag 6906934/806422
156.61/155.59	c cleaning 39017 clauses out of 78037 with flag 7296322/846423
166.93/165.66	c cleaning 40008 clauses out of 80021 with flag 7690216/887424
178.92/177.69	c cleaning 40988 clauses out of 82011 with flag 8111164/929422
186.62/185.35	c cleaning 41952 clauses out of 84022 with flag 8486702/972421
202.25/200.76	c cleaning 42972 clauses out of 86070 with flag 8794161/1016421
215.26/213.77	c cleaning 44004 clauses out of 88098 with flag 9122960/1061421
224.68/222.95	c cleaning 44953 clauses out of 90097 with flag 9545877/1107424
232.87/230.91	c cleaning 45978 clauses out of 92142 with flag 9961837/1154422
242.57/240.64	c cleaning 47056 clauses out of 94165 with flag 10360399/1202423
252.06/250.07	c cleaning 47997 clauses out of 96108 with flag 10792960/1251422
266.18/264.07	c cleaning 48980 clauses out of 98111 with flag 11258166/1301422
275.99/273.71	c cleaning 50049 clauses out of 100133 with flag 11797828/1352424
286.80/284.46	c cleaning 51034 clauses out of 102081 with flag 12277742/1404421
306.28/303.89	c cleaning 52021 clauses out of 104051 with flag 12798257/1457425
324.87/322.36	c cleaning 53010 clauses out of 106026 with flag 13329306/1511421
346.25/343.63	c cleaning 54000 clauses out of 108017 with flag 13911395/1566422
366.84/364.00	c cleaning 55005 clauses out of 110016 with flag 14509408/1622421
396.69/393.89	c cleaning 56003 clauses out of 112011 with flag 15147263/1679421
416.60/413.66	c cleaning 56994 clauses out of 114008 with flag 15746438/1737421
439.14/436.08	c cleaning 58006 clauses out of 116015 with flag 16362333/1796422
462.52/459.38	c cleaning 59004 clauses out of 118008 with flag 17002720/1856421
494.66/491.48	c cleaning 60000 clauses out of 120007 with flag 17788321/1917424
531.62/528.20	c cleaning 61001 clauses out of 122004 with flag 18657285/1979421
563.01/559.42	c cleaning 61994 clauses out of 124003 with flag 19382500/2042421
586.37/582.76	c cleaning 62999 clauses out of 126012 with flag 20079617/2106424
622.68/618.99	c cleaning 63996 clauses out of 128010 with flag 20881530/2171421
662.84/659.00	c cleaning 65002 clauses out of 130014 with flag 21582364/2237421
710.16/706.13	c cleaning 66003 clauses out of 132014 with flag 22397878/2304423
739.83/735.69	c cleaning 67003 clauses out of 134010 with flag 23096954/2372422
774.36/770.04	c cleaning 68003 clauses out of 136010 with flag 23579822/2441425
834.65/830.25	c cleaning 68999 clauses out of 138005 with flag 24230046/2511423
899.95/895.48	c cleaning 69995 clauses out of 140004 with flag 24912611/2582421
958.42/953.76	c cleaning 71000 clauses out of 142011 with flag 25600801/2654423
1002.80/997.92	c cleaning 72000 clauses out of 144011 with flag 26317764/2727423
1050.00/1044.95	c cleaning 73001 clauses out of 146009 with flag 26978737/2801421
1105.60/1100.31	c cleaning 74000 clauses out of 148008 with flag 27620700/2876421
1150.36/1144.82	c cleaning 75000 clauses out of 150009 with flag 28258271/2952422
1177.69/1171.91	c cleaning 76000 clauses out of 152008 with flag 28856281/3029421
1222.92/1216.93	c cleaning 76992 clauses out of 154009 with flag 29416790/3107422
1273.03/1266.88	c cleaning 78008 clauses out of 156017 with flag 29977455/3186422
1310.34/1303.95	c cleaning 78983 clauses out of 158008 with flag 30614492/3266421
1338.04/1331.45	c cleaning 79991 clauses out of 160028 with flag 31238189/3347424
1378.06/1371.26	c cleaning 80991 clauses out of 162036 with flag 31928792/3429423
1407.14/1400.02	c cleaning 82014 clauses out of 164043 with flag 32675588/3512421
1459.49/1452.17	c cleaning 82999 clauses out of 166029 with flag 33306254/3596421
1508.84/1501.21	c cleaning 84008 clauses out of 168032 with flag 33886285/3681423
1570.54/1562.64	c cleaning 85008 clauses out of 170024 with flag 34556485/3767423
1626.54/1618.24	c cleaning 86000 clauses out of 172014 with flag 35219646/3854421
1682.85/1674.19	c cleaning 86998 clauses out of 174015 with flag 35851449/3942422
1745.03/1735.73	c cleaning 88004 clauses out of 176018 with flag 36486220/4031423
1800.02/1790.20	c starts		: 32314
1800.02/1790.20	c conflicts		: 4117787
1800.02/1790.20	c decisions		: 11531618
1800.02/1790.20	c propagations		: 125138801
1800.02/1790.20	c inspects		: 29403348937
1800.02/1790.20	c shortcuts		: 0
1800.02/1790.20	c learnt literals	: 0
1800.02/1790.20	c learnt binary clauses	: 0
1800.02/1790.20	c learnt ternary clauses	: 0
1800.02/1790.20	c learnt constraints	: 4117787
1800.02/1790.20	c ignored constraints	: 0
1800.02/1790.20	c root simplifications	: 0
1800.02/1790.20	c removed literals (reason simplification)	: 0
1800.02/1790.20	c reason swapping (by a shorter reason)	: 0
1800.02/1790.20	c Calls to reduceDB	: 90
1800.02/1790.20	c Number of update (reduction) of LBD	: 2444739
1800.02/1790.20	c Imported unit clauses	: 0
1800.02/1790.20	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.20	c number of learned constraints concerned by reduction	: 0
1800.02/1790.20	c number of learning phase by resolution	: 0
1800.02/1790.20	c number of learning phase by cutting planes	: 0
1800.02/1790.20	c speed (assignments/second)	: 69909.59319198954
1800.02/1790.20	c non guided choices	25863
1800.02/1790.23	c learnt constraints type 
1800.02/1790.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 174379
1800.02/1790.23	s SATISFIABLE
1800.02/1790.23	c Found 7 solution(s)
1800.02/1790.23	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 
1800.02/1790.24	c objective function=8
1800.02/1790.24	c Total wall clock time (in seconds): 1790.127

Verifier Data 

OK	8

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-4090542-1466063920/watcher-4090542-1466063920 -o /tmp/evaluation-result-4090542-1466063920/solver-4090542-1466063920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466062122-10381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090542-1466063920.wbo 

pid=10597
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.26 2.21 1.88 3/188 10600
/proc/meminfo: memFree=30603224/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 8438531 95129600 927 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 23225 927 703 9 0 16769 0
[pid=10600/tid=10601] ppid=10597 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 8438532 96370688 931 33554432000 1073741824 1073778376 140735258758080 139702749421096 229346734954 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100097 s]
/proc/loadavg: 2.26 2.21 1.88 3/188 10600
/proc/meminfo: memFree=30603224/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 4392 0 1 0 9 1 0 0 20 0 18 0 8438531 9787879424 6028 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2389619 6028 2125 9 0 2380296 0
[pid=10600/tid=10601] ppid=10597 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2381 0 1 0 6 1 0 0 20 0 18 0 8438532 9787879424 6028 33554432000 1073741824 1073778376 140735258758080 139702749424544 139702752266414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200315 s]
/proc/loadavg: 2.26 2.21 1.88 3/188 10600
/proc/meminfo: memFree=30603224/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 4957 0 1 0 26 1 0 0 20 0 19 0 8438531 9856040960 6931 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 6931 2220 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2411 0 1 0 16 1 0 0 20 0 19 0 8438532 9856040960 6931 33554432000 1073741824 1073778376 140735258758080 139702749426304 139702619413936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.300304 s]
/proc/loadavg: 2.26 2.21 1.88 3/188 10600
/proc/meminfo: memFree=30603224/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 7597 0 1 0 52 2 0 0 20 0 19 0 8438531 9856040960 9035 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 9035 2247 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 19 0 8438532 9856040960 9035 33554432000 1073741824 1073778376 140735258758080 139702749426304 139702619464717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700236 s]
/proc/loadavg: 2.26 2.21 1.88 3/188 10600
/proc/meminfo: memFree=30603224/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 10107 0 1 0 113 2 0 0 20 0 19 0 8438531 9856040960 10272 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 10272 2252 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2414 0 1 0 66 1 0 0 20 0 19 0 8438532 9856040960 10272 33554432000 1073741824 1073778376 140735258758080 139702749424416 139702619464688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.26 2.21 1.88 3/213 10625
/proc/meminfo: memFree=30534596/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=2.02 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 10220 0 1 0 200 2 0 0 20 0 19 0 8438531 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 11751 2258 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2418 0 1 0 146 1 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702749417168 139702619829111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3529 0 0 0 31 0 0 0 20 0 19 0 8438537 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3001 0 0 0 21 0 0 0 20 0 19 0 8438537 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 11751 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.24 2.21 1.89 3/213 10625
/proc/meminfo: memFree=30511448/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=3.66 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 10229 0 1 0 363 3 0 0 20 0 19 0 8438531 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 15336 2259 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2426 0 1 0 305 2 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702749417152 139702619802959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3001 0 0 0 23 0 0 0 20 0 19 0 8438537 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 15336 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.24 2.21 1.89 3/213 10625
/proc/meminfo: memFree=30448092/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=6.87 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 10248 0 1 0 684 3 0 0 20 0 19 0 8438531 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 24025 2260 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2444 0 1 0 625 2 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702749417152 139702619934781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438532 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8438533 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 24025 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.24 cores=0,2,4,6

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

[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3227 0 0 0 27 0 0 0 20 0 19 0 8438537 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 96 0 0 0 23 28 0 0 20 0 19 0 8438537 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 67385 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1671
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.12 3/213 10691
/proc/meminfo: memFree=29982400/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=1731.57 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 17765 0 1 0 173048 109 0 0 20 0 19 0 8438531 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 58183 2282 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=1716 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2670 0 1 0 171568 32 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702749424864 139702619829054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 680 0 0 0 136 8 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 453 0 0 0 144 8 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1086 0 0 0 143 12 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=1.68 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 663 0 0 0 155 13 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 900 0 0 0 139 11 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 478 0 0 0 137 10 0 0 20 0 19 0 8438532 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1147 0 0 0 151 6 0 0 20 0 19 0 8438533 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 981 0 0 0 140 12 0 0 20 0 19 0 8438533 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 592 0 0 0 250 4 0 0 20 0 19 0 8438534 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3227 0 0 0 27 0 0 0 20 0 19 0 8438537 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 100 0 0 0 25 29 0 0 20 0 19 0 8438537 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 58183 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1731.57
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.12 3/213 10692
/proc/meminfo: memFree=29986368/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=1792.11 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 18624 0 1 0 179097 114 0 0 20 0 19 0 8438531 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 60381 2282 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=1775.59 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2694 0 1 0 177527 32 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702749424928 139702619802625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 700 0 0 0 146 9 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 462 0 0 0 158 8 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1302 0 0 0 152 13 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=1.77 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 1001 0 0 0 164 13 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 907 0 0 0 149 11 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 517 0 0 0 146 10 0 0 20 0 19 0 8438532 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1339 0 0 0 158 7 0 0 20 0 19 0 8438533 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 984 0 0 0 150 12 0 0 20 0 19 0 8438533 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 599 0 0 0 262 4 0 0 20 0 19 0 8438534 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3227 0 0 0 27 0 0 0 20 0 19 0 8438537 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 19 0 8438537 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 60381 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1792.11
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 2.19 2.21 2.11 4/213 10758
/proc/meminfo: memFree=30264612/32872528 swapFree=1370072/1517240
[pid=10600] ppid=10597 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/10600/stat : 10600 (java) S 10597 10600 10365 0 -1 4202496 18627 0 1 0 179888 114 0 0 20 0 19 0 8438531 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 140735258749216 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10600/statm: 2406260 60383 2282 9 0 2396937 0
[pid=10600/tid=10601] ppid=10597 vsize=9625040 CPUtime=1783.48 cores=0,2,4,6
/proc/10600/task/10601/stat : 10601 (java) R 10597 10600 10365 0 -1 4202560 2695 0 1 0 178315 33 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702749424928 139702619857173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10608] ppid=10597 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/10600/task/10608/stat : 10608 (java) S 10597 10600 10365 0 -1 4202560 700 0 0 0 147 9 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702738488360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10609] ppid=10597 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/10600/task/10609/stat : 10609 (java) S 10597 10600 10365 0 -1 4202560 462 0 0 0 158 8 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702591765416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10610] ppid=10597 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10600/task/10610/stat : 10610 (java) S 10597 10600 10365 0 -1 4202560 1302 0 0 0 152 13 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702590712616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10611] ppid=10597 vsize=9625040 CPUtime=1.78 cores=0,2,4,6
/proc/10600/task/10611/stat : 10611 (java) S 10597 10600 10365 0 -1 4202560 1001 0 0 0 165 13 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702589659816 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10612] ppid=10597 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/10600/task/10612/stat : 10612 (java) S 10597 10600 10365 0 -1 4202560 907 0 0 0 149 11 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702588607016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10613] ppid=10597 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/10600/task/10613/stat : 10613 (java) S 10597 10600 10365 0 -1 4202560 517 0 0 0 146 10 0 0 20 0 19 0 8438532 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702587554216 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10614] ppid=10597 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/10600/task/10614/stat : 10614 (java) S 10597 10600 10365 0 -1 4202560 1341 0 0 0 159 7 0 0 20 0 19 0 8438533 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702586501416 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10600/tid=10615] ppid=10597 vsize=9625040 CPUtime=1.63 cores=0,2,4,6
/proc/10600/task/10615/stat : 10615 (java) S 10597 10600 10365 0 -1 4202560 984 0 0 0 151 12 0 0 20 0 19 0 8438533 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702585448616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10616] ppid=10597 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/10600/task/10616/stat : 10616 (java) S 10597 10600 10365 0 -1 4202560 599 0 0 0 262 4 0 0 20 0 19 0 8438534 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702573251560 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10617] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10617/stat : 10617 (java) S 10597 10600 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702572197624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10618] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10618/stat : 10618 (java) S 10597 10600 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8438534 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702571144712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10619] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10619/stat : 10619 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438536 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702570093200 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10620] ppid=10597 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10600/task/10620/stat : 10620 (java) S 10597 10600 10365 0 -1 4202560 3530 0 0 0 32 0 0 0 20 0 19 0 8438537 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702569040312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10600/tid=10621] ppid=10597 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10600/task/10621/stat : 10621 (java) S 10597 10600 10365 0 -1 4202560 3227 0 0 0 27 0 0 0 20 0 19 0 8438537 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702567987512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10622] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10622/stat : 10622 (java) S 10597 10600 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8438537 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702566934904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10600/tid=10623] ppid=10597 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/10600/task/10623/stat : 10623 (java) S 10597 10600 10365 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 19 0 8438537 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702565882312 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10600/tid=10624] ppid=10597 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10600/task/10624/stat : 10624 (java) S 10597 10600 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8438551 9856040960 60383 33554432000 1073741824 1073778376 140735258758080 139702564828840 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 10600 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1790.24
CPU time (s): 1800.74
CPU user time (s): 1799.11
CPU system time (s): 1.63075
CPU usage (%): 100.586
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.63075
maximum resident set size= 753900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18674
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44440
involuntary context switches= 31763

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5434 second user time and 13.062 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 09:58:40
IDJOB=4090542
IDBENCH=78703
IDSOLVER=2551
FILE ID=node129/4090542-1466063920
RUNJOBID= node129-1466062122-10381
PBS_JOBID= 19904010
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= c77cfb1ee053e7c4147458beb2d99117
RANDOM SEED=812890052

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30603884 kB
Buffers:            3796 kB
Cached:            37432 kB
SwapCached:          652 kB
Active:            32156 kB
Inactive:          20656 kB
Active(anon):      12868 kB
Inactive(anon):      884 kB
Active(file):      19288 kB
Inactive(file):    19772 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:              1056 kB
Writeback:             0 kB
AnonPages:       1524620 kB
Mapped:            12568 kB
Shmem:                 0 kB
Slab:             565036 kB
SReclaimable:       8876 kB
SUnreclaim:       556160 kB
KernelStack:        1440 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2196868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71736 MiB
End job on node129 at 2016-06-16 10:28:31