Trace number 3718464

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.06 1778.47

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MD5SUM12a88866bbd50b724bb180a8f6ce160e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.080987
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 4848
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4847
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.2.v20120528
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718464-1338253906.wbo
0.09/0.11	c reading problem ... 
0.28/0.20	c ... done. Wall clock time 0.097s.
0.28/0.20	c declared #vars     1800
0.28/0.20	c internal #vars     1885
0.28/0.20	c #constraints  85
0.28/0.20	c constraints type 
0.28/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
0.28/0.20	c ignored satisfied constraints => 1
0.28/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
0.28/0.20	c 86 constraints processed.
0.28/0.20	c objective function length is 85 literals
0.28/0.28	c SATISFIABLE
0.28/0.28	c OPTIMIZING...
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.17
0.28/0.28	o 68
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.217
0.52/0.32	o 3
0.90/0.70	c cleaning 2710 clauses out of 5459 with flag 29241/5459
1.37/1.09	c cleaning 4358 clauses out of 8748 with flag 66270/11458
2.08/1.74	c cleaning 5629 clauses out of 11390 with flag 112709/18458
3.71/3.35	c cleaning 6670 clauses out of 13762 with flag 184456/26459
6.56/6.13	c cleaning 8033 clauses out of 16092 with flag 265913/35459
10.23/9.76	c cleaning 9010 clauses out of 18059 with flag 342624/45459
14.90/14.32	c cleaning 10019 clauses out of 20049 with flag 420306/56459
19.16/18.57	c cleaning 11009 clauses out of 22030 with flag 531465/68459
23.62/22.90	c cleaning 11999 clauses out of 24020 with flag 655387/81458
29.35/28.69	c cleaning 13009 clauses out of 26025 with flag 789408/95462
35.72/34.90	c cleaning 14002 clauses out of 28012 with flag 928195/110458
41.99/41.15	c cleaning 14999 clauses out of 30010 with flag 1079290/126458
48.13/47.29	c cleaning 16000 clauses out of 32011 with flag 1217436/143458
56.10/55.15	c cleaning 16999 clauses out of 34012 with flag 1354588/161459
64.80/63.80	c cleaning 18005 clauses out of 36013 with flag 1504929/180459
74.37/73.26	c cleaning 19001 clauses out of 38007 with flag 1664999/200458
85.74/84.52	c cleaning 19994 clauses out of 40006 with flag 1857565/221458
97.20/95.94	c cleaning 20998 clauses out of 42013 with flag 2052951/243459
109.99/108.61	c cleaning 22005 clauses out of 44017 with flag 2272945/266461
124.39/122.98	c cleaning 22997 clauses out of 46009 with flag 2491366/290458
138.26/136.67	c cleaning 24005 clauses out of 48015 with flag 2697884/315461
150.73/149.07	c cleaning 25001 clauses out of 50007 with flag 2941990/341458
165.25/163.49	c cleaning 25998 clauses out of 52007 with flag 3175696/368459
180.86/178.99	c cleaning 27003 clauses out of 54009 with flag 3411924/396459
199.77/197.71	c cleaning 27995 clauses out of 56007 with flag 3717458/425460
214.19/211.98	c cleaning 29000 clauses out of 58010 with flag 3982959/455458
233.75/231.27	c cleaning 29998 clauses out of 60011 with flag 4237090/486459
252.75/250.07	c cleaning 31003 clauses out of 62013 with flag 4496055/518459
271.70/268.83	c cleaning 31997 clauses out of 64009 with flag 4805915/551458
290.59/287.59	c cleaning 33000 clauses out of 66013 with flag 5121804/585459
314.10/310.85	c cleaning 33999 clauses out of 68013 with flag 5436313/620459
340.31/336.79	c cleaning 35001 clauses out of 70013 with flag 5821344/656458
363.14/359.38	c cleaning 36001 clauses out of 72012 with flag 6153084/693458
386.80/382.78	c cleaning 37002 clauses out of 74015 with flag 6515965/731462
413.65/409.26	c cleaning 38000 clauses out of 76009 with flag 6922697/770458
441.19/436.41	c cleaning 39001 clauses out of 78013 with flag 7317143/810462
467.87/462.81	c cleaning 40001 clauses out of 80008 with flag 7685732/851458
499.01/493.61	c cleaning 41001 clauses out of 82010 with flag 8095018/893461
534.35/528.64	c cleaning 41997 clauses out of 84006 with flag 8557090/936458
572.12/566.09	c cleaning 42999 clauses out of 86009 with flag 9113428/980458
605.61/599.19	c cleaning 44006 clauses out of 88011 with flag 9608168/1025459
643.51/636.65	c cleaning 44999 clauses out of 90004 with flag 10041533/1071458
687.24/679.96	c cleaning 45998 clauses out of 92006 with flag 10467984/1118459
730.86/723.17	c cleaning 46997 clauses out of 94009 with flag 10895190/1166460
780.63/772.48	c cleaning 47996 clauses out of 96015 with flag 11356490/1215463
827.90/819.25	c cleaning 48999 clauses out of 98014 with flag 11792260/1265458
876.79/867.50	c cleaning 50001 clauses out of 100016 with flag 12195293/1316459
930.04/920.19	c cleaning 51002 clauses out of 102014 with flag 12724398/1368458
970.52/960.01	c cleaning 52000 clauses out of 104012 with flag 13255594/1421458
1014.73/1003.70	c cleaning 53000 clauses out of 106014 with flag 13828954/1475460
1070.57/1058.83	c cleaning 53997 clauses out of 108012 with flag 14448349/1530458
1115.28/1102.90	c cleaning 55006 clauses out of 110018 with flag 14917714/1586461
1163.47/1150.43	c cleaning 55995 clauses out of 112009 with flag 15433416/1643458
1212.93/1199.26	c cleaning 57001 clauses out of 114015 with flag 15960624/1701459
1265.30/1250.96	c cleaning 58002 clauses out of 116014 with flag 16503022/1760459
1327.40/1312.28	c cleaning 59004 clauses out of 118019 with flag 17175777/1820466
1387.91/1371.96	c cleaning 59993 clauses out of 120007 with flag 17891507/1881458
1448.19/1431.49	c cleaning 60994 clauses out of 122014 with flag 18634954/1943458
1506.41/1488.89	c cleaning 62009 clauses out of 124023 with flag 19301865/2006461
1565.21/1546.96	c cleaning 62995 clauses out of 126011 with flag 19944974/2070458
1624.09/1605.11	c cleaning 64003 clauses out of 128017 with flag 20642794/2135459
1682.00/1662.37	c cleaning 64997 clauses out of 130013 with flag 21200269/2201458
1735.96/1715.41	c cleaning 65996 clauses out of 132017 with flag 21808879/2268459
1783.85/1762.51	c cleaning 67003 clauses out of 134022 with flag 22587013/2336460
1800.06/1778.41	c starts		: 231
1800.06/1778.41	c conflicts		: 2362800
1800.06/1778.41	c decisions		: 3230917
1800.06/1778.41	c propagations		: 55826990
1800.06/1778.41	c inspects		: 11133355946
1800.06/1778.41	c shortcuts		: 0
1800.06/1778.41	c learnt literals	: 0
1800.06/1778.41	c learnt binary clauses	: 0
1800.06/1778.41	c learnt ternary clauses	: 0
1800.06/1778.41	c learnt constraints	: 2362800
1800.06/1778.41	c ignored constraints	: 0
1800.06/1778.41	c root simplifications	: 0
1800.06/1778.41	c removed literals (reason simplification)	: 0
1800.06/1778.41	c reason swapping (by a shorter reason)	: 0
1800.06/1778.41	c Calls to reduceDB	: 64
1800.06/1778.41	c Number of update (reduction) of LBD	: 1466577
1800.06/1778.41	c number of reductions to clauses (during analyze)	: 0
1800.06/1778.41	c number of learned constraints concerned by reduction	: 0
1800.06/1778.41	c number of learning phase by resolution	: 0
1800.06/1778.41	c number of learning phase by cutting planes	: 0
1800.06/1778.41	c speed (assignments/second)	: 31395.207853330416
1800.06/1778.41	c non guided choices	6159
1800.06/1778.44	c learnt constraints type 
1800.06/1778.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93397
1800.06/1778.44	c constraints type 
1800.06/1778.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
1800.06/1778.44	c ignored satisfied constraints => 1
1800.06/1778.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
1800.06/1778.44	c 87 constraints processed.
1800.06/1778.44	s SATISFIABLE
1800.06/1778.45	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 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 
1800.06/1778.45	c objective function=3
1800.06/1778.45	c Total wall clock time (in seconds): 1778.342

Verifier Data 

OK	3

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-3718464-1338253906/watcher-3718464-1338253906 -o /tmp/evaluation-result-3718464-1338253906/solver-3718464-1338253906 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718464-1338253906.wbo 

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.91 1.98 1.97 4/195 16489
/proc/meminfo: memFree=30056592/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/16489/stat : 16489 (java) R 16487 16489 15870 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 291516461 278528 33 33554432000 1073741824 1073778376 140736831448832 140735728999992 259103222965 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 68 33 25 9 0 25 0

[startup+0.0591391 s]
/proc/loadavg: 1.91 1.98 1.97 4/195 16489
/proc/meminfo: memFree=30056592/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9558380 CPUtime=0.04 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 3162 0 1 0 3 1 0 0 20 0 18 0 291516461 9787781120 4371 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2389595 4371 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558380

[startup+0.100297 s]
/proc/loadavg: 1.91 1.98 1.97 4/195 16489
/proc/meminfo: memFree=30056592/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 291516461 9787817984 5569 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2389604 5569 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300165 s]
/proc/loadavg: 1.91 1.98 1.97 4/195 16489
/proc/meminfo: memFree=30056592/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 5818 0 1 0 51 1 0 0 20 0 19 0 291516461 9855979520 7545 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 7545 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624980

[startup+0.700145 s]
/proc/loadavg: 1.91 1.98 1.97 4/195 16489
/proc/meminfo: memFree=30056592/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=1.03 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 6327 0 1 0 101 2 0 0 20 0 19 0 291516461 9855979520 9604 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 9605 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9624980

[startup+1.50151 s]
/proc/loadavg: 1.91 1.98 1.97 4/214 16508
/proc/meminfo: memFree=30015964/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=1.88 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 6397 0 1 0 185 3 0 0 20 0 19 0 291516461 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 14256 2265 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 2460 0 1 0 143 1 0 0 20 0 19 0 291516462 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755519803800 139755367445749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 291516464 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1156 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1523 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 14256 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9624980

[startup+3.10092 s]
/proc/loadavg: 1.91 1.98 1.97 3/214 16508
/proc/meminfo: memFree=29999084/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=3.5 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 6432 0 1 0 346 4 0 0 20 0 19 0 291516461 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 18866 2265 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=3.01 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 2465 0 1 0 300 1 0 0 20 0 19 0 291516462 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755519803896 139755367387981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 291516464 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1171 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1523 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 18866 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9624980

[startup+6.30069 s]
/proc/loadavg: 1.92 1.98 1.97 3/214 16508
/proc/meminfo: memFree=29959956/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=6.83 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 7119 0 1 0 675 8 0 0 20 0 19 0 291516461 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 33580 2266 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=6.14 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 2477 0 1 0 613 1 0 0 20 0 19 0 291516462 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755519803640 139755367476139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 176 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 142 0 0 0 0 1 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 165 0 0 0 1 0 0 0 20 0 19 0 291516463 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 291516464 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1313 0 0 0 20 0 0 0 20 0 19 0 291516466 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1524 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 33580 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1313 0 0 0 20 0 0 0 20 0 19 0 291516466 9855979520 175003 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1524 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 175003 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 175003 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 91 0 0 0 25 34 0 0 20 0 19 0 291516467 9855979520 175003 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 175003 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1621.23
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/214 17378
/proc/meminfo: memFree=29696752/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=1682 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 15722 0 1 0 168027 173 0 0 20 0 19 0 291516461 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 177429 2266 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=1647.3 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 2961 0 1 0 164698 32 0 0 20 0 19 0 291516462 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755519802720 139755367558000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=3.36 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 638 0 0 0 320 16 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=3.14 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 866 0 0 0 302 12 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=3.34 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 480 0 0 0 319 15 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=3.3 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 1243 0 0 0 316 14 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=3.4 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 807 0 0 0 327 13 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=3.33 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 1098 0 0 0 319 14 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=3.44 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 1424 0 0 0 324 20 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=3.31 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 1306 0 0 0 313 18 0 0 20 0 19 0 291516463 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=2.75 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 787 0 0 0 269 6 0 0 20 0 19 0 291516464 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1313 0 0 0 20 0 0 0 20 0 19 0 291516466 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1524 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 95 0 0 0 26 35 0 0 20 0 19 0 291516467 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 177429 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1682
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 17382
/proc/meminfo: memFree=29682628/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=1743.03 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 16567 0 1 0 174126 177 0 0 20 0 19 0 291516461 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 179783 2266 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=1706.55 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 2991 0 1 0 170623 32 0 0 20 0 19 0 291516462 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755519802720 139755367382669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=3.55 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 1029 0 0 0 338 17 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=3.34 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 984 0 0 0 322 12 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=3.53 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 674 0 0 0 337 16 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=3.44 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 1284 0 0 0 330 14 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=3.58 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 825 0 0 0 344 14 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=3.51 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 1131 0 0 0 337 14 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=3.63 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 1425 0 0 0 342 21 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=3.46 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 1306 0 0 0 328 18 0 0 20 0 19 0 291516463 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=2.92 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 802 0 0 0 285 7 0 0 20 0 19 0 291516464 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1313 0 0 0 20 0 0 0 20 0 19 0 291516466 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1524 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 99 0 0 0 27 37 0 0 20 0 19 0 291516467 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 179783 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1743.03
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/214 17382
/proc/meminfo: memFree=29651264/32873648 swapFree=6852/6852
[pid=16489] ppid=16487 vsize=9624980 CPUtime=1800.06 cores=1,3,5,7
/proc/16489/stat : 16489 (java) S 16487 16489 15870 0 -1 4202496 18585 0 1 0 179824 182 0 0 20 0 19 0 291516461 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 140736831439968 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16489/statm: 2406245 187603 2267 9 0 2396937 0
[pid=16489/tid=16491] ppid=16487 vsize=9624980 CPUtime=1761.96 cores=1,3,5,7
/proc/16489/task/16491/stat : 16491 (java) R 16487 16489 15870 0 -1 4202560 3014 0 1 0 176163 33 0 0 20 0 19 0 291516462 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755519802720 139755367402560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16492] ppid=16487 vsize=9624980 CPUtime=3.72 cores=1,3,5,7
/proc/16489/task/16492/stat : 16492 (java) S 16487 16489 15870 0 -1 4202560 1308 0 0 0 355 17 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755492256680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16493] ppid=16487 vsize=9624980 CPUtime=3.49 cores=1,3,5,7
/proc/16489/task/16493/stat : 16493 (java) S 16487 16489 15870 0 -1 4202560 1197 0 0 0 336 13 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755491204136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16494] ppid=16487 vsize=9624980 CPUtime=3.68 cores=1,3,5,7
/proc/16489/task/16494/stat : 16494 (java) S 16487 16489 15870 0 -1 4202560 762 0 0 0 352 16 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755490151080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16489/tid=16495] ppid=16487 vsize=9624980 CPUtime=3.58 cores=1,3,5,7
/proc/16489/task/16495/stat : 16495 (java) S 16487 16489 15870 0 -1 4202560 1286 0 0 0 344 14 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755489098536 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16496] ppid=16487 vsize=9624980 CPUtime=3.73 cores=1,3,5,7
/proc/16489/task/16496/stat : 16496 (java) S 16487 16489 15870 0 -1 4202560 1185 0 0 0 359 14 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755488045480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16497] ppid=16487 vsize=9624980 CPUtime=3.68 cores=1,3,5,7
/proc/16489/task/16497/stat : 16497 (java) S 16487 16489 15870 0 -1 4202560 1133 0 0 0 354 14 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755486992936 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16498] ppid=16487 vsize=9624980 CPUtime=3.79 cores=1,3,5,7
/proc/16489/task/16498/stat : 16498 (java) S 16487 16489 15870 0 -1 4202560 1637 0 0 0 358 21 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755485939880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16499] ppid=16487 vsize=9624980 CPUtime=3.64 cores=1,3,5,7
/proc/16489/task/16499/stat : 16499 (java) S 16487 16489 15870 0 -1 4202560 1754 0 0 0 346 18 0 0 20 0 19 0 291516463 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139755355941160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16500] ppid=16487 vsize=9624980 CPUtime=3.1 cores=1,3,5,7
/proc/16489/task/16500/stat : 16500 (java) S 16487 16489 15870 0 -1 4202560 1180 0 0 0 303 7 0 0 20 0 19 0 291516464 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754872994664 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16501] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16501/stat : 16501 (java) S 16487 16489 15870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754871940984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16502] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16502/stat : 16502 (java) S 16487 16489 15870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291516464 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754870887816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16503] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16503/stat : 16503 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516466 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754869836560 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16489/tid=16504] ppid=16487 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16489/task/16504/stat : 16504 (java) S 16487 16489 15870 0 -1 4202560 1322 0 0 0 21 0 0 0 20 0 19 0 291516466 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754868783416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16505] ppid=16487 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16489/task/16505/stat : 16505 (java) S 16487 16489 15870 0 -1 4202560 1524 0 0 0 18 0 0 0 20 0 19 0 291516466 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754867730872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16506] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16506/stat : 16506 (java) S 16487 16489 15870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291516467 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754866678008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16489/tid=16507] ppid=16487 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/16489/task/16507/stat : 16507 (java) S 16487 16489 15870 0 -1 4202560 103 0 0 0 28 38 0 0 20 0 19 0 291516467 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754865625672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16489/tid=16508] ppid=16487 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16489/task/16508/stat : 16508 (java) S 16487 16489 15870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291516482 9855979520 187603 33554432000 1073741824 1073778376 140736831448832 139754864571944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624980

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 16489 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=598331
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=194666
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.47
CPU time (s): 1800.06
CPU user time (s): 1798.24
CPU system time (s): 1.82
CPU usage (%): 101.214
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.6
system time used= 2.19467
maximum resident set size= 803948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18815
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53324
involuntary context switches= 58890

runsolver used 6.11107 second user time and 15.3317 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-29 03:11:46
IDJOB=3718464
IDBENCH=79174
IDSOLVER=2301
FILE ID=node124/3718464-1338253906
RUNJOBID= node124-1338248599-15887
PBS_JOBID= 14624663
Free space on /tmp= 71432 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718464-1338253906/watcher-3718464-1338253906 -o /tmp/evaluation-result-3718464-1338253906/solver-3718464-1338253906 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718464-1338253906.wbo

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

MD5SUM BENCH= 12a88866bbd50b724bb180a8f6ce160e
RANDOM SEED=2058535785

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30057392 kB
Buffers:          432464 kB
Cached:           995028 kB
SwapCached:         2192 kB
Active:          1545632 kB
Inactive:         408508 kB
Active(anon):     516368 kB
Inactive(anon):    12184 kB
Active(file):    1029264 kB
Inactive(file):   396324 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67105464 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:        530860 kB
Mapped:            22500 kB
Shmem:                84 kB
Slab:             722988 kB
SReclaimable:     167272 kB
SUnreclaim:       555716 kB
KernelStack:        1608 kB
PageTables:         5356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     764668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71432 MiB
End job on node124 at 2012-05-29 03:41:26