Trace number 3458938

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)-46 1800.27 1790.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUMf7a936a02ddf18c17dc27b7b53733ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1797.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458938-1307148863.opb
0.11/0.11	c reading problem ... 
1.10/0.81	c ... done. Wall clock time 0.706s.
1.10/0.81	c #vars     1534
1.10/0.81	c #constraints  126163
1.10/0.81	c constraints type 
1.10/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 126163
1.10/0.85	c SATISFIABLE
1.10/0.85	c OPTIMIZING...
1.10/0.85	c Got one! Elapsed wall clock time (in seconds):0.737
1.10/0.85	o -39
1.10/0.93	c Got one! Elapsed wall clock time (in seconds):0.821
1.10/0.93	o -41
1.49/1.07	c Got one! Elapsed wall clock time (in seconds):0.957
1.49/1.07	o -42
1.86/1.33	c Got one! Elapsed wall clock time (in seconds):1.221
1.86/1.33	o -43
2.07/1.53	c Got one! Elapsed wall clock time (in seconds):1.418
2.07/1.53	o -45
3.24/2.66	c Got one! Elapsed wall clock time (in seconds):2.552
3.24/2.66	o -46
3.99/3.33	c cleaning 3813 clauses out of 7632 with flag 2000/7632
5.82/5.19	c cleaning 4909 clauses out of 9820 with flag 8001/13633
8.03/7.32	c cleaning 5950 clauses out of 11910 with flag 15000/20632
10.52/9.81	c cleaning 6980 clauses out of 13960 with flag 23000/28632
13.58/12.73	c cleaning 7983 clauses out of 15980 with flag 32000/37632
16.99/16.11	c cleaning 8997 clauses out of 17997 with flag 42000/47632
20.53/19.67	c cleaning 9997 clauses out of 20000 with flag 53000/58632
24.76/23.81	c cleaning 11000 clauses out of 22003 with flag 65000/70632
29.38/28.45	c cleaning 12001 clauses out of 24003 with flag 78000/83632
34.31/33.33	c cleaning 12997 clauses out of 26002 with flag 92000/97632
40.06/39.01	c cleaning 13993 clauses out of 28005 with flag 107000/112632
45.30/44.21	c cleaning 15004 clauses out of 30013 with flag 123001/128633
51.83/50.79	c cleaning 15994 clauses out of 32008 with flag 140000/145632
58.87/57.78	c cleaning 17006 clauses out of 34014 with flag 158000/163632
65.90/64.70	c cleaning 17997 clauses out of 36008 with flag 177000/182632
73.36/72.12	c cleaning 19004 clauses out of 38011 with flag 197000/202632
81.78/80.55	c cleaning 19998 clauses out of 40007 with flag 218000/223632
91.25/89.93	c cleaning 20995 clauses out of 42009 with flag 240000/245632
100.42/99.05	c cleaning 21993 clauses out of 44014 with flag 263000/268632
109.56/108.17	c cleaning 23009 clauses out of 46022 with flag 287001/292633
120.41/118.92	c cleaning 24003 clauses out of 48012 with flag 312000/317632
131.78/130.27	c cleaning 25001 clauses out of 50009 with flag 338000/343632
143.75/142.14	c cleaning 25997 clauses out of 52008 with flag 365000/370632
157.22/155.55	c cleaning 27004 clauses out of 54011 with flag 393000/398632
168.49/166.72	c cleaning 28000 clauses out of 56007 with flag 422000/427632
180.87/179.04	c cleaning 28999 clauses out of 58008 with flag 452001/457633
194.37/192.49	c cleaning 30003 clauses out of 60009 with flag 483001/488633
209.54/207.59	c cleaning 31003 clauses out of 62005 with flag 515000/520632
225.23/223.21	c cleaning 31995 clauses out of 64003 with flag 548001/553633
242.71/240.57	c cleaning 33001 clauses out of 66007 with flag 582000/587632
255.40/253.19	c cleaning 33994 clauses out of 68006 with flag 617000/622632
270.38/268.03	c cleaning 35002 clauses out of 70012 with flag 653000/658632
286.58/284.13	c cleaning 35989 clauses out of 72010 with flag 690000/695632
303.10/300.50	c cleaning 37000 clauses out of 74022 with flag 728001/733633
324.78/322.11	c cleaning 38005 clauses out of 76022 with flag 767001/772633
344.08/341.35	c cleaning 39003 clauses out of 78016 with flag 807000/812632
367.87/365.04	c cleaning 40007 clauses out of 80013 with flag 848000/853632
388.68/385.72	c cleaning 41001 clauses out of 82008 with flag 890002/895634
406.15/403.09	c cleaning 41996 clauses out of 84005 with flag 933000/938632
426.07/422.90	c cleaning 43002 clauses out of 86009 with flag 977000/982632
447.36/444.04	c cleaning 44000 clauses out of 88007 with flag 1022000/1027632
470.30/466.89	c cleaning 44993 clauses out of 90007 with flag 1068000/1073632
493.83/490.25	c cleaning 46001 clauses out of 92014 with flag 1115000/1120632
520.22/516.58	c cleaning 47000 clauses out of 94013 with flag 1163000/1168632
544.24/540.48	c cleaning 47999 clauses out of 96014 with flag 1212001/1217633
573.38/569.42	c cleaning 49003 clauses out of 98014 with flag 1262000/1267632
601.77/597.79	c cleaning 50003 clauses out of 100011 with flag 1313000/1318632
622.61/618.49	c cleaning 50998 clauses out of 102009 with flag 1365001/1370633
646.05/641.75	c cleaning 52002 clauses out of 104010 with flag 1418000/1423632
671.53/667.07	c cleaning 53004 clauses out of 106009 with flag 1472001/1477633
699.98/695.38	c cleaning 53993 clauses out of 108004 with flag 1527000/1532632
731.06/726.24	c cleaning 55006 clauses out of 110011 with flag 1583000/1588632
759.10/754.11	c cleaning 55997 clauses out of 112005 with flag 1640000/1645632
794.66/789.55	c cleaning 57000 clauses out of 114008 with flag 1698000/1703632
827.55/822.21	c cleaning 58001 clauses out of 116009 with flag 1757001/1762633
860.51/855.07	c cleaning 59004 clauses out of 118008 with flag 1817001/1822633
894.09/888.49	c cleaning 59994 clauses out of 120003 with flag 1878000/1883632
931.54/925.75	c cleaning 61005 clauses out of 122010 with flag 1940001/1945633
963.60/957.65	c cleaning 62003 clauses out of 124005 with flag 2003001/2008633
991.75/985.55	c cleaning 62989 clauses out of 126001 with flag 2067000/2072632
1023.03/1016.63	c cleaning 63989 clauses out of 128012 with flag 2132000/2137632
1056.31/1049.70	c cleaning 65008 clauses out of 130023 with flag 2198000/2203632
1099.87/1093.19	c cleaning 66006 clauses out of 132016 with flag 2265001/2270633
1134.86/1127.98	c cleaning 67003 clauses out of 134009 with flag 2333000/2338632
1178.17/1171.00	c cleaning 67997 clauses out of 136006 with flag 2402000/2407632
1214.06/1206.79	c cleaning 69000 clauses out of 138010 with flag 2472001/2477633
1260.61/1253.11	c cleaning 70005 clauses out of 140010 with flag 2543001/2548633
1306.43/1298.72	c cleaning 70994 clauses out of 142004 with flag 2615000/2620632
1346.07/1338.26	c cleaning 71996 clauses out of 144010 with flag 2688000/2693632
1395.60/1387.66	c cleaning 73001 clauses out of 146014 with flag 2762000/2767632
1445.40/1437.35	c cleaning 74001 clauses out of 148013 with flag 2837000/2842632
1495.54/1487.31	c cleaning 75006 clauses out of 150012 with flag 2913000/2918632
1541.17/1532.89	c cleaning 75995 clauses out of 152006 with flag 2990000/2995632
1575.28/1566.72	c cleaning 77003 clauses out of 154011 with flag 3068000/3073632
1613.96/1605.22	c cleaning 78000 clauses out of 156008 with flag 3147000/3152632
1655.42/1646.56	c cleaning 78996 clauses out of 158008 with flag 3227000/3232632
1696.71/1687.69	c cleaning 80006 clauses out of 160013 with flag 3308001/3313633
1747.66/1738.43	c cleaning 81000 clauses out of 162006 with flag 3390000/3395632
1795.77/1786.40	c cleaning 81986 clauses out of 164007 with flag 3473001/3478633
1800.07/1790.42	c starts		: 257
1800.07/1790.42	c conflicts		: 3487785
1800.07/1790.42	c decisions		: 3833037
1800.07/1790.42	c propagations		: 20962668
1800.07/1790.42	c inspects		: 5443155232
1800.07/1790.42	c shortcuts		: 0
1800.07/1790.42	c learnt literals	: 0
1800.07/1790.42	c learnt binary clauses	: 0
1800.07/1790.42	c learnt ternary clauses	: 0
1800.07/1790.42	c learnt constraints	: 3487784
1800.07/1790.42	c ignored constraints	: 0
1800.07/1790.42	c root simplifications	: 0
1800.07/1790.42	c removed literals (reason simplification)	: 46549071
1800.07/1790.42	c reason swapping (by a shorter reason)	: 0
1800.07/1790.42	c Calls to reduceDB	: 79
1800.07/1790.42	c number of reductions to clauses (during analyze)	: 0
1800.07/1790.42	c number of learned constraints concerned by reduction	: 0
1800.07/1790.42	c number of learning phase by resolution	: 0
1800.07/1790.42	c number of learning phase by cutting planes	: 0
1800.07/1790.42	c speed (assignments/second)	: 11725.654603719402
1800.07/1790.42	c non guided choices	0
1800.07/1790.45	c learnt constraints type 
1800.07/1790.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91237
1800.07/1790.45	c constraints type 
1800.07/1790.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1790.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 126163
1800.07/1790.45	s SATISFIABLE
1800.07/1790.46	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 
1800.07/1790.46	c objective function=-46
1800.07/1790.46	c Total wall clock time (in seconds): 1790.348

Verifier Data 

OK	-46

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458938-1307148863/watcher-3458938-1307148863 -o /tmp/evaluation-result-3458938-1307148863/solver-3458938-1307148863 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458938-1307148863.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.99 2.02 1.93 2/523 6942
/proc/meminfo: memFree=30079560/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 1666 0 1 0 0 0 0 0 25 0 2 0 826488913 13833195520 1367 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3377245 1380 906 9 0 3368401 0
[pid=6942/tid=6943] ppid=6940 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 7444 0 1 0 0 0 0 0 25 0 2 0 826488913 13850947584 8260 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.095637 s]
/proc/loadavg: 1.99 2.02 1.93 2/523 6942
/proc/meminfo: memFree=30079560/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13622260 CPUtime=0.1 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 15455 0 1 0 8 2 0 0 25 0 18 0 826488913 13949194240 15151 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3405565 15151 2093 9 0 3396299 0
[pid=6942/tid=6943] ppid=6940 vsize=13622260 CPUtime=0.08 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 13556 0 1 0 6 2 0 0 25 0 18 0 826488913 13949194240 15152 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 47089597056053 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622260

[startup+0.100998 s]
/proc/loadavg: 1.99 2.02 1.93 2/523 6942
/proc/meminfo: memFree=30079560/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13622260 CPUtime=0.11 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 15559 0 1 0 9 2 0 0 25 0 18 0 826488913 13949194240 15255 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3405565 15255 2093 9 0 3396299 0
[pid=6942/tid=6943] ppid=6940 vsize=13622260 CPUtime=0.09 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 13659 0 1 0 7 2 0 0 25 0 18 0 826488913 13949194240 15255 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646342091 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622260

[startup+0.311515 s]
/proc/loadavg: 1.99 2.02 1.93 2/523 6942
/proc/meminfo: memFree=30079560/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13625332 CPUtime=0.51 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 18799 0 1 0 49 2 0 0 25 0 18 0 826488913 13952339968 18340 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406333 18341 2202 9 0 3397067 0
[pid=6942/tid=6943] ppid=6940 vsize=13625332 CPUtime=0.3 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 15824 0 1 0 28 2 0 0 25 0 18 0 826488913 13952339968 18342 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505607826 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13625332

[startup+0.700933 s]
/proc/loadavg: 1.99 2.02 1.93 2/523 6942
/proc/meminfo: memFree=30079560/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13625332 CPUtime=0.99 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 57705 0 1 0 92 7 0 0 25 0 18 0 826488913 13952339968 56443 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406333 56448 2211 9 0 3397067 0
[pid=6942/tid=6943] ppid=6940 vsize=13625332 CPUtime=0.69 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 52968 0 1 0 62 7 0 0 25 0 18 0 826488913 13952339968 56450 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505630218 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13625332

[startup+1.50079 s]
/proc/loadavg: 1.99 2.02 1.93 3/542 6961
/proc/meminfo: memFree=29740428/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=2.07 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 73906 0 1 0 197 10 0 0 25 0 19 0 826488913 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 72643 2232 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=1.48 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 68856 0 1 0 139 9 0 0 25 0 19 0 826488913 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 47089598352211 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 72643 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826488916 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488916 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.24 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 933 0 0 0 24 0 0 0 19 0 19 0 826488919 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.32 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 2956 0 0 0 32 0 0 0 15 0 19 0 826488919 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 72645 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13626360

[startup+3.10151 s]
/proc/loadavg: 1.99 2.02 1.93 3/542 6961
/proc/meminfo: memFree=29715752/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=3.75 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 82044 0 1 0 363 12 0 0 25 0 19 0 826488913 13953392640 80780 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 80780 2234 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=3.09 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 76983 0 1 0 298 11 0 0 25 0 19 0 826488913 13953392640 80780 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505759142 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80780 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488915 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826488916 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488916 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.25 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 935 0 0 0 25 0 0 0 15 0 19 0 826488919 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.38 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 2965 0 0 0 38 0 0 0 15 0 19 0 826488919 13953392640 80782 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 80783 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 80783 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 80783 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13626360

[startup+6.30095 s]
/proc/loadavg: 1.99 2.02 1.93 3/542 6961
/proc/meminfo: memFree=29510264/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=7.03 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 111031 0 1 0 689 14 0 0 25 0 19 0 826488913 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 109756 2260 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=6.16 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 77928 0 1 0 605 11 0 0 18 0 19 0 826488913 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505752071 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 4460 0 0 0 0 0 0 0 16 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 4499 0 0 0 0 0 0 0 16 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 289 0 0 0 0 0 0 0 18 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=0.01 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 2445 0 0 0 1 0 0 0 18 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=0.01 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 5379 0 0 0 1 0 0 0 18 0 19 0 826488915 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=0.08 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 10955 0 0 0 8 0 0 0 15 0 19 0 826488916 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.28 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 948 0 0 0 28 0 0 0 16 0 19 0 826488919 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.41 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 2973 0 0 0 41 0 0 0 15 0 19 0 826488919 13953392640 109756 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0

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

/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.29 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 950 0 0 0 29 0 0 0 15 0 19 0 826488919 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.54 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 4449 0 0 0 54 0 0 0 15 0 19 0 826488919 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 510023 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.41
Current children cumulated vsize (KiB) 13626360

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/542 7026
/proc/meminfo: memFree=26419548/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=1731.56 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 514383 0 1 0 173089 67 0 0 25 0 19 0 826488913 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 511377 2261 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=1710.94 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 131548 0 1 0 171075 19 0 0 25 0 19 0 826488913 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505869060 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=1.54 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 38781 0 0 0 149 5 0 0 16 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=1.59 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 31045 0 0 0 155 4 0 0 16 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=1.61 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 42676 0 0 0 156 5 0 0 15 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=1.58 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 20235 0 0 0 155 3 0 0 15 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=1.2 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 20673 0 0 0 118 2 0 0 16 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=1.46 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 25148 0 0 0 143 3 0 0 15 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=1.39 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 24766 0 0 0 136 3 0 0 16 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=1.38 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 24513 0 0 0 135 3 0 0 15 0 19 0 826488915 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=7.92 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 148347 0 0 0 778 14 0 0 15 0 19 0 826488916 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.29 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 950 0 0 0 29 0 0 0 15 0 19 0 826488919 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.54 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 4449 0 0 0 54 0 0 0 15 0 19 0 826488919 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 511377 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.56
Current children cumulated vsize (KiB) 13626360

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/542 7028
/proc/meminfo: memFree=26335168/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=1791.76 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 530983 0 1 0 179107 69 0 0 25 0 19 0 826488913 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 527970 2261 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=1770.69 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 132848 0 1 0 177050 19 0 0 25 0 19 0 826488913 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505752705 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=1.62 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 38786 0 0 0 157 5 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=1.59 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 31045 0 0 0 155 4 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=1.61 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 42676 0 0 0 156 5 0 0 15 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=1.66 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 20235 0 0 0 163 3 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=1.24 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 20673 0 0 0 122 2 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=1.46 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 25148 0 0 0 143 3 0 0 15 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=1.43 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 24766 0 0 0 140 3 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=1.42 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 24513 0 0 0 139 3 0 0 16 0 19 0 826488915 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=8.07 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 163638 0 0 0 792 15 0 0 15 0 19 0 826488916 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.29 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 950 0 0 0 29 0 0 0 15 0 19 0 826488919 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.54 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 4449 0 0 0 54 0 0 0 15 0 19 0 826488919 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 527970 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.76
Current children cumulated vsize (KiB) 13626360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.01 2.04 2.00 3/542 7028
/proc/meminfo: memFree=26309864/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=13626360 CPUtime=1800.07 cores=1,3,5,7
/proc/6942/stat : 6942 (java) S 6940 6942 4908 0 -1 4202496 537417 0 1 0 179937 70 0 0 25 0 19 0 826488913 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 3406590 534401 2261 9 0 3397324 0
[pid=6942/tid=6943] ppid=6940 vsize=13626360 CPUtime=1778.61 cores=1,3,5,7
/proc/6942/task/6943/stat : 6943 (java) R 6940 6942 4908 0 -1 4202560 134191 0 1 0 177841 20 0 0 21 0 19 0 826488913 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 46912505752457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6942/tid=6945] ppid=6940 vsize=13626360 CPUtime=1.67 cores=1,3,5,7
/proc/6942/task/6945/stat : 6945 (java) S 6940 6942 4908 0 -1 4202560 38786 0 0 0 162 5 0 0 15 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6946] ppid=6940 vsize=13626360 CPUtime=1.59 cores=1,3,5,7
/proc/6942/task/6946/stat : 6946 (java) S 6940 6942 4908 0 -1 4202560 31045 0 0 0 155 4 0 0 15 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6947] ppid=6940 vsize=13626360 CPUtime=1.68 cores=1,3,5,7
/proc/6942/task/6947/stat : 6947 (java) S 6940 6942 4908 0 -1 4202560 42676 0 0 0 163 5 0 0 16 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6948] ppid=6940 vsize=13626360 CPUtime=1.7 cores=1,3,5,7
/proc/6942/task/6948/stat : 6948 (java) S 6940 6942 4908 0 -1 4202560 20235 0 0 0 167 3 0 0 16 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6949] ppid=6940 vsize=13626360 CPUtime=1.24 cores=1,3,5,7
/proc/6942/task/6949/stat : 6949 (java) S 6940 6942 4908 0 -1 4202560 20673 0 0 0 122 2 0 0 15 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=13626360 CPUtime=1.5 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) S 6940 6942 4908 0 -1 4202560 25153 0 0 0 147 3 0 0 16 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6951] ppid=6940 vsize=13626360 CPUtime=1.43 cores=1,3,5,7
/proc/6942/task/6951/stat : 6951 (java) S 6940 6942 4908 0 -1 4202560 24766 0 0 0 140 3 0 0 15 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6952] ppid=6940 vsize=13626360 CPUtime=1.49 cores=1,3,5,7
/proc/6942/task/6952/stat : 6952 (java) S 6940 6942 4908 0 -1 4202560 24519 0 0 0 146 3 0 0 16 0 19 0 826488915 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
[pid=6942/tid=6953] ppid=6940 vsize=13626360 CPUtime=8.21 cores=1,3,5,7
/proc/6942/task/6953/stat : 6953 (java) S 6940 6942 4908 0 -1 4202560 168718 0 0 0 805 16 0 0 15 0 19 0 826488916 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 0 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6954] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6954/stat : 6954 (java) S 6940 6942 4908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6955] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6955/stat : 6955 (java) S 6940 6942 4908 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826488916 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6956] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6956/stat : 6956 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646338993 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6957] ppid=6940 vsize=13626360 CPUtime=0.29 cores=1,3,5,7
/proc/6942/task/6957/stat : 6957 (java) S 6940 6942 4908 0 -1 4202560 950 0 0 0 29 0 0 0 15 0 19 0 826488919 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6958] ppid=6940 vsize=13626360 CPUtime=0.54 cores=1,3,5,7
/proc/6942/task/6958/stat : 6958 (java) S 6940 6942 4908 0 -1 4202560 4449 0 0 0 54 0 0 0 15 0 19 0 826488919 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 5 0 0 0
[pid=6942/tid=6959] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6959/stat : 6959 (java) S 6940 6942 4908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826488919 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331289 0 4 0 16800975 18446604461341428608 0 0 -1 3 0 0 0
[pid=6942/tid=6960] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6960/stat : 6960 (java) S 6940 6942 4908 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826488919 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 1 0 0 0
[pid=6942/tid=6961] ppid=6940 vsize=13626360 CPUtime=0 cores=1,3,5,7
/proc/6942/task/6961/stat : 6961 (java) S 6940 6942 4908 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826488996 13953392640 534401 33554432000 1073741824 1073778376 140735071224960 18446744073709551615 216646331904 0 4 0 16800975 18446604461341428608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13626360

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

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

[startup+1790.53 s]
/proc/loadavg: 2.01 2.04 2.00 3/542 7028
/proc/meminfo: memFree=26309864/32951124 swapFree=51712236/67111528
[pid=6942] ppid=6940 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/6942/stat : 6942 (java) Z 6940 6942 4908 0 -1 4203548 537450 0 1 0 179947 77 0 0 17 0 2 0 826488913 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6942/statm: 0 0 0 0 0 0 0
[pid=6942/tid=6950] ppid=6940 vsize=0 CPUtime=1.57 cores=1,3,5,7
/proc/6942/task/6950/stat : 6950 (java) R 6940 6942 4908 0 -1 4203588 25153 0 0 0 147 10 0 0 15 0 2 0 826488915 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1790.54
CPU time (s): 1800.27
CPU user time (s): 1799.48
CPU system time (s): 0.790879
CPU usage (%): 100.543
Max. virtual memory (cumulated for all children) (KiB): 13626360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.790879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537450
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38786
involuntary context switches= 9990

runsolver used 8.5547 second user time and 20.9688 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-04 02:54:23
IDJOB=3458938
IDBENCH=2268
IDSOLVER=1952
FILE ID=node103/3458938-1307148863
RUNJOBID= node103-1307147061-6663
PBS_JOBID= 13508813
Free space on /tmp= 73876 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458938-1307148863/watcher-3458938-1307148863 -o /tmp/evaluation-result-3458938-1307148863/solver-3458938-1307148863 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458938-1307148863.opb

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

MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1
RANDOM SEED=579145491

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30079840 kB
Buffers:        305048 kB
Cached:         454248 kB
SwapCached:      23760 kB
Active:        2166736 kB
Inactive:       411064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30079840 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:            7032 kB
Writeback:           0 kB
AnonPages:     1815312 kB
Mapped:          30336 kB
Slab:           149780 kB
PageTables:      73900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 175481796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73876 MiB
End job on node103 at 2011-06-04 03:24:15