Trace number 3687901

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-36 1800.05 1789.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 1150
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 1150
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 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 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 2.3.2.v20120418
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.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	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@4a913fe2
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 Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687901-1337877309.opb
0.10/0.11	c reading problem ... 
1.15/0.65	c ... done. Wall clock time 0.541s.
1.15/0.65	c declared #vars     1150
1.15/0.65	c #constraints  81068
1.15/0.65	c constraints type 
1.15/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 81068
1.15/0.65	c 81068 constraints processed.
1.15/0.65	c objective function length is 1150 literals
1.15/0.67	c SATISFIABLE
1.15/0.67	c OPTIMIZING...
1.15/0.67	c Got one! Elapsed wall clock time (in seconds):0.564
1.15/0.67	o -33
1.33/0.76	c Got one! Elapsed wall clock time (in seconds):0.65
1.33/0.76	o -34
1.60/0.83	c Got one! Elapsed wall clock time (in seconds):0.716
1.60/0.83	o -35
1.76/0.98	c Got one! Elapsed wall clock time (in seconds):0.866
1.76/0.98	o -36
2.46/1.54	c cleaning 2705 clauses out of 5409 with flag 4001/5409
3.38/2.31	c cleaning 4351 clauses out of 8705 with flag 10002/11410
4.24/3.20	c cleaning 5673 clauses out of 11354 with flag 17002/18410
5.42/4.24	c cleaning 6837 clauses out of 13682 with flag 25003/26411
6.72/5.48	c cleaning 7921 clauses out of 15843 with flag 34001/35409
8.15/6.84	c cleaning 8960 clauses out of 17923 with flag 44002/45410
9.92/8.51	c cleaning 9981 clauses out of 19962 with flag 55001/56409
11.79/10.32	c cleaning 10984 clauses out of 21980 with flag 67000/68408
13.76/12.25	c cleaning 11995 clauses out of 23998 with flag 80002/81410
15.79/14.22	c cleaning 13001 clauses out of 26003 with flag 94002/95410
17.97/16.32	c cleaning 13999 clauses out of 28002 with flag 109002/110410
20.31/18.64	c cleaning 14998 clauses out of 30001 with flag 125000/126408
23.16/21.47	c cleaning 16002 clauses out of 32004 with flag 142001/143409
26.49/24.75	c cleaning 17001 clauses out of 34001 with flag 160000/161408
29.97/28.15	c cleaning 17998 clauses out of 36002 with flag 179002/180410
33.32/31.41	c cleaning 19002 clauses out of 38003 with flag 199001/200409
37.11/35.19	c cleaning 19998 clauses out of 40001 with flag 220001/221409
41.59/39.57	c cleaning 20997 clauses out of 42002 with flag 242000/243408
46.68/44.54	c cleaning 21994 clauses out of 44005 with flag 265000/266408
51.78/49.51	c cleaning 23004 clauses out of 46012 with flag 289001/290409
56.57/54.26	c cleaning 24000 clauses out of 48007 with flag 314000/315408
61.94/59.51	c cleaning 25004 clauses out of 50007 with flag 340000/341408
67.61/65.03	c cleaning 25998 clauses out of 52003 with flag 367000/368408
74.89/72.24	c cleaning 27000 clauses out of 54009 with flag 395004/396412
82.89/80.12	c cleaning 28005 clauses out of 56009 with flag 424004/425412
90.15/87.36	c cleaning 28997 clauses out of 58001 with flag 454001/455409
97.75/94.87	c cleaning 30000 clauses out of 60005 with flag 485002/486410
105.95/103.00	c cleaning 31001 clauses out of 62004 with flag 517001/518409
114.78/111.67	c cleaning 31994 clauses out of 64002 with flag 550000/551408
123.76/120.57	c cleaning 33005 clauses out of 66009 with flag 584001/585409
132.78/129.46	c cleaning 33992 clauses out of 68003 with flag 619000/620408
143.17/139.75	c cleaning 35003 clauses out of 70011 with flag 655000/656408
154.11/150.54	c cleaning 35998 clauses out of 72008 with flag 692000/693408
164.63/160.93	c cleaning 37004 clauses out of 74012 with flag 730002/731410
174.51/170.72	c cleaning 38002 clauses out of 76010 with flag 769004/770412
186.21/182.33	c cleaning 39001 clauses out of 78005 with flag 809001/810409
198.90/194.87	c cleaning 40000 clauses out of 80004 with flag 850001/851409
212.04/207.87	c cleaning 40998 clauses out of 82005 with flag 892002/893410
229.24/225.10	c cleaning 42000 clauses out of 84006 with flag 935001/936409
246.74/242.55	c cleaning 43003 clauses out of 86006 with flag 979001/980409
264.44/260.20	c cleaning 43995 clauses out of 88003 with flag 1024001/1025409
281.56/277.35	c cleaning 45003 clauses out of 90007 with flag 1070000/1071408
299.67/295.49	c cleaning 45998 clauses out of 92004 with flag 1117000/1118408
319.28/315.04	c cleaning 47001 clauses out of 94006 with flag 1165000/1166408
339.19/334.92	c cleaning 47996 clauses out of 96005 with flag 1214000/1215408
357.90/353.69	c cleaning 49004 clauses out of 98009 with flag 1264000/1265408
377.90/373.62	c cleaning 49997 clauses out of 100005 with flag 1315000/1316408
394.61/390.30	c cleaning 51002 clauses out of 102011 with flag 1367003/1368411
411.22/406.95	c cleaning 51998 clauses out of 104006 with flag 1420000/1421408
431.22/426.90	c cleaning 53002 clauses out of 106008 with flag 1474000/1475408
451.42/447.16	c cleaning 54001 clauses out of 108007 with flag 1529001/1530409
476.04/471.77	c cleaning 55002 clauses out of 110009 with flag 1585004/1586412
501.35/497.08	c cleaning 55995 clauses out of 112004 with flag 1642001/1643409
527.56/523.27	c cleaning 57000 clauses out of 114008 with flag 1700000/1701408
563.75/558.84	c cleaning 58003 clauses out of 116010 with flag 1759002/1760410
599.26/594.37	c cleaning 59002 clauses out of 118007 with flag 1819002/1820410
630.63/625.53	c cleaning 60001 clauses out of 120005 with flag 1880002/1881410
667.99/662.73	c cleaning 60995 clauses out of 122002 with flag 1942000/1943408
710.68/705.29	c cleaning 62001 clauses out of 124007 with flag 2005000/2006408
743.57/737.95	c cleaning 62997 clauses out of 126006 with flag 2069000/2070408
783.63/777.84	c cleaning 63998 clauses out of 128010 with flag 2134001/2135409
813.79/807.84	c cleaning 65001 clauses out of 130012 with flag 2200001/2201409
846.45/840.34	c cleaning 66006 clauses out of 132013 with flag 2267003/2268411
880.36/874.09	c cleaning 66997 clauses out of 134005 with flag 2335001/2336409
923.04/916.55	c cleaning 67998 clauses out of 136007 with flag 2404000/2405408
969.33/962.56	c cleaning 68999 clauses out of 138010 with flag 2474001/2475409
1009.45/1002.47	c cleaning 70004 clauses out of 140010 with flag 2545000/2546408
1054.48/1047.20	c cleaning 71004 clauses out of 142007 with flag 2617001/2618409
1108.40/1101.00	c cleaning 71997 clauses out of 144004 with flag 2690002/2691410
1165.06/1157.45	c cleaning 73001 clauses out of 146006 with flag 2764001/2765409
1225.45/1217.63	c cleaning 74000 clauses out of 148004 with flag 2839000/2840408
1281.08/1273.09	c cleaning 75002 clauses out of 150004 with flag 2915000/2916408
1328.51/1320.26	c cleaning 75997 clauses out of 152002 with flag 2992000/2993408
1381.81/1373.36	c cleaning 76999 clauses out of 154007 with flag 3070002/3071410
1430.42/1421.63	c cleaning 77999 clauses out of 156007 with flag 3149001/3150409
1479.95/1470.99	c cleaning 78999 clauses out of 158007 with flag 3229000/3230408
1520.59/1511.36	c cleaning 80001 clauses out of 160009 with flag 3310001/3311409
1576.40/1566.92	c cleaning 80997 clauses out of 162008 with flag 3392001/3393409
1631.34/1621.60	c cleaning 82002 clauses out of 164011 with flag 3475001/3476409
1686.31/1676.47	c cleaning 83001 clauses out of 166008 with flag 3559000/3560408
1745.25/1735.18	c cleaning 83999 clauses out of 168008 with flag 3644001/3645409
1792.69/1782.22	c cleaning 84998 clauses out of 170008 with flag 3730000/3731408
1800.05/1789.41	c starts		: 256
1800.05/1789.41	c conflicts		: 3751864
1800.05/1789.41	c decisions		: 4045344
1800.05/1789.41	c propagations		: 20884158
1800.05/1789.41	c inspects		: 14692355550
1800.05/1789.41	c shortcuts		: 0
1800.05/1789.41	c learnt literals	: 0
1800.05/1789.41	c learnt binary clauses	: 0
1800.05/1789.41	c learnt ternary clauses	: 0
1800.05/1789.41	c learnt constraints	: 3751864
1800.05/1789.41	c ignored constraints	: 0
1800.05/1789.41	c root simplifications	: 0
1800.05/1789.41	c removed literals (reason simplification)	: 0
1800.05/1789.41	c reason swapping (by a shorter reason)	: 0
1800.05/1789.41	c Calls to reduceDB	: 82
1800.05/1789.41	c number of reductions to clauses (during analyze)	: 0
1800.05/1789.41	c number of learned constraints concerned by reduction	: 0
1800.05/1789.41	c number of learning phase by resolution	: 0
1800.05/1789.41	c number of learning phase by cutting planes	: 0
1800.05/1789.41	c speed (assignments/second)	: 11675.301761512388
1800.05/1789.41	c non guided choices	0
1800.05/1789.44	c learnt constraints type 
1800.05/1789.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105520
1800.05/1789.44	c constraints type 
1800.05/1789.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1789.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 81068
1800.05/1789.44	c 81069 constraints processed.
1800.05/1789.44	s SATISFIABLE
1800.05/1789.44	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 
1800.05/1789.44	c objective function=-36
1800.05/1789.44	c Total wall clock time (in seconds): 1789.335

Verifier Data 

OK	-36

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-3687901-1337877309/watcher-3687901-1337877309 -o /tmp/evaluation-result-3687901-1337877309/solver-3687901-1337877309 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687901-1337877309.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: 1.92 2.01 1.99 5/196 23687
/proc/meminfo: memFree=29279092/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/23687/stat : 23687 (java) R 23685 23687 22462 0 -1 4202496 885 0 0 0 0 0 0 0 20 0 1 0 253856262 23793664 612 33554432000 1073741824 1073778376 140737181721264 140737181710328 273896487475 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 5809 625 464 9 0 128 0

[startup+0.0914949 s]
/proc/loadavg: 1.92 2.01 1.99 5/196 23687
/proc/meminfo: memFree=29279092/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 4253 0 1 0 9 1 0 0 20 0 18 0 253856262 9787813888 5452 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2389603 5453 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.100315 s]
/proc/loadavg: 1.92 2.01 1.99 5/196 23687
/proc/meminfo: memFree=29279092/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 4347 0 1 0 9 1 0 0 20 0 18 0 253856262 9787813888 5546 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2389603 5546 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300185 s]
/proc/loadavg: 1.92 2.01 1.99 5/196 23687
/proc/meminfo: memFree=29279092/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 5602 0 1 0 47 1 0 0 20 0 18 0 253856262 9787813888 8470 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2389603 8470 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700192 s]
/proc/loadavg: 1.92 2.01 1.99 5/196 23687
/proc/meminfo: memFree=29279092/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 8961 0 1 0 127 6 0 0 20 0 19 0 253856262 9855975424 41329 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 41329 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976

[startup+1.50078 s]
/proc/loadavg: 1.92 2.01 1.99 5/215 23706
/proc/meminfo: memFree=29082792/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 9862 0 1 0 240 6 0 0 20 0 19 0 253856262 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 41337 2266 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) R 23685 23687 22462 0 -1 4202560 2520 0 1 0 142 3 0 0 20 0 19 0 253856263 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341901636264 140341764894460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) S 23685 23687 22462 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) S 23685 23687 22462 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341725440104 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3122 0 0 0 49 0 0 0 20 0 19 0 253856268 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2939 0 0 0 41 0 0 0 20 0 19 0 253856268 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 41337 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624976

[startup+3.10081 s]
/proc/loadavg: 1.92 2.01 1.99 4/215 23706
/proc/meminfo: memFree=29008436/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=4.24 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 9992 0 1 0 411 13 0 0 20 0 19 0 253856262 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 59290 2278 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) R 23685 23687 22462 0 -1 4202560 2521 0 1 0 292 3 0 0 20 0 19 0 253856263 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341901635976 140341764911344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) S 23685 23687 22462 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 21 0 0 0 0 1 0 0 20 0 19 0 253856264 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) S 23685 23687 22462 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 19 0 253856265 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341725440104 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3124 0 0 0 52 0 0 0 20 0 19 0 253856268 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 59290 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9624976

[startup+6.30078 s]
/proc/loadavg: 1.93 2.01 1.99 3/215 23706
/proc/meminfo: memFree=28911432/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=7.65 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 10657 0 1 0 748 17 0 0 20 0 19 0 253856262 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 67293 2278 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=5.97 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) R 23685 23687 22462 0 -1 4202560 2523 0 1 0 594 3 0 0 20 0 19 0 253856263 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341901635856 140341765002912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 126 0 0 0 3 2 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 66 0 0 0 3 2 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 105 0 0 0 2 1 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) S 23685 23687 22462 0 -1 4202560 123 0 0 0 2 1 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 19 0 253856264 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) S 23685 23687 22462 0 -1 4202560 110 0 0 0 16 0 0 0 20 0 19 0 253856265 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341725440104 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3392 0 0 0 57 0 0 0 20 0 19 0 253856268 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 67293 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3396 0 0 0 59 0 0 0 20 0 19 0 253856268 9855975424 288551 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 288551 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 288551 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 97 0 0 0 62 32 0 0 20 0 19 0 253856268 9855975424 288551 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 288551 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.19
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 23744
/proc/meminfo: memFree=26889196/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=1732.44 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 15827 0 1 0 173080 164 0 0 20 0 19 0 253856262 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 292151 2279 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=1706.83 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) R 23685 23687 22462 0 -1 4202560 2870 0 1 0 170651 32 0 0 20 0 19 0 253856263 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341901635856 140341765003049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 590 0 0 0 126 14 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 535 0 0 0 136 16 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 490 0 0 0 121 14 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 463 0 0 0 120 13 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) S 23685 23687 22462 0 -1 4202560 728 0 0 0 128 19 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 422 0 0 0 125 17 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 325 0 0 0 126 12 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 647 0 0 0 114 16 0 0 20 0 19 0 253856264 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=7.96 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) S 23685 23687 22462 0 -1 4202560 1138 0 0 0 794 2 0 0 20 0 19 0 253856265 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341725440104 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3396 0 0 0 59 0 0 0 20 0 19 0 253856268 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 99 0 0 0 65 32 0 0 20 0 19 0 253856268 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 292151 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1732.44
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/215 23744
/proc/meminfo: memFree=26825024/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=1792.94 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 15961 0 1 0 179118 176 0 0 20 0 19 0 253856262 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 307016 2279 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=1766.36 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) S 23685 23687 22462 0 -1 4202560 2875 0 1 0 176603 33 0 0 20 0 19 0 253856263 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341901635976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 602 0 0 0 133 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 562 0 0 0 142 17 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 503 0 0 0 127 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 488 0 0 0 131 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) R 23685 23687 22462 0 -1 4202560 733 0 0 0 135 19 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 431 0 0 0 130 17 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 330 0 0 0 130 12 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 672 0 0 0 124 18 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=8.1 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) R 23685 23687 22462 0 -1 4202560 1142 0 0 0 808 2 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341725439080 140341905772576 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3396 0 0 0 59 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 103 0 0 0 66 35 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/215 23744
/proc/meminfo: memFree=26825024/32873844 swapFree=7124/7124
[pid=23687] ppid=23685 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/23687/stat : 23687 (java) S 23685 23687 22462 0 -1 4202496 15962 0 1 0 179829 176 0 0 20 0 19 0 253856262 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140737181712400 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23687/statm: 2406244 307016 2279 9 0 2396937 0
[pid=23687/tid=23689] ppid=23685 vsize=9624976 CPUtime=1773.22 cores=1,3,5,7
/proc/23687/task/23689/stat : 23689 (java) R 23685 23687 22462 0 -1 4202560 2876 0 1 0 177289 33 0 0 20 0 19 0 253856263 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341901635856 140341765002181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23690] ppid=23685 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/23687/task/23690/stat : 23690 (java) S 23685 23687 22462 0 -1 4202560 602 0 0 0 133 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341890697384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23691] ppid=23685 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (java) S 23685 23687 22462 0 -1 4202560 562 0 0 0 142 17 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341889644840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23692] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23692/stat : 23692 (java) S 23685 23687 22462 0 -1 4202560 503 0 0 0 127 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341888592296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23693] ppid=23685 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23687/task/23693/stat : 23693 (java) S 23685 23687 22462 0 -1 4202560 488 0 0 0 131 15 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341887539752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23694] ppid=23685 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/23687/task/23694/stat : 23694 (java) S 23685 23687 22462 0 -1 4202560 733 0 0 0 135 19 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341886487208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23695] ppid=23685 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/23687/task/23695/stat : 23695 (java) S 23685 23687 22462 0 -1 4202560 431 0 0 0 130 17 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341885434664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23696] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23696/stat : 23696 (java) S 23685 23687 22462 0 -1 4202560 330 0 0 0 130 12 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341884382120 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23697] ppid=23685 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/23687/task/23697/stat : 23697 (java) S 23685 23687 22462 0 -1 4202560 672 0 0 0 124 18 0 0 20 0 19 0 253856264 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341883329576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23687/tid=23698] ppid=23685 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/23687/task/23698/stat : 23698 (java) S 23685 23687 22462 0 -1 4202560 1142 0 0 0 830 2 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341725440104 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23699] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23699/stat : 23699 (java) S 23685 23687 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341724386424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23700] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23700/stat : 23700 (java) S 23685 23687 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253856265 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341723333768 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23701] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23701/stat : 23701 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341722282512 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23687/tid=23702] ppid=23685 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/23687/task/23702/stat : 23702 (java) S 23685 23687 22462 0 -1 4202560 3396 0 0 0 59 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341721229880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23703] ppid=23685 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23687/task/23703/stat : 23703 (java) S 23685 23687 22462 0 -1 4202560 2943 0 0 0 45 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341720177336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23704] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23704/stat : 23704 (java) S 23685 23687 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341719124984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23687/tid=23705] ppid=23685 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/23687/task/23705/stat : 23705 (java) S 23685 23687 22462 0 -1 4202560 103 0 0 0 66 35 0 0 20 0 19 0 253856268 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341718072648 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23687/tid=23706] ppid=23685 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23706/stat : 23706 (java) S 23685 23687 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253856329 9855975424 307016 33554432000 1073741824 1073778376 140737181721264 140341717017384 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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 23687 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=131675
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.46
CPU time (s): 1800.05
CPU user time (s): 1798.29
CPU system time (s): 1.76
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 2.13167
maximum resident set size= 1228188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15996
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39664
involuntary context switches= 9618

runsolver used 6.591 second user time and 16.2525 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-24 18:35:09
IDJOB=3687901
IDBENCH=2261
IDSOLVER=2269
FILE ID=node134/3687901-1337877309
RUNJOBID= node134-1337871881-22479
PBS_JOBID= 14620070
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687901-1337877309/watcher-3687901-1337877309 -o /tmp/evaluation-result-3687901-1337877309/solver-3687901-1337877309 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687901-1337877309.opb

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=481459869

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29279884 kB
Buffers:          214624 kB
Cached:          2446964 kB
SwapCached:            0 kB
Active:           626380 kB
Inactive:        2185644 kB
Active(anon):     146280 kB
Inactive(anon):     5996 kB
Active(file):     480100 kB
Inactive(file):  2179648 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4784 kB
Writeback:             4 kB
AnonPages:        232224 kB
Mapped:            22184 kB
Shmem:               212 kB
Slab:             627960 kB
SReclaimable:      70028 kB
SUnreclaim:       557932 kB
KernelStack:        1464 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     824572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71716 MiB
End job on node134 at 2012-05-24 19:05:00