Trace number 3737611

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)-78 1800.19 933.162

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -152
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.2.0.v20100531
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		1349517296
0.02/0.09	c Max memory 		1356595200
0.02/0.09	c Total memory 		1356595200
0.02/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c Stops conflict analysis at the first Unique Implication Point
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c Stops conflict analysis at the first Unique Implication Point
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	
0.08/0.12	c solving HOME/instance-3737611-1338755018.opb
0.08/0.12	c reading problem ... 
68.43/67.58	c ... done. Wall clock time 67.454s.
68.43/67.58	c #vars     33544
68.43/67.58	c #constraints  66090
68.43/67.58	c constraints type 
68.43/67.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31544
68.43/67.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
68.43/67.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
68.43/67.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
68.43/67.58	c constraints type 
68.43/67.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
68.43/67.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31544
68.43/67.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2002
68.43/67.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
70.89/68.33	c And the winner is CuttingPlanes
71.01/68.61	c SATISFIABLE
71.01/68.61	c OPTIMIZING...
71.01/68.61	c Got one! Elapsed wall clock time (in seconds):68.485
71.01/68.61	o -9
72.42/69.30	c And the winner is CuttingPlanes
72.64/69.63	c Got one! Elapsed wall clock time (in seconds):69.501
72.64/69.63	o -10
73.66/70.15	c And the winner is CuttingPlanes
73.78/70.64	c Got one! Elapsed wall clock time (in seconds):70.518
73.78/70.64	o -11
74.83/71.18	c And the winner is CuttingPlanes
75.01/71.66	c Got one! Elapsed wall clock time (in seconds):71.535
75.01/71.66	o -14
75.89/72.08	c And the winner is CuttingPlanes
76.09/72.68	c Got one! Elapsed wall clock time (in seconds):72.551
76.09/72.68	o -22
77.44/73.33	c And the winner is CuttingPlanes
77.53/73.69	c Got one! Elapsed wall clock time (in seconds):73.567
77.53/73.69	o -23
78.43/74.15	c And the winner is CuttingPlanes
78.57/74.71	c Got one! Elapsed wall clock time (in seconds):74.583
78.57/74.71	o -24
79.88/75.32	c And the winner is CuttingPlanes
79.94/75.72	c Got one! Elapsed wall clock time (in seconds):75.599
79.94/75.72	o -25
81.56/76.55	c And the winner is CuttingPlanes
81.68/76.74	c Got one! Elapsed wall clock time (in seconds):76.614
81.68/76.74	o -26
83.44/77.66	c And the winner is CuttingPlanes
83.58/77.76	c Got one! Elapsed wall clock time (in seconds):77.631
83.58/77.76	o -27
84.48/78.20	c And the winner is CuttingPlanes
84.50/78.77	c Got one! Elapsed wall clock time (in seconds):78.646
84.50/78.77	o -28
86.83/79.91	c And the winner is CuttingPlanes
86.87/80.79	c Got one! Elapsed wall clock time (in seconds):80.662
86.87/80.79	o -29
88.31/81.58	c And the winner is CuttingPlanes
88.51/81.80	c Got one! Elapsed wall clock time (in seconds):81.677
88.51/81.80	o -30
90.74/82.92	c And the winner is CuttingPlanes
90.80/83.82	c Got one! Elapsed wall clock time (in seconds):83.693
90.80/83.82	o -31
145.84/111.06	c cleaning 2500 clauses out of 5000 with flag 5000/5000
228.95/152.25	c cleaning 4248 clauses out of 8501 with flag 11001/11001
375.89/225.11	c cleaning 5619 clauses out of 11252 with flag 18000/18000
546.75/309.91	c cleaning 6809 clauses out of 13633 with flag 26000/26000
744.88/408.37	c cleaning 7905 clauses out of 15824 with flag 35000/35000
910.08/490.34	c And the winner is Resolution
909.20/491.92	c Got one! Elapsed wall clock time (in seconds):491.791
909.20/491.92	o -78
943.92/509.20	c cleaning 8960 clauses out of 17919 with flag 45000/45000
1161.60/617.04	c cleaning 9973 clauses out of 19959 with flag 56000/56000
1427.90/749.20	c cleaning 10990 clauses out of 21987 with flag 68001/68001
1718.69/893.56	c cleaning 11991 clauses out of 23996 with flag 81000/81000
1798.41/933.11	c starts		: 89
1798.41/933.11	c conflicts		: 84582
1798.41/933.11	c decisions		: 549322
1798.41/933.11	c propagations		: 251707030
1798.41/933.11	c inspects		: 2128806445
1798.41/933.11	c learnt literals	: 0
1798.41/933.11	c learnt binary clauses	: 0
1798.41/933.11	c learnt ternary clauses	: 448
1798.41/933.11	c learnt clauses	: 84581
1798.41/933.11	c ignored clauses	: 0
1798.41/933.11	c root simplifications	: 0
1798.41/933.11	c removed literals (reason simplification)	: 47891453
1798.41/933.11	c reason swapping (by a shorter reason)	: 0
1798.41/933.11	c Calls to reduceDB	: 9
1798.41/933.11	c number of reductions to clauses (during analyze)	: 0
1798.41/933.11	c number of learned constraints concerned by reduction	: 0
1798.41/933.11	c number of learning phase by resolution	: 0
1798.41/933.11	c number of learning phase by cutting planes	: 0
1798.41/933.11	c speed (assignments/second)	: 570514.5593878416
1798.41/933.11	c non guided choices	0
1798.41/933.12	c learnt constraints type 
1798.41/933.12	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 15587
1798.41/933.12	c constraints type 
1798.41/933.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31544
1798.41/933.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1798.41/933.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1798.41/933.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
1798.41/933.12	c constraints type 
1798.41/933.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
1798.41/933.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31544
1798.41/933.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2003
1798.41/933.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31544
1798.41/933.13	s SATISFIABLE
1798.41/933.14	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 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 x2000 
1798.41/933.14	c objective function=-78
1798.41/933.14	c Total wall clock time (in seconds): 933.015

Verifier Data 

OK	-78

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-3737611-1338755018/watcher-3737611-1338755018 -o /tmp/evaluation-result-3737611-1338755018/solver-3737611-1338755018 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737611-1338755018.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.07 3.86 3.71 4/199 21916
/proc/meminfo: memFree=28453528/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21916/stat : 21916 (java6) D 21914 21916 19811 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341626592 9515008 182 33554432000 1073741824 1073778376 140733986543424 140733986534456 215124623029 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/21916/statm: 2323 182 140 9 0 71 0

[startup+0.044887 s]
/proc/loadavg: 4.07 3.86 3.71 4/199 21916
/proc/meminfo: memFree=28453528/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2367080 CPUtime=0.02 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 3716 0 1 0 1 1 0 0 20 0 13 0 341626592 2423889920 4414 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 591770 4414 1662 9 0 582471 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2367080

[startup+0.100271 s]
/proc/loadavg: 4.07 3.86 3.71 4/199 21916
/proc/meminfo: memFree=28453528/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 4014 0 1 0 7 1 0 0 20 0 18 0 341626592 2764726272 5734 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 5753 1829 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928

[startup+0.300208 s]
/proc/loadavg: 4.07 3.86 3.71 4/199 21916
/proc/meminfo: memFree=28453528/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=0.43 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 6437 0 1 0 42 1 0 0 20 0 18 0 341626592 2764726272 9227 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 9227 2222 9 0 665676 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2699928

[startup+0.700216 s]
/proc/loadavg: 4.07 3.86 3.71 4/199 21916
/proc/meminfo: memFree=28453528/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=1.12 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 11020 0 1 0 110 2 0 0 20 0 18 0 341626592 2764726272 15293 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 15293 2235 9 0 665676 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2699928

[startup+1.50061 s]
/proc/loadavg: 4.07 3.86 3.71 4/217 21934
/proc/meminfo: memFree=28390824/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=2.14 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 12909 0 1 0 211 3 0 0 20 0 18 0 341626592 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 20573 2238 9 0 665676 0
[pid=21916/tid=21918] ppid=21914 vsize=2699928 CPUtime=1.46 cores=0,2,4,6
/proc/21916/task/21918/stat : 21918 (java) R 21914 21916 19811 0 -1 4202560 2851 0 1 0 145 1 0 0 20 0 18 0 341626593 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787758624640 139787698757659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787624708648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787623655848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787622603048 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341626596 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2699928 CPUtime=0.23 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 2362 0 0 0 23 0 0 0 20 0 18 0 341626600 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2699928 CPUtime=0.4 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6511 0 0 0 40 0 0 0 20 0 18 0 341626600 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 20573 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 2699928

[startup+3.10063 s]
/proc/loadavg: 4.07 3.86 3.71 4/217 21934
/proc/meminfo: memFree=28369476/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=3.82 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 12924 0 1 0 379 3 0 0 20 0 18 0 341626592 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 26719 2239 9 0 665676 0
[pid=21916/tid=21918] ppid=21914 vsize=2699928 CPUtime=3.05 cores=0,2,4,6
/proc/21916/task/21918/stat : 21918 (java) R 21914 21916 19811 0 -1 4202560 2864 0 1 0 304 1 0 0 20 0 18 0 341626593 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787758631288 139787698757659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787624708648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787623655848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787622603048 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341626596 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2699928 CPUtime=0.25 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 2362 0 0 0 25 0 0 0 20 0 18 0 341626600 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6513 0 0 0 46 0 0 0 20 0 18 0 341626600 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 26719 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 2699928

[startup+6.30064 s]
/proc/loadavg: 3.98 3.84 3.71 4/217 21934
/proc/meminfo: memFree=28333232/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=7.02 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 12941 0 1 0 699 3 0 0 20 0 18 0 341626592 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 34008 2240 9 0 665676 0
[pid=21916/tid=21918] ppid=21914 vsize=2699928 CPUtime=6.24 cores=0,2,4,6
/proc/21916/task/21918/stat : 21918 (java) R 21914 21916 19811 0 -1 4202560 2880 0 1 0 622 2 0 0 20 0 18 0 341626593 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787758624672 139787698757659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787624708648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787623655848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787622603048 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341626595 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341626596 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341626597 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2699928 CPUtime=0.25 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 2362 0 0 0 25 0 0 0 20 0 18 0 341626600 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6513 0 0 0 46 0 0 0 20 0 18 0 341626600 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341626600 2764726272 34008 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 2699928

[startup+12.7007 s]
/proc/loadavg: 3.91 3.83 3.71 4/217 21934
/proc/meminfo: memFree=28289636/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2699928 CPUtime=13.42 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 12960 0 1 0 1338 4 0 0 20 0 18 0 341626592 2764726272 43736 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 674982 43736 2240 9 0 665676 0
[pid=21916/tid=21918] ppid=21914 vsize=2699928 CPUtime=12.62 cores=0,2,4,6

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

[pid=21916/tid=21922] ppid=21914 vsize=2966184 CPUtime=4.6 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 359 0 0 0 452 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2966184 CPUtime=4.48 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 442 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2966184 CPUtime=4.62 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 456 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2966184 CPUtime=4.71 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 336 0 0 0 463 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2966184 CPUtime=4.61 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 455 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2966184 CPUtime=2.28 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 94 0 0 0 191 37 0 0 20 0 22 0 341626596 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 5694 0 0 0 114 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2966184 CPUtime=1.16 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6604 0 0 0 115 1 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21943] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21943/stat : 21943 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787594613672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21944] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21944/stat : 21944 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787593560872 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21986] ppid=21914 vsize=2966184 CPUtime=383.46 cores=0,2,4,6
/proc/21916/task/21986/stat : 21986 (java) R 21914 21916 19811 0 -1 4202560 157 0 0 0 38341 5 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787595664848 139787699169798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21987] ppid=21914 vsize=2966184 CPUtime=383.44 cores=0,2,4,6
/proc/21916/task/21987/stat : 21987 (java) R 21914 21916 19811 0 -1 4202560 155 0 0 0 38338 6 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787596716576 139787699171964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1696.12
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.101 s]
/proc/loadavg: 3.96 3.94 3.82 5/221 22274
/proc/meminfo: memFree=27744172/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2966184 CPUtime=1798.41 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 20162 0 1 0 179676 165 0 0 20 0 22 0 341626592 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 741546 187971 2287 9 0 732240 0
[pid=21916/tid=21918] ppid=21914 vsize=2966184 CPUtime=67.56 cores=0,2,4,6
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 19811 0 -1 4202560 3030 0 1 0 6748 8 0 0 20 0 22 0 341626593 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787758634136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=2966184 CPUtime=5.01 cores=0,2,4,6
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 19811 0 -1 4202560 334 0 0 0 494 7 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787624708648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=2966184 CPUtime=4.77 cores=0,2,4,6
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 19811 0 -1 4202560 308 0 0 0 471 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787623655848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=2966184 CPUtime=4.8 cores=0,2,4,6
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 19811 0 -1 4202560 322 0 0 0 474 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787622603048 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=2966184 CPUtime=4.89 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 359 0 0 0 481 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2966184 CPUtime=4.71 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 465 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2966184 CPUtime=4.95 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 489 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2966184 CPUtime=4.99 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 336 0 0 0 491 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2966184 CPUtime=4.86 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 479 7 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 96 0 0 0 216 39 0 0 20 0 22 0 341626596 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 5694 0 0 0 114 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2966184 CPUtime=1.16 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6604 0 0 0 115 1 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 54 0 0 0 19 16 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21943] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21943/stat : 21943 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787594613672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21944] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21944/stat : 21944 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787593560872 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21986] ppid=21914 vsize=2966184 CPUtime=433.26 cores=0,2,4,6
/proc/21916/task/21986/stat : 21986 (java) R 21914 21916 19811 0 -1 4202560 177 0 0 0 43320 6 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787595664848 139787699169908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21987] ppid=21914 vsize=2966184 CPUtime=433.24 cores=0,2,4,6
/proc/21916/task/21987/stat : 21987 (java) R 21914 21916 19811 0 -1 4202560 171 0 0 0 43317 7 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787596716576 139787699223659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 2966184

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

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

[startup+933.101 s]
/proc/loadavg: 3.96 3.94 3.82 5/221 22274
/proc/meminfo: memFree=27744172/32873844 swapFree=7620/7620
[pid=21916] ppid=21914 vsize=2966184 CPUtime=1798.41 cores=0,2,4,6
/proc/21916/stat : 21916 (java) S 21914 21916 19811 0 -1 4202496 20162 0 1 0 179676 165 0 0 20 0 22 0 341626592 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 140736087115040 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21916/statm: 741546 187971 2287 9 0 732240 0
[pid=21916/tid=21918] ppid=21914 vsize=2966184 CPUtime=67.56 cores=0,2,4,6
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 19811 0 -1 4202560 3030 0 1 0 6748 8 0 0 20 0 22 0 341626593 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787758634136 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=2966184 CPUtime=5.01 cores=0,2,4,6
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 19811 0 -1 4202560 334 0 0 0 494 7 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787624708648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=2966184 CPUtime=4.77 cores=0,2,4,6
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 19811 0 -1 4202560 308 0 0 0 471 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787623655848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=2966184 CPUtime=4.8 cores=0,2,4,6
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 19811 0 -1 4202560 322 0 0 0 474 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787622603048 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=2966184 CPUtime=4.89 cores=0,2,4,6
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 19811 0 -1 4202560 359 0 0 0 481 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787621550248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=2966184 CPUtime=4.71 cores=0,2,4,6
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 465 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787620498472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=2966184 CPUtime=4.95 cores=0,2,4,6
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 489 6 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787619445672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21925] ppid=21914 vsize=2966184 CPUtime=4.99 cores=0,2,4,6
/proc/21916/task/21925/stat : 21925 (java) S 21914 21916 19811 0 -1 4202560 336 0 0 0 491 8 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787618392872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21926] ppid=21914 vsize=2966184 CPUtime=4.86 cores=0,2,4,6
/proc/21916/task/21926/stat : 21926 (java) S 21914 21916 19811 0 -1 4202560 318 0 0 0 479 7 0 0 20 0 22 0 341626595 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787617340072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21927] ppid=21914 vsize=2966184 CPUtime=2.55 cores=0,2,4,6
/proc/21916/task/21927/stat : 21927 (java) S 21914 21916 19811 0 -1 4202560 96 0 0 0 216 39 0 0 20 0 22 0 341626596 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787605141992 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21928] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21928/stat : 21928 (java) S 21914 21916 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787604088056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21929] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21929/stat : 21929 (java) S 21914 21916 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341626597 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787603035144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21930] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21930/stat : 21930 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787601983632 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21931] ppid=21914 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/21916/task/21931/stat : 21931 (java) S 21914 21916 19811 0 -1 4202560 5694 0 0 0 114 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787600931768 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21916/tid=21932] ppid=21914 vsize=2966184 CPUtime=1.16 cores=0,2,4,6
/proc/21916/task/21932/stat : 21932 (java) S 21914 21916 19811 0 -1 4202560 6604 0 0 0 115 1 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787599878968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21933] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21933/stat : 21933 (java) S 21914 21916 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787598826360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21934] ppid=21914 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/21916/task/21934/stat : 21934 (java) S 21914 21916 19811 0 -1 4202560 54 0 0 0 19 16 0 0 20 0 22 0 341626600 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787597773768 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21943] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21943/stat : 21943 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787594613672 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21916/tid=21944] ppid=21914 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/21916/task/21944/stat : 21944 (java) S 21914 21916 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341633356 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787593560872 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21916/tid=21986] ppid=21914 vsize=2966184 CPUtime=433.26 cores=0,2,4,6
/proc/21916/task/21986/stat : 21986 (java) R 21914 21916 19811 0 -1 4202560 177 0 0 0 43320 6 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787595664848 139787699169908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21916/tid=21987] ppid=21914 vsize=2966184 CPUtime=433.24 cores=0,2,4,6
/proc/21916/task/21987/stat : 21987 (java) R 21914 21916 19811 0 -1 4202560 171 0 0 0 43317 7 0 0 20 0 22 0 341675785 3037372416 187971 33554432000 1073741824 1073778376 140736087123904 139787596716576 139787699223659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 2966184

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21916 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=609177
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=911709
# CPU time returned by wait4() is 1796.52
# while last known CPU time is 1798.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.78003
#  lost CPU user time (s): 1.90002
#  lost CPU system time (s): -0.12

Real time (s): 933.162
CPU time (s): 1800.19
CPU user time (s): 1798.66
CPU system time (s): 1.53
CPU usage (%): 192.913
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.91171
maximum resident set size= 752004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20194
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41405
involuntary context switches= 62258

runsolver used 3.50247 second user time and 8.31174 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 22:23:38
IDJOB=3737611
IDBENCH=48269
IDSOLVER=2324
FILE ID=node135/3737611-1338755018
RUNJOBID= node135-1338747255-19827
PBS_JOBID= 14636778
Free space on /tmp= 70980 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737611-1338755018/watcher-3737611-1338755018 -o /tmp/evaluation-result-3737611-1338755018/solver-3737611-1338755018 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737611-1338755018.opb

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

MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e
RANDOM SEED=479203080

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28453792 kB
Buffers:          379964 kB
Cached:          2522652 kB
SwapCached:         1672 kB
Active:          1838616 kB
Inactive:        1729456 kB
Active(anon):     655360 kB
Inactive(anon):    12036 kB
Active(file):    1183256 kB
Inactive(file):  1717420 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              1268 kB
Writeback:             4 kB
AnonPages:        673300 kB
Mapped:            18680 kB
Shmem:               132 kB
Slab:             709060 kB
SReclaimable:     150724 kB
SUnreclaim:       558336 kB
KernelStack:        1640 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1574900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70980 MiB
End job on node135 at 2012-06-03 22:39:13