Trace number 2692997

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.33 1800.25

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
MD5SUM78d8e4512631586bbdc844ad983c3b47
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 benchmark274.2
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 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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-2692997-1277927902.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.14	o 135279
0.09/0.14	c feasible solution found by trivial heuristic, objective value  1.352790e+05
0.09/0.14	c presolving:
0.09/0.15	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.16	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.19/0.21	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (3 rounds):
0.19/0.21	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21	c  2707 implications, 0 cliques
0.19/0.21	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.21	c    2707 constraints of type <indicator>
0.19/0.21	c    2707 constraints of type <linear>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.16
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.97
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.23	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.23	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.46	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.352790e+05 |    Inf 
19.30/19.38	c  19.1s| 10000 | 10001 |  4086 |   0.4 |  44M|1081 |   0 |5645 |5414 |5645 | 242 |1317 |   0 | 676 | 0.000000e+00 | 1.352790e+05 |    Inf 
35.09/35.16	c  34.7s| 20000 | 20001 |  6622 |   0.3 |  66M|1081 |   0 |5645 |5414 |5645 | 252 |2119 |   0 | 743 | 0.000000e+00 | 1.352790e+05 |    Inf 
47.90/47.99	c  47.4s| 30000 | 30001 |  7622 |   0.2 |  86M|1791 |   0 |5645 |5414 |5645 | 261 |2370 |   0 | 765 | 0.000000e+00 | 1.352790e+05 |    Inf 
61.10/61.16	c  60.5s| 40000 | 40001 |  8455 |   0.2 | 105M|1791 |   0 |5645 |5414 |5645 | 218 |2642 |   0 | 775 | 0.000000e+00 | 1.352790e+05 |    Inf 
74.30/74.38	c  73.6s| 50000 | 50001 |  9204 |   0.2 | 124M|1791 |   0 |5645 |5414 |5645 | 231 |2899 |   0 | 793 | 0.000000e+00 | 1.352790e+05 |    Inf 
78.99/79.08	o 434
78.99/79.08	c *78.2s| 53411 | 41141 |  9517 |   0.2 | 108M|1791 |   - |5645 |5414 |5645 | 221 |3004 |   0 | 809 | 0.000000e+00 | 4.340000e+02 |    Inf 
88.00/88.05	o 404
88.00/88.05	c *87.1s| 58227 | 42759 | 12784 |   0.2 | 115M|1791 |   - |5645 |6271 |5645 | 220 |4105 | 857 | 838 | 0.000000e+00 | 4.040000e+02 |    Inf 
88.09/88.10	o 379
88.09/88.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
88.09/88.10	c *87.1s| 58247 | 39638 | 12784 |   0.2 | 109M|1791 |   - |5645 |6271 |5645 | 220 |4105 | 857 | 838 | 0.000000e+00 | 3.790000e+02 |    Inf 
88.09/88.11	o 368
88.09/88.11	c *87.1s| 58248 | 38368 | 12784 |   0.2 | 106M|1791 |   - |5645 |6271 |5645 | 220 |4105 | 857 | 838 | 0.000000e+00 | 3.680000e+02 |    Inf 
88.19/88.29	o 287
88.19/88.29	c *87.3s| 58334 | 28717 | 12853 |   0.2 |  87M|1791 |   - |5645 |6298 |5645 | 217 |4121 | 884 | 838 | 0.000000e+00 | 2.870000e+02 |    Inf 
89.59/89.65	o 233
89.59/89.65	c *88.7s| 58837 | 20867 | 13596 |   0.2 |  74M|1791 |   - |5645 |7015 |5645 | 236 |4321 |1601 | 848 | 0.000000e+00 | 2.330000e+02 |    Inf 
91.29/91.35	o 223
91.29/91.35	c *90.3s| 59410 | 19560 | 14944 |   0.2 |  73M|1791 |   - |5645 |7473 |5645 | 214 |4782 |2059 | 871 | 0.000000e+00 | 2.230000e+02 |    Inf 
93.19/93.25	c  92.2s| 60000 | 19951 | 16511 |   0.3 |  75M|1791 |   0 |5645 |8268 |5645 | 227 |5228 |2858 | 962 | 0.000000e+00 | 2.230000e+02 |    Inf 
95.49/95.59	o 168
95.49/95.59	c *94.5s| 60757 | 12366 | 18511 |   0.3 |  61M|1791 |   - |5645 |9240 |5645 | 263 |5882 |3837 |1029 | 0.000000e+00 | 1.680000e+02 |    Inf 
96.09/96.17	o 156
96.09/96.17	c *95.0s| 60862 | 10973 | 19469 |   0.3 |  58M|1791 |   - |5645 |9307 |5645 | 232 |6167 |3911 |1072 | 0.000000e+00 | 1.560000e+02 |    Inf 
96.80/96.87	o 155
96.80/96.87	c *95.7s| 60999 | 10944 | 20864 |   0.3 |  59M|1791 |   - |5645 |9362 |5645 | 232 |6587 |4009 |1107 | 0.000000e+00 | 1.550000e+02 |    Inf 
96.80/96.88	o 151
96.80/96.88	c *95.7s| 61000 | 10525 | 20864 |   0.3 |  58M|1791 |   - |5645 |9362 |5645 | 232 |6587 |4009 |1107 | 0.000000e+00 | 1.510000e+02 |    Inf 
98.19/98.25	o 127
98.19/98.25	c *97.1s| 61290 |  8330 | 23076 |   0.4 |  53M|1791 |   - |5645 |9406 |5645 | 271 |7342 |4269 |1201 | 0.000000e+00 | 1.270000e+02 |    Inf 
112.59/112.62	o 123
112.59/112.62	c * 111s| 65204 | 10137 | 43497 |   0.7 |  72M|1791 |   - |5645 |7421 |5645 | 229 |  13k|7395 |1445 | 0.000000e+00 | 1.230000e+02 |    Inf 
118.70/118.74	o 105
118.70/118.74	c * 117s| 66907 |  8968 | 52345 |   0.8 |  75M|1791 |   - |5645 |6631 |5645 | 219 |  16k|8431 |1524 | 0.000000e+00 | 1.050000e+02 |    Inf 
122.89/122.96	o 104
122.89/122.96	c * 121s| 68164 |  9598 | 56167 |   0.8 |  80M|1791 |   - |5645 |7214 |5645 | 207 |  17k|9747 |1533 | 0.000000e+00 | 1.040000e+02 |    Inf 
122.89/122.98	o 94
122.89/122.98	c * 121s| 68171 |  8317 | 56168 |   0.8 |  74M|1791 |   - |5645 |7224 |5645 | 207 |  17k|9757 |1533 | 0.000000e+00 | 9.400000e+01 |    Inf 
123.29/123.35	o 92
123.29/123.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.29/123.35	c * 122s| 68280 |  7834 | 56517 |   0.8 |  69M|1791 |   - |5645 |7060 |5645 | 209 |  17k|9856 |1535 | 0.000000e+00 | 9.200000e+01 |    Inf 
128.79/128.83	c   127s| 70000 |  8897 | 61109 |   0.9 |  75M|1791 |   0 |5645 |7264 |5645 | 224 |  18k|  11k|1550 | 0.000000e+00 | 9.200000e+01 |    Inf 
128.99/129.05	o 77
128.99/129.05	c * 127s| 70080 |  7486 | 61237 |   0.9 |  69M|1791 |   - |5645 |7303 |5645 | 233 |  18k|  11k|1550 | 0.000000e+00 | 7.700000e+01 |    Inf 
128.99/129.07	o 62
128.99/129.07	c * 127s| 70081 |  6023 | 61237 |   0.9 |  63M|1791 |   - |5645 |7302 |5645 | 233 |  18k|  11k|1550 | 0.000000e+00 | 6.200000e+01 |    Inf 
134.49/134.59	o 61
134.49/134.59	c * 133s| 71654 |  6158 | 67795 |   0.9 |  67M|1791 |   - |5645 |7043 |5645 | 230 |  20k|  13k|1572 | 0.000000e+00 | 6.100000e+01 |    Inf 
149.51/149.52	o 59
149.51/149.52	c * 148s| 76343 |  6386 | 86299 |   1.1 |  73M|1791 |   - |5645 |7485 |5645 | 273 |  25k|  19k|1690 | 0.000000e+00 | 5.900000e+01 |    Inf 
160.00/160.08	c   158s| 80000 |  6505 | 97458 |   1.2 |  76M|1791 |   9 |5645 |7391 |5645 | 284 |  28k|  24k|1801 | 0.000000e+00 | 5.900000e+01 |    Inf 
190.10/190.11	c   187s| 90000 |  7174 |130947 |   1.5 |  88M|1791 |  15 |5645 |8290 |5645 | 255 |  36k|  36k|2112 | 0.000000e+00 | 5.900000e+01 |    Inf 
196.20/196.25	o 55
196.20/196.25	c * 194s| 91857 |  7112 |140882 |   1.5 |  89M|1791 |   - |5645 |8530 |5645 | 193 |  39k|  38k|2174 | 0.000000e+00 | 5.500000e+01 |    Inf 
197.90/197.96	o 48
197.90/197.96	c * 195s| 92433 |  6650 |142349 |   1.5 |  86M|1791 |   - |5645 |8400 |5645 | 196 |  39k|  39k|2188 | 0.000000e+00 | 4.800000e+01 |    Inf 
198.40/198.48	o 39
198.40/198.48	c * 196s| 92583 |  5850 |143069 |   1.5 |  81M|1791 |   - |5645 |8220 |5645 | 233 |  39k|  39k|2191 | 0.000000e+00 | 3.900000e+01 |    Inf 
199.60/199.65	o 34
199.60/199.65	c * 197s| 93063 |  5510 |143941 |   1.5 |  78M|1791 |   - |5645 |8069 |5645 | 202 |  39k|  40k|2208 | 0.000000e+00 | 3.400000e+01 |    Inf 
207.99/208.09	o 25
207.99/208.09	c * 205s| 96581 |  4679 |154717 |   1.6 |  72M|1791 |   - |5645 |7214 |5645 | 208 |  42k|  44k|2336 | 0.000000e+00 | 2.500000e+01 |    Inf 
214.20/214.27	o 24
214.20/214.27	c * 211s| 99377 |  4421 |164516 |   1.7 |  72M|1791 |   - |5645 |5670 |5645 | 220 |  43k|  48k|2423 | 0.000000e+00 | 2.400000e+01 |    Inf 
215.70/215.80	c   213s|100000 |  4392 |167795 |   1.7 |  71M|1791 |  19 |5645 |5215 |5645 | 259 |  44k|  49k|2451 | 0.000000e+00 | 2.400000e+01 |    Inf 
221.90/221.94	o 23
221.90/221.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
221.90/221.95	c * 219s|102976 |  4234 |177865 |   1.7 |  71M|1791 |   - |5645 |6094 |5645 | 205 |  45k|  52k|2520 | 0.000000e+00 | 2.300000e+01 |    Inf 
221.90/221.96	o 10
221.90/221.96	c * 219s|102977 |  3144 |177872 |   1.7 |  60M|1791 |   - |5645 |6094 |5645 | 205 |  45k|  52k|2520 | 0.000000e+00 | 1.000000e+01 |    Inf 
224.20/224.29	o 9
224.20/224.29	c * 221s|104328 |  3118 |181411 |   1.7 |  60M|1791 |   - |5645 |6314 |5645 | 198 |  46k|  54k|2550 | 0.000000e+00 | 9.000000e+00 |    Inf 
234.40/234.40	c   231s|110000 |  2777 |201073 |   1.8 |  60M|1791 |  17 |5645 |7560 |5645 | 222 |  48k|  61k|2712 | 0.000000e+00 | 9.000000e+00 |    Inf 
252.80/252.90	c   249s|120000 |  2683 |232278 |   1.9 |  61M|1791 |   - |5645 |9474 |   0 |   0 |  52k|  73k|2936 | 0.000000e+00 | 9.000000e+00 |    Inf 
272.21/272.24	c   268s|130000 |  2780 |262560 |   2.0 |  63M|1791 |  16 |5645 |  11k|5645 | 240 |  55k|  85k|3088 | 0.000000e+00 | 9.000000e+00 |    Inf 
292.20/292.29	c   288s|140000 |  2596 |300216 |   2.1 |  62M|1791 |   - |5645 |9339 |   0 |   0 |  59k|  98k|3308 | 0.000000e+00 | 9.000000e+00 |    Inf 
298.40/298.49	o 8
298.40/298.49	c * 294s|143245 |  2601 |310470 |   2.2 |  62M|1791 |   - |5645 |9406 |5645 | 239 |  61k| 102k|3387 | 0.000000e+00 | 8.000000e+00 |    Inf 
311.41/311.44	c   306s|150000 |  2638 |334888 |   2.2 |  63M|1791 |   - |5645 |  10k|   0 |   0 |  64k| 111k|3517 | 0.000000e+00 | 8.000000e+00 |    Inf 
330.50/330.55	c   325s|160000 |  2805 |366461 |   2.3 |  66M|1791 |   - |5645 |  11k|   0 |   0 |  67k| 124k|3642 | 0.000000e+00 | 8.000000e+00 |    Inf 
350.21/350.21	c   345s|170000 |  2828 |401959 |   2.4 |  68M|1791 |   - |5645 |  12k|   0 |   0 |  71k| 138k|3823 | 0.000000e+00 | 8.000000e+00 |    Inf 
370.20/370.20	c   364s|180000 |  2856 |437812 |   2.4 |  69M|1791 |   1 |5645 |  13k|5645 | 289 |  75k| 152k|3970 | 0.000000e+00 | 8.000000e+00 |    Inf 
371.21/371.27	o 6
371.21/371.27	c * 365s|180532 |  2773 |439386 |   2.4 |  68M|1791 |   - |5645 |  13k|5645 | 277 |  75k| 152k|3982 | 0.000000e+00 | 6.000000e+00 |    Inf 
390.61/390.63	c   384s|190000 |  2690 |476181 |   2.5 |  68M|1791 |   1 |5645 |  13k|5645 | 291 |  79k| 166k|4098 | 0.000000e+00 | 6.000000e+00 |    Inf 
411.51/411.58	c   405s|200000 |  2541 |518016 |   2.6 |  65M|1791 |   - |5645 |  10k|   0 |   0 |  83k| 180k|4272 | 0.000000e+00 | 6.000000e+00 |    Inf 
429.71/429.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
429.71/429.72	c   423s|210000 |  2279 |552913 |   2.6 |  60M|1791 |  10 |5645 |9887 |5645 | 249 |  89k| 193k|4415 | 0.000000e+00 | 6.000000e+00 |    Inf 
448.01/448.06	c   441s|220000 |  2287 |584661 |   2.7 |  62M|1791 |   - |5645 |  11k|   0 |   0 |  94k| 207k|4534 | 0.000000e+00 | 6.000000e+00 |    Inf 
466.81/466.89	c   459s|230000 |  2332 |618150 |   2.7 |  63M|1791 |   1 |5645 |  13k|5645 | 291 |  98k| 220k|4593 | 0.000000e+00 | 6.000000e+00 |    Inf 
486.12/486.18	c   478s|240000 |  2330 |650889 |   2.7 |  64M|1791 |   1 |5645 |  14k|5645 | 235 | 102k| 233k|4718 | 0.000000e+00 | 6.000000e+00 |    Inf 
505.32/505.37	c   497s|250000 |  2319 |684878 |   2.7 |  65M|1791 |   - |5645 |  15k|   0 |   0 | 107k| 246k|4792 | 0.000000e+00 | 6.000000e+00 |    Inf 
524.31/524.36	o 5
524.31/524.36	c * 516s|259551 |  2205 |717236 |   2.8 |  65M|1791 |   - |5645 |  18k|5645 | 244 | 111k| 260k|4898 | 0.000000e+00 | 5.000000e+00 |    Inf 
525.21/525.23	c   516s|260000 |  2210 |718447 |   2.8 |  65M|1791 |   - |5645 |  17k|   0 |   0 | 111k| 260k|4901 | 0.000000e+00 | 5.000000e+00 |    Inf 
544.92/544.95	c   536s|270000 |  2119 |752521 |   2.8 |  63M|1791 |   - |5645 |  14k|   0 |   0 | 116k| 275k|4967 | 0.000000e+00 | 5.000000e+00 |    Inf 
564.71/564.76	c   555s|280000 |  2057 |787146 |   2.8 |  61M|1791 |   - |5645 |8308 |   0 |   0 | 120k| 288k|5096 | 0.000000e+00 | 5.000000e+00 |    Inf 
586.21/586.29	c   576s|290000 |  2025 |822842 |   2.8 |  62M|1791 |   1 |5645 |  11k|5645 | 290 | 124k| 301k|5210 | 0.000000e+00 | 5.000000e+00 |    Inf 
608.42/608.49	c   598s|300000 |  2087 |858061 |   2.9 |  63M|1791 |  15 |5645 |  13k|5645 | 270 | 128k| 314k|5267 | 0.000000e+00 | 5.000000e+00 |    Inf 
630.61/630.68	c   620s|310000 |  2132 |889879 |   2.9 |  65M|1791 |   1 |5645 |  17k|5645 | 307 | 131k| 327k|5354 | 0.000000e+00 | 5.000000e+00 |    Inf 
654.22/654.25	c   643s|320000 |  1856 |926624 |   2.9 |  58M|1791 |   8 |5645 |9392 |5645 | 255 | 135k| 341k|5535 | 0.000000e+00 | 5.000000e+00 |    Inf 
674.23/674.22	c   663s|330000 |  1657 |957866 |   2.9 |  58M|1791 |   1 |5645 |  13k|5645 | 239 | 139k| 354k|5594 | 0.000000e+00 | 5.000000e+00 |    Inf 
697.22/697.21	c   685s|340000 |  1658 |990063 |   2.9 |  59M|1791 |   1 |5645 |  14k|5645 | 234 | 143k| 367k|5766 | 0.000000e+00 | 5.000000e+00 |    Inf 
720.12/720.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
720.12/720.14	c   708s|350000 |  1824 |  1023k|   2.9 |  61M|1791 |  15 |5645 |  15k|5645 | 270 | 147k| 380k|5873 | 0.000000e+00 | 5.000000e+00 |    Inf 
743.32/743.37	c   731s|360000 |  1916 |  1059k|   2.9 |  63M|1791 |   - |5645 |  15k|5645 | 259 | 151k| 394k|5951 | 0.000000e+00 | 5.000000e+00 |    Inf 
766.42/766.47	c   753s|370000 |  1998 |  1095k|   3.0 |  64M|1791 |  15 |5645 |  16k|5645 | 258 | 154k| 407k|6041 | 0.000000e+00 | 5.000000e+00 |    Inf 
790.72/790.72	c   777s|380000 |  2090 |  1128k|   3.0 |  67M|1791 |   1 |5645 |  19k|5645 | 248 | 157k| 422k|6097 | 0.000000e+00 | 5.000000e+00 |    Inf 
816.02/816.02	c   802s|390000 |  2087 |  1162k|   3.0 |  67M|1791 |   1 |5645 |  18k|5645 | 276 | 161k| 437k|6163 | 0.000000e+00 | 5.000000e+00 |    Inf 
840.52/840.56	c   826s|400000 |  2073 |  1201k|   3.0 |  67M|1791 |   - |5645 |  16k|   0 |   0 | 165k| 451k|6250 | 0.000000e+00 | 5.000000e+00 |    Inf 
864.93/864.93	c   850s|410000 |  2107 |  1237k|   3.0 |  69M|1791 |   1 |5645 |  19k|5645 | 268 | 170k| 465k|6318 | 0.000000e+00 | 5.000000e+00 |    Inf 
891.12/891.10	c   876s|420000 |  2132 |  1272k|   3.0 |  69M|1791 |   1 |5645 |  19k|5645 | 257 | 173k| 479k|6375 | 0.000000e+00 | 5.000000e+00 |    Inf 
915.63/915.60	c   900s|430000 |  2064 |  1309k|   3.0 |  68M|1791 |   1 |5645 |  17k|5645 | 228 | 176k| 493k|6477 | 0.000000e+00 | 5.000000e+00 |    Inf 
939.93/939.92	c   924s|440000 |  2293 |  1345k|   3.1 |  71M|1791 |  14 |5645 |  17k|5645 | 258 | 179k| 506k|6545 | 0.000000e+00 | 5.000000e+00 |    Inf 
964.03/964.09	c   948s|450000 |  2425 |  1379k|   3.1 |  73M|1791 |   - |5645 |  19k|   0 |   0 | 183k| 519k|6613 | 0.000000e+00 | 5.000000e+00 |    Inf 
989.33/989.34	c   972s|460000 |  2497 |  1417k|   3.1 |  75M|1791 |  21 |5645 |  19k|5645 | 260 | 187k| 533k|6686 | 0.000000e+00 | 5.000000e+00 |    Inf 
1014.03/1014.09	c   997s|470000 |  2511 |  1453k|   3.1 |  76M|1791 |   - |5645 |  19k|   0 |   0 | 189k| 547k|6766 | 0.000000e+00 | 5.000000e+00 |    Inf 
1039.03/1039.00	c  1021s|480000 |  2584 |  1489k|   3.1 |  78M|1791 |   1 |5645 |  22k|5645 | 305 | 192k| 561k|6839 | 0.000000e+00 | 5.000000e+00 |    Inf 
1064.93/1064.93	c  1047s|490000 |  2574 |  1526k|   3.1 |  78M|1791 |   - |5645 |  20k|   0 |   0 | 195k| 575k|6921 | 0.000000e+00 | 5.000000e+00 |    Inf 
1089.64/1089.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1089.64/1089.63	c  1071s|500000 |  2579 |  1559k|   3.1 |  78M|1791 |   1 |5645 |  19k|5645 | 248 | 199k| 589k|6987 | 0.000000e+00 | 5.000000e+00 |    Inf 
1115.64/1115.65	c  1097s|510000 |  2777 |  1599k|   3.1 |  80M|1791 |   - |5645 |  20k|   0 |   0 | 203k| 603k|7060 | 0.000000e+00 | 5.000000e+00 |    Inf 
1141.54/1141.59	c  1122s|520000 |  2883 |  1634k|   3.1 |  82M|1791 |   - |5645 |  20k|   0 |   0 | 206k| 617k|7114 | 0.000000e+00 | 5.000000e+00 |    Inf 
1168.15/1168.13	c  1148s|530000 |  3067 |  1675k|   3.2 |  84M|1791 |   1 |5645 |  21k|5645 | 262 | 210k| 631k|7190 | 0.000000e+00 | 5.000000e+00 |    Inf 
1194.34/1194.33	c  1174s|540000 |  3163 |  1712k|   3.2 |  86M|1791 |   1 |5645 |  22k|5645 | 290 | 213k| 645k|7251 | 0.000000e+00 | 5.000000e+00 |    Inf 
1221.14/1221.13	c  1200s|550000 |  3218 |  1751k|   3.2 |  87M|1791 |  18 |5645 |  19k|5645 | 275 | 215k| 660k|7311 | 0.000000e+00 | 5.000000e+00 |    Inf 
1248.34/1248.30	c  1227s|560000 |  3277 |  1793k|   3.2 |  88M|1791 |   - |5645 |  20k|5645 | 319 | 219k| 675k|7383 | 0.000000e+00 | 5.000000e+00 |    Inf 
1274.45/1274.43	c  1253s|570000 |  3308 |  1831k|   3.2 |  90M|1791 |   - |5645 |  21k|   0 |   0 | 223k| 689k|7460 | 0.000000e+00 | 5.000000e+00 |    Inf 
1300.26/1300.24	c  1278s|580000 |  3435 |  1865k|   3.2 |  92M|1791 |   - |5645 |  22k|   0 |   0 | 226k| 703k|7524 | 0.000000e+00 | 5.000000e+00 |    Inf 
1326.65/1326.65	c  1304s|590000 |  3467 |  1900k|   3.2 |  93M|1791 |   8 |5645 |  21k|5645 | 262 | 229k| 717k|7599 | 0.000000e+00 | 5.000000e+00 |    Inf 
1353.55/1353.57	c  1331s|600000 |  3517 |  1940k|   3.2 |  94M|1791 |  16 |5645 |  22k|5645 | 290 | 233k| 731k|7655 | 0.000000e+00 | 5.000000e+00 |    Inf 
1379.95/1379.92	c  1357s|610000 |  3534 |  1976k|   3.2 |  95M|1791 |   1 |5645 |  20k|5645 | 296 | 236k| 745k|7695 | 0.000000e+00 | 5.000000e+00 |    Inf 
1405.95/1405.97	c  1383s|620000 |  3627 |  2013k|   3.2 |  97M|1791 |   1 |5645 |  22k|5645 | 292 | 240k| 759k|7772 | 0.000000e+00 | 5.000000e+00 |    Inf 
1433.06/1433.00	c  1409s|630000 |  3684 |  2050k|   3.3 |  99M|1791 |   - |5645 |  24k|   0 |   0 | 243k| 774k|7845 | 0.000000e+00 | 5.000000e+00 |    Inf 
1459.55/1459.50	c  1435s|640000 |  3803 |  2089k|   3.3 | 100M|1791 |   1 |5645 |  23k|5645 | 312 | 247k| 788k|7901 | 0.000000e+00 | 5.000000e+00 |    Inf 
1486.35/1486.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1486.35/1486.37	c  1462s|650000 |  3811 |  2126k|   3.3 | 101M|1791 |   1 |5645 |  23k|5645 | 323 | 249k| 803k|7943 | 0.000000e+00 | 5.000000e+00 |    Inf 
1513.56/1513.57	c  1489s|660000 |  3818 |  2164k|   3.3 | 102M|1791 |   - |5645 |  22k|   0 |   0 | 253k| 818k|7997 | 0.000000e+00 | 5.000000e+00 |    Inf 
1540.36/1540.38	c  1515s|670000 |  3846 |  2202k|   3.3 | 103M|1791 |   1 |5645 |  23k|5645 | 312 | 256k| 832k|8071 | 0.000000e+00 | 5.000000e+00 |    Inf 
1566.16/1566.20	c  1540s|680000 |  3852 |  2235k|   3.3 | 103M|1791 |   9 |5645 |  21k|5645 | 279 | 258k| 847k|8117 | 0.000000e+00 | 5.000000e+00 |    Inf 
1591.77/1591.78	c  1566s|690000 |  3838 |  2271k|   3.3 | 103M|1791 |   - |5645 |  20k|   0 |   0 | 262k| 861k|8158 | 0.000000e+00 | 5.000000e+00 |    Inf 
1618.67/1618.63	c  1592s|700000 |  3935 |  2312k|   3.3 | 105M|1791 |   - |5645 |  22k|   0 |   0 | 265k| 875k|8219 | 0.000000e+00 | 5.000000e+00 |    Inf 
1645.96/1645.99	c  1619s|710000 |  3994 |  2353k|   3.3 | 107M|1791 |   - |5645 |  24k|   0 |   0 | 268k| 889k|8295 | 0.000000e+00 | 5.000000e+00 |    Inf 
1674.86/1674.87	c  1648s|720000 |  4002 |  2392k|   3.3 | 108M|1791 |   - |5645 |  23k|   0 |   0 | 271k| 904k|8378 | 0.000000e+00 | 5.000000e+00 |    Inf 
1701.57/1701.59	c  1674s|730000 |  3936 |  2425k|   3.3 | 108M|1791 |   - |5645 |  24k|   0 |   0 | 274k| 919k|8402 | 0.000000e+00 | 5.000000e+00 |    Inf 
1728.56/1728.56	c  1701s|740000 |  3850 |  2465k|   3.3 | 106M|1791 |  19 |5645 |  23k|5645 | 315 | 277k| 934k|8471 | 0.000000e+00 | 5.000000e+00 |    Inf 
1754.86/1754.83	c  1726s|750000 |  3898 |  2503k|   3.3 | 107M|1791 |  23 |5645 |  23k|5645 | 310 | 281k| 948k|8534 | 0.000000e+00 | 5.000000e+00 |    Inf 
1782.27/1782.20	c  1753s|760000 |  3947 |  2541k|   3.3 | 109M|1791 |   - |5645 |  23k|   0 |   0 | 284k| 962k|8601 | 0.000000e+00 | 5.000000e+00 |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00	c 
1800.07/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.00	c Solving Time (sec) : 1771.01
1800.07/1800.00	c Solving Nodes      : 766492
1800.07/1800.00	c Primal Bound       : +5.00000000000000e+00 (312 solutions)
1800.07/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.00	c Gap                : infinite
1800.18/1800.10	s SATISFIABLE
1800.18/1800.10	v -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
1800.18/1800.10	v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.18/1800.10	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 
1800.18/1800.10	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.18/1800.10	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.18/1800.10	v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.18/1800.10	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.18/1800.10	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.18/1800.10	v -x54 -x53 x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 
1800.18/1800.10	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.18/1800.10	v -x1 
1800.18/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.18/1800.10	c Solving Time       :    1771.01
1800.18/1800.10	c Original Problem   :
1800.18/1800.10	c   Problem name     : HOME/instance-2692997-1277927902.wbo
1800.18/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.18/1800.10	c   Constraints      : 5415 initial, 5415 maximal
1800.18/1800.10	c Presolved Problem  :
1800.18/1800.10	c   Problem name     : t_HOME/instance-2692997-1277927902.wbo
1800.18/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.18/1800.10	c   Constraints      : 5414 initial, 25495 maximal
1800.18/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.18/1800.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.18/1800.10	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   linear           :       0.03          0          0          0       2707          0          1          0          0
1800.18/1800.10	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.18/1800.10	c   root node        :          -       2591          -          -       5182          -          -          -          -
1800.18/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.18/1800.10	c   integral         :          0          0          0     479352          0         16        609          0          0     748222
1800.18/1800.10	c   indicator        :       2707          0    4422835     104627          0        350    4539076          0          0          0
1800.18/1800.10	c   linear           :       2707          6    4442953     104732          0     272238   19174655     287176          0          0
1800.18/1800.10	c   logicor          :          0+         0    1157141          0          0      77378    1385731          0          0          0
1800.18/1800.10	c   bounddisjunction :          0+         0       3765          0          0          0         13          0          0          0
1800.18/1800.10	c   countsols        :          0          0          0      68830          0          0          0          0          0          0
1800.18/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.18/1800.10	c   integral         :      15.15       0.00       0.00      15.15       0.00
1800.18/1800.10	c   indicator        :      35.42       0.03      20.85      14.54       0.00
1800.18/1800.10	c   linear           :     231.41       0.01     222.55       8.85       0.00
1800.18/1800.10	c   logicor          :     226.75       0.00     226.75       0.00       0.00
1800.18/1800.10	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.18/1800.10	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.18/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.18/1800.10	c   vbounds          :       1.24          2          0          0
1800.18/1800.10	c   rootredcost      :       1.01         33          0       2591
1800.18/1800.10	c   pseudoobj        :     238.13    4451675       8283    2874511
1800.18/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.18/1800.10	c   propagation      :      22.03     357899     357783    2025719       29.4      19772       18.8          -
1800.18/1800.10	c   infeasible LP    :       4.59      11654      11654      90146       43.6        205       15.7          0
1800.18/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.18/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.18/1800.10	c   pseudo solution  :       0.01        191        191        734       11.8        210        5.7          -
1800.18/1800.10	c   applied globally :          -          -          -     971617       23.6          -          -          -
1800.18/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.18/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.18/1800.10	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.18/1800.10	c   redcost          :      41.47     488638          0    1545753          0          0
1800.18/1800.10	c   impliedbounds    :       0.00          4          0          0          0          0
1800.18/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.18/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.18/1800.10	c   gomory           :       0.01          4          0          0         75          0
1800.18/1800.10	c   strongcg         :       0.00          4          0          0          0          0
1800.18/1800.10	c   cmir             :       0.01          4          0          0          1          0
1800.18/1800.10	c   flowcover        :       0.04          4          0          0          2          0
1800.18/1800.10	c   clique           :       0.00          1          0          0          0          0
1800.18/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.18/1800.10	c   mcf              :       0.00          1          0          0          0          0
1800.18/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.18/1800.10	c Pricers            :       Time      Calls       Vars
1800.18/1800.10	c   problem variables:       0.00          0          0
1800.18/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.18/1800.10	c   relpscost        :      14.61     374600         16        609          0          0     748222
1800.18/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.18/1800.10	c   inference        :      14.92      68797          0          0          0          0     137594
1800.18/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.18/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.18/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.18/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.18/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.18/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.18/1800.10	c   LP solutions     :       0.09          -         33
1800.18/1800.10	c   pseudo solutions :       0.00          -          0
1800.18/1800.10	c   feaspump         :       0.00          0          0
1800.18/1800.10	c   oneopt           :       0.43         29          0
1800.18/1800.10	c   intshifting      :       0.03          6          0
1800.18/1800.10	c   guideddiving     :       0.05         25          0
1800.18/1800.10	c   fracdiving       :       0.14         99          0
1800.18/1800.10	c   veclendiving     :       0.16         99          0
1800.18/1800.10	c   linesearchdiving :       0.14         99          0
1800.18/1800.10	c   pscostdiving     :       0.12         99          0
1800.18/1800.10	c   coefdiving       :       0.20        100          0
1800.18/1800.10	c   crossover        :       1.74         48          4
1800.18/1800.10	c   objpscostdiving  :       0.08         93          0
1800.18/1800.10	c   rootsoldiving    :       0.23         93          0
1800.18/1800.10	c   trivial          :       0.09          2          2
1800.18/1800.10	c   simplerounding   :       0.87     376353          0
1800.18/1800.10	c   zirounding       :       0.58       1000          0
1800.18/1800.10	c   rounding         :       3.06       8647          0
1800.18/1800.10	c   shifting         :       1.60       2712          0
1800.18/1800.10	c   twoopt           :       0.00          0          0
1800.18/1800.10	c   fixandinfer      :       0.00          0          0
1800.18/1800.10	c   intdiving        :       0.00          0          0
1800.18/1800.10	c   actconsdiving    :       0.00          0          0
1800.18/1800.10	c   octane           :       0.00          0          0
1800.18/1800.10	c   rens             :       0.03          1          0
1800.18/1800.10	c   rins             :       0.00          0          0
1800.18/1800.10	c   localbranching   :       0.00          0          0
1800.18/1800.10	c   mutation         :       0.00          0          0
1800.18/1800.10	c   dins             :       0.00          0          0
1800.18/1800.10	c   undercover       :       0.00          0          0
1800.18/1800.10	c   nlp              :       0.20          0          0
1800.18/1800.10	c   trysol           :       4.02       8332        273
1800.18/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.18/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.18/1800.10	c   dual LP          :     450.27     427237    2564564       6.00    5695.61
1800.18/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.18/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.18/1800.10	c   diving/probing LP:       0.10         53       1047      19.75   10470.00
1800.18/1800.10	c   strong branching :      11.86       8635      94919      10.99    8003.29
1800.18/1800.10	c     (at root node) :          -         33       1884      57.09          -
1800.18/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.18/1800.10	c B&B Tree           :
1800.18/1800.10	c   number of runs   :          1
1800.18/1800.10	c   nodes            :     766492
1800.18/1800.10	c   nodes (total)    :     766492
1800.18/1800.10	c   nodes left       :       3906
1800.18/1800.10	c   max depth        :       1791
1800.18/1800.10	c   max depth (total):       1791
1800.18/1800.10	c   backtracks       :      56190 (7.3%)
1800.18/1800.10	c   delayed cutoffs  :      51329
1800.18/1800.10	c   repropagations   :    2447131 (4469563 domain reductions, 46485 cutoffs)
1800.18/1800.10	c   avg switch length:       7.82
1800.18/1800.11	c   switching time   :     250.46
1800.18/1800.11	c Solution           :
1800.18/1800.11	c   Solutions found  :        312 (34 improvements)
1800.18/1800.11	c   First Solution   : +1.35279000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.18/1800.11	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 259551 nodes, 515.55 seconds, depth 38, found by <relaxation>)
1800.18/1800.11	c   Dual Bound       : +0.00000000000000e+00
1800.18/1800.11	c   Gap              :   infinite
1800.18/1800.11	c   Root Dual Bound  : +0.00000000000000e+00
1800.18/1800.11	c   Root Iterations  :        183
1800.27/1800.25	c Time complete: 1800.32.

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692997-1277927902/watcher-2692997-1277927902 -o /tmp/evaluation-result-2692997-1277927902/solver-2692997-1277927902 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692997-1277927902.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.53 2.78 2.55 4/178 17006
/proc/meminfo: memFree=31230536/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=10972 CPUtime=0
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1668 0 0 0 0 0 0 0 25 0 1 0 134085123 11235328 1589 4089446400 4194304 9819077 140736267199984 18446744073709551615 8654907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17006/statm: 2743 1589 392 1374 0 1364 0

[startup+0.091953 s]
/proc/loadavg: 2.53 2.78 2.55 4/178 17006
/proc/meminfo: memFree=31230536/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=36404 CPUtime=0.08
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 8122 0 0 0 8 0 0 0 25 0 1 0 134085123 37277696 7689 4089446400 4194304 9819077 140736267199984 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36404

[startup+0.100947 s]
/proc/loadavg: 2.53 2.78 2.55 4/178 17006
/proc/meminfo: memFree=31230536/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=36404 CPUtime=0.09
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 8122 0 0 0 9 0 0 0 25 0 1 0 134085123 37277696 7689 4089446400 4194304 9819077 140736267199984 18446744073709551615 4966592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300906 s]
/proc/loadavg: 2.53 2.78 2.55 4/178 17006
/proc/meminfo: memFree=31230536/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=45708 CPUtime=0.29
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 10785 0 0 0 28 1 0 0 25 0 1 0 134085123 46804992 9785 4089446400 4194304 9819077 140736267199984 18446744073709551615 6049012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 11427 9785 670 1374 0 10048 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45708

[startup+0.70083 s]
/proc/loadavg: 2.53 2.78 2.55 4/178 17006
/proc/meminfo: memFree=31230536/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=45892 CPUtime=0.69
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 25149 0 0 0 65 4 0 0 25 0 1 0 134085123 46993408 9943 4089446400 4194304 9819077 140736267199984 18446744073709551615 6590721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 11473 9943 697 1374 0 10094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45892

[startup+1.50067 s]
/proc/loadavg: 2.53 2.78 2.55 3/179 17007
/proc/meminfo: memFree=31192212/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=47668 CPUtime=1.48
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 42349 0 0 0 141 7 0 0 25 0 1 0 134085123 48812032 10271 4089446400 4194304 9819077 140736267199984 18446744073709551615 8652568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 11917 10271 699 1374 0 10538 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47668

[startup+3.10035 s]
/proc/loadavg: 2.53 2.78 2.55 3/179 17007
/proc/meminfo: memFree=31189732/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=51716 CPUtime=3.09
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 57302 0 0 0 299 10 0 0 25 0 1 0 134085123 52957184 11074 4089446400 4194304 9819077 140736267199984 18446744073709551615 4965405 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 12929 11074 700 1374 0 11550 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51716

[startup+6.30071 s]
/proc/loadavg: 2.48 2.77 2.55 3/179 17007
/proc/meminfo: memFree=31185692/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=55844 CPUtime=6.29
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 68053 0 0 0 615 14 0 0 25 0 1 0 134085123 57184256 12255 4089446400 4194304 9819077 140736267199984 18446744073709551615 6593065 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 13961 12255 700 1374 0 12582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55844

[startup+12.7004 s]
/proc/loadavg: 2.45 2.75 2.54 3/179 17007
/proc/meminfo: memFree=31177104/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=79172 CPUtime=12.69
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 82815 0 0 0 1249 20 0 0 25 0 1 0 134085123 81072128 18072 4089446400 4194304 9819077 140736267199984 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 19793 18072 700 1374 0 18414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79172

[startup+25.5009 s]
/proc/loadavg: 2.35 2.72 2.53 3/179 17007
/proc/meminfo: memFree=31158568/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=80528 CPUtime=25.49
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 94820 0 0 0 2517 32 0 0 25 0 1 0 134085123 82460672 18664 4089446400 4194304 9819077 140736267199984 18446744073709551615 6590517 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 20132 18664 700 1374 0 18753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80528

[startup+51.1007 s]
/proc/loadavg: 2.23 2.66 2.52 3/179 17009
/proc/meminfo: memFree=31123004/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=117916 CPUtime=51.09
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 112762 0 0 0 5052 57 0 0 25 0 1 0 134085123 120745984 27993 4089446400 4194304 9819077 140736267199984 18446744073709551615 6590247 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 29479 27993 700 1374 0 28100 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117916

[startup+102.306 s]
/proc/loadavg: 2.10 2.55 2.49 3/179 17009
/proc/meminfo: memFree=31044364/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=195972 CPUtime=102.3
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 250422 0 0 0 10108 122 0 0 25 0 1 0 134085123 200675328 47277 4089446400 4194304 9819077 140736267199984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 48993 47277 721 1374 0 47614 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 195972

[startup+162.301 s]
/proc/loadavg: 2.11 2.47 2.46 3/179 17020
/proc/meminfo: memFree=30951320/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=292328 CPUtime=162.3
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 457072 0 0 0 16015 215 0 0 25 0 1 0 134085123 299343872 70142 4089446400 4194304 9819077 140736267199984 18446744073709551615 4979081 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 73082 70142 727 1374 0 71703 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 292328

[startup+222.301 s]
/proc/loadavg: 2.04 2.38 2.43 3/179 17022
/proc/meminfo: memFree=30909912/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=336292 CPUtime=222.3
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 628293 0 0 0 21916 314 0 0 25 0 1 0 134085123 344363008 80253 4089446400 4194304 9819077 140736267199984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 84073 80253 732 1374 0 82694 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 336292

[startup+282.301 s]
/proc/loadavg: 2.01 2.31 2.40 3/179 17024
/proc/meminfo: memFree=30908368/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=338928 CPUtime=282.3
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 800374 0 0 0 27793 437 0 0 25 0 1 0 134085123 347062272 80781 4089446400 4194304 9819077 140736267199984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 84732 80781 732 1374 0 83353 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 338928

[startup+342.301 s]
/proc/loadavg: 2.00 2.25 2.37 3/179 17025
/proc/meminfo: memFree=30904732/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=342104 CPUtime=342.31
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 966219 0 0 0 33682 549 0 0 25 0 1 0 134085123 350314496 81654 4089446400 4194304 9819077 140736267199984 18446744073709551615 6003998 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 85526 81654 732 1374 0 84147 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 342104

[startup+402.301 s]
/proc/loadavg: 2.00 2.20 2.35 3/179 17026
/proc/meminfo: memFree=30900724/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=346156 CPUtime=402.3
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1132095 0 0 0 39570 660 0 0 25 0 1 0 134085123 354463744 82578 4089446400 4194304 9819077 140736267199984 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 86539 82578 732 1374 0 85160 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 346156

[startup+462.301 s]
/proc/loadavg: 2.00 2.16 2.32 3/179 17028
/proc/meminfo: memFree=30900548/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=346680 CPUtime=462.31
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1275846 0 0 0 45462 769 0 0 25 0 1 0 134085123 355000320 82713 4089446400 4194304 9819077 140736267199984 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 86670 82713 732 1374 0 85291 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 346680

[startup+522.301 s]
/proc/loadavg: 2.00 2.13 2.30 3/179 17030
/proc/meminfo: memFree=30897836/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=349524 CPUtime=522.31
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1398906 0 0 0 51356 875 0 0 25 0 1 0 134085123 357912576 83444 4089446400 4194304 9819077 140736267199984 18446744073709551615 6591425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17006/statm: 87381 83444 732 1374 0 86002 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 349524

[startup+582.301 s]
/proc/loadavg: 2.00 2.10 2.28 3/179 17059
/proc/meminfo: memFree=30828192/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=349788 CPUtime=582.31
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1542595 0 0 0 57244 987 0 0 25 0 1 0 134085123 358182912 83564 4089446400 4194304 9819077 140736267199984 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 87447 83564 740 1374 0 86068 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 349788

[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.26 3/179 17060
/proc/meminfo: memFree=30689376/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=350204 CPUtime=642.32
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 1654346 0 0 0 63139 1093 0 0 25 0 1 0 134085123 358608896 83629 4089446400 4194304 9819077 140736267199984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 87551 83629 740 1374 0 86172 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 350204

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.19 3/179 17067
/proc/meminfo: memFree=30353380/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=351424 CPUtime=882.33
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2071000 0 0 0 86723 1510 0 0 25 0 1 0 134085123 359858176 83924 4089446400 4194304 9819077 140736267199984 18446744073709551615 6513105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 87856 83924 740 1374 0 86477 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 351424

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.17 3/179 17068
/proc/meminfo: memFree=30222416/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=351688 CPUtime=942.33
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2171015 0 0 0 92619 1614 0 0 25 0 1 0 134085123 360128512 84022 4089446400 4194304 9819077 140736267199984 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 87922 84022 740 1374 0 86543 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 351688

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/179 17069
/proc/meminfo: memFree=30149320/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=354420 CPUtime=1002.34
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2278857 0 0 0 98518 1716 0 0 25 0 1 0 134085123 362926080 84643 4089446400 4194304 9819077 140736267199984 18446744073709551615 6003049 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 88605 84643 740 1374 0 87226 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 354420

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.15 3/179 17071
/proc/meminfo: memFree=30105640/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=355460 CPUtime=1062.34
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2398655 0 0 0 104412 1822 0 0 25 0 1 0 134085123 363991040 84985 4089446400 4194304 9819077 140736267199984 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 88865 84985 740 1374 0 87486 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 355460

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.14 3/179 17073
/proc/meminfo: memFree=29957912/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=356344 CPUtime=1122.34
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2474564 0 0 0 110325 1909 0 0 25 0 1 0 134085123 364896256 85312 4089446400 4194304 9819077 140736267199984 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 89086 85312 740 1374 0 87707 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 356344

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 17075
/proc/meminfo: memFree=29869804/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=360320 CPUtime=1182.34
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2546949 0 0 0 116239 1995 0 0 25 0 1 0 134085123 368967680 86231 4089446400 4194304 9819077 140736267199984 18446744073709551615 5507241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 90080 86231 740 1374 0 88701 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 360320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 17076
/proc/meminfo: memFree=29861096/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=363872 CPUtime=1242.34
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2646024 0 0 0 122139 2095 0 0 25 0 1 0 134085123 372604928 87149 4089446400 4194304 9819077 140736267199984 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 90968 87149 740 1374 0 89589 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 363872

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 17077
/proc/meminfo: memFree=29754288/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=366740 CPUtime=1302.35
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2742151 0 0 0 128049 2186 0 0 25 0 1 0 134085123 375541760 87771 4089446400 4194304 9819077 140736267199984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 91685 87771 740 1374 0 90306 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 366740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 17079
/proc/meminfo: memFree=29612516/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=372704 CPUtime=1362.35
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2834337 0 0 0 133955 2280 0 0 25 0 1 0 134085123 381648896 89110 4089446400 4194304 9819077 140736267199984 18446744073709551615 6590267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 93176 89110 740 1374 0 91797 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 372704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 17081
/proc/meminfo: memFree=29479184/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=375384 CPUtime=1422.36
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2892984 0 0 0 139869 2367 0 0 25 0 1 0 134085123 384393216 89830 4089446400 4194304 9819077 140736267199984 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 93846 89830 740 1374 0 92467 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 375384

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17083
/proc/meminfo: memFree=29416272/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=377852 CPUtime=1482.35
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 2952212 0 0 0 145781 2454 0 0 25 0 1 0 134085123 386920448 90362 4089446400 4194304 9819077 140736267199984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 94463 90362 740 1374 0 93084 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 377852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17084
/proc/meminfo: memFree=29414124/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=378868 CPUtime=1542.36
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3035728 0 0 0 151687 2549 0 0 25 0 1 0 134085123 387960832 90714 4089446400 4194304 9819077 140736267199984 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 94717 90714 740 1374 0 93338 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 378868

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17085
/proc/meminfo: memFree=29380344/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=381476 CPUtime=1602.37
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3071640 0 0 0 157606 2631 0 0 25 0 1 0 134085123 390631424 91410 4089446400 4194304 9819077 140736267199984 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 95369 91410 740 1374 0 93990 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 381476

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17087
/proc/meminfo: memFree=29279612/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=385384 CPUtime=1662.36
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3124439 0 0 0 163521 2715 0 0 25 0 1 0 134085123 394633216 92417 4089446400 4194304 9819077 140736267199984 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 96346 92417 740 1374 0 94967 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 385384

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17089
/proc/meminfo: memFree=29161388/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=385988 CPUtime=1722.37
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3180279 0 0 0 169436 2801 0 0 25 0 1 0 134085123 395251712 92616 4089446400 4194304 9819077 140736267199984 18446744073709551615 6361124 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 96497 92616 740 1374 0 95118 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 385988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 17091
/proc/meminfo: memFree=29039952/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=387880 CPUtime=1782.37
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3219380 0 0 0 175358 2879 0 0 25 0 1 0 134085123 397189120 93038 4089446400 4194304 9819077 140736267199984 18446744073709551615 8655917 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 96970 93038 740 1374 0 95591 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 387880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 17091
/proc/meminfo: memFree=29006088/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=388100 CPUtime=1800.07
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3233862 0 0 0 177103 2904 0 0 25 0 1 0 134085123 397414400 93069 4089446400 4194304 9819077 140736267199984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17006/statm: 97025 93069 740 1374 0 95646 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 388100

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 17091
/proc/meminfo: memFree=29006088/32950928 swapFree=67111528/67111528
[pid=17006] ppid=17004 vsize=333368 CPUtime=1800.27
/proc/17006/stat : 17006 (pbscip.linux.x8) R 17004 17006 16981 0 -1 4202496 3233918 0 0 0 177123 2904 0 0 18 0 1 0 134085123 341368832 79386 4089446400 4194304 9819077 140736267199984 18446744073709551615 5950410 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17006/statm: 83342 79386 741 1374 0 81963 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 333368

Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.33
CPU user time (s): 1771.27
CPU system time (s): 29.0666
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 389360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.27
system time used= 29.0666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3233922
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= 3
involuntary context switches= 2034

runsolver used 2.88056 second user time and 5.75612 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 21:58:22
IDJOB=2692997
IDBENCH=79283
IDSOLVER=1205
FILE ID=node149/2692997-1277927902
PBS_JOBID= 11197413
Free space on /tmp= 74208 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.1900550720--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-2692997-1277927902/watcher-2692997-1277927902 -o /tmp/evaluation-result-2692997-1277927902/solver-2692997-1277927902 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692997-1277927902.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 78d8e4512631586bbdc844ad983c3b47
RANDOM SEED=1920102451

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31231188 kB
Buffers:        212876 kB
Cached:        1275756 kB
SwapCached:          0 kB
Active:         536948 kB
Inactive:      1036668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31231188 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6356 kB
Writeback:           0 kB
AnonPages:       85460 kB
Mapped:          15448 kB
Slab:            82948 kB
PageTables:       5080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   228788 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 node149 at 2010-06-30 22:28:24