Trace number 2692849

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.18 1800.13

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
MD5SUMbecc9aeeb3178c7d9d9e6e8b76e31de7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark71.2462
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1857
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692849-1277906783.wbo>
0.00/0.03	c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.00/0.09	c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.00/0.10	c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11	c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12	c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16	c    (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16	c  1983 implications, 5 cliques
0.09/0.16	c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16	c    1800 constraints of type <indicator>
0.09/0.16	c       5 constraints of type <setppc>
0.09/0.16	c    1800 constraints of type <linear>
0.09/0.16	c     829 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.10
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    12 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	o 90731
0.09/0.18	c y 0.1s|     1 |     0 |    21 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    57 |     - |  14M|   0 |  33 |3831 |4434 |3831 | 856 |  22 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   144 |     - |  14M|   0 |  56 |3831 |4434 |3831 | 886 |  52 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.31	c   0.2s|     1 |     0 |   171 |     - |  14M|   0 |  58 |3831 |4434 |3831 | 902 |  68 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   177 |     - |  14M|   0 |  57 |3831 |4434 |3831 | 905 |  71 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   182 |     - |  14M|   0 |  60 |3831 |4434 |3831 | 907 |  73 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.49/0.54	c   0.5s|     1 |     0 |   190 |     - |  14M|   0 |  59 |3831 |4434 |3831 | 908 |  74 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.79/0.88	c   0.8s|     1 |     2 |   190 |     - |  14M|   0 |  59 |3831 |4434 |3831 | 908 |  74 |   0 |  33 | 0.000000e+00 | 9.073100e+04 |    Inf 
24.79/24.85	c  23.9s| 10000 |  9987 | 35177 |   3.5 |  39M|  93 |   0 |3831 |4441 |3831 | 970 |8479 |   7 |1740 | 0.000000e+00 | 9.073100e+04 |    Inf 
41.69/41.70	c  40.2s| 20000 | 19981 | 59006 |   2.9 |  57M| 101 |   0 |3831 |4445 |3831 | 959 |  15k|  11 |1805 | 0.000000e+00 | 9.073100e+04 |    Inf 
57.60/57.68	c  55.6s| 30000 | 29977 | 78920 |   2.6 |  76M| 121 |   0 |3831 |4446 |3831 | 964 |  20k|  13 |1825 | 0.000000e+00 | 9.073100e+04 |    Inf 
73.29/73.39	c  70.8s| 40000 | 39967 | 96300 |   2.4 |  94M| 121 |   0 |3831 |4451 |3831 | 983 |  26k|  24 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
88.69/88.77	c  85.7s| 50000 | 49965 |110617 |   2.2 | 112M| 121 |   0 |3831 |4452 |3831 | 943 |  30k|  25 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
103.80/103.81	c   100s| 60000 | 59961 |120291 |   2.0 | 130M| 121 |   0 |3831 |4461 |3831 | 951 |  33k|  39 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
119.10/119.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
119.10/119.10	c   115s| 70000 | 69951 |133599 |   1.9 | 148M| 121 |   0 |3831 |4471 |3831 | 956 |  37k|  56 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
134.30/134.38	c   130s| 80000 | 79945 |147197 |   1.8 | 165M| 133 |   0 |3831 |4474 |3831 | 933 |  40k|  67 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
149.80/149.85	c   145s| 90000 | 89943 |163669 |   1.8 | 183M| 133 |   0 |3831 |4461 |3831 | 937 |  45k|  68 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
165.19/165.28	c   160s|100000 | 99939 |179442 |   1.8 | 201M| 133 |   0 |3831 |4464 |3831 | 963 |  50k|  80 |1834 | 0.000000e+00 | 9.073100e+04 |    Inf 
180.40/180.50	c   174s|110000 |109939 |192242 |   1.7 | 218M| 191 |   0 |3831 |4462 |3831 | 946 |  53k|  80 |1879 | 0.000000e+00 | 9.073100e+04 |    Inf 
194.09/194.16	o 642
194.09/194.16	c * 188s|119514 | 97830 |201800 |   1.7 | 199M| 191 |   - |3831 |4459 |3831 | 951 |  56k|  80 |1889 | 0.000000e+00 | 6.420000e+02 |    Inf 
195.09/195.10	c   189s|120000 | 98308 |202905 |   1.7 | 201M| 191 |   0 |3831 |4477 |3831 | 933 |  56k|  98 |1917 | 0.000000e+00 | 6.420000e+02 |    Inf 
196.70/196.72	o 313
196.70/196.72	c * 190s|120825 | 45956 |204426 |   1.7 | 113M| 191 |   - |3831 |4495 |3831 | 933 |  57k| 116 |1940 | 0.000000e+00 | 3.130000e+02 |    Inf 
197.29/197.32	o 306
197.29/197.32	c * 191s|120981 | 44595 |206965 |   1.7 | 111M| 191 |   - |3831 |4563 |3831 | 932 |  57k| 189 |1969 | 0.000000e+00 | 3.060000e+02 |    Inf 
197.40/197.44	o 278
197.40/197.44	c * 191s|121018 | 39139 |207224 |   1.7 | 101M| 191 |   - |3831 |4581 |3831 | 936 |  57k| 207 |1971 | 0.000000e+00 | 2.780000e+02 |    Inf 
197.40/197.47	o 179
197.40/197.47	c * 191s|121019 | 21015 |207224 |   1.7 |  67M| 191 |   - |3831 |4581 |3831 | 936 |  57k| 207 |1971 | 0.000000e+00 | 1.790000e+02 |    Inf 
197.50/197.51	o 102
197.50/197.51	c * 191s|121026 |  9544 |207245 |   1.7 |  44M| 191 |   - |3831 |4581 |3831 | 937 |  57k| 207 |1971 | 0.000000e+00 | 1.020000e+02 |    Inf 
197.50/197.56	o 50
197.50/197.56	c * 191s|121033 |  4387 |207298 |   1.7 |  33M| 191 |   - |3831 |4594 |3831 | 937 |  57k| 220 |1972 | 0.000000e+00 | 5.000000e+01 |    Inf 
197.60/197.67	o 36
197.60/197.67	c * 191s|121051 |  2999 |207600 |   1.7 |  30M| 191 |   - |3831 |3702 |3831 | 946 |  57k| 245 |1975 | 0.000000e+00 | 3.600000e+01 |    Inf 
197.60/197.68	o 35
197.60/197.68	c * 191s|121052 |  1951 |207602 |   1.7 |  27M| 191 |   - |3831 |3702 |3831 | 946 |  57k| 245 |1975 | 0.000000e+00 | 3.500000e+01 |    Inf 
214.30/214.32	o 29
214.30/214.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
214.30/214.32	c * 207s|129388 |  1590 |245093 |   1.9 |  31M| 191 |   - |3831 |8381 |3831 | 924 |  62k|  11k|2094 | 0.000000e+00 | 2.900000e+01 |    Inf 
215.49/215.57	c   208s|130000 |  1600 |247789 |   1.9 |  31M| 191 |   - |3831 |8694 |3831 | 925 |  62k|  11k|2094 | 0.000000e+00 | 2.900000e+01 |    Inf 
215.60/215.69	o 23
215.60/215.69	c * 208s|130066 |  1388 |247958 |   1.9 |  31M| 191 |   - |3831 |8763 |3831 | 925 |  62k|  12k|2094 | 0.000000e+00 | 2.300000e+01 |    Inf 
231.40/231.43	o 18
231.40/231.43	c * 223s|138133 |  1065 |286463 |   2.1 |  31M| 191 |   - |3831 |9527 |3831 | 935 |  67k|  22k|2207 | 0.000000e+00 | 1.800000e+01 |    Inf 
234.90/234.94	c   227s|140000 |  1070 |294655 |   2.1 |  31M| 191 |   - |3831 |9561 |   0 |   0 |  67k|  24k|2256 | 0.000000e+00 | 1.800000e+01 |    Inf 
253.10/253.12	c   244s|150000 |  1111 |329276 |   2.2 |  34M| 191 |   - |3831 |  13k|   0 |   0 |  69k|  38k|2382 | 0.000000e+00 | 1.800000e+01 |    Inf 
272.40/272.41	c   262s|160000 |  1154 |365763 |   2.3 |  36M| 191 |   6 |3831 |  16k|3831 | 926 |  70k|  52k|2468 | 0.000000e+00 | 1.800000e+01 |    Inf 
292.20/292.27	c   282s|170000 |  1051 |402993 |   2.4 |  36M| 191 |  10 |3831 |  16k|3831 | 922 |  72k|  65k|2627 | 0.000000e+00 | 1.800000e+01 |    Inf 
314.30/314.37	c   303s|180000 |  1112 |454538 |   2.5 |  38M| 191 |   - |3831 |  19k|   0 |   0 |  80k|  78k|2785 | 0.000000e+00 | 1.800000e+01 |    Inf 
337.50/337.57	c   325s|190000 |  1118 |504667 |   2.7 |  40M| 191 |  15 |3831 |  21k|3831 | 918 |  89k|  92k|2986 | 0.000000e+00 | 1.800000e+01 |    Inf 
349.10/349.11	o 14
349.10/349.11	c * 336s|195415 |   981 |528122 |   2.7 |  38M| 191 |   - |3831 |  17k|3831 | 933 |  91k|  99k|3110 | 0.000000e+00 | 1.400000e+01 |    Inf 
349.10/349.16	o 13
349.10/349.16	c * 336s|195438 |   972 |528240 |   2.7 |  37M| 191 |   - |3831 |  17k|3831 | 943 |  91k|  99k|3110 | 0.000000e+00 | 1.300000e+01 |    Inf 
357.51/357.56	c   344s|200000 |  1028 |542871 |   2.7 |  38M| 191 |   - |3831 |  18k|   0 |   0 |  92k| 105k|3201 | 0.000000e+00 | 1.300000e+01 |    Inf 
368.10/368.14	o 11
368.10/368.14	c * 354s|205794 |  1114 |561470 |   2.7 |  40M| 191 |   - |3831 |  19k|3831 | 924 |  93k| 113k|3222 | 0.000000e+00 | 1.100000e+01 |    Inf 
376.00/376.07	c   362s|210000 |  1177 |575445 |   2.7 |  41M| 191 |  13 |3831 |  19k|3831 | 924 |  93k| 119k|3277 | 0.000000e+00 | 1.100000e+01 |    Inf 
395.01/395.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
395.01/395.05	c   380s|220000 |  1151 |610535 |   2.8 |  41M| 191 |   - |3831 |  18k|   0 |   0 |  95k| 132k|3367 | 0.000000e+00 | 1.100000e+01 |    Inf 
414.71/414.78	c   399s|230000 |  1277 |645864 |   2.8 |  43M| 191 |   - |3831 |  18k|   0 |   0 |  96k| 146k|3503 | 0.000000e+00 | 1.100000e+01 |    Inf 
434.61/434.69	c   418s|240000 |  1338 |682362 |   2.8 |  45M| 191 |   - |3831 |  19k|3831 | 938 |  97k| 160k|3589 | 0.000000e+00 | 1.100000e+01 |    Inf 
455.11/455.14	c   438s|250000 |  1369 |718451 |   2.9 |  48M| 191 |   - |3831 |  21k|   0 |   0 |  99k| 175k|3664 | 0.000000e+00 | 1.100000e+01 |    Inf 
475.80/475.86	c   458s|260000 |  1426 |760156 |   2.9 |  48M| 191 |   - |3831 |  19k|   0 |   0 | 102k| 188k|3823 | 0.000000e+00 | 1.100000e+01 |    Inf 
499.31/499.30	c   480s|270000 |  1366 |815612 |   3.0 |  48M| 191 |   1 |3831 |  19k|3831 | 935 | 110k| 201k|3959 | 0.000000e+00 | 1.100000e+01 |    Inf 
522.31/522.35	c   502s|280000 |  1401 |872789 |   3.1 |  50M| 191 |   - |3831 |  21k|   0 |   0 | 119k| 214k|4111 | 0.000000e+00 | 1.100000e+01 |    Inf 
544.71/544.70	c   524s|290000 |  1289 |923971 |   3.2 |  48M| 191 |  22 |3831 |  16k|3831 | 908 | 126k| 228k|4309 | 0.000000e+00 | 1.100000e+01 |    Inf 
567.11/567.15	c   545s|300000 |  1242 |977401 |   3.3 |  49M| 191 |  22 |3831 |  20k|3831 | 934 | 135k| 241k|4456 | 0.000000e+00 | 1.100000e+01 |    Inf 
588.10/588.14	c   565s|310000 |  1446 |  1028k|   3.3 |  50M| 191 |  17 |3831 |  18k|3831 | 915 | 144k| 255k|4606 | 0.000000e+00 | 1.100000e+01 |    Inf 
609.30/609.38	c   586s|320000 |  1832 |  1080k|   3.4 |  53M| 191 |   - |3831 |  19k|   0 |   0 | 153k| 268k|4726 | 0.000000e+00 | 1.100000e+01 |    Inf 
631.20/631.24	c   607s|330000 |  2042 |  1134k|   3.4 |  55M| 191 |  18 |3831 |  20k|3831 | 919 | 163k| 282k|4850 | 0.000000e+00 | 1.100000e+01 |    Inf 
653.21/653.26	c   628s|340000 |  2161 |  1187k|   3.5 |  57M| 191 |   6 |3831 |  22k|3831 | 917 | 174k| 296k|4995 | 0.000000e+00 | 1.100000e+01 |    Inf 
660.41/660.46	o 10
660.41/660.46	c * 635s|343313 |  1504 |  1204k|   3.5 |  45M| 191 |   - |3831 |  23k|3831 | 914 | 177k| 300k|5006 | 0.000000e+00 | 1.000000e+01 |    Inf 
672.22/672.23	o 9
672.22/672.23	c * 646s|348726 |  1533 |  1230k|   3.5 |  44M| 191 |   - |3831 |  21k|3831 | 928 | 182k| 308k|5092 | 0.000000e+00 | 9.000000e+00 |    Inf 
674.91/674.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
674.91/674.94	c   649s|350000 |  1619 |  1237k|   3.5 |  45M| 191 |   8 |3831 |  20k|3831 | 916 | 183k| 309k|5092 | 0.000000e+00 | 9.000000e+00 |    Inf 
681.51/681.56	o 5
681.51/681.56	c * 655s|353091 |  1474 |  1254k|   3.6 |  42M| 191 |   - |3831 |  22k|3831 | 929 | 187k| 314k|5119 | 0.000000e+00 | 5.000000e+00 |    Inf 
696.61/696.66	c   670s|360000 |  1520 |  1289k|   3.6 |  42M| 191 |  10 |3831 |  21k|3831 | 917 | 194k| 324k|5201 | 0.000000e+00 | 5.000000e+00 |    Inf 
717.82/717.85	c   690s|370000 |  1559 |  1341k|   3.6 |  42M| 191 |   - |3831 |  21k|   0 |   0 | 204k| 338k|5323 | 0.000000e+00 | 5.000000e+00 |    Inf 
739.41/739.45	c   711s|380000 |  1643 |  1394k|   3.7 |  43M| 191 |   - |3831 |  21k|   0 |   0 | 215k| 352k|5422 | 0.000000e+00 | 5.000000e+00 |    Inf 
761.01/761.05	c   731s|390000 |  1707 |  1449k|   3.7 |  45M| 191 |   7 |3831 |  24k|3831 | 914 | 225k| 366k|5550 | 0.000000e+00 | 5.000000e+00 |    Inf 
783.72/783.70	c   753s|400000 |  1796 |  1503k|   3.8 |  47M| 191 |  13 |3831 |  28k|3831 | 908 | 236k| 380k|5642 | 0.000000e+00 | 5.000000e+00 |    Inf 
808.52/808.50	c   777s|410000 |  1824 |  1564k|   3.8 |  49M| 191 |  13 |3831 |  33k|3831 | 925 | 249k| 394k|5765 | 0.000000e+00 | 5.000000e+00 |    Inf 
832.32/832.38	c   800s|420000 |  1796 |  1619k|   3.9 |  46M| 191 |   - |3831 |  24k|   0 |   0 | 258k| 408k|5882 | 0.000000e+00 | 5.000000e+00 |    Inf 
853.41/853.43	c   820s|430000 |  1744 |  1669k|   3.9 |  47M| 191 |  10 |3831 |  25k|3831 | 933 | 266k| 422k|5959 | 0.000000e+00 | 5.000000e+00 |    Inf 
876.32/876.38	c   842s|440000 |  1737 |  1720k|   3.9 |  47M| 191 |  14 |3831 |  26k|3831 | 916 | 276k| 437k|6063 | 0.000000e+00 | 5.000000e+00 |    Inf 
898.61/898.63	c   864s|450000 |  1806 |  1772k|   3.9 |  48M| 191 |   7 |3831 |  26k|3831 | 908 | 286k| 451k|6174 | 0.000000e+00 | 5.000000e+00 |    Inf 
920.42/920.48	c   885s|460000 |  1875 |  1820k|   4.0 |  50M| 191 |  12 |3831 |  28k|3831 | 919 | 295k| 465k|6250 | 0.000000e+00 | 5.000000e+00 |    Inf 
943.62/943.67	c   907s|470000 |  1929 |  1872k|   4.0 |  51M| 191 |  12 |3831 |  32k|3831 | 908 | 306k| 480k|6344 | 0.000000e+00 | 5.000000e+00 |    Inf 
967.22/967.23	c   930s|480000 |  1940 |  1927k|   4.0 |  51M| 191 |  19 |3831 |  30k|3831 | 908 | 316k| 495k|6457 | 0.000000e+00 | 5.000000e+00 |    Inf 
991.12/991.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
991.12/991.11	c   952s|490000 |  1943 |  1981k|   4.0 |  52M| 191 |   8 |3831 |  31k|3831 | 908 | 326k| 511k|6577 | 0.000000e+00 | 5.000000e+00 |    Inf 
992.02/992.05	o 2
992.02/992.05	c * 953s|490423 |  1785 |  1984k|   4.0 |  49M| 191 |   - |3831 |  31k|3831 | 923 | 327k| 511k|6579 | 0.000000e+00 | 2.000000e+00 |    Inf 
1012.72/1012.76	c   973s|500000 |  1703 |  2029k|   4.1 |  47M| 191 |  21 |3831 |  26k|3831 | 942 | 334k| 526k|6662 | 0.000000e+00 | 2.000000e+00 |    Inf 
1034.02/1034.08	c   994s|510000 |  1766 |  2079k|   4.1 |  48M| 191 |   - |3831 |  29k|   0 |   0 | 343k| 540k|6743 | 0.000000e+00 | 2.000000e+00 |    Inf 
1056.22/1056.22	c  1015s|520000 |  1771 |  2127k|   4.1 |  50M| 191 |   - |3831 |  33k|   0 |   0 | 350k| 554k|6804 | 0.000000e+00 | 2.000000e+00 |    Inf 
1080.52/1080.51	c  1039s|530000 |  1759 |  2180k|   4.1 |  51M| 191 |  11 |3831 |  34k|3831 | 911 | 359k| 569k|6881 | 0.000000e+00 | 2.000000e+00 |    Inf 
1103.62/1103.65	c  1061s|540000 |  1716 |  2231k|   4.1 |  48M| 191 |   5 |3831 |  26k|3831 | 915 | 367k| 583k|6991 | 0.000000e+00 | 2.000000e+00 |    Inf 
1125.43/1125.47	c  1082s|550000 |  1676 |  2283k|   4.2 |  48M| 191 |   9 |3831 |  27k|3831 | 908 | 376k| 597k|7069 | 0.000000e+00 | 2.000000e+00 |    Inf 
1148.63/1148.63	c  1104s|560000 |  1731 |  2335k|   4.2 |  50M| 191 |   - |3831 |  31k|3831 | 945 | 385k| 610k|7146 | 0.000000e+00 | 2.000000e+00 |    Inf 
1174.33/1174.33	c  1129s|570000 |  1875 |  2389k|   4.2 |  52M| 191 |  14 |3831 |  33k|3831 | 908 | 394k| 624k|7246 | 0.000000e+00 | 2.000000e+00 |    Inf 
1201.12/1201.18	c  1155s|580000 |  2038 |  2444k|   4.2 |  55M| 191 |   - |3831 |  38k|   0 |   0 | 404k| 638k|7348 | 0.000000e+00 | 2.000000e+00 |    Inf 
1228.53/1228.57	c  1181s|590000 |  2080 |  2497k|   4.2 |  56M| 191 |  17 |3831 |  40k|3831 | 917 | 414k| 653k|7410 | 0.000000e+00 | 2.000000e+00 |    Inf 
1255.72/1255.71	c  1208s|600000 |  2018 |  2547k|   4.2 |  55M| 191 |   - |3831 |  39k|   0 |   0 | 423k| 668k|7484 | 0.000000e+00 | 2.000000e+00 |    Inf 
1283.43/1283.48	c  1235s|610000 |  1987 |  2600k|   4.3 |  55M| 191 |   - |3831 |  40k|   0 |   0 | 433k| 682k|7551 | 0.000000e+00 | 2.000000e+00 |    Inf 
1311.13/1311.19	c  1261s|620000 |  1869 |  2654k|   4.3 |  54M| 191 |  13 |3831 |  38k|3831 | 908 | 441k| 697k|7621 | 0.000000e+00 | 2.000000e+00 |    Inf 
1337.23/1337.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1337.23/1337.29	c  1287s|630000 |  1730 |  2707k|   4.3 |  51M| 191 |  15 |3831 |  32k|3831 | 923 | 450k| 712k|7705 | 0.000000e+00 | 2.000000e+00 |    Inf 
1360.33/1360.37	c  1309s|640000 |  1765 |  2758k|   4.3 |  51M| 191 |   - |3831 |  32k|   0 |   0 | 460k| 725k|7787 | 0.000000e+00 | 2.000000e+00 |    Inf 
1384.13/1384.11	c  1332s|650000 |  1720 |  2811k|   4.3 |  51M| 191 |  16 |3831 |  32k|3831 | 937 | 469k| 739k|7869 | 0.000000e+00 | 2.000000e+00 |    Inf 
1409.63/1409.65	c  1356s|660000 |  1697 |  2868k|   4.3 |  52M| 191 |   8 |3831 |  34k|3831 | 919 | 480k| 754k|7954 | 0.000000e+00 | 2.000000e+00 |    Inf 
1432.24/1432.23	c  1378s|670000 |  1619 |  2918k|   4.4 |  49M| 191 |   - |3831 |  26k|   0 |   0 | 488k| 768k|8030 | 0.000000e+00 | 2.000000e+00 |    Inf 
1456.84/1456.87	c  1402s|680000 |  1507 |  2968k|   4.4 |  48M| 191 |  19 |3831 |  25k|3831 | 936 | 496k| 782k|8114 | 0.000000e+00 | 2.000000e+00 |    Inf 
1482.13/1482.12	c  1426s|690000 |  1418 |  3019k|   4.4 |  47M| 191 |  11 |3831 |  24k|3831 | 938 | 504k| 796k|8228 | 0.000000e+00 | 2.000000e+00 |    Inf 
1507.04/1507.04	c  1450s|700000 |  1327 |  3071k|   4.4 |  45M| 191 |  19 |3831 |  22k|3831 | 922 | 512k| 810k|8304 | 0.000000e+00 | 2.000000e+00 |    Inf 
1533.64/1533.69	c  1476s|710000 |  1376 |  3122k|   4.4 |  46M| 191 |   8 |3831 |  22k|3831 | 908 | 518k| 823k|8373 | 0.000000e+00 | 2.000000e+00 |    Inf 
1560.04/1560.00	c  1502s|720000 |  1310 |  3171k|   4.4 |  46M| 191 |  21 |3831 |  24k|3831 | 908 | 525k| 837k|8439 | 0.000000e+00 | 2.000000e+00 |    Inf 
1586.84/1586.88	c  1528s|730000 |  1334 |  3222k|   4.4 |  47M| 191 |   - |3831 |  26k|   0 |   0 | 531k| 851k|8495 | 0.000000e+00 | 2.000000e+00 |    Inf 
1613.54/1613.50	c  1553s|740000 |  1346 |  3270k|   4.4 |  48M| 191 |  19 |3831 |  29k|3831 | 908 | 538k| 865k|8550 | 0.000000e+00 | 2.000000e+00 |    Inf 
1639.94/1640.00	c  1579s|750000 |  1307 |  3317k|   4.4 |  49M| 191 |   - |3831 |  32k|   0 |   0 | 544k| 878k|8616 | 0.000000e+00 | 2.000000e+00 |    Inf 
1667.74/1667.78	c  1606s|760000 |  1276 |  3367k|   4.4 |  49M| 191 |  10 |3831 |  32k|3831 | 920 | 550k| 892k|8695 | 0.000000e+00 | 2.000000e+00 |    Inf 
1695.04/1695.07	c  1632s|770000 |  1189 |  3416k|   4.4 |  48M| 191 |  14 |3831 |  31k|3831 | 912 | 557k| 906k|8776 | 0.000000e+00 | 2.000000e+00 |    Inf 
1722.45/1722.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1722.45/1722.48	c  1659s|780000 |  1245 |  3468k|   4.4 |  50M| 191 |   - |3831 |  37k|   0 |   0 | 566k| 920k|8854 | 0.000000e+00 | 2.000000e+00 |    Inf 
1750.75/1750.79	c  1686s|790000 |  1171 |  3519k|   4.5 |  49M| 191 |  20 |3831 |  35k|3831 | 916 | 573k| 934k|8923 | 0.000000e+00 | 2.000000e+00 |    Inf 
1781.35/1781.30	c  1716s|800000 |  1256 |  3578k|   4.5 |  50M| 191 |   - |3831 |  37k|   0 |   0 | 583k| 948k|8996 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1734.13
1800.05/1800.00	c Solving Nodes      : 806160
1800.05/1800.00	c Primal Bound       : +2.00000000000000e+00 (125 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.04	s SATISFIABLE
1800.05/1800.04	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1800.05/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.04	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.04	v x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 
1800.05/1800.04	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.04	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.05/1800.04	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 -x80 
1800.05/1800.04	v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 
1800.05/1800.04	v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 
1800.05/1800.04	v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.05/1800.04	v -x1 
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Solving Time       :    1734.13
1800.05/1800.04	c Original Problem   :
1800.05/1800.04	c   Problem name     : HOME/instance-2692849-1277906783.wbo
1800.05/1800.04	c   Variables        : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.05/1800.04	c   Constraints      : 4565 initial, 4565 maximal
1800.05/1800.04	c Presolved Problem  :
1800.05/1800.04	c   Problem name     : t_HOME/instance-2692849-1277906783.wbo
1800.05/1800.04	c   Variables        : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.05/1800.04	c   Constraints      : 4434 initial, 41150 maximal
1800.05/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.04	c   trivial          :       0.00         57          0          0          0          0          0          0          0
1800.05/1800.04	c   dualfix          :       0.00         57          0          0          0          0          0          0          0
1800.05/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.04	c   indicator        :       0.00          0          0          0          0          0         57          0          0
1800.05/1800.04	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   linear           :       0.05          0          0          0       1864          0         74         62          0
1800.05/1800.04	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   root node        :          -       1788          -          -       3576          -          -          -          -
1800.05/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   integral         :          0          0          0     578455          0         17        630          0          0     777330
1800.05/1800.04	c   indicator        :       1800          0    3443683     188203          0         94    1200530          0          0          0
1800.05/1800.04	c   setppc           :          5          6    3353739     116441          0      16138     790964          0          0          0
1800.05/1800.04	c   linear           :       1800          6    3470713     189268          0     176224   17563118     589134          0          0
1800.05/1800.04	c   logicor          :        829+         6    1497931     111958          0     156723    3469869          0          0          0
1800.05/1800.04	c   bounddisjunction :          0+         0          5          0          0          0          2          0          0          0
1800.05/1800.04	c   countsols        :          0          0          0     111958          0          0          0          0          0          0
1800.05/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.04	c   integral         :      23.38       0.00       0.00      23.38       0.00
1800.05/1800.04	c   indicator        :      23.98       0.00       7.91      16.07       0.00
1800.05/1800.04	c   setppc           :       5.92       0.00       5.91       0.01       0.00
1800.05/1800.04	c   linear           :     139.45       0.01     133.17       6.27       0.00
1800.05/1800.04	c   logicor          :     273.81       0.00     272.68       1.13       0.00
1800.05/1800.04	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.04	c   vbounds          :       0.00          2          0          0
1800.05/1800.04	c   rootredcost      :       0.00         20          0       1788
1800.05/1800.04	c   pseudoobj        :     116.20    3488212       1312     902520
1800.05/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.04	c   propagation      :      16.69     350397     350043    2156578       27.4      11837       23.5          -
1800.05/1800.04	c   infeasible LP    :       7.43      25998      25998     207000       44.2        190       20.9          0
1800.05/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   pseudo solution  :       0.00         17         17         81       13.5          3        3.7          -
1800.05/1800.04	c   applied globally :          -          -          -     957225       22.7          -          -          -
1800.05/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.04	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 72)
1800.05/1800.04	c   redcost          :      31.82     581620          0     155526          0          0
1800.05/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.04	c   gomory           :       0.13          6          0          0        363          0
1800.05/1800.04	c   strongcg         :       0.08          6          0          0         44          0
1800.05/1800.04	c   cmir             :       0.04          6          0          0          0          0
1800.05/1800.04	c   flowcover        :       0.06          6          0          0          0          0
1800.05/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.05/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.04	c Pricers            :       Time      Calls       Vars
1800.05/1800.04	c   problem variables:       0.00          0          0
1800.05/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   relpscost        :      23.32     389177         17        630          0          0     777330
1800.05/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   inference        :      17.27     111939          0          0          0          0     223878
1800.05/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.04	c   LP solutions     :       0.18          -         19
1800.05/1800.04	c   pseudo solutions :       0.00          -          0
1800.05/1800.04	c   oneopt           :       0.14         18          0
1800.05/1800.04	c   feaspump         :       0.01          1          0
1800.05/1800.04	c   intshifting      :       0.00          2          0
1800.05/1800.04	c   crossover        :       0.64         22          0
1800.05/1800.04	c   veclendiving     :       1.94       1963          0
1800.05/1800.04	c   coefdiving       :       1.64       1964          0
1800.05/1800.04	c   pscostdiving     :       2.05       1964          0
1800.05/1800.04	c   fracdiving       :       1.94       1964          0
1800.05/1800.04	c   linesearchdiving :       2.04       1964          0
1800.05/1800.04	c   guideddiving     :       1.81       1964          0
1800.05/1800.04	c   objpscostdiving  :       2.06       1958          0
1800.05/1800.04	c   rootsoldiving    :       2.04       1958          0
1800.05/1800.04	c   trivial          :       0.02          2          0
1800.05/1800.04	c   simplerounding   :       0.46     389851          0
1800.05/1800.04	c   zirounding       :       0.04       1000          0
1800.05/1800.04	c   rounding         :       1.60       8804          0
1800.05/1800.04	c   shifting         :       1.11       2759          0
1800.05/1800.04	c   twoopt           :       0.00          0          0
1800.05/1800.04	c   fixandinfer      :       0.00          0          0
1800.05/1800.04	c   intdiving        :       0.00          0          0
1800.05/1800.04	c   actconsdiving    :       0.00          0          0
1800.05/1800.04	c   octane           :       0.00          0          0
1800.05/1800.04	c   rens             :       0.02          1          0
1800.05/1800.04	c   rins             :       0.00          0          0
1800.05/1800.04	c   localbranching   :       0.00          0          0
1800.05/1800.04	c   mutation         :       0.00          0          0
1800.05/1800.04	c   dins             :       0.00          0          0
1800.05/1800.04	c   undercover       :       0.00          0          0
1800.05/1800.04	c   nlp              :       0.00          0          0
1800.05/1800.04	c   trysol           :       1.31       7727        106
1800.05/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.04	c   dual LP          :     548.12     497588    3612532       7.26    6590.77
1800.05/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.04	c   diving/probing LP:       0.19         90        639       7.10    3363.16
1800.05/1800.04	c   strong branching :      19.42       9009     121694      13.51    6266.43
1800.05/1800.04	c     (at root node) :          -         33       2838      86.00          -
1800.05/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.04	c B&B Tree           :
1800.05/1800.04	c   number of runs   :          1
1800.05/1800.04	c   nodes            :     806160
1800.05/1800.04	c   nodes (total)    :     806160
1800.05/1800.04	c   nodes left       :       1301
1800.05/1800.04	c   max depth        :        191
1800.05/1800.04	c   max depth (total):        191
1800.05/1800.04	c   backtracks       :      88059 (10.9%)
1800.05/1800.04	c   delayed cutoffs  :      73006
1800.05/1800.04	c   repropagations   :    1333135 (5118431 domain reductions, 70926 cutoffs)
1800.05/1800.04	c   avg switch length:       4.93
1800.05/1800.04	c   switching time   :     257.01
1800.05/1800.04	c Solution           :
1800.05/1800.04	c   Solutions found  :        125 (20 improvements)
1800.05/1800.04	c   First Solution   : +9.07310000000000e+04   (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.04	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 490423 nodes, 953.36 seconds, depth 43, found by <relaxation>)
1800.05/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.04	c   Gap              :   infinite
1800.05/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.04	c   Root Iterations  :        190
1800.15/1800.13	c Time complete: 1800.17.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692849-1277906783/watcher-2692849-1277906783 -o /tmp/evaluation-result-2692849-1277906783/solver-2692849-1277906783 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692849-1277906783.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=31786348/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=9268 CPUtime=0
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 1641 0 0 0 0 0 0 0 21 0 1 0 131975798 9490432 1561 4089446400 4194304 8223781 140735582081552 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10053/statm: 2317 1562 369 984 0 1330 0

[startup+0.103556 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=31786348/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=29756 CPUtime=0.09
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 8098 0 0 0 8 1 0 0 21 0 1 0 131975798 30470144 6369 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 7439 6369 452 984 0 6452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29756

[startup+0.200525 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=31786348/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=35044 CPUtime=0.19
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 11356 0 0 0 16 3 0 0 18 0 1 0 131975798 35885056 7804 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 8761 7804 570 984 0 7774 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35044

[startup+0.30051 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=31786348/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=36120 CPUtime=0.29
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 11665 0 0 0 26 3 0 0 18 0 1 0 131975798 36986880 8108 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 9030 8108 572 984 0 8043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36120

[startup+0.700432 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=31786348/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=36920 CPUtime=0.69
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 18849 0 0 0 63 6 0 0 18 0 1 0 131975798 37806080 8306 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 9230 8306 589 984 0 8243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36920

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10054
/proc/meminfo: memFree=31755268/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=36896 CPUtime=1.49
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 19080 0 0 0 140 9 0 0 19 0 1 0 131975798 37781504 8305 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 9224 8305 589 984 0 8237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36896

[startup+3.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10054
/proc/meminfo: memFree=31755144/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=36952 CPUtime=3.09
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 19263 0 0 0 294 15 0 0 24 0 1 0 131975798 37838848 8316 4089446400 4194304 8223781 140735582081552 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 9238 8316 591 984 0 8251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36952

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10054
/proc/meminfo: memFree=31754708/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=53368 CPUtime=6.29
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 24097 0 0 0 602 27 0 0 25 0 1 0 131975798 54648832 12243 4089446400 4194304 8223781 140735582081552 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 13342 12257 592 984 0 12355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53368

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10054
/proc/meminfo: memFree=31743052/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=50160 CPUtime=12.69
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 46983 0 0 0 1218 51 0 0 25 0 1 0 131975798 51363840 11461 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 12540 11461 595 984 0 11553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50160

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10054
/proc/meminfo: memFree=31729036/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=65176 CPUtime=25.49
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 56449 0 0 0 2455 94 0 0 25 0 1 0 131975798 66740224 15214 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10053/statm: 16294 15214 595 984 0 15307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65176

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10055
/proc/meminfo: memFree=31696388/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=96676 CPUtime=51.09
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 77780 0 0 0 4927 182 0 0 25 0 1 0 131975798 98996224 23153 4089446400 4194304 8223781 140735582081552 18446744073709551615 6482641 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 24169 23153 595 984 0 23182 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96676

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10056
/proc/meminfo: memFree=31635716/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=155760 CPUtime=102.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 99621 0 0 0 9880 350 0 0 25 0 1 0 131975798 159498240 38041 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 38940 38041 595 984 0 37953 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155760

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10058
/proc/meminfo: memFree=31561244/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=229960 CPUtime=162.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 121834 0 0 0 15688 542 0 0 25 0 1 0 131975798 235479040 56237 4089446400 4194304 8223781 140735582081552 18446744073709551615 6003270 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 57490 56237 596 984 0 56503 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 229960

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10060
/proc/meminfo: memFree=31498816/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=287396 CPUtime=222.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 178241 0 0 0 21458 772 0 0 25 0 1 0 131975798 294293504 70676 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 71849 70676 598 984 0 70862 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 287396

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10062
/proc/meminfo: memFree=31483396/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=296316 CPUtime=282.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 202684 0 0 0 27197 1033 0 0 25 0 1 0 131975798 303427584 72889 4089446400 4194304 8223781 140735582081552 18446744073709551615 6456041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 74079 72889 598 984 0 73092 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 296316

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10063
/proc/meminfo: memFree=31471696/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=303516 CPUtime=342.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 210648 0 0 0 32961 1269 0 0 25 0 1 0 131975798 310800384 74623 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 75879 74623 598 984 0 74892 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 303516

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10064
/proc/meminfo: memFree=31463940/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=307604 CPUtime=402.3
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 240835 0 0 0 38707 1523 0 0 25 0 1 0 131975798 314986496 75589 4089446400 4194304 8223781 140735582081552 18446744073709551615 6456046 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 76901 75589 605 984 0 75914 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 307604

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10066
/proc/meminfo: memFree=31456800/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=313156 CPUtime=462.31
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 250646 0 0 0 44469 1762 0 0 25 0 1 0 131975798 320671744 76822 4089446400 4194304 8223781 140735582081552 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 78289 76822 605 984 0 77302 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 313156

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10068
/proc/meminfo: memFree=31451424/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=315504 CPUtime=522.31
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 261502 0 0 0 50232 1999 0 0 25 0 1 0 131975798 323076096 77303 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 78876 77303 605 984 0 77889 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 315504

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10070
/proc/meminfo: memFree=31447776/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=317216 CPUtime=582.31
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 271642 0 0 0 55984 2247 0 0 25 0 1 0 131975798 324829184 77637 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 79304 77637 605 984 0 78317 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 317216

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10071
/proc/meminfo: memFree=31442880/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=321480 CPUtime=642.31
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 280860 0 0 0 61744 2487 0 0 25 0 1 0 131975798 329195520 78722 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80370 78722 605 984 0 79383 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 321480

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10078
/proc/meminfo: memFree=31442484/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=318696 CPUtime=882.32
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 352191 0 0 0 84785 3447 0 0 25 0 1 0 131975798 326344704 77910 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 79674 77910 605 984 0 78687 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 318696

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10079
/proc/meminfo: memFree=31441324/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320076 CPUtime=942.32
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 361286 0 0 0 90552 3680 0 0 25 0 1 0 131975798 327757824 78228 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80019 78228 605 984 0 79032 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 320076

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10080
/proc/meminfo: memFree=31439536/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320644 CPUtime=1002.33
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 387178 0 0 0 96322 3911 0 0 25 0 1 0 131975798 328339456 78373 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80161 78373 605 984 0 79174 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 320644

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 10082
/proc/meminfo: memFree=31440104/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320036 CPUtime=1062.32
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 393436 0 0 0 102091 4141 0 0 25 0 1 0 131975798 327716864 78214 4089446400 4194304 8223781 140735582081552 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80009 78214 605 984 0 79022 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 320036

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10084
/proc/meminfo: memFree=31437700/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=321068 CPUtime=1122.32
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 397015 0 0 0 107872 4360 0 0 25 0 1 0 131975798 328773632 78459 4089446400 4194304 8223781 140735582081552 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80267 78459 605 984 0 79280 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 321068

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10086
/proc/meminfo: memFree=31437396/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=321068 CPUtime=1182.33
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 398004 0 0 0 113666 4567 0 0 25 0 1 0 131975798 328773632 78468 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80267 78468 605 984 0 79280 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 321068

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 10087
/proc/meminfo: memFree=31434364/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=323416 CPUtime=1242.32
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 403503 0 0 0 119468 4764 0 0 25 0 1 0 131975798 331177984 79058 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80854 79058 605 984 0 79867 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 323416

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10088
/proc/meminfo: memFree=31434064/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=323768 CPUtime=1302.33
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 405908 0 0 0 125275 4958 0 0 25 0 1 0 131975798 331538432 79146 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80942 79146 605 984 0 79955 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 323768

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10090
/proc/meminfo: memFree=31434024/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=323996 CPUtime=1362.33
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 407432 0 0 0 131063 5170 0 0 25 0 1 0 131975798 331771904 79217 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80999 79217 605 984 0 80012 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 323996

[startup+1422.3 s]
/proc/loadavg: 2.43 2.11 2.03 4/200 10157
/proc/meminfo: memFree=31338436/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=323116 CPUtime=1422.34
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 409650 0 0 0 136868 5366 0 0 25 0 1 0 131975798 330870784 79011 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80779 79011 605 984 0 79792 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 323116

[startup+1482.3 s]
/proc/loadavg: 2.74 2.25 2.09 4/200 10159
/proc/meminfo: memFree=31327268/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=323152 CPUtime=1482.34
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 411244 0 0 0 142659 5575 0 0 25 0 1 0 131975798 330907648 79020 4089446400 4194304 8223781 140735582081552 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80788 79020 605 984 0 79801 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 323152

[startup+1542.31 s]
/proc/loadavg: 2.77 2.35 2.13 4/200 10163
/proc/meminfo: memFree=31322092/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320080 CPUtime=1542.35
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 420656 0 0 0 148456 5779 0 0 25 0 1 0 131975798 327761920 78290 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80020 78290 605 984 0 79033 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 320080

[startup+1602.3 s]
/proc/loadavg: 2.81 2.44 2.17 4/200 10164
/proc/meminfo: memFree=31317696/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320080 CPUtime=1602.33
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 421949 0 0 0 154255 5978 0 0 25 0 1 0 131975798 327761920 78290 4089446400 4194304 8223781 140735582081552 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80020 78290 605 984 0 79033 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 320080

[startup+1662.3 s]
/proc/loadavg: 3.01 2.55 2.22 4/200 10166
/proc/meminfo: memFree=31312552/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=320080 CPUtime=1662.34
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 423231 0 0 0 160069 6165 0 0 25 0 1 0 131975798 327761920 78291 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80020 78291 605 984 0 79033 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 320080

[startup+1722.3 s]
/proc/loadavg: 3.00 2.63 2.27 3/200 10168
/proc/meminfo: memFree=31308040/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=321204 CPUtime=1722.34
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 424730 0 0 0 165879 6355 0 0 25 0 1 0 131975798 328912896 78486 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 80301 78486 605 984 0 79314 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 321204

[startup+1782.3 s]
/proc/loadavg: 2.97 2.68 2.31 4/200 10170
/proc/meminfo: memFree=31304512/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=319848 CPUtime=1782.34
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 425227 0 0 0 171697 6537 0 0 25 0 1 0 131975798 327524352 78062 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 79962 78062 605 984 0 78975 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 319848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.90 2.68 2.31 3/200 10170
/proc/meminfo: memFree=31303612/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=319848 CPUtime=1800.05
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 425252 0 0 0 173415 6590 0 0 25 0 1 0 131975798 327524352 78068 4089446400 4194304 8223781 140735582081552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10053/statm: 79962 78068 605 984 0 78975 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 319848

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

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

[startup+1800.11 s]
/proc/loadavg: 2.90 2.68 2.31 3/200 10170
/proc/meminfo: memFree=31303612/32951124 swapFree=67111528/67111528
[pid=10053] ppid=10051 vsize=237512 CPUtime=1800.15
/proc/10053/stat : 10053 (pbscip.linux.x8) R 10051 10053 8515 0 -1 4202496 425275 0 0 0 173424 6591 0 0 18 0 1 0 131975798 243212288 57507 4089446400 4194304 8223781 140735582081552 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10053/statm: 59345 57474 607 984 0 58358 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 237512

Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.18
CPU user time (s): 1734.27
CPU system time (s): 65.919
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 324172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.27
system time used= 65.919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425279
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= 5
involuntary context switches= 1376

runsolver used 2.43863 second user time and 5.77012 second system time

The end

Launcher Data 

Begin job on node104 at 2010-06-30 16:06:23
IDJOB=2692849
IDBENCH=78943
IDSOLVER=1204
FILE ID=node104/2692849-1277906783
PBS_JOBID= 11197176
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
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-2692849-1277906783/watcher-2692849-1277906783 -o /tmp/evaluation-result-2692849-1277906783/solver-2692849-1277906783 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692849-1277906783.wbo -t 1800 -m 3800

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

MD5SUM BENCH= becc9aeeb3178c7d9d9e6e8b76e31de7
RANDOM SEED=321295020

node104.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31787000 kB
Buffers:        185116 kB
Cached:         702828 kB
SwapCached:          0 kB
Active:         491628 kB
Inactive:       531452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31787000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4704 kB
Writeback:           0 kB
AnonPages:      135656 kB
Mapped:          17468 kB
Slab:            76944 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   280936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node104 at 2010-06-30 16:36:25