Trace number 2705571

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.18 1790.13

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-33-100-0.wbo
MD5SUM48958fa57d6f8cd954d04b46fdc5f897
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 benchmark185.162
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 649
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705571-1278572956.wbo>
0.00/0.03	c original problem has 3927 variables (2079 bin, 0 int, 1848 impl, 0 cont) and 4556 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, 124 impls, 8 clqs
0.06/0.08	c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.06/0.09	c (round 3) 46 del vars, 191 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.10	c (round 4) 156 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 124 impls, 8 clqs
0.09/0.11	c (round 5) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.11	c (round 6) 160 del vars, 216 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 124 impls, 8 clqs
0.09/0.16	c    (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.16	c  160 deleted vars, 216 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.16	c  3645 implications, 8 cliques
0.09/0.16	c presolved problem has 3767 variables (1999 bin, 0 int, 1768 impl, 0 cont) and 4340 constraints
0.09/0.16	c      28 constraints of type <setppc>
0.09/0.16	c    1768 constraints of type <linear>
0.09/0.16	c    1768 constraints of type <indicator>
0.09/0.16	c     776 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.12
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16	c # [type: int, range: [1,2], default: 1]
0.09/0.16	c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/indicator/addCouplingCons = 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 |    31 |     - |  14M|   0 |  25 |3767 |4340 |3767 | 804 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |    63 |     - |  14M|   0 |  22 |3767 |4340 |3767 | 838 |  34 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |    99 |     - |  14M|   0 |  27 |3767 |4340 |3767 | 854 |  50 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |   111 |     - |  15M|   0 |  23 |3767 |4340 |3767 | 866 |  62 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.41	c   0.4s|     1 |     0 |   146 |     - |  15M|   0 |  24 |3767 |4340 |3767 | 868 |  64 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   182 |     - |  15M|   0 |  33 |3767 |4340 |3767 | 875 |  71 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   226 |     - |  15M|   0 |  39 |3767 |4340 |3767 | 879 |  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.66	c   0.6s|     1 |     2 |   226 |     - |  15M|   0 |  39 |3767 |4340 |3767 | 879 |  75 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
0.99/1.07	o 91089
0.99/1.07	c y 1.0s|    20 |    19 |   494 |  14.1 |  15M|  18 |   - |3767 |4340 |   0 |   0 | 104 |   0 | 155 | 0.000000e+00 | 9.108900e+04 |    Inf 
2.99/3.00	o 267
2.99/3.00	c * 3.0s|  1406 |  1118 |   995 |   0.5 |  18M|1360 |   - |3767 |4347 |3767 | 894 | 145 |   7 | 332 | 0.000000e+00 | 2.670000e+02 |    Inf 
3.20/3.23	o 236
3.20/3.23	c * 3.2s|  1467 |  1072 |  1257 |   0.7 |  18M|1360 |   - |3767 |4364 |3767 | 922 | 185 |  24 | 403 | 0.000000e+00 | 2.360000e+02 |    Inf 
5.70/5.78	o 233
5.70/5.78	c * 5.8s|  2247 |  1643 |  5311 |   2.3 |  22M|1360 |   - |3767 |4672 |3767 | 901 | 715 | 333 | 910 | 0.000000e+00 | 2.330000e+02 |    Inf 
5.90/5.92	o 231
5.90/5.92	c * 5.9s|  2295 |  1662 |  5565 |   2.3 |  22M|1360 |   - |3767 |4690 |3767 | 903 | 746 | 351 | 933 | 0.000000e+00 | 2.310000e+02 |    Inf 
6.39/6.46	o 229
6.39/6.46	c * 6.4s|  2417 |  1690 |  6497 |   2.6 |  23M|1360 |   - |3767 |4784 |3767 | 919 | 888 | 447 |1058 | 0.000000e+00 | 2.290000e+02 |    Inf 
7.29/7.39	o 222
7.29/7.39	c * 7.4s|  2629 |  1759 |  8075 |   3.0 |  24M|1360 |   - |3767 |4934 |3767 | 912 |1185 | 598 |1261 | 0.000000e+00 | 2.220000e+02 |    Inf 
7.39/7.49	o 219
7.39/7.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.39/7.49	c * 7.5s|  2649 |  1731 |  8338 |   3.1 |  24M|1360 |   - |3767 |4947 |3767 | 901 |1202 | 611 |1267 | 0.000000e+00 | 2.190000e+02 |    Inf 
8.30/8.34	o 209
8.30/8.34	c * 8.3s|  2834 |  1760 | 10331 |   3.6 |  25M|1360 |   - |3767 |5088 |3767 | 907 |1461 | 765 |1436 | 0.000000e+00 | 2.090000e+02 |    Inf 
9.50/9.53	o 194
9.50/9.53	c * 9.5s|  3283 |  2011 | 12434 |   3.7 |  27M|1360 |   - |3767 |5274 |3767 | 895 |1773 | 991 |1527 | 0.000000e+00 | 1.940000e+02 |    Inf 
11.89/11.97	o 189
11.89/11.97	c *11.9s|  4229 |  2568 | 18226 |   4.3 |  30M|1360 |   - |3767 |5830 |3767 | 915 |2659 |1610 |1648 | 0.000000e+00 | 1.890000e+02 |    Inf 
11.89/12.00	o 180
11.89/12.00	c *12.0s|  4232 |  2343 | 18284 |   4.3 |  28M|1360 |   - |3767 |5829 |3767 | 928 |2664 |1610 |1648 | 0.000000e+00 | 1.800000e+02 |    Inf 
12.39/12.49	o 163
12.39/12.49	c *12.5s|  4524 |  2431 | 18677 |   4.1 |  27M|1360 |   - |3767 |5867 |3767 | 931 |2727 |1653 |1658 | 0.000000e+00 | 1.630000e+02 |    Inf 
12.49/12.50	o 162
12.49/12.50	c *12.5s|  4525 |  2424 | 18678 |   4.1 |  27M|1360 |   - |3767 |5867 |3767 | 931 |2727 |1653 |1658 | 0.000000e+00 | 1.620000e+02 |    Inf 
12.59/12.69	o 100
12.59/12.69	c *12.7s|  4609 |  1863 | 18865 |   4.0 |  25M|1360 |   - |3767 |5930 |3767 | 922 |2754 |1719 |1662 | 0.000000e+00 | 1.000000e+02 |    Inf 
12.79/12.81	o 84
12.79/12.81	c *12.8s|  4642 |  1369 | 19063 |   4.1 |  24M|1360 |   - |3767 |5915 |3767 | 920 |2754 |1748 |1664 | 0.000000e+00 | 8.400000e+01 |    Inf 
13.59/13.64	o 68
13.59/13.64	c *13.6s|  4944 |  1177 | 19895 |   4.0 |  24M|1360 |   - |3767 |5871 |3767 | 920 |2866 |2141 |1670 | 0.000000e+00 | 6.800000e+01 |    Inf 
13.69/13.72	o 64
13.69/13.72	c *13.7s|  4967 |  1129 | 19989 |   4.0 |  24M|1360 |   - |3767 |5529 |3767 | 929 |2869 |2163 |1672 | 0.000000e+00 | 6.400000e+01 |    Inf 
13.69/13.78	o 58
13.69/13.78	c *13.8s|  4979 |  1031 | 20104 |   4.0 |  24M|1360 |   - |3767 |5437 |3767 | 926 |2881 |2191 |1675 | 0.000000e+00 | 5.800000e+01 |    Inf 
13.79/13.84	o 38
13.79/13.84	c *13.8s|  4993 |   796 | 20177 |   4.0 |  23M|1360 |   - |3767 |5298 |3767 | 918 |2884 |2194 |1676 | 0.000000e+00 | 3.800000e+01 |    Inf 
13.79/13.84	o 26
13.79/13.84	c *13.8s|  4994 |   603 | 20186 |   4.0 |  23M|1360 |   - |3767 |5298 |3767 | 918 |2884 |2194 |1676 | 0.000000e+00 | 2.600000e+01 |    Inf 
15.59/15.63	o 23
15.59/15.63	c *15.6s|  5979 |   616 | 26924 |   4.5 |  23M|1360 |   - |3767 |5287 |3767 | 905 |3260 |3536 |1738 | 0.000000e+00 | 2.300000e+01 |    Inf 
15.59/15.63	o 19
15.59/15.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.59/15.63	c *15.6s|  5980 |   562 | 26926 |   4.5 |  23M|1360 |   - |3767 |5287 |3767 | 905 |3260 |3536 |1738 | 0.000000e+00 | 1.900000e+01 |    Inf 
15.69/15.78	o 11
15.69/15.78	c *15.7s|  6060 |   470 | 27362 |   4.5 |  23M|1360 |   - |3767 |5067 |3767 | 909 |3278 |3658 |1741 | 0.000000e+00 | 1.100000e+01 |    Inf 
16.40/16.45	o 3
16.40/16.45	c *16.4s|  6492 |   336 | 30585 |   4.7 |  22M|1360 |   - |3767 |5044 |3767 | 905 |3428 |4215 |1750 | 0.000000e+00 | 3.000000e+00 |    Inf 
21.79/21.90	c  21.9s| 10000 |   456 | 59361 |   5.9 |  24M|1360 |   - |3767 |5861 |   0 |   0 |5130 |8609 |1822 | 0.000000e+00 | 3.000000e+00 |    Inf 
36.20/36.24	o 1
36.20/36.24	c *36.2s| 19538 |   640 |129574 |   6.6 |  26M|1360 |   - |3767 |9159 |3767 | 913 |9187 |  20k|1829 | 0.000000e+00 | 1.000000e+00 |    Inf 
36.89/36.91	c  36.9s| 20000 |   649 |132681 |   6.6 |  26M|1360 |  15 |3767 |9155 |3767 | 922 |9385 |  21k|1829 | 0.000000e+00 | 1.000000e+00 |    Inf 
52.40/52.40	c  52.4s| 30000 |   741 |202341 |   6.7 |  28M|1360 |  19 |3767 |  10k|3767 | 902 |  13k|  34k|2069 | 0.000000e+00 | 1.000000e+00 |    Inf 
68.09/68.15	c  68.1s| 40000 |   807 |271362 |   6.8 |  29M|1360 |   - |3767 |  11k|   0 |   0 |  16k|  47k|2388 | 0.000000e+00 | 1.000000e+00 |    Inf 
84.20/84.21	c  84.2s| 50000 |   774 |338483 |   6.8 |  30M|1360 |  15 |3767 |  12k|3767 | 887 |  18k|  61k|2627 | 0.000000e+00 | 1.000000e+00 |    Inf 
100.79/100.88	c   101s| 60000 |   715 |411811 |   6.9 |  30M|1360 |  21 |3767 |  11k|3767 | 905 |  21k|  74k|2993 | 0.000000e+00 | 1.000000e+00 |    Inf 
117.09/117.17	c   117s| 70000 |   851 |482787 |   6.9 |  32M|1360 |   9 |3767 |  14k|3767 | 918 |  24k|  87k|3161 | 0.000000e+00 | 1.000000e+00 |    Inf 
134.10/134.14	c   134s| 80000 |   849 |555054 |   6.9 |  33M|1360 |   - |3767 |  14k|   0 |   0 |  26k| 100k|3381 | 0.000000e+00 | 1.000000e+00 |    Inf 
150.60/150.67	c   151s| 90000 |   807 |621531 |   6.9 |  33M|1360 |   9 |3767 |  15k|3767 | 903 |  28k| 114k|3551 | 0.000000e+00 | 1.000000e+00 |    Inf 
167.40/167.43	c   167s|100000 |   889 |688348 |   6.9 |  35M|1360 |   - |3767 |  18k|   0 |   0 |  32k| 127k|3679 | 0.000000e+00 | 1.000000e+00 |    Inf 
185.49/185.56	c   186s|110000 |   887 |762646 |   6.9 |  35M|1360 |   - |3767 |  18k|   0 |   0 |  36k| 140k|3856 | 0.000000e+00 | 1.000000e+00 |    Inf 
204.80/204.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
204.80/204.81	c   205s|120000 |   944 |838736 |   7.0 |  37M|1360 |   - |3767 |  22k|   0 |   0 |  41k| 153k|4024 | 0.000000e+00 | 1.000000e+00 |    Inf 
224.60/224.62	c   225s|130000 |  1217 |908586 |   7.0 |  40M|1360 |  19 |3767 |  25k|3767 | 903 |  44k| 167k|4171 | 0.000000e+00 | 1.000000e+00 |    Inf 
244.00/244.07	c   244s|140000 |  1325 |972886 |   6.9 |  41M|1360 |   - |3767 |  27k|   0 |   0 |  46k| 180k|4288 | 0.000000e+00 | 1.000000e+00 |    Inf 
264.90/264.91	c   265s|150000 |  1353 |  1046k|   7.0 |  41M|1360 |   1 |3767 |  26k|3767 | 920 |  50k| 194k|4419 | 0.000000e+00 | 1.000000e+00 |    Inf 
286.70/286.74	c   287s|160000 |  1483 |  1127k|   7.0 |  44M|1360 |   - |3767 |  30k|   0 |   0 |  53k| 208k|4554 | 0.000000e+00 | 1.000000e+00 |    Inf 
308.10/308.16	c   308s|170000 |  1521 |  1199k|   7.1 |  44M|1360 |  21 |3767 |  28k|3767 | 907 |  55k| 222k|4671 | 0.000000e+00 | 1.000000e+00 |    Inf 
329.80/329.81	c   330s|180000 |  1526 |  1273k|   7.1 |  45M|1360 |   - |3767 |  29k|   0 |   0 |  58k| 235k|4777 | 0.000000e+00 | 1.000000e+00 |    Inf 
351.41/351.49	c   351s|190000 |  1526 |  1348k|   7.1 |  45M|1360 |   - |3767 |  29k|   0 |   0 |  61k| 249k|4870 | 0.000000e+00 | 1.000000e+00 |    Inf 
373.91/373.92	c   374s|200000 |  1581 |  1423k|   7.1 |  45M|1360 |   - |3767 |  29k|   0 |   0 |  64k| 263k|4963 | 0.000000e+00 | 1.000000e+00 |    Inf 
395.60/395.61	c   396s|210000 |  1507 |  1497k|   7.1 |  45M|1360 |  15 |3767 |  27k|3767 | 910 |  67k| 277k|5049 | 0.000000e+00 | 1.000000e+00 |    Inf 
417.70/417.72	c   418s|220000 |  1547 |  1575k|   7.2 |  46M|1360 |   - |3767 |  30k|   0 |   0 |  70k| 291k|5147 | 0.000000e+00 | 1.000000e+00 |    Inf 
441.01/441.00	c   441s|230000 |  1754 |  1652k|   7.2 |  49M|1360 |  23 |3767 |  33k|3767 | 929 |  72k| 305k|5235 | 0.000000e+00 | 1.000000e+00 |    Inf 
464.01/464.00	c   464s|240000 |  1767 |  1728k|   7.2 |  49M|1360 |   7 |3767 |  32k|3767 | 920 |  75k| 320k|5347 | 0.000000e+00 | 1.000000e+00 |    Inf 
487.31/487.37	c   487s|250000 |  1767 |  1803k|   7.2 |  50M|1360 |   - |3767 |  33k|   0 |   0 |  78k| 335k|5450 | 0.000000e+00 | 1.000000e+00 |    Inf 
511.60/511.62	c   512s|260000 |  1696 |  1884k|   7.2 |  49M|1360 |  11 |3767 |  31k|3767 | 932 |  80k| 351k|5534 | 0.000000e+00 | 1.000000e+00 |    Inf 
534.01/534.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
534.01/534.02	c   534s|270000 |  1700 |  1959k|   7.3 |  49M|1360 |  21 |3767 |  30k|3767 | 907 |  84k| 365k|5597 | 0.000000e+00 | 1.000000e+00 |    Inf 
556.30/556.30	c   556s|280000 |  1837 |  2031k|   7.3 |  51M|1360 |   1 |3767 |  33k|3767 | 892 |  88k| 378k|5681 | 0.000000e+00 | 1.000000e+00 |    Inf 
579.81/579.80	c   580s|290000 |  1757 |  2100k|   7.2 |  51M|1360 |   - |3767 |  33k|   0 |   0 |  91k| 392k|5773 | 0.000000e+00 | 1.000000e+00 |    Inf 
603.81/603.83	c   604s|300000 |  1757 |  2187k|   7.3 |  51M|1360 |  12 |3767 |  34k|3767 | 928 |  96k| 406k|5862 | 0.000000e+00 | 1.000000e+00 |    Inf 
627.51/627.59	c   628s|310000 |  1753 |  2263k|   7.3 |  50M|1360 |   9 |3767 |  30k|3767 | 923 | 100k| 420k|5932 | 0.000000e+00 | 1.000000e+00 |    Inf 
648.81/648.80	c   649s|320000 |  1654 |  2334k|   7.3 |  49M|1360 |   6 |3767 |  28k|3767 | 928 | 103k| 435k|6020 | 0.000000e+00 | 1.000000e+00 |    Inf 
670.02/670.00	c   670s|330000 |  1561 |  2405k|   7.3 |  49M|1360 |   - |3767 |  29k|   0 |   0 | 106k| 449k|6073 | 0.000000e+00 | 1.000000e+00 |    Inf 
692.71/692.74	c   693s|340000 |  1524 |  2487k|   7.3 |  50M|1360 |   - |3767 |  32k|   0 |   0 | 109k| 463k|6158 | 0.000000e+00 | 1.000000e+00 |    Inf 
715.21/715.25	c   715s|350000 |  1311 |  2561k|   7.3 |  46M|1360 |   1 |3767 |  26k|3767 | 918 | 113k| 478k|6232 | 0.000000e+00 | 1.000000e+00 |    Inf 
738.71/738.77	c   739s|360000 |  1360 |  2642k|   7.3 |  46M|1360 |   1 |3767 |  25k|3767 | 910 | 115k| 491k|7197 | 0.000000e+00 | 1.000000e+00 |    Inf 
760.92/760.94	c   761s|370000 |  1430 |  2724k|   7.4 |  47M|1360 |   1 |3767 |  25k|3767 | 907 | 117k| 504k|7207 | 0.000000e+00 | 1.000000e+00 |    Inf 
783.41/783.40	c   783s|380000 |  1482 |  2804k|   7.4 |  48M|1360 |   1 |3767 |  27k|3767 | 928 | 119k| 517k|7213 | 0.000000e+00 | 1.000000e+00 |    Inf 
806.82/806.86	c   807s|390000 |  1636 |  2886k|   7.4 |  51M|1360 |   - |3767 |  31k|   0 |   0 | 121k| 531k|7218 | 0.000000e+00 | 1.000000e+00 |    Inf 
831.53/831.57	c   832s|400000 |  1658 |  2971k|   7.4 |  51M|1360 |  15 |3767 |  26k|3767 | 925 | 123k| 544k|7226 | 0.000000e+00 | 1.000000e+00 |    Inf 
851.92/851.95	c   852s|410000 |  1356 |  3042k|   7.4 |  45M|1360 |   - |3767 |  18k|   0 |   0 | 127k| 558k|7237 | 0.000000e+00 | 1.000000e+00 |    Inf 
870.13/870.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
870.13/870.13	c   870s|420000 |  1577 |  3109k|   7.4 |  48M|1360 |   - |3767 |  23k|   0 |   0 | 129k| 571k|7244 | 0.000000e+00 | 1.000000e+00 |    Inf 
889.62/889.68	c   890s|430000 |  1496 |  3180k|   7.4 |  48M|1360 |   1 |3767 |  23k|3767 | 915 | 133k| 585k|7297 | 0.000000e+00 | 1.000000e+00 |    Inf 
909.82/909.81	c   910s|440000 |  1689 |  3252k|   7.4 |  50M|1360 |   8 |3767 |  24k|3767 | 894 | 135k| 598k|7329 | 0.000000e+00 | 1.000000e+00 |    Inf 
930.32/930.36	c   930s|450000 |  1666 |  3321k|   7.4 |  50M|1360 |   1 |3767 |  25k|3767 | 920 | 138k| 611k|7374 | 0.000000e+00 | 1.000000e+00 |    Inf 
950.72/950.79	c   951s|460000 |  1718 |  3392k|   7.4 |  52M|1360 |   - |3767 |  27k|   0 |   0 | 141k| 625k|7436 | 0.000000e+00 | 1.000000e+00 |    Inf 
972.62/972.67	c   973s|470000 |  1907 |  3466k|   7.4 |  54M|1360 |   9 |3767 |  29k|3767 | 917 | 144k| 637k|7472 | 0.000000e+00 | 1.000000e+00 |    Inf 
994.92/994.98	c   995s|480000 |  1914 |  3539k|   7.4 |  54M|1360 |  27 |3767 |  30k|3767 | 923 | 147k| 651k|7527 | 0.000000e+00 | 1.000000e+00 |    Inf 
1018.22/1018.26	c  1018s|490000 |  2264 |  3620k|   7.4 |  58M|1360 |   - |3767 |  32k|   0 |   0 | 149k| 664k|7587 | 0.000000e+00 | 1.000000e+00 |    Inf 
1041.22/1041.28	c  1041s|500000 |  2465 |  3695k|   7.4 |  60M|1360 |   - |3767 |  33k|   0 |   0 | 152k| 678k|7624 | 0.000000e+00 | 1.000000e+00 |    Inf 
1064.33/1064.35	c  1064s|510000 |  2522 |  3769k|   7.4 |  61M|1360 |  19 |3767 |  33k|3767 | 912 | 155k| 692k|7688 | 0.000000e+00 | 1.000000e+00 |    Inf 
1088.02/1088.02	c  1088s|520000 |  2702 |  3852k|   7.4 |  63M|1360 |  13 |3767 |  35k|3767 | 927 | 158k| 706k|7740 | 0.000000e+00 | 1.000000e+00 |    Inf 
1113.52/1113.58	c  1114s|530000 |  2867 |  3933k|   7.4 |  64M|1360 |   8 |3767 |  36k|3767 | 916 | 160k| 721k|7802 | 0.000000e+00 | 1.000000e+00 |    Inf 
1137.33/1137.37	c  1137s|540000 |  2828 |  4013k|   7.4 |  64M|1360 |  26 |3767 |  33k|3767 | 911 | 163k| 736k|7839 | 0.000000e+00 | 1.000000e+00 |    Inf 
1161.73/1161.70	c  1162s|550000 |  2874 |  4095k|   7.4 |  65M|1360 |   - |3767 |  33k|   0 |   0 | 166k| 750k|7879 | 0.000000e+00 | 1.000000e+00 |    Inf 
1185.03/1185.08	c  1185s|560000 |  2944 |  4171k|   7.4 |  66M|1360 |  15 |3767 |  34k|3767 | 923 | 168k| 764k|7944 | 0.000000e+00 | 1.000000e+00 |    Inf 
1210.22/1210.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1210.22/1210.21	c  1210s|570000 |  2953 |  4257k|   7.5 |  67M|1360 |   - |3767 |  35k|   0 |   0 | 172k| 777k|8002 | 0.000000e+00 | 1.000000e+00 |    Inf 
1234.03/1234.00	c  1234s|580000 |  2933 |  4333k|   7.5 |  67M|1360 |   - |3767 |  35k|   0 |   0 | 175k| 792k|8044 | 0.000000e+00 | 1.000000e+00 |    Inf 
1258.23/1258.23	c  1258s|590000 |  2925 |  4412k|   7.5 |  67M|1360 |  25 |3767 |  35k|3767 | 921 | 178k| 806k|8113 | 0.000000e+00 | 1.000000e+00 |    Inf 
1283.34/1283.30	c  1283s|600000 |  2994 |  4498k|   7.5 |  69M|1360 |   - |3767 |  36k|   0 |   0 | 180k| 820k|8159 | 0.000000e+00 | 1.000000e+00 |    Inf 
1307.84/1307.87	c  1308s|610000 |  2793 |  4578k|   7.5 |  67M|1360 |   - |3767 |  33k|3767 | 914 | 183k| 834k|8195 | 0.000000e+00 | 1.000000e+00 |    Inf 
1332.04/1332.02	c  1332s|620000 |  2816 |  4659k|   7.5 |  68M|1360 |  24 |3767 |  37k|3767 | 932 | 186k| 849k|8262 | 0.000000e+00 | 1.000000e+00 |    Inf 
1357.23/1357.26	c  1357s|630000 |  2622 |  4740k|   7.5 |  65M|1360 |   - |3767 |  33k|   0 |   0 | 190k| 864k|8301 | 0.000000e+00 | 1.000000e+00 |    Inf 
1380.74/1380.74	c  1381s|640000 |  1827 |  4818k|   7.5 |  56M|1360 |  12 |3767 |  28k|3767 | 931 | 193k| 878k|8343 | 0.000000e+00 | 1.000000e+00 |    Inf 
1402.54/1402.59	c  1403s|650000 |  1583 |  4897k|   7.5 |  52M|1360 |  16 |3767 |  24k|3767 | 900 | 196k| 892k|8520 | 0.000000e+00 | 1.000000e+00 |    Inf 
1422.63/1422.67	c  1423s|660000 |  1466 |  4974k|   7.5 |  49M|1360 |   7 |3767 |  22k|3767 | 910 | 199k| 905k|8577 | 0.000000e+00 | 1.000000e+00 |    Inf 
1441.94/1441.99	c  1442s|670000 |  1531 |  5044k|   7.5 |  51M|1360 |   - |3767 |  26k|3767 | 929 | 202k| 918k|8608 | 0.000000e+00 | 1.000000e+00 |    Inf 
1462.84/1462.82	c  1463s|680000 |  1307 |  5118k|   7.5 |  47M|1360 |   8 |3767 |  21k|3767 | 912 | 205k| 932k|8707 | 0.000000e+00 | 1.000000e+00 |    Inf 
1483.24/1483.20	c  1483s|690000 |  1525 |  5202k|   7.5 |  50M|1360 |   9 |3767 |  23k|3767 | 909 | 208k| 945k|8757 | 0.000000e+00 | 1.000000e+00 |    Inf 
1503.94/1503.95	c  1504s|700000 |  1748 |  5277k|   7.5 |  52M|1360 |  30 |3767 |  27k|3767 | 924 | 211k| 959k|8806 | 0.000000e+00 | 1.000000e+00 |    Inf 
1524.84/1524.86	c  1525s|710000 |  1883 |  5352k|   7.5 |  54M|1360 |   - |3767 |  28k|   0 |   0 | 214k| 972k|8852 | 0.000000e+00 | 1.000000e+00 |    Inf 
1546.34/1546.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1546.34/1546.30	c  1546s|720000 |  2052 |  5433k|   7.5 |  55M|1360 |   - |3767 |  29k|   0 |   0 | 216k| 986k|8883 | 0.000000e+00 | 1.000000e+00 |    Inf 
1567.55/1567.55	c  1568s|730000 |  2143 |  5510k|   7.5 |  55M|1360 |   1 |3767 |  26k|3767 | 915 | 219k|1000k|8915 | 0.000000e+00 | 1.000000e+00 |    Inf 
1588.64/1588.60	c  1589s|740000 |  2216 |  5593k|   7.6 |  57M|1360 |   - |3767 |  27k|   0 |   0 | 223k|1014k|8961 | 0.000000e+00 | 1.000000e+00 |    Inf 
1609.74/1609.76	c  1610s|750000 |  2238 |  5670k|   7.6 |  56M|1360 |   - |3767 |  25k|   0 |   0 | 225k|1028k|9011 | 0.000000e+00 | 1.000000e+00 |    Inf 
1630.55/1630.55	c  1631s|760000 |  2258 |  5752k|   7.6 |  57M|1360 |   - |3767 |  27k|   0 |   0 | 228k|1042k|9043 | 0.000000e+00 | 1.000000e+00 |    Inf 
1651.65/1651.61	c  1652s|770000 |  2204 |  5830k|   7.6 |  57M|1360 |   - |3767 |  26k|   0 |   0 | 231k|1056k|9076 | 0.000000e+00 | 1.000000e+00 |    Inf 
1672.05/1672.06	c  1672s|780000 |  2185 |  5908k|   7.6 |  58M|1360 |  11 |3767 |  28k|3767 | 918 | 235k|1070k|9114 | 0.000000e+00 | 1.000000e+00 |    Inf 
1693.55/1693.54	c  1694s|790000 |  2178 |  5991k|   7.6 |  59M|1360 |  24 |3767 |  29k|3767 | 927 | 237k|1084k|9162 | 0.000000e+00 | 1.000000e+00 |    Inf 
1716.25/1716.27	c  1716s|800000 |  2191 |  6076k|   7.6 |  59M|1360 |   - |3767 |  28k|   0 |   0 | 240k|1099k|9209 | 0.000000e+00 | 1.000000e+00 |    Inf 
1737.85/1737.83	c  1738s|810000 |  2178 |  6165k|   7.6 |  59M|1360 |   - |3767 |  28k|3767 | 904 | 244k|1114k|9250 | 0.000000e+00 | 1.000000e+00 |    Inf 
1760.45/1760.47	c  1760s|820000 |  2124 |  6251k|   7.6 |  59M|1360 |   - |3767 |  28k|   0 |   0 | 247k|1128k|9289 | 0.000000e+00 | 1.000000e+00 |    Inf 
1781.84/1781.83	c  1782s|830000 |  2118 |  6333k|   7.6 |  59M|1360 |   - |3767 |  28k|   0 |   0 | 250k|1142k|9331 | 0.000000e+00 | 1.000000e+00 |    Inf 
1790.05/1790.01	c 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time (sec) : 1789.98
1790.05/1790.01	c Solving Nodes      : 833725
1790.05/1790.01	c Primal Bound       : +1.00000000000000e+00 (63 solutions)
1790.05/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.01	c Gap                : infinite
1790.05/1790.04	s SATISFIABLE
1790.05/1790.04	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.05/1790.04	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1790.05/1790.04	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1790.05/1790.04	v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 
1790.05/1790.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1790.05/1790.04	v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 
1790.05/1790.04	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 
1790.05/1790.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 -x54 
1790.05/1790.04	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 
1790.05/1790.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 
1790.05/1790.04	v -x1 
1790.05/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.04	c Solving Time       :    1789.98
1790.05/1790.04	c Original Problem   :
1790.05/1790.04	c   Problem name     : HOME/instance-2705571-1278572956.wbo
1790.05/1790.04	c   Variables        : 3927 (2079 binary, 0 integer, 1848 implicit integer, 0 continuous)
1790.05/1790.04	c   Constraints      : 4556 initial, 4556 maximal
1790.05/1790.04	c Presolved Problem  :
1790.05/1790.04	c   Problem name     : t_HOME/instance-2705571-1278572956.wbo
1790.05/1790.04	c   Variables        : 3767 (1999 binary, 0 integer, 1768 implicit integer, 0 continuous)
1790.05/1790.04	c   Constraints      : 4340 initial, 39610 maximal
1790.05/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.05/1790.04	c   trivial          :       0.00         80          0          0          0          0          0          0          0
1790.05/1790.04	c   dualfix          :       0.00         80          0          0          0          0          0          0          0
1790.05/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.05/1790.04	c   setppc           :       0.00          0          0          0          0          0         21          0          0
1790.05/1790.04	c   linear           :       0.06          0          0          0       1882          0        115        101          0
1790.05/1790.04	c   indicator        :       0.00          0          0          0          0          0         80          0          0
1790.05/1790.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.05/1790.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.04	c   root node        :          -       3536          -          -       3536          -          -          -          -
1790.05/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.04	c   integral         :          0          0          0     499892          0         63       1263          0          0     914680
1790.05/1790.04	c   setppc           :         28          6    3838007      41205          1      31499    1274824          0          0          0
1790.05/1790.04	c   linear           :       1768          6    3808286      41438          1     201609   17691333     251472          0          0
1790.05/1790.04	c   indicator        :       1768          0      81189       4971          0         29     279088          0          0          0
1790.05/1790.04	c   logicor          :        776+         6    1764092       3462          1     162022    4428075          0          0          0
1790.05/1790.04	c   bounddisjunction :          0+         0     474908          0          0        372       2177          0          0          0
1790.05/1790.04	c   countsols        :          0          0          0       3462          1          0          0          0          0          0
1790.05/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.05/1790.04	c   integral         :      20.19       0.00       0.00      20.19       0.00
1790.05/1790.04	c   setppc           :      12.36       0.00      12.32       0.03       0.00
1790.05/1790.04	c   linear           :     138.69       0.00     136.27       2.41       0.00
1790.05/1790.04	c   indicator        :       1.48       0.00       1.04       0.44       0.00
1790.05/1790.04	c   logicor          :     332.46       0.00     332.42       0.04       0.00
1790.05/1790.04	c   bounddisjunction :       2.92       0.00       2.92       0.00       0.00
1790.05/1790.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.05/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.05/1790.04	c   vbounds          :       0.61       2720          0        268
1790.05/1790.04	c   rootredcost      :       0.57         26          0       1768
1790.05/1790.04	c   pseudoobj        :      90.77    3840247        499     261219
1790.05/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.05/1790.04	c   propagation      :      18.31     396001     395309    2383799       27.4      11154       24.5          -
1790.05/1790.04	c   infeasible LP    :      14.52      56274      56273     436377       45.2        487       17.2          0
1790.05/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.05/1790.04	c   applied globally :          -          -          -    1148288       24.3          -          -          -
1790.05/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.05/1790.04	c   cut pool         :       0.00          5          -          -         78          -    (maximal pool size: 438)
1790.05/1790.04	c   redcost          :      30.05     500176          0      17437          0          0
1790.05/1790.04	c   impliedbounds    :       0.00          6          0          0          0          0
1790.05/1790.04	c   intobj           :       0.00          0          0          0          0          0
1790.05/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1790.05/1790.04	c   gomory           :       0.08          6          0          0       1087          0
1790.05/1790.04	c   strongcg         :       0.07          6          0          0       1132          0
1790.05/1790.04	c   cmir             :       0.02          6          0          0          1          0
1790.05/1790.04	c   flowcover        :       0.06          6          0          0          3          0
1790.05/1790.04	c   clique           :       0.00          6          0          0          0          0
1790.05/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1790.05/1790.04	c   mcf              :       0.00          1          0          0          0          0
1790.05/1790.04	c   rapidlearning    :       0.07          1          0          0          0          0
1790.05/1790.04	c Pricers            :       Time      Calls       Vars
1790.05/1790.04	c   problem variables:       0.00          0          0
1790.05/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.04	c   relpscost        :      19.76     458440         63       1263          0          0     914680
1790.05/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1790.05/1790.04	c   inference        :       0.78       3438          0          0          0          0       6950
1790.05/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1790.05/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1790.05/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.05/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.05/1790.04	c   random           :       0.00          0          0          0          0          0          0
1790.05/1790.04	c Primal Heuristics  :       Time      Calls      Found
1790.05/1790.04	c   LP solutions     :       0.01          -         25
1790.05/1790.04	c   pseudo solutions :       0.00          -          0
1790.05/1790.04	c   feaspump         :       0.02          1          0
1790.05/1790.04	c   oneopt           :       0.32         23          0
1790.05/1790.04	c   rootsoldiving    :       0.06          9          0
1790.05/1790.04	c   fracdiving       :       0.04         18          0
1790.05/1790.04	c   coefdiving       :       0.04         18          0
1790.05/1790.04	c   guideddiving     :       0.04         18          0
1790.05/1790.04	c   pscostdiving     :       0.04         18          0
1790.05/1790.04	c   veclendiving     :       0.05         18          0
1790.05/1790.04	c   linesearchdiving :       0.04         18          0
1790.05/1790.04	c   objpscostdiving  :       0.04         10          0
1790.05/1790.04	c   crossover        :       0.51          7          0
1790.05/1790.04	c   trivial          :       0.01          2          0
1790.05/1790.04	c   simplerounding   :       0.75     458426          0
1790.05/1790.04	c   zirounding       :       0.30       1000          0
1790.05/1790.04	c   rounding         :       1.02       9582          0
1790.05/1790.04	c   shifting         :       0.71       2953          0
1790.05/1790.04	c   intshifting      :       0.01          0          0
1790.05/1790.04	c   twoopt           :       0.00          0          0
1790.05/1790.04	c   fixandinfer      :       0.00          0          0
1790.05/1790.04	c   intdiving        :       0.00          0          0
1790.05/1790.04	c   actconsdiving    :       0.00          0          0
1790.05/1790.04	c   octane           :       0.00          0          0
1790.05/1790.04	c   rens             :       0.03          1          0
1790.05/1790.04	c   rins             :       0.00          0          0
1790.05/1790.04	c   localbranching   :       0.00          0          0
1790.05/1790.04	c   mutation         :       0.00          0          0
1790.05/1790.04	c   dins             :       0.00          0          0
1790.05/1790.04	c   undercover       :       0.00          0          0
1790.05/1790.04	c   nlp              :       0.17          0          0
1790.05/1790.04	c   trysol           :       0.23        102         38
1790.05/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.05/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1790.05/1790.04	c   dual LP          :     625.40     550805    6364284      11.55   10176.32
1790.05/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1790.05/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1790.05/1790.04	c   diving/probing LP:       0.17         90       1232      13.69    7367.28
1790.05/1790.04	c   strong branching :      15.69       9361     168532      18.00   10740.34
1790.05/1790.04	c     (at root node) :          -         17       1890     111.18          -
1790.05/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1790.05/1790.04	c B&B Tree           :
1790.05/1790.04	c   number of runs   :          1
1790.05/1790.04	c   nodes            :     833725
1790.05/1790.04	c   nodes (total)    :     833725
1790.05/1790.04	c   nodes left       :       2125
1790.05/1790.04	c   max depth        :       1360
1790.05/1790.04	c   max depth (total):       1360
1790.05/1790.04	c   backtracks       :     112920 (13.5%)
1790.05/1790.04	c   delayed cutoffs  :      82350
1790.05/1790.04	c   repropagations   :    1526971 (5050756 domain reductions, 79285 cutoffs)
1790.05/1790.04	c   avg switch length:       5.23
1790.05/1790.04	c   switching time   :     289.47
1790.05/1790.04	c Solution           :
1790.05/1790.04	c   Solutions found  :         63 (26 improvements)
1790.05/1790.04	c   First Solution   : +9.10890000000000e+04   (in run 1, after 19 nodes, 1.03 seconds, depth 19, found by <trysol>)
1790.05/1790.04	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 19538 nodes, 36.21 seconds, depth 27, found by <relaxation>)
1790.05/1790.04	c   Dual Bound       : +0.00000000000000e+00
1790.05/1790.04	c   Gap              :   infinite
1790.05/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1790.05/1790.04	c   Root Iterations  :        226
1790.15/1790.12	c Time complete: 1790.17.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705571-1278572956/watcher-2705571-1278572956 -o /tmp/evaluation-result-2705571-1278572956/solver-2705571-1278572956 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705571-1278572956.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: 0.13 0.03 0.01 3/178 22962
/proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=12692 CPUtime=0
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 2009 0 0 0 0 0 0 0 25 0 1 0 25508613 12996608 1927 4089446400 4194304 10345943 140735148574608 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22962/statm: 3173 1927 429 1502 0 1666 0

[startup+0.068186 s]
/proc/loadavg: 0.13 0.03 0.01 3/178 22962
/proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=33424 CPUtime=0.06
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 7360 0 0 0 6 0 0 0 25 0 1 0 25508613 34226176 6924 4089446400 4194304 10345943 140735148574608 18446744073709551615 5017672 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 8356 6924 534 1502 0 6849 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33424

[startup+0.101164 s]
/proc/loadavg: 0.13 0.03 0.01 3/178 22962
/proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=33424 CPUtime=0.09
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 7375 0 0 0 9 0 0 0 25 0 1 0 25508613 34226176 6939 4089446400 4194304 10345943 140735148574608 18446744073709551615 5017692 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 8356 6939 542 1502 0 6849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33424

[startup+0.301126 s]
/proc/loadavg: 0.13 0.03 0.01 3/178 22962
/proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=41988 CPUtime=0.29
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 14403 0 0 0 27 2 0 0 25 0 1 0 25508613 42995712 8969 4089446400 4194304 10345943 140735148574608 18446744073709551615 5931069 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 10497 8969 751 1502 0 8990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41988

[startup+0.701045 s]
/proc/loadavg: 0.13 0.03 0.01 3/178 22962
/proc/meminfo: memFree=29398280/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=46964 CPUtime=0.69
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 19528 0 0 0 66 3 0 0 25 0 1 0 25508613 48091136 10283 4089446400 4194304 10345943 140735148574608 18446744073709551615 6715432 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 11741 10283 777 1502 0 10234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46964

[startup+1.5009 s]
/proc/loadavg: 0.13 0.03 0.01 3/179 22963
/proc/meminfo: memFree=29350284/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=47500 CPUtime=1.49
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 20017 0 0 0 145 4 0 0 25 0 1 0 25508613 48640000 9999 4089446400 4194304 10345943 140735148574608 18446744073709551615 6923482 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 11875 9999 779 1502 0 10368 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47500

[startup+3.1006 s]
/proc/loadavg: 0.28 0.06 0.02 3/179 22963
/proc/meminfo: memFree=29349688/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=53472 CPUtime=3.09
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 27169 0 0 0 304 5 0 0 25 0 1 0 25508613 54755328 11334 4089446400 4194304 10345943 140735148574608 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 13368 11334 783 1502 0 11861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53472

[startup+6.30102 s]
/proc/loadavg: 0.28 0.06 0.02 3/179 22963
/proc/meminfo: memFree=29337436/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=61596 CPUtime=6.29
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 35252 0 0 0 622 7 0 0 25 0 1 0 25508613 63074304 13263 4089446400 4194304 10345943 140735148574608 18446744073709551615 6847789 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 15399 13263 786 1502 0 13892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61596

[startup+12.7008 s]
/proc/loadavg: 0.42 0.10 0.03 3/179 22964
/proc/meminfo: memFree=29311984/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=75736 CPUtime=12.69
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 56152 0 0 0 1257 12 0 0 25 0 1 0 25508613 77553664 16993 4089446400 4194304 10345943 140735148574608 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 18934 16993 786 1502 0 17427 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75736

[startup+25.5005 s]
/proc/loadavg: 0.77 0.19 0.06 3/179 22964
/proc/meminfo: memFree=29297792/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=81696 CPUtime=25.49
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 80669 0 0 0 2529 20 0 0 25 0 1 0 25508613 83656704 18833 4089446400 4194304 10345943 140735148574608 18446744073709551615 4217965 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 20424 18833 786 1502 0 18917 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81696

[startup+51.1008 s]
/proc/loadavg: 1.19 0.33 0.11 3/179 22965
/proc/meminfo: memFree=29290848/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=87496 CPUtime=51.09
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 98149 0 0 0 5072 37 0 0 25 0 1 0 25508613 89595904 19989 4089446400 4194304 10345943 140735148574608 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 21874 19989 786 1502 0 20367 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87496

[startup+102.307 s]
/proc/loadavg: 1.73 0.62 0.22 3/179 22966
/proc/meminfo: memFree=29282436/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=90288 CPUtime=102.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 110898 0 0 0 10168 62 0 0 25 0 1 0 25508613 92454912 20615 4089446400 4194304 10345943 140735148574608 18446744073709551615 6776993 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 22572 20615 786 1502 0 21065 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 90288

[startup+162.301 s]
/proc/loadavg: 1.89 0.85 0.32 3/179 22968
/proc/meminfo: memFree=29269844/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=93752 CPUtime=162.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 120624 0 0 0 16142 88 0 0 25 0 1 0 25508613 96002048 21655 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 23438 21655 786 1502 0 21931 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 93752

[startup+222.301 s]
/proc/loadavg: 1.96 1.07 0.43 3/179 22969
/proc/meminfo: memFree=29259236/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=102124 CPUtime=222.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 125982 0 0 0 22118 112 0 0 25 0 1 0 25508613 104574976 23431 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 25531 23431 786 1502 0 24024 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102124

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/179 22971
/proc/meminfo: memFree=29248748/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=106464 CPUtime=282.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 127749 0 0 0 28096 134 0 0 25 0 1 0 25508613 109019136 24593 4089446400 4194304 10345943 140735148574608 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 26616 24593 786 1502 0 25109 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 106464

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/179 22973
/proc/meminfo: memFree=29243976/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=108948 CPUtime=342.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 130952 0 0 0 34073 157 0 0 25 0 1 0 25508613 111562752 25103 4089446400 4194304 10345943 140735148574608 18446744073709551615 6785389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 27237 25103 797 1502 0 25730 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108948

[startup+402.301 s]
/proc/loadavg: 1.99 1.48 0.69 3/179 22974
/proc/meminfo: memFree=29239092/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=109072 CPUtime=402.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 134152 0 0 0 40051 179 0 0 25 0 1 0 25508613 111689728 25197 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 27268 25197 797 1502 0 25761 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 109072

[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 3/179 22976
/proc/meminfo: memFree=29228636/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=113332 CPUtime=462.31
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 141746 0 0 0 46028 203 0 0 25 0 1 0 25508613 116051968 26441 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 28333 26441 797 1502 0 26826 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 113332

[startup+522.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/179 22977
/proc/meminfo: memFree=29225132/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=116012 CPUtime=522.31
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 145502 0 0 0 52009 222 0 0 25 0 1 0 25508613 118796288 26952 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 29003 26952 797 1502 0 27496 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 116012

[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.92 3/179 22982
/proc/meminfo: memFree=29217868/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=120004 CPUtime=582.3
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 146919 0 0 0 57990 240 0 0 25 0 1 0 25508613 122884096 27657 4089446400 4194304 10345943 140735148574608 18446744073709551615 5086821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 30001 27657 797 1502 0 28494 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 120004

[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.99 3/179 22984
/proc/meminfo: memFree=29214016/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=120928 CPUtime=642.31
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 147509 0 0 0 63970 261 0 0 25 0 1 0 25508613 123830272 28247 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 30232 28247 797 1502 0 28725 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 120928

[startup+702.301 s]

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

/proc/meminfo: memFree=29194784/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=124672 CPUtime=1002.32
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 154166 0 0 0 99844 388 0 0 25 0 1 0 25508613 127664128 29420 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 31168 29420 797 1502 0 29661 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 124672

[startup+1062.3 s]
/proc/loadavg: 2.01 1.94 1.34 3/179 22995
/proc/meminfo: memFree=29187912/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=131536 CPUtime=1062.33
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 157295 0 0 0 105823 410 0 0 25 0 1 0 25508613 134692864 30815 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 32884 30815 797 1502 0 31377 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 131536

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/179 22996
/proc/meminfo: memFree=29181544/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=134948 CPUtime=1122.32
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 160515 0 0 0 111801 431 0 0 25 0 1 0 25508613 138186752 31887 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 33737 31887 797 1502 0 32230 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 134948

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/179 22998
/proc/meminfo: memFree=29179532/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=134252 CPUtime=1182.33
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 165565 0 0 0 117779 454 0 0 25 0 1 0 25508613 137474048 31875 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 33563 31875 797 1502 0 32056 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 134252

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 23000
/proc/meminfo: memFree=29176512/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=138756 CPUtime=1242.33
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 169978 0 0 0 123759 474 0 0 25 0 1 0 25508613 142086144 32548 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 34689 32548 797 1502 0 33182 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 138756

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 23001
/proc/meminfo: memFree=29172512/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=140528 CPUtime=1302.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 171706 0 0 0 129739 495 0 0 25 0 1 0 25508613 143900672 33124 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35132 33124 797 1502 0 33625 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 140528

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 23003
/proc/meminfo: memFree=29170728/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=139236 CPUtime=1362.33
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 172171 0 0 0 135717 516 0 0 25 0 1 0 25508613 142577664 32959 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 34809 32959 797 1502 0 33302 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 139236

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 23004
/proc/meminfo: memFree=29167720/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142388 CPUtime=1422.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174004 0 0 0 141693 541 0 0 25 0 1 0 25508613 145805312 33415 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35597 33415 797 1502 0 34090 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 142388

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 23006
/proc/meminfo: memFree=29166308/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142520 CPUtime=1482.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174107 0 0 0 147671 563 0 0 25 0 1 0 25508613 145940480 33518 4089446400 4194304 10345943 140735148574608 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35630 33518 797 1502 0 34123 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 142520

[startup+1542.3 s]
/proc/loadavg: 2.05 1.99 1.59 3/179 23008
/proc/meminfo: memFree=29165892/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142520 CPUtime=1542.33
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174151 0 0 0 153651 582 0 0 25 0 1 0 25508613 145940480 33562 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35630 33562 797 1502 0 34123 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 142520

[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.62 3/179 23009
/proc/meminfo: memFree=29164740/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142520 CPUtime=1602.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174177 0 0 0 159629 605 0 0 25 0 1 0 25508613 145940480 33588 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35630 33588 797 1502 0 34123 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 142520

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/179 23011
/proc/meminfo: memFree=29162940/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142728 CPUtime=1662.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174195 0 0 0 165606 628 0 0 25 0 1 0 25508613 146153472 33606 4089446400 4194304 10345943 140735148574608 18446744073709551615 6702848 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35682 33606 797 1502 0 34175 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 142728

[startup+1722.3 s]
/proc/loadavg: 2.07 2.00 1.66 3/179 23012
/proc/meminfo: memFree=29162256/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=142728 CPUtime=1722.35
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174293 0 0 0 171582 653 0 0 25 0 1 0 25508613 146153472 33704 4089446400 4194304 10345943 140735148574608 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35682 33704 797 1502 0 34175 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 142728

[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161592/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1782.34
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174325 0 0 0 177559 675 0 0 25 0 1 0 25508613 146436096 33735 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085437 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33735 797 1502 0 34244 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 143004

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161840/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1785.55
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174336 0 0 0 177878 677 0 0 25 0 1 0 25508613 146436096 33746 4089446400 4194304 10345943 140735148574608 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33746 797 1502 0 34244 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 143004

[startup+1788.7 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161716/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1788.75
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174343 0 0 0 178197 678 0 0 25 0 1 0 25508613 146436096 33753 4089446400 4194304 10345943 140735148574608 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33753 797 1502 0 34244 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 143004

[startup+1789.5 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161716/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1789.55
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174344 0 0 0 178277 678 0 0 25 0 1 0 25508613 146436096 33754 4089446400 4194304 10345943 140735148574608 18446744073709551615 6897027 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33754 797 1502 0 34244 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 143004

[startup+1789.9 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161708/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1789.95
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174344 0 0 0 178317 678 0 0 25 0 1 0 25508613 146436096 33754 4089446400 4194304 10345943 140735148574608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33754 797 1502 0 34244 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 143004

[startup+1790.1 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 23014
/proc/meminfo: memFree=29161708/32951124 swapFree=67111528/67111528
[pid=22962] ppid=22960 vsize=143004 CPUtime=1790.15
/proc/22962/stat : 22962 (pbscip.linux.x8) R 22960 22962 22800 0 -1 4202496 174345 0 0 0 178337 678 0 0 18 0 1 0 25508613 146436096 33755 4089446400 4194304 10345943 140735148574608 18446744073709551615 6324968 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22962/statm: 35751 33755 798 1502 0 34244 0
Current children cumulated CPU time (s) 1790.15
Current children cumulated vsize (KiB) 143004

Child status: 0
Real time (s): 1790.13
CPU time (s): 1790.18
CPU user time (s): 1783.39
CPU system time (s): 6.78897
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 143004

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

runsolver used 3.17852 second user time and 6.595 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-08 09:09:17
IDJOB=2705571
IDBENCH=78928
IDSOLVER=1214
FILE ID=node142/2705571-1278572956
PBS_JOBID= 11240170
Free space on /tmp= 73320 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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.1900558739--soft-33-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-2705571-1278572956/watcher-2705571-1278572956 -o /tmp/evaluation-result-2705571-1278572956/solver-2705571-1278572956 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705571-1278572956.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 48958fa57d6f8cd954d04b46fdc5f897
RANDOM SEED=1915077510

node142.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.874
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.74
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.874
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	: 5332.75
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.874
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.874
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.79
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.874
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	: 5311.06
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.874
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.874
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.874
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:      29399056 kB
Buffers:        153076 kB
Cached:        3132664 kB
SwapCached:          0 kB
Active:        1044432 kB
Inactive:      2337752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29399056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25896 kB
Writeback:           0 kB
AnonPages:       96300 kB
Mapped:          17512 kB
Slab:           105468 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   237876 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= 73320 MiB
End job on node142 at 2010-07-08 09:39:07