Trace number 3733206

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-43 1800.01 919.269

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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.07/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.12	c See www.sat4j.org for details.
0.07/0.12	c version 2.3.1.v20110525
0.07/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.12	c java.vm.version	19.1-b02
0.07/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.12	c sun.arch.data.model	64
0.07/0.12	c java.version		1.6.0_24
0.07/0.12	c os.name		Linux
0.07/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.12	c os.arch		amd64
0.07/0.12	c Free memory 		9996466904
0.07/0.12	c Max memory 		10048897024
0.07/0.12	c Total memory 		10048897024
0.07/0.12	c Number of processors 	8
0.07/0.15	c Pseudo Boolean Optimization
0.07/0.15	c ManyCore solver with 2 solvers running in parallel
0.07/0.15	c --- Begin Solver configuration ---
0.07/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.15	c Learn all clauses as in MiniSAT
0.07/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.15	c Expensive reason simplification
0.07/0.15	c Armin Biere (Picosat) restarts strategy
0.07/0.15	c Glucose learned constraints deletion strategy
0.07/0.15	c timeout=2147483s
0.07/0.15	c DB Simplification allowed=false
0.07/0.15	c --- End Solver configuration ---
0.07/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.15	c --- Begin Solver configuration ---
0.07/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.15	c Learn all clauses as in MiniSAT
0.07/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.15	c No reason simplification
0.07/0.15	c Armin Biere (Picosat) restarts strategy
0.07/0.15	c Glucose learned constraints deletion strategy
0.07/0.15	c timeout=2147483s
0.07/0.15	c DB Simplification allowed=false
0.07/0.15	c --- End Solver configuration ---
0.07/0.15	c solving HOME/instance-3733206-1338688431.opb
0.07/0.15	c reading problem ... 
1.15/0.78	c ... done. Wall clock time 0.639s.
1.15/0.78	c #vars     1272
1.15/0.78	c #constraints  94227
1.15/0.78	c constraints type 
1.15/0.78	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94227
1.15/0.78	c constraints type 
1.15/0.78	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94227
1.26/0.81	c  And the winner is Resolution
1.38/1.29	c SATISFIABLE
1.38/1.29	c OPTIMIZING...
1.38/1.29	c Got one! Elapsed wall clock time (in seconds):1.145
1.38/1.29	o -37
1.39/1.37	c  And the winner is Resolution
1.79/1.80	c Got one! Elapsed wall clock time (in seconds):1.652
1.79/1.80	o -38
2.18/1.96	c  And the winner is Resolution
2.91/2.30	c Got one! Elapsed wall clock time (in seconds):2.157
2.91/2.30	o -39
3.68/2.63	c  And the winner is CuttingPlanes
3.74/2.81	c Got one! Elapsed wall clock time (in seconds):2.661
3.74/2.81	o -40
3.93/2.98	c  And the winner is Resolution
4.19/3.31	c Got one! Elapsed wall clock time (in seconds):3.165
4.19/3.31	o -41
6.43/4.44	c cleaning 3225 clauses out of 6450 with flag 4001/6450
10.10/6.27	c cleaning 4606 clauses out of 9224 with flag 10000/12449
14.48/8.40	c cleaning 5810 clauses out of 11620 with flag 17002/19451
19.41/10.92	c cleaning 6902 clauses out of 13809 with flag 25001/27450
25.29/13.92	c cleaning 7952 clauses out of 15906 with flag 34000/36449
31.75/17.28	c cleaning 8975 clauses out of 17954 with flag 44000/46449
36.83/19.87	c  And the winner is CuttingPlanes
36.90/20.22	c Got one! Elapsed wall clock time (in seconds):20.077
36.90/20.22	o -42
40.05/21.83	c cleaning 10504 clauses out of 21008 with flag 5000/58478
43.92/23.82	c cleaning 8248 clauses out of 16504 with flag 11000/64478
48.40/26.26	c cleaning 7621 clauses out of 15256 with flag 18000/71478
50.01/27.16	c  And the winner is Resolution
51.07/28.18	c Got one! Elapsed wall clock time (in seconds):28.034
51.07/28.18	o -43
52.76/29.09	c cleaning 6389 clauses out of 12795 with flag 3000/76638
56.57/31.03	c cleaning 6193 clauses out of 12406 with flag 9000/82638
61.37/33.53	c cleaning 6604 clauses out of 13213 with flag 16000/89638
66.65/36.38	c cleaning 7302 clauses out of 14609 with flag 24000/97638
72.82/39.54	c cleaning 8150 clauses out of 16307 with flag 33000/106638
79.41/42.93	c cleaning 9075 clauses out of 18157 with flag 43000/116638
87.55/47.14	c cleaning 10038 clauses out of 20082 with flag 54000/127638
95.73/51.44	c cleaning 11023 clauses out of 22045 with flag 66001/139639
104.89/56.16	c cleaning 12004 clauses out of 24022 with flag 79001/152639
115.19/61.49	c cleaning 13005 clauses out of 26017 with flag 93000/166638
125.32/66.66	c cleaning 14000 clauses out of 28012 with flag 108000/181638
136.88/72.68	c cleaning 15006 clauses out of 30012 with flag 124000/197638
150.77/79.70	c cleaning 15996 clauses out of 32006 with flag 141000/214638
164.85/86.93	c cleaning 17005 clauses out of 34010 with flag 159000/232638
178.74/94.02	c cleaning 17993 clauses out of 36005 with flag 178000/251638
194.63/102.27	c cleaning 19006 clauses out of 38012 with flag 198000/271638
210.87/110.57	c cleaning 19990 clauses out of 40008 with flag 219002/292640
231.77/121.18	c cleaning 21004 clauses out of 42016 with flag 241000/314638
247.82/129.39	c cleaning 22003 clauses out of 44012 with flag 264000/337638
268.17/139.88	c cleaning 22996 clauses out of 46010 with flag 288001/361639
289.99/150.98	c cleaning 24002 clauses out of 48013 with flag 313000/386638
313.01/162.66	c cleaning 25002 clauses out of 50011 with flag 339000/412638
338.43/175.53	c cleaning 26004 clauses out of 52009 with flag 366000/439638
360.20/186.72	c cleaning 26994 clauses out of 54005 with flag 394000/467638
383.78/198.77	c cleaning 27996 clauses out of 56011 with flag 423000/496638
411.17/212.64	c cleaning 28999 clauses out of 58015 with flag 453000/526638
438.54/226.54	c cleaning 30004 clauses out of 60016 with flag 484000/557638
467.30/241.34	c cleaning 30999 clauses out of 62012 with flag 516000/589638
502.42/259.11	c cleaning 32002 clauses out of 64013 with flag 549000/622638
532.93/274.63	c cleaning 32999 clauses out of 66011 with flag 583000/656638
561.65/289.27	c cleaning 34003 clauses out of 68013 with flag 618001/691639
596.11/306.93	c cleaning 34999 clauses out of 70009 with flag 654000/727638
633.96/326.17	c cleaning 36001 clauses out of 72011 with flag 691001/764639
668.22/343.50	c cleaning 36998 clauses out of 74009 with flag 729000/802638
708.45/363.94	c cleaning 37996 clauses out of 76011 with flag 768000/841638
749.68/385.04	c cleaning 39004 clauses out of 78015 with flag 808000/881638
794.91/407.99	c cleaning 40003 clauses out of 80011 with flag 849000/922638
828.05/424.86	c cleaning 40997 clauses out of 82009 with flag 891001/964639
863.65/442.94	c cleaning 42006 clauses out of 84012 with flag 934001/1007639
904.27/463.86	c cleaning 42997 clauses out of 86006 with flag 978001/1051639
946.01/485.09	c cleaning 43997 clauses out of 88009 with flag 1023001/1096639
992.26/508.55	c cleaning 45002 clauses out of 90011 with flag 1069000/1142638
1048.50/537.01	c cleaning 46002 clauses out of 92012 with flag 1116003/1189641
1062.81/544.80	c cleaning 0 clauses out of 6287 with flag 0/6289
1104.35/565.81	c cleaning 46998 clauses out of 94008 with flag 1164001/1237639
1165.39/596.66	c cleaning 47992 clauses out of 96009 with flag 1213000/1286638
1227.40/627.94	c cleaning 49000 clauses out of 98018 with flag 1263001/1336639
1291.05/660.49	c cleaning 50002 clauses out of 100018 with flag 1314001/1387639
1333.86/682.29	c cleaning 50996 clauses out of 102015 with flag 1366000/1439638
1386.22/708.90	c cleaning 52006 clauses out of 104020 with flag 1419001/1492639
1441.12/736.72	c cleaning 53004 clauses out of 106014 with flag 1473001/1546639
1499.88/766.82	c cleaning 54003 clauses out of 108010 with flag 1528001/1601639
1569.56/802.07	c cleaning 55001 clauses out of 110006 with flag 1584000/1657638
1633.64/834.47	c cleaning 55996 clauses out of 112005 with flag 1641000/1714638
1709.90/872.98	c cleaning 57001 clauses out of 114009 with flag 1699000/1772638
1776.29/906.96	c cleaning 57990 clauses out of 116008 with flag 1758000/1831638
1800.01/919.21	c starts		: 299
1800.01/919.21	c conflicts		: 1856520
1800.01/919.21	c decisions		: 2002992
1800.01/919.21	c propagations		: 11299185
1800.01/919.21	c inspects		: 1967975773
1800.01/919.21	c shortcuts		: 0
1800.01/919.21	c learnt literals	: 0
1800.01/919.21	c learnt binary clauses	: 0
1800.01/919.21	c learnt ternary clauses	: 0
1800.01/919.21	c learnt constraints	: 1856520
1800.01/919.21	c ignored constraints	: 0
1800.01/919.21	c root simplifications	: 0
1800.01/919.21	c removed literals (reason simplification)	: 23676814
1800.01/919.21	c reason swapping (by a shorter reason)	: 0
1800.01/919.21	c Calls to reduceDB	: 64
1800.01/919.21	c number of reductions to clauses (during analyze)	: 0
1800.01/919.21	c number of learned constraints concerned by reduction	: 0
1800.01/919.21	c number of learning phase by resolution	: 0
1800.01/919.21	c number of learning phase by cutting planes	: 0
1800.01/919.21	c speed (assignments/second)	: 12681.023443628786
1800.01/919.21	c non guided choices	0
1800.01/919.24	c learnt constraints type 
1800.01/919.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82951
1800.01/919.24	c constraints type 
1800.01/919.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/919.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94227
1800.01/919.24	c constraints type 
1800.01/919.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94227
1800.01/919.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.01/919.24	s SATISFIABLE
1800.01/919.25	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 
1800.01/919.25	c objective function=-43
1800.01/919.25	c Total wall clock time (in seconds): 919.1

Verifier Data

OK	-43

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3733206-1338688431/watcher-3733206-1338688431 -o /tmp/evaluation-result-3733206-1338688431/solver-3733206-1338688431 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733206-1338688431.opb 

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: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/8278/stat : 8278 (java) D 8276 8278 2935 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 334967517 2560000 46 33554432000 1073741824 1073778376 140736715544784 140736715541912 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8278/statm: 625 46 37 9 0 29 0

[startup+0.043102 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=10510056 CPUtime=0.01 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 3138 0 1 0 0 1 0 0 20 0 2 0 334967517 10762297344 8441 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2627514 8441 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.100342 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586364 CPUtime=0.07 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 4406 0 1 0 5 2 0 0 20 0 18 0 334967517 11864436736 12770 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896591 12770 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586364

[startup+0.300249 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586392 CPUtime=0.41 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 5960 0 1 0 39 2 0 0 20 0 18 0 334967517 11864465408 15599 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896598 15614 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 11586392

[startup+0.700271 s]
/proc/loadavg: 3.82 3.85 3.82 4/197 8278
/proc/meminfo: memFree=25521564/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11586392 CPUtime=1.15 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 10146 0 1 0 110 5 0 0 20 0 18 0 334967517 11864465408 54504 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2896598 54504 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 11586392

[startup+1.50073 s]
/proc/loadavg: 3.82 3.85 3.82 3/216 8300
/proc/meminfo: memFree=25260376/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 11457 0 1 0 169 10 0 0 20 0 19 0 334967517 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 68967 2258 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3477 0 1 0 70 5 0 0 20 0 19 0 334967519 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 2638 0 0 0 35 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 4029 0 0 0 42 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8299] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8299/stat : 8299 (java) S 8276 8278 2935 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334967598 12137111552 68967 33554432000 1073741824 1073778376 140734054590992 140035080406184 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 11852648

[startup+3.10076 s]
/proc/loadavg: 3.82 3.85 3.82 5/216 8306
/proc/meminfo: memFree=25226972/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=4.19 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 22590 0 1 0 400 19 0 0 20 0 19 0 334967517 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 102052 2263 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3478 0 1 0 71 6 0 0 20 0 19 0 334967519 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334967522 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334967523 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8874 0 0 0 84 2 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 8847 0 0 0 88 2 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334967526 12137111552 102052 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 11852648

[startup+6.30082 s]
/proc/loadavg: 3.76 3.84 3.81 5/219 8315
/proc/meminfo: memFree=24800924/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=10.35 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 23069 0 1 0 996 39 0 0 20 0 22 0 334967517 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 215036 2291 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.77 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3479 0 1 0 71 6 0 0 20 0 22 0 334967519 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) R 8276 8278 2935 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035262568920 140035275978425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) R 8276 8278 2935 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035109448024 140035277682863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) R 8276 8278 2935 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035108395736 140035275978483 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) R 8276 8278 2935 0 -1 4202560 48 0 0 0 5 3 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035107342760 140035275978483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) R 8276 8278 2935 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035106290648 140035277682863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) R 8276 8278 2935 0 -1 4202560 34 0 0 0 2 2 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035105237672 140035275978483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) R 8276 8278 2935 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035104185384 140035275978483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) R 8276 8278 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 334967522 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035103132760 140035280403372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 58 0 0 0 13 2 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035090932968 239241049148 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8944 0 0 0 102 2 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 8851 0 0 0 94 2 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8312] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8312/stat : 8312 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334967798 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035081459240 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8313] ppid=8276 vsize=11852648 CPUtime=2.68 cores=1,3,5,7
/proc/8278/task/8313/stat : 8313 (java) S 8276 8278 2935 0 -1 4202560 18 0 0 0 268 0 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035080405000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8314] ppid=8276 vsize=11852648 CPUtime=2.69 cores=1,3,5,7
/proc/8278/task/8314/stat : 8314 (java) S 8276 8278 2935 0 -1 4202560 144 0 0 0 264 5 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035082508696 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8315] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8315/stat : 8315 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334967849 12137111552 215036 33554432000 1073741824 1073778376 140734054590992 140035079353512 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

/proc/8278/statm: 2963162 1086081 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3517 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.2 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 226 0 0 0 212 8 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.08 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 233 0 0 0 202 6 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=1.98 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 209 0 0 0 189 9 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 265 0 0 0 189 11 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 226 0 0 0 214 7 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.34 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 225 0 0 0 225 9 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 240 0 0 0 194 6 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 221 0 0 0 193 7 0 0 20 0 22 0 334967522 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=39.89 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 620 0 0 0 3965 24 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 48 0 0 0 22 20 0 0 20 0 22 0 334967526 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=749.87 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 54 0 0 0 74975 12 0 0 20 0 22 0 334970335 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144533374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=749.9 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 785 0 0 0 74954 36 0 0 20 0 22 0 334970335 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144690701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1086081 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.24
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.89 3.93 3.88 5/219 8427
/proc/meminfo: memFree=20460528/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1726.92 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 29814 0 1 0 172513 179 0 0 20 0 22 0 334967517 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 1127598 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3518 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 247 0 0 0 226 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.31 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 282 0 0 0 224 7 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=2.17 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 235 0 0 0 208 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2.25 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 307 0 0 0 213 12 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.37 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 244 0 0 0 229 8 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.59 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 260 0 0 0 248 11 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2.13 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 250 0 0 0 206 7 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2.28 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 261 0 0 0 219 9 0 0 20 0 22 0 334967522 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=42.98 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 642 0 0 0 4273 25 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 52 0 0 0 24 21 0 0 20 0 22 0 334967526 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=806.17 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 56 0 0 0 80604 13 0 0 20 0 22 0 334970335 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144532806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=806.23 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 786 0 0 0 80586 37 0 0 20 0 22 0 334970335 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144689710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1127598 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.92
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.201 s]
/proc/loadavg: 3.89 3.92 3.87 4/219 8427
/proc/meminfo: memFree=20228732/32873844 swapFree=7644/7644
[pid=8278] ppid=8276 vsize=11852648 CPUtime=1800.01 cores=1,3,5,7
/proc/8278/stat : 8278 (java) S 8276 8278 2935 0 -1 4202496 30080 0 1 0 179808 193 0 0 20 0 22 0 334967517 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140734054582128 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8278/statm: 2963162 1168062 2293 9 0 2953849 0
[pid=8278/tid=8280] ppid=8276 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/8278/task/8280/stat : 8280 (java) S 8276 8278 2935 0 -1 4202560 3519 0 1 0 75 7 0 0 20 0 22 0 334967519 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035273507992 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8281] ppid=8276 vsize=11852648 CPUtime=2.42 cores=1,3,5,7
/proc/8278/task/8281/stat : 8281 (java) S 8276 8278 2935 0 -1 4202560 257 0 0 0 233 9 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035262568744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8282] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8282/stat : 8282 (java) S 8276 8278 2935 0 -1 4202560 297 0 0 0 227 8 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035109447848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8283] ppid=8276 vsize=11852648 CPUtime=2.3 cores=1,3,5,7
/proc/8278/task/8283/stat : 8283 (java) S 8276 8278 2935 0 -1 4202560 274 0 0 0 219 11 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035108395560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8284] ppid=8276 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/8278/task/8284/stat : 8284 (java) S 8276 8278 2935 0 -1 4202560 317 0 0 0 223 12 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035107342760 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8285] ppid=8276 vsize=11852648 CPUtime=2.44 cores=1,3,5,7
/proc/8278/task/8285/stat : 8285 (java) S 8276 8278 2935 0 -1 4202560 255 0 0 0 236 8 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035106290472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8286] ppid=8276 vsize=11852648 CPUtime=2.74 cores=1,3,5,7
/proc/8278/task/8286/stat : 8286 (java) S 8276 8278 2935 0 -1 4202560 327 0 0 0 260 14 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035105237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8287] ppid=8276 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/8278/task/8287/stat : 8287 (java) S 8276 8278 2935 0 -1 4202560 280 0 0 0 215 9 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035104185384 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8288] ppid=8276 vsize=11852648 CPUtime=2.5 cores=1,3,5,7
/proc/8278/task/8288/stat : 8288 (java) S 8276 8278 2935 0 -1 4202560 337 0 0 0 238 12 0 0 20 0 22 0 334967522 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035103132584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8289] ppid=8276 vsize=11852648 CPUtime=44.14 cores=1,3,5,7
/proc/8278/task/8289/stat : 8289 (java) S 8276 8278 2935 0 -1 4202560 646 0 0 0 4389 25 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035090933992 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8290] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8290/stat : 8290 (java) S 8276 8278 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035089880056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8291] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8291/stat : 8291 (java) S 8276 8278 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334967523 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035088827656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8292] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8292/stat : 8292 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035087776144 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8293] ppid=8276 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/8278/task/8293/stat : 8293 (java) S 8276 8278 2935 0 -1 4202560 8946 0 0 0 113 2 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035086723768 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8278/tid=8294] ppid=8276 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/8278/task/8294/stat : 8294 (java) S 8276 8278 2935 0 -1 4202560 12039 0 0 0 173 2 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035085670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8295] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8295/stat : 8295 (java) S 8276 8278 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035084618872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8296] ppid=8276 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/8278/task/8296/stat : 8296 (java) S 8276 8278 2935 0 -1 4202560 54 0 0 0 25 21 0 0 20 0 22 0 334967526 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035083566280 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8318] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8318/stat : 8318 (java) S 8276 8278 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334969540 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035081458984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8278/tid=8319] ppid=8276 vsize=11852648 CPUtime=841.57 cores=1,3,5,7
/proc/8278/task/8319/stat : 8319 (java) R 8276 8278 2935 0 -1 4202560 56 0 0 0 84144 13 0 0 20 0 22 0 334970335 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035082511312 140035144533410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8278/tid=8320] ppid=8276 vsize=11852648 CPUtime=841.64 cores=1,3,5,7
/proc/8278/task/8320/stat : 8320 (java) R 8276 8278 2935 0 -1 4202560 787 0 0 0 84127 37 0 0 20 0 22 0 334970335 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035079351168 140035144615656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8278/tid=8321] ppid=8276 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8278/task/8321/stat : 8321 (java) S 8276 8278 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334970336 12137111552 1168062 33554432000 1073741824 1073778376 140734054590992 140035080405928 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 11852648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8278 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=629326
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=321647
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 919.269
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 195.809
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 2.32165
maximum resident set size= 4672368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30112
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23728
involuntary context switches= 31920

runsolver used 3.77143 second user time and 9.09262 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-03 03:53:51
IDJOB=3733206
IDBENCH=2259
IDSOLVER=2328
FILE ID=node147/3733206-1338688431
RUNJOBID= node147-1338678629-2955
PBS_JOBID= 14636666
Free space on /tmp= 70784 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733206-1338688431/watcher-3733206-1338688431 -o /tmp/evaluation-result-3733206-1338688431/solver-3733206-1338688431 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733206-1338688431.opb

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=823247003

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25521952 kB
Buffers:          436972 kB
Cached:          2529756 kB
SwapCached:         3380 kB
Active:          4951940 kB
Inactive:        1532920 kB
Active(anon):    3513828 kB
Inactive(anon):     5908 kB
Active(file):    1438112 kB
Inactive(file):  1527012 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:       3522656 kB
Mapped:            17648 kB
Shmem:                 0 kB
Slab:             721212 kB
SReclaimable:     162232 kB
SUnreclaim:       558980 kB
KernelStack:        1632 kB
PageTables:        10972 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3463168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70780 MiB
End job on node147 at 2012-06-03 04:09:12