Trace number 2693001

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MD5SUMcf389047fd441928b15b38cce26251ed
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 benchmark273.451
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 685
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-2693001-1277928118.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.13	o 135279
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.352790e+05
0.09/0.13	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.97
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.21	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.21	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.21	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.21	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.23	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.24	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.27	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.352790e+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.352790e+05 |    Inf 
0.39/0.43	c   0.3s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.352790e+05 |    Inf 
6.06/6.17	o 358
6.06/6.17	c * 5.9s|  2888 |  2784 |  2918 |   0.9 |  30M|2456 |   - |5645 |5414 |5645 | 215 | 870 |   0 | 603 | 0.000000e+00 | 3.580000e+02 |    Inf 
13.16/13.22	o 350
13.16/13.22	c *12.8s|  5427 |  4897 |  6743 |   1.2 |  42M|2456 |   - |5645 |6609 |5645 | 214 |2147 |1195 | 814 | 0.000000e+00 | 3.500000e+02 |    Inf 
13.25/13.39	o 349
13.25/13.39	c *13.0s|  5489 |  4940 |  6860 |   1.2 |  42M|2456 |   - |5645 |6626 |5645 | 219 |2180 |1212 | 818 | 0.000000e+00 | 3.490000e+02 |    Inf 
15.76/15.81	o 348
15.76/15.81	c *15.4s|  6387 |  5703 |  7827 |   1.2 |  44M|2456 |   - |5645 |7038 |5645 | 232 |2500 |1624 | 846 | 0.000000e+00 | 3.480000e+02 |    Inf 
15.76/15.84	o 333
15.76/15.84	c *15.4s|  6399 |  5509 |  7827 |   1.2 |  44M|2456 |   - |5645 |7038 |5645 | 232 |2500 |1624 | 846 | 0.000000e+00 | 3.330000e+02 |    Inf 
16.15/16.27	o 303
16.15/16.27	c *15.8s|  6553 |  5210 |  8042 |   1.2 |  42M|2456 |   - |5645 |7089 |5645 | 231 |2576 |1675 | 846 | 0.000000e+00 | 3.030000e+02 |    Inf 
18.45/18.54	o 182
18.45/18.54	c *18.0s|  7345 |  3816 |  9156 |   1.2 |  37M|2456 |   - |5645 |7426 |5645 | 217 |2969 |2012 | 870 | 0.000000e+00 | 1.820000e+02 |    Inf 
22.96/23.08	o 173
22.96/23.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.96/23.08	c *22.5s|  8696 |  4400 | 11958 |   1.4 |  42M|2456 |   - |5645 |8619 |5645 | 245 |4020 |3216 | 969 | 0.000000e+00 | 1.730000e+02 |    Inf 
27.36/27.43	c  26.8s| 10000 |  5395 | 15087 |   1.5 |  47M|2456 |   0 |5645 |9268 |5645 | 256 |5096 |4111 |1030 | 0.000000e+00 | 1.730000e+02 |    Inf 
35.06/35.12	o 156
35.06/35.12	c *34.3s| 12085 |  6041 | 22822 |   1.9 |  55M|2456 |   - |5645 |9300 |5645 | 269 |7457 |5769 |1240 | 0.000000e+00 | 1.560000e+02 |    Inf 
48.55/48.63	o 152
48.55/48.63	c *47.6s| 15652 |  8385 | 39395 |   2.5 |  69M|2456 |   - |5645 |7262 |5645 | 211 |  12k|8202 |1407 | 0.000000e+00 | 1.520000e+02 |    Inf 
55.05/55.17	o 150
55.05/55.17	c *54.0s| 17491 |  9498 | 48015 |   2.7 |  78M|2456 |   - |5645 |6875 |5645 | 261 |  15k|9322 |1503 | 0.000000e+00 | 1.500000e+02 |    Inf 
55.35/55.40	o 148
55.35/55.40	c *54.2s| 17528 |  9389 | 48417 |   2.8 |  78M|2456 |   - |5645 |6794 |5645 | 236 |  15k|9354 |1511 | 0.000000e+00 | 1.480000e+02 |    Inf 
57.35/57.40	o 133
57.35/57.40	c *56.1s| 18004 |  8805 | 50895 |   2.8 |  77M|2456 |   - |5645 |6735 |5645 | 226 |  15k|9720 |1524 | 0.000000e+00 | 1.330000e+02 |    Inf 
59.06/59.15	o 111
59.06/59.15	c *57.8s| 18485 |  8051 | 53761 |   2.9 |  72M|2456 |   - |5645 |6769 |5645 | 203 |  16k|  10k|1555 | 0.000000e+00 | 1.110000e+02 |    Inf 
60.46/60.53	o 110
60.46/60.53	c *59.2s| 18825 |  8148 | 55431 |   2.9 |  73M|2456 |   - |5645 |6701 |5645 | 232 |  17k|  10k|1570 | 0.000000e+00 | 1.100000e+02 |    Inf 
65.16/65.26	o 102
65.16/65.26	c *63.9s| 19923 |  8350 | 61293 |   3.1 |  76M|2456 |   - |5645 |6627 |5645 | 234 |  18k|  11k|1607 | 0.000000e+00 | 1.020000e+02 |    Inf 
65.45/65.50	o 93
65.45/65.50	c *64.1s| 19977 |  7611 | 61634 |   3.1 |  69M|2456 |   - |5645 |6589 |5645 | 179 |  18k|  11k|1607 | 0.000000e+00 | 9.300000e+01 |    Inf 
65.45/65.56	o 92
65.45/65.56	c *64.2s| 19982 |  7251 | 61693 |   3.1 |  64M|2456 |   - |5645 |6359 |5645 | 187 |  18k|  11k|1607 | 0.000000e+00 | 9.200000e+01 |    Inf 
65.56/65.67	c  64.2s| 20000 |  7257 | 61883 |   3.1 |  64M|2456 |   1 |5645 |6303 |5645 | 173 |  19k|  11k|1607 | 0.000000e+00 | 9.200000e+01 |    Inf 
89.25/89.38	o 79
89.25/89.38	c *87.6s| 26370 |  9730 | 85707 |   3.2 |  82M|2456 |   - |5645 |7149 |5645 | 215 |  26k|  16k|1674 | 0.000000e+00 | 7.900000e+01 |    Inf 
104.56/104.61	c   102s| 30000 | 11157 |105523 |   3.5 |  96M|2456 |   - |5645 |6715 |5645 | 238 |  32k|  19k|1852 | 0.000000e+00 | 7.900000e+01 |    Inf 
143.36/143.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
143.36/143.48	c   141s| 40000 | 14753 |152630 |   3.8 | 130M|2456 |   1 |5645 |7601 |5645 | 245 |  46k|  29k|2282 | 0.000000e+00 | 7.900000e+01 |    Inf 
145.46/145.54	o 78
145.46/145.54	c * 143s| 40594 | 14877 |154735 |   3.8 | 132M|2456 |   - |5645 |7553 |5645 | 241 |  46k|  29k|2296 | 0.000000e+00 | 7.800000e+01 |    Inf 
181.76/181.84	c   178s| 50000 | 18008 |193661 |   3.9 | 158M|2456 |   1 |5645 |7428 |5645 | 249 |  58k|  39k|2567 | 0.000000e+00 | 7.800000e+01 |    Inf 
212.76/212.85	o 77
212.76/212.85	c * 209s| 57778 | 20565 |229107 |   4.0 | 183M|2456 |   - |5645 |7124 |5645 | 204 |  68k|  46k|2819 | 0.000000e+00 | 7.700000e+01 |    Inf 
212.76/212.86	o 71
212.76/212.86	c * 209s| 57779 | 19514 |229116 |   4.0 | 177M|2456 |   - |5645 |7124 |5645 | 204 |  68k|  46k|2819 | 0.000000e+00 | 7.100000e+01 |    Inf 
213.06/213.19	o 69
213.06/213.19	c * 209s| 57909 | 19404 |229329 |   4.0 | 177M|2456 |   - |5645 |6890 |5645 | 216 |  68k|  46k|2822 | 0.000000e+00 | 6.900000e+01 |    Inf 
221.76/221.82	c   218s| 60000 | 19859 |240563 |   4.0 | 182M|2456 |   0 |5645 |6739 |5645 | 204 |  72k|  49k|2893 | 0.000000e+00 | 6.900000e+01 |    Inf 
234.46/234.53	o 66
234.46/234.53	c * 230s| 62984 | 19808 |256815 |   4.1 | 188M|2456 |   - |5645 |6988 |5645 | 215 |  77k|  52k|2997 | 0.000000e+00 | 6.600000e+01 |    Inf 
234.46/234.54	o 61
234.46/234.54	c * 230s| 62985 | 19031 |256821 |   4.1 | 184M|2456 |   - |5645 |6987 |5645 | 215 |  77k|  52k|2997 | 0.000000e+00 | 6.100000e+01 |    Inf 
236.06/236.15	o 48
236.06/236.15	c * 232s| 63364 | 17889 |258987 |   4.1 | 177M|2456 |   - |5645 |6675 |5645 | 212 |  77k|  53k|3021 | 0.000000e+00 | 4.800000e+01 |    Inf 
237.06/237.14	o 47
237.06/237.14	c * 233s| 63672 | 17732 |260118 |   4.1 | 176M|2456 |   - |5645 |6419 |5645 | 215 |  78k|  53k|3048 | 0.000000e+00 | 4.700000e+01 |    Inf 
237.06/237.15	o 44
237.06/237.15	c * 233s| 63673 | 17337 |260119 |   4.1 | 173M|2456 |   - |5645 |6419 |5645 | 215 |  78k|  53k|3048 | 0.000000e+00 | 4.400000e+01 |    Inf 
237.67/237.77	o 39
237.67/237.77	c * 233s| 63894 | 16463 |260524 |   4.1 | 166M|2456 |   - |5645 |6370 |5645 | 213 |  78k|  53k|3049 | 0.000000e+00 | 3.900000e+01 |    Inf 
237.96/238.08	o 25
237.96/238.08	c * 233s| 64032 | 14288 |260721 |   4.1 | 140M|2456 |   - |5645 |6280 |5645 | 230 |  78k|  53k|3049 | 0.000000e+00 | 2.500000e+01 |    Inf 
239.47/239.57	o 10
239.47/239.57	c * 235s| 64523 | 10881 |263099 |   4.1 | 103M|2456 |   - |5645 |4734 |5645 | 189 |  78k|  54k|3075 | 0.000000e+00 | 1.000000e+01 |    Inf 
242.36/242.42	o 9
242.36/242.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
242.36/242.42	c * 238s| 65817 | 10113 |269817 |   4.1 | 101M|2456 |   - |5645 |4597 |5645 | 191 |  80k|  56k|3160 | 0.000000e+00 | 9.000000e+00 |    Inf 
242.96/243.06	o 1
242.96/243.06	c * 238s| 66111 |  7872 |270717 |   4.1 |  84M|2456 |   - |5645 |4620 |5645 | 210 |  80k|  56k|3177 | 0.000000e+00 | 1.000000e+00 |    Inf 
249.26/249.38	c   244s| 70000 |  7807 |286163 |   4.1 |  85M|2456 |   - |5645 |6377 |   0 |   0 |  82k|  61k|3261 | 0.000000e+00 | 1.000000e+00 |    Inf 
266.56/266.60	c   261s| 80000 |  7153 |321005 |   4.0 |  84M|2456 |   6 |5645 |8078 |5645 | 197 |  86k|  74k|3487 | 0.000000e+00 | 1.000000e+00 |    Inf 
283.67/283.72	c   278s| 90000 |  7224 |355239 |   3.9 |  86M|2456 |   - |5645 |  11k|   0 |   0 |  89k|  87k|3602 | 0.000000e+00 | 1.000000e+00 |    Inf 
302.86/302.96	c   297s|100000 |  7513 |397601 |   4.0 |  89M|2456 |   1 |5645 |  12k|5645 | 189 |  94k| 100k|3783 | 0.000000e+00 | 1.000000e+00 |    Inf 
322.18/322.25	c   316s|110000 |  7592 |439641 |   4.0 |  91M|2456 |   1 |5645 |  12k|5645 | 197 |  99k| 114k|3921 | 0.000000e+00 | 1.000000e+00 |    Inf 
342.27/342.39	c   335s|120000 |  7259 |480259 |   4.0 |  89M|2456 |   - |5645 |  10k|5645 | 211 | 103k| 128k|4184 | 0.000000e+00 | 1.000000e+00 |    Inf 
361.97/362.05	c   354s|130000 |  7390 |518794 |   4.0 |  91M|2456 |   1 |5645 |  12k|5645 | 245 | 109k| 141k|4257 | 0.000000e+00 | 1.000000e+00 |    Inf 
381.77/381.87	c   374s|140000 |  7356 |563655 |   4.0 |  92M|2456 |  22 |5645 |  13k|5645 | 242 | 113k| 155k|4362 | 0.000000e+00 | 1.000000e+00 |    Inf 
402.37/402.46	c   394s|150000 |  7381 |605668 |   4.0 |  92M|2456 |   - |5645 |  11k|5645 | 240 | 118k| 167k|4582 | 0.000000e+00 | 1.000000e+00 |    Inf 
423.27/423.30	c   414s|160000 |  7410 |645362 |   4.0 |  93M|2456 |   - |5645 |  11k|   0 |   0 | 122k| 181k|4746 | 0.000000e+00 | 1.000000e+00 |    Inf 
442.87/442.92	c   433s|170000 |  7490 |687113 |   4.0 |  95M|2456 |  10 |5645 |  11k|5645 | 238 | 127k| 194k|4882 | 0.000000e+00 | 1.000000e+00 |    Inf 
462.67/462.76	c   453s|180000 |  7586 |730823 |   4.1 |  98M|2456 |   1 |5645 |  13k|5645 | 221 | 131k| 207k|5017 | 0.000000e+00 | 1.000000e+00 |    Inf 
483.57/483.68	c   473s|190000 |  7672 |770304 |   4.1 | 100M|2456 |   1 |5645 |  15k|5645 | 231 | 135k| 221k|5101 | 0.000000e+00 | 1.000000e+00 |    Inf 
504.57/504.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
504.57/504.69	c   494s|200000 |  7762 |808555 |   4.0 | 103M|2456 |   1 |5645 |  17k|5645 | 231 | 139k| 235k|5212 | 0.000000e+00 | 1.000000e+00 |    Inf 
526.58/526.67	c   515s|210000 |  7877 |849942 |   4.0 | 105M|2456 |   - |5645 |  19k|   0 |   0 | 142k| 249k|5324 | 0.000000e+00 | 1.000000e+00 |    Inf 
549.27/549.34	c   538s|220000 |  8034 |886000 |   4.0 | 108M|2456 |   5 |5645 |  20k|5645 | 258 | 146k| 264k|5406 | 0.000000e+00 | 1.000000e+00 |    Inf 
572.37/572.41	c   560s|230000 |  8061 |927516 |   4.0 | 110M|2456 |   1 |5645 |  20k|5645 | 282 | 149k| 280k|5492 | 0.000000e+00 | 1.000000e+00 |    Inf 
595.08/595.19	c   582s|240000 |  8105 |966591 |   4.0 | 111M|2456 |   - |5645 |  20k|   0 |   0 | 153k| 295k|5573 | 0.000000e+00 | 1.000000e+00 |    Inf 
618.08/618.12	c   605s|250000 |  8103 |  1009k|   4.0 | 111M|2456 |  31 |5645 |  18k|5645 | 278 | 157k| 310k|5700 | 0.000000e+00 | 1.000000e+00 |    Inf 
639.58/639.66	c   626s|260000 |  7756 |  1059k|   4.1 | 104M|2456 |   - |5645 |  13k|   0 |   0 | 162k| 324k|5803 | 0.000000e+00 | 1.000000e+00 |    Inf 
659.98/660.06	c   646s|270000 |  7843 |  1102k|   4.1 | 106M|2456 |   - |5645 |  15k|   0 |   0 | 166k| 338k|5897 | 0.000000e+00 | 1.000000e+00 |    Inf 
682.38/682.48	c   668s|280000 |  8050 |  1148k|   4.1 | 109M|2456 |   - |5645 |  18k|   0 |   0 | 171k| 352k|5959 | 0.000000e+00 | 1.000000e+00 |    Inf 
703.89/703.95	c   689s|290000 |  8006 |  1188k|   4.1 | 109M|2456 |   - |5645 |  17k|   0 |   0 | 176k| 366k|6039 | 0.000000e+00 | 1.000000e+00 |    Inf 
724.99/725.08	c   710s|300000 |  7767 |  1227k|   4.1 | 106M|2456 |   - |5645 |  12k|   0 |   0 | 180k| 380k|6203 | 0.000000e+00 | 1.000000e+00 |    Inf 
743.78/743.89	c   728s|310000 |  7507 |  1265k|   4.1 | 104M|2456 |   - |5645 |  12k|   0 |   0 | 185k| 394k|6303 | 0.000000e+00 | 1.000000e+00 |    Inf 
762.38/762.46	c   746s|320000 |  7300 |  1298k|   4.1 | 102M|2456 |   9 |5645 |  12k|5645 | 197 | 189k| 407k|6370 | 0.000000e+00 | 1.000000e+00 |    Inf 
782.78/782.85	c   766s|330000 |  7365 |  1336k|   4.1 | 105M|2456 |   1 |5645 |  16k|5645 | 226 | 193k| 421k|6416 | 0.000000e+00 | 1.000000e+00 |    Inf 
803.99/804.08	c   787s|340000 |  7462 |  1381k|   4.1 | 105M|2456 |   1 |5645 |  14k|5645 | 199 | 198k| 434k|6531 | 0.000000e+00 | 1.000000e+00 |    Inf 
824.89/824.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
824.89/824.93	c   808s|350000 |  7281 |  1425k|   4.1 | 102M|2456 |   - |5645 |  13k|   0 |   0 | 203k| 448k|6653 | 0.000000e+00 | 1.000000e+00 |    Inf 
844.69/844.74	c   827s|360000 |  7427 |  1459k|   4.1 | 104M|2456 |  16 |5645 |  15k|5645 | 186 | 208k| 461k|6715 | 0.000000e+00 | 1.000000e+00 |    Inf 
866.19/866.26	c   848s|370000 |  7571 |  1496k|   4.0 | 106M|2456 |   - |5645 |  16k|   0 |   0 | 212k| 474k|6791 | 0.000000e+00 | 1.000000e+00 |    Inf 
888.19/888.20	c   870s|380000 |  7468 |  1534k|   4.0 | 107M|2456 |  16 |5645 |  17k|5645 | 215 | 216k| 487k|6841 | 0.000000e+00 | 1.000000e+00 |    Inf 
909.79/909.83	c   891s|390000 |  7309 |  1572k|   4.0 | 103M|2456 |  14 |5645 |  15k|5645 | 187 | 220k| 502k|6946 | 0.000000e+00 | 1.000000e+00 |    Inf 
930.09/930.15	c   911s|400000 |  7362 |  1613k|   4.0 | 105M|2456 |   - |5645 |  17k|   0 |   0 | 226k| 516k|6980 | 0.000000e+00 | 1.000000e+00 |    Inf 
951.09/951.11	c   931s|410000 |  7195 |  1653k|   4.0 | 103M|2456 |   1 |5645 |  15k|5645 | 220 | 230k| 530k|7076 | 0.000000e+00 | 1.000000e+00 |    Inf 
970.99/971.04	c   951s|420000 |  7400 |  1690k|   4.0 | 106M|2456 |   - |5645 |  17k|   0 |   0 | 235k| 543k|7127 | 0.000000e+00 | 1.000000e+00 |    Inf 
992.99/993.04	c   972s|430000 |  7632 |  1730k|   4.0 | 109M|2456 |  18 |5645 |  20k|5645 | 230 | 238k| 556k|7178 | 0.000000e+00 | 1.000000e+00 |    Inf 
1014.39/1014.42	c   993s|440000 |  7718 |  1764k|   4.0 | 111M|2456 |  13 |5645 |  21k|5645 | 237 | 241k| 570k|7225 | 0.000000e+00 | 1.000000e+00 |    Inf 
1035.60/1035.69	c  1014s|450000 |  7848 |  1801k|   4.0 | 113M|2456 |  12 |5645 |  22k|5645 | 236 | 244k| 585k|7264 | 0.000000e+00 | 1.000000e+00 |    Inf 
1057.69/1057.70	c  1036s|460000 |  7918 |  1837k|   4.0 | 114M|2456 |   1 |5645 |  19k|5645 | 216 | 248k| 600k|7322 | 0.000000e+00 | 1.000000e+00 |    Inf 
1078.60/1078.61	c  1056s|470000 |  7425 |  1873k|   4.0 | 107M|2456 |   - |5645 |  14k|   0 |   0 | 251k| 614k|7461 | 0.000000e+00 | 1.000000e+00 |    Inf 
1098.30/1098.36	c  1075s|480000 |  7179 |  1904k|   4.0 | 104M|2456 |   - |5645 |  14k|   0 |   0 | 255k| 627k|7616 | 0.000000e+00 | 1.000000e+00 |    Inf 
1118.40/1118.46	c  1095s|490000 |  6639 |  1943k|   4.0 | 101M|2456 |  17 |5645 |  16k|5645 | 197 | 259k| 641k|7689 | 0.000000e+00 | 1.000000e+00 |    Inf 
1139.79/1139.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1139.79/1139.82	c  1116s|500000 |  6690 |  1979k|   4.0 | 103M|2456 |   1 |5645 |  18k|5645 | 196 | 262k| 654k|7730 | 0.000000e+00 | 1.000000e+00 |    Inf 
1161.39/1161.48	c  1137s|510000 |  6675 |  2014k|   3.9 | 103M|2456 |   - |5645 |  20k|5645 | 237 | 265k| 668k|7778 | 0.000000e+00 | 1.000000e+00 |    Inf 
1184.09/1184.16	c  1159s|520000 |  6847 |  2053k|   3.9 | 105M|2456 |   1 |5645 |  19k|5645 | 211 | 268k| 682k|7847 | 0.000000e+00 | 1.000000e+00 |    Inf 
1207.20/1207.22	c  1182s|530000 |  6973 |  2095k|   4.0 | 107M|2456 |   - |5645 |  21k|   0 |   0 | 273k| 696k|7912 | 0.000000e+00 | 1.000000e+00 |    Inf 
1232.80/1232.80	c  1207s|540000 |  7471 |  2142k|   4.0 | 111M|2456 |   1 |5645 |  23k|5645 | 203 | 280k| 708k|7971 | 0.000000e+00 | 1.000000e+00 |    Inf 
1259.01/1259.06	c  1233s|550000 |  7852 |  2194k|   4.0 | 115M|2456 |   - |5645 |  21k|   0 |   0 | 289k| 721k|8056 | 0.000000e+00 | 1.000000e+00 |    Inf 
1283.50/1283.51	c  1257s|560000 |  8105 |  2240k|   4.0 | 118M|2456 |   - |5645 |  22k|   0 |   0 | 295k| 734k|8122 | 0.000000e+00 | 1.000000e+00 |    Inf 
1308.71/1308.71	c  1282s|570000 |  8307 |  2288k|   4.0 | 120M|2456 |   1 |5645 |  21k|5645 | 209 | 302k| 746k|8190 | 0.000000e+00 | 1.000000e+00 |    Inf 
1333.21/1333.21	c  1306s|580000 |  8366 |  2331k|   4.0 | 121M|2456 |   1 |5645 |  20k|5645 | 203 | 308k| 760k|8255 | 0.000000e+00 | 1.000000e+00 |    Inf 
1357.50/1357.54	c  1329s|590000 |  8359 |  2371k|   4.0 | 122M|2456 |   1 |5645 |  21k|5645 | 197 | 314k| 774k|8306 | 0.000000e+00 | 1.000000e+00 |    Inf 
1382.11/1382.16	c  1354s|600000 |  8407 |  2414k|   4.0 | 124M|2456 |   1 |5645 |  22k|5645 | 200 | 321k| 788k|8359 | 0.000000e+00 | 1.000000e+00 |    Inf 
1406.60/1406.64	c  1378s|610000 |  8535 |  2452k|   4.0 | 125M|2456 |   - |5645 |  21k|   0 |   0 | 325k| 802k|8409 | 0.000000e+00 | 1.000000e+00 |    Inf 
1431.51/1431.51	c  1402s|620000 |  8483 |  2491k|   4.0 | 125M|2456 |   - |5645 |  21k|   0 |   0 | 331k| 816k|8471 | 0.000000e+00 | 1.000000e+00 |    Inf 
1455.51/1455.57	c  1425s|630000 |  8414 |  2528k|   4.0 | 126M|2456 |   1 |5645 |  21k|5645 | 208 | 335k| 830k|8531 | 0.000000e+00 | 1.000000e+00 |    Inf 
1478.91/1478.98	c  1448s|640000 |  8400 |  2566k|   4.0 | 127M|2456 |   1 |5645 |  21k|5645 | 205 | 340k| 844k|8593 | 0.000000e+00 | 1.000000e+00 |    Inf 
1502.41/1502.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1502.41/1502.50	c  1471s|650000 |  8356 |  2604k|   4.0 | 127M|2456 |   - |5645 |  21k|   0 |   0 | 344k| 858k|8640 | 0.000000e+00 | 1.000000e+00 |    Inf 
1526.72/1526.73	c  1495s|660000 |  8345 |  2646k|   4.0 | 128M|2456 |   1 |5645 |  22k|5645 | 207 | 349k| 873k|8693 | 0.000000e+00 | 1.000000e+00 |    Inf 
1550.62/1550.66	c  1519s|670000 |  8341 |  2687k|   4.0 | 128M|2456 |   1 |5645 |  21k|5645 | 253 | 353k| 888k|8738 | 0.000000e+00 | 1.000000e+00 |    Inf 
1574.51/1574.57	c  1542s|680000 |  8228 |  2728k|   4.0 | 128M|2456 |   - |5645 |  21k|   0 |   0 | 359k| 903k|8793 | 0.000000e+00 | 1.000000e+00 |    Inf 
1598.32/1598.39	c  1565s|690000 |  8307 |  2772k|   4.0 | 129M|2456 |   1 |5645 |  22k|5645 | 225 | 364k| 917k|8861 | 0.000000e+00 | 1.000000e+00 |    Inf 
1621.72/1621.75	c  1588s|700000 |  8333 |  2809k|   4.0 | 130M|2456 |  13 |5645 |  21k|5645 | 207 | 368k| 932k|8917 | 0.000000e+00 | 1.000000e+00 |    Inf 
1645.82/1645.84	c  1612s|710000 |  8327 |  2849k|   4.0 | 130M|2456 |   1 |5645 |  21k|5645 | 209 | 372k| 947k|8974 | 0.000000e+00 | 1.000000e+00 |    Inf 
1669.72/1669.76	c  1635s|720000 |  8479 |  2894k|   4.0 | 132M|2456 |   5 |5645 |  22k|5645 | 234 | 378k| 961k|9034 | 0.000000e+00 | 1.000000e+00 |    Inf 
1693.22/1693.25	c  1658s|730000 |  8361 |  2935k|   4.0 | 132M|2456 |  20 |5645 |  22k|5645 | 229 | 383k| 976k|9079 | 0.000000e+00 | 1.000000e+00 |    Inf 
1717.32/1717.32	c  1682s|740000 |  8262 |  2976k|   4.0 | 131M|2456 |   1 |5645 |  20k|5645 | 200 | 388k| 991k|9112 | 0.000000e+00 | 1.000000e+00 |    Inf 
1741.92/1741.97	c  1706s|750000 |  8203 |  3015k|   4.0 | 132M|2456 |   - |5645 |  22k|   0 |   0 | 392k|1005k|9163 | 0.000000e+00 | 1.000000e+00 |    Inf 
1766.92/1766.91	c  1730s|760000 |  8027 |  3058k|   4.0 | 130M|2456 |   - |5645 |  22k|   0 |   0 | 397k|1019k|9224 | 0.000000e+00 | 1.000000e+00 |    Inf 
1791.12/1791.15	c  1754s|770000 |  7909 |  3099k|   4.0 | 130M|2456 |   1 |5645 |  24k|5645 | 244 | 401k|1034k|9286 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01	c 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time (sec) : 1762.79
1800.03/1800.01	c Solving Nodes      : 773677
1800.03/1800.01	c Primal Bound       : +1.00000000000000e+00 (410 solutions)
1800.03/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.01	c Gap                : infinite
1800.03/1800.08	s SATISFIABLE
1800.03/1800.08	v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.08	v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.08	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
1800.03/1800.08	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 
1800.03/1800.08	v -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.03/1800.08	v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 
1800.03/1800.08	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.03/1800.08	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.03/1800.08	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.03/1800.08	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.03/1800.08	v -x1 
1800.03/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.08	c Solving Time       :    1762.79
1800.03/1800.08	c Original Problem   :
1800.03/1800.08	c   Problem name     : HOME/instance-2693001-1277928118.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.08	c Presolved Problem  :
1800.03/1800.08	c   Problem name     : t_HOME/instance-2693001-1277928118.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5414 initial, 24658 maximal
1800.03/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.03/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   integral         :          0          0          0     482842          0         15        582          0          0     801246
1800.03/1800.08	c   indicator        :       2707          0     341139      51073          0        361    7577363          0          0          0
1800.03/1800.08	c   linear           :       2707          6    4331227      81700          0     279690   19108405     403427          0          0
1800.03/1800.08	c   logicor          :          0+         0    1298751          0          0      98369    1575784          0          0          0
1800.03/1800.08	c   bounddisjunction :          0+         0       1266          0          0          0          0          0          0          0
1800.03/1800.08	c   countsols        :          0          0          0      34639          0          0          0          0          0          0
1800.03/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.08	c   integral         :      14.56       0.00       0.00      14.56       0.00
1800.03/1800.08	c   indicator        :      32.75       0.00      19.23      13.52       0.00
1800.03/1800.08	c   linear           :     276.29       0.00     266.23      10.06       0.00
1800.03/1800.08	c   logicor          :     234.28       0.00     234.28       0.00       0.00
1800.03/1800.08	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.08	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.03/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.08	c   vbounds          :       1.23          2          0          0
1800.03/1800.08	c   rootredcost      :       1.02         33          0       2707
1800.03/1800.08	c   pseudoobj        :     212.99    4341221       9679    4923931
1800.03/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.08	c   propagation      :      25.42     387738     387575    2360314       29.9      24987       16.8          -
1800.03/1800.08	c   infeasible LP    :       3.64       8630       8630      68867       41.0         94       18.0          0
1800.03/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   pseudo solution  :       0.11        391        391       1347       10.5        249        6.9          -
1800.03/1800.08	c   applied globally :          -          -          -    1040001       23.2          -          -          -
1800.03/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.08	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.03/1800.08	c   redcost          :      37.75     486876          0    2610420          0          0
1800.03/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.08	c   gomory           :       0.01          4          0          0         75          0
1800.03/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.08	c   cmir             :       0.01          4          0          0          1          0
1800.03/1800.08	c   flowcover        :       0.02          4          0          0          2          0
1800.03/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.08	c Pricers            :       Time      Calls       Vars
1800.03/1800.08	c   problem variables:       0.00          0          0
1800.03/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   relpscost        :      14.40     401114         15        582          0          0     801246
1800.03/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   inference        :       9.69      34606          0          0          0          0      69212
1800.03/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.08	c   LP solutions     :       0.09          -         33
1800.03/1800.08	c   pseudo solutions :       0.00          -          0
1800.03/1800.08	c   feaspump         :       0.02          0          0
1800.03/1800.08	c   oneopt           :       0.39         30          0
1800.03/1800.08	c   guideddiving     :       0.02         12          0
1800.03/1800.08	c   fracdiving       :       0.05         32          0
1800.03/1800.08	c   veclendiving     :       0.02         32          0
1800.03/1800.08	c   linesearchdiving :       0.09         32          0
1800.03/1800.08	c   coefdiving       :       0.04         32          0
1800.03/1800.08	c   pscostdiving     :       0.08         33          0
1800.03/1800.08	c   objpscostdiving  :       0.05         28          0
1800.03/1800.08	c   rootsoldiving    :       0.06         28          0
1800.03/1800.08	c   crossover        :       1.33         38          4
1800.03/1800.08	c   trivial          :       0.09          2          2
1800.03/1800.08	c   simplerounding   :       0.68     401858          0
1800.03/1800.08	c   zirounding       :       0.58       1000          0
1800.03/1800.08	c   rounding         :       2.46       8941          0
1800.03/1800.08	c   shifting         :       1.51       2789          0
1800.03/1800.08	c   intshifting      :       0.02          5          0
1800.03/1800.08	c   twoopt           :       0.00          0          0
1800.03/1800.08	c   fixandinfer      :       0.00          0          0
1800.03/1800.08	c   intdiving        :       0.00          0          0
1800.03/1800.08	c   actconsdiving    :       0.00          0          0
1800.03/1800.08	c   octane           :       0.00          0          0
1800.03/1800.08	c   rens             :       0.03          1          0
1800.03/1800.08	c   rins             :       0.00          0          0
1800.03/1800.08	c   localbranching   :       0.00          0          0
1800.03/1800.08	c   mutation         :       0.00          0          0
1800.03/1800.08	c   dins             :       0.00          0          0
1800.03/1800.08	c   undercover       :       0.00          0          0
1800.03/1800.08	c   nlp              :       0.34          0          0
1800.03/1800.08	c   trysol           :       1.55       1448        371
1800.03/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.08	c   dual LP          :     424.70     464530    3113966       6.70    7332.15
1800.03/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.08	c   diving/probing LP:       0.08         52       1004      19.31   12550.00
1800.03/1800.08	c   strong branching :      11.61       9288     100280      10.80    8637.38
1800.03/1800.08	c     (at root node) :          -         33       1884      57.09          -
1800.03/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.08	c B&B Tree           :
1800.03/1800.08	c   number of runs   :          1
1800.03/1800.08	c   nodes            :     773677
1800.03/1800.08	c   nodes (total)    :     773677
1800.03/1800.08	c   nodes left       :       7811
1800.03/1800.08	c   max depth        :       2456
1800.03/1800.08	c   max depth (total):       2456
1800.03/1800.08	c   backtracks       :      67208 (8.7%)
1800.03/1800.08	c   delayed cutoffs  :      66322
1800.03/1800.08	c   repropagations   :    2311955 (5096359 domain reductions, 58657 cutoffs)
1800.03/1800.08	c   avg switch length:       7.55
1800.03/1800.08	c   switching time   :     262.85
1800.03/1800.08	c Solution           :
1800.03/1800.08	c   Solutions found  :        410 (34 improvements)
1800.03/1800.08	c   First Solution   : +1.35279000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.08	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 66111 nodes, 238.25 seconds, depth 26, found by <relaxation>)
1800.03/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.08	c   Gap              :   infinite
1800.03/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.08	c   Root Iterations  :        183
1800.22/1800.24	c Time complete: 1800.26.

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-2693001-1277928118/watcher-2693001-1277928118 -o /tmp/evaluation-result-2693001-1277928118/solver-2693001-1277928118 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693001-1277928118.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.69 2.87 2.60 4/199 15166
/proc/meminfo: memFree=31498164/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=10964 CPUtime=0
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1668 0 0 0 0 0 0 0 24 0 1 0 133957485 11227136 1589 4089446400 4194304 9819077 140737089425728 18446744073709551615 8659358 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15166/statm: 2741 1589 392 1374 0 1362 0

[startup+0.029712 s]
/proc/loadavg: 2.69 2.87 2.60 4/199 15166
/proc/meminfo: memFree=31498164/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=17136 CPUtime=0.02
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 3225 0 0 0 2 0 0 0 24 0 1 0 133957485 17547264 3146 4089446400 4194304 9819077 140737089425728 18446744073709551615 6178283 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15166/statm: 4284 3146 392 1374 0 2905 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17136

[startup+0.100778 s]
/proc/loadavg: 2.69 2.87 2.60 4/199 15166
/proc/meminfo: memFree=31498164/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=36396 CPUtime=0.09
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 8121 0 0 0 9 0 0 0 24 0 1 0 133957485 37269504 7688 4089446400 4194304 9819077 140737089425728 18446744073709551615 8678894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15166/statm: 9099 7688 469 1374 0 7720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36396

[startup+0.300738 s]
/proc/loadavg: 2.69 2.87 2.60 4/199 15166
/proc/meminfo: memFree=31498164/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=45856 CPUtime=0.29
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 10850 0 0 0 27 2 0 0 25 0 1 0 133957485 46956544 9833 4089446400 4194304 9819077 140737089425728 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15166/statm: 11464 9833 671 1374 0 10085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45856

[startup+0.700669 s]
/proc/loadavg: 2.69 2.87 2.60 4/199 15166
/proc/meminfo: memFree=31498164/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=47224 CPUtime=0.69
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 26370 0 0 0 63 6 0 0 25 0 1 0 133957485 48357376 9993 4089446400 4194304 9819077 140737089425728 18446744073709551615 6513120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15166/statm: 11806 9993 697 1374 0 10427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47224

[startup+1.5005 s]
/proc/loadavg: 2.69 2.87 2.60 4/200 15167
/proc/meminfo: memFree=31458972/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=47772 CPUtime=1.49
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 45582 0 0 0 140 9 0 0 25 0 1 0 133957485 48918528 10374 4089446400 4194304 9819077 140737089425728 18446744073709551615 6003339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15166/statm: 11943 10374 699 1374 0 10564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47772

[startup+3.10119 s]
/proc/loadavg: 2.69 2.87 2.60 4/200 15167
/proc/meminfo: memFree=31455996/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=51684 CPUtime=3.07
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 62077 0 0 0 295 12 0 0 25 0 1 0 133957485 52924416 11274 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15166/statm: 12921 11274 700 1374 0 11542 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 51684

[startup+6.30052 s]
/proc/loadavg: 2.71 2.87 2.60 4/200 15167
/proc/meminfo: memFree=31448596/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=59812 CPUtime=6.26
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 73928 0 0 0 604 22 0 0 25 0 1 0 133957485 61247488 13336 4089446400 4194304 9819077 140737089425728 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15166/statm: 14953 13336 700 1374 0 13574 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59812

[startup+12.7004 s]
/proc/loadavg: 2.66 2.86 2.60 4/200 15167
/proc/meminfo: memFree=31436328/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=72772 CPUtime=12.66
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 100594 0 0 0 1234 32 0 0 25 0 1 0 133957485 74518528 16455 4089446400 4194304 9819077 140737089425728 18446744073709551615 6361052 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 18193 16455 704 1374 0 16814 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 72772

[startup+25.5008 s]
/proc/loadavg: 2.50 2.81 2.59 2/177 15170
/proc/meminfo: memFree=31728548/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=90004 CPUtime=25.46
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 155042 0 0 0 2491 55 0 0 25 0 1 0 133957485 92164096 20781 4089446400 4194304 9819077 140737089425728 18446744073709551615 6581232 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 22501 20781 704 1374 0 21122 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 90004

[startup+51.1009 s]
/proc/loadavg: 2.43 2.76 2.57 4/200 15243
/proc/meminfo: memFree=31472456/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=142204 CPUtime=51.05
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 261351 0 0 0 4999 106 0 0 25 0 1 0 133957485 145616896 33240 4089446400 4194304 9819077 140737089425728 18446744073709551615 6089666 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 35551 33240 705 1374 0 34172 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 142204

[startup+102.306 s]
/proc/loadavg: 2.68 2.78 2.59 4/200 15244
/proc/meminfo: memFree=31368444/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=232312 CPUtime=102.26
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 423772 0 0 0 10027 199 0 0 25 0 1 0 133957485 237887488 54562 4089446400 4194304 9819077 140737089425728 18446744073709551615 6670053 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 58078 54562 710 1374 0 56699 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 232312

[startup+162.301 s]
/proc/loadavg: 2.77 2.78 2.60 10/200 15246
/proc/meminfo: memFree=31265460/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=331304 CPUtime=162.26
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 578298 0 0 0 15911 315 0 0 25 0 1 0 133957485 339255296 76680 4089446400 4194304 9819077 140737089425728 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 82826 76680 711 1374 0 81447 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 331304

[startup+222.301 s]
/proc/loadavg: 2.82 2.79 2.61 4/200 15248
/proc/meminfo: memFree=31189616/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=404388 CPUtime=222.27
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 714224 0 0 0 21804 423 0 0 25 0 1 0 133957485 414093312 92889 4089446400 4194304 9819077 140737089425728 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 101097 92889 713 1374 0 99718 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 404388

[startup+282.301 s]
/proc/loadavg: 2.85 2.79 2.62 4/200 15249
/proc/meminfo: memFree=31161032/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=427092 CPUtime=282.26
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 906239 0 0 0 27652 574 0 0 25 0 1 0 133957485 437342208 97758 4089446400 4194304 9819077 140737089425728 18446744073709551615 4977983 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 106773 97758 731 1374 0 105394 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 427092

[startup+342.301 s]
/proc/loadavg: 2.63 2.75 2.62 4/200 15251
/proc/meminfo: memFree=31151528/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=429156 CPUtime=342.27
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1057077 0 0 0 33514 713 0 0 25 0 1 0 133957485 439455744 98295 4089446400 4194304 9819077 140737089425728 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 107289 98295 740 1374 0 105910 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 429156

[startup+402.301 s]
/proc/loadavg: 2.86 2.79 2.64 4/200 15252
/proc/meminfo: memFree=31145008/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=429500 CPUtime=402.27
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1187571 0 0 0 39381 846 0 0 25 0 1 0 133957485 439808000 98467 4089446400 4194304 9819077 140737089425728 18446744073709551615 6361161 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 107375 98467 740 1374 0 105996 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 429500

[startup+462.3 s]
/proc/loadavg: 2.75 2.78 2.64 4/200 15254
/proc/meminfo: memFree=31136932/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=433200 CPUtime=462.27
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1312581 0 0 0 45240 987 0 0 25 0 1 0 133957485 443596800 99326 4089446400 4194304 9819077 140737089425728 18446744073709551615 4238029 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 108300 99326 740 1374 0 106921 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 433200

[startup+522.301 s]
/proc/loadavg: 2.75 2.78 2.65 4/200 15256
/proc/meminfo: memFree=31127308/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=438376 CPUtime=522.28
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1407025 0 0 0 51108 1120 0 0 25 0 1 0 133957485 448897024 100623 4089446400 4194304 9819077 140737089425728 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 109594 100623 740 1374 0 108215 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 438376

[startup+582.3 s]
/proc/loadavg: 2.84 2.80 2.66 4/200 15257
/proc/meminfo: memFree=31119852/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=441180 CPUtime=582.28
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1478214 0 0 0 56986 1242 0 0 25 0 1 0 133957485 451768320 101372 4089446400 4194304 9819077 140737089425728 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 110295 101372 740 1374 0 108916 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 441180

[startup+642.301 s]
/proc/loadavg: 2.79 2.79 2.66 4/200 15259
/proc/meminfo: memFree=31112844/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=443732 CPUtime=642.29
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1549418 0 0 0 62871 1358 0 0 25 0 1 0 133957485 454381568 102001 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 110933 102001 740 1374 0 109554 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 443732

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 3.09 2.85 2.70 4/200 15265
/proc/meminfo: memFree=31094740/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=444592 CPUtime=882.28
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1859183 0 0 0 86380 1848 0 0 25 0 1 0 133957485 455262208 102217 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 111148 102217 740 1374 0 109769 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 444592

[startup+942.3 s]
/proc/loadavg: 2.90 2.83 2.70 4/200 15267
/proc/meminfo: memFree=31091048/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=444584 CPUtime=942.29
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 1932833 0 0 0 92260 1969 0 0 25 0 1 0 133957485 455254016 102216 4089446400 4194304 9819077 140737089425728 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 111146 102216 740 1374 0 109767 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 444584

[startup+1002.3 s]
/proc/loadavg: 2.87 2.83 2.71 3/200 15268
/proc/meminfo: memFree=31086000/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=444900 CPUtime=1002.29
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2009983 0 0 0 98141 2088 0 0 25 0 1 0 133957485 455577600 102287 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 111225 102287 740 1374 0 109846 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 444900

[startup+1062.3 s]
/proc/loadavg: 2.38 2.70 2.67 3/179 15300
/proc/meminfo: memFree=31378520/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=449560 CPUtime=1062.29
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2082962 0 0 0 104005 2224 0 0 25 0 1 0 133957485 460349440 103417 4089446400 4194304 9819077 140737089425728 18446744073709551615 6669943 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 112390 103417 740 1374 0 111011 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 449560

[startup+1122.3 s]
/proc/loadavg: 2.14 2.57 2.63 4/179 15302
/proc/meminfo: memFree=31377248/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=449788 CPUtime=1122.3
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2157196 0 0 0 109877 2353 0 0 25 0 1 0 133957485 460582912 103497 4089446400 4194304 9819077 140737089425728 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 112447 103497 740 1374 0 111068 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 449788

[startup+1182.3 s]
/proc/loadavg: 2.05 2.47 2.59 4/179 15303
/proc/meminfo: memFree=31376956/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=449792 CPUtime=1182.3
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2224082 0 0 0 115760 2470 0 0 25 0 1 0 133957485 460587008 103499 4089446400 4194304 9819077 140737089425728 18446744073709551615 6367454 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 112448 103499 740 1374 0 111069 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 449792

[startup+1242.3 s]
/proc/loadavg: 2.02 2.38 2.54 4/179 15305
/proc/meminfo: memFree=31376432/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=450400 CPUtime=1242.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2287547 0 0 0 121647 2584 0 0 25 0 1 0 133957485 461209600 103624 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 112600 103624 740 1374 0 111221 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 450400

[startup+1302.3 s]
/proc/loadavg: 2.05 2.32 2.52 4/179 15306
/proc/meminfo: memFree=31369828/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=456660 CPUtime=1302.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2362206 0 0 0 127526 2705 0 0 25 0 1 0 133957485 467619840 105170 4089446400 4194304 9819077 140737089425728 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 114165 105170 740 1374 0 112786 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 456660

[startup+1362.3 s]
/proc/loadavg: 2.02 2.26 2.48 4/179 15308
/proc/meminfo: memFree=31367928/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=458436 CPUtime=1362.3
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2436489 0 0 0 133411 2819 0 0 25 0 1 0 133957485 469438464 105651 4089446400 4194304 9819077 140737089425728 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 114609 105651 740 1374 0 113230 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 458436

[startup+1422.31 s]
/proc/loadavg: 2.00 2.21 2.45 3/179 15310
/proc/meminfo: memFree=31366156/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=460100 CPUtime=1422.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2508994 0 0 0 139291 2940 0 0 25 0 1 0 133957485 471142400 105998 4089446400 4194304 9819077 140737089425728 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 115025 105998 740 1374 0 113646 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 460100

[startup+1482.3 s]
/proc/loadavg: 2.00 2.17 2.42 3/179 15311
/proc/meminfo: memFree=31364392/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=462244 CPUtime=1482.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2585007 0 0 0 145166 3065 0 0 25 0 1 0 133957485 473337856 106445 4089446400 4194304 9819077 140737089425728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 115561 106445 740 1374 0 114182 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 462244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.14 2.39 4/179 15313
/proc/meminfo: memFree=31361992/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=464152 CPUtime=1542.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2664985 0 0 0 151036 3195 0 0 25 0 1 0 133957485 475291648 106925 4089446400 4194304 9819077 140737089425728 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116038 106925 740 1374 0 114659 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 464152

[startup+1602.3 s]
/proc/loadavg: 2.00 2.11 2.36 4/179 15314
/proc/meminfo: memFree=31360848/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=465276 CPUtime=1602.32
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2747130 0 0 0 156910 3322 0 0 25 0 1 0 133957485 476442624 107226 4089446400 4194304 9819077 140737089425728 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116319 107226 740 1374 0 114940 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 465276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.09 2.34 4/179 15316
/proc/meminfo: memFree=31359452/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=466428 CPUtime=1662.31
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2826913 0 0 0 162789 3442 0 0 25 0 1 0 133957485 477622272 107550 4089446400 4194304 9819077 140737089425728 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116607 107550 740 1374 0 115228 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 466428

[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.31 5/179 15318
/proc/meminfo: memFree=31358552/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=466808 CPUtime=1722.32
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2909439 0 0 0 168663 3569 0 0 25 0 1 0 133957485 478011392 107654 4089446400 4194304 9819077 140737089425728 18446744073709551615 5507315 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116702 107654 740 1374 0 115323 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 466808

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.29 4/179 15319
/proc/meminfo: memFree=31358028/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=467356 CPUtime=1782.32
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 2988771 0 0 0 174546 3686 0 0 25 0 1 0 133957485 478572544 107795 4089446400 4194304 9819077 140737089425728 18446744073709551615 5813293 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116839 107795 740 1374 0 115460 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 467356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.29 3/179 15320
/proc/meminfo: memFree=31358140/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=467416 CPUtime=1800.03
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 3013060 0 0 0 176282 3721 0 0 25 0 1 0 133957485 478633984 107815 4089446400 4194304 9819077 140737089425728 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15166/statm: 116854 107815 740 1374 0 115475 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 467416

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.05 2.06 2.29 3/179 15320
/proc/meminfo: memFree=31358140/32950928 swapFree=67111528/67111528
[pid=15166] ppid=15164 vsize=456260 CPUtime=1800.22
/proc/15166/stat : 15166 (pbscip.linux.x8) R 15164 15166 14937 0 -1 4202496 3013116 0 0 0 176301 3721 0 0 25 0 1 0 133957485 467210240 105043 4089446400 4194304 9819077 140737089425728 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15166/statm: 114065 105043 741 1374 0 112686 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 456260

Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.28
CPU user time (s): 1763.04
CPU system time (s): 37.2373
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 468092

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

runsolver used 2.5926 second user time and 5.73113 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 22:01:58
IDJOB=2693001
IDBENCH=79285
IDSOLVER=1205
FILE ID=node127/2693001-1277928118
PBS_JOBID= 11197375
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.1900565534--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-2693001-1277928118/watcher-2693001-1277928118 -o /tmp/evaluation-result-2693001-1277928118/solver-2693001-1277928118 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693001-1277928118.wbo -t 1800 -m 3800

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

MD5SUM BENCH= cf389047fd441928b15b38cce26251ed
RANDOM SEED=434257445

node127.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.828
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.65
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.828
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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31498692 kB
Buffers:        213840 kB
Cached:         719044 kB
SwapCached:          0 kB
Active:         794504 kB
Inactive:       514424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31498692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6336 kB
Writeback:           0 kB
AnonPages:      376664 kB
Mapped:          20276 kB
Slab:            78676 kB
PageTables:       5504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1664900 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node127 at 2010-06-30 22:32:00