Trace number 4091847

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16Wrong Cert. 1800.16 906.34

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-24reduc_wcsp.wbo
MD5SUMe44e20f2150f9b61d01ff52511cd8892
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1275
Total number of constraints56482
Number of soft constraints56401
Number of constraints which are clauses56401
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Top cost 3389
Min constraint cost 1
Max constraint cost 2434
Sum of constraints costs 18368517
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4091847-1466103669.wbo
0.10/0.11	c reading problem ... 
1.51/0.76	c ... done. Wall clock time 0.654s.
1.51/0.76	c declared #vars     1275
1.51/0.76	c internal #vars     57676
1.51/0.76	c #constraints  56563
1.51/0.77	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.51/0.77	c constraints type 
1.51/0.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 56104
1.51/0.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 81
1.51/0.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 378
1.51/0.77	c 56563 constraints processed.
1.51/0.77	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.51/0.77	c constraints type 
1.51/0.77	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 378
1.51/0.77	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 56104
1.51/0.77	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 81
1.51/0.77	c 56563 constraints processed.
1.51/0.77	c objective function length is 56401 literals
3.15/1.29	c And the winner is solver0
3.60/1.78	c SATISFIABLE
3.60/1.78	c OPTIMIZING...
3.60/1.78	c Got one! Elapsed wall clock time (in seconds):1.675
3.60/1.78	o 15960
34.12/16.79	c cleaning 2665 clauses out of 5335 with flag 16223/5335
111.06/55.17	c cleaning 4321 clauses out of 8669 with flag 86935/11334
225.56/112.33	c cleaning 5674 clauses out of 11348 with flag 187349/18334
375.81/187.34	c cleaning 6837 clauses out of 13674 with flag 306348/26334
495.03/246.95	c cleaning 7912 clauses out of 15837 with flag 399098/35334
663.62/331.27	c cleaning 8957 clauses out of 17927 with flag 520957/45336
839.59/419.26	c cleaning 9983 clauses out of 19970 with flag 647900/56336
1005.15/502.08	c And the winner is solver0
1018.94/515.69	c Got one! Elapsed wall clock time (in seconds):515.582
1018.94/515.69	o 15959
1059.71/536.18	c cleaning 12254 clauses out of 24514 with flag 21842/70863
1105.91/559.23	c cleaning 9114 clauses out of 18259 with flag 48629/76862
1145.30/578.94	c cleaning 8048 clauses out of 16146 with flag 75386/83863
1191.89/602.20	c cleaning 8021 clauses out of 16097 with flag 107714/91862
1255.88/634.21	c cleaning 8517 clauses out of 17076 with flag 158828/100862
1321.88/667.28	c cleaning 9264 clauses out of 18560 with flag 207909/110863
1396.67/704.62	c cleaning 10132 clauses out of 20295 with flag 270424/121862
1477.46/745.04	c cleaning 11066 clauses out of 22163 with flag 342564/133862
1562.45/787.60	c cleaning 12038 clauses out of 24098 with flag 399544/146863
1660.18/836.39	c cleaning 13014 clauses out of 26061 with flag 499047/160864
1749.57/881.05	c cleaning 14009 clauses out of 28045 with flag 611714/175862
1800.16/906.30	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.16/906.30	c starts		: 315
1800.16/906.30	c conflicts		: 184191
1800.16/906.30	c decisions		: 1135870
1800.16/906.30	c propagations		: 1527826004
1800.16/906.30	c inspects		: 249485370
1800.16/906.30	c shortcuts		: 0
1800.16/906.30	c learnt literals	: 0
1800.16/906.30	c learnt binary clauses	: 0
1800.16/906.30	c learnt ternary clauses	: 0
1800.16/906.30	c learnt constraints	: 184191
1800.16/906.30	c ignored constraints	: 0
1800.16/906.30	c root simplifications	: 0
1800.16/906.30	c removed literals (reason simplification)	: 1465552
1800.16/906.30	c reason swapping (by a shorter reason)	: 0
1800.16/906.30	c Calls to reduceDB	: 18
1800.16/906.30	c Number of update (reduction) of LBD	: 67415
1800.16/906.30	c Imported unit clauses	: 0
1800.16/906.30	c number of reductions to clauses (during analyze)	: 0
1800.16/906.30	c number of learned constraints concerned by reduction	: 0
1800.16/906.30	c number of learning phase by resolution	: 0
1800.16/906.30	c number of learning phase by cutting planes	: 0
1800.16/906.30	c speed (assignments/second)	: 1687326.7371564505
1800.16/906.30	c non guided choices	1215
1800.16/906.31	c learnt constraints type 
1800.16/906.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22366
1800.16/906.31	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.16/906.31	c starts		: 6
1800.16/906.31	c conflicts		: 417
1800.16/906.31	c decisions		: 334176
1800.16/906.31	c propagations		: 557736
1800.16/906.31	c inspects		: 210275
1800.16/906.31	c shortcuts		: 0
1800.16/906.31	c learnt literals	: 0
1800.16/906.31	c learnt binary clauses	: 0
1800.16/906.31	c learnt ternary clauses	: 0
1800.16/906.31	c learnt constraints	: 414
1800.16/906.31	c ignored constraints	: 0
1800.16/906.31	c root simplifications	: 0
1800.16/906.31	c removed literals (reason simplification)	: 0
1800.16/906.31	c reason swapping (by a shorter reason)	: 0
1800.16/906.31	c Calls to reduceDB	: 0
1800.16/906.31	c Number of update (reduction) of LBD	: 0
1800.16/906.31	c Imported unit clauses	: 0
1800.16/906.31	c number of reductions to clauses (during analyze)	: 0
1800.16/906.31	c number of learned constraints concerned by reduction	: 0
1800.16/906.31	c number of learning phase by resolution	: 0
1800.16/906.31	c number of learning phase by cutting planes	: 0
1800.16/906.31	c speed (assignments/second)	: 1428.1953712761
1800.16/906.31	c non guided choices	2004
1800.16/906.31	c learnt constraints type 
1800.16/906.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 375
1800.16/906.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1800.16/906.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 36
1800.16/906.31	s SATISFIABLE
1800.16/906.31	c Found 2 solution(s)
1800.16/906.32	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 
1800.16/906.32	c objective function=15959
1800.16/906.32	c Total wall clock time (in seconds): 906.212

Verifier Data 

FAILED
ERROR: cost exceeds topCost

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4091847-1466103669/watcher-4091847-1466103669 -o /tmp/evaluation-result-4091847-1466103669/solver-4091847-1466103669 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466098249-20398 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091847-1466103669.wbo 

pid=21611
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.22 4.21 4.18 4/194 21614
/proc/meminfo: memFree=30293292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 12415235 98570240 977 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 24065 977 743 9 0 16771 0
[pid=21614/tid=21615] ppid=21611 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) R 21611 21614 20382 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 12415236 98570240 977 33554432000 1073741824 1073778376 140737196854400 140309552963112 226084341120 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 4.22 4.21 4.18 4/194 21614
/proc/meminfo: memFree=30293292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 4468 0 1 0 9 1 0 0 20 0 18 0 12415235 9787879424 6097 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2389619 6097 2148 9 0 2380296 0
[pid=21614/tid=21615] ppid=21611 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) R 21611 21614 20382 0 -1 4202560 2387 0 1 0 6 1 0 0 20 0 18 0 12415236 9787879424 6098 33554432000 1073741824 1073778376 140737196854400 140309552966512 140309417752101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200264 s]
/proc/loadavg: 4.22 4.21 4.18 4/194 21614
/proc/meminfo: memFree=30293292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 5099 0 1 0 26 1 0 0 20 0 18 0 12415235 9787879424 7665 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2389619 7665 2221 9 0 2380296 0
[pid=21614/tid=21615] ppid=21611 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) R 21611 21614 20382 0 -1 4202560 2400 0 1 0 16 1 0 0 20 0 18 0 12415236 9787879424 7665 33554432000 1073741824 1073778376 140737196854400 140309552966512 140309417802188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300264 s]
/proc/loadavg: 4.22 4.21 4.18 4/194 21614
/proc/meminfo: memFree=30293292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 5901 0 1 0 48 1 0 0 20 0 18 0 12415235 9787879424 9761 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2389619 9761 2233 9 0 2380296 0
[pid=21614/tid=21615] ppid=21611 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) R 21611 21614 20382 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 18 0 12415236 9787879424 9761 33554432000 1073741824 1073778376 140737196854400 140309552966512 140309417802572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700341 s]
/proc/loadavg: 4.22 4.21 4.18 4/194 21614
/proc/meminfo: memFree=30293292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9558476 CPUtime=1.51 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 13225 0 1 0 143 8 0 0 20 0 18 0 12415235 9787879424 50225 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2389619 50225 2265 9 0 2380296 0
[pid=21614/tid=21615] ppid=21611 vsize=9558476 CPUtime=0.63 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) R 21611 21614 20382 0 -1 4202560 2464 0 1 0 60 3 0 0 20 0 18 0 12415236 9787879424 50225 33554432000 1073741824 1073778376 140737196854400 140309552967352 140309418143235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9558476

[startup+1.50089 s]
/proc/loadavg: 4.22 4.21 4.18 13/220 21640
/proc/meminfo: memFree=29897052/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9824732 CPUtime=3.6 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 14318 0 1 0 348 12 0 0 20 0 19 0 12415235 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2456183 59995 2283 9 0 2446860 0
[pid=21614/tid=21615] ppid=21611 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) S 21611 21614 20382 0 -1 4202560 2477 0 1 0 67 3 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309552968568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21617] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21617/stat : 21617 (java) S 21611 21614 20382 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309542029608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21618] ppid=21611 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21614/task/21618/stat : 21618 (java) S 21611 21614 20382 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309540976808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21619] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21619/stat : 21619 (java) S 21611 21614 20382 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309539924520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21620] ppid=21611 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21614/task/21620/stat : 21620 (java) S 21611 21614 20382 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309538871720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21621] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21621/stat : 21621 (java) S 21611 21614 20382 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309537819432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21622] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21622/stat : 21622 (java) S 21611 21614 20382 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309536766632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21623] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21623/stat : 21623 (java) S 21611 21614 20382 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309390113832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 19 0 12415236 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 12415238 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12415238 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21627/stat : 21627 (java) S 21611 21614 20382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12415238 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309374756104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21628] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21628/stat : 21628 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415240 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309373704592 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21629] ppid=21611 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/21614/task/21629/stat : 21629 (java) S 21611 21614 20382 0 -1 4202560 4750 0 0 0 78 0 0 0 20 0 19 0 12415240 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309372652216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21630] ppid=21611 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/21614/task/21630/stat : 21630 (java) S 21611 21614 20382 0 -1 4202560 5185 0 0 0 79 0 0 0 20 0 19 0 12415240 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309371599416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21631] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21631/stat : 21631 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415240 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309370547320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21632] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21632/stat : 21632 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415240 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309369494728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21640] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21640/stat : 21640 (java) S 21611 21614 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415319 10060525568 59995 33554432000 1073741824 1073778376 140737196854400 140309365281832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.22 4.21 4.18 7/220 21646
/proc/meminfo: memFree=29762584/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9824732 CPUtime=6.95 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 20852 0 1 0 681 14 0 0 20 0 22 0 12415235 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2456183 76346 2284 9 0 2446860 0
[pid=21614/tid=21615] ppid=21611 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) S 21611 21614 20382 0 -1 4202560 2482 0 1 0 94 3 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309552968568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21617] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21617/stat : 21617 (java) S 21611 21614 20382 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309542029608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21618] ppid=21611 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21614/task/21618/stat : 21618 (java) S 21611 21614 20382 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309540976808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21619] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21619/stat : 21619 (java) S 21611 21614 20382 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309539924520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21620] ppid=21611 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21614/task/21620/stat : 21620 (java) S 21611 21614 20382 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309538871720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21621] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21621/stat : 21621 (java) S 21611 21614 20382 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309537819432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21622] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21622/stat : 21622 (java) S 21611 21614 20382 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309536766632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21623] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21623/stat : 21623 (java) S 21611 21614 20382 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309390113832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 22 0 12415236 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21627/stat : 21627 (java) S 21611 21614 20382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309374756104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21628] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21628/stat : 21628 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309373704592 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21629] ppid=21611 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/21614/task/21629/stat : 21629 (java) S 21611 21614 20382 0 -1 4202560 8543 0 0 0 124 1 0 0 20 0 22 0 12415240 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309372652216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21630] ppid=21611 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/21614/task/21630/stat : 21630 (java) S 21611 21614 20382 0 -1 4202560 7885 0 0 0 128 0 0 0 20 0 22 0 12415240 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309371599416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21631] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21631/stat : 21631 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309370547320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21632] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21632/stat : 21632 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309369494728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21640] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21640/stat : 21640 (java) S 21611 21614 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12415319 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309365281832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21644] ppid=21611 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/21614/task/21644/stat : 21644 (java) R 21611 21614 20382 0 -1 4202560 3 0 0 0 104 0 0 0 20 0 22 0 12415440 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309367387096 140309418524944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21645] ppid=21611 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/21614/task/21645/stat : 21645 (java) R 21611 21614 20382 0 -1 4202560 31 0 0 0 103 0 0 0 20 0 22 0 12415440 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309368438984 140309418704643 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21646] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21646/stat : 21646 (java) S 21611 21614 20382 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12415440 10060525568 76346 33554432000 1073741824 1073778376 140737196854400 140309366335144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.20 4.21 4.18 5/220 21646
/proc/meminfo: memFree=29734292/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9824732 CPUtime=13.33 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 20855 0 1 0 1319 14 0 0 20 0 22 0 12415235 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2456183 74245 2284 9 0 2446860 0
[pid=21614/tid=21615] ppid=21611 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) S 21611 21614 20382 0 -1 4202560 2482 0 1 0 94 3 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309552968568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21617] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21617/stat : 21617 (java) S 21611 21614 20382 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309542029608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21618] ppid=21611 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/21614/task/21618/stat : 21618 (java) S 21611 21614 20382 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309540976808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21619] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21619/stat : 21619 (java) S 21611 21614 20382 0 -1 4202560 57 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309539924520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21620] ppid=21611 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/21614/task/21620/stat : 21620 (java) S 21611 21614 20382 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309538871720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21621] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21621/stat : 21621 (java) S 21611 21614 20382 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309537819432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21622] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21622/stat : 21622 (java) S 21611 21614 20382 0 -1 4202560 37 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309536766632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21623] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21623/stat : 21623 (java) S 21611 21614 20382 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309390113832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 22 0 12415236 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 74245 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 369 0 0 0 12 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 532 0 0 0 0 2 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21627/stat : 21627 (java) S 21611 21614 20382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309374756104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21628] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21628/stat : 21628 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309373704592 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21629] ppid=21611 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/21614/task/21629/stat : 21629 (java) S 21611 21614 20382 0 -1 4202560 8554 0 0 0 148 2 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309372652216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21630] ppid=21611 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/21614/task/21630/stat : 21630 (java) S 21611 21614 20382 0 -1 4202560 7895 0 0 0 162 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309371599416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21631] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21631/stat : 21631 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309370547320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21632] ppid=21611 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/21614/task/21632/stat : 21632 (java) S 21611 21614 20382 0 -1 4202560 51 0 0 0 10 15 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309369494728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21640] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21640/stat : 21640 (java) S 21611 21614 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12415319 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309365281832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21660] ppid=21611 vsize=9824732 CPUtime=365.47 cores=0,2,4,6
/proc/21614/task/21660/stat : 21660 (java) R 21611 21614 20382 0 -1 4202560 3 0 0 0 36542 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309368430992 140309418695981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21661] ppid=21611 vsize=9824732 CPUtime=365.35 cores=0,2,4,6
/proc/21614/task/21661/stat : 21661 (java) R 21611 21614 20382 0 -1 4202560 5 0 0 0 36530 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309367384944 140309418976091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21662] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21662/stat : 21662 (java) S 21611 21614 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12466815 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309366334248 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1750
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.301 s]
/proc/loadavg: 4.27 4.24 4.19 6/219 21673
/proc/meminfo: memFree=28646172/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9824732 CPUtime=1797.98 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 22427 0 1 0 179712 86 0 0 20 0 22 0 12415235 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2456183 209230 2290 9 0 2446860 0
[pid=21614/tid=21615] ppid=21611 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) S 21611 21614 20382 0 -1 4202560 2488 0 1 0 106 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309552968568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21617] ppid=21611 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/21614/task/21617/stat : 21617 (java) S 21611 21614 20382 0 -1 4202560 106 0 0 0 16 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309542029608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21618] ppid=21611 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/21614/task/21618/stat : 21618 (java) S 21611 21614 20382 0 -1 4202560 106 0 0 0 17 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309540976808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21619] ppid=21611 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/21614/task/21619/stat : 21619 (java) S 21611 21614 20382 0 -1 4202560 119 0 0 0 9 4 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309539924520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21620] ppid=21611 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/21614/task/21620/stat : 21620 (java) S 21611 21614 20382 0 -1 4202560 237 0 0 0 19 6 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309538871720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21621] ppid=21611 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/21614/task/21621/stat : 21621 (java) S 21611 21614 20382 0 -1 4202560 69 0 0 0 9 3 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309537819432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21622] ppid=21611 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/21614/task/21622/stat : 21622 (java) S 21611 21614 20382 0 -1 4202560 142 0 0 0 16 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309536766632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21623] ppid=21611 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/21614/task/21623/stat : 21623 (java) S 21611 21614 20382 0 -1 4202560 77 0 0 0 12 3 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309390113832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 369 0 0 0 12 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 532 0 0 0 0 2 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21627/stat : 21627 (java) S 21611 21614 20382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309374756104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21628] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21628/stat : 21628 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309373704592 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21629] ppid=21611 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/21614/task/21629/stat : 21629 (java) S 21611 21614 20382 0 -1 4202560 8554 0 0 0 148 2 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309372652216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21630] ppid=21611 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/21614/task/21630/stat : 21630 (java) S 21611 21614 20382 0 -1 4202560 7895 0 0 0 162 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309371599416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21631] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21631/stat : 21631 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309370547320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21632] ppid=21611 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/21614/task/21632/stat : 21632 (java) S 21611 21614 20382 0 -1 4202560 53 0 0 0 11 15 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309369494728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21640] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21640/stat : 21640 (java) S 21611 21614 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12415319 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309365281832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21660] ppid=21611 vsize=9824732 CPUtime=389.41 cores=0,2,4,6
/proc/21614/task/21660/stat : 21660 (java) R 21611 21614 20382 0 -1 4202560 3 0 0 0 38936 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309368430992 140309418591795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21661] ppid=21611 vsize=9824732 CPUtime=389.27 cores=0,2,4,6
/proc/21614/task/21661/stat : 21661 (java) R 21611 21614 20382 0 -1 4202560 5 0 0 0 38922 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309367384944 140309418191114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21662] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21662/stat : 21662 (java) S 21611 21614 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12466815 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309366334248 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21614 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+906.301 s]
/proc/loadavg: 4.27 4.24 4.19 6/219 21673
/proc/meminfo: memFree=28646172/32872528 swapFree=1589776/1720592
[pid=21614] ppid=21611 vsize=9824732 CPUtime=1797.98 cores=0,2,4,6
/proc/21614/stat : 21614 (java) S 21611 21614 20382 0 -1 4202496 22427 0 1 0 179712 86 0 0 20 0 22 0 12415235 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140737196845536 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21614/statm: 2456183 209230 2290 9 0 2446860 0
[pid=21614/tid=21615] ppid=21611 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/21614/task/21615/stat : 21615 (java) S 21611 21614 20382 0 -1 4202560 2488 0 1 0 106 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309552968568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21617] ppid=21611 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/21614/task/21617/stat : 21617 (java) S 21611 21614 20382 0 -1 4202560 106 0 0 0 16 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309542029608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21618] ppid=21611 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/21614/task/21618/stat : 21618 (java) S 21611 21614 20382 0 -1 4202560 106 0 0 0 17 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309540976808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21619] ppid=21611 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/21614/task/21619/stat : 21619 (java) S 21611 21614 20382 0 -1 4202560 119 0 0 0 9 4 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309539924520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21620] ppid=21611 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/21614/task/21620/stat : 21620 (java) S 21611 21614 20382 0 -1 4202560 237 0 0 0 19 6 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309538871720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21621] ppid=21611 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/21614/task/21621/stat : 21621 (java) S 21611 21614 20382 0 -1 4202560 69 0 0 0 9 3 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309537819432 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21622] ppid=21611 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/21614/task/21622/stat : 21622 (java) S 21611 21614 20382 0 -1 4202560 142 0 0 0 16 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309536766632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21623] ppid=21611 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/21614/task/21623/stat : 21623 (java) S 21611 21614 20382 0 -1 4202560 77 0 0 0 12 3 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309390113832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21624] ppid=21611 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/21614/task/21624/stat : 21624 (java) S 21611 21614 20382 0 -1 4202560 369 0 0 0 12 5 0 0 20 0 22 0 12415236 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309389061032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21625] ppid=21611 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/21614/task/21625/stat : 21625 (java) S 21611 21614 20382 0 -1 4202560 532 0 0 0 0 2 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309376862440 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21626] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21626/stat : 21626 (java) S 21611 21614 20382 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309375808504 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21627] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21627/stat : 21627 (java) S 21611 21614 20382 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12415238 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309374756104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21628] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21628/stat : 21628 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309373704592 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21614/tid=21629] ppid=21611 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/21614/task/21629/stat : 21629 (java) S 21611 21614 20382 0 -1 4202560 8554 0 0 0 148 2 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309372652216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21630] ppid=21611 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/21614/task/21630/stat : 21630 (java) S 21611 21614 20382 0 -1 4202560 7895 0 0 0 162 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309371599416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21631] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21631/stat : 21631 (java) S 21611 21614 20382 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309370547320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21632] ppid=21611 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/21614/task/21632/stat : 21632 (java) S 21611 21614 20382 0 -1 4202560 53 0 0 0 11 15 0 0 20 0 22 0 12415240 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309369494728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21640] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21640/stat : 21640 (java) S 21611 21614 20382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 12415319 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309365281832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21614/tid=21660] ppid=21611 vsize=9824732 CPUtime=389.41 cores=0,2,4,6
/proc/21614/task/21660/stat : 21660 (java) R 21611 21614 20382 0 -1 4202560 3 0 0 0 38936 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309368430992 140309418591795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21614/tid=21661] ppid=21611 vsize=9824732 CPUtime=389.27 cores=0,2,4,6
/proc/21614/task/21661/stat : 21661 (java) R 21611 21614 20382 0 -1 4202560 5 0 0 0 38922 5 0 0 20 0 22 0 12466814 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309367384944 140309418191114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21614/tid=21662] ppid=21611 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21614/task/21662/stat : 21662 (java) S 21611 21614 20382 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12466815 10060525568 209230 33554432000 1073741824 1073778376 140737196854400 140309366334248 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21614 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=159094
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=90834
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1797.98
#
# 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): 2.17999
#  lost CPU user time (s): 2.32001
#  lost CPU system time (s): -0.14

Real time (s): 906.34
CPU time (s): 1800.16
CPU user time (s): 1799.44
CPU system time (s): 0.72
CPU usage (%): 198.619
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 1.09083
maximum resident set size= 837032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22466
page faults= 1
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21832
involuntary context switches= 23036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35803 second user time and 8.29374 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-16 21:01:09
IDJOB=4091847
IDBENCH=79564
IDSOLVER=2552
FILE ID=node120/4091847-1466103669
RUNJOBID= node120-1466098249-20398
PBS_JOBID= 19904065
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-24reduc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091847-1466103669/watcher-4091847-1466103669 -o /tmp/evaluation-result-4091847-1466103669/solver-4091847-1466103669 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466098249-20398 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091847-1466103669.wbo

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

MD5SUM BENCH= e44e20f2150f9b61d01ff52511cd8892
RANDOM SEED=2029900822

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30296232 kB
Buffers:           42028 kB
Cached:            92100 kB
SwapCached:         1968 kB
Active:            73144 kB
Inactive:          78272 kB
Active(anon):      17024 kB
Inactive(anon):     2100 kB
Active(file):      56120 kB
Inactive(file):    76172 kB
Unevictable:     1720592 kB
Mlocked:         1589776 kB
SwapTotal:      67108856 kB
SwapFree:       67099204 kB
Dirty:              4844 kB
Writeback:             0 kB
AnonPages:       1730660 kB
Mapped:            14548 kB
Shmem:                 0 kB
Slab:             568956 kB
SReclaimable:      12756 kB
SUnreclaim:       556200 kB
KernelStack:        1448 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2406780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node120 at 2016-06-16 21:16:16