Trace number 2693064

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.25 1800.28

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
MD5SUM2ef467464a5a95a7940c8f8fcd712c57
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark249.227
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 constraints2707
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
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-2693064-1277930919.wbo>
0.02/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.09/0.12	o 135864
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.358640e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.98
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.358640e+05 |    Inf 
0.39/0.42	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.358640e+05 |    Inf 
5.19/5.26	o 607
5.19/5.26	c * 5.0s|  2859 |  2811 |  1520 |   0.5 |  28M|2601 |   - |5645 |5414 |5645 | 229 | 472 |   0 | 370 | 0.000000e+00 | 6.070000e+02 |    Inf 
16.99/17.01	c  16.5s| 10000 |  9937 |  3788 |   0.4 |  45M|2601 |   0 |5645 |5446 |5645 | 216 |1112 |  32 | 536 | 0.000000e+00 | 6.070000e+02 |    Inf 
33.99/34.01	c  33.1s| 20000 | 19916 |  7402 |   0.4 |  67M|2601 |   0 |5645 |5507 |5645 | 229 |2324 |  93 | 828 | 0.000000e+00 | 6.070000e+02 |    Inf 
35.59/35.65	o 296
35.59/35.65	c *34.7s| 20933 | 16147 |  7924 |   0.4 |  60M|2601 |   - |5645 |5507 |5645 | 257 |2455 |  93 | 855 | 0.000000e+00 | 2.960000e+02 |    Inf 
36.89/36.99	o 220
36.89/36.99	c *36.0s| 21503 | 14191 |  8881 |   0.4 |  56M|2601 |   - |5645 |5647 |5645 | 245 |2744 | 233 | 876 | 0.000000e+00 | 2.200000e+02 |    Inf 
39.69/39.79	o 211
39.69/39.79	c *38.7s| 22368 | 14419 | 11426 |   0.5 |  59M|2601 |   - |5645 |6332 |5645 | 228 |3526 | 918 | 942 | 0.000000e+00 | 2.110000e+02 |    Inf 
39.79/39.80	o 209
39.79/39.80	c *38.7s| 22369 | 14315 | 11426 |   0.5 |  59M|2601 |   - |5645 |6332 |5645 | 228 |3526 | 918 | 942 | 0.000000e+00 | 2.090000e+02 |    Inf 
42.08/42.11	o 201
42.08/42.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.08/42.11	c *41.0s| 22920 | 14358 | 14763 |   0.6 |  61M|2601 |   - |5645 |6704 |5645 | 270 |4527 |1290 |1064 | 0.000000e+00 | 2.010000e+02 |    Inf 
43.09/43.16	o 192
43.09/43.16	c *42.0s| 23186 | 14139 | 16047 |   0.7 |  61M|2601 |   - |5645 |6835 |5645 | 242 |4863 |1421 |1106 | 0.000000e+00 | 1.920000e+02 |    Inf 
43.90/43.91	o 181
43.90/43.91	c *42.7s| 23480 | 13795 | 16474 |   0.7 |  61M|2601 |   - |5645 |6874 |5645 | 239 |4994 |1460 |1128 | 0.000000e+00 | 1.810000e+02 |    Inf 
45.29/45.33	o 180
45.29/45.33	c *44.1s| 23928 | 14044 | 17634 |   0.7 |  63M|2601 |   - |5645 |7378 |5645 | 256 |5261 |1964 |1143 | 0.000000e+00 | 1.800000e+02 |    Inf 
45.29/45.34	o 171
45.29/45.34	c *44.1s| 23929 | 13408 | 17639 |   0.7 |  61M|2601 |   - |5645 |7378 |5645 | 256 |5261 |1964 |1143 | 0.000000e+00 | 1.710000e+02 |    Inf 
45.49/45.56	o 169
45.49/45.56	c *44.3s| 23988 | 13280 | 17808 |   0.7 |  61M|2601 |   - |5645 |7401 |5645 | 252 |5310 |1987 |1146 | 0.000000e+00 | 1.690000e+02 |    Inf 
45.49/45.56	o 159
45.49/45.56	c *44.3s| 23989 | 12324 | 17808 |   0.7 |  59M|2601 |   - |5645 |7401 |5645 | 252 |5310 |1987 |1146 | 0.000000e+00 | 1.590000e+02 |    Inf 
45.99/46.05	o 140
45.99/46.05	c *44.8s| 24210 | 10311 | 17946 |   0.7 |  54M|2601 |   - |5645 |7462 |5645 | 240 |5349 |2048 |1146 | 0.000000e+00 | 1.400000e+02 |    Inf 
46.09/46.13	o 137
46.09/46.13	c *44.9s| 24228 | 10012 | 18093 |   0.7 |  54M|2601 |   - |5645 |7476 |5645 | 247 |5374 |2062 |1147 | 0.000000e+00 | 1.370000e+02 |    Inf 
46.09/46.14	o 134
46.09/46.14	c *44.9s| 24231 |  9704 | 18103 |   0.7 |  53M|2601 |   - |5645 |7476 |5645 | 247 |5374 |2062 |1147 | 0.000000e+00 | 1.340000e+02 |    Inf 
46.09/46.15	o 130
46.09/46.15	c *44.9s| 24232 |  9255 | 18103 |   0.7 |  52M|2601 |   - |5645 |7476 |5645 | 247 |5374 |2062 |1147 | 0.000000e+00 | 1.300000e+02 |    Inf 
48.39/48.44	o 127
48.39/48.44	c *47.1s| 25094 |  9517 | 21084 |   0.8 |  55M|2601 |   - |5645 |7738 |5645 | 192 |6214 |2324 |1269 | 0.000000e+00 | 1.270000e+02 |    Inf 
51.89/51.97	o 120
51.89/51.97	c *50.5s| 26194 |  9228 | 24489 |   0.9 |  57M|2601 |   - |5645 |8249 |5645 | 249 |7164 |2943 |1361 | 0.000000e+00 | 1.200000e+02 |    Inf 
51.89/51.98	o 107
51.89/51.98	c *50.5s| 26195 |  7981 | 24489 |   0.9 |  53M|2601 |   - |5645 |8249 |5645 | 249 |7164 |2943 |1361 | 0.000000e+00 | 1.070000e+02 |    Inf 
52.39/52.45	o 86
52.39/52.45	c *51.0s| 26361 |  5630 | 25003 |   0.9 |  47M|2601 |   - |5645 |8279 |5645 | 243 |7306 |3039 |1374 | 0.000000e+00 | 8.600000e+01 |    Inf 
53.90/53.96	o 84
53.90/53.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.90/53.96	c *52.4s| 26638 |  5524 | 27017 |   1.0 |  49M|2601 |   - |5645 |7939 |5645 | 237 |7878 |3388 |1407 | 0.000000e+00 | 8.400000e+01 |    Inf 
53.99/54.08	o 79
53.99/54.08	c *52.5s| 26661 |  5132 | 27173 |   1.0 |  48M|2601 |   - |5645 |7892 |5645 | 208 |7906 |3399 |1423 | 0.000000e+00 | 7.900000e+01 |    Inf 
53.99/54.09	o 78
53.99/54.09	c *52.6s| 26662 |  5055 | 27173 |   1.0 |  48M|2601 |   - |5645 |7892 |5645 | 208 |7906 |3399 |1423 | 0.000000e+00 | 7.800000e+01 |    Inf 
58.39/58.46	o 76
58.39/58.46	c *56.8s| 27730 |  5254 | 31609 |   1.1 |  51M|2601 |   - |5645 |7574 |5645 | 230 |9218 |4473 |1488 | 0.000000e+00 | 7.600000e+01 |    Inf 
58.39/58.47	o 70
58.39/58.47	c *56.8s| 27731 |  4721 | 31614 |   1.1 |  49M|2601 |   - |5645 |7574 |5645 | 230 |9218 |4473 |1488 | 0.000000e+00 | 7.000000e+01 |    Inf 
60.19/60.22	o 66
60.19/60.22	c *58.5s| 28142 |  4449 | 33477 |   1.2 |  48M|2601 |   - |5645 |6764 |5645 | 248 |9756 |4896 |1505 | 0.000000e+00 | 6.600000e+01 |    Inf 
60.39/60.45	o 61
60.39/60.45	c *58.7s| 28166 |  3737 | 33955 |   1.2 |  43M|2601 |   - |5645 |6446 |5645 | 198 |9900 |4910 |1512 | 0.000000e+00 | 6.100000e+01 |    Inf 
67.89/67.97	c  66.0s| 30000 |  4147 | 46959 |   1.6 |  49M|2601 |   1 |5645 |6351 |5645 | 257 |  13k|6913 |1589 | 0.000000e+00 | 6.100000e+01 |    Inf 
105.19/105.28	c   102s| 40000 |  5819 | 98625 |   2.5 |  70M|2601 |   - |5645 |7317 |   0 |   0 |  28k|  17k|1840 | 0.000000e+00 | 6.100000e+01 |    Inf 
140.59/140.63	c   137s| 50000 |  7125 |139033 |   2.8 |  86M|2601 |   0 |5645 |7708 |5645 | 267 |  39k|  29k|2195 | 0.000000e+00 | 6.100000e+01 |    Inf 
145.09/145.19	o 60
145.09/145.19	c * 141s| 51203 |  7088 |145182 |   2.8 |  87M|2601 |   - |5645 |7530 |5645 | 271 |  41k|  30k|2223 | 0.000000e+00 | 6.000000e+01 |    Inf 
146.20/146.27	o 38
146.20/146.27	c * 142s| 51505 |  5432 |146197 |   2.8 |  79M|2601 |   - |5645 |7312 |5645 | 232 |  41k|  30k|2238 | 0.000000e+00 | 3.800000e+01 |    Inf 
147.70/147.70	o 35
147.70/147.70	c * 143s| 52010 |  5228 |148642 |   2.9 |  78M|2601 |   - |5645 |6748 |5645 | 255 |  41k|  31k|2272 | 0.000000e+00 | 3.500000e+01 |    Inf 
169.19/169.28	c   164s| 60000 |  5212 |179255 |   3.0 |  83M|2601 |   1 |5645 |6661 |5645 | 209 |  48k|  41k|2509 | 0.000000e+00 | 3.500000e+01 |    Inf 
183.09/183.16	o 27
183.09/183.16	c * 177s| 65394 |  4646 |197126 |   3.0 |  78M|2601 |   - |5645 |7828 |5645 | 273 |  52k|  48k|2611 | 0.000000e+00 | 2.700000e+01 |    Inf 
194.49/194.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
194.49/194.52	c   188s| 70000 |  4567 |211548 |   3.0 |  80M|2601 |   - |5645 |7036 |   0 |   0 |  54k|  55k|2713 | 0.000000e+00 | 2.700000e+01 |    Inf 
194.59/194.65	o 21
194.59/194.65	c * 188s| 70033 |  3995 |211753 |   3.0 |  73M|2601 |   - |5645 |7024 |5645 | 240 |  54k|  55k|2713 | 0.000000e+00 | 2.100000e+01 |    Inf 
195.39/195.45	o 20
195.39/195.45	c * 189s| 70304 |  3899 |213214 |   3.0 |  72M|2601 |   - |5645 |6106 |5645 | 256 |  55k|  55k|2720 | 0.000000e+00 | 2.000000e+01 |    Inf 
216.70/216.79	c   210s| 80000 |  4243 |250452 |   3.1 |  78M|2601 |  12 |5645 |7784 |5645 | 211 |  62k|  68k|2940 | 0.000000e+00 | 2.000000e+01 |    Inf 
238.99/239.04	c   231s| 90000 |  4531 |289371 |   3.2 |  83M|2601 |   - |5645 |9699 |   0 |   0 |  69k|  82k|3109 | 0.000000e+00 | 2.000000e+01 |    Inf 
262.39/262.47	c   254s|100000 |  4754 |326924 |   3.3 |  88M|2601 |   7 |5645 |  10k|5645 | 217 |  77k|  95k|3294 | 0.000000e+00 | 2.000000e+01 |    Inf 
281.09/281.12	o 14
281.09/281.12	c * 272s|108148 |  4395 |359535 |   3.3 |  83M|2601 |   - |5645 |  11k|5645 | 214 |  82k| 106k|3441 | 0.000000e+00 | 1.400000e+01 |    Inf 
281.09/281.13	o 12
281.09/281.13	c * 272s|108149 |  4230 |359535 |   3.3 |  81M|2601 |   - |5645 |  11k|5645 | 214 |  82k| 106k|3441 | 0.000000e+00 | 1.200000e+01 |    Inf 
284.99/285.08	c   276s|110000 |  4242 |366096 |   3.3 |  81M|2601 |   - |5645 |  10k|   0 |   0 |  83k| 109k|3459 | 0.000000e+00 | 1.200000e+01 |    Inf 
288.38/288.48	o 10
288.38/288.48	c * 279s|111614 |  4108 |371474 |   3.3 |  79M|2601 |   - |5645 |9499 |5645 | 188 |  84k| 111k|3497 | 0.000000e+00 | 1.000000e+01 |    Inf 
301.79/301.80	o 9
301.79/301.80	c * 291s|117723 |  4141 |398777 |   3.4 |  80M|2601 |   - |5645 |9825 |5645 | 270 |  88k| 119k|3611 | 0.000000e+00 | 9.000000e+00 |    Inf 
301.99/302.04	o 8
301.99/302.04	c * 292s|117830 |  4064 |399137 |   3.4 |  79M|2601 |   - |5645 |9522 |5645 | 270 |  89k| 119k|3611 | 0.000000e+00 | 8.000000e+00 |    Inf 
302.29/302.32	o 2
302.29/302.32	c * 292s|117950 |  3098 |399676 |   3.4 |  66M|2601 |   - |5645 |9255 |5645 | 279 |  89k| 119k|3614 | 0.000000e+00 | 2.000000e+00 |    Inf 
306.19/306.24	c   296s|120000 |  3118 |406245 |   3.4 |  66M|2601 |  15 |5645 |8826 |5645 | 252 |  90k| 122k|3622 | 0.000000e+00 | 2.000000e+00 |    Inf 
325.59/325.62	c   314s|130000 |  3023 |442047 |   3.4 |  67M|2601 |   - |5645 |9893 |   0 |   0 |  94k| 136k|3773 | 0.000000e+00 | 2.000000e+00 |    Inf 
345.79/345.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
345.79/345.84	c   334s|140000 |  3026 |481947 |   3.4 |  69M|2601 |   1 |5645 |  12k|5645 | 215 |  98k| 150k|3915 | 0.000000e+00 | 2.000000e+00 |    Inf 
365.89/365.94	c   353s|150000 |  2947 |520755 |   3.5 |  69M|2601 |   1 |5645 |7087 |5645 | 174 | 103k| 164k|4162 | 0.000000e+00 | 2.000000e+00 |    Inf 
369.68/369.72	o 1
369.68/369.72	c * 357s|152238 |  2735 |527648 |   3.5 |  66M|2601 |   - |5645 |8143 |5645 | 217 | 104k| 167k|4168 | 0.000000e+00 | 1.000000e-00 |    Inf 
384.08/384.19	c   370s|160000 |  2654 |555052 |   3.5 |  66M|2601 |   - |5645 |7645 |   0 |   0 | 107k| 177k|4368 | 0.000000e+00 | 1.000000e-00 |    Inf 
402.38/402.40	c   388s|170000 |  2879 |588359 |   3.5 |  69M|2601 |   1 |5645 |  11k|5645 | 197 | 112k| 190k|4441 | 0.000000e+00 | 1.000000e-00 |    Inf 
421.49/421.56	c   406s|180000 |  3065 |618781 |   3.4 |  72M|2601 |  25 |5645 |  13k|5645 | 225 | 116k| 204k|4503 | 0.000000e+00 | 1.000000e-00 |    Inf 
441.38/441.49	c   426s|190000 |  3154 |650430 |   3.4 |  73M|2601 |   - |5645 |  13k|   0 |   0 | 120k| 218k|4610 | 0.000000e+00 | 1.000000e-00 |    Inf 
461.38/461.44	c   445s|200000 |  3193 |683545 |   3.4 |  75M|2601 |   1 |5645 |  14k|5645 | 218 | 124k| 233k|4686 | 0.000000e+00 | 1.000000e-00 |    Inf 
481.38/481.44	c   464s|210000 |  3082 |714488 |   3.4 |  74M|2601 |   - |5645 |  11k|   0 |   0 | 128k| 247k|4855 | 0.000000e+00 | 1.000000e-00 |    Inf 
500.78/500.84	c   483s|220000 |  3183 |745807 |   3.4 |  78M|2601 |   1 |5645 |  17k|5645 | 238 | 133k| 263k|4920 | 0.000000e+00 | 1.000000e-00 |    Inf 
520.99/521.05	c   502s|230000 |  3101 |780094 |   3.4 |  76M|2601 |   - |5645 |  13k|   0 |   0 | 137k| 277k|5047 | 0.000000e+00 | 1.000000e-00 |    Inf 
541.89/541.97	c   523s|240000 |  3082 |814977 |   3.4 |  76M|2601 |   1 |5645 |  12k|5645 | 240 | 141k| 290k|5218 | 0.000000e+00 | 1.000000e-00 |    Inf 
561.68/561.76	c   542s|250000 |  3003 |848440 |   3.4 |  75M|2601 |  16 |5645 |  12k|5645 | 232 | 145k| 305k|5293 | 0.000000e+00 | 1.000000e-00 |    Inf 
581.39/581.41	c   561s|260000 |  2989 |882397 |   3.4 |  75M|2601 |   - |5645 |  12k|   0 |   0 | 149k| 317k|5455 | 0.000000e+00 | 1.000000e-00 |    Inf 
601.08/601.15	c   580s|270000 |  3033 |913487 |   3.4 |  77M|2601 |   1 |5645 |  14k|5645 | 205 | 151k| 331k|5540 | 0.000000e+00 | 1.000000e-00 |    Inf 
622.89/622.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
622.89/622.90	c   601s|280000 |  3204 |952202 |   3.4 |  79M|2601 |  11 |5645 |  15k|5645 | 213 | 156k| 345k|5609 | 0.000000e+00 | 1.000000e-00 |    Inf 
644.99/645.08	c   622s|290000 |  3215 |988597 |   3.4 |  80M|2601 |  16 |5645 |  15k|5645 | 246 | 160k| 360k|5727 | 0.000000e+00 | 1.000000e-00 |    Inf 
667.78/667.87	c   644s|300000 |  3183 |  1024k|   3.4 |  80M|2601 |   - |5645 |  17k|   0 |   0 | 163k| 373k|5796 | 0.000000e+00 | 1.000000e-00 |    Inf 
689.38/689.41	c   665s|310000 |  3250 |  1058k|   3.4 |  81M|2601 |  10 |5645 |  16k|5645 | 237 | 167k| 387k|5867 | 0.000000e+00 | 1.000000e-00 |    Inf 
709.58/709.63	c   684s|320000 |  3242 |  1093k|   3.4 |  81M|2601 |   1 |5645 |  15k|5645 | 238 | 171k| 401k|5946 | 0.000000e+00 | 1.000000e-00 |    Inf 
730.30/730.40	c   705s|330000 |  3193 |  1128k|   3.4 |  80M|2601 |   - |5645 |  14k|   0 |   0 | 173k| 415k|6032 | 0.000000e+00 | 1.000000e-00 |    Inf 
750.38/750.47	c   724s|340000 |  3158 |  1160k|   3.4 |  81M|2601 |  18 |5645 |  17k|5645 | 218 | 177k| 428k|6101 | 0.000000e+00 | 1.000000e-00 |    Inf 
770.58/770.64	c   743s|350000 |  3076 |  1195k|   3.4 |  80M|2601 |   - |5645 |  15k|   0 |   0 | 180k| 441k|6182 | 0.000000e+00 | 1.000000e-00 |    Inf 
790.89/790.98	c   763s|360000 |  2955 |  1229k|   3.4 |  78M|2601 |   - |5645 |  14k|   0 |   0 | 184k| 455k|6416 | 0.000000e+00 | 1.000000e-00 |    Inf 
811.79/811.80	c   783s|370000 |  2974 |  1291k|   3.5 |  79M|2601 |   - |5645 |  15k|   0 |   0 | 193k| 468k|6598 | 0.000000e+00 | 1.000000e-00 |    Inf 
832.65/832.73	c   803s|380000 |  2839 |  1341k|   3.5 |  76M|2601 |   1 |5645 |  11k|5645 | 202 | 200k| 482k|6707 | 0.000000e+00 | 1.000000e-00 |    Inf 
852.63/852.76	c   823s|390000 |  2898 |  1383k|   3.5 |  78M|2601 |   - |5645 |  14k|   0 |   0 | 206k| 495k|6777 | 0.000000e+00 | 1.000000e-00 |    Inf 
873.02/873.13	c   842s|400000 |  2862 |  1422k|   3.6 |  78M|2601 |  14 |5645 |  15k|5645 | 236 | 210k| 509k|6854 | 0.000000e+00 | 1.000000e-00 |    Inf 
893.03/893.12	c   862s|410000 |  2792 |  1459k|   3.6 |  78M|2601 |   1 |5645 |  16k|5645 | 221 | 215k| 523k|6954 | 0.000000e+00 | 1.000000e-00 |    Inf 
914.13/914.22	c   882s|420000 |  2817 |  1498k|   3.6 |  79M|2601 |   9 |5645 |  16k|5645 | 235 | 219k| 537k|7018 | 0.000000e+00 | 1.000000e-00 |    Inf 
933.93/934.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
933.93/934.09	c   901s|430000 |  2795 |  1536k|   3.6 |  80M|2601 |   1 |5645 |  20k|5645 | 226 | 223k| 552k|7095 | 0.000000e+00 | 1.000000e-00 |    Inf 
955.92/956.01	c   922s|440000 |  2782 |  1576k|   3.6 |  79M|2601 |   - |5645 |  19k|   0 |   0 | 227k| 566k|7187 | 0.000000e+00 | 1.000000e-00 |    Inf 
979.03/979.16	c   945s|450000 |  2980 |  1621k|   3.6 |  82M|2601 |   - |5645 |  21k|   0 |   0 | 235k| 579k|7261 | 0.000000e+00 | 1.000000e-00 |    Inf 
1001.63/1001.74	c   966s|460000 |  3077 |  1659k|   3.6 |  84M|2601 |  14 |5645 |  22k|5645 | 199 | 242k| 593k|7329 | 0.000000e+00 | 1.000000e-00 |    Inf 
1024.13/1024.29	c   988s|470000 |  3108 |  1696k|   3.6 |  85M|2601 |   1 |5645 |  22k|5645 | 235 | 248k| 607k|7393 | 0.000000e+00 | 1.000000e-00 |    Inf 
1045.84/1045.99	c  1009s|480000 |  3313 |  1734k|   3.6 |  87M|2601 |   - |5645 |  25k|   0 |   0 | 253k| 621k|7460 | 0.000000e+00 | 1.000000e-00 |    Inf 
1067.53/1067.62	c  1030s|490000 |  3431 |  1768k|   3.6 |  89M|2601 |   - |5645 |  25k|   0 |   0 | 258k| 635k|7512 | 0.000000e+00 | 1.000000e-00 |    Inf 
1089.53/1089.62	c  1051s|500000 |  3511 |  1809k|   3.6 |  90M|2601 |   1 |5645 |  25k|5645 | 239 | 262k| 649k|7589 | 0.000000e+00 | 1.000000e-00 |    Inf 
1112.04/1112.12	c  1073s|510000 |  3473 |  1854k|   3.6 |  91M|2601 |   - |5645 |  25k|   0 |   0 | 266k| 664k|7661 | 0.000000e+00 | 1.000000e-00 |    Inf 
1134.64/1134.79	c  1095s|520000 |  3459 |  1893k|   3.6 |  91M|2601 |   1 |5645 |  24k|5645 | 207 | 270k| 679k|7723 | 0.000000e+00 | 1.000000e-00 |    Inf 
1156.83/1156.99	c  1117s|530000 |  3438 |  1928k|   3.6 |  91M|2601 |   1 |5645 |  25k|5645 | 211 | 274k| 694k|7788 | 0.000000e+00 | 1.000000e-00 |    Inf 
1178.33/1178.47	c  1137s|540000 |  3407 |  1961k|   3.6 |  91M|2601 |   6 |5645 |  24k|5645 | 208 | 277k| 709k|7820 | 0.000000e+00 | 1.000000e-00 |    Inf 
1200.43/1200.50	c  1159s|550000 |  3428 |  1995k|   3.6 |  91M|2601 |   - |5645 |  23k|   0 |   0 | 280k| 725k|7863 | 0.000000e+00 | 1.000000e-00 |    Inf 
1222.54/1222.67	c  1180s|560000 |  3469 |  2032k|   3.6 |  91M|2601 |   - |5645 |  24k|   0 |   0 | 286k| 739k|7921 | 0.000000e+00 | 1.000000e-00 |    Inf 
1246.43/1246.53	c  1203s|570000 |  3585 |  2074k|   3.6 |  93M|2601 |   - |5645 |  24k|   0 |   0 | 294k| 754k|7988 | 0.000000e+00 | 1.000000e-00 |    Inf 
1269.94/1270.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1269.94/1270.06	c  1226s|580000 |  3633 |  2110k|   3.6 |  94M|2601 |  22 |5645 |  24k|5645 | 221 | 298k| 768k|8063 | 0.000000e+00 | 1.000000e-00 |    Inf 
1292.64/1292.76	c  1248s|590000 |  3799 |  2148k|   3.6 |  97M|2601 |   8 |5645 |  27k|5645 | 224 | 303k| 783k|8133 | 0.000000e+00 | 1.000000e-00 |    Inf 
1314.84/1314.92	c  1269s|600000 |  3782 |  2182k|   3.6 |  97M|2601 |   - |5645 |  25k|   0 |   0 | 307k| 799k|8181 | 0.000000e+00 | 1.000000e-00 |    Inf 
1337.64/1337.75	c  1291s|610000 |  3740 |  2218k|   3.6 |  97M|2601 |   1 |5645 |  24k|5645 | 207 | 311k| 815k|8223 | 0.000000e+00 | 1.000000e-00 |    Inf 
1360.65/1360.75	c  1314s|620000 |  3663 |  2257k|   3.6 |  96M|2601 |   1 |5645 |  25k|5645 | 235 | 315k| 829k|8264 | 0.000000e+00 | 1.000000e-00 |    Inf 
1383.24/1383.34	c  1335s|630000 |  3577 |  2292k|   3.6 |  96M|2601 |   - |5645 |  27k|   0 |   0 | 319k| 844k|8330 | 0.000000e+00 | 1.000000e-00 |    Inf 
1407.44/1407.58	c  1359s|640000 |  3605 |  2329k|   3.6 |  97M|2601 |  11 |5645 |  28k|5645 | 262 | 322k| 860k|8392 | 0.000000e+00 | 1.000000e-00 |    Inf 
1430.55/1430.67	c  1381s|650000 |  3596 |  2366k|   3.6 |  96M|2601 |   1 |5645 |  26k|5645 | 242 | 325k| 875k|8453 | 0.000000e+00 | 1.000000e-00 |    Inf 
1454.24/1454.34	c  1404s|660000 |  3540 |  2402k|   3.6 |  95M|2601 |   1 |5645 |  25k|5645 | 219 | 329k| 891k|8487 | 0.000000e+00 | 1.000000e-00 |    Inf 
1477.35/1477.40	c  1427s|670000 |  3487 |  2440k|   3.6 |  95M|2601 |   1 |5645 |  25k|5645 | 244 | 333k| 906k|8533 | 0.000000e+00 | 1.000000e-00 |    Inf 
1499.54/1499.64	c  1448s|680000 |  3423 |  2477k|   3.6 |  95M|2601 |   8 |5645 |  26k|5645 | 243 | 336k| 921k|8600 | 0.000000e+00 | 1.000000e-00 |    Inf 
1521.65/1521.75	c  1469s|690000 |  3351 |  2516k|   3.6 |  94M|2601 |  14 |5645 |  27k|5645 | 255 | 340k| 937k|8662 | 0.000000e+00 | 1.000000e-00 |    Inf 
1543.65/1543.75	c  1491s|700000 |  3270 |  2555k|   3.7 |  92M|2601 |   8 |5645 |  24k|5645 | 218 | 344k| 952k|8719 | 0.000000e+00 | 1.000000e-00 |    Inf 
1565.95/1566.09	c  1512s|710000 |  3206 |  2593k|   3.7 |  91M|2601 |   - |5645 |  24k|   0 |   0 | 348k| 967k|8754 | 0.000000e+00 | 1.000000e-00 |    Inf 
1586.94/1587.06	c  1533s|720000 |  3195 |  2628k|   3.7 |  92M|2601 |  20 |5645 |  24k|5645 | 222 | 351k| 983k|8795 | 0.000000e+00 | 1.000000e-00 |    Inf 
1609.16/1609.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1609.16/1609.29	c  1554s|730000 |  3112 |  2666k|   3.7 |  91M|2601 |   - |5645 |  25k|   0 |   0 | 355k| 998k|8857 | 0.000000e+00 | 1.000000e-00 |    Inf 
1630.85/1630.91	c  1575s|740000 |  3133 |  2699k|   3.6 |  92M|2601 |   - |5645 |  27k|   0 |   0 | 359k|1014k|8910 | 0.000000e+00 | 1.000000e-00 |    Inf 
1652.16/1652.26	c  1596s|750000 |  3121 |  2732k|   3.6 |  92M|2601 |   1 |5645 |  28k|5645 | 242 | 362k|1030k|8933 | 0.000000e+00 | 1.000000e-00 |    Inf 
1674.85/1674.93	c  1617s|760000 |  3082 |  2771k|   3.6 |  92M|2601 |  26 |5645 |  27k|5645 | 283 | 366k|1046k|8985 | 0.000000e+00 | 1.000000e-00 |    Inf 
1697.95/1698.02	c  1640s|770000 |  3043 |  2811k|   3.7 |  89M|2601 |   - |5645 |  22k|   0 |   0 | 371k|1061k|9067 | 0.000000e+00 | 1.000000e-00 |    Inf 
1722.66/1722.79	c  1664s|780000 |  3113 |  2857k|   3.7 |  91M|2601 |   - |5645 |  26k|   0 |   0 | 377k|1076k|9109 | 0.000000e+00 | 1.000000e-00 |    Inf 
1746.95/1747.03	c  1687s|790000 |  3030 |  2900k|   3.7 |  90M|2601 |   - |5645 |  25k|   0 |   0 | 382k|1091k|9148 | 0.000000e+00 | 1.000000e-00 |    Inf 
1769.45/1769.50	c  1709s|800000 |  2996 |  2937k|   3.7 |  89M|2601 |  23 |5645 |  25k|5645 | 237 | 386k|1106k|9195 | 0.000000e+00 | 1.000000e-00 |    Inf 
1791.45/1791.58	c  1730s|810000 |  2973 |  2974k|   3.7 |  89M|2601 |   - |5645 |  24k|   0 |   0 | 390k|1121k|9262 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.06/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.10	c 
1800.06/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.10	c Solving Time (sec) : 1738.65
1800.06/1800.10	c Solving Nodes      : 813840
1800.06/1800.10	c Primal Bound       : +1.00000000000000e-00 (277 solutions)
1800.06/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.10	c Gap                : infinite
1800.06/1800.16	s SATISFIABLE
1800.06/1800.16	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 
1800.06/1800.16	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 
1800.06/1800.16	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
1800.06/1800.16	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 
1800.06/1800.16	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.06/1800.16	v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.06/1800.16	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.06/1800.16	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.06/1800.16	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.06/1800.16	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.06/1800.16	v -x1 
1800.06/1800.16	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.16	c Solving Time       :    1738.65
1800.06/1800.16	c Original Problem   :
1800.06/1800.16	c   Problem name     : HOME/instance-2693064-1277930919.wbo
1800.06/1800.16	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.16	c   Constraints      : 5415 initial, 5415 maximal
1800.06/1800.16	c Presolved Problem  :
1800.06/1800.16	c   Problem name     : t_HOME/instance-2693064-1277930919.wbo
1800.06/1800.16	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.16	c   Constraints      : 5414 initial, 29060 maximal
1800.06/1800.16	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.16	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.16	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.06/1800.16	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.16	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.06/1800.16	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.16	c   integral         :          0          0          0     494052          0         13        552          0          0     846872
1800.06/1800.16	c   indicator        :       2707          0     818869      43335          0        421    4460505          0          0          0
1800.06/1800.16	c   linear           :       2707          6    4778464      70143          0     321527   18768822     391951          0          0
1800.06/1800.16	c   logicor          :          0+         0    1337453          0          0      80180    1902868          0          0          0
1800.06/1800.16	c   bounddisjunction :          0+         0       8643          0          0          0         58          0          0          0
1800.06/1800.16	c   countsols        :          0          0          0      29338          0          0          0          0          0          0
1800.06/1800.16	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.16	c   integral         :      15.06       0.00       0.00      15.06       0.00
1800.06/1800.16	c   indicator        :      21.22       0.00      12.87       8.35       0.00
1800.06/1800.16	c   linear           :     250.65       0.00     242.63       8.02       0.00
1800.06/1800.16	c   logicor          :     246.09       0.00     246.09       0.00       0.00
1800.06/1800.16	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.06/1800.16	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.16	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.16	c   vbounds          :       0.02          2          0          0
1800.06/1800.16	c   rootredcost      :       0.03         40          0       2707
1800.06/1800.16	c   pseudoobj        :     227.22    4788438       9539    3145865
1800.06/1800.16	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.16	c   propagation      :      31.19     411246     411230    2642529       36.8      21514       25.0          -
1800.06/1800.16	c   infeasible LP    :       2.65       6240       6240      51262       46.0         84       20.8          0
1800.06/1800.16	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.16	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.16	c   pseudo solution  :       0.06        210        210        851       12.3        102        5.4          -
1800.06/1800.16	c   applied globally :          -          -          -    1127313       27.4          -          -          -
1800.06/1800.16	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.16	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.16	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.06/1800.16	c   redcost          :      36.19     497115          0    1253281          0          0
1800.06/1800.16	c   impliedbounds    :       0.00          4          0          0          0          0
1800.06/1800.16	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.16	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.16	c   gomory           :       0.01          4          0          0         75          0
1800.06/1800.16	c   strongcg         :       0.00          4          0          0          0          0
1800.06/1800.16	c   cmir             :       0.01          4          0          0          1          0
1800.06/1800.16	c   flowcover        :       0.02          4          0          0          2          0
1800.06/1800.16	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.16	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.16	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.16	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.16	c Pricers            :       Time      Calls       Vars
1800.06/1800.16	c   problem variables:       0.00          0          0
1800.06/1800.16	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.16	c   relpscost        :      14.93     423893         13        552          0          0     846872
1800.06/1800.16	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.16	c   inference        :       6.40      29298          0          0          0          0      58596
1800.06/1800.16	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.16	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.16	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.16	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.16	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.16	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.16	c   LP solutions     :       0.11          -         40
1800.06/1800.16	c   pseudo solutions :       0.00          -          0
1800.06/1800.16	c   feaspump         :       0.00          0          0
1800.06/1800.16	c   oneopt           :       0.20         32          0
1800.06/1800.16	c   intshifting      :       0.02          4          0
1800.06/1800.16	c   guideddiving     :       0.11         48          0
1800.06/1800.16	c   pscostdiving     :       0.08         55          0
1800.06/1800.16	c   fracdiving       :       0.08         55          0
1800.06/1800.16	c   coefdiving       :       0.06         55          0
1800.06/1800.16	c   veclendiving     :       0.08         55          0
1800.06/1800.16	c   linesearchdiving :       0.09         55          0
1800.06/1800.16	c   objpscostdiving  :       0.12         54          0
1800.06/1800.16	c   rootsoldiving    :       0.10         54          0
1800.06/1800.16	c   crossover        :       1.24         41          4
1800.06/1800.16	c   trivial          :       0.08          2          2
1800.06/1800.16	c   simplerounding   :       0.53     424984          0
1800.06/1800.16	c   zirounding       :       0.33       1000          0
1800.06/1800.16	c   rounding         :       2.73       9205          0
1800.06/1800.16	c   shifting         :       1.48       2858          0
1800.06/1800.16	c   twoopt           :       0.00          0          0
1800.06/1800.16	c   fixandinfer      :       0.00          0          0
1800.06/1800.16	c   intdiving        :       0.00          0          0
1800.06/1800.16	c   actconsdiving    :       0.00          0          0
1800.06/1800.16	c   octane           :       0.00          0          0
1800.06/1800.16	c   rens             :       0.03          1          0
1800.06/1800.16	c   rins             :       0.00          0          0
1800.06/1800.16	c   localbranching   :       0.00          0          0
1800.06/1800.16	c   mutation         :       0.00          0          0
1800.06/1800.16	c   dins             :       0.00          0          0
1800.06/1800.16	c   undercover       :       0.00          0          0
1800.06/1800.16	c   nlp              :       0.00          0          0
1800.06/1800.16	c   trysol           :       2.01       3393        231
1800.06/1800.16	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.16	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.16	c   dual LP          :     433.35     474260    2987510       6.30    6893.99
1800.06/1800.16	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.16	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.16	c   diving/probing LP:       0.14         49       1056      21.55    7542.86
1800.06/1800.16	c   strong branching :      11.32       9263     101974      11.01    9008.30
1800.06/1800.16	c     (at root node) :          -         33       1884      57.09          -
1800.06/1800.16	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.16	c B&B Tree           :
1800.06/1800.16	c   number of runs   :          1
1800.06/1800.16	c   nodes            :     813840
1800.06/1800.16	c   nodes (total)    :     813840
1800.06/1800.16	c   nodes left       :       2945
1800.06/1800.16	c   max depth        :       2601
1800.06/1800.16	c   max depth (total):       2601
1800.06/1800.17	c   backtracks       :      63161 (7.8%)
1800.06/1800.17	c   delayed cutoffs  :      60881
1800.06/1800.17	c   repropagations   :    2650054 (4174438 domain reductions, 57027 cutoffs)
1800.06/1800.17	c   avg switch length:       7.90
1800.06/1800.17	c   switching time   :     254.12
1800.06/1800.17	c Solution           :
1800.06/1800.17	c   Solutions found  :        277 (41 improvements)
1800.06/1800.17	c   First Solution   : +1.35864000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.17	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 152238 nodes, 356.50 seconds, depth 38, found by <relaxation>)
1800.06/1800.17	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.17	c   Gap              :   infinite
1800.06/1800.17	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.17	c   Root Iterations  :        183
1800.16/1800.28	c Time complete: 1800.24.

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-2693064-1277930919/watcher-2693064-1277930919 -o /tmp/evaluation-result-2693064-1277930919/solver-2693064-1277930919 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693064-1277930919.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.57 2.28 2.12 4/199 28707
/proc/meminfo: memFree=31167312/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=11304 CPUtime=0
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1712 0 0 0 0 0 0 0 25 0 1 0 168694996 11575296 1632 4089446400 4194304 9819077 140733641756720 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28707/statm: 2826 1648 392 1374 0 1447 0

[startup+0.033521 s]
/proc/loadavg: 2.57 2.28 2.12 4/199 28707
/proc/meminfo: memFree=31167312/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=20144 CPUtime=0.02
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3979 0 0 0 2 0 0 0 25 0 1 0 168694996 20627456 3899 4089446400 4194304 9819077 140733641756720 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28707/statm: 5036 3899 392 1374 0 3657 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20144

[startup+0.100509 s]
/proc/loadavg: 2.57 2.28 2.12 4/199 28707
/proc/meminfo: memFree=31167312/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=36400 CPUtime=0.09
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 8123 0 0 0 8 1 0 0 25 0 1 0 168694996 37273600 7689 4089446400 4194304 9819077 140733641756720 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28707/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.300472 s]
/proc/loadavg: 2.57 2.28 2.12 4/199 28707
/proc/meminfo: memFree=31167312/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=45860 CPUtime=0.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 10869 0 0 0 26 3 0 0 25 0 1 0 168694996 46960640 9851 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28707/statm: 11465 9851 672 1374 0 10086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45860

[startup+0.700397 s]
/proc/loadavg: 2.57 2.28 2.12 4/199 28707
/proc/meminfo: memFree=31167312/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=47400 CPUtime=0.69
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 27351 0 0 0 63 6 0 0 25 0 1 0 168694996 48537600 9997 4089446400 4194304 9819077 140733641756720 18446744073709551615 6567608 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 11635 9992 698 1374 0 10256 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47400

[startup+1.50025 s]
/proc/loadavg: 2.57 2.28 2.12 4/200 28708
/proc/meminfo: memFree=31127996/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=47848 CPUtime=1.49
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 40777 0 0 0 139 10 0 0 25 0 1 0 168694996 48996352 10356 4089446400 4194304 9819077 140733641756720 18446744073709551615 7816004 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 11962 10356 699 1374 0 10583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47848

[startup+3.10095 s]
/proc/loadavg: 2.57 2.28 2.12 4/200 28708
/proc/meminfo: memFree=31125640/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=51868 CPUtime=3.09
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 52294 0 0 0 295 14 0 0 25 0 1 0 168694996 53112832 11124 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 12967 11124 700 1374 0 11588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51868

[startup+6.30035 s]
/proc/loadavg: 2.61 2.29 2.13 4/200 28708
/proc/meminfo: memFree=31117896/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=58456 CPUtime=6.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 70477 0 0 0 606 23 0 0 25 0 1 0 168694996 59858944 12900 4089446400 4194304 9819077 140733641756720 18446744073709551615 4643166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 14614 12900 700 1374 0 13235 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58456

[startup+12.7011 s]
/proc/loadavg: 2.64 2.30 2.13 4/200 28708
/proc/meminfo: memFree=31106640/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=68984 CPUtime=12.69
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 91372 0 0 0 1227 42 0 0 25 0 1 0 168694996 70639616 15844 4089446400 4194304 9819077 140733641756720 18446744073709551615 6669946 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 17246 15844 704 1374 0 15867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68984

[startup+25.5007 s]
/proc/loadavg: 2.72 2.33 2.15 4/200 28709
/proc/meminfo: memFree=31088588/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=86188 CPUtime=25.48
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 105364 0 0 0 2476 72 0 0 25 0 1 0 168694996 88256512 19900 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 21547 19900 704 1374 0 20168 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86188

[startup+51.1009 s]
/proc/loadavg: 2.81 2.39 2.17 4/200 28709
/proc/meminfo: memFree=31042792/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=128940 CPUtime=51.09
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 211974 0 0 0 4968 141 0 0 25 0 1 0 168694996 132034560 30400 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 32235 30400 705 1374 0 30856 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 128940

[startup+102.306 s]
/proc/loadavg: 2.78 2.45 2.20 4/200 28711
/proc/meminfo: memFree=30948744/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=213376 CPUtime=102.3
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 362315 0 0 0 9936 294 0 0 25 0 1 0 168694996 218497024 50896 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 53344 50896 711 1374 0 51965 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 213376

[startup+162.301 s]
/proc/loadavg: 2.94 2.56 2.25 4/200 28712
/proc/meminfo: memFree=30884708/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=272036 CPUtime=162.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 520827 0 0 0 15738 491 0 0 25 0 1 0 168694996 278564864 64414 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 68009 64414 717 1374 0 66630 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 272036

[startup+222.301 s]
/proc/loadavg: 2.98 2.64 2.29 4/200 28714
/proc/meminfo: memFree=30854120/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=296852 CPUtime=222.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 662335 0 0 0 21511 718 0 0 25 0 1 0 168694996 303976448 70045 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 74213 70045 717 1374 0 72834 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 296852

[startup+282.3 s]
/proc/loadavg: 2.99 2.70 2.33 4/200 28715
/proc/meminfo: memFree=30836068/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=310964 CPUtime=282.3
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 787046 0 0 0 27286 944 0 0 25 0 1 0 168694996 318427136 73291 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 77741 73291 717 1374 0 76362 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 310964

[startup+342.301 s]
/proc/loadavg: 2.99 2.75 2.37 6/200 28717
/proc/meminfo: memFree=30824452/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=313652 CPUtime=342.28
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 971229 0 0 0 33028 1200 0 0 25 0 1 0 168694996 321179648 73862 4089446400 4194304 9819077 140733641756720 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28707/statm: 78413 73862 717 1374 0 77034 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 313652

[startup+402.301 s]
/proc/loadavg: 2.96 2.78 2.40 4/200 28719
/proc/meminfo: memFree=30810264/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=315544 CPUtime=402.28
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1148142 0 0 0 38779 1449 0 0 25 0 1 0 168694996 323117056 74376 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 78886 74376 740 1374 0 77507 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 315544

[startup+462.3 s]
/proc/loadavg: 3.00 2.82 2.44 4/200 28720
/proc/meminfo: memFree=30799176/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=319592 CPUtime=462.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1267688 0 0 0 44562 1667 0 0 25 0 1 0 168694996 327262208 75315 4089446400 4194304 9819077 140733641756720 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 79898 75315 740 1374 0 78519 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 319592

[startup+522.301 s]
/proc/loadavg: 2.85 2.79 2.45 4/200 28722
/proc/meminfo: memFree=30791168/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=322368 CPUtime=522.28
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1393006 0 0 0 50356 1872 0 0 25 0 1 0 168694996 330104832 76042 4089446400 4194304 9819077 140733641756720 18446744073709551615 4210351 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 80592 76042 740 1374 0 79213 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 322368

[startup+582.301 s]
/proc/loadavg: 2.81 2.79 2.47 4/200 28723
/proc/meminfo: memFree=30785776/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=323028 CPUtime=582.28
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1501564 0 0 0 56144 2084 0 0 25 0 1 0 168694996 330780672 76208 4089446400 4194304 9819077 140733641756720 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 80757 76208 740 1374 0 79378 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 323028

[startup+642.3 s]
/proc/loadavg: 2.88 2.81 2.50 4/200 28725
/proc/meminfo: memFree=30778900/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=323216 CPUtime=642.29
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 1604787 0 0 0 61934 2295 0 0 25 0 1 0 168694996 330973184 76249 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 80804 76249 740 1374 0 79425 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 323216

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.55 2.73 2.53 3/197 28788
/proc/meminfo: memFree=30895956/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=325892 CPUtime=882.22
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2076251 0 0 0 85118 3104 0 0 25 0 1 0 168694996 333713408 76964 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 81473 76964 740 1374 0 80094 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 325892

[startup+942.301 s]
/proc/loadavg: 2.20 2.60 2.50 3/197 28790
/proc/meminfo: memFree=30887860/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=326492 CPUtime=942.23
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2193288 0 0 0 90900 3323 0 0 25 0 1 0 168694996 334327808 77145 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 81623 77145 740 1374 0 80244 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 326492

[startup+1002.3 s]
/proc/loadavg: 2.07 2.49 2.46 3/197 28792
/proc/meminfo: memFree=30884848/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=327384 CPUtime=1002.23
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2281147 0 0 0 96703 3520 0 0 25 0 1 0 168694996 335241216 77375 4089446400 4194304 9819077 140733641756720 18446744073709551615 5000537 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 81846 77375 740 1374 0 80467 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 327384

[startup+1062.3 s]
/proc/loadavg: 2.02 2.40 2.43 3/197 28793
/proc/meminfo: memFree=30874512/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=331068 CPUtime=1062.24
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2371996 0 0 0 102508 3716 0 0 25 0 1 0 168694996 339013632 78283 4089446400 4194304 9819077 140733641756720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 82767 78283 740 1374 0 81388 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 331068

[startup+1122.3 s]
/proc/loadavg: 2.01 2.32 2.40 3/197 28795
/proc/meminfo: memFree=30870520/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=333548 CPUtime=1122.23
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2475168 0 0 0 108300 3923 0 0 25 0 1 0 168694996 341553152 78922 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 83387 78922 740 1374 0 82008 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 333548

[startup+1182.3 s]
/proc/loadavg: 2.00 2.26 2.37 3/197 28796
/proc/meminfo: memFree=30868120/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=334676 CPUtime=1182.24
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2563848 0 0 0 114097 4127 0 0 25 0 1 0 168694996 342708224 79295 4089446400 4194304 9819077 140733641756720 18446744073709551615 6723472 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 83669 79295 740 1374 0 82290 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 334676

[startup+1242.3 s]
/proc/loadavg: 2.00 2.21 2.35 3/197 28798
/proc/meminfo: memFree=30867096/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=334980 CPUtime=1242.23
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2643563 0 0 0 119910 4313 0 0 25 0 1 0 168694996 343019520 79328 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 83745 79328 740 1374 0 82366 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 334980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.17 2.33 3/197 28800
/proc/meminfo: memFree=30855656/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=341472 CPUtime=1302.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2724696 0 0 0 125719 4506 0 0 25 0 1 0 168694996 349667328 80819 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85368 80819 740 1374 0 83989 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 341472

[startup+1362.3 s]
/proc/loadavg: 2.00 2.14 2.30 3/197 28801
/proc/meminfo: memFree=30850780/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=341832 CPUtime=1362.24
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2820465 0 0 0 131517 4707 0 0 25 0 1 0 168694996 350035968 80962 4089446400 4194304 9819077 140733641756720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85458 80962 740 1374 0 84079 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 341832

[startup+1422.31 s]
/proc/loadavg: 2.00 2.11 2.28 3/197 28803
/proc/meminfo: memFree=30843556/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342468 CPUtime=1422.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 2918491 0 0 0 137316 4909 0 0 25 0 1 0 168694996 350687232 81127 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85617 81127 740 1374 0 84238 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 342468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 2.26 3/197 28804
/proc/meminfo: memFree=30839676/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342676 CPUtime=1482.24
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3010390 0 0 0 143128 5096 0 0 25 0 1 0 168694996 350900224 81180 4089446400 4194304 9819077 140733641756720 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85669 81180 740 1374 0 84290 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 342676

[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.24 3/197 28809
/proc/meminfo: memFree=30834612/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342656 CPUtime=1542.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3113302 0 0 0 148925 5300 0 0 25 0 1 0 168694996 350879744 81183 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85664 81183 740 1374 0 84285 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 342656

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.22 3/197 28811
/proc/meminfo: memFree=30829748/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342732 CPUtime=1602.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3218781 0 0 0 154725 5500 0 0 25 0 1 0 168694996 350957568 81197 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85683 81197 740 1374 0 84304 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 342732

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.21 3/197 28812
/proc/meminfo: memFree=30825744/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342712 CPUtime=1662.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3318401 0 0 0 160530 5695 0 0 25 0 1 0 168694996 350937088 81197 4089446400 4194304 9819077 140733641756720 18446744073709551615 8655626 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85678 81197 740 1374 0 84299 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 342712

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/197 28814
/proc/meminfo: memFree=30820384/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342736 CPUtime=1722.25
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3418409 0 0 0 166330 5895 0 0 25 0 1 0 168694996 350961664 81217 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85684 81217 740 1374 0 84305 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 342736

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.18 3/197 28815
/proc/meminfo: memFree=30813280/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342736 CPUtime=1782.26
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3519107 0 0 0 172147 6079 0 0 25 0 1 0 168694996 350961664 81217 4089446400 4194304 9819077 140733641756720 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85684 81217 740 1374 0 84305 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 342736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.06 2.04 2.18 3/197 28816
/proc/meminfo: memFree=30811280/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342860 CPUtime=1800.06
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3549343 0 0 0 173867 6139 0 0 25 0 1 0 168694996 351088640 81252 4089446400 4194304 9819077 140733641756720 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/28707/statm: 85715 81252 740 1374 0 84336 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 342860

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

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

[startup+1800.21 s]
/proc/loadavg: 2.06 2.04 2.18 3/197 28816
/proc/meminfo: memFree=30811280/32950928 swapFree=67111528/67111528
[pid=28707] ppid=28705 vsize=342916 CPUtime=1800.16
/proc/28707/stat : 28707 (pbscip.linux.x8) R 28705 28707 28326 0 -1 4202496 3549369 0 0 0 173877 6139 0 0 25 0 1 0 168694996 351145984 81266 4089446400 4194304 9819077 140733641756720 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/28707/statm: 85729 81249 741 1374 0 84350 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 342916

Child status: 0
Real time (s): 1800.28
CPU time (s): 1800.25
CPU user time (s): 1738.83
CPU system time (s): 61.4127
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 349568

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

runsolver used 3.05854 second user time and 6.21305 second system time

The end

Launcher Data 

Begin job on node114 at 2010-06-30 22:48:39
IDJOB=2693064
IDBENCH=79310
IDSOLVER=1205
FILE ID=node114/2693064-1277930919
PBS_JOBID= 11197407
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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-0-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-2693064-1277930919/watcher-2693064-1277930919 -o /tmp/evaluation-result-2693064-1277930919/solver-2693064-1277930919 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693064-1277930919.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2ef467464a5a95a7940c8f8fcd712c57
RANDOM SEED=632150450

node114.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.819
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.63
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.819
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.819
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.819
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.67
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.819
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.819
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.75
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.819
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.83
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.819
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	: 5447.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31167964 kB
Buffers:        216468 kB
Cached:        1130584 kB
SwapCached:          0 kB
Active:         716564 kB
Inactive:       922696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31167964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6324 kB
Writeback:           0 kB
AnonPages:      292260 kB
Mapped:          20304 kB
Slab:            80416 kB
PageTables:       5332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1655012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node114 at 2010-06-30 23:18:41