Trace number 2663861

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)-30 1800.78 1801.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM95bfca9fba26d7f8c875796701522876
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-106
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
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)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2663861-1276667445.opb>
0.09/0.11	c original problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7827 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.09/0.11	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.19/0.21	o 0
0.19/0.21	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.19/0.21	c presolving:
0.49/0.52	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 51608 impls, 1000 clqs
0.99/1.05	c    (0.7s) probing: 101/7326 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.05	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.99/1.05	c presolving (2 rounds):
0.99/1.05	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.05	c  51608 implications, 1000 cliques
0.99/1.05	c presolved problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7827 constraints
0.99/1.05	c    1000 constraints of type <setppc>
0.99/1.05	c    6326 constraints of type <and>
0.99/1.05	c       1 constraints of type <linear>
0.99/1.05	c     500 constraints of type <logicor>
0.99/1.05	c transformed objective value is always integral (scale: 1)
0.99/1.05	c Presolving Time: 0.69
0.99/1.05	c - non default parameters ----------------------------------------------------------------------
0.99/1.05	c # SCIP version 1.2.1.2
0.99/1.05	c 
0.99/1.05	c # frequency for displaying node information lines
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.05	c display/freq = 10000
0.99/1.05	c 
0.99/1.05	c # maximal time in seconds to run
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.05	c limits/time = 1799.9
0.99/1.05	c 
0.99/1.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.05	c limits/memory = 1620
0.99/1.05	c 
0.99/1.05	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.05	c lp/solvefreq = -1
0.99/1.05	c 
0.99/1.05	c # should presolving try to simplify inequalities
0.99/1.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.05	c constraints/linear/simplifyinequalities = TRUE
0.99/1.05	c 
0.99/1.05	c # should presolving try to simplify knapsacks
0.99/1.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.05	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.05	c 
0.99/1.05	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.05	c heuristics/undercover/freq = 0
0.99/1.05	c 
0.99/1.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.05	c separating/rapidlearning/freq = 0
0.99/1.05	c 
0.99/1.05	c -----------------------------------------------------------------------------------------------
0.99/1.05	c start solving
0.99/1.05	c 
0.99/1.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.07	c t 0.8s|     1 |     2 |     0 |     - |  20M|   0 |   - |7326 |7827 |   0 |   0 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
70.17/70.26	c  69.5s| 10000 |  9927 |     0 |   0.0 |  32M| 659 |   - |7326 |7860 |   0 |   0 |   0 |  61 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
139.96/140.06	c   139s| 20000 | 19834 |     0 |   0.0 |  42M| 659 |   - |7326 |7886 |   0 |   0 |   0 | 121 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
208.24/208.38	c   207s| 30000 | 29725 |     0 |   0.0 |  53M| 659 |   - |7326 |7922 |   0 |   0 |   0 | 194 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
271.32/271.42	c   269s| 40000 | 39589 |     0 |   0.0 |  62M| 659 |   - |7326 |7964 |   0 |   0 |   0 | 283 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
329.82/329.97	c   327s| 50000 | 49263 |     0 |   0.0 |  72M| 659 |   - |7326 |8034 |   0 |   0 |   0 | 451 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
398.39/398.59	c   396s| 60000 | 59257 |     0 |   0.0 |  82M| 659 |   - |7326 |8031 |   0 |   0 |   0 | 456 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
464.58/464.72	c   461s| 70000 | 69242 |     0 |   0.0 |  92M| 659 |   - |7326 |8024 |   0 |   0 |   0 | 468 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
532.46/532.69	c   529s| 80000 | 79232 |     0 |   0.0 | 102M| 659 |   - |7326 |7974 |   0 |   0 |   0 | 476 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
600.54/600.75	c   597s| 90000 | 89221 |     0 |   0.0 | 112M| 659 |   - |7326 |7901 |   0 |   0 |   0 | 482 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
666.81/667.06	c   663s|100000 | 99207 |     0 |   0.0 | 123M| 659 |   - |7326 |7879 |   0 |   0 |   0 | 491 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
733.41/733.70	c   729s|110000 |109195 |     0 |   0.0 | 133M| 659 |   - |7326 |7877 |   0 |   0 |   0 | 498 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
801.28/801.58	c   796s|120000 |119186 |     0 |   0.0 | 143M| 659 |   - |7326 |7877 |   0 |   0 |   0 | 502 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
866.17/866.43	c   861s|130000 |129169 |     0 |   0.0 | 153M| 659 |   - |7326 |7873 |   0 |   0 |   0 | 512 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
932.35/932.61	c   927s|140000 |139157 |     0 |   0.0 | 163M| 659 |   - |7326 |7870 |   0 |   0 |   0 | 520 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
997.63/998.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
997.63/998.00	c   992s|150000 |149148 |     0 |   0.0 | 173M| 659 |   - |7326 |7871 |   0 |   0 |   0 | 527 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1065.21/1065.51	c  1059s|160000 |159128 |     0 |   0.0 | 183M| 659 |   - |7326 |7871 |   0 |   0 |   0 | 534 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1128.79/1129.14	c  1122s|170000 |169113 |     0 |   0.0 | 193M| 659 |   - |7326 |7870 |   0 |   0 |   0 | 540 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1194.08/1194.45	c  1187s|180000 |179102 |     0 |   0.0 | 203M| 659 |   - |7326 |7866 |   0 |   0 |   0 | 542 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1259.17/1259.52	c  1252s|190000 |189086 |     0 |   0.0 | 213M| 659 |   - |7326 |7867 |   0 |   0 |   0 | 550 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1322.96/1323.36	c  1315s|200000 |199069 |     0 |   0.0 | 224M| 659 |   - |7326 |7867 |   0 |   0 |   0 | 561 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1385.54/1385.98	c  1378s|210000 |209049 |     0 |   0.0 | 234M| 659 |   - |7326 |7871 |   0 |   0 |   0 | 573 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1410.33/1410.75	o -30
1410.33/1410.75	c *1402s|214116 |213152 |     0 |   0.0 | 238M| 659 |   - |7326 |7872 |   0 |   0 |   0 | 582 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1454.82/1455.25	c  1446s|220000 |218789 |     0 |   0.0 | 244M| 659 |   - |7326 |7892 |   0 |   0 |   0 | 723 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1523.00/1523.50	c  1514s|230000 |228727 |     0 |   0.0 | 255M| 659 |   - |7326 |7914 |   0 |   0 |   0 | 777 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1589.88/1590.39	c  1581s|240000 |238667 |     0 |   0.0 | 265M| 659 |   - |7326 |7937 |   0 |   0 |   0 | 831 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1656.96/1657.42	c  1648s|250000 |248612 |     0 |   0.0 | 275M| 659 |   - |7326 |7947 |   0 |   0 |   0 | 884 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1723.44/1723.96	c  1714s|260000 |258569 |     0 |   0.0 | 285M| 659 |   - |7326 |7945 |   0 |   0 |   0 | 910 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1790.24/1790.73	c  1780s|270000 |268521 |     0 |   0.0 | 295M| 659 |   - |7326 |7946 |   0 |   0 |   0 | 944 |   0 |-4.990000e+02 |-3.000000e+01 |  93.99%
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1789.77
1800.03/1800.51	c Solving Nodes      : 271440
1800.03/1800.51	c Primal Bound       : -3.00000000000000e+01 (4 solutions)
1800.03/1800.51	c Dual Bound         : -4.99000000000000e+02
1800.03/1800.51	c Gap                : 93.99 %
1800.03/1800.53	s SATISFIABLE
1800.03/1800.53	v -x774 -x830 -x914 -x753 -x818 -x636 -x812 x906 -x737 x923 -x729 -x684 -x946 -x993 -x964 -x917 -x733 -x683 -x713 -x643 x761 -x735 
1800.03/1800.53	v x723 -x829 -x726 -x804 -x615 -x797 -x859 -x846 x580 -x659 -x828 -x611 -x594 -x995 -x744 -x944 x870 x572 -x831 -x743 -x736 x998 
1800.03/1800.53	v -x931 -x835 -x567 -x861 -x971 -x680 -x576 -x656 x895 -x740 -x901 -x646 -x706 -x698 -x626 -x562 -x867 -x728 -x722 -x565 -x929 
1800.03/1800.53	v -x789 -x686 -x658 -x760 -x838 -x814 -x558 -x691 -x666 -x862 -x925 -x694 -x709 -x952 -x891 -x677 -x759 -x734 -x552 -x583 -x936 
1800.03/1800.53	v -x582 -x796 x834 -x913 -x654 -x619 -x960 -x875 -x564 -x911 -x782 x618 x621 -x662 -x857 -x793 -x710 -x872 -x958 -x751 -x772 
1800.03/1800.53	v -x876 -x788 -x672 x937 -x881 -x652 -x651 -x863 -x550 -x839 -x791 -x767 -x588 -x561 -x675 -x673 -x924 -x877 -x837 -x978 -x624 
1800.03/1800.53	v -x1000 -x790 -x918 -x750 -x935 -x548 x919 -x630 -x900 -x546 -x581 -x637 -x850 -x535 -x649 -x786 -x832 -x747 -x840 -x851 -x534 
1800.03/1800.53	v -x898 -x858 -x536 -x957 -x809 -x968 -x533 -x951 -x941 -x909 -x908 -x856 -x720 -x977 -x604 -x833 -x916 x799 -x540 -x953 -x600 
1800.03/1800.53	v -x593 -x687 -x617 -x824 -x554 -x836 -x606 -x975 -x644 -x991 -x887 -x930 -x642 -x934 -x693 -x665 -x607 -x899 -x779 -x989 -x762 
1800.03/1800.53	v -x892 -x622 -x531 -x585 -x805 -x625 -x586 -x551 -x928 -x841 -x685 -x739 -x525 -x704 -x689 -x579 -x549 -x669 -x959 -x855 
1800.03/1800.53	v -x890 -x667 -x616 -x871 -x888 -x696 -x976 -x523 -x792 -x629 -x566 -x596 -x956 -x559 -x522 x716 -x714 -x553 -x702 -x768 x539 -x781 
1800.03/1800.53	v -x985 -x820 -x843 -x543 -x813 -x922 -x794 -x563 -x530 x520 -x938 -x764 -x610 -x758 -x614 -x866 -x992 -x773 -x708 -x647 -x592 
1800.03/1800.53	v -x663 -x547 -x674 -x730 -x896 -x979 -x518 x798 -x731 -x653 -x641 -x587 -x590 -x803 -x679 -x770 -x860 -x682 -x785 -x608 -x577 
1800.03/1800.53	v -x639 -x655 -x578 -x516 -x893 -x854 -x745 -x645 -x602 -x542 -x638 x849 -x921 -x869 x724 -x537 -x515 -x598 -x852 -x987 -x660 
1800.03/1800.53	v -x910 x771 -x514 -x950 -x882 -x842 -x815 -x727 -x711 -x670 -x632 -x556 -x927 -x884 -x826 -x664 -x885 -x983 -x949 -x920 -x766 
1800.03/1800.53	v -x756 -x695 -x668 -x571 -x589 -x945 -x712 -x981 -x697 -x765 -x980 -x521 -x512 -x954 -x819 -x808 -x776 -x717 -x865 -x897 -x853 
1800.03/1800.53	v -x678 -x627 -x513 -x879 -x511 -x816 -x810 -x763 -x699 -x544 -x703 -x742 -x707 -x967 -x681 x671 -x609 -x986 -x940 -x878 -x847 
1800.03/1800.53	v -x749 -x825 -x912 -x990 -x889 -x746 -x705 -x528 x524 x657 -x806 -x661 -x868 -x933 -x988 -x800 -x634 -x947 -x807 -x778 -x754 
1800.03/1800.53	v -x752 -x612 -x569 -x939 -x974 -x603 -x997 -x591 -x907 -x970 -x966 -x783 -x628 -x575 -x527 -x508 -x640 -x692 -x932 -x994 -x573 
1800.03/1800.53	v -x732 -x738 -x506 -x999 -x633 -x509 -x817 -x507 -x755 -x996 -x787 -x873 -x822 -x568 -x948 -x690 -x505 x972 -x963 -x701 -x560 
1800.03/1800.53	v -x517 -x748 -x844 -x973 -x599 -x943 -x532 -x845 -x676 -x777 -x880 -x504 -x926 -x801 -x784 -x613 -x601 -x595 -x570 -x962 
1800.03/1800.53	v -x984 -x725 -x795 -x620 -x700 -x757 -x905 -x874 x503 -x848 -x688 -x635 -x557 -x631 -x821 -x721 x883 -x823 -x719 -x574 -x780 -x969 
1800.03/1800.53	v -x605 -x502 -x961 -x894 -x769 -x741 -x648 -x597 -x519 -x718 -x650 -x902 -x942 -x903 -x915 x904 -x965 -x715 -x955 -x501 -x982 
1800.03/1800.53	v -x811 -x623 -x555 -x541 x510 -x545 -x886 -x529 -x526 -x538 -x864 -x827 -x775 -x584 -x802 -x500 -x499 -x498 -x497 -x496 -x495 
1800.03/1800.53	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1800.03/1800.53	v x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1800.03/1800.53	v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 
1800.03/1800.53	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
1800.03/1800.53	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
1800.03/1800.53	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1800.03/1800.53	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
1800.03/1800.53	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 
1800.03/1800.53	v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
1800.03/1800.53	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 
1800.03/1800.53	v -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 
1800.03/1800.53	v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 
1800.03/1800.53	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 
1800.03/1800.53	v -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 
1800.03/1800.53	v -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 
1800.03/1800.53	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 
1800.03/1800.53	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
1800.03/1800.53	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 
1800.03/1800.53	v -x117 -x116 -x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 
1800.03/1800.53	v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 x76 -x75 x74 -x73 -x72 -x71 x70 
1800.03/1800.53	v -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 
1800.03/1800.53	v x44 -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 
1800.03/1800.53	v x18 -x17 -x16 -x15 x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.03/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.53	c Solving Time       :    1789.77
1800.03/1800.53	c Original Problem   :
1800.03/1800.53	c   Problem name     : HOME/instance-2663861-1276667445.opb
1800.03/1800.53	c   Variables        : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53	c   Constraints      : 7827 initial, 7827 maximal
1800.03/1800.53	c Presolved Problem  :
1800.03/1800.53	c   Problem name     : t_HOME/instance-2663861-1276667445.opb
1800.03/1800.53	c   Variables        : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53	c   Constraints      : 7827 initial, 8035 maximal
1800.03/1800.53	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.53	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.53	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.53	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.53	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.53	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.53	c   probing          :       0.29          0          0          0          0          0          0          0          0
1800.03/1800.53	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.53	c   and              :       0.24          0          0          0          0          0          0          0          0
1800.03/1800.53	c   linear           :       0.06          0          0          0          0          0          0          0          0
1800.03/1800.53	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.53	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.53	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.53	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.53	c   setppc           :       1000          0     607549          0     270909        680      13395          0          0          0
1800.03/1800.53	c   and              :       6326          0     606868          0     270909          1    3834092          0          0          0
1800.03/1800.53	c   linear           :          1          0     606433          0     270909         16     267154          0          0          0
1800.03/1800.53	c   logicor          :        500+         0      37027          0     270910         36      21503          0          0          0
1800.03/1800.53	c   countsols        :          0          0          0          0     270910          0          0          0          0          0
1800.03/1800.53	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.53	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.53	c   setppc           :     366.52       0.00      42.88       0.00     323.64
1800.03/1800.53	c   and              :     484.56       0.00     216.62       0.00     267.94
1800.03/1800.53	c   linear           :      78.22       0.00      77.60       0.00       0.62
1800.03/1800.53	c   logicor          :      85.30       0.00       1.09       0.00      84.21
1800.03/1800.53	c   countsols        :       0.08       0.00       0.00       0.00       0.08
1800.03/1800.53	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.53	c   vbounds          :       0.58          2          0          0
1800.03/1800.53	c   rootredcost      :       0.59          0          0          0
1800.03/1800.53	c   pseudoobj        :      34.03     607443         94          0
1800.03/1800.53	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.53	c   propagation      :      10.39        827        817      27799      420.9         10      500.5          -
1800.03/1800.53	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.53	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.53	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.53	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.53	c   applied globally :          -          -          -        948      231.2          -          -          -
1800.03/1800.53	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.53	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.53	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.53	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.53	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.53	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.53	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.53	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.53	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.53	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.53	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.53	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.53	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.53	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.53	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.53	c Pricers            :       Time      Calls       Vars
1800.03/1800.53	c   problem variables:       0.00          0          0
1800.03/1800.53	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.53	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   inference        :     697.76     270909          0          0          0          0     541818
1800.03/1800.53	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.53	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.53	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.53	c   LP solutions     :       0.00          -          0
1800.03/1800.53	c   pseudo solutions :       0.01          -          1
1800.03/1800.53	c   oneopt           :       0.59          0          0
1800.03/1800.53	c   trivial          :       0.03          2          3
1800.03/1800.53	c   simplerounding   :       0.00          0          0
1800.03/1800.53	c   zirounding       :       0.00          0          0
1800.03/1800.53	c   rounding         :       0.00          0          0
1800.03/1800.53	c   shifting         :       0.00          0          0
1800.03/1800.53	c   intshifting      :       0.00          0          0
1800.03/1800.53	c   twoopt           :       0.00          0          0
1800.03/1800.53	c   fixandinfer      :       0.00          0          0
1800.03/1800.53	c   feaspump         :       0.00          0          0
1800.03/1800.53	c   coefdiving       :       0.00          0          0
1800.03/1800.53	c   pscostdiving     :       0.00          0          0
1800.03/1800.53	c   fracdiving       :       0.00          0          0
1800.03/1800.53	c   veclendiving     :       0.00          0          0
1800.03/1800.53	c   intdiving        :       0.00          0          0
1800.03/1800.53	c   actconsdiving    :       0.00          0          0
1800.03/1800.53	c   objpscostdiving  :       0.00          0          0
1800.03/1800.53	c   rootsoldiving    :       0.00          0          0
1800.03/1800.53	c   linesearchdiving :       0.00          0          0
1800.03/1800.53	c   guideddiving     :       0.00          0          0
1800.03/1800.53	c   octane           :       0.00          0          0
1800.03/1800.53	c   rens             :       0.00          0          0
1800.03/1800.53	c   rins             :       0.00          0          0
1800.03/1800.53	c   localbranching   :       0.00          0          0
1800.03/1800.53	c   mutation         :       0.00          0          0
1800.03/1800.53	c   crossover        :       0.00          0          0
1800.03/1800.53	c   dins             :       0.00          0          0
1800.03/1800.53	c   undercover       :       0.00          0          0
1800.03/1800.53	c   nlp              :       0.19          0          0
1800.03/1800.53	c   trysol           :       0.10          0          0
1800.03/1800.53	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.53	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.53	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.53	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.53	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.53	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.53	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.53	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.53	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.53	c B&B Tree           :
1800.03/1800.53	c   number of runs   :          1
1800.03/1800.53	c   nodes            :     271440
1800.03/1800.53	c   nodes (total)    :     271440
1800.03/1800.53	c   nodes left       :     269958
1800.03/1800.53	c   max depth        :        659
1800.03/1800.53	c   max depth (total):        659
1800.03/1800.53	c   backtracks       :       1054 (0.4%)
1800.03/1800.53	c   delayed cutoffs  :        421
1800.03/1800.53	c   repropagations   :      50951 (201614 domain reductions, 297 cutoffs)
1800.03/1800.53	c   avg switch length:       2.55
1800.03/1800.53	c   switching time   :      19.70
1800.03/1800.53	c Solution           :
1800.03/1800.53	c   Solutions found  :          4 (2 improvements)
1800.03/1800.53	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.03/1800.53	c   Primal Bound     : -3.00000000000000e+01   (in run 1, after 214116 nodes, 1402.23 seconds, depth 482, found by <relaxation>)
1800.03/1800.53	c   Dual Bound       : -4.99000000000000e+02
1800.03/1800.53	c   Gap              :      93.99 %
1800.03/1800.53	c   Root Dual Bound  : -5.00000000000000e+02
1800.03/1800.53	c   Root Iterations  :          0
1800.72/1801.24	c Time complete: 1800.77.

Verifier Data 

OK	-30

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663861-1276667445/watcher-2663861-1276667445 -o /tmp/evaluation-result-2663861-1276667445/solver-2663861-1276667445 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663861-1276667445.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.92 1.01 0.99 3/106 14736
/proc/meminfo: memFree=1759092/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=6584 CPUtime=0
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 1124 0 0 0 0 0 0 0 17 0 1 0 8036746 6742016 1046 1992294400 4194304 7136930 140735747053072 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 1646 1056 254 719 0 925 0

[startup+0.0418991 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 14736
/proc/meminfo: memFree=1759092/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=12856 CPUtime=0.03
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 2698 0 0 0 3 0 0 0 17 0 1 0 8036746 13164544 2620 1992294400 4194304 7136930 140735747053072 18446744073709551615 6415705 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 3214 2620 272 719 0 2493 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12856

[startup+0.100904 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 14736
/proc/meminfo: memFree=1759092/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=17808 CPUtime=0.09
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 3940 0 0 0 8 1 0 0 17 0 1 0 8036746 18235392 3862 1992294400 4194304 7136930 140735747053072 18446744073709551615 6178271 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 4452 3862 272 719 0 3731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17808

[startup+0.300925 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 14736
/proc/meminfo: memFree=1759092/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=36232 CPUtime=0.29
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 8943 0 0 0 25 4 0 0 17 0 1 0 8036746 37101568 8254 1992294400 4194304 7136930 140735747053072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 9058 8254 333 719 0 8337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36232

[startup+0.700965 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 14736
/proc/meminfo: memFree=1759092/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=38932 CPUtime=0.69
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 10951 0 0 0 49 20 0 0 17 0 1 0 8036746 39866368 8977 1992294400 4194304 7136930 140735747053072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 9733 8977 361 719 0 9012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38932

[startup+1.50105 s]
/proc/loadavg: 0.92 1.01 0.99 2/107 14737
/proc/meminfo: memFree=1723496/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=40576 CPUtime=1.49
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 11990 0 0 0 126 23 0 0 18 0 1 0 8036746 41549824 9502 1992294400 4194304 7136930 140735747053072 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 10144 9502 388 719 0 9423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40576

[startup+3.10121 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 14737
/proc/meminfo: memFree=1721760/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=43412 CPUtime=3.09
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 12672 0 0 0 284 25 0 0 21 0 1 0 8036746 44453888 10184 1992294400 4194304 7136930 140735747053072 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 10853 10184 393 719 0 10132 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43412

[startup+6.30154 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 14739
/proc/meminfo: memFree=1718040/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=45196 CPUtime=6.29
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 13065 0 0 0 602 27 0 0 25 0 1 0 8036746 46280704 10577 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 11299 10577 393 719 0 10578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45196

[startup+12.7012 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 14739
/proc/meminfo: memFree=1715684/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=47348 CPUtime=12.69
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 13603 0 0 0 1239 30 0 0 25 0 1 0 8036746 48484352 11115 1992294400 4194304 7136930 140735747053072 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 11837 11115 393 719 0 11116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47348

[startup+25.5005 s]
/proc/loadavg: 0.95 1.01 0.99 2/107 14739
/proc/meminfo: memFree=1712832/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=50076 CPUtime=25.49
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 14316 0 0 0 2513 36 0 0 25 0 1 0 8036746 51277824 11828 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 12519 11828 393 719 0 11798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50076

[startup+51.1011 s]
/proc/loadavg: 0.96 1.01 0.99 2/107 14739
/proc/meminfo: memFree=1707500/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=55768 CPUtime=51.08
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 15647 0 0 0 5058 50 0 0 25 0 1 0 8036746 57106432 13159 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 13942 13159 393 719 0 13221 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55768

[startup+102.312 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 14741
/proc/meminfo: memFree=1698572/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=64524 CPUtime=102.28
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 17867 0 0 0 10149 79 0 0 25 0 1 0 8036746 66072576 15379 1992294400 4194304 7136930 140735747053072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 16131 15379 393 719 0 15410 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64524

[startup+162.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14743
/proc/meminfo: memFree=1686916/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=75816 CPUtime=162.25
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 20731 0 0 0 16112 113 0 0 25 0 1 0 8036746 77635584 18243 1992294400 4194304 7136930 140735747053072 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 18954 18243 393 719 0 18233 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75816

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14743
/proc/meminfo: memFree=1676004/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=86632 CPUtime=222.23
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 23458 0 0 0 22073 150 0 0 25 0 1 0 8036746 88711168 20970 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 21658 20970 393 719 0 20937 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86632

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14745
/proc/meminfo: memFree=1666828/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=96680 CPUtime=282.22
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 25997 0 0 0 28029 193 0 0 25 0 1 0 8036746 99000320 23509 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 24170 23509 393 719 0 23449 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 96680

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14747
/proc/meminfo: memFree=1652196/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=110140 CPUtime=342.2
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 29372 0 0 0 33984 236 0 0 25 0 1 0 8036746 112783360 26884 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 27535 26884 393 719 0 26814 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 110140

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14749
/proc/meminfo: memFree=1645624/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=116656 CPUtime=402.19
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 31019 0 0 0 39949 270 0 0 25 0 1 0 8036746 119455744 28531 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 29164 28531 393 719 0 28443 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 116656

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14751
/proc/meminfo: memFree=1635456/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=128660 CPUtime=462.18
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 33540 0 0 0 45915 303 0 0 25 0 1 0 8036746 131747840 31052 1992294400 4194304 7136930 140735747053072 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 32165 31052 393 719 0 31444 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 128660

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14751
/proc/meminfo: memFree=1627520/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=136476 CPUtime=522.16
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 35517 0 0 0 51882 334 0 0 25 0 1 0 8036746 139751424 33029 1992294400 4194304 7136930 140735747053072 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 34119 33029 393 719 0 33398 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 136476

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14753
/proc/meminfo: memFree=1618096/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=145720 CPUtime=582.14
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 37844 0 0 0 57849 365 0 0 25 0 1 0 8036746 149217280 35356 1992294400 4194304 7136930 140735747053072 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 36430 35356 393 719 0 35709 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 145720

[startup+642.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14764
/proc/meminfo: memFree=1608920/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=154088 CPUtime=642.12
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 39970 0 0 0 63812 400 0 0 25 0 1 0 8036746 157786112 37482 1992294400 4194304 7136930 140735747053072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 38522 37482 393 719 0 37801 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 154088

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14774
/proc/meminfo: memFree=1551632/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=210928 CPUtime=1002.03
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 54318 0 0 0 99616 587 0 0 25 0 1 0 8036746 215990272 51830 1992294400 4194304 7136930 140735747053072 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 52732 51830 393 719 0 52011 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 210928

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 14776
/proc/meminfo: memFree=1543076/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=219348 CPUtime=1062.02
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 56459 0 0 0 105583 619 0 0 25 0 1 0 8036746 224612352 53971 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 54837 53971 393 719 0 54116 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 219348

[startup+1122.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 14776
/proc/meminfo: memFree=1531792/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=230596 CPUtime=1122
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 59302 0 0 0 111548 652 0 0 25 0 1 0 8036746 236130304 56814 1992294400 4194304 7136930 140735747053072 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 57649 56814 393 719 0 56928 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 230596

[startup+1182.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 14778
/proc/meminfo: memFree=1522864/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=240196 CPUtime=1181.98
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 61745 0 0 0 117518 680 0 0 25 0 1 0 8036746 245960704 59257 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 60049 59257 393 719 0 59328 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 240196

[startup+1242.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 14780
/proc/meminfo: memFree=1514680/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=248208 CPUtime=1241.97
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 63759 0 0 0 123487 710 0 0 25 0 1 0 8036746 254164992 61271 1992294400 4194304 7136930 140735747053072 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 62052 61271 393 719 0 61331 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 248208

[startup+1302.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 14782
/proc/meminfo: memFree=1504636/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=257160 CPUtime=1301.96
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 66013 0 0 0 129450 746 0 0 25 0 1 0 8036746 263331840 63525 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 64290 63525 393 719 0 63569 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 257160

[startup+1362.3 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 14784
/proc/meminfo: memFree=1496328/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=269436 CPUtime=1361.94
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 68082 0 0 0 135417 777 0 0 25 0 1 0 8036746 275902464 65594 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 67359 65594 393 719 0 66638 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 269436

[startup+1422.31 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 14784
/proc/meminfo: memFree=1484920/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=280588 CPUtime=1421.93
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 70906 0 0 0 141380 813 0 0 25 0 1 0 8036746 287322112 68418 1992294400 4194304 7136930 140735747053072 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 70147 68418 393 719 0 69426 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 280588

[startup+1482.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 14786
/proc/meminfo: memFree=1474752/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=290728 CPUtime=1481.9
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 73454 0 0 0 147346 844 0 0 25 0 1 0 8036746 297705472 70966 1992294400 4194304 7136930 140735747053072 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 72682 70966 393 719 0 71961 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 290728

[startup+1542.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 14788
/proc/meminfo: memFree=1465204/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=300132 CPUtime=1541.89
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 75818 0 0 0 153311 878 0 0 25 0 1 0 8036746 307335168 73330 1992294400 4194304 7136930 140735747053072 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 75033 73330 393 719 0 74312 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 300132

[startup+1602.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 14790
/proc/meminfo: memFree=1454540/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=310804 CPUtime=1601.88
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 78475 0 0 0 159277 911 0 0 25 0 1 0 8036746 318263296 75987 1992294400 4194304 7136930 140735747053072 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 77701 75987 393 719 0 76980 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 310804

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 14792
/proc/meminfo: memFree=1446232/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=319096 CPUtime=1661.86
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 80553 0 0 0 165244 942 0 0 25 0 1 0 8036746 326754304 78065 1992294400 4194304 7136930 140735747053072 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 79774 78065 393 719 0 79053 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 319096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 14792
/proc/meminfo: memFree=1435816/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=329328 CPUtime=1721.85
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 83131 0 0 0 171209 976 0 0 25 0 1 0 8036746 337231872 80643 1992294400 4194304 7136930 140735747053072 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 82332 80643 393 719 0 81611 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 329328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14794
/proc/meminfo: memFree=1427136/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=337628 CPUtime=1781.83
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 85214 0 0 0 177175 1008 0 0 25 0 1 0 8036746 345731072 82726 1992294400 4194304 7136930 140735747053072 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 84407 82726 393 719 0 83686 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 337628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14794
/proc/meminfo: memFree=1426392/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=338436 CPUtime=1800.03
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 85403 0 0 0 178985 1018 0 0 25 0 1 0 8036746 346558464 82915 1992294400 4194304 7136930 140735747053072 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14736/statm: 84609 82915 393 719 0 83888 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 338436

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 14795
/proc/meminfo: memFree=1426384/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=337920 CPUtime=1800.14
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 85408 0 0 0 178996 1018 0 0 25 0 1 0 8036746 346030080 82791 1992294400 4194304 7136930 140735747053072 18446744073709551615 4670183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 84480 82791 398 719 0 83759 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 337920

[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 14795
/proc/meminfo: memFree=1426384/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=326648 CPUtime=1800.52
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 85408 0 0 0 179034 1018 0 0 25 0 1 0 8036746 334487552 79973 1992294400 4194304 7136930 140735747053072 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 81662 79973 398 719 0 80941 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 326648

[startup+1801.2 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 14795
/proc/meminfo: memFree=1426384/2059040 swapFree=4192956/4192956
[pid=14736] ppid=14734 vsize=142012 CPUtime=1800.72
/proc/14736/stat : 14736 (pbscip.linux.x8) R 14734 14736 14711 0 -1 4202496 85408 0 0 0 179052 1020 0 0 25 0 1 0 8036746 145420288 33831 1992294400 4194304 7136930 140735747053072 18446744073709551615 6165700 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14736/statm: 35503 33831 398 719 0 34782 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 142012

Child status: 0
Real time (s): 1801.24
CPU time (s): 1800.78
CPU user time (s): 1790.56
CPU system time (s): 10.2214
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 338436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.56
system time used= 10.2214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2383

runsolver used 2.75158 second user time and 8.73167 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 07:50:45
IDJOB=2663861
IDBENCH=48234
IDSOLVER=1167
FILE ID=node045/2663861-1276667445
PBS_JOBID= 11172519
Free space on /tmp= 62460 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_10_4.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-2663861-1276667445/watcher-2663861-1276667445 -o /tmp/evaluation-result-2663861-1276667445/solver-2663861-1276667445 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663861-1276667445.opb -t 1800 -m 1800

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

MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876
RANDOM SEED=383751482

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1759744 kB
Buffers:         57260 kB
Cached:         117348 kB
SwapCached:          0 kB
Active:          92144 kB
Inactive:       141704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759744 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3532 kB
Writeback:           0 kB
AnonPages:       59228 kB
Mapped:          15304 kB
Slab:            43804 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180948 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= 62456 MiB
End job on node045 at 2010-06-16 08:20:48