Trace number 2665166

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)96 1801.45 1802.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_3.opb
MD5SUM58d1d1d90868b936a5ba7e034aba056d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint48
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products31622
Sum of products size63244

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.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2665166-1276651760.opb>
0.19/0.27	c original problem has 32622 variables (32622 bin, 0 int, 0 impl, 0 cont) and 32622 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
0.59/0.65	c presolving:
2.89/2.97	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 2149550 impls, 0 clqs
4.99/5.00	c    (4.4s) probing: 101/32622 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.99/5.00	c    (4.4s) probing aborted: 100/100 successive totally useless probings
4.99/5.00	c presolving (2 rounds):
4.99/5.00	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.99/5.00	c  2149550 implications, 0 cliques
4.99/5.00	c presolved problem has 32622 variables (32622 bin, 0 int, 0 impl, 0 cont) and 32622 constraints
4.99/5.00	c   31622 constraints of type <and>
4.99/5.00	c    1000 constraints of type <logicor>
4.99/5.00	c transformed objective value is always integral (scale: 1)
4.99/5.00	c Presolving Time: 4.25
4.99/5.00	c - non default parameters ----------------------------------------------------------------------
4.99/5.00	c # SCIP version 1.2.1.2
4.99/5.00	c 
4.99/5.00	c # frequency for displaying node information lines
4.99/5.00	c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.00	c display/freq = 10000
4.99/5.00	c 
4.99/5.00	c # maximal time in seconds to run
4.99/5.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.00	c limits/time = 1799.74
4.99/5.00	c 
4.99/5.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.00	c limits/memory = 1620
4.99/5.00	c 
4.99/5.00	c # should presolving try to simplify inequalities
4.99/5.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.00	c constraints/linear/simplifyinequalities = TRUE
4.99/5.00	c 
4.99/5.00	c # should presolving try to simplify knapsacks
4.99/5.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.00	c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.00	c 
4.99/5.00	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.99/5.00	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.00	c heuristics/undercover/freq = 0
4.99/5.00	c 
4.99/5.00	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.99/5.00	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.00	c separating/rapidlearning/freq = 0
4.99/5.00	c 
4.99/5.00	c -----------------------------------------------------------------------------------------------
4.99/5.00	c start solving
4.99/5.04	c 
5.89/5.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.89/5.91	c   5.2s|     1 |     0 |  2000 |     - | 193M|   0 |2000 |  32k|  32k|  32k|  64k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.39/6.47	o 105
6.39/6.47	c s 5.7s|     1 |     0 |  2000 |     - | 194M|   0 |2000 |  32k|  32k|  32k|  64k|   0 |   0 |   0 | 0.000000e+00 | 1.050000e+02 |    Inf 
7.99/8.05	c   7.2s|     1 |     0 |  5000 |     - | 195M|   0 |2000 |  32k|  32k|  32k|  66k|2000 |   0 |   0 | 0.000000e+00 | 1.050000e+02 |    Inf 
9.90/9.98	c   9.1s|     1 |     0 |  8000 |     - | 196M|   0 |2000 |  32k|  32k|  32k|  68k|4000 |   0 |   0 | 0.000000e+00 | 1.050000e+02 |    Inf 
12.00/12.05	c  11.0s|     1 |     0 | 11000 |     - | 197M|   0 |2000 |  32k|  32k|  32k|  70k|6000 |   0 |   0 | 0.000000e+00 | 1.050000e+02 |    Inf 
12.59/12.67	o 100
12.59/12.67	c s11.7s|     1 |     0 | 11000 |     - | 197M|   0 |2000 |  32k|  32k|  32k|  70k|6000 |   0 |   0 | 0.000000e+00 | 1.000000e+02 |    Inf 
14.19/14.23	c  13.1s|     1 |     0 | 14000 |     - | 198M|   0 |2000 |  32k|  32k|  32k|  72k|8000 |   0 |   0 | 0.000000e+00 | 1.000000e+02 |    Inf 
14.88/14.93	o 97
14.88/14.93	c s13.8s|     1 |     0 | 14000 |     - | 198M|   0 |2000 |  32k|  32k|  32k|  72k|8000 |   0 |   0 | 0.000000e+00 | 9.700000e+01 |    Inf 
16.49/16.53	c  15.3s|     1 |     0 | 17000 |     - | 199M|   0 |2000 |  32k|  32k|  32k|  74k|  10k|   0 |   0 | 0.000000e+00 | 9.700000e+01 |    Inf 
17.08/17.19	o 96
17.08/17.19	c s16.0s|     1 |     0 | 17000 |     - | 200M|   0 |2000 |  32k|  32k|  32k|  74k|  10k|   0 |   0 | 0.000000e+00 | 9.600000e+01 |    Inf 
18.78/18.89	c  17.6s|     1 |     0 | 20000 |     - | 201M|   0 |2000 |  32k|  32k|  32k|  76k|  12k|   0 |   0 | 0.000000e+00 | 9.600000e+01 |    Inf 
33.28/33.30	c  30.7s|     1 |     2 | 20000 |     - | 201M|   0 |2000 |  32k|  32k|  32k|  76k|  12k|   0 |  22 | 0.000000e+00 | 9.600000e+01 |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.15/1800.76	c 
1800.15/1800.76	c SCIP Status        : solving was interrupted [user interrupt]
1800.15/1800.76	c Solving Time (sec) : 1732.07
1800.15/1800.76	c Solving Nodes      : 74
1800.15/1800.76	c Primal Bound       : +9.60000000000000e+01 (4 solutions)
1800.15/1800.76	c Dual Bound         : +1.24545454545455e+01
1800.15/1800.76	c Gap                : 670.80 %
1800.24/1800.83	s SATISFIABLE
1800.24/1800.83	v -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1800.24/1800.83	v -x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1800.24/1800.83	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1800.24/1800.83	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1800.24/1800.83	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1800.24/1800.83	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1800.24/1800.83	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 
1800.24/1800.83	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
1800.24/1800.83	v -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
1800.24/1800.83	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
1800.24/1800.83	v x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
1800.24/1800.83	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 
1800.24/1800.83	v -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
1800.24/1800.83	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
1800.24/1800.83	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 
1800.24/1800.83	v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
1800.24/1800.83	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
1800.24/1800.83	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 
1800.24/1800.83	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 
1800.24/1800.83	v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 
1800.24/1800.83	v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 
1800.24/1800.83	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
1800.24/1800.83	v -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
1800.24/1800.83	v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 
1800.24/1800.83	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
1800.24/1800.83	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
1800.24/1800.83	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 
1800.24/1800.83	v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 
1800.24/1800.83	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 
1800.24/1800.83	v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 
1800.24/1800.83	v x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
1800.24/1800.83	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
1800.24/1800.83	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
1800.24/1800.83	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
1800.24/1800.83	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 
1800.24/1800.83	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 
1800.24/1800.83	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 
1800.24/1800.83	v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
1800.24/1800.83	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
1800.24/1800.83	v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
1800.24/1800.83	v -x164 -x163 -x162 -x161 x160 x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
1800.24/1800.83	v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 
1800.24/1800.83	v -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 
1800.24/1800.83	v -x100 -x99 -x98 -x97 -x96 x95 x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 -x78 x77 x76 x75 -x74 
1800.24/1800.83	v x73 -x72 -x71 x70 x69 x68 x67 x66 -x65 -x64 x63 x62 x61 -x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 
1800.24/1800.83	v x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 -x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 -x14 
1800.24/1800.83	v -x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 -x3 x2 x1 
1800.24/1800.83	c SCIP Status        : solving was interrupted [user interrupt]
1800.24/1800.83	c Solving Time       :    1732.07
1800.24/1800.83	c Original Problem   :
1800.24/1800.83	c   Problem name     : HOME/instance-2665166-1276651760.opb
1800.24/1800.83	c   Variables        : 32622 (32622 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.83	c   Constraints      : 32622 initial, 32622 maximal
1800.24/1800.83	c Presolved Problem  :
1800.24/1800.83	c   Problem name     : t_HOME/instance-2665166-1276651760.opb
1800.24/1800.83	c   Variables        : 32622 (32622 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.83	c   Constraints      : 32622 initial, 38797 maximal
1800.24/1800.83	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.24/1800.83	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.24/1800.83	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1800.24/1800.83	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.24/1800.83	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.24/1800.83	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.24/1800.83	c   probing          :       1.32          0          0          0          0          0          0          0          0
1800.24/1800.83	c   and              :       2.57          0          0          0          0          0          0          0          0
1800.24/1800.83	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.24/1800.83	c   root node        :          -          0          -          -          0          -          -          -          -
1800.24/1800.83	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.24/1800.83	c   integral         :          0          0          0         74          0          0          0          0          0        148
1800.24/1800.83	c   and              :      31622        371      41835          0          0        819       2658     902367          0          0
1800.24/1800.83	c   logicor          :       1000+         6      28648          0          0        868          0          0          0          0
1800.24/1800.83	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.24/1800.83	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.24/1800.83	c   integral         :     268.07       0.00       0.00     268.07       0.00
1800.24/1800.83	c   and              :     294.22      16.24     277.98       0.00       0.00
1800.24/1800.83	c   logicor          :       6.09       0.00       6.09       0.00       0.00
1800.24/1800.83	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.24/1800.83	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.24/1800.83	c   vbounds          :       0.07          2          0          0
1800.24/1800.83	c   rootredcost      :       0.04          1          0          0
1800.24/1800.83	c   pseudoobj        :      20.78      42454        809          0
1800.24/1800.83	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.24/1800.83	c   propagation      :       3.51       2496       2496      16561      107.6          0        0.0          -
1800.24/1800.83	c   infeasible LP    :       0.01          1          1          1        2.0          0        0.0          0
1800.24/1800.83	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.24/1800.83	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.24/1800.83	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.24/1800.83	c   applied globally :          -          -          -      15650      107.1          -          -          -
1800.24/1800.83	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.24/1800.83	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.24/1800.83	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 12000)
1800.24/1800.83	c   redcost          :       1.64        371          0          0          0          0
1800.24/1800.83	c   impliedbounds    :       0.21          6          0          0      12000          0
1800.24/1800.83	c   intobj           :       0.00          0          0          0          0          0
1800.24/1800.83	c   cgmip            :       0.00          0          0          0          0          0
1800.24/1800.83	c   gomory           :       0.00          0          0          0          0          0
1800.24/1800.83	c   strongcg         :       0.00          0          0          0          0          0
1800.24/1800.83	c   cmir             :       0.00          0          0          0          0          0
1800.24/1800.83	c   flowcover        :       0.00          0          0          0          0          0
1800.24/1800.83	c   clique           :       0.00          0          0          0          0          0
1800.24/1800.83	c   zerohalf         :       0.00          0          0          0          0          0
1800.24/1800.83	c   mcf              :       0.00          0          0          0          0          0
1800.24/1800.83	c   rapidlearning    :       0.00          0          0          0          0          0
1800.24/1800.83	c Pricers            :       Time      Calls       Vars
1800.24/1800.83	c   problem variables:       0.00          0          0
1800.24/1800.83	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.24/1800.83	c   relpscost        :     268.07         74          0          0          0          0        148
1800.24/1800.83	c   pscost           :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   inference        :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   mostinf          :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   leastinf         :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.24/1800.83	c   random           :       0.00          0          0          0          0          0          0
1800.24/1800.83	c Primal Heuristics  :       Time      Calls      Found
1800.24/1800.83	c   LP solutions     :       0.00          -          0
1800.24/1800.83	c   pseudo solutions :       0.00          -          0
1800.24/1800.83	c   crossover        :       0.00          0          0
1800.24/1800.83	c   oneopt           :       0.18          3          0
1800.24/1800.83	c   guideddiving     :      78.18          4          0
1800.24/1800.83	c   rootsoldiving    :       7.51          2          0
1800.24/1800.83	c   linesearchdiving :     215.47          5          0
1800.24/1800.83	c   trivial          :       0.12          2          0
1800.24/1800.83	c   simplerounding   :       0.00          0          0
1800.24/1800.83	c   zirounding       :       0.36         74          0
1800.24/1800.83	c   rounding         :      12.48        248          0
1800.24/1800.83	c   shifting         :       3.85          7          4
1800.24/1800.83	c   intshifting      :       0.00          0          0
1800.24/1800.83	c   twoopt           :       0.00          0          0
1800.24/1800.83	c   fixandinfer      :       0.00          0          0
1800.24/1800.83	c   feaspump         :       0.00          0          0
1800.24/1800.83	c   coefdiving       :     152.81          2          0
1800.24/1800.83	c   pscostdiving     :     123.46          3          0
1800.24/1800.83	c   fracdiving       :     136.40          5          0
1800.24/1800.83	c   veclendiving     :     309.67          5          0
1800.24/1800.83	c   intdiving        :       0.00          0          0
1800.24/1800.83	c   actconsdiving    :       0.00          0          0
1800.24/1800.83	c   objpscostdiving  :      34.33          1          0
1800.24/1800.83	c   octane           :       0.00          0          0
1800.24/1800.83	c   rens             :       9.20          1          0
1800.24/1800.83	c   rins             :       0.00          0          0
1800.24/1800.83	c   localbranching   :       0.00          0          0
1800.24/1800.83	c   mutation         :       0.00          0          0
1800.24/1800.83	c   dins             :       0.00          0          0
1800.24/1800.83	c   undercover       :       0.05          1          0
1800.24/1800.83	c   nlp              :       0.00          0          0
1800.24/1800.83	c   trysol           :       0.00          0          0
1800.24/1800.83	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.24/1800.83	c   primal LP        :      35.92          0          0       0.00       0.00
1800.24/1800.83	c   dual LP          :     281.38        445     262312     589.47     932.23
1800.24/1800.83	c   lex dual LP      :       0.00          0          0       0.00          -
1800.24/1800.83	c   barrier LP       :       0.00          0          0       0.00          -
1800.24/1800.83	c   diving/probing LP:     487.88       9847     163800      16.63     335.74
1800.24/1800.83	c   strong branching :     267.84       1428     169783     118.90     633.90
1800.24/1800.83	c     (at root node) :          -         22       1136      51.64          -
1800.24/1800.83	c   conflict analysis:       0.00          0          0       0.00          -
1800.24/1800.83	c B&B Tree           :
1800.24/1800.83	c   number of runs   :          1
1800.24/1800.83	c   nodes            :         74
1800.24/1800.83	c   nodes (total)    :         74
1800.24/1800.83	c   nodes left       :         75
1800.24/1800.83	c   max depth        :          9
1800.24/1800.83	c   max depth (total):          9
1800.24/1800.83	c   backtracks       :         39 (52.7%)
1800.24/1800.83	c   delayed cutoffs  :          0
1800.24/1800.83	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.24/1800.83	c   avg switch length:       3.51
1800.24/1800.83	c   switching time   :      36.40
1800.24/1800.83	c Solution           :
1800.24/1800.83	c   Solutions found  :          4 (4 improvements)
1800.24/1800.83	c   First Solution   : +1.05000000000000e+02   (in run 1, after 1 nodes, 5.21 seconds, depth 0, found by <shifting>)
1800.24/1800.83	c   Primal Bound     : +9.60000000000000e+01   (in run 1, after 1 nodes, 15.37 seconds, depth 0, found by <shifting>)
1800.24/1800.83	c   Dual Bound       : +1.24545454545455e+01
1800.24/1800.83	c   Gap              :     670.80 %
1800.24/1800.83	c   Root Dual Bound  : +0.00000000000000e+00
1800.24/1800.83	c   Root Iterations  :      20000
1801.43/1802.00	c Time complete: 1801.44.

Verifier Data 

OK	96

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665166-1276651760/watcher-2665166-1276651760 -o /tmp/evaluation-result-2665166-1276651760/solver-2665166-1276651760 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665166-1276651760.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 13759
/proc/meminfo: memFree=1714020/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=9536 CPUtime=0
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 1220 0 0 0 0 0 0 0 18 0 1 0 6468015 9764864 1141 1992294400 4194304 9819077 140735668952160 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 2384 1150 371 1374 0 1005 0

[startup+0.0584219 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 13759
/proc/meminfo: memFree=1714020/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=18984 CPUtime=0.05
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 3631 0 0 0 4 1 0 0 20 0 1 0 6468015 19439616 3552 1992294400 4194304 9819077 140735668952160 18446744073709551615 4528357 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 4746 3552 389 1374 0 3367 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18984

[startup+0.101427 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 13759
/proc/meminfo: memFree=1714020/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=25556 CPUtime=0.09
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 5270 0 0 0 8 1 0 0 20 0 1 0 6468015 26169344 5191 1992294400 4194304 9819077 140735668952160 18446744073709551615 8610784 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 6389 5191 389 1374 0 5010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25556

[startup+0.301448 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 13759
/proc/meminfo: memFree=1714020/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=54332 CPUtime=0.29
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 12928 0 0 0 25 4 0 0 20 0 1 0 6468015 55635968 12405 1992294400 4194304 9819077 140735668952160 18446744073709551615 4327740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 13583 12405 428 1374 0 12204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54332

[startup+0.701491 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 13759
/proc/meminfo: memFree=1714020/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=100592 CPUtime=0.69
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 23602 0 0 0 61 8 0 0 20 0 1 0 6468015 103006208 23079 1992294400 4194304 9819077 140735668952160 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 25148 23079 473 1374 0 23769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100592

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13760
/proc/meminfo: memFree=1610844/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=131116 CPUtime=1.49
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 31217 0 0 0 137 12 0 0 23 0 1 0 6468015 134262784 30694 1992294400 4194304 9819077 140735668952160 18446744073709551615 5968212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 32779 30694 473 1374 0 31400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131116

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13760
/proc/meminfo: memFree=1570916/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=174812 CPUtime=3.09
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 43650 0 0 0 282 27 0 0 25 0 1 0 6468015 179007488 41661 1992294400 4194304 9819077 140735668952160 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 43703 41661 493 1374 0 42324 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174812

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13760
/proc/meminfo: memFree=1485232/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=309280 CPUtime=6.29
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 81234 0 0 0 579 50 0 0 25 0 1 0 6468015 316702720 68308 1992294400 4194304 9819077 140735668952160 18446744073709551615 4561257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 77320 68308 637 1374 0 75941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309280

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13760
/proc/meminfo: memFree=1437616/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=318548 CPUtime=12.69
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 151267 0 0 0 1192 77 0 0 25 0 1 0 6468015 326193152 69329 1992294400 4194304 9819077 140735668952160 18446744073709551615 6021518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 79637 69329 652 1374 0 78258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 318548

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13760
/proc/meminfo: memFree=1284724/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=481036 CPUtime=25.48
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 258466 0 0 0 2428 120 0 0 25 0 1 0 6468015 492580864 107613 1992294400 4194304 9819077 140735668952160 18446744073709551615 4332876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 120259 107613 653 1374 0 118880 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 481036

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13762
/proc/meminfo: memFree=1442452/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=302424 CPUtime=51.06
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 724584 0 0 0 4796 310 0 0 25 0 1 0 6468015 309682176 68156 1992294400 4194304 9819077 140735668952160 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 75606 68156 685 1374 0 74227 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 302424

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 13762
/proc/meminfo: memFree=1440220/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=292252 CPUtime=102.26
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 923192 0 0 0 9820 406 0 0 25 0 1 0 6468015 299266048 67744 1992294400 4194304 9819077 140735668952160 18446744073709551615 7816000 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 73063 67744 685 1374 0 71684 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 292252

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 13764
/proc/meminfo: memFree=1431540/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=304744 CPUtime=162.23
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 1319395 0 0 0 15662 561 0 0 25 0 1 0 6468015 312057856 70890 1992294400 4194304 9819077 140735668952160 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 76186 70890 689 1374 0 74807 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 304744

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13769
/proc/meminfo: memFree=1428936/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=305876 CPUtime=222.22
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 1664886 0 0 0 21516 706 0 0 25 0 1 0 6468015 313217024 71421 1992294400 4194304 9819077 140735668952160 18446744073709551615 4776005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 76469 71421 689 1374 0 75090 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 305876

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 13771
/proc/meminfo: memFree=1426580/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=309328 CPUtime=282.19
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 2395526 0 0 0 27223 996 0 0 25 0 1 0 6468015 316751872 72144 1992294400 4194304 9819077 140735668952160 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 77332 72144 689 1374 0 75953 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 309328

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 13773
/proc/meminfo: memFree=1424968/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=309364 CPUtime=342.17
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 3362428 0 0 0 32853 1364 0 0 25 0 1 0 6468015 316788736 72483 1992294400 4194304 9819077 140735668952160 18446744073709551615 6192381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 77341 72483 689 1374 0 75962 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 309364

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 13773
/proc/meminfo: memFree=1424224/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=310476 CPUtime=402.15
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 3682995 0 0 0 38719 1496 0 0 25 0 1 0 6468015 317927424 72608 1992294400 4194304 9819077 140735668952160 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 77619 72608 689 1374 0 76240 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 310476

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 13775
/proc/meminfo: memFree=1423480/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=309464 CPUtime=462.14
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 3940691 0 0 0 44597 1617 0 0 25 0 1 0 6468015 316891136 72793 1992294400 4194304 9819077 140735668952160 18446744073709551615 7261310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 77366 72793 698 1374 0 75987 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 309464

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 13777
/proc/meminfo: memFree=1419636/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=317216 CPUtime=522.12
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 4405979 0 0 0 50406 1806 0 0 25 0 1 0 6468015 324829184 73891 1992294400 4194304 9819077 140735668952160 18446744073709551615 6197574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 79304 73891 698 1374 0 77925 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 317216

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 13779
/proc/meminfo: memFree=1418396/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=317408 CPUtime=582.1
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 5397480 0 0 0 56024 2186 0 0 25 0 1 0 6468015 325025792 74252 1992294400 4194304 9819077 140735668952160 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 79352 74252 698 1374 0 77973 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 317408

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 13781
/proc/meminfo: memFree=1415668/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=320008 CPUtime=642.09
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 5761413 0 0 0 61883 2326 0 0 25 0 1 0 6468015 327688192 74823 1992294400 4194304 9819077 140735668952160 18446744073709551615 4781183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 80002 74823 698 1374 0 78623 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 320008

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13789
/proc/meminfo: memFree=1404880/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=331280 CPUtime=1001.98
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 9404908 0 0 0 96463 3735 0 0 25 0 1 0 6468015 339230720 77506 1992294400 4194304 9819077 140735668952160 18446744073709551615 6386085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 82820 77506 698 1374 0 81441 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 331280

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13791
/proc/meminfo: memFree=1403268/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=332880 CPUtime=1061.96
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 10406136 0 0 0 102086 4110 0 0 25 0 1 0 6468015 340869120 78067 1992294400 4194304 9819077 140735668952160 18446744073709551615 7300432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 83220 78067 698 1374 0 81841 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 332880

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13793
/proc/meminfo: memFree=1402648/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=333696 CPUtime=1121.94
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 10840137 0 0 0 107905 4289 0 0 25 0 1 0 6468015 341704704 78034 1992294400 4194304 9819077 140735668952160 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 83424 78034 698 1374 0 82045 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 333696

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13795
/proc/meminfo: memFree=1401780/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=335448 CPUtime=1181.93
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 11151321 0 0 0 113771 4422 0 0 25 0 1 0 6468015 343498752 78513 1992294400 4194304 9819077 140735668952160 18446744073709551615 7289471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 83862 78513 698 1374 0 82483 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 335448

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13795
/proc/meminfo: memFree=1398060/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=345372 CPUtime=1241.91
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 11597630 0 0 0 119591 4600 0 0 25 0 1 0 6468015 353660928 78430 1992294400 4194304 9819077 140735668952160 18446744073709551615 7330180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 86343 78430 698 1374 0 84964 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 345372

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13797
/proc/meminfo: memFree=1400416/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=335676 CPUtime=1301.89
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 12478050 0 0 0 125244 4945 0 0 25 0 1 0 6468015 343732224 78593 1992294400 4194304 9819077 140735668952160 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 83919 78593 698 1374 0 82540 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 335676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13799
/proc/meminfo: memFree=1396820/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=334524 CPUtime=1361.87
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 12914316 0 0 0 131069 5118 0 0 25 0 1 0 6468015 342552576 78290 1992294400 4194304 9819077 140735668952160 18446744073709551615 7302140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 83631 78290 698 1374 0 82252 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 334524

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13801
/proc/meminfo: memFree=1396200/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=337740 CPUtime=1421.87
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 13724291 0 0 0 136758 5429 0 0 25 0 1 0 6468015 345845760 79841 1992294400 4194304 9819077 140735668952160 18446744073709551615 7222038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 84435 79841 698 1374 0 83056 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 337740

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13803
/proc/meminfo: memFree=1391488/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=344548 CPUtime=1481.83
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 14142592 0 0 0 142580 5603 0 0 25 0 1 0 6468015 352817152 80686 1992294400 4194304 9819077 140735668952160 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 86137 80686 698 1374 0 84758 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 344548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13803
/proc/meminfo: memFree=1390992/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=355820 CPUtime=1541.82
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 14776277 0 0 0 148320 5862 0 0 25 0 1 0 6468015 364359680 80938 1992294400 4194304 9819077 140735668952160 18446744073709551615 7290893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 88955 80938 698 1374 0 87576 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 355820

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13805
/proc/meminfo: memFree=1393224/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=343024 CPUtime=1601.8
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 15679836 0 0 0 153953 6227 0 0 25 0 1 0 6468015 351256576 80234 1992294400 4194304 9819077 140735668952160 18446744073709551615 6597198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 85756 80240 698 1374 0 84377 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 343024

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13807
/proc/meminfo: memFree=1392480/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=343832 CPUtime=1661.78
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16146082 0 0 0 159741 6437 0 0 25 0 1 0 6468015 352083968 80630 1992294400 4194304 9819077 140735668952160 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 85958 80630 698 1374 0 84579 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 343832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13809
/proc/meminfo: memFree=1390124/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=342332 CPUtime=1721.76
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16406064 0 0 0 165616 6560 0 0 25 0 1 0 6468015 350547968 80830 1992294400 4194304 9819077 140735668952160 18446744073709551615 7233525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 85583 80830 698 1374 0 84204 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 342332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13811
/proc/meminfo: memFree=1390496/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=344904 CPUtime=1781.74
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16851981 0 0 0 171434 6740 0 0 25 0 1 0 6468015 353181696 80820 1992294400 4194304 9819077 140735668952160 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 86226 80820 698 1374 0 84847 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 344904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13811
/proc/meminfo: memFree=1388140/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=360588 CPUtime=1800.05
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16960222 0 0 0 173216 6789 0 0 25 0 1 0 6468015 369242112 81525 1992294400 4194304 9819077 140735668952160 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13759/statm: 90147 81525 698 1374 0 88768 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 360588

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13811
/proc/meminfo: memFree=1388140/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=345728 CPUtime=1800.84
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16962104 0 0 0 173294 6790 0 0 25 0 1 0 6468015 354025472 80942 1992294400 4194304 9819077 140735668952160 18446744073709551615 7291987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 86432 80942 699 1374 0 85053 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 345728

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13812
/proc/meminfo: memFree=1395324/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=321260 CPUtime=1801.24
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16962368 0 0 0 173334 6790 0 0 25 0 1 0 6468015 328970240 74805 1992294400 4194304 9819077 140735668952160 18446744073709551615 5957868 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 80315 74805 701 1374 0 78936 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 321260

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13812
/proc/meminfo: memFree=1395324/2059040 swapFree=4192956/4192956
[pid=13759] ppid=13757 vsize=64556 CPUtime=1801.43
/proc/13759/stat : 13759 (pbscip.linux.x8) R 13757 13759 12511 0 -1 4202496 16962368 0 0 0 173350 6793 0 0 25 0 1 0 6468015 66105344 13040 1992294400 4194304 9819077 140735668952160 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13759/statm: 16139 13040 701 1374 0 14760 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 64556

Child status: 0
Real time (s): 1802.01
CPU time (s): 1801.45
CPU user time (s): 1733.51
CPU system time (s): 67.9427
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 481388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.51
system time used= 67.9427
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16962372
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= 1
involuntary context switches= 2748

runsolver used 3.02354 second user time and 8.47671 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-16 03:29:20
IDJOB=2665166
IDBENCH=48109
IDSOLVER=1168
FILE ID=node047/2665166-1276651760
PBS_JOBID= 11172430
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665166-1276651760/watcher-2665166-1276651760 -o /tmp/evaluation-result-2665166-1276651760/solver-2665166-1276651760 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665166-1276651760.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 58d1d1d90868b936a5ba7e034aba056d
RANDOM SEED=1531702275

node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1714548 kB
Buffers:         72700 kB
Cached:         146124 kB
SwapCached:          0 kB
Active:         129868 kB
Inactive:       148436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1714548 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:       59452 kB
Mapped:          15452 kB
Slab:            44412 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node047 at 2010-06-16 03:59:23