Trace number 4118003

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)4790849 1800.12 1653.55

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay80.opb
MD5SUMeacc0a07ec534ab397f86cc9ec15a54b
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4789911
Best CPU time to get the best result obtained on this benchmark646.217
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3161
Total number of constraints164321
Number of constraints which are clauses164320
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 157055
Biggest coefficient in the objective function 6184739
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 61932607
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 6184739
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 61932607
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)153894
Sum of products size (including duplicates)307788
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	16
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4118003-1467217240.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
10.51/4.17	c ... done. Wall clock time 4.046s.
10.51/4.17	c declared #vars     3161
10.97/4.31	c internal #vars     157055
10.97/4.31	c #constraints  472110
10.97/4.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
10.97/4.31	c constraints type 
10.97/4.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 318214
10.97/4.31	c org.sat4j.specs.Constr$1 => 1
10.97/4.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
10.97/4.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 153894
10.97/4.31	c 472110 constraints processed.
10.97/4.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
10.97/4.31	c constraints type 
10.97/4.31	c org.sat4j.specs.Constr$1 => 1
10.97/4.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 318214
10.97/4.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
10.97/4.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 153894
10.97/4.31	c 472110 constraints processed.
10.97/4.31	c objective function length is 157055 literals
11.57/4.57	c And the winner is solver0
11.85/4.70	c SATISFIABLE
11.85/4.70	c OPTIMIZING...
11.85/4.70	c Got one! Elapsed wall clock time (in seconds):4.574
11.85/4.70	o 4791325
13.65/5.60	c And the winner is solver0
23.03/13.87	c Got one! Elapsed wall clock time (in seconds):13.74
23.03/13.87	o 4791267
25.23/15.08	c And the winner is solver0
297.21/286.73	c Got one! Elapsed wall clock time (in seconds):286.598
297.21/286.73	o 4791247
345.88/310.75	c And the winner is solver0
594.89/559.50	c Got one! Elapsed wall clock time (in seconds):559.37
594.89/559.50	o 4791141
595.49/559.98	c And the winner is solver0
595.74/560.25	c Got one! Elapsed wall clock time (in seconds):560.127
595.74/560.25	o 4791087
601.31/562.78	c And the winner is solver0
606.60/567.85	c Got one! Elapsed wall clock time (in seconds):567.719
606.60/567.85	o 4791029
608.49/568.95	c And the winner is solver0
613.64/574.08	c Got one! Elapsed wall clock time (in seconds):573.949
613.64/574.08	o 4791009
658.31/596.06	c And the winner is solver0
843.18/780.76	c Got one! Elapsed wall clock time (in seconds):780.632
843.18/780.76	o 4790989
869.96/793.50	c And the winner is solver0
1065.65/988.85	c Got one! Elapsed wall clock time (in seconds):988.723
1065.65/988.85	o 4790921
1066.62/989.58	c And the winner is solver0
1271.48/1194.14	c Got one! Elapsed wall clock time (in seconds):1194.016
1271.48/1194.14	o 4790885
1275.26/1195.49	c And the winner is solver0
1482.01/1401.86	c Got one! Elapsed wall clock time (in seconds):1401.729
1482.01/1401.86	o 4790865
1531.24/1426.66	c And the winner is solver0
1718.46/1613.73	c Got one! Elapsed wall clock time (in seconds):1613.599
1718.46/1613.73	o 4790849
1800.12/1653.50	c >>>>>>>>>> Solver number 0 (12 answers) <<<<<<<<<<<<<<<<<<
1800.12/1653.50	c starts		: 13
1800.12/1653.50	c conflicts		: 4584
1800.12/1653.50	c decisions		: 29802
1800.12/1653.50	c propagations		: 2193674
1800.12/1653.50	c inspects		: 10072029
1800.12/1653.50	c shortcuts		: 0
1800.12/1653.50	c learnt literals	: 0
1800.12/1653.50	c learnt binary clauses	: 0
1800.12/1653.50	c learnt ternary clauses	: 0
1800.12/1653.50	c learnt constraints	: 4584
1800.12/1653.50	c ignored constraints	: 0
1800.12/1653.50	c root simplifications	: 0
1800.12/1653.50	c removed literals (reason simplification)	: 44473
1800.12/1653.50	c reason swapping (by a shorter reason)	: 0
1800.12/1653.50	c Calls to reduceDB	: 0
1800.12/1653.50	c Number of update (reduction) of LBD	: 10
1800.12/1653.50	c Imported unit clauses	: 0
1800.12/1653.50	c number of reductions to clauses (during analyze)	: 0
1800.12/1653.50	c number of learned constraints concerned by reduction	: 0
1800.12/1653.50	c number of learning phase by resolution	: 0
1800.12/1653.50	c number of learning phase by cutting planes	: 0
1800.12/1653.50	c speed (assignments/second)	: 1330.1152776194551
1800.12/1653.50	c non guided choices	0
1800.12/1653.51	c learnt constraints type 
1800.12/1653.51	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 4584
1800.12/1653.51	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/1653.51	c starts		: 13
1800.12/1653.51	c conflicts		: 12
1800.12/1653.51	c decisions		: 25154
1800.12/1653.51	c propagations		: 2039648
1800.12/1653.51	c inspects		: 9462699
1800.12/1653.51	c shortcuts		: 0
1800.12/1653.51	c learnt literals	: 0
1800.12/1653.51	c learnt binary clauses	: 0
1800.12/1653.51	c learnt ternary clauses	: 0
1800.12/1653.51	c learnt constraints	: 4
1800.12/1653.51	c ignored constraints	: 0
1800.12/1653.51	c root simplifications	: 0
1800.12/1653.51	c removed literals (reason simplification)	: 0
1800.12/1653.51	c reason swapping (by a shorter reason)	: 0
1800.12/1653.51	c Calls to reduceDB	: 0
1800.12/1653.51	c Number of update (reduction) of LBD	: 0
1800.12/1653.51	c Imported unit clauses	: 0
1800.12/1653.51	c number of reductions to clauses (during analyze)	: 0
1800.12/1653.51	c number of learned constraints concerned by reduction	: 0
1800.12/1653.51	c number of learning phase by resolution	: 0
1800.12/1653.51	c number of learning phase by cutting planes	: 0
1800.12/1653.51	c speed (assignments/second)	: 55381.57430285916
1800.12/1653.51	c non guided choices	0
1800.12/1653.51	c learnt constraints type 
1800.12/1653.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4
1800.12/1653.51	s SATISFIABLE
1800.12/1653.51	c Found 12 solution(s)
1800.12/1653.52	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 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 x2081 x2082 x2083 x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 x2461 x2462 x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 x2567 x2568 x2569 x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 x2758 -x2759 x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 x2777 x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 x2785 -x2786 x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 x2795 -x2796 x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 x2837 x2838 x2839 x2840 x2841 x2842 x2843 x2844 x2845 x2846 x2847 x2848 x2849 x2850 x2851 x2852 x2853 x2854 x2855 x2856 x2857 -x2858 x2859 x2860 -x2861 x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 x2870 -x2871 x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 x2879 x2880 -x2881 -x2882 -x2883 -x2884 x2885 x2886 -x2887 x2888 x2889 x2890 x2891 x2892 x2893 -x2894 x2895 x2896 -x2897 -x2898 x2899 x2900 x2901 x2902 x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 x2936 -x2937 x2938 x2939 -x2940 -x2941 x2942 -x2943 x2944 x2945 x2946 -x2947 -x2948 -x2949 -x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 x2958 x2959 -x2960 -x2961 x2962 x2963 x2964 x2965 x2966 x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 x2975 -x2976 x2977 x2978 -x2979 -x2980 x2981 -x2982 x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 x3012 x3013 -x3014 -x3015 x3016 -x3017 x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3024 x3025 x3026 -x3027 x3028 x3029 -x3030 -x3031 x3032 x3033 x3034 x3035 x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 x3043 x3044 -x3045 -x3046 x3047 x3048 x3049 x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 x3099 x3100 x3101 -x3102 -x3103 -x3104 -x3105 x3106 x3107 x3108 x3109 x3110 x3111 x3112 -x3113 x3114 x3115 x3116 x3117 x3118 x3119 x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 x3140 x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 x3159 x3160 x3161 
1800.12/1653.52	c objective function=4790849
1800.12/1653.52	c Total wall clock time (in seconds): 1653.393

Verifier Data 

OK	4790849

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-4118003-1467217240/watcher-4118003-1467217240 -o /tmp/evaluation-result-4118003-1467217240/solver-4118003-1467217240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118003-1467217240.opb 

pid=10068
running on 8 cores: 4-7,12-15

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.06 3.03 3.32 2/283 10071
/proc/meminfo: memFree=25461928/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9212 CPUtime=0 cores=4-7,12-15
/proc/10071/stat : 10071 (java) R 10068 10071 6721 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 2676833 9433088 60 33554432000 1073741824 1073778376 140735171207296 140735171204424 216799473543 0 0 4096 0 0 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2304 69 54 9 0 36 0

[startup+0.100059 s]
/proc/loadavg: 3.06 3.03 3.32 2/283 10071
/proc/meminfo: memFree=25461928/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 4426 0 1 0 7 1 0 0 20 0 23 0 2676833 10133950464 5035 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 5035 2097 9 0 2464786 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9896436

[startup+0.200231 s]
/proc/loadavg: 3.06 3.03 3.32 2/283 10071
/proc/meminfo: memFree=25461928/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=0.21 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 4682 0 1 0 20 1 0 0 20 0 23 0 2676833 10133950464 6792 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 6792 2200 9 0 2464786 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9896436

[startup+0.300246 s]
/proc/loadavg: 3.06 3.03 3.32 2/283 10071
/proc/meminfo: memFree=25461928/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=0.44 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 5689 0 1 0 42 2 0 0 20 0 23 0 2676833 10133950464 8511 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 8511 2230 9 0 2464786 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9896436

[startup+0.700213 s]
/proc/loadavg: 3.06 3.03 3.32 2/283 10071
/proc/meminfo: memFree=25461928/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=1.58 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 27763 0 1 0 152 6 0 0 20 0 23 0 2676833 10133950464 29845 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 29845 2255 9 0 2464786 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9896436

[startup+1.50091 s]
/proc/loadavg: 3.06 3.03 3.32 5/306 10094
/proc/meminfo: memFree=25286160/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=4.37 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 40785 0 1 0 398 39 0 0 20 0 23 0 2676833 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 69959 2268 9 0 2464786 0
[pid=10071/tid=10073] ppid=10068 vsize=9896436 CPUtime=1.37 cores=4-7,12-15
/proc/10071/task/10073/stat : 10073 (java) S 10068 10071 6721 0 -1 4202560 2574 0 1 0 134 3 0 0 20 0 23 0 2676834 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336651820008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10074] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10074/stat : 10074 (java) R 10068 10071 6721 0 -1 4202560 18 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336495884584 140336659316983 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10075] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10075/stat : 10075 (java) R 10068 10071 6721 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336494832088 216808590471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10076] ppid=10068 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/10071/task/10076/stat : 10076 (java) R 10068 10071 6721 0 -1 4202560 33 0 0 0 3 4 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336493779544 216808590471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10077] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10077/stat : 10077 (java) R 10068 10071 6721 0 -1 4202560 17 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336492726952 216808590471 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10078] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10078/stat : 10078 (java) R 10068 10071 6721 0 -1 4202560 16 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336491674456 140336658717830 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10079] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10079/stat : 10079 (java) R 10068 10071 6721 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336490621912 216808590471 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10080] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10080/stat : 10080 (java) R 10068 10071 6721 0 -1 4202560 15 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336489569368 140336658717443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10081] ppid=10068 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/10071/task/10081/stat : 10081 (java) R 10068 10071 6721 0 -1 4202560 30 0 0 0 3 3 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336488516648 216808590471 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10082] ppid=10068 vsize=9896436 CPUtime=0.06 cores=4-7,12-15
/proc/10071/task/10082/stat : 10082 (java) R 10068 10071 6721 0 -1 4202560 30 0 0 0 2 4 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336487463256 216808590471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10083] ppid=10068 vsize=9896436 CPUtime=0.03 cores=4-7,12-15
/proc/10071/task/10083/stat : 10083 (java) R 10068 10071 6721 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336486410712 216808590471 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10084] ppid=10068 vsize=9896436 CPUtime=0.02 cores=4-7,12-15
/proc/10071/task/10084/stat : 10084 (java) R 10068 10071 6721 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336485358168 140336655574016 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10085] ppid=10068 vsize=9896436 CPUtime=0.01 cores=4-7,12-15
/proc/10071/task/10085/stat : 10085 (java) R 10068 10071 6721 0 -1 4202560 12 0 0 0 0 1 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336484305576 140336655574041 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10086] ppid=10068 vsize=9896436 CPUtime=0.01 cores=4-7,12-15
/proc/10071/task/10086/stat : 10086 (java) R 10068 10071 6721 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 23 0 2676835 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336483253032 216808590471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10087] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10087/stat : 10087 (java) S 10068 10071 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336465577608 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10088] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10088/stat : 10088 (java) S 10068 10071 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336464525048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10089] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10089/stat : 10089 (java) S 10068 10071 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336463472392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10090] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10090/stat : 10090 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676839 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336462420112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10091] ppid=10068 vsize=9896436 CPUtime=1.15 cores=4-7,12-15
/proc/10071/task/10091/stat : 10091 (java) S 10068 10071 6721 0 -1 4202560 20932 0 0 0 111 4 0 0 20 0 23 0 2676839 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336461353272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10092] ppid=10068 vsize=9896436 CPUtime=1.17 cores=4-7,12-15
/proc/10071/task/10092/stat : 10092 (java) S 10068 10071 6721 0 -1 4202560 15768 0 0 0 114 3 0 0 20 0 23 0 2676840 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336460301032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10093] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10093/stat : 10093 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676840 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336459262584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10094] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10094/stat : 10094 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676840 10133950464 69959 33554432000 1073741824 1073778376 140735171207296 140336458210248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 9896436

[startup+3.10098 s]
/proc/loadavg: 2.97 3.01 3.32 3/306 10094
/proc/meminfo: memFree=25065668/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=9896436 CPUtime=9.16 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 43465 0 1 0 749 167 0 0 20 0 23 0 2676833 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2474109 160333 2275 9 0 2464786 0
[pid=10071/tid=10073] ppid=10068 vsize=9896436 CPUtime=2.59 cores=4-7,12-15
/proc/10071/task/10073/stat : 10073 (java) S 10068 10071 6721 0 -1 4202560 2629 0 1 0 254 5 0 0 20 0 23 0 2676834 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336651820264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10074] ppid=10068 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/10071/task/10074/stat : 10074 (java) R 10068 10071 6721 0 -1 4202560 97 0 0 0 11 9 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336495884456 140336654292657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10075] ppid=10068 vsize=9896436 CPUtime=0.37 cores=4-7,12-15
/proc/10071/task/10075/stat : 10075 (java) R 10068 10071 6721 0 -1 4202560 223 0 0 0 20 17 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336494831912 140336654292689 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10076] ppid=10068 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/10071/task/10076/stat : 10076 (java) R 10068 10071 6721 0 -1 4202560 110 0 0 0 8 8 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336493779544 140336654292657 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10077] ppid=10068 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/10071/task/10077/stat : 10077 (java) R 10068 10071 6721 0 -1 4202560 70 0 0 0 8 9 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336492727000 140336654292723 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10078] ppid=10068 vsize=9896436 CPUtime=0.3 cores=4-7,12-15
/proc/10071/task/10078/stat : 10078 (java) R 10068 10071 6721 0 -1 4202560 154 0 0 0 17 13 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336491674456 140336655997103 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10079] ppid=10068 vsize=9896436 CPUtime=0.3 cores=4-7,12-15
/proc/10071/task/10079/stat : 10079 (java) R 10068 10071 6721 0 -1 4202560 157 0 0 0 16 14 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336490621760 140336655997103 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10080] ppid=10068 vsize=9896436 CPUtime=0.24 cores=4-7,12-15
/proc/10071/task/10080/stat : 10080 (java) R 10068 10071 6721 0 -1 4202560 89 0 0 0 13 11 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336489569368 140336658717438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10081] ppid=10068 vsize=9896436 CPUtime=0.43 cores=4-7,12-15
/proc/10071/task/10081/stat : 10081 (java) R 10068 10071 6721 0 -1 4202560 184 0 0 0 24 19 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336488516648 140336655983356 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10082] ppid=10068 vsize=9896436 CPUtime=0.31 cores=4-7,12-15
/proc/10071/task/10082/stat : 10082 (java) R 10068 10071 6721 0 -1 4202560 152 0 0 0 16 15 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336487463256 140336654292673 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10083] ppid=10068 vsize=9896436 CPUtime=0.38 cores=4-7,12-15
/proc/10071/task/10083/stat : 10083 (java) R 10068 10071 6721 0 -1 4202560 174 0 0 0 22 16 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336486410416 140336654380950 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10084] ppid=10068 vsize=9896436 CPUtime=0.16 cores=4-7,12-15
/proc/10071/task/10084/stat : 10084 (java) R 10068 10071 6721 0 -1 4202560 120 0 0 0 8 8 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336485358168 140336654292723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10085] ppid=10068 vsize=9896436 CPUtime=0.2 cores=4-7,12-15
/proc/10071/task/10085/stat : 10085 (java) R 10068 10071 6721 0 -1 4202560 83 0 0 0 12 8 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336484305624 140336654292657 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10086] ppid=10068 vsize=9896436 CPUtime=0.21 cores=4-7,12-15
/proc/10071/task/10086/stat : 10086 (java) R 10068 10071 6721 0 -1 4202560 90 0 0 0 12 9 0 0 20 0 23 0 2676835 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336483252904 140336655997103 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10087] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10087/stat : 10087 (java) S 10068 10071 6721 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336465577608 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10088] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10088/stat : 10088 (java) S 10068 10071 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336464525048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10089] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10089/stat : 10089 (java) S 10068 10071 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 23 0 2676837 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336463472392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10090] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10090/stat : 10090 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676839 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336462420112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10091] ppid=10068 vsize=9896436 CPUtime=1.52 cores=4-7,12-15
/proc/10071/task/10091/stat : 10091 (java) S 10068 10071 6721 0 -1 4202560 21895 0 0 0 148 4 0 0 20 0 23 0 2676839 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336461367480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10092] ppid=10068 vsize=9896436 CPUtime=1.37 cores=4-7,12-15
/proc/10071/task/10092/stat : 10092 (java) S 10068 10071 6721 0 -1 4202560 15794 0 0 0 134 3 0 0 20 0 23 0 2676840 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336460314936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10093] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10093/stat : 10093 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676840 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336459262584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10094] ppid=10068 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10094/stat : 10094 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2676840 10133950464 160333 33554432000 1073741824 1073778376 140735171207296 140336458210248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 9896436

[startup+6.30115 s]
/proc/loadavg: 2.97 3.01 3.32 4/310 10101
/proc/meminfo: memFree=24611116/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=10162692 CPUtime=14.56 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 44026 0 1 0 1280 176 0 0 20 0 25 0 2676833 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2540673 216787 2292 9 0 2531350 0
[pid=10071/tid=10073] ppid=10068 vsize=10162692 CPUtime=3.27 cores=4-7,12-15
/proc/10071/task/10073/stat : 10073 (java) S 10068 10071 6721 0 -1 4202560 2679 0 1 0 322 5 0 0 20 0 25 0 2676834 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336651821944 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10074] ppid=10068 vsize=10162692 CPUtime=0.25 cores=4-7,12-15
/proc/10071/task/10074/stat : 10074 (java) S 10068 10071 6721 0 -1 4202560 102 0 0 0 15 10 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336495884456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10075] ppid=10068 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/10071/task/10075/stat : 10075 (java) S 10068 10071 6721 0 -1 4202560 227 0 0 0 25 17 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336494831912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10076] ppid=10068 vsize=10162692 CPUtime=0.18 cores=4-7,12-15
/proc/10071/task/10076/stat : 10076 (java) S 10068 10071 6721 0 -1 4202560 111 0 0 0 10 8 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336493779368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10077] ppid=10068 vsize=10162692 CPUtime=0.19 cores=4-7,12-15
/proc/10071/task/10077/stat : 10077 (java) S 10068 10071 6721 0 -1 4202560 73 0 0 0 10 9 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336492726824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10078] ppid=10068 vsize=10162692 CPUtime=0.32 cores=4-7,12-15
/proc/10071/task/10078/stat : 10078 (java) S 10068 10071 6721 0 -1 4202560 158 0 0 0 19 13 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336491674280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10079] ppid=10068 vsize=10162692 CPUtime=0.33 cores=4-7,12-15
/proc/10071/task/10079/stat : 10079 (java) S 10068 10071 6721 0 -1 4202560 159 0 0 0 19 14 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336490621736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10080] ppid=10068 vsize=10162692 CPUtime=0.26 cores=4-7,12-15
/proc/10071/task/10080/stat : 10080 (java) S 10068 10071 6721 0 -1 4202560 93 0 0 0 15 11 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336489569192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10081] ppid=10068 vsize=10162692 CPUtime=0.48 cores=4-7,12-15
/proc/10071/task/10081/stat : 10081 (java) S 10068 10071 6721 0 -1 4202560 190 0 0 0 29 19 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336488516648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10082] ppid=10068 vsize=10162692 CPUtime=0.34 cores=4-7,12-15
/proc/10071/task/10082/stat : 10082 (java) S 10068 10071 6721 0 -1 4202560 164 0 0 0 19 15 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336487463080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10083] ppid=10068 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/10071/task/10083/stat : 10083 (java) S 10068 10071 6721 0 -1 4202560 175 0 0 0 23 16 0 0 20 0 25 0 2676835 10406596608 216787 33554432000 1073741824 1073778376 140735171207296 140336486410536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10084] ppid=10068 vsize=10162692 CPUtime=0.19 cores=4-7,12-15

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

/proc/10071/task/10094/stat : 10094 (java) S 10068 10071 6721 0 -1 4202560 93 0 0 0 33 49 0 0 20 0 24 0 2676840 10406596608 641825 33554432000 1073741824 1073778376 140735171207296 140336458210248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10097] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10097/stat : 10097 (java) S 10068 10071 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2677260 10406596608 641825 33554432000 1073741824 1073778376 140735171207296 140336454952616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1715.26
Current children cumulated vsize (KiB) 10162692
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1653.5 s]
/proc/loadavg: 3.64 3.20 2.91 5/311 10351
/proc/meminfo: memFree=23598000/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=10162692 CPUtime=1796.92 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 91227 0 1 0 178356 1336 0 0 20 0 27 0 2676833 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2540673 891661 2297 9 0 2531350 0
[pid=10071/tid=10073] ppid=10068 vsize=10162692 CPUtime=7.11 cores=4-7,12-15
/proc/10071/task/10073/stat : 10073 (java) S 10068 10071 6721 0 -1 4202560 2727 0 1 0 661 50 0 0 20 0 27 0 2676834 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336651821960 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10074] ppid=10068 vsize=10162692 CPUtime=1.73 cores=4-7,12-15
/proc/10071/task/10074/stat : 10074 (java) S 10068 10071 6721 0 -1 4202560 3490 0 0 0 84 89 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336495884456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10075] ppid=10068 vsize=10162692 CPUtime=1.88 cores=4-7,12-15
/proc/10071/task/10075/stat : 10075 (java) S 10068 10071 6721 0 -1 4202560 1669 0 0 0 91 97 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336494831912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10076] ppid=10068 vsize=10162692 CPUtime=1.89 cores=4-7,12-15
/proc/10071/task/10076/stat : 10076 (java) S 10068 10071 6721 0 -1 4202560 1415 0 0 0 90 99 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336493779368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10077] ppid=10068 vsize=10162692 CPUtime=1.44 cores=4-7,12-15
/proc/10071/task/10077/stat : 10077 (java) S 10068 10071 6721 0 -1 4202560 3477 0 0 0 72 72 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336492726824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10078] ppid=10068 vsize=10162692 CPUtime=1.92 cores=4-7,12-15
/proc/10071/task/10078/stat : 10078 (java) S 10068 10071 6721 0 -1 4202560 1767 0 0 0 94 98 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336491674280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10079] ppid=10068 vsize=10162692 CPUtime=1.81 cores=4-7,12-15
/proc/10071/task/10079/stat : 10079 (java) S 10068 10071 6721 0 -1 4202560 2306 0 0 0 84 97 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336490621736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10080] ppid=10068 vsize=10162692 CPUtime=1.79 cores=4-7,12-15
/proc/10071/task/10080/stat : 10080 (java) S 10068 10071 6721 0 -1 4202560 1371 0 0 0 89 90 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336489569192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10081] ppid=10068 vsize=10162692 CPUtime=1.86 cores=4-7,12-15
/proc/10071/task/10081/stat : 10081 (java) S 10068 10071 6721 0 -1 4202560 3064 0 0 0 96 90 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336488516648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10082] ppid=10068 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/10071/task/10082/stat : 10082 (java) S 10068 10071 6721 0 -1 4202560 2801 0 0 0 68 71 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336487463080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10083] ppid=10068 vsize=10162692 CPUtime=1.8 cores=4-7,12-15
/proc/10071/task/10083/stat : 10083 (java) S 10068 10071 6721 0 -1 4202560 2973 0 0 0 88 92 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336486410536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10084] ppid=10068 vsize=10162692 CPUtime=1.9 cores=4-7,12-15
/proc/10071/task/10084/stat : 10084 (java) S 10068 10071 6721 0 -1 4202560 1803 0 0 0 81 109 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336485357992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10085] ppid=10068 vsize=10162692 CPUtime=1.69 cores=4-7,12-15
/proc/10071/task/10085/stat : 10085 (java) S 10068 10071 6721 0 -1 4202560 2027 0 0 0 85 84 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336484305448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10086] ppid=10068 vsize=10162692 CPUtime=1.48 cores=4-7,12-15
/proc/10071/task/10086/stat : 10086 (java) S 10068 10071 6721 0 -1 4202560 3101 0 0 0 75 73 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336483252904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10087] ppid=10068 vsize=10162692 CPUtime=5.41 cores=4-7,12-15
/proc/10071/task/10087/stat : 10087 (java) S 10068 10071 6721 0 -1 4202560 17137 0 0 0 530 11 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336465578728 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10088] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10088/stat : 10088 (java) S 10068 10071 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336464525080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10089] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10089/stat : 10089 (java) S 10068 10071 6721 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336463472424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10090] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10090/stat : 10090 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2676839 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336462420112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10091] ppid=10068 vsize=10162692 CPUtime=2.43 cores=4-7,12-15
/proc/10071/task/10091/stat : 10091 (java) S 10068 10071 6721 0 -1 4202560 21935 0 0 0 238 5 0 0 20 0 27 0 2676839 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336461367480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10092] ppid=10068 vsize=10162692 CPUtime=2.17 cores=4-7,12-15
/proc/10071/task/10092/stat : 10092 (java) S 10068 10071 6721 0 -1 4202560 15829 0 0 0 214 3 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336460314936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10093] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10093/stat : 10093 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336459262584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10094] ppid=10068 vsize=10162692 CPUtime=0.84 cores=4-7,12-15
/proc/10071/task/10094/stat : 10094 (java) S 10068 10071 6721 0 -1 4202560 95 0 0 0 34 50 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336458210248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10097] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10097/stat : 10097 (java) S 10068 10071 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2677260 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336454952616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10348] ppid=10068 vsize=10162692 CPUtime=36.72 cores=4-7,12-15
/proc/10071/task/10348/stat : 10348 (java) R 10068 10071 6721 0 -1 4202560 5 0 0 0 3672 0 0 0 20 0 27 0 2838499 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336457056616 140336524972102 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10349] ppid=10068 vsize=10162692 CPUtime=36.73 cores=4-7,12-15
/proc/10071/task/10349/stat : 10349 (java) R 10068 10071 6721 0 -1 4202560 3 0 0 0 3673 0 0 0 20 0 27 0 2838499 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140334902270224 140336525956971 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10350] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10350/stat : 10350 (java) S 10068 10071 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2838501 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336456004936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 10162692

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 10071 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1653.5 s]
/proc/loadavg: 3.64 3.20 2.91 5/311 10351
/proc/meminfo: memFree=23598000/32872528 swapFree=8828/8828
[pid=10071] ppid=10068 vsize=10162692 CPUtime=1796.92 cores=4-7,12-15
/proc/10071/stat : 10071 (java) S 10068 10071 6721 0 -1 4202496 91227 0 1 0 178356 1336 0 0 20 0 27 0 2676833 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140735171198432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10071/statm: 2540673 891661 2297 9 0 2531350 0
[pid=10071/tid=10073] ppid=10068 vsize=10162692 CPUtime=7.11 cores=4-7,12-15
/proc/10071/task/10073/stat : 10073 (java) S 10068 10071 6721 0 -1 4202560 2727 0 1 0 661 50 0 0 20 0 27 0 2676834 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336651821960 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10074] ppid=10068 vsize=10162692 CPUtime=1.73 cores=4-7,12-15
/proc/10071/task/10074/stat : 10074 (java) S 10068 10071 6721 0 -1 4202560 3490 0 0 0 84 89 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336495884456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10075] ppid=10068 vsize=10162692 CPUtime=1.88 cores=4-7,12-15
/proc/10071/task/10075/stat : 10075 (java) S 10068 10071 6721 0 -1 4202560 1669 0 0 0 91 97 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336494831912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10076] ppid=10068 vsize=10162692 CPUtime=1.89 cores=4-7,12-15
/proc/10071/task/10076/stat : 10076 (java) S 10068 10071 6721 0 -1 4202560 1415 0 0 0 90 99 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336493779368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10077] ppid=10068 vsize=10162692 CPUtime=1.44 cores=4-7,12-15
/proc/10071/task/10077/stat : 10077 (java) S 10068 10071 6721 0 -1 4202560 3477 0 0 0 72 72 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336492726824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10078] ppid=10068 vsize=10162692 CPUtime=1.92 cores=4-7,12-15
/proc/10071/task/10078/stat : 10078 (java) S 10068 10071 6721 0 -1 4202560 1767 0 0 0 94 98 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336491674280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10079] ppid=10068 vsize=10162692 CPUtime=1.81 cores=4-7,12-15
/proc/10071/task/10079/stat : 10079 (java) S 10068 10071 6721 0 -1 4202560 2306 0 0 0 84 97 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336490621736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10080] ppid=10068 vsize=10162692 CPUtime=1.79 cores=4-7,12-15
/proc/10071/task/10080/stat : 10080 (java) S 10068 10071 6721 0 -1 4202560 1371 0 0 0 89 90 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336489569192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10071/tid=10081] ppid=10068 vsize=10162692 CPUtime=1.86 cores=4-7,12-15
/proc/10071/task/10081/stat : 10081 (java) S 10068 10071 6721 0 -1 4202560 3064 0 0 0 96 90 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336488516648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10082] ppid=10068 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/10071/task/10082/stat : 10082 (java) S 10068 10071 6721 0 -1 4202560 2801 0 0 0 68 71 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336487463080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10083] ppid=10068 vsize=10162692 CPUtime=1.8 cores=4-7,12-15
/proc/10071/task/10083/stat : 10083 (java) S 10068 10071 6721 0 -1 4202560 2973 0 0 0 88 92 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336486410536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10071/tid=10084] ppid=10068 vsize=10162692 CPUtime=1.9 cores=4-7,12-15
/proc/10071/task/10084/stat : 10084 (java) S 10068 10071 6721 0 -1 4202560 1803 0 0 0 81 109 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336485357992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10085] ppid=10068 vsize=10162692 CPUtime=1.69 cores=4-7,12-15
/proc/10071/task/10085/stat : 10085 (java) S 10068 10071 6721 0 -1 4202560 2027 0 0 0 85 84 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336484305448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=10071/tid=10086] ppid=10068 vsize=10162692 CPUtime=1.48 cores=4-7,12-15
/proc/10071/task/10086/stat : 10086 (java) S 10068 10071 6721 0 -1 4202560 3101 0 0 0 75 73 0 0 20 0 27 0 2676835 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336483252904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10087] ppid=10068 vsize=10162692 CPUtime=5.41 cores=4-7,12-15
/proc/10071/task/10087/stat : 10087 (java) S 10068 10071 6721 0 -1 4202560 17137 0 0 0 530 11 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336465578728 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10088] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10088/stat : 10088 (java) S 10068 10071 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336464525080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10071/tid=10089] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10089/stat : 10089 (java) S 10068 10071 6721 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 27 0 2676837 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336463472424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10090] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10090/stat : 10090 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2676839 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336462420112 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10091] ppid=10068 vsize=10162692 CPUtime=2.43 cores=4-7,12-15
/proc/10071/task/10091/stat : 10091 (java) S 10068 10071 6721 0 -1 4202560 21935 0 0 0 238 5 0 0 20 0 27 0 2676839 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336461367480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10092] ppid=10068 vsize=10162692 CPUtime=2.17 cores=4-7,12-15
/proc/10071/task/10092/stat : 10092 (java) S 10068 10071 6721 0 -1 4202560 15829 0 0 0 214 3 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336460314936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10093] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10093/stat : 10093 (java) S 10068 10071 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336459262584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10094] ppid=10068 vsize=10162692 CPUtime=0.84 cores=4-7,12-15
/proc/10071/task/10094/stat : 10094 (java) S 10068 10071 6721 0 -1 4202560 95 0 0 0 34 50 0 0 20 0 27 0 2676840 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336458210248 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10071/tid=10097] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10097/stat : 10097 (java) S 10068 10071 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2677260 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336454952616 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=10071/tid=10348] ppid=10068 vsize=10162692 CPUtime=36.72 cores=4-7,12-15
/proc/10071/task/10348/stat : 10348 (java) R 10068 10071 6721 0 -1 4202560 5 0 0 0 3672 0 0 0 20 0 27 0 2838499 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336457056616 140336524972102 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=10071/tid=10349] ppid=10068 vsize=10162692 CPUtime=36.73 cores=4-7,12-15
/proc/10071/task/10349/stat : 10349 (java) R 10068 10071 6721 0 -1 4202560 3 0 0 0 3673 0 0 0 20 0 27 0 2838499 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140334902270224 140336525956971 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=10071/tid=10350] ppid=10068 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/10071/task/10350/stat : 10350 (java) S 10068 10071 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2838501 10406596608 891661 33554432000 1073741824 1073778376 140735171207296 140336456004936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 10162692

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10071 and gives
#  childrusage.ru_utime.tv_sec=1783
#  childrusage.ru_utime.tv_usec=280900
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=519944
# CPU time returned by wait4() is 1796.8
# while last known CPU time is 1796.92
#
# 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): 3.20016
#  lost CPU user time (s): 3.49002
#  lost CPU system time (s): -0.29

Real time (s): 1653.55
CPU time (s): 1800.12
CPU user time (s): 1787.05
CPU system time (s): 13.07
CPU usage (%): 108.864
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.28
system time used= 13.5199
maximum resident set size= 3566756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91263
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69090
involuntary context switches= 6317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0419 second user time and 18.8251 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-29 18:20:40
IDJOB=4118003
IDBENCH=111426
IDSOLVER=2543
FILE ID=node132/4118003-1467217240
RUNJOBID= node132-1467209088-6738
PBS_JOBID= 19997577
Free space on /tmp= 71528 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-faclay80.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118003-1467217240/watcher-4118003-1467217240 -o /tmp/evaluation-result-4118003-1467217240/solver-4118003-1467217240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118003-1467217240.opb

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

MD5SUM BENCH= eacc0a07ec534ab397f86cc9ec15a54b
RANDOM SEED=645600134

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25462356 kB
Buffers:           98572 kB
Cached:          3850716 kB
SwapCached:            0 kB
Active:          2778408 kB
Inactive:        3838280 kB
Active(anon):    2669808 kB
Inactive(anon):        0 kB
Active(file):     108600 kB
Inactive(file):  3838280 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8332 kB
Writeback:             0 kB
AnonPages:       2667416 kB
Mapped:            22060 kB
Shmem:               216 kB
Slab:             631432 kB
SReclaimable:      72156 kB
SUnreclaim:       559276 kB
KernelStack:        2432 kB
PageTables:         9356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3477676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2555904 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= 71528 MiB
End job on node132 at 2016-06-29 18:48:14