Trace number 2663887

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 1801.1 1801.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
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-32
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 -44
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)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

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-2663887-1276671609.opb>
0.39/0.44	c original problem has 38488 variables (38488 bin, 0 int, 0 impl, 0 cont) and 38989 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
0.39/0.45	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.89/0.96	o 0
0.89/0.96	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.89/0.96	c presolving:
2.29/2.37	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 299256 impls, 1000 clqs
4.78/4.82	c    (4.0s) probing: 101/38488 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.78/4.82	c    (4.0s) probing aborted: 100/100 successive totally useless probings
4.78/4.82	c presolving (2 rounds):
4.78/4.82	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.78/4.82	c  299256 implications, 1000 cliques
4.78/4.82	c presolved problem has 38488 variables (38488 bin, 0 int, 0 impl, 0 cont) and 38989 constraints
4.78/4.82	c    1000 constraints of type <setppc>
4.78/4.82	c   37488 constraints of type <and>
4.78/4.82	c       1 constraints of type <linear>
4.78/4.82	c     500 constraints of type <logicor>
4.78/4.82	c transformed objective value is always integral (scale: 1)
4.78/4.82	c Presolving Time: 3.86
4.78/4.82	c - non default parameters ----------------------------------------------------------------------
4.78/4.82	c # SCIP version 1.2.1.2
4.78/4.82	c 
4.78/4.82	c # frequency for displaying node information lines
4.78/4.82	c # [type: int, range: [-1,2147483647], default: 100]
4.78/4.82	c display/freq = 10000
4.78/4.82	c 
4.78/4.82	c # maximal time in seconds to run
4.78/4.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.78/4.82	c limits/time = 1799.57
4.78/4.82	c 
4.78/4.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.78/4.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.78/4.82	c limits/memory = 1620
4.78/4.82	c 
4.78/4.82	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.78/4.82	c # [type: int, range: [-1,2147483647], default: 1]
4.78/4.82	c lp/solvefreq = -1
4.78/4.82	c 
4.78/4.82	c # should presolving try to simplify inequalities
4.78/4.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.78/4.82	c constraints/linear/simplifyinequalities = TRUE
4.78/4.82	c 
4.78/4.82	c # should presolving try to simplify knapsacks
4.78/4.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.78/4.82	c constraints/knapsack/simplifyinequalities = TRUE
4.78/4.82	c 
4.78/4.82	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.78/4.82	c # [type: int, range: [-1,2147483647], default: -1]
4.78/4.82	c heuristics/undercover/freq = 0
4.78/4.82	c 
4.78/4.82	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.78/4.82	c # [type: int, range: [-1,2147483647], default: -1]
4.78/4.82	c separating/rapidlearning/freq = 0
4.78/4.82	c 
4.78/4.82	c -----------------------------------------------------------------------------------------------
4.78/4.82	c start solving
4.78/4.86	c 
4.88/4.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.88/4.97	c t 4.2s|     1 |     2 |     0 |     - | 103M|   0 |   - |  38k|  38k|   0 |   0 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
395.32/395.51	c   394s| 10000 |  9871 |     0 |   0.0 | 160M| 450 |   - |  38k|  39k|   0 |   0 |   0 |  76 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
777.37/777.72	c   776s| 20000 | 19772 |     0 |   0.0 | 206M| 450 |   - |  38k|  39k|   0 |   0 |   0 | 141 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1135.83/1136.30	c  1133s| 30000 | 29644 |     0 |   0.0 | 252M| 450 |   - |  38k|  39k|   0 |   0 |   0 | 227 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1526.57/1527.28	c  1524s| 40000 | 39126 |     0 |   0.0 | 306M| 450 |   - |  38k|  39k|   0 |   0 |   0 | 486 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1800.07/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81	c 
1800.07/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.81	c Solving Time (sec) : 1796.77
1800.07/1800.81	c Solving Nodes      : 46713
1800.07/1800.81	c Primal Bound       : +0.00000000000000e+00 (3 solutions)
1800.07/1800.81	c Dual Bound         : -4.99000000000000e+02
1800.07/1800.81	c Gap                : 100.00 %
1800.07/1800.89	s SATISFIABLE
1800.07/1800.89	v -x957 -x888 -x825 -x525 -x976 -x912 -x968 -x757 -x654 -x880 -x635 -x790 -x992 -x640 -x764 -x715 -x959 -x771 -x724 -x701 -x671 -x977 
1800.07/1800.89	v -x872 -x684 -x707 -x991 -x962 -x864 -x838 -x993 -x940 -x782 -x527 -x828 -x842 -x829 -x883 -x922 -x886 -x745 -x536 -x821 
1800.07/1800.89	v -x909 -x1000 -x879 -x541 -x928 -x979 -x808 -x681 -x672 -x667 -x561 -x531 -x935 -x908 -x712 -x986 -x980 -x770 -x822 -x759 -x930 
1800.07/1800.89	v -x920 -x834 -x811 -x784 -x750 -x970 -x660 -x641 -x716 -x933 -x837 -x584 -x877 -x860 -x552 -x895 -x740 -x555 -x943 -x965 -x739 
1800.07/1800.89	v -x614 -x794 -x819 -x753 -x998 -x836 -x682 -x526 -x659 -x695 -x866 -x874 -x575 -x551 -x855 -x896 -x574 -x869 -x936 -x735 -x954 
1800.07/1800.89	v -x688 -x605 -x814 -x995 -x964 -x951 -x916 -x859 -x773 -x755 -x726 -x639 -x633 -x577 -x569 -x559 -x987 -x931 -x815 -x683 -x919 
1800.07/1800.89	v -x848 -x593 -x626 -x956 -x687 -x609 -x873 -x543 -x572 -x627 -x756 -x616 -x669 -x948 -x871 -x862 -x846 -x839 -x795 -x751 
1800.07/1800.89	v -x728 -x721 -x689 -x604 -x602 -x566 -x905 -x881 -x737 -x676 -x917 -x744 -x847 -x625 -x852 -x793 -x624 -x850 -x692 -x590 -x595 
1800.07/1800.89	v -x932 -x804 -x981 -x556 -x899 -x675 -x611 -x818 -x511 -x958 -x945 -x900 -x889 -x830 -x806 -x696 -x694 -x685 -x648 -x553 -x537 
1800.07/1800.89	v -x528 -x597 -x777 -x679 -x937 -x521 -x698 -x722 -x796 -x978 -x985 -x853 -x947 -x560 -x994 -x890 -x990 -x863 -x565 -x596 -x950 
1800.07/1800.89	v -x643 -x788 -x960 -x533 -x619 -x767 -x504 -x925 -x786 -x717 -x703 -x661 -x629 -x623 -x585 -x539 -x509 -x923 -x826 -x513 -x844 
1800.07/1800.89	v -x904 -x827 -x772 -x955 -x841 -x927 -x749 -x649 -x586 -x857 -x911 -x708 -x677 -x758 -x666 -x902 -x520 -x736 -x601 -x620 -x709 
1800.07/1800.89	v -x545 -x730 -x729 -x939 -x725 -x941 -x914 -x975 -x952 -x910 -x903 -x901 -x854 -x849 -x845 -x813 -x779 -x760 -x754 -x733 
1800.07/1800.89	v -x713 -x663 -x647 -x612 -x607 -x588 -x546 -x523 -x752 -x802 -x615 -x512 -x657 -x840 -x600 -x972 -x785 -x665 -x893 -x723 -x568 
1800.07/1800.89	v -x571 -x792 -x579 -x732 -x727 -x982 -x632 -x741 -x646 -x706 -x699 -x807 -x817 -x510 -x973 -x823 -x638 -x988 -x831 -x876 -x851 
1800.07/1800.89	v -x532 -x861 -x833 -x882 -x642 -x502 -x997 -x969 -x953 -x944 -x942 -x921 -x906 -x897 -x894 -x867 -x835 -x820 -x805 -x798 -x781 
1800.07/1800.89	v -x775 -x762 -x678 -x658 -x651 -x621 -x618 -x608 -x603 -x583 -x581 -x563 -x549 -x534 -x529 -x524 -x517 -x515 -x505 -x673 -x875 
1800.07/1800.89	v -x589 -x907 -x506 -x693 -x690 -x535 -x924 -x598 -x984 -x812 -x747 -x983 -x578 -x710 -x989 -x516 -x519 -x799 -x719 -x809 -x656 
1800.07/1800.89	v -x766 -x870 -x582 -x918 -x652 -x938 -x961 -x704 -x885 -x734 -x686 -x705 -x738 -x558 -x763 -x971 -x644 -x518 -x691 -x787 
1800.07/1800.89	v -x769 -x718 -x522 -x544 -x963 -x501 -x996 -x934 -x926 -x913 -x891 -x884 -x856 -x832 -x801 -x800 -x780 -x765 -x748 -x743 -x742 
1800.07/1800.89	v -x714 -x702 -x674 -x670 -x664 -x637 -x636 -x634 -x630 -x622 -x617 -x613 -x610 -x599 -x592 -x580 -x554 -x548 -x547 -x542 -x540 
1800.07/1800.89	v -x530 -x508 -x887 -x606 -x949 -x824 -x810 -x967 -x567 -x700 -x946 -x645 -x776 -x591 -x915 -x557 -x966 -x761 -x507 -x929 -x668 
1800.07/1800.89	v -x858 -x898 -x974 -x878 -x653 -x697 -x662 -x803 -x783 -x587 -x514 -x564 -x797 -x631 -x711 -x892 -x768 -x816 -x570 -x573 -x503 
1800.07/1800.89	v -x731 -x868 -x774 -x655 -x550 -x538 -x594 -x650 -x680 -x843 -x628 -x746 -x778 -x865 -x999 -x562 -x576 -x789 -x720 -x791 -x500 
1800.07/1800.89	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 
1800.07/1800.89	v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1800.07/1800.89	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1800.07/1800.89	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1800.07/1800.89	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1800.07/1800.89	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1800.07/1800.89	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 
1800.07/1800.89	v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 
1800.07/1800.89	v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 
1800.07/1800.89	v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1800.07/1800.89	v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1800.07/1800.89	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1800.07/1800.89	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1800.07/1800.89	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1800.07/1800.89	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1800.07/1800.89	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1800.07/1800.89	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.07/1800.89	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.07/1800.89	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.07/1800.89	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.07/1800.89	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.07/1800.89	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.07/1800.89	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.07/1800.89	v -x4 -x3 -x2 -x1 
1800.07/1800.89	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.89	c Solving Time       :    1796.77
1800.07/1800.89	c Original Problem   :
1800.07/1800.89	c   Problem name     : HOME/instance-2663887-1276671609.opb
1800.07/1800.89	c   Variables        : 38488 (38488 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.89	c   Constraints      : 38989 initial, 38989 maximal
1800.07/1800.89	c Presolved Problem  :
1800.07/1800.89	c   Problem name     : t_HOME/instance-2663887-1276671609.opb
1800.07/1800.89	c   Variables        : 38488 (38488 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.89	c   Constraints      : 38989 initial, 39197 maximal
1800.07/1800.89	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.89	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.07/1800.89	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.89	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.89	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.89	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.07/1800.89	c   probing          :       1.47          0          0          0          0          0          0          0          0
1800.07/1800.89	c   setppc           :       0.06          0          0          0          0          0          0          0          0
1800.07/1800.89	c   and              :       1.62          0          0          0          0          0          0          0          0
1800.07/1800.89	c   linear           :       0.29          0          0          0          0          0          0          0          0
1800.07/1800.89	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.89	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.89	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.89	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.89	c   setppc           :       1000          0     117096          0      46386        468      90514          0          0          0
1800.07/1800.89	c   and              :      37488          0     116628          0      46386          0    6158316          0          0          0
1800.07/1800.89	c   linear           :          1          0     116372          0      46386          3     141498          0          0          0
1800.07/1800.89	c   logicor          :        500+         0      19031          0      46386         33       7474          0          0          0
1800.07/1800.89	c   countsols        :          0          0          0          0      46386          0          0          0          0          0
1800.07/1800.89	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.89	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.89	c   setppc           :     332.44       0.00      17.38       0.00     315.06
1800.07/1800.89	c   and              :     805.08       0.00     330.91       0.00     474.17
1800.07/1800.89	c   linear           :      21.44       0.00      21.35       0.00       0.09
1800.07/1800.89	c   logicor          :      15.46       0.00       1.24       0.00      14.22
1800.07/1800.89	c   countsols        :       0.03       0.00       0.00       0.00       0.03
1800.07/1800.89	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.89	c   vbounds          :       0.12          2          0          0
1800.07/1800.89	c   rootredcost      :       0.06          0          0          0
1800.07/1800.89	c   pseudoobj        :       5.86     116896          0          0
1800.07/1800.89	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.89	c   propagation      :       7.42        504        498      32660      407.4          1      500.0          -
1800.07/1800.89	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.89	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.89	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.89	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.89	c   applied globally :          -          -          -        499      152.4          -          -          -
1800.07/1800.89	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.89	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.89	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.89	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.89	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.89	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.89	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.89	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.89	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.89	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.89	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.89	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.89	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.89	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.89	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.89	c Pricers            :       Time      Calls       Vars
1800.07/1800.89	c   problem variables:       0.00          0          0
1800.07/1800.89	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.89	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   inference        :     583.47      46386          0          0          0          0      92772
1800.07/1800.89	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.89	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.89	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.89	c   LP solutions     :       0.00          -          0
1800.07/1800.89	c   pseudo solutions :       0.00          -          0
1800.07/1800.89	c   oneopt           :       0.07          0          0
1800.07/1800.89	c   trivial          :       0.18          2          3
1800.07/1800.89	c   simplerounding   :       0.00          0          0
1800.07/1800.89	c   zirounding       :       0.00          0          0
1800.07/1800.89	c   rounding         :       0.00          0          0
1800.07/1800.89	c   shifting         :       0.00          0          0
1800.07/1800.89	c   intshifting      :       0.00          0          0
1800.07/1800.89	c   twoopt           :       0.00          0          0
1800.07/1800.89	c   fixandinfer      :       0.00          0          0
1800.07/1800.89	c   feaspump         :       0.00          0          0
1800.07/1800.89	c   coefdiving       :       0.00          0          0
1800.07/1800.89	c   pscostdiving     :       0.00          0          0
1800.07/1800.89	c   fracdiving       :       0.00          0          0
1800.07/1800.89	c   veclendiving     :       0.00          0          0
1800.07/1800.89	c   intdiving        :       0.00          0          0
1800.07/1800.89	c   actconsdiving    :       0.00          0          0
1800.07/1800.89	c   objpscostdiving  :       0.00          0          0
1800.07/1800.89	c   rootsoldiving    :       0.00          0          0
1800.07/1800.89	c   linesearchdiving :       0.00          0          0
1800.07/1800.89	c   guideddiving     :       0.00          0          0
1800.07/1800.89	c   octane           :       0.00          0          0
1800.07/1800.89	c   rens             :       0.00          0          0
1800.07/1800.89	c   rins             :       0.00          0          0
1800.07/1800.89	c   localbranching   :       0.00          0          0
1800.07/1800.89	c   mutation         :       0.00          0          0
1800.07/1800.89	c   crossover        :       0.00          0          0
1800.07/1800.89	c   dins             :       0.00          0          0
1800.07/1800.89	c   undercover       :       0.00          0          0
1800.07/1800.89	c   nlp              :       0.05          0          0
1800.07/1800.89	c   trysol           :       0.02          0          0
1800.07/1800.89	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.89	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.89	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.89	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.89	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.89	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.89	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.89	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.89	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.89	c B&B Tree           :
1800.07/1800.89	c   number of runs   :          1
1800.07/1800.89	c   nodes            :      46713
1800.07/1800.89	c   nodes (total)    :      46713
1800.07/1800.89	c   nodes left       :      45789
1800.07/1800.89	c   max depth        :        450
1800.07/1800.89	c   max depth (total):        450
1800.07/1800.89	c   backtracks       :        295 (0.6%)
1800.07/1800.89	c   delayed cutoffs  :        271
1800.07/1800.89	c   repropagations   :      17135 (180476 domain reductions, 177 cutoffs)
1800.07/1800.89	c   avg switch length:       2.78
1800.07/1800.89	c   switching time   :      22.91
1800.07/1800.89	c Solution           :
1800.07/1800.89	c   Solutions found  :          3 (1 improvements)
1800.07/1800.89	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1800.07/1800.89	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1800.07/1800.89	c   Dual Bound       : -4.99000000000000e+02
1800.07/1800.89	c   Gap              :     100.00 %
1800.07/1800.89	c   Root Dual Bound  : -5.00000000000000e+02
1800.07/1800.89	c   Root Iterations  :          0
1801.07/1801.82	c Time complete: 1801.08.

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-2663887-1276671609/watcher-2663887-1276671609 -o /tmp/evaluation-result-2663887-1276671609/solver-2663887-1276671609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663887-1276671609.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.00 3/106 9336
/proc/meminfo: memFree=1756300/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=6880 CPUtime=0
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 40817239 7045120 890 1992294400 4194304 7136930 140735571321856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 1720 899 254 719 0 999 0

[startup+0.028937 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9336
/proc/meminfo: memFree=1756300/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=11628 CPUtime=0.01
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 2320 0 0 0 1 0 0 0 20 0 1 0 40817239 11907072 2242 1992294400 4194304 7136930 140735571321856 18446744073709551615 6340467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 2907 2242 272 719 0 2186 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11628

[startup+0.100951 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9336
/proc/meminfo: memFree=1756300/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=21984 CPUtime=0.09
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 4920 0 0 0 8 1 0 0 20 0 1 0 40817239 22511616 4842 1992294400 4194304 7136930 140735571321856 18446744073709551615 4672128 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 5496 4842 272 719 0 4775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21984

[startup+0.300988 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9336
/proc/meminfo: memFree=1756300/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=42740 CPUtime=0.29
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 10132 0 0 0 25 4 0 0 20 0 1 0 40817239 43765760 10054 1992294400 4194304 7136930 140735571321856 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 10685 10054 272 719 0 9964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42740

[startup+0.701063 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9336
/proc/meminfo: memFree=1756300/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=104044 CPUtime=0.69
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 25862 0 0 0 59 10 0 0 21 0 1 0 40817239 106541056 25356 1992294400 4194304 7136930 140735571321856 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 26011 25356 304 719 0 25290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104044

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1650520/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=118280 CPUtime=1.49
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 29231 0 0 0 137 12 0 0 23 0 1 0 40817239 121118720 28725 1992294400 4194304 7136930 140735571321856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 29570 28725 333 719 0 28849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118280

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1631424/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=137144 CPUtime=3.09
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 35874 0 0 0 282 27 0 0 25 0 1 0 40817239 140435456 33454 1992294400 4194304 7136930 140735571321856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 34286 33454 361 719 0 33565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137144

[startup+6.30111 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1617908/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=143024 CPUtime=6.29
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 39177 0 0 0 591 38 0 0 25 0 1 0 40817239 146456576 34777 1992294400 4194304 7136930 140735571321856 18446744073709551615 4642156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 35756 34777 388 719 0 35035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143024

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1614560/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=146616 CPUtime=12.68
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 40051 0 0 0 1229 39 0 0 25 0 1 0 40817239 150134784 35651 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 36654 35651 388 719 0 35933 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146616

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1599556/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=163268 CPUtime=25.48
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 44192 0 0 0 2506 42 0 0 25 0 1 0 40817239 167186432 39792 1992294400 4194304 7136930 140735571321856 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 40817 39792 393 719 0 40096 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163268

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9337
/proc/meminfo: memFree=1593728/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=167304 CPUtime=51.07
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 45213 0 0 0 5062 45 0 0 25 0 1 0 40817239 171319296 40813 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 41826 40813 393 719 0 41105 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 167304

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9348
/proc/meminfo: memFree=1584304/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=176720 CPUtime=102.24
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 47466 0 0 0 10174 50 0 0 25 0 1 0 40817239 180961280 43066 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 44180 43066 393 719 0 43459 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 176720

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9350
/proc/meminfo: memFree=1574632/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=187060 CPUtime=162.22
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 49866 0 0 0 16163 59 0 0 25 0 1 0 40817239 191549440 45466 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 46765 45466 393 719 0 46044 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 187060

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9352
/proc/meminfo: memFree=1564464/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=197192 CPUtime=222.19
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 52391 0 0 0 22152 67 0 0 25 0 1 0 40817239 201924608 47991 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 49298 47991 393 719 0 48577 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 197192

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9352
/proc/meminfo: memFree=1555908/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=205688 CPUtime=282.17
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 54487 0 0 0 28142 75 0 0 25 0 1 0 40817239 210624512 50087 1992294400 4194304 7136930 140735571321856 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 51422 50087 393 719 0 50701 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 205688

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9354
/proc/meminfo: memFree=1544004/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=217488 CPUtime=342.14
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 57465 0 0 0 34130 84 0 0 25 0 1 0 40817239 222707712 53065 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 54372 53065 393 719 0 53651 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 217488

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9356
/proc/meminfo: memFree=1536440/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=225004 CPUtime=402.12
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 59348 0 0 0 40120 92 0 0 25 0 1 0 40817239 230404096 54948 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 56251 54948 393 719 0 55530 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 225004

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9358
/proc/meminfo: memFree=1532224/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=229116 CPUtime=462.1
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 60381 0 0 0 46108 102 0 0 25 0 1 0 40817239 234614784 55981 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 57279 55981 393 719 0 56558 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 229116

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9360
/proc/meminfo: memFree=1521560/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=240084 CPUtime=522.07
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 63031 0 0 0 52096 111 0 0 25 0 1 0 40817239 245846016 58631 1992294400 4194304 7136930 140735571321856 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 60021 58631 393 719 0 59300 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 240084

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9360
/proc/meminfo: memFree=1514864/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=246708 CPUtime=582.04
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 64683 0 0 0 58084 120 0 0 25 0 1 0 40817239 252628992 60283 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 61677 60283 393 719 0 60956 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 246708

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9362
/proc/meminfo: memFree=1506556/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=254928 CPUtime=642.03
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 66763 0 0 0 64076 127 0 0 25 0 1 0 40817239 261046272 62363 1992294400 4194304 7136930 140735571321856 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 63732 62363 393 719 0 63011 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 254928

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9370
/proc/meminfo: memFree=1468984/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=292444 CPUtime=941.9
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 76144 0 0 0 94022 168 0 0 25 0 1 0 40817239 299462656 71744 1992294400 4194304 7136930 140735571321856 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 73111 71744 393 719 0 72390 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 292444

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9372
/proc/meminfo: memFree=1461420/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=299972 CPUtime=1001.88
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 78033 0 0 0 100010 178 0 0 25 0 1 0 40817239 307171328 73633 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 74993 73633 393 719 0 74272 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 299972

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9374
/proc/meminfo: memFree=1454724/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=306624 CPUtime=1061.85
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 79698 0 0 0 105998 187 0 0 25 0 1 0 40817239 313982976 75298 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 76656 75298 393 719 0 75935 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 306624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9376
/proc/meminfo: memFree=1444308/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=316908 CPUtime=1121.83
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 82280 0 0 0 111986 197 0 0 25 0 1 0 40817239 324513792 77880 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 79227 77880 393 719 0 78506 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 316908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9376
/proc/meminfo: memFree=1434264/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=326820 CPUtime=1181.81
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 84749 0 0 0 117974 207 0 0 25 0 1 0 40817239 334663680 80349 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 81705 80349 393 719 0 80984 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 326820

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9378
/proc/meminfo: memFree=1428188/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=332908 CPUtime=1241.79
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 86254 0 0 0 123962 217 0 0 25 0 1 0 40817239 340897792 81854 1992294400 4194304 7136930 140735571321856 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 83227 81854 393 719 0 82506 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 332908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1416780/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=344196 CPUtime=1301.76
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 89090 0 0 0 129950 226 0 0 25 0 1 0 40817239 352456704 84690 1992294400 4194304 7136930 140735571321856 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 86049 84690 393 719 0 85328 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 344196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9382
/proc/meminfo: memFree=1409216/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=351864 CPUtime=1361.73
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 90979 0 0 0 135935 238 0 0 25 0 1 0 40817239 360308736 86579 1992294400 4194304 7136930 140735571321856 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 87966 86579 393 719 0 87245 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 351864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9384
/proc/meminfo: memFree=1400040/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=361228 CPUtime=1421.72
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 93257 0 0 0 141926 246 0 0 25 0 1 0 40817239 369897472 88857 1992294400 4194304 7136930 140735571321856 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 90307 88857 393 719 0 89586 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 361228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9384
/proc/meminfo: memFree=1391856/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=369900 CPUtime=1481.69
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 95301 0 0 0 147916 253 0 0 25 0 1 0 40817239 378777600 90901 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 92475 90901 393 719 0 91754 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 369900

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9386
/proc/meminfo: memFree=1380696/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=381184 CPUtime=1541.67
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 98109 0 0 0 153906 261 0 0 25 0 1 0 40817239 390332416 93709 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 95296 93709 393 719 0 94575 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 381184

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9388
/proc/meminfo: memFree=1372512/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=390076 CPUtime=1601.63
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 100112 0 0 0 159897 266 0 0 25 0 1 0 40817239 399437824 95712 1992294400 4194304 7136930 140735571321856 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 97519 95712 393 719 0 96798 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 390076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9390
/proc/meminfo: memFree=1358128/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=403708 CPUtime=1661.61
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 103689 0 0 0 165888 273 0 0 25 0 1 0 40817239 413396992 99289 1992294400 4194304 7136930 140735571321856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 100927 99289 393 719 0 100206 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 403708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9392
/proc/meminfo: memFree=1345604/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=416676 CPUtime=1721.59
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 106781 0 0 0 171877 282 0 0 25 0 1 0 40817239 426676224 102381 1992294400 4194304 7136930 140735571321856 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 104169 102381 393 719 0 103448 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 416676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9392
/proc/meminfo: memFree=1334816/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=427504 CPUtime=1781.57
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 109422 0 0 0 177867 290 0 0 25 0 1 0 40817239 437764096 105022 1992294400 4194304 7136930 140735571321856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 106876 105022 393 719 0 106155 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 427504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9394
/proc/meminfo: memFree=1331220/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=431908 CPUtime=1800.07
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 110329 0 0 0 179715 292 0 0 25 0 1 0 40817239 442273792 105929 1992294400 4194304 7136930 140735571321856 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9336/statm: 107977 105929 393 719 0 107256 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 431908

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 9394
/proc/meminfo: memFree=1331220/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=355704 CPUtime=1800.66
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 110334 0 0 0 179773 293 0 0 25 0 1 0 40817239 364240896 87108 1992294400 4194304 7136930 140735571321856 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 88926 87108 398 719 0 88205 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 355704

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9395
/proc/meminfo: memFree=1462156/2059040 swapFree=4140352/4192956
[pid=9336] ppid=9334 vsize=69276 CPUtime=1801.07
/proc/9336/stat : 9336 (pbscip.linux.x8) R 9334 9336 9043 0 -1 4202496 110334 0 0 0 179811 296 0 0 25 0 1 0 40817239 70938624 16786 1992294400 4194304 7136930 140735571321856 18446744073709551615 6166368 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9336/statm: 17319 16786 398 719 0 16598 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 69276

Child status: 0
Real time (s): 1801.82
CPU time (s): 1801.1
CPU user time (s): 1798.12
CPU system time (s): 2.97755
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 431908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 2.97755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110340
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= 3
involuntary context switches= 24661

runsolver used 2.84557 second user time and 8.64269 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 09:00:09
IDJOB=2663887
IDBENCH=48260
IDSOLVER=1167
FILE ID=node019/2663887-1276671609
PBS_JOBID= 11172516
Free space on /tmp= 62412 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_60_2.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-2663887-1276671609/watcher-2663887-1276671609 -o /tmp/evaluation-result-2663887-1276671609/solver-2663887-1276671609 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663887-1276671609.opb -t 1800 -m 1800

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

MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a
RANDOM SEED=1875866228

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1756828 kB
Buffers:         94516 kB
Cached:         116896 kB
SwapCached:       6068 kB
Active:         107368 kB
Inactive:       117452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756828 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            4148 kB
Writeback:           0 kB
AnonPages:       11788 kB
Mapped:          13076 kB
Slab:            55632 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181044 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= 62412 MiB
End job on node019 at 2010-06-16 09:30:12