Trace number 2663853

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.09 1801.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
MD5SUMa83973bc04af54d38c05a30d36c8573f
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.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
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)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

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

[startup+0.0847441 s]
/proc/loadavg: 0.97 1.02 1.00 3/106 8569
/proc/meminfo: memFree=1845764/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=20404 CPUtime=0.07
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 4521 0 0 0 6 1 0 0 19 0 1 0 42205023 20893696 4443 1992294400 4194304 7136930 140735528708352 18446744073709551615 6164698 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 5101 4443 272 719 0 4380 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20404

[startup+0.100745 s]
/proc/loadavg: 0.97 1.02 1.00 3/106 8569
/proc/meminfo: memFree=1845764/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=21756 CPUtime=0.09
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 4894 0 0 0 8 1 0 0 19 0 1 0 42205023 22278144 4816 1992294400 4194304 7136930 140735528708352 18446744073709551615 4361563 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 5439 4816 272 719 0 4718 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21756

[startup+0.300788 s]
/proc/loadavg: 0.97 1.02 1.00 3/106 8569
/proc/meminfo: memFree=1845764/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=42576 CPUtime=0.29
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 10138 0 0 0 26 3 0 0 19 0 1 0 42205023 43597824 10044 1992294400 4194304 7136930 140735528708352 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 10644 10044 272 719 0 9923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42576

[startup+0.700873 s]
/proc/loadavg: 0.97 1.02 1.00 3/106 8569
/proc/meminfo: memFree=1845764/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=103804 CPUtime=0.69
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 25849 0 0 0 61 8 0 0 19 0 1 0 42205023 106295296 25327 1992294400 4194304 7136930 140735528708352 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 25951 25327 304 719 0 25230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103804

[startup+1.50104 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 8570
/proc/meminfo: memFree=1740108/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=117624 CPUtime=1.49
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 29052 0 0 0 138 11 0 0 21 0 1 0 42205023 120446976 28530 1992294400 4194304 7136930 140735528708352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 29406 28530 333 719 0 28685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117624

[startup+3.10138 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 8570
/proc/meminfo: memFree=1723864/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=137216 CPUtime=3.09
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 35972 0 0 0 284 25 0 0 25 0 1 0 42205023 140509184 33470 1992294400 4194304 7136930 140735528708352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 34304 33470 361 719 0 33583 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137216

[startup+6.30106 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 8570
/proc/meminfo: memFree=1707372/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=143096 CPUtime=6.29
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 39275 0 0 0 593 36 0 0 25 0 1 0 42205023 146530304 34793 1992294400 4194304 7136930 140735528708352 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 35774 34793 388 719 0 35053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143096

[startup+12.7014 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 8570
/proc/meminfo: memFree=1704024/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=146648 CPUtime=12.69
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 40150 0 0 0 1232 37 0 0 25 0 1 0 42205023 150167552 35668 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 36662 35668 388 719 0 35941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146648

[startup+25.5012 s]
/proc/loadavg: 0.98 1.02 1.00 2/107 8570
/proc/meminfo: memFree=1686540/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=164704 CPUtime=25.48
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 44549 0 0 0 2508 40 0 0 25 0 1 0 42205023 168656896 40067 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 41176 40067 393 719 0 40455 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 164704

[startup+51.1006 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 8572
/proc/meminfo: memFree=1679720/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=172232 CPUtime=51.07
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 46381 0 0 0 5065 42 0 0 25 0 1 0 42205023 176365568 41899 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 43058 41899 393 719 0 42337 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172232

[startup+102.309 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 8572
/proc/meminfo: memFree=1671288/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=180556 CPUtime=102.26
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 48295 0 0 0 10175 51 0 0 25 0 1 0 42205023 184889344 43813 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 45139 43813 393 719 0 44418 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 180556

[startup+162.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8574
/proc/meminfo: memFree=1664220/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=188048 CPUtime=162.23
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 50124 0 0 0 16165 58 0 0 25 0 1 0 42205023 192561152 45642 1992294400 4194304 7136930 140735528708352 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 47012 45642 393 719 0 46291 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 188048

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8576
/proc/meminfo: memFree=1651200/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=200976 CPUtime=222.2
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 53283 0 0 0 22153 67 0 0 25 0 1 0 42205023 205799424 48801 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 50244 48801 393 719 0 49523 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 200976

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8578
/proc/meminfo: memFree=1645868/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=206304 CPUtime=282.19
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 54620 0 0 0 28143 76 0 0 25 0 1 0 42205023 211255296 50138 1992294400 4194304 7136930 140735528708352 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 51576 50138 393 719 0 50855 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 206304

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8580
/proc/meminfo: memFree=1630864/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=221188 CPUtime=342.17
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 58352 0 0 0 34133 84 0 0 25 0 1 0 42205023 226496512 53870 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 55297 53870 393 719 0 54576 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 221188

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8580
/proc/meminfo: memFree=1622060/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=230172 CPUtime=402.14
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 60558 0 0 0 40123 91 0 0 25 0 1 0 42205023 235696128 56076 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 57543 56076 393 719 0 56822 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 230172

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8582
/proc/meminfo: memFree=1618216/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=233728 CPUtime=462.12
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 61483 0 0 0 46112 100 0 0 25 0 1 0 42205023 239337472 57001 1992294400 4194304 7136930 140735528708352 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 58432 57001 393 719 0 57711 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 233728

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8584
/proc/meminfo: memFree=1608544/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=243196 CPUtime=522.09
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 63873 0 0 0 52101 108 0 0 25 0 1 0 42205023 249032704 59391 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 60799 59391 393 719 0 60078 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 243196

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8586
/proc/meminfo: memFree=1600856/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=251904 CPUtime=582.08
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 66031 0 0 0 58092 116 0 0 25 0 1 0 42205023 257949696 61549 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 62976 61549 393 719 0 62255 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 251904

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8588
/proc/meminfo: memFree=1592300/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=259352 CPUtime=642.06
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 67897 0 0 0 64083 123 0 0 25 0 1 0 42205023 265576448 63415 1992294400 4194304 7136930 140735528708352 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 64838 63415 393 719 0 64117 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 259352

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8596
/proc/meminfo: memFree=1543940/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=307452 CPUtime=1001.92
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 79882 0 0 0 100016 176 0 0 25 0 1 0 42205023 314830848 75400 1992294400 4194304 7136930 140735528708352 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 76863 75400 393 719 0 76142 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 307452

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8598
/proc/meminfo: memFree=1540468/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=311848 CPUtime=1061.9
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 81013 0 0 0 106005 185 0 0 25 0 1 0 42205023 319332352 76531 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 77962 76531 393 719 0 77241 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 311848

[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 8600
/proc/meminfo: memFree=1527076/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=324176 CPUtime=1121.88
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 84071 0 0 0 111994 194 0 0 25 0 1 0 42205023 331956224 79589 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 81044 79589 393 719 0 80323 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 324176

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8602
/proc/meminfo: memFree=1521248/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=329904 CPUtime=1181.86
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 85525 0 0 0 117982 204 0 0 25 0 1 0 42205023 337821696 81043 1992294400 4194304 7136930 140735528708352 18446744073709551615 4774575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 82476 81043 393 719 0 81755 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 329904

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8604
/proc/meminfo: memFree=1506120/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=345892 CPUtime=1241.83
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 89532 0 0 0 123969 214 0 0 25 0 1 0 42205023 354193408 85050 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 86473 85050 393 719 0 85752 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 345892

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8604
/proc/meminfo: memFree=1499796/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=351024 CPUtime=1301.82
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 90813 0 0 0 129957 225 0 0 25 0 1 0 42205023 359448576 86331 1992294400 4194304 7136930 140735528708352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 87756 86331 393 719 0 87035 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 351024

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8606
/proc/meminfo: memFree=1492976/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=357856 CPUtime=1361.79
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 92525 0 0 0 135943 236 0 0 25 0 1 0 42205023 366444544 88043 1992294400 4194304 7136930 140735528708352 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 89464 88043 393 719 0 88743 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 357856

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8608
/proc/meminfo: memFree=1482064/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=369428 CPUtime=1421.77
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 95255 0 0 0 141928 249 0 0 25 0 1 0 42205023 378294272 90773 1992294400 4194304 7136930 140735528708352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 92357 90773 393 719 0 91636 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 369428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8610
/proc/meminfo: memFree=1470284/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=380520 CPUtime=1481.74
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 98190 0 0 0 147917 257 0 0 25 0 1 0 42205023 389652480 93708 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 95130 93708 393 719 0 94409 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 380520

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8612
/proc/meminfo: memFree=1460488/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=390536 CPUtime=1541.72
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 100635 0 0 0 153907 265 0 0 25 0 1 0 42205023 399908864 96153 1992294400 4194304 7136930 140735528708352 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 97634 96153 393 719 0 96913 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 390536

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8612
/proc/meminfo: memFree=1448956/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=402760 CPUtime=1601.7
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 103501 0 0 0 159897 273 0 0 25 0 1 0 42205023 412426240 99019 1992294400 4194304 7136930 140735528708352 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 100690 99019 393 719 0 99969 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 402760

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8614
/proc/meminfo: memFree=1438044/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=413876 CPUtime=1661.68
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 106198 0 0 0 165887 281 0 0 25 0 1 0 42205023 423809024 101716 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 103469 101716 393 719 0 102748 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 413876

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8616
/proc/meminfo: memFree=1424280/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=428268 CPUtime=1721.66
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 109881 0 0 0 171876 290 0 0 25 0 1 0 42205023 438546432 105399 1992294400 4194304 7136930 140735528708352 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 107067 105399 393 719 0 106346 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 428268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8618
/proc/meminfo: memFree=1413368/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=437680 CPUtime=1781.64
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 112297 0 0 0 177866 298 0 0 25 0 1 0 42205023 448184320 107815 1992294400 4194304 7136930 140735528708352 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 109420 107815 393 719 0 108699 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 437680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8618
/proc/meminfo: memFree=1412128/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=439608 CPUtime=1800.04
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 112584 0 0 0 179704 300 0 0 25 0 1 0 42205023 450158592 108102 1992294400 4194304 7136930 140735528708352 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8569/statm: 109902 108102 393 719 0 109181 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 439608

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 8618
/proc/meminfo: memFree=1412128/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=344044 CPUtime=1800.73
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 112589 0 0 0 179772 301 0 0 25 0 1 0 42205023 352301056 84441 1992294400 4194304 7136930 140735528708352 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 86011 84441 398 719 0 85290 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 344044

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8618
/proc/meminfo: memFree=1412128/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=321376 CPUtime=1800.92
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 112589 0 0 0 179791 301 0 0 25 0 1 0 42205023 329089024 78786 1992294400 4194304 7136930 140735528708352 18446744073709551615 6166356 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 80344 78786 398 719 0 79623 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 321376

[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8619
/proc/meminfo: memFree=1761924/2059040 swapFree=4139944/4192956
[pid=8569] ppid=8567 vsize=84660 CPUtime=1801.03
/proc/8569/stat : 8569 (pbscip.linux.x8) R 8567 8569 8516 0 -1 4202496 112589 0 0 0 179799 304 0 0 25 0 1 0 42205023 86691840 20679 1992294400 4194304 7136930 140735528708352 18446744073709551615 4684967 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8569/statm: 21165 20679 398 719 0 20444 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 84660

Child status: 0
Real time (s): 1801.76
CPU time (s): 1801.09
CPU user time (s): 1798.03
CPU system time (s): 3.05853
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 439608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 3.05854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112595
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= 25251

runsolver used 2.87056 second user time and 8.61369 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 07:27:14
IDJOB=2663853
IDBENCH=48226
IDSOLVER=1167
FILE ID=node010/2663853-1276666034
PBS_JOBID= 11172514
Free space on /tmp= 62532 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_3.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-2663853-1276666034/watcher-2663853-1276666034 -o /tmp/evaluation-result-2663853-1276666034/solver-2663853-1276666034 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663853-1276666034.opb -t 1800 -m 1800

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

MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f
RANDOM SEED=1020977703

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1846352 kB
Buffers:         25632 kB
Cached:          94800 kB
SwapCached:       5996 kB
Active:          27232 kB
Inactive:       105892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846352 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            4464 kB
Writeback:           0 kB
AnonPages:       11188 kB
Mapped:          12968 kB
Slab:            57616 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183472 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= 62528 MiB
End job on node010 at 2010-06-16 07:57:17