Trace number 3692722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedSAT 1292.62 1292.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
MD5SUM285f81376739daaaae61d54cc606f233
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.873866
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1600
Total number of constraints328901
Number of constraints which are clauses327070
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints1770
Minimum length of a constraint2
Maximum length of a constraint700
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 789
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692722-1338020257.opb>
0.79/0.80	c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints
0.79/0.80	c problem read in 0.80
1.69/1.73	c presolving:
4.99/5.00	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 370200 upgd conss, 1400 impls, 60 clqs
5.89/5.93	c (round 2) 0 del vars, 31849 del conss, 700 add conss, 0 chg bounds, 700 chg sides, 3233 chg coeffs, 370200 upgd conss, 21702 impls, 60 clqs
6.70/6.79	c (round 3) 0 del vars, 42000 del conss, 700 add conss, 0 chg bounds, 700 chg sides, 3355 chg coeffs, 370200 upgd conss, 23442 impls, 60 clqs
7.39/7.47	c    (7.5s) probing: 51/1600 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
7.39/7.47	c    (7.5s) probing aborted: 50/50 successive totally useless probings
7.89/7.98	c presolving (4 rounds):
7.89/7.98	c  0 deleted vars, 42000 deleted constraints, 700 added constraints, 0 tightened bounds, 0 added holes, 700 changed sides, 3503 changed coefficients
7.89/7.98	c  23442 implications, 60 cliques
7.89/7.98	c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 287601 constraints
7.89/7.98	c    1770 constraints of type <knapsack>
7.89/7.98	c     760 constraints of type <setppc>
7.89/7.98	c       1 constraints of type <linear>
7.89/7.98	c  285070 constraints of type <logicor>
7.89/7.98	c transformed objective value is always integral (scale: 1)
7.89/7.98	c Presolving Time: 6.96
7.89/7.98	c - non default parameters ----------------------------------------------------------------------
7.89/7.98	c # SCIP version 2.1.1.4
7.89/7.98	c 
7.89/7.98	c # maximal time in seconds to run
7.89/7.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.89/7.98	c limits/time = 1797
7.89/7.98	c 
7.89/7.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.89/7.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.89/7.98	c limits/memory = 13950
7.89/7.98	c 
7.89/7.98	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.89/7.98	c # [type: int, range: [1,2], default: 1]
7.89/7.98	c timing/clocktype = 2
7.89/7.98	c 
7.89/7.98	c # belongs reading time to solving time?
7.89/7.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.89/7.98	c timing/reading = TRUE
7.89/7.98	c 
7.89/7.98	c -----------------------------------------------------------------------------------------------
7.89/7.98	c start solving
7.89/7.98	c 
14.39/14.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.39/14.43	c  14.4s|     1 |     0 |  1027 |     - | 401M|   0 |  91 |1600 | 287k|1600 | 287k|   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
71.28/71.30	c  71.3s|     1 |     0 |  9427 |     - | 408M|   0 | 110 |1600 | 287k|1600 | 287k|  19 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
84.98/85.06	c  85.1s|     1 |     0 |  9613 |     - | 409M|   0 | 129 |1600 | 287k|1600 | 287k|  37 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
116.27/116.33	c   116s|     1 |     0 | 10532 |     - | 409M|   0 | 169 |1600 | 287k|1600 | 287k|  53 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
230.35/230.49	c   230s|     1 |     0 | 11961 |     - | 409M|   0 | 181 |1600 | 287k|1600 | 287k|  65 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
250.35/250.49	c   250s|     1 |     0 | 12926 |     - | 409M|   0 | 190 |1600 | 287k|1600 | 287k|  83 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
270.85/270.97	c   271s|     1 |     0 | 13926 |     - | 409M|   0 | 142 |1600 | 287k|1600 | 287k| 100 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
312.34/312.46	c   312s|     1 |     2 | 13926 |     - | 409M|   0 | 142 |1600 | 287k|1600 | 287k| 100 |  15 |  19 | 0.000000e+00 |      --      |    Inf 
1264.99/1265.29	c  1265s|   100 |    55 | 24694 | 108.8 | 416M|  59 |   - |1600 | 287k|   0 |   0 | 100 | 175 | 549 | 0.000000e+00 |      --      |    Inf 
1291.89/1292.10	c R1292s|   184 |     0 | 26128 |  66.7 | 412M|  59 |   - |1600 | 287k|1600 | 287k| 100 | 425 | 562 | 0.000000e+00 | 0.000000e+00 |   0.00%
1291.89/1292.15	c 
1291.89/1292.15	c SCIP Status        : problem is solved [optimal solution found]
1291.89/1292.15	c Solving Time (sec) : 1292.14
1291.89/1292.15	c Solving Nodes      : 184
1291.89/1292.15	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
1291.89/1292.15	c Dual Bound         : +0.00000000000000e+00
1291.89/1292.15	c Gap                : 0.00 %
1291.99/1292.24	s SATISFIABLE
1291.99/1292.24	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 
1291.99/1292.24	v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 
1291.99/1292.24	v -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 
1291.99/1292.24	v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816 
1291.99/1292.24	v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 
1291.99/1292.24	v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 
1291.99/1292.24	v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 
1291.99/1292.24	v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 
1291.99/1292.24	v -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 
1291.99/1292.24	v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 
1291.99/1292.24	v -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 
1291.99/1292.24	v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
1291.99/1292.24	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
1291.99/1292.24	v -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 
1291.99/1292.24	v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 
1291.99/1292.24	v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 
1291.99/1292.24	v -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
1291.99/1292.24	v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 
1291.99/1292.24	v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
1291.99/1292.24	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
1291.99/1292.24	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 
1291.99/1292.24	v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 
1291.99/1292.24	v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 
1291.99/1292.24	v -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 
1291.99/1292.24	v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 
1291.99/1292.24	v -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 
1291.99/1292.24	v -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 
1291.99/1292.24	v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
1291.99/1292.24	v x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 
1291.99/1292.24	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 
1291.99/1292.24	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 
1291.99/1292.24	v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1291.99/1292.24	v -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1291.99/1292.24	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1291.99/1292.24	v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1291.99/1292.24	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1291.99/1292.24	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1291.99/1292.24	v -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 
1291.99/1292.24	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1291.99/1292.24	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 
1291.99/1292.24	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x1600 
1291.99/1292.24	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
1291.99/1292.24	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 
1291.99/1292.24	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 
1291.99/1292.24	v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 
1291.99/1292.24	v -x1527 x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 
1291.99/1292.24	v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
1291.99/1292.24	v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 
1291.99/1292.24	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
1291.99/1292.24	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
1291.99/1292.24	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
1291.99/1292.24	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
1291.99/1292.24	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
1291.99/1292.24	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
1291.99/1292.24	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
1291.99/1292.24	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
1291.99/1292.24	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
1291.99/1292.24	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
1291.99/1292.24	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
1291.99/1292.24	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 
1291.99/1292.24	v -x1259 x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1291.99/1292.24	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
1291.99/1292.24	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
1291.99/1292.24	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
1291.99/1292.24	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
1291.99/1292.24	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
1291.99/1292.24	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
1291.99/1292.24	v -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 
1291.99/1292.24	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
1291.99/1292.24	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 
1291.99/1292.24	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
1291.99/1292.24	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
1291.99/1292.24	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 
1291.99/1292.24	v -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 
1291.99/1292.24	v -x1007 -x1006 -x1005 x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 
1291.99/1292.24	v x988 -x987 -x986 -x985 x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 
1291.99/1292.24	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 
1291.99/1292.24	v -x23 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x14 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x7 -x929 x928 -x927 
1291.99/1292.24	v x1 -x926 -x30 -x925 -x29 x924 -x28 -x923 -x27 -x922 -x26 -x921 -x25 -x920 -x24 -x919 -x22 x918 -x21 x917 -x20 -x916 -x19 -x915 
1291.99/1292.24	v -x18 -x914 -x17 -x913 -x16 -x912 -x15 -x911 -x13 -x910 -x12 -x909 -x11 -x908 -x10 -x907 -x9 -x906 -x8 -x905 -x6 -x904 -x5 
1291.99/1292.24	v -x903 -x4 -x902 -x3 -x901 -x2 
1291.99/1292.24	c SCIP Status        : problem is solved [optimal solution found]
1291.99/1292.24	c Total Time         :    1292.14
1291.99/1292.24	c   solving          :    1292.14
1291.99/1292.24	c   presolving       :       6.96 (included in solving)
1291.99/1292.24	c   reading          :       0.80 (included in solving)
1291.99/1292.24	c   copying          :       0.40 (1 #copies) (minimal 0.40, maximal 0.40, average 0.40)
1291.99/1292.24	c Original Problem   :
1291.99/1292.24	c   Problem name     : HOME/instance-3692722-1338020257.opb
1291.99/1292.24	c   Variables        : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1291.99/1292.24	c   Constraints      : 328901 initial, 328901 maximal
1291.99/1292.24	c   Objective sense  : minimize
1291.99/1292.24	c Presolved Problem  :
1291.99/1292.24	c   Problem name     : t_HOME/instance-3692722-1338020257.opb
1291.99/1292.24	c   Variables        : 1600 (1600 binary, 0 integer, 0 implicit integer, 0 continuous)
1291.99/1292.24	c   Constraints      : 287601 initial, 288001 maximal
1291.99/1292.24	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1291.99/1292.24	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   gateextraction   :       0.08       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   components       :       0.10       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   probing          :       0.25       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   knapsack         :       0.25       0.00          0          0          0          0          0          0        700        700       3503
1291.99/1292.24	c   setppc           :       0.18       0.00          0          0          0          0          0      42000          0          0          0
1291.99/1292.24	c   linear           :       2.17       0.00          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   logicor          :       2.43       0.40          0          0          0          0          0          0          0          0          0
1291.99/1292.24	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1291.99/1292.24	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1291.99/1292.24	c   integral         :          0          0          0          0        139          0          7          0          1          5          0          0        272
1291.99/1292.24	c   knapsack         :       1770       1770          6       1361          0          0          4        621          1       1155        221          0          0
1291.99/1292.24	c   setppc           :        760        760          6       1360          0          0          3       2279         48       1690          0          0          0
1291.99/1292.24	c   linear           :          1          1          6       1312          0          0          1          0          0          0          0          0          0
1291.99/1292.24	c   logicor          :     285070+    285470          6        557          0          0          1       1757         36        944          1          0          0
1291.99/1292.24	c   countsols        :          0          0          0          0          0          0          3          0          0          0          0          0          0
1291.99/1292.24	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1291.99/1292.24	c   integral         :     893.14       0.00       0.00       0.00     893.14       0.00       0.00       0.00
1291.99/1292.24	c   knapsack         :       0.12       0.00       0.03       0.08       0.00       0.00       0.00       0.00
1291.99/1292.24	c   setppc           :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00
1291.99/1292.24	c   linear           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1291.99/1292.24	c   logicor          :       1.10       0.40       0.07       0.61       0.00       0.00       0.01       0.00
1291.99/1292.24	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1291.99/1292.24	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1291.99/1292.24	c   rootredcost      :          0          0          0          0
1291.99/1292.24	c   pseudoobj        :          0          0          0          0
1291.99/1292.24	c   vbounds          :          0          0          0          0
1291.99/1292.24	c   redcost          :        146          0          0          0
1291.99/1292.24	c   probing          :          0          0          0          0
1291.99/1292.24	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1291.99/1292.24	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1291.99/1292.24	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1291.99/1292.24	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1291.99/1292.24	c   redcost          :       0.00       0.00       0.00       0.00       0.00
1291.99/1292.24	c   probing          :       0.25       0.00       0.25       0.00       0.00
1291.99/1292.24	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1291.99/1292.24	c   propagation      :       0.02         85         85        878       42.1         66       29.9          -
1291.99/1292.24	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1291.99/1292.24	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1291.99/1292.24	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1291.99/1292.24	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1291.99/1292.24	c   applied globally :          -          -          -        425       32.3          -          -          -
1291.99/1292.24	c   applied locally  :          -          -          -          0        0.0          -          -          -
1291.99/1292.24	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1291.99/1292.24	c   cut pool         :       0.00                     5          -          -         45          -    (maximal pool size: 388)
1291.99/1292.24	c   closecuts        :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   impliedbounds    :       0.00       0.00          6          0          0          0          0
1291.99/1292.24	c   intobj           :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   gomory           :       4.95       0.00          6          0          0        300          0
1291.99/1292.24	c   cgmip            :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   strongcg         :     120.69       0.00          6          0          0       3000          0
1291.99/1292.24	c   cmir             :       6.66       0.00          6          0          0         60          0
1291.99/1292.24	c   flowcover        :      50.31       0.00          6          0          0         85          0
1291.99/1292.24	c   clique           :       0.02       0.00          6          0          0          0          0
1291.99/1292.24	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   mcf              :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1291.99/1292.24	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1291.99/1292.24	c   problem variables:       0.00          -          0          0
1291.99/1292.24	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1291.99/1292.24	c   relpscost        :     893.14       0.00        139          1          5          0          0        272
1291.99/1292.24	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   inference        :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c   random           :       0.00       0.00          0          0          0          0          0          0
1291.99/1292.24	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1291.99/1292.24	c   LP solutions     :       0.00          -          -          0
1291.99/1292.24	c   pseudo solutions :       0.00          -          -          0
1291.99/1292.24	c   oneopt           :       0.00       0.00          0          0
1291.99/1292.24	c   crossover        :       0.00       0.00          0          0
1291.99/1292.24	c   veclendiving     :       0.00       0.00          0          0
1291.99/1292.24	c   objpscostdiving  :       0.00       0.00          0          0
1291.99/1292.24	c   rootsoldiving    :       0.00       0.00          0          0
1291.99/1292.24	c   linesearchdiving :       0.00       0.00          0          0
1291.99/1292.24	c   guideddiving     :       0.00       0.00          0          0
1291.99/1292.24	c   intshifting      :       0.00       0.00          0          0
1291.99/1292.24	c   coefdiving       :      31.44       0.00          1          0
1291.99/1292.24	c   pscostdiving     :       4.09       0.00          1          0
1291.99/1292.24	c   fracdiving       :       6.31       0.00          1          0
1291.99/1292.24	c   smallcard        :       0.00       0.00          0          0
1291.99/1292.24	c   trivial          :       0.07       0.00          2          0
1291.99/1292.24	c   shiftandpropagate:       0.58       0.00          1          0
1291.99/1292.24	c   simplerounding   :       0.00       0.00          0          0
1291.99/1292.24	c   zirounding       :       0.31       0.00          0          0
1291.99/1292.24	c   rounding         :       1.33       0.00        121          1
1291.99/1292.24	c   shifting         :       0.46       0.00         20          0
1291.99/1292.24	c   twoopt           :       0.00       0.00          0          0
1291.99/1292.24	c   indoneopt        :       0.00       0.00          0          0
1291.99/1292.24	c   indtwoopt        :       0.00       0.00          0          0
1291.99/1292.24	c   fixandinfer      :       0.00       0.00          0          0
1291.99/1292.24	c   feaspump         :      42.73       0.00          1          0
1291.99/1292.24	c   clique           :       0.00       0.00          0          0
1291.99/1292.24	c   indcoefdiving    :       0.00       0.00          0          0
1291.99/1292.24	c   indrounding      :       0.00       0.00          0          0
1291.99/1292.24	c   nlpdiving        :       0.00       0.00          0          0
1291.99/1292.24	c   intdiving        :       0.00       0.00          0          0
1291.99/1292.24	c   actconsdiving    :       0.00       0.00          0          0
1291.99/1292.24	c   octane           :       0.00       0.00          0          0
1291.99/1292.24	c   rens             :       1.30       0.00          1          0
1291.99/1292.24	c   rins             :       0.00       0.00          0          0
1291.99/1292.24	c   localbranching   :       0.00       0.00          0          0
1291.99/1292.24	c   mutation         :       0.00       0.00          0          0
1291.99/1292.24	c   dins             :       0.00       0.00          0          0
1291.99/1292.24	c   vbounds          :       0.00       0.00          0          0
1291.99/1292.24	c   undercover       :       0.00       0.00          0          0
1291.99/1292.24	c   subnlp           :       0.00       0.00          0          0
1291.99/1292.24	c   trysol           :       0.00       0.00          0          0
1291.99/1292.24	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1291.99/1292.24	c   primal LP        :       0.11          1          0       0.00       0.00       0.11          1
1291.99/1292.24	c   dual LP          :     114.15        147      17259     118.21     151.20       0.07          1
1291.99/1292.24	c   lex dual LP      :       0.00          0          0       0.00          -
1291.99/1292.24	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1291.99/1292.24	c   diving/probing LP:      72.48        500       8869      17.74     122.37
1291.99/1292.24	c   strong branching :     892.94        562     118247     210.40     132.42
1291.99/1292.24	c     (at root node) :          -         19       5499     289.42          -
1291.99/1292.24	c   conflict analysis:       0.00          0          0       0.00          -
1291.99/1292.24	c B&B Tree           :
1291.99/1292.24	c   number of runs   :          1
1291.99/1292.24	c   nodes            :        184
1291.99/1292.24	c   nodes (total)    :        184
1291.99/1292.24	c   nodes left       :          0
1291.99/1292.24	c   max depth        :         59
1291.99/1292.24	c   max depth (total):         59
1291.99/1292.24	c   backtracks       :         18 (9.8%)
1291.99/1292.24	c   delayed cutoffs  :         20
1291.99/1292.24	c   repropagations   :        302 (218 domain reductions, 14 cutoffs)
1291.99/1292.24	c   avg switch length:       6.01
1291.99/1292.24	c   switching time   :       0.79
1291.99/1292.24	c Solution           :
1291.99/1292.24	c   Solutions found  :          1 (1 improvements)
1291.99/1292.24	c   First Solution   : +0.00000000000000e+00   (in run 1, after 184 nodes, 1292.07 seconds, depth 45, found by <rounding>)
1291.99/1292.24	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 184 nodes, 1292.07 seconds, depth 45, found by <rounding>)
1291.99/1292.24	c   Dual Bound       : +0.00000000000000e+00
1291.99/1292.24	c   Gap              :       0.00 %
1291.99/1292.24	c   Root Dual Bound  : +0.00000000000000e+00
1291.99/1292.24	c   Root Iterations  :      13926
1292.59/1292.82	c Time complete: 1292.6.

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692722-1338020257/watcher-3692722-1338020257 -o /tmp/evaluation-result-3692722-1338020257/solver-3692722-1338020257 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692722-1338020257.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 605
/proc/meminfo: memFree=27966984/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=9688 CPUtime=0 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 1185 0 0 0 0 0 0 0 20 0 1 0 268150488 9920512 1139 33554432000 4194304 10169799 140737144644368 140737144510360 8219398 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 2457 1143 409 1459 0 989 0

[startup+0.10614 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 605
/proc/meminfo: memFree=27966984/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=24588 CPUtime=0.09 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 4903 0 0 0 9 0 0 0 20 0 1 0 268150488 25178112 4857 33554432000 4194304 10169799 140737144644368 140737144510360 5282281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 6147 4857 409 1459 0 4679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24588

[startup+0.200314 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 605
/proc/meminfo: memFree=27966984/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=36412 CPUtime=0.19 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 7843 0 0 0 18 1 0 0 20 0 1 0 268150488 37285888 7797 33554432000 4194304 10169799 140737144644368 140737144510360 5477139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 9103 7797 409 1459 0 7635 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36412

[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 605
/proc/meminfo: memFree=27966984/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=49340 CPUtime=0.29 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 11078 0 0 0 28 1 0 0 20 0 1 0 268150488 50524160 11032 33554432000 4194304 10169799 140737144644368 140737144510360 5477139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 12335 11032 409 1459 0 10867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49340

[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 605
/proc/meminfo: memFree=27966984/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=97996 CPUtime=0.69 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 23181 0 0 0 66 3 0 0 20 0 1 0 268150488 100347904 23135 33554432000 4194304 10169799 140737144644368 140737144510360 5282283 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 24499 23135 409 1459 0 23031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97996

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27704228/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=454460 CPUtime=1.49 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 113990 0 0 0 133 16 0 0 20 0 1 0 268150488 465367040 111180 33554432000 4194304 10169799 140737144644368 140737144510696 7547196 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 113615 111180 497 1459 0 112147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 454460

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27564968/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=423028 CPUtime=3.09 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 126877 0 0 0 219 90 0 0 20 0 1 0 268150488 433180672 103765 33554432000 4194304 10169799 140737144644368 140737144642520 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 105757 103765 554 1459 0 104289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 423028

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27459600/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=516172 CPUtime=6.29 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 159612 0 0 0 408 221 0 0 20 0 1 0 268150488 528560128 127110 33554432000 4194304 10169799 140737144644368 140737144641576 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 129043 127110 581 1459 0 127575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 516172

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27064412/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=947800 CPUtime=12.69 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 212527 0 0 0 990 279 0 0 20 0 1 0 268150488 970547200 225213 33554432000 4194304 10169799 140737144644368 140737144638776 8060922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 236950 225213 765 1459 0 235482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 947800

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27062420/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=932892 CPUtime=25.48 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 214267 0 0 0 2267 281 0 0 20 0 1 0 268150488 955281408 225733 33554432000 4194304 10169799 140737144644368 140737144636680 8009285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 233223 225733 780 1459 0 231755 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 932892

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27059504/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=932892 CPUtime=51.09 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 214603 0 0 0 4824 285 0 0 20 0 1 0 268150488 955281408 226580 33554432000 4194304 10169799 140737144644368 140737144636680 8009797 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 233223 226580 780 1459 0 231755 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 932892

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 606
/proc/meminfo: memFree=27048028/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=933596 CPUtime=102.28 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 216958 0 0 0 9936 292 0 0 20 0 1 0 268150488 956002304 228655 33554432000 4194304 10169799 140737144644368 140737144640680 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 233399 228655 808 1459 0 231931 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 933596

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 609
/proc/meminfo: memFree=27043892/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=939720 CPUtime=162.27 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 217130 0 0 0 15925 302 0 0 20 0 1 0 268150488 962273280 229424 33554432000 4194304 10169799 140737144644368 140737144640440 8844116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 234930 229424 810 1459 0 233462 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 939720

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 610
/proc/meminfo: memFree=27043184/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=939720 CPUtime=222.26 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 217133 0 0 0 21916 310 0 0 20 0 1 0 268150488 962273280 229424 33554432000 4194304 10169799 140737144644368 140737144640680 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 234930 229424 810 1459 0 233462 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 939720

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 610
/proc/meminfo: memFree=26994120/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=282.24 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290823 0 0 0 27896 328 0 0 20 0 1 0 268150488 999096320 241600 33554432000 4194304 10169799 140737144644368 140737144638968 7978016 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 241600 850 1459 0 242452 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 975680

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 610
/proc/meminfo: memFree=26992744/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=342.23 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290825 0 0 0 33889 334 0 0 20 0 1 0 268150488 999096320 241903 33554432000 4194304 10169799 140737144644368 140737144639352 7591849 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 241903 851 1459 0 242452 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 975680

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 610
/proc/meminfo: memFree=26989948/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=402.22 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290826 0 0 0 39884 338 0 0 20 0 1 0 268150488 999096320 242206 33554432000 4194304 10169799 140737144644368 140737144638968 8009856 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 242206 851 1459 0 242452 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 975680

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 611
/proc/meminfo: memFree=26989416/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=462.21 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290829 0 0 0 45876 345 0 0 20 0 1 0 268150488 999096320 242264 33554432000 4194304 10169799 140737144644368 140737144638968 8009856 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 242264 851 1459 0 242452 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 975680

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 612
/proc/meminfo: memFree=26987016/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=522.2 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 51871 349 0 0 20 0 1 0 268150488 999096320 242807 33554432000 4194304 10169799 140737144644368 140737144638968 7703296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 242807 851 1459 0 242452 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 975680

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 612
/proc/meminfo: memFree=26986000/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=582.2 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 57865 355 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639016 8013983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 975680

[startup+642.3 s]

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

/proc/meminfo: memFree=26985928/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=642.18 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 63857 361 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 8009605 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 975680

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 612
/proc/meminfo: memFree=26985548/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=702.17 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 69850 367 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 8009277 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 975680

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 615
/proc/meminfo: memFree=26985292/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=762.17 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 75845 372 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 975680

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 616
/proc/meminfo: memFree=26985300/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=822.16 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 81838 378 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 7659050 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 975680

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 616
/proc/meminfo: memFree=26983440/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=882.15 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 87833 382 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 8009811 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 975680

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 616
/proc/meminfo: memFree=26983440/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=942.14 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 93826 388 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639352 8004328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 975680

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 616
/proc/meminfo: memFree=26983440/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1002.13 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 99821 392 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639160 8030209 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 975680

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 616
/proc/meminfo: memFree=26982076/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1062.12 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 105815 397 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 7647218 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 975680

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26981952/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1122.11 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 111809 402 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638968 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 975680

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26982200/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1182.1 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 117804 406 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638776 8004379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 975680

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26981952/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1242.09 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 123799 410 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638648 7703301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 975680

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

[startup+1254.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26981208/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1254.19 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 125008 411 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638600 8844137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1254.19
Current children cumulated vsize (KiB) 975680

[startup+1280 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1279.78 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 127566 412 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638776 7720176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1279.78
Current children cumulated vsize (KiB) 975680

[startup+1286.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1286.19 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 128206 413 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144638168 5120223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1286.19
Current children cumulated vsize (KiB) 975680

[startup+1289.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1289.39 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 128525 414 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639352 7908985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1289.39
Current children cumulated vsize (KiB) 975680

[startup+1291.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1290.99 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 128685 414 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639352 7884892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1290.99
Current children cumulated vsize (KiB) 975680

[startup+1292 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1291.79 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290833 0 0 0 128765 414 0 0 20 0 1 0 268150488 999096320 243064 33554432000 4194304 10169799 140737144644368 140737144639144 8009306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243064 851 1459 0 242452 0
Current children cumulated CPU time (s) 1291.79
Current children cumulated vsize (KiB) 975680

[startup+1292.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=975680 CPUtime=1292.19 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290836 0 0 0 128805 414 0 0 20 0 1 0 268150488 999096320 243067 33554432000 4194304 10169799 140737144644368 140737144639144 7547431 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 243920 243067 854 1459 0 242452 0
Current children cumulated CPU time (s) 1292.19
Current children cumulated vsize (KiB) 975680

[startup+1292.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26981828/32873844 swapFree=7608/7608
[pid=605] ppid=603 vsize=794140 CPUtime=1292.59 cores=0,2,4,6
/proc/605/stat : 605 (scip-2.1.1.4sfi) R 603 605 30878 0 -1 4202496 290836 0 0 0 128844 415 0 0 20 0 1 0 268150488 813199360 197705 33554432000 4194304 10169799 140737144644368 140737144639144 4632942 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/605/statm: 198535 197705 854 1459 0 197067 0
Current children cumulated CPU time (s) 1292.59
Current children cumulated vsize (KiB) 794140

Child status: 0
Real time (s): 1292.82
CPU time (s): 1292.62
CPU user time (s): 1288.46
CPU system time (s): 4.16037
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1249296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1288.46
system time used= 4.16037
maximum resident set size= 1237252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 1369

runsolver used 1.81472 second user time and 5.43017 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-26 10:17:37
IDJOB=3692722
IDBENCH=1374
IDSOLVER=2272
FILE ID=node135/3692722-1338020257
RUNJOBID= node135-1338017247-31465
PBS_JOBID= 14624262
Free space on /tmp= 71488 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692722-1338020257/watcher-3692722-1338020257 -o /tmp/evaluation-result-3692722-1338020257/solver-3692722-1338020257 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692722-1338020257.opb -t 1800 -m 15500

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

MD5SUM BENCH= 285f81376739daaaae61d54cc606f233
RANDOM SEED=912335069

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27967628 kB
Buffers:          241396 kB
Cached:          3688208 kB
SwapCached:            0 kB
Active:          1116864 kB
Inactive:        3012052 kB
Active(anon):     201940 kB
Inactive(anon):        0 kB
Active(file):     914924 kB
Inactive(file):  3012052 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24644 kB
Writeback:             0 kB
AnonPages:        209052 kB
Mapped:            17836 kB
Shmem:               212 kB
Slab:             637404 kB
SReclaimable:      79696 kB
SUnreclaim:       557708 kB
KernelStack:        1464 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     313924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71476 MiB
End job on node135 at 2012-05-26 10:39:10