Trace number 2663883

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)0 1800.78 1801.29

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
MD5SUMfc8bff78845ab9a14b2d06ab749e4dc4
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-107
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -137
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)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

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-2663883-1276671040.opb>
0.09/0.11	c original problem has 7328 variables (7328 bin, 0 int, 0 impl, 0 cont) and 7829 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, 51624 impls, 1000 clqs
1.00/1.05	c    (0.7s) probing: 101/7328 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.05	c    (0.7s) probing aborted: 100/100 successive totally useless probings
1.00/1.05	c presolving (2 rounds):
1.00/1.05	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.05	c  51624 implications, 1000 cliques
1.00/1.05	c presolved problem has 7328 variables (7328 bin, 0 int, 0 impl, 0 cont) and 7829 constraints
1.00/1.05	c    1000 constraints of type <setppc>
1.00/1.05	c    6328 constraints of type <and>
1.00/1.05	c       1 constraints of type <linear>
1.00/1.05	c     500 constraints of type <logicor>
1.00/1.05	c transformed objective value is always integral (scale: 1)
1.00/1.05	c Presolving Time: 0.69
1.00/1.05	c - non default parameters ----------------------------------------------------------------------
1.00/1.05	c # SCIP version 1.2.1.2
1.00/1.05	c 
1.00/1.05	c # frequency for displaying node information lines
1.00/1.05	c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.05	c display/freq = 10000
1.00/1.05	c 
1.00/1.05	c # maximal time in seconds to run
1.00/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05	c limits/time = 1799.9
1.00/1.05	c 
1.00/1.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05	c limits/memory = 1620
1.00/1.05	c 
1.00/1.05	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.00/1.05	c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.05	c lp/solvefreq = -1
1.00/1.05	c 
1.00/1.05	c # should presolving try to simplify inequalities
1.00/1.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05	c constraints/linear/simplifyinequalities = TRUE
1.00/1.05	c 
1.00/1.05	c # should presolving try to simplify knapsacks
1.00/1.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05	c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.05	c 
1.00/1.05	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.00/1.05	c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.05	c heuristics/undercover/freq = 0
1.00/1.05	c 
1.00/1.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.05	c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.05	c separating/rapidlearning/freq = 0
1.00/1.05	c 
1.00/1.05	c -----------------------------------------------------------------------------------------------
1.00/1.05	c start solving
1.00/1.06	c 
1.00/1.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.00/1.08	c t 0.8s|     1 |     2 |     0 |     - |  20M|   0 |   - |7328 |7829 |   0 |   0 |   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
73.37/73.47	c  72.7s| 10000 |  9918 |     0 |   0.0 |  32M| 595 |   - |7328 |7873 |   0 |   0 |   0 |  80 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
145.35/145.45	c   144s| 20000 | 19820 |     0 |   0.0 |  42M| 595 |   - |7328 |7895 |   0 |   0 |   0 | 273 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
215.74/215.89	c   214s| 30000 | 29700 |     0 |   0.0 |  52M| 595 |   - |7328 |7924 |   0 |   0 |   0 | 401 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
280.21/280.32	c   278s| 40000 | 39546 |     0 |   0.0 |  62M| 595 |   - |7328 |7966 |   0 |   0 |   0 | 501 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
344.39/344.58	c   342s| 50000 | 49256 |     0 |   0.0 |  72M| 595 |   - |7328 |8012 |   0 |   0 |   0 | 650 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
417.68/417.82	c   415s| 60000 | 59191 |     0 |   0.0 |  82M| 595 |   - |7328 |8023 |   0 |   0 |   0 | 689 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
488.75/488.99	c   486s| 70000 | 69149 |     0 |   0.0 |  92M| 595 |   - |7328 |7990 |   0 |   0 |   0 | 708 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
562.14/562.38	c   559s| 80000 | 79135 |     0 |   0.0 | 102M| 595 |   - |7328 |7927 |   0 |   0 |   0 | 716 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
635.70/635.97	c   632s| 90000 | 89122 |     0 |   0.0 | 112M| 595 |   - |7328 |7887 |   0 |   0 |   0 | 721 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
707.58/707.89	c   703s|100000 | 99107 |     0 |   0.0 | 123M| 595 |   - |7328 |7872 |   0 |   0 |   0 | 732 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
778.67/778.93	c   774s|110000 |109096 |     0 |   0.0 | 133M| 595 |   - |7328 |7865 |   0 |   0 |   0 | 738 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
848.74/849.01	c   844s|120000 |119086 |     0 |   0.0 | 143M| 595 |   - |7328 |7861 |   0 |   0 |   0 | 741 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
918.02/918.39	c   913s|130000 |129067 |     0 |   0.0 | 153M| 595 |   - |7328 |7865 |   0 |   0 |   0 | 753 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
987.41/987.75	c   982s|140000 |139055 |     0 |   0.0 | 163M| 595 |   - |7328 |7864 |   0 |   0 |   0 | 762 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1056.19/1056.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1056.19/1056.50	c  1050s|150000 |149021 |     0 |   0.0 | 173M| 595 |   - |7328 |7869 |   0 |   0 |   0 | 780 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1125.37/1125.78	c  1119s|160000 |159010 |     0 |   0.0 | 183M| 595 |   - |7328 |7868 |   0 |   0 |   0 | 787 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1198.05/1198.42	c  1191s|170000 |168992 |     0 |   0.0 | 193M| 595 |   - |7328 |7868 |   0 |   0 |   0 | 793 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1266.03/1266.47	c  1259s|180000 |178975 |     0 |   0.0 | 203M| 595 |   - |7328 |7872 |   0 |   0 |   0 | 806 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1336.12/1336.52	c  1328s|190000 |188962 |     0 |   0.0 | 213M| 595 |   - |7328 |7867 |   0 |   0 |   0 | 812 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1405.99/1406.40	c  1398s|200000 |198943 |     0 |   0.0 | 224M| 595 |   - |7328 |7867 |   0 |   0 |   0 | 819 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1475.27/1475.75	c  1467s|210000 |208928 |     0 |   0.0 | 234M| 595 |   - |7328 |7866 |   0 |   0 |   0 | 826 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1545.95/1546.46	c  1537s|220000 |218918 |     0 |   0.0 | 244M| 595 |   - |7328 |7864 |   0 |   0 |   0 | 829 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1615.13/1615.65	c  1606s|230000 |228895 |     0 |   0.0 | 254M| 595 |   - |7328 |7869 |   0 |   0 |   0 | 839 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1684.41/1684.97	c  1675s|240000 |238876 |     0 |   0.0 | 264M| 595 |   - |7328 |7873 |   0 |   0 |   0 | 849 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1753.50/1754.07	c  1744s|250000 |248863 |     0 |   0.0 | 274M| 595 |   - |7328 |7877 |   0 |   0 |   0 | 855 |   0 |-4.990000e+02 | 0.000000e+00 | 100.00%
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61	c 
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time (sec) : 1789.93
1800.10/1800.61	c Solving Nodes      : 256711
1800.10/1800.61	c Primal Bound       : +0.00000000000000e+00 (3 solutions)
1800.10/1800.61	c Dual Bound         : -4.99000000000000e+02
1800.10/1800.61	c Gap                : 100.00 %
1800.10/1800.63	s SATISFIABLE
1800.10/1800.63	v -x912 -x880 -x951 -x964 -x635 -x959 -x997 -x920 -x750 -x623 -x884 -x757 -x715 -x992 -x895 -x940 -x782 -x926 -x906 -x790 -x707 -x583 
1800.10/1800.63	v -x829 -x969 -x685 -x821 -x891 -x696 -x925 -x1000 -x894 -x879 -x945 -x832 -x928 -x859 -x854 -x770 -x828 -x916 -x801 -x930 
1800.10/1800.63	v -x820 -x813 -x933 -x839 -x977 -x838 -x684 -x629 -x837 -x991 -x740 -x860 -x908 -x751 -x559 -x943 -x805 -x678 -x614 -x819 -x760 
1800.10/1800.63	v -x995 -x913 -x779 -x794 -x648 -x753 -x901 -x998 -x975 -x554 -x612 -x659 -x695 -x866 -x551 -x883 -x855 -x953 -x862 -x936 -x549 
1800.10/1800.63	v -x798 -x771 -x795 -x962 -x954 -x814 -x546 -x877 -x577 -x996 -x958 -x931 -x944 -x553 -x683 -x621 -x919 -x848 -x602 -x593 -x780 
1800.10/1800.63	v -x956 -x970 -x637 -x607 -x609 -x541 -x574 -x873 -x543 -x627 -x979 -x957 -x806 -x759 -x616 -x669 -x539 -x900 -x889 -x688 -x671 
1800.10/1800.63	v -x636 -x948 -x905 -x822 -x664 -x641 -x737 -x903 -x980 -x681 -x633 -x847 -x647 -x852 -x793 -x987 -x836 -x815 -x743 -x613 
1800.10/1800.63	v -x850 -x692 -x595 -x773 -x682 -x555 -x981 -x534 -x842 -x784 -x849 -x675 -x934 -x976 -x888 -x818 -x597 -x777 -x896 -x626 -x651 
1800.10/1800.63	v -x679 -x937 -x825 -x610 -x581 -x856 -x722 -x530 -x592 -x765 -x796 -x978 -x985 -x853 -x952 -x947 -x676 -x560 -x994 -x786 -x890 
1800.10/1800.63	v -x990 -x863 -x565 -x528 -x756 -x701 -x661 -x775 -x950 -x942 -x643 -x764 -x694 -x788 -x960 -x619 -x767 -x713 -x672 -x599 -x561 
1800.10/1800.63	v -x923 -x844 -x525 -x674 -x904 -x827 -x772 -x955 -x841 -x869 -x749 -x649 -x658 -x586 -x523 -x634 -x857 -x911 -x708 -x677 -x758 
1800.10/1800.63	v -x834 -x735 -x687 -x742 -x666 -x736 -x601 -x909 -x804 -x733 -x569 -x620 -x748 -x754 -x730 -x744 -x654 -x640 -x618 -x585 -x572 
1800.10/1800.63	v -x563 -x527 -x939 -x897 -x725 -x941 -x914 -x752 -x802 -x575 -x547 -x537 -x840 -x600 -x972 -x785 -x665 -x811 -x729 -x588 
1800.10/1800.63	v -x540 -x893 -x723 -x568 -x571 -x792 -x579 -x732 -x524 -x556 -x521 -x835 -x727 -x982 -x632 -x622 -x871 -x745 -x721 -x615 -x596 
1800.10/1800.63	v -x741 -x646 -x867 -x706 -x517 -x699 -x807 -x886 -x872 -x755 -x663 -x545 -x817 -x921 -x542 -x973 -x823 -x580 -x638 -x988 -x698 
1800.10/1800.63	v -x831 -x876 -x851 -x532 -x861 -x833 -x874 -x882 -x642 -x673 -x875 -x589 -x907 -x693 -x512 -x965 -x881 -x781 -x520 -x690 -x535 
1800.10/1800.63	v -x924 -x598 -x984 -x747 -x983 -x511 -x968 -x739 -x728 -x703 -x590 -x533 -x578 -x710 -x989 -x519 -x799 -x719 -x809 -x510 -x986 
1800.10/1800.63	v -x917 -x864 -x608 -x536 -x516 -x515 -x656 -x702 -x766 -x870 -x582 -x918 -x509 -x845 -x526 -x652 -x938 -x961 -x704 -x800 -x885 
1800.10/1800.63	v -x734 -x686 -x508 -x922 -x714 -x709 -x689 -x660 -x738 -x558 -x763 -x971 -x644 -x518 -x726 -x717 -x630 -x604 -x691 -x769 
1800.10/1800.63	v -x718 -x617 -x522 -x544 -x963 -x506 -x902 -x826 -x624 -x531 -x513 -x887 -x606 -x949 -x824 -x810 -x967 -x567 -x700 -x946 -x505 
1800.10/1800.63	v -x993 -x935 -x787 -x705 -x605 -x584 -x552 -x645 -x776 -x591 -x915 -x557 -x966 -x507 -x668 -x504 -x932 -x812 -x639 -x858 -x898 
1800.10/1800.63	v -x974 -x878 -x653 -x697 -x662 -x803 -x783 -x587 -x503 -x899 -x762 -x657 -x566 -x514 -x564 -x797 -x631 -x711 -x892 -x768 -x816 
1800.10/1800.63	v -x570 -x573 -x502 -x929 -x761 -x716 -x712 -x670 -x667 -x625 -x611 -x603 -x529 -x731 -x868 -x774 -x655 -x550 -x538 -x594 -x650 
1800.10/1800.63	v -x680 -x843 -x501 -x927 -x910 -x846 -x830 -x808 -x724 -x548 -x628 -x746 -x778 -x865 -x999 -x562 -x576 -x789 -x720 -x791 -x500 
1800.10/1800.63	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 
1800.10/1800.63	v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 
1800.10/1800.63	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
1800.10/1800.63	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 
1800.10/1800.63	v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 
1800.10/1800.63	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 
1800.10/1800.63	v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 
1800.10/1800.63	v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 
1800.10/1800.63	v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 
1800.10/1800.63	v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 
1800.10/1800.63	v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 
1800.10/1800.63	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 
1800.10/1800.63	v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1800.10/1800.63	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
1800.10/1800.63	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
1800.10/1800.63	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
1800.10/1800.63	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.10/1800.63	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.10/1800.63	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.10/1800.63	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 
1800.10/1800.63	v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 
1800.10/1800.63	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
1800.10/1800.63	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.10/1800.63	v -x4 -x3 -x2 -x1 
1800.10/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.63	c Solving Time       :    1789.93
1800.10/1800.63	c Original Problem   :
1800.10/1800.63	c   Problem name     : HOME/instance-2663883-1276671040.opb
1800.10/1800.63	c   Variables        : 7328 (7328 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63	c   Constraints      : 7829 initial, 7829 maximal
1800.10/1800.63	c Presolved Problem  :
1800.10/1800.63	c   Problem name     : t_HOME/instance-2663883-1276671040.opb
1800.10/1800.63	c   Variables        : 7328 (7328 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63	c   Constraints      : 7829 initial, 8027 maximal
1800.10/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.63	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.63	c   probing          :       0.30          0          0          0          0          0          0          0          0
1800.10/1800.63	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.63	c   and              :       0.24          0          0          0          0          0          0          0          0
1800.10/1800.63	c   linear           :       0.06          0          0          0          0          0          0          0          0
1800.10/1800.63	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.63	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.63	c   setppc           :       1000          0     564381          0     256327        572      11179          0          0          0
1800.10/1800.63	c   and              :       6328          0     563809          0     256327          0    3541439          0          0          0
1800.10/1800.63	c   linear           :          1          0     563501          0     256327         13     162876          0          0          0
1800.10/1800.63	c   logicor          :        500+         0      24235          0     256327         22       8005          0          0          0
1800.10/1800.63	c   countsols        :          0          0          0          0     256327          0          0          0          0          0
1800.10/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.63	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.63	c   setppc           :     352.70       0.00      42.46       0.00     310.24
1800.10/1800.63	c   and              :     508.03       0.00     203.55       0.00     304.48
1800.10/1800.63	c   linear           :      70.32       0.00      69.82       0.00       0.50
1800.10/1800.63	c   logicor          :      85.14       0.00       0.95       0.00      84.19
1800.10/1800.63	c   countsols        :       0.15       0.00       0.00       0.00       0.15
1800.10/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.63	c   vbounds          :       0.52          2          0          0
1800.10/1800.63	c   rootredcost      :       0.58          0          0          0
1800.10/1800.63	c   pseudoobj        :      27.79     564181          0          0
1800.10/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.63	c   propagation      :       5.60        607        604      23815      411.1          6      500.0          -
1800.10/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.63	c   applied globally :          -          -          -        860      239.5          -          -          -
1800.10/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.63	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.63	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.63	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.63	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.63	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.63	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.63	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.63	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.63	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.63	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.63	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.63	c Pricers            :       Time      Calls       Vars
1800.10/1800.63	c   problem variables:       0.00          0          0
1800.10/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.63	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   inference        :     703.22     256327          0          0          0          0     512654
1800.10/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.63	c   LP solutions     :       0.00          -          0
1800.10/1800.63	c   pseudo solutions :       0.00          -          0
1800.10/1800.63	c   oneopt           :       0.47          0          0
1800.10/1800.63	c   trivial          :       0.03          2          3
1800.10/1800.63	c   simplerounding   :       0.00          0          0
1800.10/1800.63	c   zirounding       :       0.00          0          0
1800.10/1800.63	c   rounding         :       0.00          0          0
1800.10/1800.63	c   shifting         :       0.00          0          0
1800.10/1800.63	c   intshifting      :       0.00          0          0
1800.10/1800.63	c   twoopt           :       0.00          0          0
1800.10/1800.63	c   fixandinfer      :       0.00          0          0
1800.10/1800.63	c   feaspump         :       0.00          0          0
1800.10/1800.63	c   coefdiving       :       0.00          0          0
1800.10/1800.63	c   pscostdiving     :       0.00          0          0
1800.10/1800.63	c   fracdiving       :       0.00          0          0
1800.10/1800.63	c   veclendiving     :       0.00          0          0
1800.10/1800.63	c   intdiving        :       0.00          0          0
1800.10/1800.63	c   actconsdiving    :       0.00          0          0
1800.10/1800.63	c   objpscostdiving  :       0.00          0          0
1800.10/1800.63	c   rootsoldiving    :       0.00          0          0
1800.10/1800.63	c   linesearchdiving :       0.00          0          0
1800.10/1800.63	c   guideddiving     :       0.00          0          0
1800.10/1800.63	c   octane           :       0.00          0          0
1800.10/1800.63	c   rens             :       0.00          0          0
1800.10/1800.63	c   rins             :       0.00          0          0
1800.10/1800.63	c   localbranching   :       0.00          0          0
1800.10/1800.63	c   mutation         :       0.00          0          0
1800.10/1800.63	c   crossover        :       0.00          0          0
1800.10/1800.63	c   dins             :       0.00          0          0
1800.10/1800.63	c   undercover       :       0.00          0          0
1800.10/1800.63	c   nlp              :       0.24          0          0
1800.10/1800.63	c   trysol           :       0.19          0          0
1800.10/1800.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.63	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.63	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.63	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.63	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.63	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.63	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.63	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.63	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.63	c B&B Tree           :
1800.10/1800.63	c   number of runs   :          1
1800.10/1800.63	c   nodes            :     256711
1800.10/1800.63	c   nodes (total)    :     256711
1800.10/1800.63	c   nodes left       :     255568
1800.10/1800.63	c   max depth        :        595
1800.10/1800.63	c   max depth (total):        595
1800.10/1800.63	c   backtracks       :       1121 (0.4%)
1800.10/1800.63	c   delayed cutoffs  :        376
1800.10/1800.63	c   repropagations   :      45622 (113599 domain reductions, 223 cutoffs)
1800.10/1800.63	c   avg switch length:       2.54
1800.10/1800.63	c   switching time   :      18.73
1800.10/1800.63	c Solution           :
1800.10/1800.63	c   Solutions found  :          3 (1 improvements)
1800.10/1800.63	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.10/1800.63	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.10/1800.63	c   Dual Bound       : -4.99000000000000e+02
1800.10/1800.63	c   Gap              :     100.00 %
1800.10/1800.63	c   Root Dual Bound  : -5.00000000000000e+02
1800.10/1800.63	c   Root Iterations  :          0
1800.68/1801.29	c Time complete: 1800.78.

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663883-1276671040/watcher-2663883-1276671040 -o /tmp/evaluation-result-2663883-1276671040/solver-2663883-1276671040 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663883-1276671040.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 12090
/proc/meminfo: memFree=1780056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=6584 CPUtime=0
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 1007 0 0 0 0 0 0 0 18 0 1 0 42707994 6742016 929 1992294400 4194304 7136930 140737341580208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12090/statm: 1646 939 254 719 0 925 0

[startup+0.0177759 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12090
/proc/meminfo: memFree=1780056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=9472 CPUtime=0.01
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 1841 0 0 0 1 0 0 0 18 0 1 0 42707994 9699328 1763 1992294400 4194304 7136930 140737341580208 18446744073709551615 6310382 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12090/statm: 2368 1763 272 719 0 1647 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9472

[startup+0.101786 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12090
/proc/meminfo: memFree=1780056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=17772 CPUtime=0.09
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 3932 0 0 0 8 1 0 0 21 0 1 0 42707994 18198528 3854 1992294400 4194304 7136930 140737341580208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12090/statm: 4443 3854 272 719 0 3722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17772

[startup+0.30181 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12090
/proc/meminfo: memFree=1780056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=36324 CPUtime=0.29
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 8986 0 0 0 24 5 0 0 21 0 1 0 42707994 37195776 8297 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 9081 8297 333 719 0 8360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36324

[startup+0.700857 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12090
/proc/meminfo: memFree=1780056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=39084 CPUtime=0.69
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 10990 0 0 0 49 20 0 0 22 0 1 0 42707994 40022016 9016 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 9771 9016 361 719 0 9050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39084

[startup+1.50095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12091
/proc/meminfo: memFree=1744212/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=41244 CPUtime=1.49
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 12157 0 0 0 126 23 0 0 25 0 1 0 42707994 42233856 9669 1992294400 4194304 7136930 140737341580208 18446744073709551615 4227572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 10311 9669 388 719 0 9590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41244

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12091
/proc/meminfo: memFree=1742476/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=44532 CPUtime=3.09
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 12948 0 0 0 285 24 0 0 25 0 1 0 42707994 45600768 10460 1992294400 4194304 7136930 140737341580208 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 11133 10461 393 719 0 10412 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44532

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12091
/proc/meminfo: memFree=1738756/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=45240 CPUtime=6.29
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 13149 0 0 0 603 26 0 0 25 0 1 0 42707994 46325760 10661 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 11310 10661 393 719 0 10589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45240

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12093
/proc/meminfo: memFree=1736400/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=47140 CPUtime=12.69
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 13629 0 0 0 1240 29 0 0 25 0 1 0 42707994 48271360 11141 1992294400 4194304 7136930 140737341580208 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 11785 11141 393 719 0 11064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47140

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12093
/proc/meminfo: memFree=1733672/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=50108 CPUtime=25.48
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 14343 0 0 0 2512 36 0 0 25 0 1 0 42707994 51310592 11855 1992294400 4194304 7136930 140737341580208 18446744073709551615 4643202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 12527 11855 393 719 0 11806 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50108

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12093
/proc/meminfo: memFree=1728712/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=54984 CPUtime=51.08
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 15547 0 0 0 5059 49 0 0 25 0 1 0 42707994 56303616 13059 1992294400 4194304 7136930 140737341580208 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 13746 13059 393 719 0 13025 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54984

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12095
/proc/meminfo: memFree=1720776/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=62724 CPUtime=102.27
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 17496 0 0 0 10149 78 0 0 25 0 1 0 42707994 64229376 15008 1992294400 4194304 7136930 140737341580208 18446744073709551615 4697685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 15681 15008 393 719 0 14960 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62724

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12097
/proc/meminfo: memFree=1709244/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=74632 CPUtime=162.25
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 20495 0 0 0 16112 113 0 0 25 0 1 0 42707994 76423168 18007 1992294400 4194304 7136930 140737341580208 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 18658 18007 393 719 0 17937 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 74632

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12097
/proc/meminfo: memFree=1701556/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=81844 CPUtime=222.23
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 22287 0 0 0 22074 149 0 0 25 0 1 0 42707994 83808256 19799 1992294400 4194304 7136930 140737341580208 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 20461 19799 393 719 0 19740 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81844

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12099
/proc/meminfo: memFree=1689652/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=93404 CPUtime=282.22
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 25236 0 0 0 28037 185 0 0 25 0 1 0 42707994 95645696 22748 1992294400 4194304 7136930 140737341580208 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 23351 22748 393 719 0 22630 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 93404

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12101
/proc/meminfo: memFree=1678864/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=103972 CPUtime=342.19
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 27906 0 0 0 33999 220 0 0 25 0 1 0 42707994 106467328 25418 1992294400 4194304 7136930 140737341580208 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 25993 25418 393 719 0 25272 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 103972

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12103
/proc/meminfo: memFree=1669564/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=113124 CPUtime=402.18
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 30230 0 0 0 39965 253 0 0 25 0 1 0 42707994 115838976 27742 1992294400 4194304 7136930 140737341580208 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 28281 27742 393 719 0 27560 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 113124

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12105
/proc/meminfo: memFree=1662992/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=119596 CPUtime=462.17
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 31859 0 0 0 45928 289 0 0 25 0 1 0 42707994 122466304 29371 1992294400 4194304 7136930 140737341580208 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 29899 29371 393 719 0 29178 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 119596

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12105
/proc/meminfo: memFree=1655552/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=128812 CPUtime=522.14
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 33695 0 0 0 51892 322 0 0 25 0 1 0 42707994 131903488 31207 1992294400 4194304 7136930 140737341580208 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 32203 31207 393 719 0 31482 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 128812

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12107
/proc/meminfo: memFree=1644888/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=139384 CPUtime=582.14
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 36376 0 0 0 57859 355 0 0 25 0 1 0 42707994 142729216 33888 1992294400 4194304 7136930 140737341580208 18446744073709551615 4774645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 34846 33888 393 719 0 34125 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 139384

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12118
/proc/meminfo: memFree=1636952/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=146732 CPUtime=642.11
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 38216 0 0 0 63826 385 0 0 25 0 1 0 42707994 150253568 35728 1992294400 4194304 7136930 140737341580208 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 36683 35728 393 719 0 35962 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 146732

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12126
/proc/meminfo: memFree=1593056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=189884 CPUtime=942.01
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 49158 0 0 0 93655 546 0 0 25 0 1 0 42707994 194441216 46670 1992294400 4194304 7136930 140737341580208 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 47471 46670 393 719 0 46750 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 189884

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12128
/proc/meminfo: memFree=1583012/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=199892 CPUtime=1002
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 51670 0 0 0 99622 578 0 0 25 0 1 0 42707994 204689408 49182 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 49973 49182 393 719 0 49252 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 199892

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12130
/proc/meminfo: memFree=1574332/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=208396 CPUtime=1061.99
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 53832 0 0 0 105584 615 0 0 25 0 1 0 42707994 213397504 51344 1992294400 4194304 7136930 140737341580208 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 52099 51344 393 719 0 51378 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 208396

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12130
/proc/meminfo: memFree=1565900/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=216764 CPUtime=1121.97
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 55920 0 0 0 111551 646 0 0 25 0 1 0 42707994 221966336 53432 1992294400 4194304 7136930 140737341580208 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 54191 53432 393 719 0 53470 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 216764

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12132
/proc/meminfo: memFree=1556600/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=227032 CPUtime=1181.95
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 58519 0 0 0 117517 678 0 0 25 0 1 0 42707994 232480768 56031 1992294400 4194304 7136930 140737341580208 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 56758 56031 393 719 0 56037 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 227032

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 12134
/proc/meminfo: memFree=1551020/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=231316 CPUtime=1241.93
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 59619 0 0 0 123485 708 0 0 25 0 1 0 42707994 236867584 57131 1992294400 4194304 7136930 140737341580208 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 57829 57131 393 719 0 57108 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 231316

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12136
/proc/meminfo: memFree=1539488/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=242472 CPUtime=1301.92
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 62455 0 0 0 129453 739 0 0 25 0 1 0 42707994 248291328 59967 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 60618 59967 393 719 0 59897 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 242472

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12138
/proc/meminfo: memFree=1531800/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=251240 CPUtime=1361.91
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 64639 0 0 0 135416 775 0 0 25 0 1 0 42707994 257269760 62151 1992294400 4194304 7136930 140737341580208 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 62810 62151 393 719 0 62089 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 251240

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12141
/proc/meminfo: memFree=1521632/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=263868 CPUtime=1421.89
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 66756 0 0 0 141381 808 0 0 25 0 1 0 42707994 270200832 64268 1992294400 4194304 7136930 140737341580208 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 65967 64268 393 719 0 65246 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 263868

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12143
/proc/meminfo: memFree=1511836/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=274008 CPUtime=1481.87
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 69327 0 0 0 147348 839 0 0 25 0 1 0 42707994 280584192 66839 1992294400 4194304 7136930 140737341580208 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 68502 66839 393 719 0 67781 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 274008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12145
/proc/meminfo: memFree=1503900/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=281408 CPUtime=1541.86
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 71200 0 0 0 153316 870 0 0 25 0 1 0 42707994 288161792 68712 1992294400 4194304 7136930 140737341580208 18446744073709551615 5508152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 70352 68712 393 719 0 69631 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 281408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12147
/proc/meminfo: memFree=1493484/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=291740 CPUtime=1601.83
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 73797 0 0 0 159281 902 0 0 25 0 1 0 42707994 298741760 71309 1992294400 4194304 7136930 140737341580208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 72935 71309 393 719 0 72214 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 291740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12149
/proc/meminfo: memFree=1488276/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=296848 CPUtime=1661.81
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 75118 0 0 0 165248 933 0 0 25 0 1 0 42707994 303972352 72630 1992294400 4194304 7136930 140737341580208 18446744073709551615 4431823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 74212 72630 393 719 0 73491 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 296848

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12149
/proc/meminfo: memFree=1476620/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=308248 CPUtime=1721.81
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 77995 0 0 0 171214 967 0 0 25 0 1 0 42707994 315645952 75507 1992294400 4194304 7136930 140737341580208 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 77062 75507 393 719 0 76341 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 308248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1469056/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=315904 CPUtime=1781.79
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 79905 0 0 0 177180 999 0 0 25 0 1 0 42707994 323485696 77417 1992294400 4194304 7136930 140737341580208 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 78976 77417 393 719 0 78255 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 315904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1467444/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=317388 CPUtime=1800.1
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 80314 0 0 0 179002 1008 0 0 25 0 1 0 42707994 325005312 77826 1992294400 4194304 7136930 140737341580208 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12090/statm: 79347 77826 393 719 0 78626 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 317388

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1467444/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=311444 CPUtime=1800.48
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 80319 0 0 0 179040 1008 0 0 25 0 1 0 42707994 318918656 76345 1992294400 4194304 7136930 140737341580208 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12090/statm: 77861 76345 398 719 0 77140 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 311444

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1467444/2059040 swapFree=4136508/4192956
[pid=12090] ppid=12088 vsize=182476 CPUtime=1800.68
/proc/12090/stat : 12090 (pbscip.linux.x8) R 12088 12090 11731 0 -1 4202496 80319 0 0 0 179058 1010 0 0 25 0 1 0 42707994 186855424 44013 1992294400 4194304 7136930 140737341580208 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12090/statm: 45522 43916 398 719 0 44801 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 182476

Child status: 0
Real time (s): 1801.29
CPU time (s): 1800.78
CPU user time (s): 1790.66
CPU system time (s): 10.1225
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 317388

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

runsolver used 3.11053 second user time and 8.38072 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-16 08:50:40
IDJOB=2663883
IDBENCH=48256
IDSOLVER=1167
FILE ID=node001/2663883-1276671040
PBS_JOBID= 11172510
Free space on /tmp= 62516 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_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663883-1276671040/watcher-2663883-1276671040 -o /tmp/evaluation-result-2663883-1276671040/solver-2663883-1276671040 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663883-1276671040.opb -t 1800 -m 1800

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

MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4
RANDOM SEED=1644353191

node001.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.202
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.40
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.202
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:       1780460 kB
Buffers:         61920 kB
Cached:         124660 kB
SwapCached:      10168 kB
Active:         109052 kB
Inactive:        91128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1780460 kB
SwapTotal:     4192956 kB
SwapFree:      4136508 kB
Dirty:            3380 kB
Writeback:           0 kB
AnonPages:       11692 kB
Mapped:           9432 kB
Slab:            56580 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182752 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= 62512 MiB
End job on node001 at 2010-06-16 09:20:42