Trace number 2704444

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverUNSAT 222.083 222.161

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.we.opb
MD5SUM78c28cbc46584ca3f2053cae625d9faa
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark25.8621
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 114621939712000000000
Number of bits for the biggest coefficient in the objective function 67
Sum of the numbers in the objective function 6133849937192095161813
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 114621939712000000000
Number of bits of the biggest number in a constraint 67
Biggest sum of numbers in a constraint 6133849937192095161813
Number of bits of the biggest sum of numbers73
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2704444-1278559062.opb>
0.69/0.74	c [src/scip/reader_opb.c:3100] Warning: there might be <554> coefficients or weight out of range!
0.69/0.74	c original problem has 77678 variables (77678 bin, 0 int, 0 impl, 0 cont) and 1016 constraints
0.69/0.74	c problem read
0.69/0.74	c presolving settings loaded
1.49/1.52	c presolving:
1.79/1.81	c (round 1) 8031 del vars, 57 del conss, 7796 chg bounds, 404 chg sides, 413 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
1.89/1.97	c (round 2) 11819 del vars, 68 del conss, 11577 chg bounds, 466 chg sides, 521 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
1.99/2.05	c (round 3) 12680 del vars, 68 del conss, 12438 chg bounds, 467 chg sides, 522 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
1.99/2.09	c (round 4) 12919 del vars, 68 del conss, 12677 chg bounds, 467 chg sides, 522 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
2.29/2.35	c (round 5) 12919 del vars, 68 del conss, 12677 chg bounds, 467 chg sides, 522 chg coeffs, 385 upgd conss, 2 impls, 0 clqs
2.59/2.60	c (round 6) 12969 del vars, 68 del conss, 12701 chg bounds, 608 chg sides, 4721 chg coeffs, 385 upgd conss, 1861 impls, 75 clqs
2.59/2.64	c (round 7) 12977 del vars, 68 del conss, 12708 chg bounds, 624 chg sides, 4753 chg coeffs, 385 upgd conss, 1875 impls, 75 clqs
2.59/2.68	c (round 8) 12982 del vars, 71 del conss, 12712 chg bounds, 625 chg sides, 4755 chg coeffs, 385 upgd conss, 1877 impls, 75 clqs
2.69/2.71	c (round 9) 12987 del vars, 71 del conss, 12716 chg bounds, 626 chg sides, 4757 chg coeffs, 385 upgd conss, 1879 impls, 75 clqs
3.30/3.37	c (round 10) 13072 del vars, 71 del conss, 12717 chg bounds, 626 chg sides, 4757 chg coeffs, 385 upgd conss, 13561 impls, 75 clqs
3.39/3.45	c (round 11) 13072 del vars, 71 del conss, 12717 chg bounds, 627 chg sides, 4759 chg coeffs, 385 upgd conss, 13561 impls, 78 clqs
3.49/3.51	c (round 12) 13154 del vars, 71 del conss, 12717 chg bounds, 627 chg sides, 4759 chg coeffs, 385 upgd conss, 14185 impls, 78 clqs
3.49/3.56	c (round 13) 13154 del vars, 71 del conss, 12717 chg bounds, 628 chg sides, 4761 chg coeffs, 385 upgd conss, 14185 impls, 81 clqs
3.59/3.63	c (round 14) 13246 del vars, 71 del conss, 12717 chg bounds, 628 chg sides, 4761 chg coeffs, 385 upgd conss, 15191 impls, 81 clqs
3.69/3.71	c (round 15) 13246 del vars, 71 del conss, 12717 chg bounds, 635 chg sides, 4775 chg coeffs, 385 upgd conss, 15191 impls, 87 clqs
3.69/3.76	c (round 16) 13333 del vars, 71 del conss, 12717 chg bounds, 635 chg sides, 4775 chg coeffs, 385 upgd conss, 15927 impls, 87 clqs
3.79/3.82	c (round 17) 13333 del vars, 72 del conss, 12717 chg bounds, 637 chg sides, 4779 chg coeffs, 385 upgd conss, 15927 impls, 89 clqs
3.79/3.88	c (round 18) 13416 del vars, 72 del conss, 12717 chg bounds, 637 chg sides, 4779 chg coeffs, 385 upgd conss, 16657 impls, 89 clqs
3.89/3.93	c (round 19) 13416 del vars, 72 del conss, 12717 chg bounds, 638 chg sides, 4781 chg coeffs, 385 upgd conss, 16657 impls, 92 clqs
3.89/3.99	c (round 20) 13500 del vars, 72 del conss, 12717 chg bounds, 638 chg sides, 4781 chg coeffs, 385 upgd conss, 17319 impls, 92 clqs
3.99/4.04	c (round 21) 13500 del vars, 72 del conss, 12717 chg bounds, 639 chg sides, 4783 chg coeffs, 385 upgd conss, 17319 impls, 95 clqs
4.09/4.10	c (round 22) 13583 del vars, 72 del conss, 12717 chg bounds, 639 chg sides, 4783 chg coeffs, 385 upgd conss, 18059 impls, 95 clqs
4.09/4.16	c (round 23) 13583 del vars, 72 del conss, 12717 chg bounds, 641 chg sides, 4787 chg coeffs, 385 upgd conss, 18059 impls, 98 clqs
4.30/4.36	c (round 24) 13638 del vars, 72 del conss, 12717 chg bounds, 641 chg sides, 4787 chg coeffs, 385 upgd conss, 18435 impls, 98 clqs
4.40/4.41	c (round 25) 13638 del vars, 72 del conss, 12717 chg bounds, 642 chg sides, 4789 chg coeffs, 385 upgd conss, 18435 impls, 101 clqs
7.19/7.25	c (round 26) 13689 del vars, 72 del conss, 12717 chg bounds, 642 chg sides, 4789 chg coeffs, 385 upgd conss, 36437 impls, 100 clqs
7.39/7.43	c (round 27) 13689 del vars, 74 del conss, 12717 chg bounds, 648 chg sides, 4803 chg coeffs, 385 upgd conss, 36445 impls, 101 clqs
7.39/7.46	c (round 28) 13689 del vars, 75 del conss, 12717 chg bounds, 650 chg sides, 4809 chg coeffs, 385 upgd conss, 36445 impls, 103 clqs
7.39/7.49	c (round 29) 13689 del vars, 75 del conss, 12717 chg bounds, 652 chg sides, 4811 chg coeffs, 385 upgd conss, 36445 impls, 103 clqs
8.29/8.36	c (round 30) 13739 del vars, 75 del conss, 12717 chg bounds, 652 chg sides, 4811 chg coeffs, 385 upgd conss, 36493 impls, 79 clqs
8.39/8.47	c (round 31) 13805 del vars, 79 del conss, 12781 chg bounds, 655 chg sides, 4817 chg coeffs, 385 upgd conss, 36551 impls, 79 clqs
8.49/8.56	c (round 32) 13805 del vars, 79 del conss, 12781 chg bounds, 657 chg sides, 4821 chg coeffs, 385 upgd conss, 36563 impls, 79 clqs
8.89/8.95	c (round 33) 13863 del vars, 79 del conss, 12781 chg bounds, 657 chg sides, 4821 chg coeffs, 385 upgd conss, 36615 impls, 78 clqs
8.99/9.04	c (round 34) 13863 del vars, 79 del conss, 12781 chg bounds, 660 chg sides, 4827 chg coeffs, 385 upgd conss, 36615 impls, 78 clqs
9.29/9.37	c (round 35) 14071 del vars, 79 del conss, 12781 chg bounds, 660 chg sides, 4827 chg coeffs, 385 upgd conss, 37655 impls, 77 clqs
9.39/9.44	c (round 36) 14072 del vars, 79 del conss, 12782 chg bounds, 663 chg sides, 4833 chg coeffs, 385 upgd conss, 37665 impls, 80 clqs
9.49/9.50	c (round 37) 14072 del vars, 79 del conss, 12782 chg bounds, 665 chg sides, 4837 chg coeffs, 385 upgd conss, 37665 impls, 80 clqs
9.89/9.95	c (round 38) 14132 del vars, 79 del conss, 12782 chg bounds, 665 chg sides, 4837 chg coeffs, 385 upgd conss, 38947 impls, 80 clqs
10.79/10.80	c (round 39) 14182 del vars, 79 del conss, 12782 chg bounds, 665 chg sides, 4837 chg coeffs, 385 upgd conss, 40395 impls, 79 clqs
10.89/10.93	c (round 40) 14182 del vars, 79 del conss, 12782 chg bounds, 668 chg sides, 4843 chg coeffs, 385 upgd conss, 40407 impls, 80 clqs
12.09/12.13	c (round 41) 14245 del vars, 79 del conss, 12782 chg bounds, 668 chg sides, 4843 chg coeffs, 385 upgd conss, 42299 impls, 76 clqs
12.18/12.22	c (round 42) 14246 del vars, 79 del conss, 12783 chg bounds, 672 chg sides, 4852 chg coeffs, 385 upgd conss, 42351 impls, 80 clqs
12.18/12.29	c (round 43) 14246 del vars, 79 del conss, 12783 chg bounds, 678 chg sides, 4864 chg coeffs, 385 upgd conss, 42351 impls, 80 clqs
12.28/12.32	c (round 44) 14246 del vars, 79 del conss, 12783 chg bounds, 680 chg sides, 4866 chg coeffs, 385 upgd conss, 42351 impls, 80 clqs
12.48/12.55	c (round 45) 14326 del vars, 79 del conss, 12783 chg bounds, 680 chg sides, 4866 chg coeffs, 385 upgd conss, 42563 impls, 79 clqs
12.58/12.64	c (round 46) 14326 del vars, 79 del conss, 12783 chg bounds, 686 chg sides, 4878 chg coeffs, 385 upgd conss, 42599 impls, 80 clqs
12.58/12.68	c (round 47) 14326 del vars, 79 del conss, 12783 chg bounds, 689 chg sides, 4884 chg coeffs, 385 upgd conss, 42599 impls, 81 clqs
14.08/14.17	c (round 48) 14522 del vars, 79 del conss, 12783 chg bounds, 689 chg sides, 4884 chg coeffs, 385 upgd conss, 48175 impls, 78 clqs
14.29/14.33	c (round 49) 14522 del vars, 80 del conss, 12783 chg bounds, 700 chg sides, 4903 chg coeffs, 385 upgd conss, 48233 impls, 79 clqs
14.29/14.37	c (round 50) 14522 del vars, 80 del conss, 12783 chg bounds, 704 chg sides, 4914 chg coeffs, 385 upgd conss, 48233 impls, 82 clqs
14.38/14.40	c (round 51) 14522 del vars, 80 del conss, 12783 chg bounds, 705 chg sides, 4915 chg coeffs, 385 upgd conss, 48233 impls, 82 clqs
14.48/14.59	c (round 52) 14746 del vars, 80 del conss, 12783 chg bounds, 705 chg sides, 4915 chg coeffs, 385 upgd conss, 49279 impls, 79 clqs
14.58/14.64	c (round 53) 14747 del vars, 82 del conss, 12784 chg bounds, 721 chg sides, 4936 chg coeffs, 385 upgd conss, 49279 impls, 81 clqs
14.68/14.70	c (round 54) 14747 del vars, 82 del conss, 12784 chg bounds, 730 chg sides, 4951 chg coeffs, 385 upgd conss, 49279 impls, 81 clqs
14.68/14.73	c (round 55) 14747 del vars, 82 del conss, 12784 chg bounds, 733 chg sides, 4954 chg coeffs, 385 upgd conss, 49279 impls, 81 clqs
16.78/16.88	c (round 56) 14806 del vars, 82 del conss, 12784 chg bounds, 733 chg sides, 4954 chg coeffs, 385 upgd conss, 51583 impls, 79 clqs
16.98/17.05	c (round 57) 14807 del vars, 82 del conss, 12784 chg bounds, 786 chg sides, 5018 chg coeffs, 385 upgd conss, 51775 impls, 79 clqs
17.08/17.10	c (round 58) 14807 del vars, 82 del conss, 12784 chg bounds, 791 chg sides, 5030 chg coeffs, 385 upgd conss, 51775 impls, 81 clqs
17.08/17.13	c (round 59) 14807 del vars, 82 del conss, 12784 chg bounds, 793 chg sides, 5032 chg coeffs, 385 upgd conss, 51775 impls, 81 clqs
17.28/17.38	c (round 60) 14859 del vars, 82 del conss, 12784 chg bounds, 793 chg sides, 5032 chg coeffs, 385 upgd conss, 53003 impls, 78 clqs
17.49/17.53	c (round 61) 14859 del vars, 82 del conss, 12784 chg bounds, 805 chg sides, 5056 chg coeffs, 385 upgd conss, 53101 impls, 78 clqs
17.49/17.57	c (round 62) 14859 del vars, 82 del conss, 12784 chg bounds, 806 chg sides, 5059 chg coeffs, 385 upgd conss, 53101 impls, 79 clqs
17.49/17.60	c (round 63) 14859 del vars, 82 del conss, 12784 chg bounds, 811 chg sides, 5064 chg coeffs, 385 upgd conss, 53101 impls, 79 clqs
17.78/17.81	c (round 64) 14915 del vars, 82 del conss, 12784 chg bounds, 811 chg sides, 5064 chg coeffs, 385 upgd conss, 54771 impls, 79 clqs
17.88/17.94	c (round 65) 14915 del vars, 82 del conss, 12784 chg bounds, 819 chg sides, 5080 chg coeffs, 385 upgd conss, 54823 impls, 79 clqs
20.88/20.96	c    (20.2s) probing: 1000/64690 (1.5%) - 1742 fixings, 139 aggregations, 23935 implications, 0 bound changes
23.58/23.68	c (round 66) 14967 del vars, 82 del conss, 12784 chg bounds, 819 chg sides, 5080 chg coeffs, 385 upgd conss, 61827 impls, 79 clqs
23.78/23.88	c (round 67) 14967 del vars, 82 del conss, 12784 chg bounds, 836 chg sides, 5117 chg coeffs, 385 upgd conss, 61875 impls, 79 clqs
23.88/23.92	c (round 68) 14967 del vars, 82 del conss, 12784 chg bounds, 840 chg sides, 5129 chg coeffs, 385 upgd conss, 61875 impls, 84 clqs
23.88/23.95	c (round 69) 14967 del vars, 82 del conss, 12784 chg bounds, 844 chg sides, 5133 chg coeffs, 385 upgd conss, 61875 impls, 84 clqs
25.38/25.46	c (round 70) 15022 del vars, 82 del conss, 12784 chg bounds, 844 chg sides, 5133 chg coeffs, 385 upgd conss, 63097 impls, 80 clqs
25.48/25.56	c (round 71) 15022 del vars, 82 del conss, 12784 chg bounds, 855 chg sides, 5147 chg coeffs, 385 upgd conss, 63097 impls, 80 clqs
26.58/26.67	c (round 72) 15072 del vars, 82 del conss, 12784 chg bounds, 855 chg sides, 5147 chg coeffs, 385 upgd conss, 64911 impls, 80 clqs
26.78/26.82	c (round 73) 15083 del vars, 82 del conss, 12795 chg bounds, 876 chg sides, 5181 chg coeffs, 385 upgd conss, 64919 impls, 81 clqs
26.78/26.85	c (round 74) 15092 del vars, 82 del conss, 12804 chg bounds, 876 chg sides, 5181 chg coeffs, 385 upgd conss, 64919 impls, 81 clqs
28.18/28.28	c (round 75) 15160 del vars, 82 del conss, 12804 chg bounds, 876 chg sides, 5181 chg coeffs, 385 upgd conss, 67967 impls, 80 clqs
28.38/28.45	c (round 76) 15160 del vars, 82 del conss, 12804 chg bounds, 889 chg sides, 5207 chg coeffs, 385 upgd conss, 67991 impls, 80 clqs
28.98/29.08	c (round 77) 15352 del vars, 82 del conss, 12804 chg bounds, 889 chg sides, 5207 chg coeffs, 385 upgd conss, 70421 impls, 80 clqs
29.08/29.18	c (round 78) 15352 del vars, 82 del conss, 12804 chg bounds, 894 chg sides, 5218 chg coeffs, 385 upgd conss, 70583 impls, 83 clqs
29.78/29.82	c (round 79) 15423 del vars, 82 del conss, 12804 chg bounds, 894 chg sides, 5218 chg coeffs, 385 upgd conss, 74487 impls, 79 clqs
29.88/29.98	c (round 80) 15423 del vars, 82 del conss, 12804 chg bounds, 913 chg sides, 5257 chg coeffs, 385 upgd conss, 74509 impls, 83 clqs
29.98/30.02	c (round 81) 15423 del vars, 82 del conss, 12804 chg bounds, 914 chg sides, 5260 chg coeffs, 385 upgd conss, 74509 impls, 83 clqs
33.28/33.32	c    (32.6s) probing: 1686/64690 (2.6%) - 2205 fixings, 158 aggregations, 30766 implications, 0 bound changes
33.28/33.32	c    (32.6s) probing aborted: 100/100 successive totally useless probings
33.28/33.32	c (round 82) 15441 del vars, 82 del conss, 12804 chg bounds, 914 chg sides, 5260 chg coeffs, 385 upgd conss, 75821 impls, 83 clqs
33.38/33.41	c (round 83) 15441 del vars, 82 del conss, 12804 chg bounds, 922 chg sides, 5276 chg coeffs, 385 upgd conss, 75831 impls, 84 clqs
34.18/34.25	c (round 84) 15597 del vars, 82 del conss, 12804 chg bounds, 922 chg sides, 5276 chg coeffs, 385 upgd conss, 77905 impls, 81 clqs
34.28/34.38	c (round 85) 15597 del vars, 83 del conss, 12804 chg bounds, 941 chg sides, 5306 chg coeffs, 385 upgd conss, 78223 impls, 87 clqs
34.68/34.73	c (round 86) 15832 del vars, 83 del conss, 12804 chg bounds, 941 chg sides, 5306 chg coeffs, 385 upgd conss, 78459 impls, 87 clqs
34.78/34.84	c (round 87) 15832 del vars, 83 del conss, 12804 chg bounds, 949 chg sides, 5319 chg coeffs, 385 upgd conss, 78485 impls, 90 clqs
34.88/34.91	c (round 88) 16007 del vars, 83 del conss, 12804 chg bounds, 949 chg sides, 5319 chg coeffs, 385 upgd conss, 78579 impls, 89 clqs
34.88/34.99	c (round 89) 16007 del vars, 83 del conss, 12804 chg bounds, 954 chg sides, 5329 chg coeffs, 385 upgd conss, 78743 impls, 92 clqs
35.08/35.16	c (round 90) 16237 del vars, 83 del conss, 12804 chg bounds, 954 chg sides, 5329 chg coeffs, 385 upgd conss, 78843 impls, 91 clqs
35.18/35.26	c (round 91) 16237 del vars, 83 del conss, 12804 chg bounds, 960 chg sides, 5341 chg coeffs, 385 upgd conss, 78999 impls, 93 clqs
35.58/35.62	c (round 92) 16296 del vars, 83 del conss, 12804 chg bounds, 960 chg sides, 5342 chg coeffs, 385 upgd conss, 84627 impls, 79 clqs
35.68/35.78	c (round 93) 16296 del vars, 83 del conss, 12804 chg bounds, 979 chg sides, 5381 chg coeffs, 385 upgd conss, 84661 impls, 80 clqs
35.78/35.82	c (round 94) 16296 del vars, 83 del conss, 12804 chg bounds, 984 chg sides, 5386 chg coeffs, 385 upgd conss, 84661 impls, 80 clqs
36.18/36.28	c (round 95) 16385 del vars, 83 del conss, 12804 chg bounds, 984 chg sides, 5386 chg coeffs, 385 upgd conss, 93831 impls, 80 clqs
36.28/36.39	c (round 96) 16394 del vars, 83 del conss, 12812 chg bounds, 997 chg sides, 5411 chg coeffs, 385 upgd conss, 94054 impls, 83 clqs
36.38/36.46	c (round 97) 16400 del vars, 83 del conss, 12817 chg bounds, 1006 chg sides, 5430 chg coeffs, 385 upgd conss, 94366 impls, 83 clqs
36.38/36.49	c (round 98) 16406 del vars, 83 del conss, 12823 chg bounds, 1009 chg sides, 5436 chg coeffs, 385 upgd conss, 94378 impls, 84 clqs
36.48/36.53	c (round 99) 16410 del vars, 83 del conss, 12827 chg bounds, 1010 chg sides, 5437 chg coeffs, 385 upgd conss, 94378 impls, 84 clqs
39.28/39.38	c    (38.6s) probing: 2000/64690 (3.1%) - 3106 fixings, 207 aggregations, 36392 implications, 0 bound changes
40.27/40.33	c    (39.6s) probing: 2058/64690 (3.2%) - 3106 fixings, 207 aggregations, 36392 implications, 0 bound changes
40.27/40.33	c    (39.6s) probing aborted: 100/100 successive totally useless probings
40.27/40.33	c (round 100) 16417 del vars, 83 del conss, 12828 chg bounds, 1010 chg sides, 5437 chg coeffs, 385 upgd conss, 97202 impls, 84 clqs
40.37/40.48	c (round 101) 16417 del vars, 83 del conss, 12828 chg bounds, 1031 chg sides, 5478 chg coeffs, 385 upgd conss, 97202 impls, 84 clqs
41.17/41.20	c (round 102) 16467 del vars, 83 del conss, 12828 chg bounds, 1031 chg sides, 5478 chg coeffs, 385 upgd conss, 97396 impls, 84 clqs
41.27/41.30	c (round 103) 16497 del vars, 83 del conss, 12858 chg bounds, 1056 chg sides, 5503 chg coeffs, 385 upgd conss, 97410 impls, 84 clqs
41.27/41.35	c (round 104) 16515 del vars, 83 del conss, 12876 chg bounds, 1060 chg sides, 5511 chg coeffs, 385 upgd conss, 97434 impls, 84 clqs
41.27/41.39	c (round 105) 16527 del vars, 83 del conss, 12888 chg bounds, 1060 chg sides, 5511 chg coeffs, 385 upgd conss, 97434 impls, 84 clqs
41.37/41.42	c (round 106) 16533 del vars, 83 del conss, 12894 chg bounds, 1060 chg sides, 5511 chg coeffs, 385 upgd conss, 97434 impls, 84 clqs
43.37/43.42	c (round 107) 16591 del vars, 83 del conss, 12902 chg bounds, 1060 chg sides, 5511 chg coeffs, 385 upgd conss, 104782 impls, 84 clqs
43.47/43.52	c (round 108) 16591 del vars, 83 del conss, 12902 chg bounds, 1061 chg sides, 5515 chg coeffs, 385 upgd conss, 104782 impls, 84 clqs
44.77/44.89	c (round 109) 16641 del vars, 83 del conss, 12902 chg bounds, 1061 chg sides, 5516 chg coeffs, 385 upgd conss, 107676 impls, 80 clqs
44.87/45.00	c (round 110) 16641 del vars, 83 del conss, 12902 chg bounds, 1078 chg sides, 5537 chg coeffs, 385 upgd conss, 107680 impls, 80 clqs
50.97/51.09	c (round 111) 16860 del vars, 83 del conss, 12902 chg bounds, 1078 chg sides, 5538 chg coeffs, 385 upgd conss, 115322 impls, 80 clqs
51.17/51.25	c (round 112) 16860 del vars, 85 del conss, 12902 chg bounds, 1101 chg sides, 5577 chg coeffs, 385 upgd conss, 115544 impls, 86 clqs
51.17/51.29	c (round 113) 16860 del vars, 85 del conss, 12902 chg bounds, 1103 chg sides, 5580 chg coeffs, 385 upgd conss, 115544 impls, 86 clqs
52.57/52.63	c (round 114) 16910 del vars, 85 del conss, 12902 chg bounds, 1103 chg sides, 5580 chg coeffs, 385 upgd conss, 122166 impls, 81 clqs
52.68/52.71	c (round 115) 16911 del vars, 85 del conss, 12903 chg bounds, 1112 chg sides, 5599 chg coeffs, 385 upgd conss, 122166 impls, 81 clqs
54.98/55.05	c (round 116) 16965 del vars, 85 del conss, 12903 chg bounds, 1112 chg sides, 5599 chg coeffs, 385 upgd conss, 143358 impls, 81 clqs
55.07/55.15	c (round 117) 16965 del vars, 86 del conss, 12903 chg bounds, 1128 chg sides, 5615 chg coeffs, 385 upgd conss, 143380 impls, 81 clqs
57.07/57.16	c (round 118) 17017 del vars, 86 del conss, 12903 chg bounds, 1128 chg sides, 5615 chg coeffs, 385 upgd conss, 154460 impls, 81 clqs
57.17/57.25	c (round 119) 17017 del vars, 86 del conss, 12903 chg bounds, 1136 chg sides, 5623 chg coeffs, 385 upgd conss, 154460 impls, 81 clqs
57.67/57.74	c    (57.0s) probing: 3000/64690 (4.6%) - 3620 fixings, 219 aggregations, 60846 implications, 0 bound changes
64.17/64.23	c (round 120) 17067 del vars, 86 del conss, 12903 chg bounds, 1136 chg sides, 5623 chg coeffs, 385 upgd conss, 158286 impls, 81 clqs
64.26/64.32	c (round 121) 17067 del vars, 86 del conss, 12903 chg bounds, 1139 chg sides, 5630 chg coeffs, 385 upgd conss, 158286 impls, 81 clqs
64.26/64.35	c (round 122) 17067 del vars, 86 del conss, 12903 chg bounds, 1140 chg sides, 5632 chg coeffs, 385 upgd conss, 158286 impls, 81 clqs
66.26/66.36	c (round 123) 17195 del vars, 86 del conss, 12903 chg bounds, 1140 chg sides, 5632 chg coeffs, 385 upgd conss, 159920 impls, 81 clqs
66.36/66.49	c (round 124) 17197 del vars, 86 del conss, 12905 chg bounds, 1170 chg sides, 5670 chg coeffs, 385 upgd conss, 160334 impls, 81 clqs
66.46/66.58	c (round 125) 17197 del vars, 86 del conss, 12905 chg bounds, 1172 chg sides, 5674 chg coeffs, 385 upgd conss, 160530 impls, 81 clqs
75.56/75.60	c    (74.9s) probing: 4000/64690 (6.2%) - 3783 fixings, 241 aggregations, 64737 implications, 0 bound changes
75.77/75.83	c    (75.1s) probing: 4014/64690 (6.2%) - 3783 fixings, 241 aggregations, 64737 implications, 0 bound changes
75.77/75.83	c    (75.1s) probing aborted: 100/100 successive totally useless probings
75.77/75.83	c (round 126) 17205 del vars, 86 del conss, 12905 chg bounds, 1172 chg sides, 5676 chg coeffs, 385 upgd conss, 164836 impls, 81 clqs
75.87/75.93	c (round 127) 17205 del vars, 87 del conss, 12905 chg bounds, 1180 chg sides, 5688 chg coeffs, 385 upgd conss, 164838 impls, 81 clqs
76.97/77.07	c (round 128) 17266 del vars, 87 del conss, 12905 chg bounds, 1180 chg sides, 5689 chg coeffs, 385 upgd conss, 173256 impls, 80 clqs
77.06/77.19	c (round 129) 17266 del vars, 87 del conss, 12905 chg bounds, 1206 chg sides, 5721 chg coeffs, 385 upgd conss, 173484 impls, 82 clqs
77.16/77.24	c (round 130) 17266 del vars, 87 del conss, 12905 chg bounds, 1208 chg sides, 5731 chg coeffs, 385 upgd conss, 173484 impls, 83 clqs
77.76/77.89	c (round 131) 17342 del vars, 87 del conss, 12905 chg bounds, 1208 chg sides, 5735 chg coeffs, 385 upgd conss, 175662 impls, 83 clqs
80.26/80.31	c (round 132) 17392 del vars, 87 del conss, 12905 chg bounds, 1208 chg sides, 5739 chg coeffs, 385 upgd conss, 176920 impls, 81 clqs
80.26/80.39	c (round 133) 17392 del vars, 87 del conss, 12905 chg bounds, 1225 chg sides, 5762 chg coeffs, 385 upgd conss, 176926 impls, 82 clqs
80.36/80.44	c (round 134) 17392 del vars, 87 del conss, 12905 chg bounds, 1227 chg sides, 5771 chg coeffs, 385 upgd conss, 176926 impls, 82 clqs
84.56/84.62	c (round 135) 17442 del vars, 87 del conss, 12905 chg bounds, 1227 chg sides, 5776 chg coeffs, 385 upgd conss, 181468 impls, 81 clqs
84.66/84.80	c (round 136) 17442 del vars, 87 del conss, 12905 chg bounds, 1266 chg sides, 5833 chg coeffs, 385 upgd conss, 181468 impls, 81 clqs
84.76/84.85	c (round 137) 17442 del vars, 89 del conss, 12905 chg bounds, 1271 chg sides, 5877 chg coeffs, 385 upgd conss, 181468 impls, 84 clqs
93.55/93.66	c    (92.9s) probing: 5000/64690 (7.7%) - 4050 fixings, 251 aggregations, 73525 implications, 0 bound changes
93.85/93.91	c (round 138) 17623 del vars, 89 del conss, 12905 chg bounds, 1271 chg sides, 5884 chg coeffs, 385 upgd conss, 190660 impls, 84 clqs
93.95/94.09	c (round 139) 17624 del vars, 91 del conss, 12906 chg bounds, 1299 chg sides, 5957 chg coeffs, 385 upgd conss, 190884 impls, 88 clqs
94.15/94.22	c (round 140) 17624 del vars, 92 del conss, 12906 chg bounds, 1305 chg sides, 5983 chg coeffs, 385 upgd conss, 190890 impls, 91 clqs
94.15/94.27	c (round 141) 17624 del vars, 92 del conss, 12906 chg bounds, 1307 chg sides, 5994 chg coeffs, 385 upgd conss, 190890 impls, 91 clqs
94.25/94.32	c (round 142) 17624 del vars, 92 del conss, 12906 chg bounds, 1308 chg sides, 6011 chg coeffs, 385 upgd conss, 190890 impls, 91 clqs
111.35/111.48	c    (110.7s) probing: 6000/64690 (9.3%) - 4215 fixings, 262 aggregations, 75824 implications, 0 bound changes
112.55/112.60	c (round 143) 17674 del vars, 92 del conss, 12906 chg bounds, 1308 chg sides, 6017 chg coeffs, 385 upgd conss, 195782 impls, 90 clqs
112.65/112.77	c (round 144) 17674 del vars, 97 del conss, 12906 chg bounds, 1324 chg sides, 6069 chg coeffs, 385 upgd conss, 195782 impls, 92 clqs
112.75/112.84	c (round 145) 17674 del vars, 100 del conss, 12906 chg bounds, 1330 chg sides, 6107 chg coeffs, 385 upgd conss, 195782 impls, 94 clqs
112.75/112.89	c (round 146) 17674 del vars, 101 del conss, 12906 chg bounds, 1332 chg sides, 6126 chg coeffs, 385 upgd conss, 195782 impls, 95 clqs
112.85/112.93	c (round 147) 17674 del vars, 101 del conss, 12906 chg bounds, 1333 chg sides, 6134 chg coeffs, 385 upgd conss, 195782 impls, 95 clqs
112.85/112.97	c (round 148) 17674 del vars, 101 del conss, 12906 chg bounds, 1334 chg sides, 6141 chg coeffs, 385 upgd conss, 195782 impls, 95 clqs
114.75/114.89	c (round 149) 17724 del vars, 101 del conss, 12906 chg bounds, 1334 chg sides, 6145 chg coeffs, 385 upgd conss, 196470 impls, 95 clqs
114.84/114.99	c (round 150) 17724 del vars, 101 del conss, 12906 chg bounds, 1341 chg sides, 6164 chg coeffs, 385 upgd conss, 196470 impls, 95 clqs
114.94/115.05	c (round 151) 17724 del vars, 101 del conss, 12906 chg bounds, 1345 chg sides, 6177 chg coeffs, 385 upgd conss, 196470 impls, 96 clqs
120.14/120.26	c (round 152) 17777 del vars, 101 del conss, 12906 chg bounds, 1345 chg sides, 6183 chg coeffs, 385 upgd conss, 200218 impls, 96 clqs
120.34/120.46	c (round 153) 17777 del vars, 101 del conss, 12906 chg bounds, 1372 chg sides, 6237 chg coeffs, 385 upgd conss, 200552 impls, 96 clqs
120.44/120.51	c (round 154) 17777 del vars, 101 del conss, 12906 chg bounds, 1385 chg sides, 6322 chg coeffs, 385 upgd conss, 200552 impls, 100 clqs
120.44/120.55	c (round 155) 17777 del vars, 102 del conss, 12906 chg bounds, 1387 chg sides, 6330 chg coeffs, 385 upgd conss, 200552 impls, 100 clqs
129.04/129.12	c    (128.4s) probing: 7000/64690 (10.8%) - 4330 fixings, 282 aggregations, 80794 implications, 0 bound changes
146.43/146.52	c    (145.8s) probing: 8000/64690 (12.4%) - 4360 fixings, 282 aggregations, 83224 implications, 0 bound changes
149.23/149.33	c (round 156) 17827 del vars, 102 del conss, 12906 chg bounds, 1387 chg sides, 6336 chg coeffs, 385 upgd conss, 216318 impls, 100 clqs
149.44/149.53	c (round 157) 17827 del vars, 103 del conss, 12906 chg bounds, 1406 chg sides, 6399 chg coeffs, 385 upgd conss, 216318 impls, 100 clqs
149.54/149.66	c (round 158) 17827 del vars, 108 del conss, 12906 chg bounds, 1432 chg sides, 6478 chg coeffs, 385 upgd conss, 216318 impls, 112 clqs
149.63/149.74	c (round 159) 17827 del vars, 113 del conss, 12906 chg bounds, 1443 chg sides, 6564 chg coeffs, 385 upgd conss, 216318 impls, 119 clqs
149.63/149.80	c (round 160) 17827 del vars, 113 del conss, 12906 chg bounds, 1444 chg sides, 6583 chg coeffs, 385 upgd conss, 216318 impls, 119 clqs
149.73/149.86	c (round 161) 17827 del vars, 113 del conss, 12906 chg bounds, 1446 chg sides, 6603 chg coeffs, 385 upgd conss, 216318 impls, 119 clqs
149.83/149.91	c (round 162) 17827 del vars, 113 del conss, 12906 chg bounds, 1447 chg sides, 6619 chg coeffs, 385 upgd conss, 216318 impls, 119 clqs
163.74/163.89	c (round 163) 17878 del vars, 113 del conss, 12906 chg bounds, 1447 chg sides, 6632 chg coeffs, 385 upgd conss, 234154 impls, 118 clqs
163.93/164.02	c (round 164) 17878 del vars, 115 del conss, 12906 chg bounds, 1449 chg sides, 6663 chg coeffs, 385 upgd conss, 234154 impls, 119 clqs
164.04/164.12	c (round 165) 17878 del vars, 115 del conss, 12906 chg bounds, 1460 chg sides, 6714 chg coeffs, 385 upgd conss, 234154 impls, 123 clqs
164.14/164.20	c (round 166) 17878 del vars, 115 del conss, 12906 chg bounds, 1462 chg sides, 6734 chg coeffs, 385 upgd conss, 234154 impls, 123 clqs
164.14/164.27	c (round 167) 17878 del vars, 115 del conss, 12906 chg bounds, 1463 chg sides, 6746 chg coeffs, 385 upgd conss, 234154 impls, 123 clqs
164.24/164.32	c (round 168) 17878 del vars, 115 del conss, 12906 chg bounds, 1464 chg sides, 6761 chg coeffs, 385 upgd conss, 234154 impls, 124 clqs
166.04/166.12	c    (165.4s) probing: 9000/64690 (13.9%) - 4423 fixings, 282 aggregations, 97268 implications, 0 bound changes
170.73/170.82	c (round 169) 17985 del vars, 115 del conss, 12906 chg bounds, 1464 chg sides, 6770 chg coeffs, 385 upgd conss, 249114 impls, 124 clqs
170.83/170.92	c (round 170) 17985 del vars, 115 del conss, 12906 chg bounds, 1479 chg sides, 6798 chg coeffs, 385 upgd conss, 249118 impls, 125 clqs
170.83/170.98	c (round 171) 17985 del vars, 115 del conss, 12906 chg bounds, 1480 chg sides, 6812 chg coeffs, 385 upgd conss, 249118 impls, 125 clqs
170.93/171.03	c (round 172) 17985 del vars, 115 del conss, 12906 chg bounds, 1481 chg sides, 6825 chg coeffs, 385 upgd conss, 249118 impls, 125 clqs
170.93/171.08	c (round 173) 17985 del vars, 115 del conss, 12906 chg bounds, 1482 chg sides, 6832 chg coeffs, 385 upgd conss, 249118 impls, 125 clqs
171.03/171.12	c (round 174) 17985 del vars, 115 del conss, 12906 chg bounds, 1483 chg sides, 6836 chg coeffs, 385 upgd conss, 249118 impls, 125 clqs
176.94/177.09	c (round 175) 18050 del vars, 115 del conss, 12906 chg bounds, 1483 chg sides, 6836 chg coeffs, 385 upgd conss, 263294 impls, 125 clqs
181.63/181.75	c    (181.0s) probing: 9827/64690 (15.2%) - 4617 fixings, 286 aggregations, 104061 implications, 0 bound changes
181.63/181.75	c    (181.0s) probing aborted: 100/100 successive totally useless probings
181.63/181.75	c (round 176) 18085 del vars, 115 del conss, 12906 chg bounds, 1483 chg sides, 6839 chg coeffs, 385 upgd conss, 267230 impls, 125 clqs
185.03/185.16	c    (184.4s) probing: 10000/64690 (15.5%) - 4617 fixings, 286 aggregations, 105127 implications, 0 bound changes
194.23/194.35	c (round 177) 18142 del vars, 115 del conss, 12906 chg bounds, 1483 chg sides, 6841 chg coeffs, 385 upgd conss, 272090 impls, 125 clqs
194.33/194.46	c (round 178) 18142 del vars, 115 del conss, 12906 chg bounds, 1486 chg sides, 6849 chg coeffs, 385 upgd conss, 272090 impls, 126 clqs
202.92/203.02	c    (202.3s) probing: 11000/64690 (17.0%) - 4682 fixings, 286 aggregations, 107899 implications, 0 bound changes
218.12/218.20	c    (217.5s) probing: 11885/64690 (18.4%) - 4701 fixings, 286 aggregations, 109158 implications, 0 bound changes
218.12/218.20	c    (217.5s) probing aborted: 100/100 successive totally useless probings
218.12/218.20	c (round 179) 18169 del vars, 115 del conss, 12906 chg bounds, 1486 chg sides, 6850 chg coeffs, 385 upgd conss, 279928 impls, 126 clqs
218.22/218.31	c (round 180) 18169 del vars, 116 del conss, 12906 chg bounds, 1488 chg sides, 6855 chg coeffs, 385 upgd conss, 279928 impls, 126 clqs
220.42/220.52	c    (219.8s) probing: 12000/64690 (18.6%) - 4701 fixings, 286 aggregations, 109677 implications, 0 bound changes
221.22/221.30	c    (220.6s) probing: 12041/64690 (18.6%) - 4701 fixings, 286 aggregations, 109677 implications, 0 bound changes
221.22/221.30	c    (220.6s) probing aborted: 100/100 successive totally useless probings
221.22/221.31	c presolving (181 rounds):
221.22/221.31	c  18169 deleted vars, 116 deleted constraints, 12906 tightened bounds, 0 added holes, 1488 changed sides, 6855 changed coefficients
221.22/221.31	c  280966 implications, 126 cliques
221.22/221.31	c presolved problem has 59509 variables (59509 bin, 0 int, 0 impl, 0 cont) and 1031 constraints
221.22/221.31	c     372 constraints of type <knapsack>
221.22/221.31	c      95 constraints of type <setppc>
221.22/221.31	c     563 constraints of type <linear>
221.22/221.31	c       1 constraints of type <logicor>
221.22/221.31	c transformed objective value is always integral (scale: 1)
221.22/221.31	c Presolving Time: 220.25
221.22/221.31	c - non default parameters ----------------------------------------------------------------------
221.22/221.31	c # SCIP version 1.2.1.3
221.22/221.31	c 
221.22/221.31	c # frequency for displaying node information lines
221.22/221.31	c # [type: int, range: [-1,2147483647], default: 100]
221.22/221.31	c display/freq = 10000
221.22/221.31	c 
221.22/221.31	c # maximal time in seconds to run
221.22/221.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
221.22/221.31	c limits/time = 1789.27
221.22/221.31	c 
221.22/221.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
221.22/221.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
221.22/221.31	c limits/memory = 1620
221.22/221.31	c 
221.22/221.31	c # default clock type (1: CPU user seconds, 2: wall clock time)
221.22/221.31	c # [type: int, range: [1,2], default: 1]
221.22/221.31	c timing/clocktype = 2
221.22/221.31	c 
221.22/221.31	c # should presolving try to simplify inequalities
221.22/221.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
221.22/221.31	c constraints/linear/simplifyinequalities = TRUE
221.22/221.31	c 
221.22/221.31	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
221.22/221.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
221.22/221.31	c constraints/indicator/addCouplingCons = TRUE
221.22/221.31	c 
221.22/221.31	c # should presolving try to simplify knapsacks
221.22/221.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
221.22/221.31	c constraints/knapsack/simplifyinequalities = TRUE
221.22/221.31	c 
221.22/221.31	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
221.22/221.31	c # [type: int, range: [-1,2147483647], default: -1]
221.22/221.31	c separating/rapidlearning/freq = 0
221.22/221.31	c 
221.22/221.31	c -----------------------------------------------------------------------------------------------
221.22/221.31	c start solving
221.22/221.36	c 
221.62/221.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
221.62/221.70	c   221s|     1 |     0 |     6 |     - | 192M|   0 |   - |  59k|1031 |  59k|1031 |   0 |   0 |   0 |      --      |      --      |   0.00%
221.62/221.70	c   221s|     1 |     0 |     6 |     - | 192M|   0 |   - |  59k|1031 |  59k|1031 |   0 |   0 |   0 |      --      |      --      |   0.00%
221.62/221.70	c 
221.62/221.70	c SCIP Status        : problem is solved [infeasible]
221.62/221.70	c Solving Time (sec) : 220.96
221.62/221.70	c Solving Nodes      : 1
221.62/221.70	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
221.62/221.70	c Dual Bound         : +1.00000000000000e+20
221.62/221.70	c Gap                : 0.00 %
221.62/221.70	s UNSATISFIABLE
221.62/221.70	c SCIP Status        : problem is solved [infeasible]
221.62/221.70	c Solving Time       :     220.96
221.62/221.70	c Original Problem   :
221.62/221.70	c   Problem name     : HOME/instance-2704444-1278559062.opb
221.62/221.70	c   Variables        : 77678 (77678 binary, 0 integer, 0 implicit integer, 0 continuous)
221.62/221.70	c   Constraints      : 1016 initial, 1016 maximal
221.62/221.70	c Presolved Problem  :
221.62/221.70	c   Problem name     : t_HOME/instance-2704444-1278559062.opb
221.62/221.70	c   Variables        : 59509 (59509 binary, 0 integer, 0 implicit integer, 0 continuous)
221.62/221.70	c   Constraints      : 1031 initial, 1031 maximal
221.62/221.70	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
221.62/221.70	c   trivial          :       2.06          0          0          0          0          0          0          0          0
221.62/221.70	c   dualfix          :       2.06          0          0          0          0          0          0          0          0
221.62/221.70	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
221.62/221.70	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
221.62/221.70	c   implics          :       1.03          0          1          0          0          0          0          0          0
221.62/221.70	c   probing          :     206.83       4701        286          0          0          0          0          0          0
221.62/221.70	c   knapsack         :       4.21         31          0          0         10          0         11       1021       6333
221.62/221.70	c   setppc           :       0.05          2          0          0          0          0         37          0          0
221.62/221.70	c   linear           :       3.38      13110         38          0      12896          0         68        467        522
221.62/221.70	c   logicor          :       0.00          0          0          0          0          0          0          0          0
221.62/221.70	c   root node        :          -          0          -          -          0          -          -          -          -
221.62/221.70	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
221.62/221.70	c   integral         :          0          0          0          0          0          0          0          0          0          0
221.62/221.70	c   knapsack         :        372          0      29362          0          0        163          0          0          0          0
221.62/221.70	c   setppc           :         95          0      29199          0          0          4          0          0          0          0
221.62/221.70	c   linear           :        563          0      29195          0          0        757          0          0          0          0
221.62/221.70	c   logicor          :          1          0          4          0          0          0          0          0          0          0
221.62/221.70	c   countsols        :          0          0          0          0          0          0          0          0          0          0
221.62/221.70	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
221.62/221.70	c   integral         :       0.00       0.00       0.00       0.00       0.00
221.62/221.70	c   knapsack         :       2.25       0.00       2.25       0.00       0.00
221.62/221.70	c   setppc           :       0.26       0.00       0.26       0.00       0.00
221.62/221.70	c   linear           :      22.71       0.00      22.71       0.00       0.00
221.62/221.70	c   logicor          :       0.00       0.00       0.00       0.00       0.00
221.62/221.70	c   countsols        :       0.00       0.00       0.00       0.00       0.00
221.62/221.70	c Propagators        :       Time      Calls    Cutoffs    DomReds
221.62/221.70	c   vbounds          :       0.03          2          0          0
221.62/221.70	c   rootredcost      :       0.02          0          0          0
221.62/221.70	c   pseudoobj        :       0.01          2          1          0
221.62/221.70	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
221.62/221.70	c   propagation      :       0.00          1          0          0        0.0          0        0.0          -
221.62/221.70	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
221.62/221.70	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
221.62/221.70	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
221.62/221.70	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
221.62/221.70	c   applied globally :          -          -          -          0        0.0          -          -          -
221.62/221.70	c   applied locally  :          -          -          -          0        0.0          -          -          -
221.62/221.70	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
221.62/221.70	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
221.62/221.70	c   redcost          :       0.00          0          0          0          0          0
221.62/221.70	c   impliedbounds    :       0.00          0          0          0          0          0
221.62/221.70	c   intobj           :       0.00          0          0          0          0          0
221.62/221.70	c   cgmip            :       0.00          0          0          0          0          0
221.62/221.70	c   gomory           :       0.00          0          0          0          0          0
221.62/221.70	c   strongcg         :       0.00          0          0          0          0          0
221.62/221.70	c   cmir             :       0.00          0          0          0          0          0
221.62/221.70	c   flowcover        :       0.00          0          0          0          0          0
221.62/221.70	c   clique           :       0.00          0          0          0          0          0
221.62/221.70	c   zerohalf         :       0.00          0          0          0          0          0
221.62/221.70	c   mcf              :       0.00          0          0          0          0          0
221.62/221.70	c   rapidlearning    :       0.00          0          0          0          0          0
221.62/221.70	c Pricers            :       Time      Calls       Vars
221.62/221.70	c   problem variables:       0.00          0          0
221.62/221.70	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
221.62/221.70	c   pscost           :       0.00          0          0          0          0          0          0
221.62/221.70	c   inference        :       0.00          0          0          0          0          0          0
221.62/221.70	c   mostinf          :       0.00          0          0          0          0          0          0
221.62/221.70	c   leastinf         :       0.00          0          0          0          0          0          0
221.62/221.70	c   fullstrong       :       0.00          0          0          0          0          0          0
221.62/221.70	c   allfullstrong    :       0.00          0          0          0          0          0          0
221.62/221.70	c   random           :       0.00          0          0          0          0          0          0
221.62/221.70	c   relpscost        :       0.00          0          0          0          0          0          0
221.62/221.70	c Primal Heuristics  :       Time      Calls      Found
221.62/221.70	c   LP solutions     :       0.00          -          0
221.62/221.70	c   pseudo solutions :       0.00          -          0
221.62/221.70	c   oneopt           :       0.00          0          0
221.62/221.70	c   trivial          :       0.20          2          0
221.62/221.70	c   simplerounding   :       0.00          0          0
221.62/221.70	c   zirounding       :       0.00          0          0
221.62/221.70	c   rounding         :       0.00          0          0
221.62/221.70	c   shifting         :       0.00          0          0
221.62/221.70	c   intshifting      :       0.00          0          0
221.62/221.70	c   twoopt           :       0.00          0          0
221.62/221.70	c   fixandinfer      :       0.00          0          0
221.62/221.70	c   feaspump         :       0.00          0          0
221.62/221.70	c   coefdiving       :       0.00          0          0
221.62/221.70	c   pscostdiving     :       0.00          0          0
221.62/221.70	c   fracdiving       :       0.00          0          0
221.62/221.70	c   veclendiving     :       0.00          0          0
221.62/221.70	c   intdiving        :       0.00          0          0
221.62/221.70	c   actconsdiving    :       0.00          0          0
221.62/221.70	c   objpscostdiving  :       0.00          0          0
221.62/221.70	c   rootsoldiving    :       0.00          0          0
221.62/221.70	c   linesearchdiving :       0.00          0          0
221.62/221.70	c   guideddiving     :       0.00          0          0
221.62/221.70	c   octane           :       0.00          0          0
221.62/221.70	c   rens             :       0.00          0          0
221.62/221.70	c   rins             :       0.00          0          0
221.62/221.70	c   localbranching   :       0.00          0          0
221.62/221.70	c   mutation         :       0.00          0          0
221.62/221.70	c   crossover        :       0.00          0          0
221.62/221.70	c   dins             :       0.00          0          0
221.62/221.70	c   undercover       :       0.00          0          0
221.62/221.70	c   nlp              :       0.00          0          0
221.62/221.70	c   trysol           :       0.00          0          0
221.62/221.70	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
221.62/221.70	c   primal LP        :       0.00          0          0       0.00          -
221.62/221.70	c   dual LP          :       0.02          1          6       6.00     372.39
221.62/221.70	c   lex dual LP      :       0.00          0          0       0.00          -
221.62/221.70	c   barrier LP       :       0.00          0          0       0.00          -
221.62/221.70	c   diving/probing LP:       0.00          0          0       0.00          -
221.62/221.70	c   strong branching :       0.00          0          0       0.00          -
221.62/221.70	c     (at root node) :          -          0          0       0.00          -
221.62/221.70	c   conflict analysis:       0.00          0          0       0.00          -
221.62/221.70	c B&B Tree           :
221.62/221.70	c   number of runs   :          1
221.62/221.70	c   nodes            :          1
221.62/221.70	c   nodes (total)    :          1
221.62/221.70	c   nodes left       :          0
221.62/221.70	c   max depth        :          0
221.62/221.70	c   max depth (total):          0
221.62/221.70	c   backtracks       :          0 (0.0%)
221.62/221.70	c   delayed cutoffs  :          0
221.62/221.70	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
221.62/221.70	c   avg switch length:       2.00
221.62/221.70	c   switching time   :       0.00
221.62/221.70	c Solution           :
221.62/221.70	c   Solutions found  :          0 (0 improvements)
221.62/221.70	c   Primal Bound     : infeasible
221.62/221.70	c   Dual Bound       :          -
221.62/221.70	c   Gap              :       0.00 %
221.62/221.70	c   Root Dual Bound  :          -
221.62/221.70	c   Root Iterations  :          6
222.02/222.15	c Time complete: 222.07.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704444-1278559062/watcher-2704444-1278559062 -o /tmp/evaluation-result-2704444-1278559062/solver-2704444-1278559062 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704444-1278559062.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/105 27225
/proc/meminfo: memFree=1676344/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=7904 CPUtime=0
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 1150 0 0 0 0 0 0 0 22 0 1 0 24114558 8093696 1062 1992294400 4194304 8395647 140735572543264 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 1976 1070 365 1026 0 946 0

[startup+0.0652299 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27225
/proc/meminfo: memFree=1676344/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=19756 CPUtime=0.06
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 4230 0 0 0 5 1 0 0 22 0 1 0 24114558 20230144 4141 1992294400 4194304 8395647 140735572543264 18446744073709551615 7384817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 4939 4141 393 1026 0 3909 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19756

[startup+0.101234 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27225
/proc/meminfo: memFree=1676344/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=25440 CPUtime=0.09
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 5660 0 0 0 8 1 0 0 22 0 1 0 24114558 26050560 5571 1992294400 4194304 8395647 140735572543264 18446744073709551615 6348906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 6360 5571 393 1026 0 5330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25440

[startup+0.301252 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27225
/proc/meminfo: memFree=1676344/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=41792 CPUtime=0.29
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 9755 0 0 0 26 3 0 0 22 0 1 0 24114558 42795008 9666 1992294400 4194304 8395647 140735572543264 18446744073709551615 7276744 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 10448 9669 393 1026 0 9418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41792

[startup+0.701292 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27225
/proc/meminfo: memFree=1676344/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=70264 CPUtime=0.69
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 16785 0 0 0 63 6 0 0 24 0 1 0 24114558 71950336 16696 1992294400 4194304 8395647 140735572543264 18446744073709551615 7370118 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 17566 16696 393 1026 0 16536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70264

[startup+1.50137 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27226
/proc/meminfo: memFree=1535720/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=174528 CPUtime=1.49
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 41856 0 0 0 134 15 0 0 25 0 1 0 24114558 178716672 41413 1992294400 4194304 8395647 140735572543264 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 43632 41413 444 1026 0 42602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174528

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27226
/proc/meminfo: memFree=1510548/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=196568 CPUtime=3.09
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 46939 0 0 0 292 17 0 0 25 0 1 0 24114558 201285632 46415 1992294400 4194304 8395647 140735572543264 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 49142 46415 524 1026 0 48112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196568

[startup+6.30084 s]
/proc/loadavg: 1.16 1.03 1.01 2/106 27226
/proc/meminfo: memFree=1486616/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=201364 CPUtime=6.29
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 48152 0 0 0 612 17 0 0 25 0 1 0 24114558 206196736 47614 1992294400 4194304 8395647 140735572543264 18446744073709551615 5604439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 50341 47614 510 1026 0 49311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 201364

[startup+12.7015 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 27226
/proc/meminfo: memFree=1485004/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=203188 CPUtime=12.68
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 48620 0 0 0 1251 17 0 0 25 0 1 0 24114558 208064512 48082 1992294400 4194304 8395647 140735572543264 18446744073709551615 5597507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 50797 48082 510 1026 0 49767 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 203188

[startup+25.5007 s]
/proc/loadavg: 1.11 1.03 1.01 2/106 27226
/proc/meminfo: memFree=1482648/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=205640 CPUtime=25.48
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 49231 0 0 0 2530 18 0 0 25 0 1 0 24114558 210575360 48693 1992294400 4194304 8395647 140735572543264 18446744073709551615 4483023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 51410 48693 520 1026 0 50380 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 205640

[startup+51.1012 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 27228
/proc/meminfo: memFree=1480168/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=209312 CPUtime=51.07
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 50149 0 0 0 5089 18 0 0 25 0 1 0 24114558 214335488 49611 1992294400 4194304 8395647 140735572543264 18446744073709551615 5611703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 52328 49611 520 1026 0 51298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 209312

[startup+102.308 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 27230
/proc/meminfo: memFree=1475952/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=212228 CPUtime=102.26
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 50905 0 0 0 10208 18 0 0 25 0 1 0 24114558 217321472 50367 1992294400 4194304 8395647 140735572543264 18446744073709551615 4491365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 53057 50367 520 1026 0 52027 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 212228

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 27232
/proc/meminfo: memFree=1474588/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=213404 CPUtime=162.23
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 51188 0 0 0 16205 18 0 0 25 0 1 0 24114558 218525696 50650 1992294400 4194304 8395647 140735572543264 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 53351 50650 520 1026 0 52321 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 213404

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

[startup+179.101 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1471116/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=216748 CPUtime=179.03
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 52009 0 0 0 17884 19 0 0 25 0 1 0 24114558 221949952 51471 1992294400 4194304 8395647 140735572543264 18446744073709551615 4276668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 54187 51471 520 1026 0 53157 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 216748

[startup+204.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=217300 CPUtime=204.62
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 52149 0 0 0 20443 19 0 0 25 0 1 0 24114558 222515200 51611 1992294400 4194304 8395647 140735572543264 18446744073709551615 7182292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 54325 51611 520 1026 0 53295 0
Current children cumulated CPU time (s) 204.62
Current children cumulated vsize (KiB) 217300

[startup+211.103 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=217300 CPUtime=211.03
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 52149 0 0 0 21084 19 0 0 25 0 1 0 24114558 222515200 51611 1992294400 4194304 8395647 140735572543264 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 54325 51611 520 1026 0 53295 0
Current children cumulated CPU time (s) 211.03
Current children cumulated vsize (KiB) 217300

[startup+217.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=217300 CPUtime=217.42
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 52149 0 0 0 21723 19 0 0 25 0 1 0 24114558 222515200 51611 1992294400 4194304 8395647 140735572543264 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 54325 51611 520 1026 0 53295 0
Current children cumulated CPU time (s) 217.42
Current children cumulated vsize (KiB) 217300

[startup+220.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=217300 CPUtime=220.62
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 52149 0 0 0 22043 19 0 0 25 0 1 0 24114558 222515200 51611 1992294400 4194304 8395647 140735572543264 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 54325 51611 520 1026 0 53295 0
Current children cumulated CPU time (s) 220.62
Current children cumulated vsize (KiB) 217300

[startup+221.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=235964 CPUtime=221.42
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 56821 0 0 0 22121 21 0 0 25 0 1 0 24114558 241627136 56283 1992294400 4194304 8395647 140735572543264 18446744073709551615 4719881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27225/statm: 58991 56283 548 1026 0 57961 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 235964

[startup+221.901 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1470620/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=269288 CPUtime=221.82
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 63862 0 0 0 22158 24 0 0 25 0 1 0 24114558 275750912 62611 1992294400 4194304 8395647 140735572543264 18446744073709551615 6070280 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 67322 62611 594 1026 0 66292 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 269288

[startup+222.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27235
/proc/meminfo: memFree=1457724/2059040 swapFree=4143936/4192956
[pid=27225] ppid=27223 vsize=229320 CPUtime=222.02
/proc/27225/stat : 27225 (pbscip.linux.x8) R 27223 27225 25566 0 -1 4202496 63862 0 0 0 22178 24 0 0 25 0 1 0 24114558 234823680 54754 1992294400 4194304 8395647 140735572543264 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27225/statm: 57330 54754 594 1026 0 56300 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 229320

Child status: 0
Real time (s): 222.161
CPU time (s): 222.083
CPU user time (s): 221.815
CPU system time (s): 0.267959
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 269288

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

runsolver used 0.378942 second user time and 1.07484 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-08 05:17:42
IDJOB=2704444
IDBENCH=2390
IDSOLVER=1213
FILE ID=node089/2704444-1278559062
PBS_JOBID= 11239474
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704444-1278559062/watcher-2704444-1278559062 -o /tmp/evaluation-result-2704444-1278559062/solver-2704444-1278559062 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704444-1278559062.opb -t 1800 -m 1800

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

MD5SUM BENCH= 78c28cbc46584ca3f2053cae625d9faa
RANDOM SEED=1567441956

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1676872 kB
Buffers:         55432 kB
Cached:         199892 kB
SwapCached:      40860 kB
Active:         156312 kB
Inactive:       151556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1676872 kB
SwapTotal:     4192956 kB
SwapFree:      4143936 kB
Dirty:           14896 kB
Writeback:           0 kB
AnonPages:       14620 kB
Mapped:          11968 kB
Slab:            52528 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183204 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= 62544 MiB
End job on node089 at 2010-07-08 05:21:25