Trace number 2663884

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)0 1800.69 1801.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMdfd3914a8aa1cc34e3abdf0a14d8373d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
Best CPU time to get the best result obtained on this benchmark1798.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -82
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663884-1276671201.opb>
0.09/0.19	c original problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17207 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.09/0.19	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.39/0.41	o 0
0.39/0.41	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.41	c presolving:
0.89/0.94	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 126648 impls, 1000 clqs
1.89/1.95	c    (1.5s) probing: 101/16706 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.89/1.95	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.89/1.96	c presolving (2 rounds):
1.89/1.96	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.89/1.96	c  126648 implications, 1000 cliques
1.89/1.96	c presolved problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17207 constraints
1.89/1.96	c    1000 constraints of type <setppc>
1.89/1.96	c   15706 constraints of type <and>
1.89/1.96	c       1 constraints of type <linear>
1.89/1.96	c     500 constraints of type <logicor>
1.89/1.96	c transformed objective value is always integral (scale: 1)
1.89/1.96	c Presolving Time: 1.44
1.89/1.96	c - non default parameters ----------------------------------------------------------------------
1.89/1.96	c # SCIP version 1.2.1.2
1.89/1.96	c 
1.89/1.96	c # frequency for displaying node information lines
1.89/1.96	c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.96	c display/freq = 10000
1.89/1.96	c 
1.89/1.96	c # maximal time in seconds to run
1.89/1.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.96	c limits/time = 1799.81
1.89/1.96	c 
1.89/1.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.96	c limits/memory = 1620
1.89/1.96	c 
1.89/1.96	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.89/1.96	c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.96	c lp/solvefreq = -1
1.89/1.96	c 
1.89/1.96	c # should presolving try to simplify inequalities
1.89/1.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.96	c constraints/linear/simplifyinequalities = TRUE
1.89/1.96	c 
1.89/1.96	c # should presolving try to simplify knapsacks
1.89/1.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.96	c constraints/knapsack/simplifyinequalities = TRUE
1.89/1.96	c 
1.89/1.96	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.89/1.96	c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.96	c heuristics/undercover/freq = 0
1.89/1.96	c 
1.89/1.96	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.89/1.96	c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.96	c separating/rapidlearning/freq = 0
1.89/1.96	c 
1.89/1.96	c -----------------------------------------------------------------------------------------------
1.89/1.96	c start solving
1.89/1.97	c 
1.99/2.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.99/2.02	c t 1.6s|     1 |     2 |     0 |     - |  45M|   0 |   - |  16k|  17k|   0 |   0 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
175.85/175.90	c   175s| 10000 |  9866 |     0 |   0.0 |  72M| 425 |   - |  16k|  17k|   0 |   0 |   0 |  78 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
343.30/343.48	c   342s| 20000 | 19774 |     0 |   0.0 |  93M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 139 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
509.64/509.83	c   508s| 30000 | 29595 |     0 |   0.0 | 115M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 251 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
676.60/676.86	c   674s| 40000 | 39050 |     0 |   0.0 | 136M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 534 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
871.04/871.33	c   868s| 50000 | 49050 |     0 |   0.0 | 159M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 534 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1063.60/1063.92	c  1060s| 60000 | 59050 |     0 |   0.0 | 182M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 534 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1252.04/1252.49	c  1249s| 70000 | 69029 |     0 |   0.0 | 205M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 541 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1431.90/1432.32	c  1428s| 80000 | 79011 |     0 |   0.0 | 229M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 547 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1610.35/1610.86	c  1606s| 90000 | 88984 |     0 |   0.0 | 252M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 559 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1786.71/1787.25	c  1782s|100000 | 98948 |     0 |   0.0 | 276M| 425 |   - |  16k|  17k|   0 |   0 |   0 | 568 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1795.26
1800.01/1800.50	c Solving Nodes      : 100736
1800.01/1800.50	c Primal Bound       : +0.00000000000000e+00 (3 solutions)
1800.01/1800.50	c Dual Bound         : -4.99000000000000e+02
1800.01/1800.50	c Gap                : 100.00 %
1800.01/1800.53	s SATISFIABLE
1800.01/1800.53	v -x726 -x703 -x618 -x817 -x772 -x819 -x997 -x896 -x846 -x873 -x852 -x986 -x690 -x929 -x982 -x893 -x972 -x999 -x993 -x632 -x712 -x686 
1800.01/1800.53	v -x643 -x658 -x925 -x707 -x697 -x848 -x621 -x588 -x891 -x661 -x675 -x752 -x706 -x973 -x814 -x894 -x784 -x614 -x858 -x943 
1800.01/1800.53	v -x994 -x885 -x645 -x531 -x918 -x841 -x673 -x1000 -x808 -x755 -x547 -x831 -x526 -x906 -x674 -x644 -x783 -x951 -x630 -x606 -x905 
1800.01/1800.53	v -x985 -x575 -x791 -x907 -x754 -x603 -x995 -x562 -x670 -x693 -x691 -x584 -x583 -x942 -x780 -x880 -x582 -x845 -x668 -x913 -x678 
1800.01/1800.53	v -x524 -x623 -x842 -x788 -x773 -x682 -x967 -x560 -x900 -x877 -x522 -x909 -x741 -x544 -x763 -x818 -x916 -x856 -x687 -x816 -x671 
1800.01/1800.53	v -x656 -x796 -x976 -x749 -x930 -x834 -x737 -x750 -x600 -x952 -x927 -x825 -x767 -x549 -x700 -x948 -x701 -x977 -x872 -x760 -x805 
1800.01/1800.53	v -x855 -x655 -x565 -x519 -x924 -x748 -x962 -x955 -x969 -x708 -x597 -x642 -x933 -x860 -x770 -x689 -x683 -x620 -x539 -x729 
1800.01/1800.53	v -x546 -x698 -x786 -x759 -x513 -x957 -x950 -x910 -x798 -x732 -x721 -x631 -x604 -x983 -x865 -x771 -x537 -x826 -x939 -x932 -x580 
1800.01/1800.53	v -x803 -x838 -x853 -x753 -x638 -x512 -x971 -x947 -x904 -x824 -x782 -x757 -x657 -x593 -x802 -x965 -x713 -x599 -x696 -x790 -x840 
1800.01/1800.53	v -x778 -x555 -x801 -x734 -x733 -x903 -x892 -x797 -x641 -x557 -x864 -x984 -x960 -x949 -x839 -x854 -x958 -x589 -x615 -x890 -x863 
1800.01/1800.53	v -x830 -x810 -x775 -x665 -x648 -x576 -x836 -x953 -x883 -x881 -x540 -x895 -x917 -x607 -x970 -x609 -x914 -x946 -x959 -x509 -x988 
1800.01/1800.53	v -x876 -x850 -x833 -x828 -x821 -x812 -x768 -x685 -x637 -x550 -x920 -x931 -x725 -x936 -x981 -x718 -x835 -x806 -x811 -x534 -x556 
1800.01/1800.53	v -x923 -x695 -x787 -x966 -x964 -x945 -x879 -x875 -x837 -x744 -x743 -x710 -x634 -x563 -x536 -x919 -x651 -x912 -x677 -x756 
1800.01/1800.53	v -x857 -x561 -x639 -x709 -x926 -x991 -x518 -x569 -x507 -x974 -x898 -x781 -x738 -x694 -x684 -x612 -x652 -x886 -x822 -x899 -x751 
1800.01/1800.53	v -x516 -x820 -x764 -x578 -x716 -x815 -x570 -x889 -x795 -x793 -x704 -x692 -x669 -x640 -x613 -x601 -x558 -x530 -x529 -x514 -x765 
1800.01/1800.53	v -x545 -x998 -x626 -x956 -x636 -x758 -x542 -x622 -x564 -x619 -x602 -x742 -x978 -x938 -x996 -x868 -x859 -x794 -x761 -x740 -x730 
1800.01/1800.53	v -x722 -x679 -x663 -x654 -x587 -x571 -x552 -x646 -x627 -x715 -x922 -x568 -x508 -x533 -x901 -x897 -x979 -x870 -x963 -x525 -x937 
1800.01/1800.53	v -x908 -x823 -x789 -x711 -x705 -x688 -x667 -x662 -x629 -x605 -x559 -x541 -x532 -x510 -x505 -x747 -x610 -x551 -x592 -x871 -x807 
1800.01/1800.53	v -x647 -x844 -x579 -x719 -x659 -x590 -x792 -x935 -x887 -x528 -x503 -x944 -x769 -x746 -x735 -x672 -x566 -x523 -x520 -x515 
1800.01/1800.53	v -x664 -x980 -x799 -x779 -x975 -x762 -x804 -x888 -x745 -x591 -x851 -x940 -x869 -x934 -x628 -x717 -x543 -x990 -x928 -x724 -x586 
1800.01/1800.53	v -x554 -x989 -x774 -x502 -x992 -x902 -x843 -x827 -x813 -x785 -x776 -x720 -x660 -x653 -x635 -x625 -x617 -x596 -x577 -x567 -x548 
1800.01/1800.53	v -x535 -x504 -x723 -x616 -x594 -x702 -x608 -x624 -x736 -x666 -x714 -x538 -x954 -x866 -x511 -x941 -x862 -x800 -x809 -x585 -x728 
1800.01/1800.53	v -x847 -x968 -x553 -x884 -x501 -x878 -x867 -x739 -x731 -x681 -x649 -x598 -x595 -x581 -x572 -x517 -x961 -x832 -x874 -x680 -x506 
1800.01/1800.53	v -x915 -x987 -x829 -x727 -x521 -x911 -x699 -x861 -x849 -x527 -x882 -x574 -x650 -x921 -x633 -x777 -x573 -x611 -x766 -x676 -x500 
1800.01/1800.53	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 
1800.01/1800.53	v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1800.01/1800.53	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1800.01/1800.53	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1800.01/1800.53	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1800.01/1800.53	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1800.01/1800.53	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 
1800.01/1800.53	v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 
1800.01/1800.53	v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 
1800.01/1800.53	v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1800.01/1800.53	v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1800.01/1800.53	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1800.01/1800.53	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1800.01/1800.53	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1800.01/1800.53	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1800.01/1800.53	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1800.01/1800.53	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.01/1800.53	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.01/1800.53	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.01/1800.53	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 
1800.01/1800.53	v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 
1800.01/1800.53	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
1800.01/1800.53	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.01/1800.53	v -x4 -x3 -x2 -x1 
1800.01/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.53	c Solving Time       :    1795.26
1800.01/1800.53	c Original Problem   :
1800.01/1800.53	c   Problem name     : HOME/instance-2663884-1276671201.opb
1800.01/1800.53	c   Variables        : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53	c   Constraints      : 17207 initial, 17207 maximal
1800.01/1800.53	c Presolved Problem  :
1800.01/1800.53	c   Problem name     : t_HOME/instance-2663884-1276671201.opb
1800.01/1800.53	c   Variables        : 16706 (16706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53	c   Constraints      : 17207 initial, 17414 maximal
1800.01/1800.53	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.53	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.53	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.53	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.53	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.54	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.54	c   probing          :       0.68          0          0          0          0          0          0          0          0
1800.01/1800.54	c   setppc           :       0.03          0          0          0          0          0          0          0          0
1800.01/1800.54	c   and              :       0.45          0          0          0          0          0          0          0          0
1800.01/1800.54	c   linear           :       0.11          0          0          0          0          0          0          0          0
1800.01/1800.54	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.54	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.54	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.54	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.54	c   setppc           :       1000          0     229912          0     100352        522      39189          0          0          0
1800.01/1800.54	c   and              :      15706          0     229390          0     100352          0    4625338          0          0          0
1800.01/1800.54	c   linear           :          1          0     229098          0     100352          1     165680          0          0          0
1800.01/1800.54	c   logicor          :        500+         0      29798          0     100352         43      14071          0          0          0
1800.01/1800.54	c   countsols        :          0          0          0          0     100352          0          0          0          0          0
1800.01/1800.54	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.54	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.54	c   setppc           :     340.46       0.00      28.64       0.00     311.82
1800.01/1800.54	c   and              :     698.49       0.00     272.36       0.00     426.13
1800.01/1800.54	c   linear           :      34.08       0.00      33.71       0.00       0.37
1800.01/1800.54	c   logicor          :      32.95       0.00       1.67       0.00      31.28
1800.01/1800.54	c   countsols        :       0.05       0.00       0.00       0.00       0.05
1800.01/1800.54	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.54	c   vbounds          :       0.31          2          0          0
1800.01/1800.54	c   rootredcost      :       0.22          0          0          0
1800.01/1800.54	c   pseudoobj        :      11.75     229712          0          0
1800.01/1800.54	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.54	c   propagation      :       8.56        566        563      42059      399.6          5      500.0          -
1800.01/1800.54	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.54	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.54	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.54	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.54	c   applied globally :          -          -          -        568      162.9          -          -          -
1800.01/1800.54	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.54	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.54	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.54	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.54	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.54	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.54	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.54	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.54	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.54	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.54	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.54	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.54	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.54	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.54	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.54	c Pricers            :       Time      Calls       Vars
1800.01/1800.54	c   problem variables:       0.00          0          0
1800.01/1800.54	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.54	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   inference        :     648.10     100352          0          0          0          0     200704
1800.01/1800.54	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.54	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.54	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.54	c   LP solutions     :       0.00          -          0
1800.01/1800.54	c   pseudo solutions :       0.00          -          0
1800.01/1800.54	c   oneopt           :       0.19          0          0
1800.01/1800.54	c   trivial          :       0.07          2          3
1800.01/1800.54	c   simplerounding   :       0.00          0          0
1800.01/1800.54	c   zirounding       :       0.00          0          0
1800.01/1800.54	c   rounding         :       0.00          0          0
1800.01/1800.54	c   shifting         :       0.00          0          0
1800.01/1800.54	c   intshifting      :       0.00          0          0
1800.01/1800.54	c   twoopt           :       0.00          0          0
1800.01/1800.54	c   fixandinfer      :       0.00          0          0
1800.01/1800.54	c   feaspump         :       0.00          0          0
1800.01/1800.54	c   coefdiving       :       0.00          0          0
1800.01/1800.54	c   pscostdiving     :       0.00          0          0
1800.01/1800.54	c   fracdiving       :       0.00          0          0
1800.01/1800.54	c   veclendiving     :       0.00          0          0
1800.01/1800.54	c   intdiving        :       0.00          0          0
1800.01/1800.54	c   actconsdiving    :       0.00          0          0
1800.01/1800.54	c   objpscostdiving  :       0.00          0          0
1800.01/1800.54	c   rootsoldiving    :       0.00          0          0
1800.01/1800.54	c   linesearchdiving :       0.00          0          0
1800.01/1800.54	c   guideddiving     :       0.00          0          0
1800.01/1800.54	c   octane           :       0.00          0          0
1800.01/1800.54	c   rens             :       0.00          0          0
1800.01/1800.54	c   rins             :       0.00          0          0
1800.01/1800.54	c   localbranching   :       0.00          0          0
1800.01/1800.54	c   mutation         :       0.00          0          0
1800.01/1800.54	c   crossover        :       0.00          0          0
1800.01/1800.54	c   dins             :       0.00          0          0
1800.01/1800.54	c   undercover       :       0.00          0          0
1800.01/1800.54	c   nlp              :       0.06          0          0
1800.01/1800.54	c   trysol           :       0.07          0          0
1800.01/1800.54	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.54	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.54	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.54	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.54	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.54	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.54	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.54	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.54	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.54	c B&B Tree           :
1800.01/1800.54	c   number of runs   :          1
1800.01/1800.54	c   nodes            :     100736
1800.01/1800.54	c   nodes (total)    :     100736
1800.01/1800.54	c   nodes left       :      99684
1800.01/1800.54	c   max depth        :        425
1800.01/1800.54	c   max depth (total):        425
1800.01/1800.54	c   backtracks       :        581 (0.6%)
1800.01/1800.54	c   delayed cutoffs  :        285
1800.01/1800.54	c   repropagations   :      18277 (86787 domain reductions, 182 cutoffs)
1800.01/1800.54	c   avg switch length:       2.46
1800.01/1800.54	c   switching time   :      16.86
1800.01/1800.54	c Solution           :
1800.01/1800.54	c   Solutions found  :          3 (1 improvements)
1800.01/1800.54	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.01/1800.54	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.01/1800.54	c   Dual Bound       : -4.99000000000000e+02
1800.01/1800.54	c   Gap              :     100.00 %
1800.01/1800.54	c   Root Dual Bound  : -5.00000000000000e+02
1800.01/1800.54	c   Root Iterations  :          0
1800.60/1801.17	c Time complete: 1800.68.

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663884-1276671201/watcher-2663884-1276671201 -o /tmp/evaluation-result-2663884-1276671201/solver-2663884-1276671201 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663884-1276671201.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.07 3/105 16094
/proc/meminfo: memFree=1748436/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=6732 CPUtime=0
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 1051 0 0 0 0 0 0 0 25 0 1 0 8413858 6893568 974 1992294400 4194304 7136930 140734947281408 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 1683 983 254 719 0 962 0

[startup+0.0877081 s]
/proc/loadavg: 1.00 1.00 1.07 3/105 16094
/proc/meminfo: memFree=1748436/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=20224 CPUtime=0.08
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 4539 0 0 0 7 1 0 0 25 0 1 0 8413858 20709376 4462 1992294400 4194304 7136930 140734947281408 18446744073709551615 5650975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 5056 4462 272 719 0 4335 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20224

[startup+0.101709 s]
/proc/loadavg: 1.00 1.00 1.07 3/105 16094
/proc/meminfo: memFree=1748436/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=21628 CPUtime=0.09
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 4894 0 0 0 8 1 0 0 25 0 1 0 8413858 22147072 4817 1992294400 4194304 7136930 140734947281408 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 5407 4817 272 719 0 4686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21628

[startup+0.30173 s]
/proc/loadavg: 1.00 1.00 1.07 3/105 16094
/proc/meminfo: memFree=1748436/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=51248 CPUtime=0.29
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 12649 0 0 0 25 4 0 0 18 0 1 0 8413858 52477952 12218 1992294400 4194304 7136930 140734947281408 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 12812 12218 293 719 0 12091 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51248

[startup+0.701774 s]
/proc/loadavg: 1.00 1.00 1.07 3/105 16094
/proc/meminfo: memFree=1748436/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=60980 CPUtime=0.69
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 15227 0 0 0 59 10 0 0 18 0 1 0 8413858 62443520 14443 1992294400 4194304 7136930 140734947281408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 15245 14443 333 719 0 14524 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60980

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16095
/proc/meminfo: memFree=1685932/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=67600 CPUtime=1.49
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 19040 0 0 0 124 25 0 0 19 0 1 0 8413858 69222400 16235 1992294400 4194304 7136930 140734947281408 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 16900 16235 418 719 0 16179 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67600

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16095
/proc/meminfo: memFree=1682212/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=70564 CPUtime=3.09
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 19968 0 0 0 282 27 0 0 25 0 1 0 8413858 72257536 16988 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 17641 16988 393 719 0 16920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70564

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16095
/proc/meminfo: memFree=1680228/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=77408 CPUtime=6.29
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 21669 0 0 0 601 28 0 0 25 0 1 0 8413858 79265792 18684 1992294400 4194304 7136930 140734947281408 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 19352 18684 393 719 0 18631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77408

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16095
/proc/meminfo: memFree=1673408/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=78864 CPUtime=12.69
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 22007 0 0 0 1240 29 0 0 25 0 1 0 8413858 80756736 19022 1992294400 4194304 7136930 140734947281408 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 19716 19022 393 719 0 18995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78864

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 16095
/proc/meminfo: memFree=1670184/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=82064 CPUtime=25.49
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 22803 0 0 0 2517 32 0 0 25 0 1 0 8413858 84033536 19818 1992294400 4194304 7136930 140734947281408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 20516 19818 393 719 0 19795 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82064

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 16097
/proc/meminfo: memFree=1663984/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=88636 CPUtime=51.08
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 24342 0 0 0 5068 40 0 0 25 0 1 0 8413858 90763264 21357 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 22159 21357 393 719 0 21438 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88636

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 16097
/proc/meminfo: memFree=1656420/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=96140 CPUtime=102.27
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 26195 0 0 0 10174 53 0 0 25 0 1 0 8413858 98447360 23210 1992294400 4194304 7136930 140734947281408 18446744073709551615 4696962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 24035 23210 393 719 0 23314 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 96140

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 16099
/proc/meminfo: memFree=1644640/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=107984 CPUtime=162.25
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 29107 0 0 0 16155 70 0 0 25 0 1 0 8413858 110575616 26122 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 26996 26122 393 719 0 26275 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 107984

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 16101
/proc/meminfo: memFree=1636580/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=115980 CPUtime=222.23
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 31119 0 0 0 22137 86 0 0 25 0 1 0 8413858 118763520 28134 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 28995 28134 393 719 0 28274 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 115980

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 16103
/proc/meminfo: memFree=1629140/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=123456 CPUtime=282.22
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 32998 0 0 0 28122 100 0 0 25 0 1 0 8413858 126418944 30013 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 30864 30013 393 719 0 30143 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 123456

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 16105
/proc/meminfo: memFree=1621700/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=130740 CPUtime=342.2
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 34831 0 0 0 34104 116 0 0 25 0 1 0 8413858 133877760 31846 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 32685 31846 393 719 0 31964 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 130740

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 16105
/proc/meminfo: memFree=1612276/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=141028 CPUtime=402.18
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 37432 0 0 0 40084 134 0 0 25 0 1 0 8413858 144412672 34447 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 35257 34447 393 719 0 34536 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 141028

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 16116
/proc/meminfo: memFree=1605456/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=146764 CPUtime=462.16
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 38866 0 0 0 46065 151 0 0 25 0 1 0 8413858 150286336 35881 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 36691 35881 393 719 0 35970 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 146764

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 16118
/proc/meminfo: memFree=1597272/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=155300 CPUtime=522.14
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 40945 0 0 0 52044 170 0 0 25 0 1 0 8413858 159027200 37960 1992294400 4194304 7136930 140734947281408 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 38825 37960 393 719 0 38104 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 155300

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 16120
/proc/meminfo: memFree=1587228/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=165352 CPUtime=582.12
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 43417 0 0 0 58022 190 0 0 25 0 1 0 8413858 169320448 40432 1992294400 4194304 7136930 140734947281408 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 41338 40432 393 719 0 40617 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 165352

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16122
/proc/meminfo: memFree=1577680/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=174804 CPUtime=642.12
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 45778 0 0 0 64001 211 0 0 25 0 1 0 8413858 178999296 42793 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 43701 42793 393 719 0 42980 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 174804

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16130
/proc/meminfo: memFree=1534156/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=218628 CPUtime=1002.01
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 56605 0 0 0 99919 282 0 0 25 0 1 0 8413858 223875072 53620 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 54657 53620 393 719 0 53936 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 218628

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16132
/proc/meminfo: memFree=1523988/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=228636 CPUtime=1061.99
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 59096 0 0 0 105904 295 0 0 25 0 1 0 8413858 234123264 56111 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 57159 56111 393 719 0 56438 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 228636

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16134
/proc/meminfo: memFree=1517788/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=234904 CPUtime=1121.98
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 60654 0 0 0 111892 306 0 0 25 0 1 0 8413858 240541696 57669 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 58726 57669 393 719 0 58005 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 234904

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16136
/proc/meminfo: memFree=1512704/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=239828 CPUtime=1181.97
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 61962 0 0 0 117878 319 0 0 25 0 1 0 8413858 245583872 58977 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 59957 58977 393 719 0 59236 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 239828

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16138
/proc/meminfo: memFree=1505140/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=250200 CPUtime=1241.95
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 63866 0 0 0 123862 333 0 0 25 0 1 0 8413858 256204800 60881 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 62550 60881 393 719 0 61829 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 250200

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16138
/proc/meminfo: memFree=1499064/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=255952 CPUtime=1301.94
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 65236 0 0 0 129848 346 0 0 25 0 1 0 8413858 262094848 62251 1992294400 4194304 7136930 140734947281408 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 63988 62251 393 719 0 63267 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 255952

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16140
/proc/meminfo: memFree=1487904/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=267248 CPUtime=1361.92
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 68042 0 0 0 135832 360 0 0 25 0 1 0 8413858 273661952 65057 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 66812 65057 393 719 0 66091 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 267248

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16142
/proc/meminfo: memFree=1479844/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=275296 CPUtime=1421.91
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 70003 0 0 0 141819 372 0 0 25 0 1 0 8413858 281903104 67018 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 68824 67018 393 719 0 68103 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 275296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16144
/proc/meminfo: memFree=1472404/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=282472 CPUtime=1481.89
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 71861 0 0 0 147801 388 0 0 25 0 1 0 8413858 289251328 68876 1992294400 4194304 7136930 140734947281408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 70618 68876 393 719 0 69897 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 282472

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16146
/proc/meminfo: memFree=1466080/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=289476 CPUtime=1541.87
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 73416 0 0 0 153788 399 0 0 25 0 1 0 8413858 296423424 70431 1992294400 4194304 7136930 140734947281408 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 72369 70431 393 719 0 71648 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 289476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16146
/proc/meminfo: memFree=1458144/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=297384 CPUtime=1601.86
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 75406 0 0 0 159773 413 0 0 25 0 1 0 8413858 304521216 72421 1992294400 4194304 7136930 140734947281408 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 74346 72421 393 719 0 73625 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 297384

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16148
/proc/meminfo: memFree=1448720/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=306892 CPUtime=1661.85
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 77784 0 0 0 165759 426 0 0 25 0 1 0 8413858 314257408 74799 1992294400 4194304 7136930 140734947281408 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 76723 74799 393 719 0 76002 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 306892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16150
/proc/meminfo: memFree=1441776/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=313936 CPUtime=1721.82
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 79513 0 0 0 171741 441 0 0 25 0 1 0 8413858 321470464 76528 1992294400 4194304 7136930 140734947281408 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 78484 76528 393 719 0 77763 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 313936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16152
/proc/meminfo: memFree=1431608/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=324152 CPUtime=1781.81
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 81954 0 0 0 177726 455 0 0 25 0 1 0 8413858 331931648 78969 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 81038 78969 393 719 0 80317 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 324152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16152
/proc/meminfo: memFree=1431236/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=324668 CPUtime=1800.01
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 82071 0 0 0 179542 459 0 0 25 0 1 0 8413858 332460032 79086 1992294400 4194304 7136930 140734947281408 18446744073709551615 4643027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16094/statm: 81167 79086 393 719 0 80446 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 324668

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16153
/proc/meminfo: memFree=1431228/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=324528 CPUtime=1800.12
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 82076 0 0 0 179553 459 0 0 25 0 1 0 8413858 332316672 79056 1992294400 4194304 7136930 140734947281408 18446744073709551615 4212314 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 81132 79056 398 719 0 80411 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 324528

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16153
/proc/meminfo: memFree=1431228/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=274360 CPUtime=1800.5
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 82076 0 0 0 179591 459 0 0 25 0 1 0 8413858 280944640 66514 1992294400 4194304 7136930 140734947281408 18446744073709551615 4212578 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 68590 66514 398 719 0 67869 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 274360

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16153
/proc/meminfo: memFree=1431228/2059040 swapFree=4192956/4192956
[pid=16094] ppid=16092 vsize=197756 CPUtime=1800.6
/proc/16094/stat : 16094 (pbscip.linux.x8) R 16092 16094 15990 0 -1 4202496 82076 0 0 0 179600 460 0 0 25 0 1 0 8413858 202502144 47365 1992294400 4194304 7136930 140734947281408 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16094/statm: 49439 47365 398 719 0 48718 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (KiB) 197756

Child status: 0
Real time (s): 1801.18
CPU time (s): 1800.69
CPU user time (s): 1796.06
CPU system time (s): 4.63129
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 324668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.06
system time used= 4.63129
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82082
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= 2
involuntary context switches= 14057

runsolver used 2.73858 second user time and 8.74967 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-16 08:53:21
IDJOB=2663884
IDBENCH=48257
IDSOLVER=1167
FILE ID=node086/2663884-1276671201
PBS_JOBID= 11172526
Free space on /tmp= 62576 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663884-1276671201/watcher-2663884-1276671201 -o /tmp/evaluation-result-2663884-1276671201/solver-2663884-1276671201 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663884-1276671201.opb -t 1800 -m 1800

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

MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d
RANDOM SEED=268924514

node086.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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1749088 kB
Buffers:         54544 kB
Cached:         119620 kB
SwapCached:          0 kB
Active:         124440 kB
Inactive:       109052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1749088 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3664 kB
Writeback:           0 kB
AnonPages:       59204 kB
Mapped:          15408 kB
Slab:            54896 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180412 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= 62572 MiB
End job on node086 at 2010-06-16 09:23:24