Trace number 2703165

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT96 1789.89 1790.58

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	96

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703165-1278564521/watcher-2703165-1278564521 -o /tmp/evaluation-result-2703165-1278564521/solver-2703165-1278564521 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703165-1278564521.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 29037
/proc/meminfo: memFree=1681648/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=7904 CPUtime=0
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 1079 0 0 0 0 0 0 0 20 0 1 0 24663933 8093696 992 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29037/statm: 1976 1000 365 1026 0 946 0

[startup+0.076097 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29037
/proc/meminfo: memFree=1681648/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=20288 CPUtime=0.06
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 4307 0 0 0 5 1 0 0 20 0 1 0 24663933 20774912 4219 1992294400 4194304 8395647 140734720444592 18446744073709551615 6349190 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29037/statm: 5072 4219 394 1026 0 4042 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20288

[startup+0.101101 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29037
/proc/meminfo: memFree=1681648/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=24052 CPUtime=0.09
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 5277 0 0 0 8 1 0 0 20 0 1 0 24663933 24629248 5189 1992294400 4194304 8395647 140734720444592 18446744073709551615 5753672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29037/statm: 6013 5189 394 1026 0 4983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24052

[startup+0.301136 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29037
/proc/meminfo: memFree=1681648/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=48508 CPUtime=0.29
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 11688 0 0 0 25 4 0 0 20 0 1 0 24663933 49672192 11184 1992294400 4194304 8395647 140734720444592 18446744073709551615 4730168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 12127 11184 410 1026 0 11097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48508

[startup+0.701203 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29037
/proc/meminfo: memFree=1681648/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=99612 CPUtime=0.69
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 23673 0 0 0 62 7 0 0 20 0 1 0 24663933 102002688 23169 1992294400 4194304 8395647 140734720444592 18446744073709551615 6345883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 24903 23169 454 1026 0 23873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99612

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1579216/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=129080 CPUtime=1.49
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 31019 0 0 0 139 10 0 0 22 0 1 0 24663933 132177920 30515 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 32270 30515 454 1026 0 31240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129080

[startup+3.10061 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1541396/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=176204 CPUtime=3.09
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 43574 0 0 0 295 14 0 0 25 0 1 0 24663933 180432896 42316 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 44051 42316 474 1026 0 43021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 176204

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1419752/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=294276 CPUtime=6.29
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 72553 0 0 0 606 23 0 0 25 0 1 0 24663933 301338624 69646 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 73569 69646 568 1026 0 72539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 294276

[startup+12.7002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1391604/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=305112 CPUtime=12.69
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 82861 0 0 0 1241 28 0 0 25 0 1 0 24663933 312434688 72799 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 76278 72799 579 1026 0 75248 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 305112

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1379576/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=317680 CPUtime=25.48
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 85878 0 0 0 2516 32 0 0 25 0 1 0 24663933 325304320 75816 1992294400 4194304 8395647 140734720444592 18446744073709551615 6149753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 79420 75816 598 1026 0 78390 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 317680

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29038
/proc/meminfo: memFree=1229232/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=470468 CPUtime=51.07
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 123446 0 0 0 5053 54 0 0 25 0 1 0 24663933 481759232 113295 1992294400 4194304 8395647 140734720444592 18446744073709551615 4287421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 117617 113295 579 1026 0 116587 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 470468

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29040
/proc/meminfo: memFree=1360796/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=335148 CPUtime=102.25
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124171 0 0 0 10149 76 0 0 25 0 1 0 24663933 343191552 80480 1992294400 4194304 8395647 140734720444592 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 83787 80480 588 1026 0 82757 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 335148

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29042
/proc/meminfo: memFree=1360672/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=335148 CPUtime=162.22
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124186 0 0 0 16125 97 0 0 25 0 1 0 24663933 343191552 80495 1992294400 4194304 8395647 140734720444592 18446744073709551615 6698312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 83787 80495 588 1026 0 82757 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 335148

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29044
/proc/meminfo: memFree=1360672/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=335148 CPUtime=222.21
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124186 0 0 0 22104 117 0 0 25 0 1 0 24663933 343191552 80495 1992294400 4194304 8395647 140734720444592 18446744073709551615 6721368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 83787 80495 588 1026 0 82757 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 335148

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29044
/proc/meminfo: memFree=1360672/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=335148 CPUtime=282.19
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124194 0 0 0 28097 122 0 0 25 0 1 0 24663933 343191552 80503 1992294400 4194304 8395647 140734720444592 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 83787 80503 593 1026 0 82757 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 335148

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29046
/proc/meminfo: memFree=1360672/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=335148 CPUtime=342.16
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124194 0 0 0 34072 144 0 0 25 0 1 0 24663933 343191552 80503 1992294400 4194304 8395647 140734720444592 18446744073709551615 6667505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 83787 80503 593 1026 0 82757 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 335148

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29048
/proc/meminfo: memFree=1359060/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=337076 CPUtime=402.14
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 124561 0 0 0 40050 164 0 0 25 0 1 0 24663933 345165824 80870 1992294400 4194304 8395647 140734720444592 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 84269 80870 593 1026 0 83239 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 337076

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29050
/proc/meminfo: memFree=1354596/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=341212 CPUtime=462.12
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 125672 0 0 0 46032 180 0 0 25 0 1 0 24663933 349401088 81981 1992294400 4194304 8395647 140734720444592 18446744073709551615 6622121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 85303 81981 593 1026 0 84273 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 341212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29052
/proc/meminfo: memFree=1353976/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=342232 CPUtime=522.09
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 125846 0 0 0 52015 194 0 0 25 0 1 0 24663933 350445568 82155 1992294400 4194304 8395647 140734720444592 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 85558 82155 593 1026 0 84528 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 342232

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29052
/proc/meminfo: memFree=1353852/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=342232 CPUtime=582.07
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 125851 0 0 0 57997 210 0 0 25 0 1 0 24663933 350445568 82160 1992294400 4194304 8395647 140734720444592 18446744073709551615 6139291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 85558 82160 596 1026 0 84528 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 342232

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29054
/proc/meminfo: memFree=1353852/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=342232 CPUtime=642.06
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 125852 0 0 0 63976 230 0 0 25 0 1 0 24663933 350445568 82161 1992294400 4194304 8395647 140734720444592 18446744073709551615 6471904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 85558 82161 596 1026 0 84528 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 342232

[startup+702.302 s]

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

/proc/meminfo: memFree=1345420/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=349696 CPUtime=1001.9
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 127849 0 0 0 99881 309 0 0 25 0 1 0 24663933 358088704 84157 1992294400 4194304 8395647 140734720444592 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 87424 84157 626 1026 0 86394 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 349696

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29075
/proc/meminfo: memFree=1343188/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=351828 CPUtime=1061.87
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 128414 0 0 0 105874 313 0 0 25 0 1 0 24663933 360271872 84692 1992294400 4194304 8395647 140734720444592 18446744073709551615 6587087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 87957 84692 596 1026 0 86927 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 351828

[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 29077
/proc/meminfo: memFree=1342196/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=352708 CPUtime=1121.85
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 128634 0 0 0 111847 338 0 0 25 0 1 0 24663933 361172992 84912 1992294400 4194304 8395647 140734720444592 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88177 84912 596 1026 0 87147 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 352708

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29077
/proc/meminfo: memFree=1342196/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=352708 CPUtime=1181.83
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 128634 0 0 0 117825 358 0 0 25 0 1 0 24663933 361172992 84912 1992294400 4194304 8395647 140734720444592 18446744073709551615 6585848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88177 84912 596 1026 0 87147 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 352708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29079
/proc/meminfo: memFree=1341204/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=353644 CPUtime=1241.8
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 128874 0 0 0 123807 373 0 0 25 0 1 0 24663933 362131456 85152 1992294400 4194304 8395647 140734720444592 18446744073709551615 4828220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88411 85152 596 1026 0 87381 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 353644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29081
/proc/meminfo: memFree=1341204/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=353644 CPUtime=1301.79
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 128874 0 0 0 129790 389 0 0 25 0 1 0 24663933 362131456 85152 1992294400 4194304 8395647 140734720444592 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88411 85152 596 1026 0 87381 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 353644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29083
/proc/meminfo: memFree=1339716/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=355548 CPUtime=1361.76
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 129252 0 0 0 135781 395 0 0 25 0 1 0 24663933 364081152 85530 1992294400 4194304 8395647 140734720444592 18446744073709551615 6622093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88887 85530 596 1026 0 87857 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 355548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29085
/proc/meminfo: memFree=1338848/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=355840 CPUtime=1421.75
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 129427 0 0 0 141766 409 0 0 25 0 1 0 24663933 364380160 85705 1992294400 4194304 8395647 140734720444592 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 88960 85705 596 1026 0 87930 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 355840

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29085
/proc/meminfo: memFree=1335252/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=360556 CPUtime=1481.71
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 130338 0 0 0 147750 421 0 0 25 0 1 0 24663933 369209344 86616 1992294400 4194304 8395647 140734720444592 18446744073709551615 6622121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90139 86616 596 1026 0 89109 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 360556

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29087
/proc/meminfo: memFree=1334508/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=361576 CPUtime=1541.7
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 130580 0 0 0 153736 434 0 0 25 0 1 0 24663933 370253824 86858 1992294400 4194304 8395647 140734720444592 18446744073709551615 6470829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90394 86858 596 1026 0 89364 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 361576

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29089
/proc/meminfo: memFree=1334508/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=361576 CPUtime=1601.67
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 130580 0 0 0 159719 448 0 0 25 0 1 0 24663933 370253824 86858 1992294400 4194304 8395647 140734720444592 18446744073709551615 6721536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90394 86858 596 1026 0 89364 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 361576

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29091
/proc/meminfo: memFree=1332896/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1661.65
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 130965 0 0 0 165707 458 0 0 25 0 1 0 24663933 372350976 87243 1992294400 4194304 8395647 140734720444592 18446744073709551615 4827915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87243 596 1026 0 89876 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 363624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29093
/proc/meminfo: memFree=1332400/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1721.63
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131097 0 0 0 171702 461 0 0 25 0 1 0 24663933 372350976 87375 1992294400 4194304 8395647 140734720444592 18446744073709551615 4827911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87375 596 1026 0 89876 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 363624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29093
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1781.6
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131097 0 0 0 177696 464 0 0 25 0 1 0 24663933 372350976 87375 1992294400 4194304 8395647 140734720444592 18446744073709551615 4827994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87375 596 1026 0 89876 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 363624

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29093
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1784.8
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131097 0 0 0 178016 464 0 0 25 0 1 0 24663933 372350976 87375 1992294400 4194304 8395647 140734720444592 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87375 596 1026 0 89876 0
Current children cumulated CPU time (s) 1784.8
Current children cumulated vsize (KiB) 363624

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29093
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1788
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131097 0 0 0 178336 464 0 0 25 0 1 0 24663933 372350976 87375 1992294400 4194304 8395647 140734720444592 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87375 596 1026 0 89876 0
Current children cumulated CPU time (s) 1788
Current children cumulated vsize (KiB) 363624

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29093
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1788.8
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131097 0 0 0 178416 464 0 0 25 0 1 0 24663933 372350976 87375 1992294400 4194304 8395647 140734720444592 18446744073709551615 4827937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87375 596 1026 0 89876 0
Current children cumulated CPU time (s) 1788.8
Current children cumulated vsize (KiB) 363624

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1789.6
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131099 0 0 0 178496 464 0 0 25 0 1 0 24663933 372350976 87377 1992294400 4194304 8395647 140734720444592 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 87377 598 1026 0 89876 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 363624

[startup+1790.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1332276/2059040 swapFree=4151252/4192956
[pid=29037] ppid=29035 vsize=363624 CPUtime=1789.8
/proc/29037/stat : 29037 (pbscip.linux.x8) R 29035 29037 28554 0 -1 4202496 131099 0 0 0 178516 464 0 0 25 0 1 0 24663933 372350976 86738 1992294400 4194304 8395647 140734720444592 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29037/statm: 90906 86738 598 1026 0 89876 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 363624

Child status: 0
Real time (s): 1790.58
CPU time (s): 1789.89
CPU user time (s): 1785.21
CPU system time (s): 4.68329
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 471632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.21
system time used= 4.68329
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 5018

runsolver used 2.96255 second user time and 8.45072 second system time

The end

Launcher Data 

Begin job on node025 at 2010-07-08 06:48:41
IDJOB=2703165
IDBENCH=48109
IDSOLVER=1213
FILE ID=node025/2703165-1278564521
PBS_JOBID= 11239573
Free space on /tmp= 62516 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703165-1278564521/watcher-2703165-1278564521 -o /tmp/evaluation-result-2703165-1278564521/solver-2703165-1278564521 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703165-1278564521.opb -t 1800 -m 1800

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

MD5SUM BENCH= 58d1d1d90868b936a5ba7e034aba056d
RANDOM SEED=114620665

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1682052 kB
Buffers:         69832 kB
Cached:         208488 kB
SwapCached:       4972 kB
Active:         153396 kB
Inactive:       148804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1682052 kB
SwapTotal:     4192956 kB
SwapFree:      4151252 kB
Dirty:           11160 kB
Writeback:           0 kB
AnonPages:       18892 kB
Mapped:          12416 kB
Slab:            52832 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180344 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= 62508 MiB
End job on node025 at 2010-07-08 07:18:32