Trace number 3688722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-52 1800.16 905.267

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa5ab0443a6669cc558112b6f5f13d1cd
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-69
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -72
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)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3688722-1337879467.opb
0.07/0.13	c reading problem ... 
5.08/2.28	c ... done. Wall clock time 2.154s.
5.08/2.28	c declared #vars     2000
5.08/2.28	c internal #vars     77286
5.08/2.28	c #constraints  153574
5.08/2.28	c constraints type 
5.08/2.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75286
5.08/2.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 2002
5.08/2.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
5.08/2.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75286
5.08/2.28	c 153574 constraints processed.
5.08/2.28	c constraints type 
5.08/2.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
5.08/2.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75286
5.08/2.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2002
5.08/2.28	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75286
5.08/2.28	c 153574 constraints processed.
5.08/2.28	c objective function length is 1000 literals
13.69/6.21	c  And the winner is solver1
13.69/6.29	c SATISFIABLE
13.69/6.29	c OPTIMIZING...
13.69/6.29	c Got one! Elapsed wall clock time (in seconds):6.159
13.69/6.29	o -4
19.15/8.91	c  And the winner is solver1
19.19/9.29	c Got one! Elapsed wall clock time (in seconds):9.163
19.19/9.29	o -5
24.05/11.79	c  And the winner is solver1
24.24/11.84	c Got one! Elapsed wall clock time (in seconds):11.717
24.24/11.84	o -6
30.38/14.88	c  And the winner is solver1
30.55/15.35	c Got one! Elapsed wall clock time (in seconds):15.22
30.55/15.35	o -7
31.94/16.06	c  And the winner is solver1
32.10/16.35	c Got one! Elapsed wall clock time (in seconds):16.222
32.10/16.35	o -8
39.82/20.22	c  And the winner is solver1
39.86/20.35	c Got one! Elapsed wall clock time (in seconds):20.225
39.86/20.35	o -9
46.67/23.74	c  And the winner is solver1
46.75/23.85	c Got one! Elapsed wall clock time (in seconds):23.727
46.75/23.85	o -10
50.43/25.78	c  And the winner is solver1
50.61/25.86	c Got one! Elapsed wall clock time (in seconds):25.728
50.61/25.86	o -11
56.48/28.89	c  And the winner is solver1
56.67/29.36	c Got one! Elapsed wall clock time (in seconds):29.23
56.67/29.36	o -12
61.75/31.94	c  And the winner is solver1
61.84/32.36	c Got one! Elapsed wall clock time (in seconds):32.232
61.84/32.36	o -13
67.79/35.33	c  And the winner is solver1
67.79/35.36	c Got one! Elapsed wall clock time (in seconds):35.234
67.79/35.36	o -15
74.34/38.69	c  And the winner is solver1
74.53/38.86	c Got one! Elapsed wall clock time (in seconds):38.736
74.53/38.86	o -16
76.79/40.06	c  And the winner is solver1
76.94/40.37	c Got one! Elapsed wall clock time (in seconds):40.237
76.94/40.37	o -17
83.39/43.66	c  And the winner is solver1
83.53/43.87	c Got one! Elapsed wall clock time (in seconds):43.739
83.53/43.87	o -18
89.25/46.76	c  And the winner is solver1
89.40/46.87	c Got one! Elapsed wall clock time (in seconds):46.741
89.40/46.87	o -19
155.69/79.84	c cleaning 6996 clauses out of 13991 with flag 5000/13991
158.82/81.57	c  And the winner is solver1
158.80/81.74	c Got one! Elapsed wall clock time (in seconds):81.613
158.80/81.74	o -52
230.26/117.32	c cleaning 6032 clauses out of 12068 with flag 5000/19064
376.11/190.90	c cleaning 6018 clauses out of 12036 with flag 11000/25064
541.00/273.57	c cleaning 6478 clauses out of 13020 with flag 18002/32066
699.57/353.00	c cleaning 7273 clauses out of 14549 with flag 26009/40073
895.58/450.99	c cleaning 8121 clauses out of 16267 with flag 35000/49064
926.22/466.81	c cleaning 0 clauses out of 6079 with flag 0/6079
1167.46/587.64	c cleaning 9076 clauses out of 18151 with flag 45005/59069
1480.08/744.35	c cleaning 10037 clauses out of 20074 with flag 56004/70068
1634.11/821.50	c cleaning 11018 clauses out of 22040 with flag 68007/82071
1800.14/905.22	c starts		: 47
1800.14/905.22	c conflicts		: 8662
1800.14/905.22	c decisions		: 821387
1800.14/905.22	c propagations		: 68346887
1800.14/905.22	c inspects		: 1006527712
1800.14/905.22	c shortcuts		: 0
1800.14/905.22	c learnt literals	: 0
1800.14/905.22	c learnt binary clauses	: 0
1800.14/905.22	c learnt ternary clauses	: 0
1800.14/905.22	c learnt constraints	: 8662
1800.14/905.22	c ignored constraints	: 0
1800.14/905.22	c root simplifications	: 0
1800.14/905.22	c removed literals (reason simplification)	: 0
1800.14/905.22	c reason swapping (by a shorter reason)	: 0
1800.14/905.22	c Calls to reduceDB	: 1
1800.14/905.22	c number of reductions to clauses (during analyze)	: 0
1800.14/905.22	c number of learned constraints concerned by reduction	: 0
1800.14/905.22	c number of learning phase by resolution	: 0
1800.14/905.22	c number of learning phase by cutting planes	: 0
1800.14/905.22	c speed (assignments/second)	: 75697.49195642905
1800.14/905.22	c non guided choices	0
1800.14/905.22	c learnt constraints type 
1800.14/905.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8662
1800.14/905.22	c constraints type 
1800.14/905.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75286
1800.14/905.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 2003
1800.14/905.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1000
1800.14/905.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75286
1800.14/905.22	c 153575 constraints processed.
1800.14/905.22	c constraints type 
1800.14/905.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
1800.14/905.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75286
1800.14/905.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2003
1800.14/905.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75286
1800.14/905.22	c 153575 constraints processed.
1800.14/905.22	s SATISFIABLE
1800.14/905.23	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 
1800.14/905.23	c objective function=-52
1800.14/905.23	c Total wall clock time (in seconds): 905.105

Verifier Data 

OK	-52

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.63 3.64 3.73 4/197 21223
/proc/meminfo: memFree=26254712/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21223/stat : 21223 (java) D 21221 21223 18255 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254072167 2560000 46 33554432000 1073741824 1073778376 140736695837920 140736695835048 239863950631 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21223/statm: 625 46 37 9 0 29 0

[startup+0.00705801 s]
/proc/loadavg: 3.63 3.64 3.73 4/197 21223
/proc/meminfo: memFree=26254712/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/21223/stat : 21223 (java) R 21221 21223 18255 0 -1 4202496 96 0 0 0 0 0 0 0 20 0 1 0 254072167 3653632 49 33554432000 1073741824 1073778376 140736695837920 140736695835048 239863950631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21223/statm: 1408 52 41 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.100225 s]
/proc/loadavg: 3.63 3.64 3.73 4/197 21223
/proc/meminfo: memFree=26254712/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 3937 0 1 0 6 1 0 0 20 0 18 0 254072167 9787813888 4627 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2389603 4638 2033 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300221 s]
/proc/loadavg: 3.63 3.64 3.73 4/197 21223
/proc/meminfo: memFree=26254712/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 5654 0 1 0 43 1 0 0 20 0 18 0 254072167 9787813888 8002 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2389603 8002 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412

[startup+0.700275 s]
/proc/loadavg: 3.63 3.64 3.73 4/197 21223
/proc/meminfo: memFree=26254712/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9558412 CPUtime=1.54 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 23153 0 1 0 147 7 0 0 20 0 18 0 254072167 9787813888 31783 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2389603 31783 2243 9 0 2380296 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9558412

[startup+1.50076 s]
/proc/loadavg: 3.63 3.64 3.73 6/215 21241
/proc/meminfo: memFree=26024736/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9558412 CPUtime=3.8 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 27522 0 1 0 351 29 0 0 20 0 18 0 254072167 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2389603 107457 2260 9 0 2380296 0
[pid=21223/tid=21225] ppid=21221 vsize=9558412 CPUtime=1.24 cores=1,3,5,7
/proc/21223/task/21225/stat : 21225 (java) R 21221 21223 18255 0 -1 4202560 2617 0 1 0 119 5 0 0 20 0 18 0 254072168 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140288126294344 239876498701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/21223/task/21226/stat : 21226 (java) S 21221 21223 18255 0 -1 4202560 169 0 0 0 4 1 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140288065026216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21227] ppid=21221 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/21223/task/21227/stat : 21227 (java) S 21221 21223 18255 0 -1 4202560 102 0 0 0 4 2 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140288063973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21228] ppid=21221 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/21223/task/21228/stat : 21228 (java) S 21221 21223 18255 0 -1 4202560 22 0 0 0 4 2 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140288062921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21229] ppid=21221 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) S 21221 21223 18255 0 -1 4202560 101 0 0 0 9 3 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140288061868584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 45 0 0 0 2 1 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 43 0 0 0 8 3 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 153 0 0 0 11 4 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) S 21221 21223 18255 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 18 0 254072170 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287962450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) S 21221 21223 18255 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 18 0 254072171 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287950252136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254072171 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254072171 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254072174 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9558412 CPUtime=0.85 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12744 0 0 0 82 3 0 0 20 0 18 0 254072174 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9558412 CPUtime=0.88 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10118 0 0 0 85 3 0 0 20 0 18 0 254072174 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254072174 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254072174 9787813888 107457 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9558412

[startup+3.10064 s]
/proc/loadavg: 3.82 3.68 3.74 3/215 21241
/proc/meminfo: memFree=25541600/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9824668 CPUtime=7.39 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 28634 0 1 0 688 51 0 0 20 0 22 0 254072167 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2456167 188639 2269 9 0 2446860 0
[pid=21223/tid=21225] ppid=21221 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/21223/task/21225/stat : 21225 (java) S 21221 21223 18255 0 -1 4202560 2909 0 1 0 171 12 0 0 20 0 22 0 254072168 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140288126297080 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/21223/task/21226/stat : 21226 (java) S 21221 21223 18255 0 -1 4202560 190 0 0 0 8 3 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140288065026216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21227] ppid=21221 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/21223/task/21227/stat : 21227 (java) S 21221 21223 18255 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140288063973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21228] ppid=21221 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/21223/task/21228/stat : 21228 (java) S 21221 21223 18255 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140288062921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21229] ppid=21221 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) S 21221 21223 18255 0 -1 4202560 162 0 0 0 19 4 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140288061868584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 102 0 0 0 12 3 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 77 0 0 0 16 6 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 188 0 0 0 17 6 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) S 21221 21223 18255 0 -1 4202560 70 0 0 0 13 5 0 0 20 0 22 0 254072170 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287962450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) S 21221 21223 18255 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287950252136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12793 0 0 0 117 3 0 0 20 0 22 0 254072174 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10154 0 0 0 113 3 0 0 20 0 22 0 254072174 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 188639 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 9824668

[startup+6.30635 s]
/proc/loadavg: 3.82 3.68 3.74 5/218 21245
/proc/meminfo: memFree=25219304/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9824668 CPUtime=13.74 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 29350 0 1 0 1311 63 0 0 20 0 21 0 254072167 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2456167 299297 2271 9 0 2446860 0
[pid=21223/tid=21225] ppid=21221 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/21223/task/21225/stat : 21225 (java) S 21221 21223 18255 0 -1 4202560 2909 0 1 0 172 12 0 0 20 0 21 0 254072168 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140288126297080 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/21223/task/21226/stat : 21226 (java) R 21221 21223 18255 0 -1 4202560 190 0 0 0 8 3 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140288065026216 239876486204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21227] ppid=21221 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/21223/task/21227/stat : 21227 (java) S 21221 21223 18255 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140288063973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21228] ppid=21221 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/21223/task/21228/stat : 21228 (java) R 21221 21223 18255 0 -1 4202560 79 0 0 0 15 4 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140288062921128 140288130458240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21229] ppid=21221 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) R 21221 21223 18255 0 -1 4202560 165 0 0 0 20 4 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140288061868584 140288133192620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 102 0 0 0 12 3 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 77 0 0 0 16 6 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 188 0 0 0 17 6 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) R 21221 21223 18255 0 -1 4202560 75 0 0 0 14 5 0 0 20 0 21 0 254072170 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287962451160 140288133192818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) S 21221 21223 18255 0 -1 4202560 476 0 0 0 0 0 0 0 20 0 21 0 254072171 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287950251016 239876486204 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254072171 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 254072171 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254072174 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12804 0 0 0 126 3 0 0 20 0 21 0 254072174 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10154 0 0 0 114 3 0 0 20 0 21 0 254072174 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254072174 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254072174 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21244] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21244/stat : 21244 (java) S 21221 21223 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 254072399 10060460032 299297 33554432000 1073741824 1073778376 140735020747056 140287939724328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 9824668

[startup+12.7009 s]
/proc/loadavg: 4.21 3.77 3.77 5/219 21255
/proc/meminfo: memFree=24984092/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9824668 CPUtime=26.16 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 30160 0 1 0 2537 79 0 0 20 0 22 0 254072167 10060460032 318991 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

[pid=21223/tid=21229] ppid=21221 vsize=9824668 CPUtime=3.04 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) S 21221 21223 18255 0 -1 4202560 487 0 0 0 291 13 0 0 20 0 22 0 254072170 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140288061868584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 510 0 0 0 282 9 0 0 20 0 22 0 254072170 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 385 0 0 0 290 11 0 0 20 0 22 0 254072170 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9824668 CPUtime=3.06 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 697 0 0 0 292 14 0 0 20 0 22 0 254072170 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) S 21221 21223 18255 0 -1 4202560 500 0 0 0 309 12 0 0 20 0 22 0 254072170 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287962450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9824668 CPUtime=15.69 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) R 21221 21223 18255 0 -1 4202560 2765 0 0 0 1553 16 0 0 20 0 22 0 254072171 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287950250984 140288133150755 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12933 0 0 0 206 3 0 0 20 0 22 0 254072174 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10178 0 0 0 152 3 0 0 20 0 22 0 254072174 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 47 0 0 0 16 23 0 0 20 0 22 0 254072174 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21244] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21244/stat : 21244 (java) S 21221 21223 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254072399 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287939724328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21292] ppid=21221 vsize=9824668 CPUtime=718.34 cores=1,3,5,7
/proc/21223/task/21292/stat : 21292 (java) S 21221 21223 18255 0 -1 4202560 14 0 0 0 71823 11 0 0 20 0 22 0 254080341 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287941828632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21293] ppid=21221 vsize=9824668 CPUtime=718.43 cores=1,3,5,7
/proc/21223/task/21293/stat : 21293 (java) S 21221 21223 18255 0 -1 4202560 73 0 0 0 71833 10 0 0 20 0 22 0 254080341 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287940776568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21294] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21294/stat : 21294 (java) S 21221 21223 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080342 10060460032 869268 33554432000 1073741824 1073778376 140735020747056 140287938671784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1635.13
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.18 3.39 3.61 4/218 21430
/proc/meminfo: memFree=25105080/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9824668 CPUtime=1754.07 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 36163 0 1 0 175177 230 0 0 20 0 22 0 254072167 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2456167 869259 2287 9 0 2446860 0
[pid=21223/tid=21225] ppid=21221 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/21223/task/21225/stat : 21225 (java) S 21221 21223 18255 0 -1 4202560 2911 0 1 0 177 15 0 0 20 0 22 0 254072168 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140288126297080 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=9824668 CPUtime=2.82 cores=1,3,5,7
/proc/21223/task/21226/stat : 21226 (java) S 21221 21223 18255 0 -1 4202560 556 0 0 0 269 13 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140288065026216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21227] ppid=21221 vsize=9824668 CPUtime=3.04 cores=1,3,5,7
/proc/21223/task/21227/stat : 21227 (java) S 21221 21223 18255 0 -1 4202560 550 0 0 0 293 11 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140288063973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21228] ppid=21221 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/21223/task/21228/stat : 21228 (java) S 21221 21223 18255 0 -1 4202560 649 0 0 0 320 15 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140288062921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21229] ppid=21221 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) S 21221 21223 18255 0 -1 4202560 487 0 0 0 304 13 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140288061868584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9824668 CPUtime=3.12 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 510 0 0 0 303 9 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9824668 CPUtime=3.15 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 385 0 0 0 304 11 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9824668 CPUtime=3.24 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 697 0 0 0 310 14 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) S 21221 21223 18255 0 -1 4202560 500 0 0 0 324 12 0 0 20 0 22 0 254072170 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287962450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9824668 CPUtime=17.35 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) S 21221 21223 18255 0 -1 4202560 2772 0 0 0 1719 16 0 0 20 0 22 0 254072171 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287950252136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12933 0 0 0 206 3 0 0 20 0 22 0 254072174 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10178 0 0 0 152 3 0 0 20 0 22 0 254072174 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 51 0 0 0 17 25 0 0 20 0 22 0 254072174 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21244] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21244/stat : 21244 (java) S 21221 21223 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254072399 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287939724328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21292] ppid=21221 vsize=9824668 CPUtime=776.18 cores=1,3,5,7
/proc/21223/task/21292/stat : 21292 (java) R 21221 21223 18255 0 -1 4202560 14 0 0 0 77606 12 0 0 20 0 22 0 254080341 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287941827872 140288067243378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21293] ppid=21221 vsize=9824668 CPUtime=776.29 cores=1,3,5,7
/proc/21223/task/21293/stat : 21293 (java) R 21221 21223 18255 0 -1 4202560 79 0 0 0 77618 11 0 0 20 0 22 0 254080341 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287940776480 140288067412748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21294] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21294/stat : 21294 (java) S 21221 21223 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080342 10060460032 869259 33554432000 1073741824 1073778376 140735020747056 140287938671784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1754.07
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.201 s]
/proc/loadavg: 3.13 3.36 3.60 4/218 21430
/proc/meminfo: memFree=25101400/32873844 swapFree=7384/7384
[pid=21223] ppid=21221 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/21223/stat : 21223 (java) S 21221 21223 18255 0 -1 4202496 36170 0 1 0 179783 231 0 0 20 0 22 0 254072167 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140735020738192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21223/statm: 2456167 869260 2287 9 0 2446860 0
[pid=21223/tid=21225] ppid=21221 vsize=9824668 CPUtime=1.92 cores=1,3,5,7
/proc/21223/task/21225/stat : 21225 (java) S 21221 21223 18255 0 -1 4202560 2911 0 1 0 177 15 0 0 20 0 22 0 254072168 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140288126297080 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/21223/task/21226/stat : 21226 (java) S 21221 21223 18255 0 -1 4202560 556 0 0 0 278 13 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140288065026216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21227] ppid=21221 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/21223/task/21227/stat : 21227 (java) S 21221 21223 18255 0 -1 4202560 550 0 0 0 298 11 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140288063973672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21228] ppid=21221 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/21223/task/21228/stat : 21228 (java) S 21221 21223 18255 0 -1 4202560 649 0 0 0 325 15 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140288062921128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21229] ppid=21221 vsize=9824668 CPUtime=3.3 cores=1,3,5,7
/proc/21223/task/21229/stat : 21229 (java) S 21221 21223 18255 0 -1 4202560 487 0 0 0 317 13 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140288061868584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21230] ppid=21221 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/21223/task/21230/stat : 21230 (java) S 21221 21223 18255 0 -1 4202560 510 0 0 0 308 9 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287965608616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21231] ppid=21221 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/21223/task/21231/stat : 21231 (java) S 21221 21223 18255 0 -1 4202560 385 0 0 0 310 11 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287964556072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21232] ppid=21221 vsize=9824668 CPUtime=3.3 cores=1,3,5,7
/proc/21223/task/21232/stat : 21232 (java) S 21221 21223 18255 0 -1 4202560 697 0 0 0 316 14 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287963503528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21233] ppid=21221 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/21223/task/21233/stat : 21233 (java) S 21221 21223 18255 0 -1 4202560 500 0 0 0 330 12 0 0 20 0 22 0 254072170 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287962450984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21234] ppid=21221 vsize=9824668 CPUtime=17.35 cores=1,3,5,7
/proc/21223/task/21234/stat : 21234 (java) S 21221 21223 18255 0 -1 4202560 2775 0 0 0 1719 16 0 0 20 0 22 0 254072171 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287950252136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21235] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21235/stat : 21235 (java) S 21221 21223 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287949198456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21236] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21236/stat : 21236 (java) S 21221 21223 18255 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254072171 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287948145800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21237] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21237/stat : 21237 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287947094544 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21238] ppid=21221 vsize=9824668 CPUtime=2.09 cores=1,3,5,7
/proc/21223/task/21238/stat : 21238 (java) S 21221 21223 18255 0 -1 4202560 12933 0 0 0 206 3 0 0 20 0 22 0 254072174 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287946041912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21239] ppid=21221 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/21223/task/21239/stat : 21239 (java) S 21221 21223 18255 0 -1 4202560 10178 0 0 0 152 3 0 0 20 0 22 0 254072174 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287944989368 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21223/tid=21240] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21240/stat : 21240 (java) S 21221 21223 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254072174 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287943937016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21241] ppid=21221 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21223/task/21241/stat : 21241 (java) S 21221 21223 18255 0 -1 4202560 53 0 0 0 17 26 0 0 20 0 22 0 254072174 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287942884680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21244] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21244/stat : 21244 (java) S 21221 21223 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254072399 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287939724328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21223/tid=21292] ppid=21221 vsize=9824668 CPUtime=798.89 cores=1,3,5,7
/proc/21223/task/21292/stat : 21292 (java) R 21221 21223 18255 0 -1 4202560 14 0 0 0 79876 13 0 0 20 0 22 0 254080341 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287941827872 140288067161256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21223/tid=21293] ppid=21221 vsize=9824668 CPUtime=798.99 cores=1,3,5,7
/proc/21223/task/21293/stat : 21293 (java) R 21221 21223 18255 0 -1 4202560 81 0 0 0 79887 12 0 0 20 0 22 0 254080341 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287940776544 140288067414882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21223/tid=21294] ppid=21221 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21223/task/21294/stat : 21294 (java) S 21221 21223 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254080342 10060460032 869260 33554432000 1073741824 1073778376 140735020747056 140287938671784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668

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 21223 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=579334
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=700589
# CPU time returned by wait4() is 1796.28
# while last known CPU time is 1800.14
#
# 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): 0.0199928
#  lost CPU user time (s): 0.0499954
#  lost CPU system time (s): -0.03

Real time (s): 905.267
CPU time (s): 1800.16
CPU user time (s): 1797.88
CPU system time (s): 2.28
CPU usage (%): 198.854
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 2.70059
maximum resident set size= 3488404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36201
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24795
involuntary context switches= 34032

runsolver used 3.41048 second user time and 8.81366 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-24 19:11:07
IDJOB=3688722
IDBENCH=48230
IDSOLVER=2268
FILE ID=node136/3688722-1337879467
RUNJOBID= node136-1337871880-18272
PBS_JOBID= 14620068
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688722-1337879467/watcher-3688722-1337879467 -o /tmp/evaluation-result-3688722-1337879467/solver-3688722-1337879467 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688722-1337879467.opb

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

MD5SUM BENCH= a5ab0443a6669cc558112b6f5f13d1cd
RANDOM SEED=1655172268

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26255092 kB
Buffers:          282624 kB
Cached:          1905044 kB
SwapCached:        24460 kB
Active:          4234328 kB
Inactive:        1613768 kB
Active(anon):    3634848 kB
Inactive(anon):    25096 kB
Active(file):     599480 kB
Inactive(file):  1588672 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:              2400 kB
Writeback:             0 kB
AnonPages:       3641100 kB
Mapped:            17884 kB
Shmem:                 0 kB
Slab:             626584 kB
SReclaimable:      68400 kB
SUnreclaim:       558184 kB
KernelStack:        1624 kB
PageTables:        11340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4093808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3547136 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= 71712 MiB
End job on node136 at 2012-05-24 19:26:14