Trace number 2693404

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.17 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
MD5SUM32795eb517f73910564f73a4c3c20f9d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark144.309
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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: Clp 1.11.1] [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-2693404-1277902306.wbo>
0.00/0.02	c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.00/0.07	c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.00/0.09	c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10	c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11	c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15	c  1114 implications, 18 cliques
0.09/0.15	c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15	c     832 constraints of type <indicator>
0.09/0.15	c       1 constraints of type <knapsack>
0.09/0.15	c      18 constraints of type <setppc>
0.09/0.15	c     832 constraints of type <linear>
0.09/0.15	c    1615 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.10
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    49 |     - |8646k|   0 |  27 |1895 |3298 |1895 |1634 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    94 |     - |8807k|   0 |  45 |1895 |3298 |1895 |1648 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.2s|     1 |     0 |   277 |     - |9282k|   0 |  59 |1895 |3298 |1895 |1658 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   414 |     - |9286k|   0 |  53 |1895 |3298 |1895 |1662 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.56	c   0.5s|     1 |     0 |   431 |     - |9288k|   0 |  54 |1895 |3298 |1895 |1668 |  34 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.68	c   0.6s|     1 |     0 |   489 |     - |9302k|   0 |  69 |1895 |3298 |1895 |1669 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.83	c   0.8s|     1 |     0 |   521 |     - |9305k|   0 |  70 |1895 |3298 |1895 |1671 |  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.59/3.67	c   3.5s|     1 |     2 |   521 |     - |9310k|   0 |  70 |1895 |3298 |1895 |1671 |  37 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
7.39/7.44	o 40432
7.39/7.44	c y 7.2s|    17 |    16 |  1362 |  52.6 |9439k|  15 |   - |1895 |3298 |   0 |   0 |  41 |   0 | 224 | 0.000000e+00 | 4.043200e+04 |    Inf 
9.59/9.66	o 645
9.59/9.66	c * 9.4s|    49 |    36 |  2254 |  36.1 |9633k|  17 |   - |1895 |3303 |1895 |1663 |  60 |   5 | 463 | 0.000000e+00 | 6.450000e+02 |    Inf 
9.79/9.85	o 630
9.79/9.85	c * 9.5s|    73 |    39 |  2513 |  27.7 |  10M|  17 |   - |1895 |3327 |1895 |1675 |  81 |  29 | 514 | 0.000000e+00 | 6.300000e+02 |    Inf 
9.79/9.87	o 371
9.79/9.87	c * 9.6s|    88 |    48 |  2557 |  23.4 |  10M|  23 |   - |1895 |3331 |1895 |1673 |  82 |  33 | 516 | 0.000000e+00 | 3.710000e+02 |    Inf 
9.90/9.93	o 346
9.90/9.93	c * 9.6s|   104 |    52 |  2682 |  21.0 |  10M|  23 |   - |1895 |3349 |1895 |1676 |  95 |  51 | 525 | 0.000000e+00 | 3.460000e+02 |    Inf 
11.79/11.83	o 264
11.79/11.83	c *11.4s|   364 |   115 |  5974 |  15.0 |  11M|  23 |   - |1895 |3616 |1895 |1664 | 228 | 318 | 821 | 0.000000e+00 | 2.640000e+02 |    Inf 
13.10/13.16	o 252
13.10/13.16	c *12.7s|   731 |   207 |  9937 |  12.9 |  12M|  27 |   - |1895 |3973 |1895 |1663 | 357 | 766 |1020 | 0.000000e+00 | 2.520000e+02 |    Inf 
13.89/13.92	o 232
13.89/13.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.89/13.92	c *13.4s|  1035 |   237 | 11818 |  10.9 |  13M|  33 |   - |1895 |4237 |1895 |1665 | 436 |1117 |1103 | 0.000000e+00 | 2.320000e+02 |    Inf 
14.19/14.27	o 214
14.19/14.27	c *13.7s|  1217 |   245 | 12829 |  10.1 |  13M|  33 |   - |1895 |4449 |1895 |1664 | 459 |1370 |1119 | 0.000000e+00 | 2.140000e+02 |    Inf 
14.89/14.98	o 195
14.89/14.98	c *14.4s|  1564 |   329 | 15192 |   9.4 |  14M|  38 |   - |1895 |4744 |1895 |1680 | 554 |1739 |1152 | 0.000000e+00 | 1.950000e+02 |    Inf 
14.99/15.05	o 179
14.99/15.05	c *14.4s|  1596 |   329 | 15361 |   9.3 |  14M|  38 |   - |1895 |4771 |1895 |1678 | 564 |1778 |1154 | 0.000000e+00 | 1.790000e+02 |    Inf 
15.19/15.22	o 160
15.19/15.22	c v14.6s|  1665 |   337 | 15929 |   9.3 |  14M|  38 |   - |1895 |4861 |1895 |1672 | 573 |1901 |1168 | 0.000000e+00 | 1.600000e+02 |    Inf 
15.19/15.24	o 133
15.19/15.24	c *14.6s|  1671 |   311 | 15974 |   9.3 |  14M|  38 |   - |1895 |4860 |1895 |1664 | 574 |1904 |1168 | 0.000000e+00 | 1.330000e+02 |    Inf 
15.19/15.25	o 130
15.19/15.25	c *14.6s|  1673 |   308 | 16007 |   9.3 |  14M|  38 |   - |1895 |4861 |1895 |1663 | 574 |1906 |1168 | 0.000000e+00 | 1.300000e+02 |    Inf 
16.40/16.42	o 121
16.40/16.42	c *15.7s|  2293 |   460 | 19697 |   8.4 |  15M|  51 |   - |1895 |5182 |1895 |1663 | 724 |2481 |1220 | 0.000000e+00 | 1.210000e+02 |    Inf 
19.29/19.34	o 112
19.29/19.34	c *18.5s|  3868 |   660 | 30444 |   7.7 |  16M|  51 |   - |1895 |5753 |1895 |1676 |1323 |4214 |1261 | 0.000000e+00 | 1.120000e+02 |    Inf 
20.29/20.38	o 96
20.29/20.38	c *19.4s|  4393 |   690 | 34960 |   7.8 |  17M|  51 |   - |1895 |6028 |1895 |1663 |1506 |4748 |1262 | 0.000000e+00 | 9.600000e+01 |    Inf 
20.39/20.46	o 48
20.39/20.46	c *19.5s|  4436 |   573 | 35158 |   7.8 |  16M|  51 |   - |1895 |5955 |1895 |1669 |1523 |4790 |1262 | 0.000000e+00 | 4.800000e+01 |    Inf 
21.19/21.22	o 43
21.19/21.22	c *20.2s|  4798 |   602 | 39418 |   8.1 |  16M|  51 |   - |1895 |5307 |1895 |1663 |1580 |5261 |1262 | 0.000000e+00 | 4.300000e+01 |    Inf 
21.59/21.63	o 41
21.59/21.63	c *20.6s|  5025 |   619 | 41370 |   8.1 |  16M|  51 |   - |1895 |5160 |1895 |1663 |1606 |5522 |1262 | 0.000000e+00 | 4.100000e+01 |    Inf 
21.89/21.97	o 26
21.89/21.97	c *20.9s|  5213 |   594 | 42907 |   8.1 |  16M|  51 |   - |1895 |4898 |1895 |1663 |1663 |5773 |1262 | 0.000000e+00 | 2.600000e+01 |    Inf 
32.00/32.03	c  30.4s| 10000 |   742 |102526 |  10.2 |  18M|  51 |  11 |1895 |7101 |1895 |1663 |2549 |  11k|1443 | 0.000000e+00 | 2.600000e+01 |    Inf 
38.90/38.99	o 18
38.90/38.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.90/38.99	c *36.9s| 13464 |   781 |140356 |  10.4 |  18M|  51 |   - |1895 |7902 |1895 |1663 |3268 |  16k|1583 | 0.000000e+00 | 1.800000e+01 |    Inf 
43.49/43.59	o 13
43.49/43.59	c *41.2s| 15941 |   752 |166720 |  10.4 |  18M|  51 |   - |1895 |7882 |1895 |1669 |3700 |  19k|1611 | 0.000000e+00 | 1.300000e+01 |    Inf 
51.99/52.05	c  49.1s| 20000 |  1019 |217967 |  10.9 |  20M|  51 |   0 |1895 |8881 |1895 |1676 |4533 |  24k|1746 | 0.000000e+00 | 1.300000e+01 |    Inf 
72.09/72.16	c  68.1s| 30000 |  1226 |340118 |  11.3 |  24M|  52 |   - |1895 |  13k|   0 |   0 |6219 |  38k|1746 | 0.000000e+00 | 1.300000e+01 |    Inf 
80.79/80.82	o 11
80.79/80.82	c *76.2s| 34401 |  1197 |388301 |  11.3 |  24M|  52 |   - |1895 |  13k|1895 |1671 |6982 |  43k|1746 | 0.000000e+00 | 1.100000e+01 |    Inf 
92.70/92.76	c  87.5s| 40000 |  1229 |458069 |  11.4 |  24M|  52 |  28 |1895 |  14k|1895 |1663 |7945 |  51k|1746 | 0.000000e+00 | 1.100000e+01 |    Inf 
114.70/114.76	c   108s| 50000 |  1155 |575404 |  11.5 |  25M|  52 |  17 |1895 |  14k|1895 |1663 |9577 |  64k|2054 | 0.000000e+00 | 1.100000e+01 |    Inf 
136.50/136.50	c   129s| 60000 |  1078 |692968 |  11.5 |  24M|  52 |  22 |1895 |  13k|1895 |1663 |  11k|  77k|2291 | 0.000000e+00 | 1.100000e+01 |    Inf 
159.29/159.32	c   150s| 70000 |  1043 |821003 |  11.7 |  24M|  52 |  20 |1895 |  10k|1895 |1663 |  13k|  90k|2639 | 0.000000e+00 | 1.100000e+01 |    Inf 
179.90/179.98	c   170s| 80000 |  1030 |936041 |  11.7 |  25M|  52 |  20 |1895 |  11k|1895 |1663 |  15k| 103k|2926 | 0.000000e+00 | 1.100000e+01 |    Inf 
200.51/200.59	c   189s| 90000 |  1238 |  1050k|  11.7 |  27M|  52 |   - |1895 |  14k|   0 |   0 |  16k| 116k|3106 | 0.000000e+00 | 1.100000e+01 |    Inf 
221.70/221.75	c   209s|100000 |  1272 |  1162k|  11.6 |  28M|  52 |  13 |1895 |  16k|1895 |1673 |  17k| 130k|3392 | 0.000000e+00 | 1.100000e+01 |    Inf 
245.51/245.56	c   232s|110000 |  1324 |  1299k|  11.8 |  30M|  57 |  25 |1895 |  19k|1895 |1663 |  17k| 143k|3603 | 0.000000e+00 | 1.100000e+01 |    Inf 
269.21/269.29	c   254s|120000 |  1456 |  1423k|  11.9 |  32M|  57 |  15 |1895 |  20k|1895 |1663 |  18k| 156k|3756 | 0.000000e+00 | 1.100000e+01 |    Inf 
292.81/292.81	c   277s|130000 |  1601 |  1544k|  11.9 |  34M|  57 |   - |1895 |  20k|   0 |   0 |  20k| 169k|3958 | 0.000000e+00 | 1.100000e+01 |    Inf 
315.91/315.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
315.91/315.93	c   299s|140000 |  1671 |  1659k|  11.8 |  35M|  57 |  18 |1895 |  22k|1895 |1663 |  21k| 183k|4096 | 0.000000e+00 | 1.100000e+01 |    Inf 
340.61/340.61	c   322s|150000 |  1708 |  1786k|  11.9 |  37M|  57 |   - |1895 |  24k|   0 |   0 |  22k| 196k|4350 | 0.000000e+00 | 1.100000e+01 |    Inf 
365.30/365.33	c   346s|160000 |  1783 |  1911k|  11.9 |  36M|  57 |   - |1895 |  20k|1895 |1663 |  23k| 210k|4519 | 0.000000e+00 | 1.100000e+01 |    Inf 
380.61/380.63	o 5
380.61/380.63	c * 360s|166787 |  1258 |  1989k|  11.9 |  30M|  57 |   - |1895 |  16k|1895 |1663 |  24k| 219k|4677 | 0.000000e+00 | 5.000000e+00 |    Inf 
387.21/387.24	c   366s|170000 |  1212 |  2025k|  11.9 |  28M|  57 |   - |1895 |  12k|   0 |   0 |  24k| 224k|4679 | 0.000000e+00 | 5.000000e+00 |    Inf 
408.01/408.09	c   386s|180000 |  1057 |  2136k|  11.9 |  27M|  63 |   - |1895 |  11k|   0 |   0 |  25k| 238k|4829 | 0.000000e+00 | 5.000000e+00 |    Inf 
427.02/427.06	c   404s|190000 |  1039 |  2234k|  11.8 |  28M|  63 |  21 |1895 |  13k|1895 |1663 |  26k| 251k|4965 | 0.000000e+00 | 5.000000e+00 |    Inf 
445.82/445.89	c   422s|200000 |  1028 |  2326k|  11.6 |  29M|  63 |  14 |1895 |  16k|1895 |1669 |  27k| 265k|5070 | 0.000000e+00 | 5.000000e+00 |    Inf 
467.21/467.22	c   442s|210000 |   801 |  2439k|  11.6 |  27M|  63 |   - |1895 |  15k|1895 |1663 |  28k| 278k|5281 | 0.000000e+00 | 5.000000e+00 |    Inf 
489.21/489.22	c   462s|220000 |   748 |  2570k|  11.7 |  26M|  63 |   - |1895 |  13k|   0 |   0 |  29k| 291k|5482 | 0.000000e+00 | 5.000000e+00 |    Inf 
510.71/510.74	c   483s|230000 |   977 |  2686k|  11.7 |  28M|  63 |  24 |1895 |  17k|1895 |1663 |  30k| 304k|5635 | 0.000000e+00 | 5.000000e+00 |    Inf 
533.12/533.19	c   504s|240000 |  1017 |  2801k|  11.7 |  30M|  71 |   - |1895 |  19k|   0 |   0 |  31k| 317k|5756 | 0.000000e+00 | 5.000000e+00 |    Inf 
555.22/555.24	c   525s|250000 |  1002 |  2916k|  11.7 |  29M|  71 |  22 |1895 |  18k|1895 |1663 |  32k| 331k|5856 | 0.000000e+00 | 5.000000e+00 |    Inf 
579.12/579.15	c   548s|260000 |  1006 |  3050k|  11.7 |  30M|  71 |   - |1895 |  20k|1895 |1663 |  33k| 344k|5949 | 0.000000e+00 | 5.000000e+00 |    Inf 
604.02/604.05	c   571s|270000 |  1015 |  3189k|  11.8 |  30M|  71 |  32 |1895 |  18k|1895 |1663 |  34k| 357k|6072 | 0.000000e+00 | 5.000000e+00 |    Inf 
628.42/628.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
628.42/628.40	c   595s|280000 |   974 |  3320k|  11.9 |  30M|  71 |  11 |1895 |  18k|1895 |1663 |  35k| 370k|6218 | 0.000000e+00 | 5.000000e+00 |    Inf 
651.92/651.93	c   617s|290000 |   939 |  3446k|  11.9 |  30M|  71 |   - |1895 |  19k|   0 |   0 |  36k| 384k|6326 | 0.000000e+00 | 5.000000e+00 |    Inf 
674.42/674.46	c   639s|300000 |   906 |  3566k|  11.9 |  31M|  71 |  29 |1895 |  20k|1895 |1663 |  37k| 397k|6466 | 0.000000e+00 | 5.000000e+00 |    Inf 
697.23/697.28	c   660s|310000 |   896 |  3687k|  11.9 |  31M|  71 |   - |1895 |  22k|   0 |   0 |  38k| 410k|6549 | 0.000000e+00 | 5.000000e+00 |    Inf 
721.23/721.22	c   683s|320000 |   618 |  3815k|  11.9 |  25M|  71 |  27 |1895 |  11k|1895 |1663 |  39k| 423k|6840 | 0.000000e+00 | 5.000000e+00 |    Inf 
743.02/743.08	c   704s|330000 |   651 |  3939k|  11.9 |  26M|  71 |   - |1895 |  13k|1895 |1663 |  40k| 436k|6923 | 0.000000e+00 | 5.000000e+00 |    Inf 
765.63/765.64	c   725s|340000 |   738 |  4070k|  12.0 |  26M|  71 |  19 |1895 |  12k|1895 |1663 |  40k| 448k|7008 | 0.000000e+00 | 5.000000e+00 |    Inf 
787.13/787.18	c   745s|350000 |   717 |  4188k|  12.0 |  27M|  71 |  22 |1895 |  13k|1895 |1671 |  41k| 461k|7096 | 0.000000e+00 | 5.000000e+00 |    Inf 
809.33/809.36	c   766s|360000 |   611 |  4311k|  12.0 |  26M|  71 |   - |1895 |  13k|   0 |   0 |  41k| 474k|7218 | 0.000000e+00 | 5.000000e+00 |    Inf 
830.03/830.08	c   786s|370000 |   493 |  4422k|  12.0 |  25M|  71 |   - |1895 |  15k|   0 |   0 |  42k| 487k|7332 | 0.000000e+00 | 5.000000e+00 |    Inf 
851.83/851.83	c   806s|380000 |   539 |  4542k|  12.0 |  27M|  71 |   1 |1895 |  19k|1895 |1663 |  43k| 500k|7419 | 0.000000e+00 | 5.000000e+00 |    Inf 
874.33/874.38	c   828s|390000 |   640 |  4656k|  11.9 |  29M|  71 |  12 |1895 |  22k|1895 |1663 |  44k| 513k|7509 | 0.000000e+00 | 5.000000e+00 |    Inf 
897.33/897.37	c   850s|400000 |   754 |  4763k|  11.9 |  31M|  71 |  23 |1895 |  26k|1895 |1663 |  45k| 525k|7576 | 0.000000e+00 | 5.000000e+00 |    Inf 
922.23/922.25	c   873s|410000 |   769 |  4876k|  11.9 |  32M|  71 |  24 |1895 |  27k|1895 |1673 |  46k| 539k|7646 | 0.000000e+00 | 5.000000e+00 |    Inf 
947.43/947.43	c   898s|420000 |   783 |  4999k|  11.9 |  33M|  71 |   - |1895 |  30k|   0 |   0 |  46k| 552k|7731 | 0.000000e+00 | 5.000000e+00 |    Inf 
972.93/972.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
972.93/972.93	c   922s|430000 |   818 |  5117k|  11.9 |  33M|  71 |   - |1895 |  27k|   0 |   0 |  47k| 565k|7799 | 0.000000e+00 | 5.000000e+00 |    Inf 
997.44/997.42	c   945s|440000 |   933 |  5231k|  11.9 |  36M|  71 |  18 |1895 |  32k|1895 |1663 |  48k| 578k|7871 | 0.000000e+00 | 5.000000e+00 |    Inf 
1023.24/1023.29	c   970s|450000 |  1002 |  5355k|  11.9 |  37M|  71 |  13 |1895 |  34k|1895 |1663 |  49k| 592k|7982 | 0.000000e+00 | 5.000000e+00 |    Inf 
1048.94/1048.94	c   995s|460000 |  1005 |  5476k|  11.9 |  38M|  71 |   - |1895 |  36k|   0 |   0 |  50k| 605k|8088 | 0.000000e+00 | 5.000000e+00 |    Inf 
1075.94/1075.91	c  1021s|470000 |   969 |  5599k|  11.9 |  37M|  71 |   - |1895 |  32k|   0 |   0 |  51k| 618k|8180 | 0.000000e+00 | 5.000000e+00 |    Inf 
1101.44/1101.47	c  1045s|480000 |   956 |  5719k|  11.9 |  36M|  71 |   - |1895 |  30k|   0 |   0 |  52k| 632k|8286 | 0.000000e+00 | 5.000000e+00 |    Inf 
1125.55/1125.57	c  1068s|490000 |   957 |  5834k|  11.9 |  37M|  71 |  22 |1895 |  32k|1895 |1663 |  53k| 645k|8372 | 0.000000e+00 | 5.000000e+00 |    Inf 
1150.15/1150.18	c  1091s|500000 |   896 |  5951k|  11.9 |  36M|  71 |  19 |1895 |  29k|1895 |1663 |  53k| 658k|8430 | 0.000000e+00 | 5.000000e+00 |    Inf 
1176.45/1176.41	c  1116s|510000 |   729 |  6077k|  11.9 |  33M|  71 |   - |1895 |  25k|1895 |1663 |  54k| 671k|8500 | 0.000000e+00 | 5.000000e+00 |    Inf 
1196.45/1196.48	o 4
1196.45/1196.48	c *1136s|518309 |   580 |  6179k|  11.9 |  32M|  71 |   - |1895 |  27k|1895 |1663 |  55k| 682k|8645 | 0.000000e+00 | 4.000000e+00 |    Inf 
1200.45/1200.46	c  1139s|520000 |   599 |  6198k|  11.9 |  31M|  71 |  18 |1895 |  24k|1895 |1663 |  55k| 684k|8659 | 0.000000e+00 | 4.000000e+00 |    Inf 
1223.85/1223.86	c  1162s|530000 |   681 |  6310k|  11.9 |  33M|  71 |  26 |1895 |  28k|1895 |1663 |  56k| 697k|8737 | 0.000000e+00 | 4.000000e+00 |    Inf 
1247.55/1247.57	c  1184s|540000 |   734 |  6424k|  11.9 |  34M|  71 |   - |1895 |  30k|   0 |   0 |  57k| 710k|8783 | 0.000000e+00 | 4.000000e+00 |    Inf 
1270.75/1270.79	c  1206s|550000 |   831 |  6529k|  11.9 |  36M|  71 |  25 |1895 |  32k|1895 |1663 |  58k| 723k|8831 | 0.000000e+00 | 4.000000e+00 |    Inf 
1295.15/1295.16	c  1229s|560000 |   906 |  6645k|  11.9 |  36M|  71 |   - |1895 |  33k|1895 |1670 |  59k| 737k|8908 | 0.000000e+00 | 4.000000e+00 |    Inf 
1320.85/1320.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1320.85/1320.82	c  1254s|570000 |   939 |  6774k|  11.9 |  37M|  71 |   - |1895 |  34k|1895 |1663 |  60k| 750k|8972 | 0.000000e+00 | 4.000000e+00 |    Inf 
1345.55/1345.55	c  1277s|580000 |  1142 |  6882k|  11.9 |  38M|  71 |  21 |1895 |  35k|1895 |1663 |  61k| 763k|9039 | 0.000000e+00 | 4.000000e+00 |    Inf 
1369.65/1369.63	c  1300s|590000 |  1206 |  6989k|  11.8 |  39M|  71 |   - |1895 |  36k|   0 |   0 |  62k| 776k|9092 | 0.000000e+00 | 4.000000e+00 |    Inf 
1394.56/1394.57	c  1324s|600000 |  1172 |  7102k|  11.8 |  40M|  71 |  18 |1895 |  37k|1895 |1663 |  63k| 790k|9128 | 0.000000e+00 | 4.000000e+00 |    Inf 
1420.56/1420.54	c  1349s|610000 |  1210 |  7224k|  11.8 |  40M|  71 |  26 |1895 |  36k|1895 |1663 |  64k| 803k|9193 | 0.000000e+00 | 4.000000e+00 |    Inf 
1445.86/1445.83	c  1373s|620000 |  1190 |  7347k|  11.9 |  41M|  71 |  11 |1895 |  37k|1895 |1663 |  65k| 816k|9258 | 0.000000e+00 | 4.000000e+00 |    Inf 
1472.16/1472.13	c  1398s|630000 |  1171 |  7466k|  11.9 |  40M|  71 |   - |1895 |  34k|1895 |1669 |  66k| 829k|9336 | 0.000000e+00 | 4.000000e+00 |    Inf 
1497.86/1497.80	c  1423s|640000 |  1189 |  7586k|  11.9 |  41M|  71 |   1 |1895 |  37k|1895 |1663 |  67k| 843k|9417 | 0.000000e+00 | 4.000000e+00 |    Inf 
1523.87/1523.88	c  1448s|650000 |  1161 |  7705k|  11.9 |  41M|  71 |  18 |1895 |  37k|1895 |1663 |  68k| 857k|9480 | 0.000000e+00 | 4.000000e+00 |    Inf 
1550.06/1550.05	c  1473s|660000 |  1156 |  7821k|  11.9 |  41M|  71 |   6 |1895 |  35k|1895 |1663 |  69k| 870k|9514 | 0.000000e+00 | 4.000000e+00 |    Inf 
1576.17/1576.18	c  1498s|670000 |  1160 |  7940k|  11.8 |  42M|  71 |  29 |1895 |  37k|1895 |1663 |  70k| 883k|9554 | 0.000000e+00 | 4.000000e+00 |    Inf 
1602.37/1602.34	c  1522s|680000 |  1088 |  8062k|  11.9 |  42M|  71 |  27 |1895 |  38k|1895 |1663 |  71k| 897k|9619 | 0.000000e+00 | 4.000000e+00 |    Inf 
1628.37/1628.34	c  1547s|690000 |  1055 |  8185k|  11.9 |  41M|  71 |  20 |1895 |  37k|1895 |1663 |  72k| 910k|9692 | 0.000000e+00 | 4.000000e+00 |    Inf 
1654.07/1654.06	c  1572s|700000 |   930 |  8302k|  11.9 |  40M|  71 |  13 |1895 |  34k|1895 |1663 |  73k| 924k|9777 | 0.000000e+00 | 4.000000e+00 |    Inf 
1679.87/1679.84	c  1596s|710000 |   939 |  8414k|  11.9 |  40M|  71 |   - |1895 |  36k|   0 |   0 |  74k| 937k|9811 | 0.000000e+00 | 4.000000e+00 |    Inf 
1706.18/1706.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1706.18/1706.11	c  1621s|720000 |  1017 |  8530k|  11.8 |  42M|  71 |  14 |1895 |  41k|1895 |1663 |  75k| 950k|9852 | 0.000000e+00 | 4.000000e+00 |    Inf 
1733.18/1733.17	c  1647s|730000 |   993 |  8644k|  11.8 |  43M|  71 |  25 |1895 |  41k|1895 |1663 |  76k| 963k|9924 | 0.000000e+00 | 4.000000e+00 |    Inf 
1759.58/1759.55	c  1672s|740000 |  1097 |  8759k|  11.8 |  44M|  71 |  12 |1895 |  43k|1895 |1663 |  77k| 976k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1786.38/1786.38	c  1698s|750000 |  1006 |  8875k|  11.8 |  43M|  71 |  14 |1895 |  41k|1895 |1663 |  78k| 990k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00	c 
1800.08/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.00	c Solving Time (sec) : 1710.93
1800.08/1800.00	c Solving Nodes      : 755056
1800.08/1800.00	c Primal Bound       : +4.00000000000000e+00 (136 solutions)
1800.08/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.00	c Gap                : infinite
1800.08/1800.01	s SATISFIABLE
1800.08/1800.01	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.08/1800.01	v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 
1800.08/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.08/1800.01	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 x147 
1800.08/1800.01	v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.08/1800.01	v -x125 -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.08/1800.01	v -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.08/1800.01	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 -x54 
1800.08/1800.01	v 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.08/1800.01	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.08/1800.01	v -x1 
1800.08/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.01	c Solving Time       :    1710.93
1800.08/1800.01	c Original Problem   :
1800.08/1800.01	c   Problem name     : HOME/instance-2693404-1277902306.wbo
1800.08/1800.01	c   Variables        : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.08/1800.01	c   Constraints      : 3612 initial, 3612 maximal
1800.08/1800.01	c Presolved Problem  :
1800.08/1800.01	c   Problem name     : t_HOME/instance-2693404-1277902306.wbo
1800.08/1800.01	c   Variables        : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.08/1800.01	c   Constraints      : 3298 initial, 44645 maximal
1800.08/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.01	c   trivial          :       0.00         72          0          0          0          0          0          0          0
1800.08/1800.01	c   dualfix          :       0.00         72          0          0          0          0          0          0          0
1800.08/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.08/1800.01	c   indicator        :       0.00          0          0          0          0          0         72          0          0
1800.08/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.01	c   linear           :       0.04          0          0          0        933          0        242        170          0
1800.08/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.01	c   root node        :          -        806          -          -       1612          -          -          -          -
1800.08/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.01	c   integral         :          0          0          0     415933          0        287       3356          0          0     799124
1800.08/1800.01	c   indicator        :        832          0    3400155      13290          0        183     401562          0          0          0
1800.08/1800.01	c   knapsack         :          1          6    3416123      13287          0      43486    8483549          0          0          0
1800.08/1800.01	c   setppc           :         18          6    3376534      13310          0      68020    2755803          0          0          0
1800.08/1800.01	c   linear           :        832          6    3309030      13352          0      47903    3551298      78931          0          0
1800.08/1800.01	c   logicor          :       1615+         6    1656020        646          0     113701    6065200          0          0          0
1800.08/1800.01	c   countsols        :          0          0          0        646          0          0          0          0          0          0
1800.08/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.01	c   integral         :      39.31       0.00       0.00      39.31       0.00
1800.08/1800.01	c   indicator        :       1.79       0.00       1.62       0.17       0.00
1800.08/1800.01	c   knapsack         :      35.07       0.00      35.07       0.00       0.00
1800.08/1800.01	c   setppc           :      15.49       0.00      15.49       0.00       0.00
1800.08/1800.01	c   linear           :      42.59       0.01      42.16       0.42       0.00
1800.08/1800.01	c   logicor          :     237.04       0.00     237.04       0.00       0.00
1800.08/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.01	c   vbounds          :       0.01          2          0          0
1800.08/1800.01	c   rootredcost      :       0.00         26          0        806
1800.08/1800.01	c   pseudoobj        :      53.31    3422086       1414     310550
1800.08/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.01	c   propagation      :       9.55     274524     273919    1559611       26.3       7944       23.6          -
1800.08/1800.01	c   infeasible LP    :      21.66     121997     121997     898023       44.0       1562       14.2          0
1800.08/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.01	c   pseudo solution  :       0.00         25         25        185       21.9          4       15.5          -
1800.08/1800.01	c   applied globally :          -          -          -     997440       27.5          -          -          -
1800.08/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.01	c   cut pool         :       0.00          5          -          -          6          -    (maximal pool size: 234)
1800.08/1800.01	c   redcost          :      10.43     416875          0      73299          0          0
1800.08/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.08/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.01	c   gomory           :       0.27          6          0          0       1063          0
1800.08/1800.01	c   strongcg         :       0.20          6          0          0       1151          0
1800.08/1800.01	c   cmir             :       0.02          6          0          0          0          0
1800.08/1800.01	c   flowcover        :       0.06          6          0          0          0          0
1800.08/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.08/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.01	c Pricers            :       Time      Calls       Vars
1800.08/1800.01	c   problem variables:       0.00          0          0
1800.08/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.01	c   relpscost        :      39.15     402562        287       3356          0          0     799124
1800.08/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   inference        :       0.05        622          0          0          0          0       1244
1800.08/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.01	c   LP solutions     :       0.01          -         24
1800.08/1800.01	c   pseudo solutions :       0.00          -          0
1800.08/1800.01	c   feaspump         :       0.01          1          0
1800.08/1800.01	c   oneopt           :       0.06         25          0
1800.08/1800.01	c   intshifting      :       0.01         17          0
1800.08/1800.01	c   crossover        :       0.40         14          0
1800.08/1800.01	c   linesearchdiving :       0.18         61          0
1800.08/1800.01	c   guideddiving     :       0.18         61          0
1800.08/1800.01	c   fracdiving       :       0.28         61          0
1800.08/1800.01	c   veclendiving     :       0.13         61          1
1800.08/1800.01	c   objpscostdiving  :       0.22         31          0
1800.08/1800.01	c   rootsoldiving    :       0.44         31          0
1800.08/1800.01	c   coefdiving       :       0.26         62          0
1800.08/1800.01	c   pscostdiving     :       0.24         62          0
1800.08/1800.01	c   trivial          :       0.00          2          0
1800.08/1800.01	c   simplerounding   :       0.47     402755          0
1800.08/1800.01	c   zirounding       :       0.24       1000          0
1800.08/1800.01	c   rounding         :       0.95       8988          0
1800.08/1800.01	c   shifting         :       0.90       2773          0
1800.08/1800.01	c   twoopt           :       0.00          0          0
1800.08/1800.01	c   fixandinfer      :       0.00          0          0
1800.08/1800.01	c   intdiving        :       0.00          0          0
1800.08/1800.01	c   actconsdiving    :       0.00          0          0
1800.08/1800.01	c   octane           :       0.00          0          0
1800.08/1800.01	c   rens             :       0.04          1          0
1800.08/1800.01	c   rins             :       0.00          0          0
1800.08/1800.01	c   localbranching   :       0.00          0          0
1800.08/1800.01	c   mutation         :       0.00          0          0
1800.08/1800.01	c   dins             :       0.00          0          0
1800.08/1800.01	c   undercover       :       0.00          0          0
1800.08/1800.01	c   nlp              :       0.00          0          0
1800.08/1800.01	c   trysol           :       0.25       2112        111
1800.08/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.01	c   dual LP          :     908.14     535553    8928289      16.67    9831.40
1800.08/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.01	c   diving/probing LP:       1.34        862       8400       9.74    6268.66
1800.08/1800.01	c   strong branching :      34.86      10098     354392      35.10   10166.15
1800.08/1800.01	c     (at root node) :          -         33      23708     718.42          -
1800.08/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.01	c B&B Tree           :
1800.08/1800.01	c   number of runs   :          1
1800.08/1800.01	c   nodes            :     755056
1800.08/1800.01	c   nodes (total)    :     755056
1800.08/1800.01	c   nodes left       :        998
1800.08/1800.01	c   max depth        :         71
1800.08/1800.01	c   max depth (total):         71
1800.08/1800.01	c   backtracks       :      95384 (12.6%)
1800.08/1800.01	c   delayed cutoffs  :      43456
1800.08/1800.01	c   repropagations   :    1376808 (3553397 domain reductions, 41406 cutoffs)
1800.08/1800.01	c   avg switch length:       5.16
1800.08/1800.01	c   switching time   :     199.14
1800.08/1800.01	c Solution           :
1800.08/1800.01	c   Solutions found  :        136 (26 improvements)
1800.08/1800.01	c   First Solution   : +4.04320000000000e+04   (in run 1, after 16 nodes, 7.22 seconds, depth 16, found by <trysol>)
1800.08/1800.01	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 518309 nodes, 1135.57 seconds, depth 28, found by <relaxation>)
1800.08/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.01	c   Gap              :   infinite
1800.08/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.01	c   Root Iterations  :        521
1800.08/1800.08	c Time complete: 1800.16.

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693404-1277902306/watcher-2693404-1277902306 -o /tmp/evaluation-result-2693404-1277902306/solver-2693404-1277902306 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693404-1277902306.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.07 2.03 2.01 3/196 14204
/proc/meminfo: memFree=31065508/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=10872 CPUtime=0
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 1658 0 0 0 0 0 0 0 21 0 1 0 131525455 11132928 1578 4089446400 4194304 9819077 140737138149680 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14204/statm: 2718 1586 392 1374 0 1339 0

[startup+0.00718193 s]
/proc/loadavg: 2.07 2.03 2.01 3/196 14204
/proc/meminfo: memFree=31065508/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=11176 CPUtime=0
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 1723 0 0 0 0 0 0 0 21 0 1 0 131525455 11444224 1643 4089446400 4194304 9819077 140737138149680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14204/statm: 2842 1648 392 1374 0 1463 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11176

[startup+0.101192 s]
/proc/loadavg: 2.07 2.03 2.01 3/196 14204
/proc/meminfo: memFree=31065508/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=24824 CPUtime=0.09
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 6873 0 0 0 7 2 0 0 21 0 1 0 131525455 25419776 4897 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14204/statm: 6206 4897 504 1374 0 4827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24824

[startup+0.301147 s]
/proc/loadavg: 2.07 2.03 2.01 3/196 14204
/proc/meminfo: memFree=31065508/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=36928 CPUtime=0.29
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 12044 0 0 0 26 3 0 0 21 0 1 0 131525455 37814272 7651 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14204/statm: 9232 7651 691 1374 0 7853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36928

[startup+0.70107 s]
/proc/loadavg: 2.07 2.03 2.01 3/196 14204
/proc/meminfo: memFree=31065508/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=39044 CPUtime=0.69
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 12951 0 0 0 65 4 0 0 22 0 1 0 131525455 39981056 8173 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 9761 8173 692 1374 0 8382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39044

[startup+1.50091 s]
/proc/loadavg: 2.07 2.03 2.01 3/197 14205
/proc/meminfo: memFree=31034432/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=43116 CPUtime=1.49
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 34011 0 0 0 142 7 0 0 25 0 1 0 131525455 44150784 8532 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 10779 8532 723 1374 0 9400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43116

[startup+3.10058 s]
/proc/loadavg: 2.07 2.03 2.00 3/197 14205
/proc/meminfo: memFree=31033812/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=42872 CPUtime=3.09
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 44872 0 0 0 300 9 0 0 25 0 1 0 131525455 43900928 8532 4089446400 4194304 9819077 140737138149680 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 10718 8532 723 1374 0 9339 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42872

[startup+6.30095 s]
/proc/loadavg: 2.07 2.03 2.00 3/197 14205
/proc/meminfo: memFree=31032696/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=42972 CPUtime=6.29
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 71087 0 0 0 613 16 0 0 25 0 1 0 131525455 44003328 8558 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 10743 8558 723 1374 0 9364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42972

[startup+12.7007 s]
/proc/loadavg: 2.06 2.03 2.00 3/197 14205
/proc/meminfo: memFree=31024560/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=45388 CPUtime=12.69
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 157512 0 0 0 1228 41 0 0 25 0 1 0 131525455 46477312 10034 4089446400 4194304 9819077 140737138149680 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 11347 10034 728 1374 0 9968 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45388

[startup+25.5011 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 14205
/proc/meminfo: memFree=31010568/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=58452 CPUtime=25.49
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 331905 0 0 0 2425 124 0 0 25 0 1 0 131525455 59854848 12846 4089446400 4194304 9819077 140737138149680 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 14613 12846 728 1374 0 13234 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58452

[startup+51.101 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 14205
/proc/meminfo: memFree=30997660/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=66196 CPUtime=51.09
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 665236 0 0 0 4827 282 0 0 25 0 1 0 131525455 67784704 14559 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 16549 14559 742 1374 0 15170 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66196

[startup+102.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/197 14207
/proc/meminfo: memFree=30975424/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=74624 CPUtime=102.3
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 1246650 0 0 0 9645 585 0 0 25 0 1 0 131525455 76414976 16691 4089446400 4194304 9819077 140737138149680 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 18656 16691 743 1374 0 17277 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 74624

[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/197 14209
/proc/meminfo: memFree=30964472/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=76580 CPUtime=162.3
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 1934113 0 0 0 15298 932 0 0 25 0 1 0 131525455 78417920 17159 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 19145 17159 743 1374 0 17766 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 76580

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 14211
/proc/meminfo: memFree=30954760/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=78336 CPUtime=222.3
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 2570686 0 0 0 20946 1284 0 0 25 0 1 0 131525455 80216064 17590 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 19584 17590 743 1374 0 18205 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 78336

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14212
/proc/meminfo: memFree=30941836/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=84464 CPUtime=282.3
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 3195682 0 0 0 26654 1576 0 0 25 0 1 0 131525455 86491136 19178 4089446400 4194304 9819077 140737138149680 18446744073709551615 7289327 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 21116 19178 743 1374 0 19737 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 84464

[startup+342.301 s]
/proc/loadavg: 2.24 2.08 2.02 3/197 14213
/proc/meminfo: memFree=30929028/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=88340 CPUtime=342.31
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 3786192 0 0 0 32366 1865 0 0 25 0 1 0 131525455 90460160 20111 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22085 20111 743 1374 0 20706 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 88340

[startup+402.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/197 14215
/proc/meminfo: memFree=30918204/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=90316 CPUtime=402.31
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 4348706 0 0 0 38047 2184 0 0 25 0 1 0 131525455 92483584 20523 4089446400 4194304 9819077 140737138149680 18446744073709551615 4210526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22579 20523 743 1374 0 21200 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 90316

[startup+462.301 s]
/proc/loadavg: 2.06 2.06 2.02 3/197 14217
/proc/meminfo: memFree=30911352/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=90620 CPUtime=462.31
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 4939976 0 0 0 43703 2528 0 0 25 0 1 0 131525455 92794880 20621 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22655 20622 743 1374 0 21276 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 90620

[startup+522.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/197 14219
/proc/meminfo: memFree=30905232/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=90516 CPUtime=522.31
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 5545820 0 0 0 49365 2866 0 0 25 0 1 0 131525455 92688384 20595 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22629 20595 743 1374 0 21250 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 90516

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 14229
/proc/meminfo: memFree=30899296/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=90744 CPUtime=582.32
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 6091044 0 0 0 55069 3163 0 0 25 0 1 0 131525455 92921856 20667 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22686 20667 743 1374 0 21307 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 90744

[startup+642.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/197 14230
/proc/meminfo: memFree=30895396/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=91372 CPUtime=642.33
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 6635532 0 0 0 60795 3438 0 0 25 0 1 0 131525455 93564928 20747 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 22843 20747 743 1374 0 21464 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 91372

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 14236
/proc/meminfo: memFree=30881532/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=92332 CPUtime=822.33
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 8308749 0 0 0 77861 4372 0 0 25 0 1 0 131525455 94547968 21002 4089446400 4194304 9819077 140737138149680 18446744073709551615 6367470 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 23083 21001 743 1374 0 21704 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 92332

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14237
/proc/meminfo: memFree=30876412/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=92916 CPUtime=882.33
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 8885510 0 0 0 83541 4692 0 0 25 0 1 0 131525455 95145984 21098 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 23229 21098 743 1374 0 21850 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 92916

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14238
/proc/meminfo: memFree=30875768/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=93536 CPUtime=942.33
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 9425654 0 0 0 89263 4970 0 0 25 0 1 0 131525455 95780864 21285 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 23384 21285 743 1374 0 22005 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 93536

[startup+1002.3 s]
/proc/loadavg: 2.32 2.09 2.03 3/197 14240
/proc/meminfo: memFree=30873880/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=95068 CPUtime=1002.34
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 9943034 0 0 0 95009 5225 0 0 25 0 1 0 131525455 97349632 21573 4089446400 4194304 9819077 140737138149680 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 23767 21573 743 1374 0 22388 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 95068

[startup+1062.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/197 14242
/proc/meminfo: memFree=30870880/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=97400 CPUtime=1062.34
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 10497777 0 0 0 100744 5490 0 0 25 0 1 0 131525455 99737600 22157 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24350 22157 743 1374 0 22971 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 97400

[startup+1122.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/197 14244
/proc/meminfo: memFree=30870208/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=98308 CPUtime=1122.35
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 11035849 0 0 0 106487 5748 0 0 25 0 1 0 131525455 100667392 22326 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24577 22326 743 1374 0 23198 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 98308

[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/197 14245
/proc/meminfo: memFree=30869436/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=98416 CPUtime=1182.35
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 11610555 0 0 0 112206 6029 0 0 25 0 1 0 131525455 100777984 22403 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24604 22403 743 1374 0 23225 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 98416

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 14246
/proc/meminfo: memFree=30868028/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=99316 CPUtime=1242.35
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 12185266 0 0 0 117915 6320 0 0 25 0 1 0 131525455 101699584 22536 4089446400 4194304 9819077 140737138149680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24829 22536 743 1374 0 23450 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 99316

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 14248
/proc/meminfo: memFree=30864640/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=99508 CPUtime=1302.36
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 12710599 0 0 0 123628 6608 0 0 25 0 1 0 131525455 101896192 22595 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24877 22595 743 1374 0 23498 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 99508

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 14250
/proc/meminfo: memFree=30860776/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=99724 CPUtime=1362.35
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 13220122 0 0 0 129342 6893 0 0 25 0 1 0 131525455 102117376 22758 4089446400 4194304 9819077 140737138149680 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 24999 22759 743 1374 0 23620 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 99724

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 14252
/proc/meminfo: memFree=30857152/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=100108 CPUtime=1422.36
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 13721849 0 0 0 135051 7185 0 0 25 0 1 0 131525455 102510592 22774 4089446400 4194304 9819077 140737138149680 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25027 22774 743 1374 0 23648 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 100108

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14253
/proc/meminfo: memFree=30853268/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=100396 CPUtime=1482.36
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 14228126 0 0 0 140795 7441 0 0 25 0 1 0 131525455 102805504 22811 4089446400 4194304 9819077 140737138149680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25099 22811 743 1374 0 23720 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 100396

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14254
/proc/meminfo: memFree=30849640/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=100772 CPUtime=1542.37
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 14734869 0 0 0 146524 7713 0 0 25 0 1 0 131525455 103190528 22900 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25193 22900 743 1374 0 23814 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 100772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14256
/proc/meminfo: memFree=30843892/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=101120 CPUtime=1602.37
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 15247126 0 0 0 152243 7994 0 0 25 0 1 0 131525455 103546880 23096 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25280 23096 743 1374 0 23901 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 101120

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 14258
/proc/meminfo: memFree=30838892/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=102064 CPUtime=1662.37
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 15754142 0 0 0 157958 8279 0 0 25 0 1 0 131525455 104513536 23189 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25516 23189 743 1374 0 24137 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 102064

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 14290
/proc/meminfo: memFree=31076764/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=103488 CPUtime=1722.37
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 16248785 0 0 0 163684 8553 0 0 25 0 1 0 131525455 105971712 23592 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25872 23592 743 1374 0 24493 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 103488

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 14291
/proc/meminfo: memFree=30952892/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=103720 CPUtime=1782.37
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 16750377 0 0 0 169402 8835 0 0 25 0 1 0 131525455 106209280 23703 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 25930 23703 743 1374 0 24551 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 103720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14292
/proc/meminfo: memFree=30920512/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=104796 CPUtime=1800.08
/proc/14204/stat : 14204 (pbscip.linux.x8) R 14202 14204 13929 0 -1 4202496 16906802 0 0 0 171095 8913 0 0 25 0 1 0 131525455 107311104 23855 4089446400 4194304 9819077 140737138149680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14204/statm: 26199 23855 743 1374 0 24820 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 104796

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.17
CPU user time (s): 1711.02
CPU system time (s): 89.1454
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 106740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.02
system time used= 89.1454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16906864
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= 4
involuntary context switches= 940

runsolver used 2.54561 second user time and 5.71213 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 14:51:46
IDJOB=2693404
IDBENCH=78900
IDSOLVER=1205
FILE ID=node149/2693404-1277902306
PBS_JOBID= 11197229
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693404-1277902306/watcher-2693404-1277902306 -o /tmp/evaluation-result-2693404-1277902306/solver-2693404-1277902306 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693404-1277902306.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 32795eb517f73910564f73a4c3c20f9d
RANDOM SEED=2085229009

node149.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.831
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.66
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.831
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.15
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.831
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.82
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.831
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.75
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.831
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.82
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.831
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.68
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.831
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.82
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.831
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31066160 kB
Buffers:        190812 kB
Cached:        1270032 kB
SwapCached:          0 kB
Active:         725080 kB
Inactive:      1013828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31066160 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:      278004 kB
Mapped:          20452 kB
Slab:            82052 kB
PageTables:       5560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1660940 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= 74200 MiB
End job on node149 at 2010-06-30 15:21:48