Trace number 2692335

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.35 1800.29

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
MD5SUM0bc882feda752f8542fa470cf04f3d53
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark307.459
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
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: SoPlex 1.4.2] [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-2692335-1277926667.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.12	o 137244
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.372440e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.372440e+05 |    Inf 
27.09/27.12	c  26.8s| 10000 | 10001 | 36155 |   3.6 |  51M| 145 |   0 |5645 |5414 |5645 | 202 |  12k|   0 |1813 | 0.000000e+00 | 1.372440e+05 |    Inf 
47.39/47.41	c  46.9s| 20000 | 20001 | 52932 |   2.6 |  73M| 145 |   0 |5645 |5414 |5645 | 208 |  20k|   0 |1819 | 0.000000e+00 | 1.372440e+05 |    Inf 
68.10/68.16	c  67.5s| 30000 | 30001 | 70543 |   2.3 |  95M| 145 |   0 |5645 |5414 |5645 | 207 |  28k|   0 |1819 | 0.000000e+00 | 1.372440e+05 |    Inf 
88.39/88.42	c  87.6s| 40000 | 40001 | 85042 |   2.1 | 117M| 145 |   0 |5645 |5414 |5645 | 208 |  34k|   0 |1819 | 0.000000e+00 | 1.372440e+05 |    Inf 
108.80/108.81	c   108s| 50000 | 50001 |100110 |   2.0 | 140M| 145 |   0 |5645 |5414 |5645 | 202 |  40k|   0 |1863 | 0.000000e+00 | 1.372440e+05 |    Inf 
129.29/129.39	c   128s| 60000 | 60001 |115755 |   1.9 | 162M| 145 |   0 |5645 |5414 |5645 | 197 |  46k|   0 |2026 | 0.000000e+00 | 1.372440e+05 |    Inf 
150.49/150.53	c   149s| 70000 | 70001 |135297 |   1.9 | 184M| 145 |   0 |5645 |5414 |5645 | 195 |  55k|   0 |2233 | 0.000000e+00 | 1.372440e+05 |    Inf 
171.29/171.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
171.29/171.32	c   170s| 80000 | 80001 |151636 |   1.9 | 206M| 145 |   0 |5645 |5414 |5645 | 205 |  62k|   0 |2479 | 0.000000e+00 | 1.372440e+05 |    Inf 
192.00/192.08	c   190s| 90000 | 90001 |167397 |   1.9 | 228M| 145 |   0 |5645 |5414 |5645 | 237 |  69k|   0 |2668 | 0.000000e+00 | 1.372440e+05 |    Inf 
212.80/212.89	c   211s|100000 |100001 |186683 |   1.9 | 250M| 145 |   0 |5645 |5414 |5645 | 282 |  77k|   0 |2832 | 0.000000e+00 | 1.372440e+05 |    Inf 
232.89/232.99	c   231s|110000 |110001 |198452 |   1.8 | 272M| 145 |   0 |5645 |5414 |5645 | 209 |  82k|   0 |2952 | 0.000000e+00 | 1.372440e+05 |    Inf 
252.80/252.88	c   251s|120000 |120001 |208538 |   1.7 | 294M| 145 |   0 |5645 |5414 |5645 | 253 |  85k|   0 |3052 | 0.000000e+00 | 1.372440e+05 |    Inf 
273.10/273.15	c   271s|130000 |130001 |223148 |   1.7 | 317M| 145 |   0 |5645 |5414 |5645 | 197 |  90k|   0 |3152 | 0.000000e+00 | 1.372440e+05 |    Inf 
293.00/293.09	c   291s|140000 |140001 |234014 |   1.7 | 339M| 145 |   0 |5645 |5414 |5645 | 233 |  94k|   0 |3259 | 0.000000e+00 | 1.372440e+05 |    Inf 
313.51/313.52	c   311s|150000 |150001 |249241 |   1.7 | 361M| 145 |   0 |5645 |5414 |5645 | 196 | 100k|   0 |3426 | 0.000000e+00 | 1.372440e+05 |    Inf 
334.50/334.54	c   332s|160000 |160001 |266707 |   1.7 | 383M| 145 |   0 |5645 |5414 |5645 | 241 | 107k|   0 |3543 | 0.000000e+00 | 1.372440e+05 |    Inf 
355.20/355.23	c   352s|170000 |170001 |283240 |   1.7 | 405M| 145 |  13 |5645 |5414 |5645 | 219 | 113k|   0 |3658 | 0.000000e+00 | 1.372440e+05 |    Inf 
376.81/376.80	c   374s|180000 |180001 |307305 |   1.7 | 428M| 145 |   0 |5645 |5414 |5645 | 242 | 120k|   0 |3867 | 0.000000e+00 | 1.372440e+05 |    Inf 
398.31/398.33	c   395s|190000 |190001 |332960 |   1.8 | 450M| 145 |   0 |5645 |5414 |5645 | 270 | 127k|   0 |4030 | 0.000000e+00 | 1.372440e+05 |    Inf 
419.60/419.64	c   416s|200000 |200001 |353921 |   1.8 | 472M| 145 |   0 |5645 |5414 |5645 | 196 | 132k|   0 |4154 | 0.000000e+00 | 1.372440e+05 |    Inf 
440.91/440.93	c   437s|210000 |210001 |374228 |   1.8 | 494M| 145 |   0 |5645 |5414 |5645 | 239 | 139k|   0 |4284 | 0.000000e+00 | 1.372440e+05 |    Inf 
461.80/461.87	c   458s|220000 |220001 |391338 |   1.8 | 516M| 145 |   0 |5645 |5414 |5645 | 218 | 145k|   0 |4396 | 0.000000e+00 | 1.372440e+05 |    Inf 
482.31/482.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
482.31/482.35	c   478s|230000 |230001 |407731 |   1.8 | 538M| 145 |   0 |5645 |5414 |5645 | 168 | 149k|   0 |4498 | 0.000000e+00 | 1.372440e+05 |    Inf 
503.31/503.34	c   499s|240000 |240001 |427220 |   1.8 | 561M| 145 |   0 |5645 |5414 |5645 | 229 | 157k|   0 |4652 | 0.000000e+00 | 1.372440e+05 |    Inf 
524.31/524.36	c   520s|250000 |250001 |443673 |   1.8 | 583M| 145 |   0 |5645 |5414 |5645 | 220 | 162k|   0 |4752 | 0.000000e+00 | 1.372440e+05 |    Inf 
545.31/545.30	c   541s|260000 |260001 |460729 |   1.8 | 605M| 145 |   5 |5645 |5414 |5645 | 243 | 167k|   0 |4856 | 0.000000e+00 | 1.372440e+05 |    Inf 
566.01/566.07	c   562s|270000 |270001 |477017 |   1.8 | 626M| 145 |   0 |5645 |5414 |5645 | 184 | 172k|   0 |4925 | 0.000000e+00 | 1.372440e+05 |    Inf 
587.11/587.18	c   582s|280000 |280001 |496132 |   1.8 | 648M| 145 |   0 |5645 |5414 |5645 | 252 | 178k|   0 |5025 | 0.000000e+00 | 1.372440e+05 |    Inf 
608.01/608.05	c   603s|290000 |290001 |511436 |   1.8 | 670M| 145 |   7 |5645 |5414 |5645 | 202 | 184k|   0 |5097 | 0.000000e+00 | 1.372440e+05 |    Inf 
628.91/628.90	c   624s|300000 |300001 |527163 |   1.8 | 692M| 145 |   0 |5645 |5414 |5645 | 182 | 189k|   0 |5195 | 0.000000e+00 | 1.372440e+05 |    Inf 
650.32/650.32	c   645s|310000 |310001 |549920 |   1.8 | 714M| 145 |   0 |5645 |5414 |5645 | 189 | 195k|   0 |5264 | 0.000000e+00 | 1.372440e+05 |    Inf 
671.61/671.64	c   666s|320000 |320001 |568820 |   1.8 | 736M| 145 |   0 |5645 |5414 |5645 | 229 | 201k|   0 |5451 | 0.000000e+00 | 1.372440e+05 |    Inf 
693.72/693.71	c   688s|330000 |330001 |597415 |   1.8 | 758M| 145 |   0 |5645 |5414 |5645 | 288 | 213k|   0 |5584 | 0.000000e+00 | 1.372440e+05 |    Inf 
714.32/714.39	c   709s|340000 |339999 |616726 |   1.8 | 780M|1283 |   0 |5645 |5423 |5645 | 189 | 222k|   9 |5702 | 0.000000e+00 | 1.372440e+05 |    Inf 
724.31/724.35	o 655
724.31/724.35	c * 719s|345758 |270522 |617873 |   1.8 | 638M|1283 |   - |5645 |5431 |5645 | 226 | 223k|  17 |5702 | 0.000000e+00 | 6.550000e+02 |    Inf 
724.61/724.60	o 487
724.61/724.60	c * 719s|345816 |201452 |617995 |   1.8 | 496M|1283 |   - |5645 |5471 |5645 | 237 | 223k|  57 |5702 | 0.000000e+00 | 4.870000e+02 |    Inf 
724.82/724.85	o 333
724.82/724.85	c * 719s|345864 |113901 |618008 |   1.8 | 305M|1283 |   - |5645 |5486 |5645 | 234 | 223k|  72 |5702 | 0.000000e+00 | 3.330000e+02 |    Inf 
725.52/725.50	o 320
725.52/725.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
725.52/725.50	c * 720s|346042 |106662 |619054 |   1.8 | 290M|1283 |   - |5645 |5577 |5645 | 199 | 223k| 163 |5704 | 0.000000e+00 | 3.200000e+02 |    Inf 
726.41/726.48	o 297
726.41/726.48	c * 721s|346324 | 94316 |620751 |   1.8 | 263M|1283 |   - |5645 |5736 |5645 | 194 | 224k| 322 |5705 | 0.000000e+00 | 2.970000e+02 |    Inf 
727.41/727.49	o 271
727.41/727.49	c * 722s|346604 | 80356 |621974 |   1.8 | 232M|1283 |   - |5645 |5895 |5645 | 213 | 224k| 481 |5705 | 0.000000e+00 | 2.710000e+02 |    Inf 
727.51/727.57	o 256
727.51/727.57	c * 722s|346614 | 72115 |622153 |   1.8 | 214M|1283 |   - |5645 |5901 |5645 | 182 | 224k| 487 |5705 | 0.000000e+00 | 2.560000e+02 |    Inf 
727.62/727.61	o 245
727.62/727.61	c * 722s|346616 | 66089 |622191 |   1.8 | 200M|1283 |   - |5645 |5901 |5645 | 184 | 224k| 487 |5705 | 0.000000e+00 | 2.450000e+02 |    Inf 
728.41/728.45	o 212
728.41/728.45	c * 723s|346825 | 49252 |623202 |   1.8 | 161M|1283 |   - |5645 |6008 |5645 | 218 | 224k| 594 |5706 | 0.000000e+00 | 2.120000e+02 |    Inf 
730.02/730.09	o 206
730.02/730.09	c * 724s|347173 | 46791 |626544 |   1.8 | 158M|1283 |   - |5645 |6255 |5645 | 197 | 225k| 841 |5706 | 0.000000e+00 | 2.060000e+02 |    Inf 
730.12/730.11	o 195
730.12/730.11	c * 724s|347174 | 41665 |626544 |   1.8 | 146M|1283 |   - |5645 |6255 |5645 | 197 | 225k| 841 |5706 | 0.000000e+00 | 1.950000e+02 |    Inf 
730.81/730.84	o 186
730.81/730.84	c * 725s|347373 | 37910 |627683 |   1.8 | 137M|1283 |   - |5645 |6339 |5645 | 216 | 226k| 925 |5720 | 0.000000e+00 | 1.860000e+02 |    Inf 
730.91/730.98	o 178
730.91/730.98	c * 725s|347407 | 34287 |627792 |   1.8 | 128M|1283 |   - |5645 |6347 |5645 | 194 | 226k| 933 |5720 | 0.000000e+00 | 1.780000e+02 |    Inf 
731.01/731.04	o 175
731.01/731.04	c * 725s|347420 | 33090 |627807 |   1.8 | 125M|1283 |   - |5645 |6348 |5645 | 194 | 226k| 934 |5720 | 0.000000e+00 | 1.750000e+02 |    Inf 
731.21/731.25	o 168
731.21/731.25	c * 725s|347452 | 30132 |628095 |   1.8 | 119M|1283 |   - |5645 |6365 |5645 | 176 | 226k| 951 |5723 | 0.000000e+00 | 1.680000e+02 |    Inf 
731.21/731.27	o 157
731.21/731.27	c * 725s|347453 | 25152 |628095 |   1.8 | 104M|1283 |   - |5645 |6365 |5645 | 176 | 226k| 951 |5723 | 0.000000e+00 | 1.570000e+02 |    Inf 
731.81/731.89	o 148
731.81/731.89	c * 726s|347628 | 22208 |628875 |   1.8 |  98M|1283 |   - |5645 |6415 |5645 | 246 | 226k|1001 |5733 | 0.000000e+00 | 1.480000e+02 |    Inf 
731.91/731.91	o 137
731.91/731.91	c * 726s|347629 | 18378 |628903 |   1.8 |  88M|1283 |   - |5645 |6415 |5645 | 245 | 226k|1001 |5733 | 0.000000e+00 | 1.370000e+02 |    Inf 
732.31/732.33	o 127
732.31/732.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
732.31/732.33	c * 727s|347780 | 15596 |629351 |   1.8 |  80M|1283 |   - |5645 |6436 |5645 | 200 | 226k|1024 |5740 | 0.000000e+00 | 1.270000e+02 |    Inf 
732.72/732.79	o 121
732.72/732.79	c * 727s|347871 | 14498 |630087 |   1.8 |  78M|1283 |   - |5645 |6507 |5645 | 174 | 226k|1095 |5747 | 0.000000e+00 | 1.210000e+02 |    Inf 
732.72/732.80	o 114
732.72/732.80	c * 727s|347872 | 13050 |630087 |   1.8 |  73M|1283 |   - |5645 |6507 |5645 | 174 | 226k|1095 |5747 | 0.000000e+00 | 1.140000e+02 |    Inf 
733.91/733.99	o 91
733.91/733.99	c * 728s|348068 |  9287 |631230 |   1.8 |  64M|1283 |   - |5645 |6626 |5645 | 167 | 227k|1215 |5759 | 0.000000e+00 | 9.100000e+01 |    Inf 
735.51/735.59	o 77
735.51/735.59	c * 730s|348410 |  6151 |632918 |   1.8 |  54M|1283 |   - |5645 |6639 |5645 | 168 | 227k|1537 |5775 | 0.000000e+00 | 7.700000e+01 |    Inf 
735.82/735.89	o 76
735.82/735.89	c * 730s|348476 |  3472 |633069 |   1.8 |  46M|1283 |   - |5645 |6270 |5645 | 164 | 227k|1597 |5775 | 0.000000e+00 | 7.600000e+01 |    Inf 
741.51/741.55	c   736s|350000 |  3561 |638601 |   1.8 |  49M|1283 |   - |5645 |6374 |   0 |   0 | 229k|3243 |5787 | 0.000000e+00 | 7.600000e+01 |    Inf 
773.23/773.23	c   767s|360000 |  3931 |676589 |   1.9 |  63M|1283 |   1 |5645 |7628 |5645 | 180 | 236k|  13k|5833 | 0.000000e+00 | 7.600000e+01 |    Inf 
804.12/804.10	c   798s|370000 |  4427 |704534 |   1.9 |  72M|1283 |   1 |5645 |8075 |5645 | 167 | 244k|  24k|5883 | 0.000000e+00 | 7.600000e+01 |    Inf 
821.73/821.80	o 74
821.73/821.80	c * 815s|376253 |  4600 |719308 |   1.9 |  78M|1283 |   - |5645 |9272 |5645 | 194 | 249k|  33k|5902 | 0.000000e+00 | 7.400000e+01 |    Inf 
833.12/833.19	c   826s|380000 |  4730 |728775 |   1.9 |  82M|1283 |   1 |5645 |9201 |5645 | 178 | 252k|  39k|5905 | 0.000000e+00 | 7.400000e+01 |    Inf 
864.11/864.16	c   857s|390000 |  5070 |755876 |   1.9 |  92M|1283 |   - |5645 |8588 |   0 |   0 | 261k|  55k|5947 | 0.000000e+00 | 7.400000e+01 |    Inf 
888.92/888.97	o 71
888.92/888.97	c * 881s|398612 |  4976 |778006 |   2.0 |  99M|1283 |   - |5645 |  12k|5645 | 161 | 268k|  69k|5972 | 0.000000e+00 | 7.100000e+01 |    Inf 
892.71/892.70	o 69
892.71/892.70	c * 885s|399648 |  4843 |781285 |   2.0 |  97M|1283 |   - |5645 |7936 |5645 | 172 | 269k|  71k|5988 | 0.000000e+00 | 6.900000e+01 |    Inf 
893.92/893.91	c   886s|400000 |  4840 |782243 |   2.0 |  97M|1283 |   1 |5645 |7484 |5645 | 171 | 269k|  72k|5992 | 0.000000e+00 | 6.900000e+01 |    Inf 
923.42/923.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
923.42/923.43	c   915s|410000 |  4979 |813210 |   2.0 | 104M|1283 |   6 |5645 |8080 |5645 | 179 | 276k|  84k|6038 | 0.000000e+00 | 6.900000e+01 |    Inf 
949.23/949.22	o 57
949.23/949.22	c * 941s|417917 |  4865 |848392 |   2.0 | 109M|1283 |   - |5645 |8251 |5645 | 185 | 280k|  93k|6085 | 0.000000e+00 | 5.700000e+01 |    Inf 
955.42/955.41	c   947s|420000 |  4876 |855775 |   2.0 | 111M|1283 |   - |5645 |8097 |   0 |   0 | 282k|  95k|6101 | 0.000000e+00 | 5.700000e+01 |    Inf 
957.03/957.01	o 40
957.03/957.01	c * 949s|420544 |  4098 |857331 |   2.0 | 106M|1283 |   - |5645 |7506 |5645 | 192 | 282k|  96k|6111 | 0.000000e+00 | 4.000000e+01 |    Inf 
980.92/980.93	c   972s|430000 |  3609 |886525 |   2.1 | 108M|1283 |  15 |5645 |7338 |5645 | 168 | 287k| 108k|6164 | 0.000000e+00 | 4.000000e+01 |    Inf 
1004.82/1004.84	c   996s|440000 |  3898 |918764 |   2.1 | 116M|1283 |   - |5645 |  11k|   0 |   0 | 295k| 122k|6205 | 0.000000e+00 | 4.000000e+01 |    Inf 
1031.22/1031.23	c  1022s|450000 |  4006 |953918 |   2.1 | 119M|1283 |   1 |5645 |  12k|5645 | 152 | 306k| 135k|6260 | 0.000000e+00 | 4.000000e+01 |    Inf 
1036.13/1036.18	o 38
1036.13/1036.18	c *1027s|451971 |  3857 |959392 |   2.1 | 118M|1283 |   - |5645 |  10k|5645 | 170 | 308k| 138k|6273 | 0.000000e+00 | 3.800000e+01 |    Inf 
1056.83/1056.89	c  1047s|460000 |  3980 |990271 |   2.2 | 122M|1283 |   1 |5645 |  12k|5645 | 163 | 318k| 149k|6312 | 0.000000e+00 | 3.800000e+01 |    Inf 
1072.82/1072.89	o 28
1072.82/1072.89	c *1063s|466425 |  3694 |  1010k|   2.2 | 119M|1283 |   - |5645 |  10k|5645 | 181 | 325k| 158k|6337 | 0.000000e+00 | 2.800000e+01 |    Inf 
1080.93/1080.98	c  1071s|470000 |  3687 |  1021k|   2.2 | 120M|1283 |   - |5645 |  10k|   0 |   0 | 328k| 163k|6359 | 0.000000e+00 | 2.800000e+01 |    Inf 
1093.63/1093.68	o 15
1093.63/1093.68	c *1084s|475776 |  2896 |  1034k|   2.2 |  98M|1283 |   - |5645 |7991 |5645 | 151 | 330k| 172k|6379 | 0.000000e+00 | 1.500000e+01 |    Inf 
1102.33/1102.30	c  1092s|480000 |  2785 |  1049k|   2.2 |  98M|1283 |   1 |5645 |8444 |5645 | 158 | 332k| 178k|6419 | 0.000000e+00 | 1.500000e+01 |    Inf 
1123.62/1123.68	c  1113s|490000 |  2885 |  1085k|   2.2 | 103M|1283 |   1 |5645 |  12k|5645 | 158 | 334k| 191k|6471 | 0.000000e+00 | 1.500000e+01 |    Inf 
1145.13/1145.18	c  1135s|500000 |  2846 |  1112k|   2.2 | 105M|1283 |   1 |5645 |9193 |5645 | 163 | 336k| 205k|6508 | 0.000000e+00 | 1.500000e+01 |    Inf 
1166.82/1166.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1166.82/1166.86	c  1156s|510000 |  2906 |  1152k|   2.3 | 107M|1283 |   - |5645 |  12k|   0 |   0 | 344k| 217k|6594 | 0.000000e+00 | 1.500000e+01 |    Inf 
1188.73/1188.70	c  1178s|520000 |  2966 |  1187k|   2.3 | 109M|1283 |   - |5645 |  14k|   0 |   0 | 349k| 229k|6630 | 0.000000e+00 | 1.500000e+01 |    Inf 
1211.93/1211.91	c  1201s|530000 |  3114 |  1216k|   2.3 | 113M|1283 |   1 |5645 |  19k|5645 | 182 | 354k| 242k|6657 | 0.000000e+00 | 1.500000e+01 |    Inf 
1237.13/1237.14	c  1226s|540000 |  3225 |  1252k|   2.3 | 114M|1283 |   9 |5645 |  18k|5645 | 171 | 361k| 255k|6714 | 0.000000e+00 | 1.500000e+01 |    Inf 
1263.94/1263.91	c  1252s|550000 |  3529 |  1292k|   2.3 | 118M|1283 |   - |5645 |  20k|   0 |   0 | 372k| 268k|6769 | 0.000000e+00 | 1.500000e+01 |    Inf 
1288.63/1288.64	c  1277s|560000 |  3591 |  1320k|   2.4 | 119M|1283 |  15 |5645 |  18k|5645 | 170 | 377k| 281k|6819 | 0.000000e+00 | 1.500000e+01 |    Inf 
1314.64/1314.64	c  1302s|570000 |  3741 |  1356k|   2.4 | 123M|1283 |  14 |5645 |  18k|5645 | 171 | 385k| 294k|6849 | 0.000000e+00 | 1.500000e+01 |    Inf 
1340.84/1340.82	c  1328s|580000 |  3935 |  1394k|   2.4 | 128M|1283 |   4 |5645 |  21k|5645 | 189 | 392k| 307k|6903 | 0.000000e+00 | 1.500000e+01 |    Inf 
1364.23/1364.30	c  1351s|590000 |  3967 |  1422k|   2.4 | 129M|1283 |   - |5645 |  20k|   0 |   0 | 396k| 320k|6976 | 0.000000e+00 | 1.500000e+01 |    Inf 
1389.13/1389.16	c  1376s|600000 |  3948 |  1452k|   2.4 | 130M|1283 |   1 |5645 |  18k|5645 | 176 | 400k| 333k|7001 | 0.000000e+00 | 1.500000e+01 |    Inf 
1413.73/1413.74	o 14
1413.73/1413.74	c *1400s|609473 |  3957 |  1478k|   2.4 | 130M|1283 |   - |5645 |  20k|5645 | 193 | 403k| 345k|7035 | 0.000000e+00 | 1.400000e+01 |    Inf 
1415.23/1415.22	c  1402s|610000 |  3969 |  1480k|   2.4 | 130M|1283 |   1 |5645 |  20k|5645 | 192 | 403k| 346k|7035 | 0.000000e+00 | 1.400000e+01 |    Inf 
1442.64/1442.68	c  1429s|620000 |  3958 |  1511k|   2.4 | 131M|1283 |   - |5645 |  16k|   0 |   0 | 408k| 359k|7098 | 0.000000e+00 | 1.400000e+01 |    Inf 
1468.44/1468.41	c  1454s|630000 |  3939 |  1541k|   2.4 | 132M|1283 |   1 |5645 |  17k|5645 | 174 | 412k| 372k|7137 | 0.000000e+00 | 1.400000e+01 |    Inf 
1494.13/1494.14	c  1480s|640000 |  3969 |  1567k|   2.4 | 132M|1283 |   1 |5645 |  14k|5645 | 168 | 417k| 384k|7256 | 0.000000e+00 | 1.400000e+01 |    Inf 
1520.33/1520.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1520.33/1520.34	c  1506s|650000 |  3993 |  1603k|   2.5 | 133M|1283 |   - |5645 |  16k|   0 |   0 | 424k| 398k|7291 | 0.000000e+00 | 1.400000e+01 |    Inf 
1545.24/1545.27	c  1530s|660000 |  4051 |  1632k|   2.5 | 135M|1283 |   - |5645 |  19k|   0 |   0 | 429k| 410k|7340 | 0.000000e+00 | 1.400000e+01 |    Inf 
1572.24/1572.27	c  1557s|670000 |  4177 |  1664k|   2.5 | 139M|1283 |  20 |5645 |  22k|5645 | 191 | 434k| 423k|7386 | 0.000000e+00 | 1.400000e+01 |    Inf 
1599.54/1599.57	c  1584s|680000 |  4220 |  1694k|   2.5 | 141M|1283 |   1 |5645 |  24k|5645 | 177 | 438k| 436k|7409 | 0.000000e+00 | 1.400000e+01 |    Inf 
1628.04/1628.01	c  1612s|690000 |  4215 |  1723k|   2.5 | 141M|1283 |   - |5645 |  24k|   0 |   0 | 441k| 449k|7436 | 0.000000e+00 | 1.400000e+01 |    Inf 
1655.85/1655.83	c  1640s|700000 |  4159 |  1749k|   2.5 | 141M|1283 |   1 |5645 |  24k|5645 | 175 | 444k| 462k|7464 | 0.000000e+00 | 1.400000e+01 |    Inf 
1680.34/1680.37	c  1664s|710000 |  4186 |  1774k|   2.5 | 141M|1283 |   - |5645 |  22k|   0 |   0 | 446k| 475k|7504 | 0.000000e+00 | 1.400000e+01 |    Inf 
1705.74/1705.71	c  1689s|720000 |  4219 |  1800k|   2.5 | 143M|1283 |   - |5645 |  24k|   0 |   0 | 448k| 489k|7528 | 0.000000e+00 | 1.400000e+01 |    Inf 
1731.74/1731.72	c  1715s|730000 |  4266 |  1824k|   2.5 | 145M|1283 |   1 |5645 |  27k|5645 | 158 | 450k| 502k|7553 | 0.000000e+00 | 1.400000e+01 |    Inf 
1758.55/1758.54	c  1742s|740000 |  4336 |  1852k|   2.5 | 147M|1283 |   - |5645 |  28k|   0 |   0 | 453k| 517k|7593 | 0.000000e+00 | 1.400000e+01 |    Inf 
1787.35/1787.32	c  1770s|750000 |  4332 |  1881k|   2.5 | 147M|1283 |   1 |5645 |  28k|5645 | 177 | 456k| 531k|7628 | 0.000000e+00 | 1.400000e+01 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1782.91
1800.05/1800.00	c Solving Nodes      : 754628
1800.05/1800.00	c Primal Bound       : +1.40000000000000e+01 (371 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.10	s SATISFIABLE
1800.05/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.05/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.05/1800.10	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.10	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.10	v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.10	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.05/1800.10	v -x104 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.05/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.05/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 
1800.05/1800.10	v -x29 -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 
1800.05/1800.10	v x2 -x1 
1800.05/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.10	c Solving Time       :    1782.91
1800.05/1800.10	c Original Problem   :
1800.05/1800.10	c   Problem name     : HOME/instance-2692335-1277926667.wbo
1800.05/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.10	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.10	c Presolved Problem  :
1800.05/1800.10	c   Problem name     : t_HOME/instance-2692335-1277926667.wbo
1800.05/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.10	c   Constraints      : 5414 initial, 30788 maximal
1800.05/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.10	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.10	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.05/1800.10	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.10	c   root node        :          -       2331          -          -       4662          -          -          -          -
1800.05/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.10	c   integral         :          0          0          0     628907          0          2         69          0          0     489574
1800.05/1800.10	c   indicator        :       2707          0    3177554     384009          0        971   13275245          0          0          0
1800.05/1800.10	c   linear           :       2707          6    3178926     382366          0     133224   11497796     457920          0          0
1800.05/1800.10	c   logicor          :          0+         0     779295          0          0      47911     919364          0          0          0
1800.05/1800.10	c   bounddisjunction :          0+         0      20805          0          0          0        541          0          0          0
1800.05/1800.10	c   countsols        :          0          0          0     324764          0          0          0          0          0          0
1800.05/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.10	c   integral         :      14.69       0.00       0.00      14.69       0.00
1800.05/1800.10	c   indicator        :     143.31       0.03      55.04      88.24       0.00
1800.05/1800.10	c   linear           :     146.71       0.01     119.65      27.05       0.00
1800.05/1800.10	c   logicor          :     115.24       0.00     115.24       0.00       0.00
1800.05/1800.10	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.05/1800.10	c   countsols        :       0.07       0.00       0.00       0.07       0.00
1800.05/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.10	c   vbounds          :       0.71          2          0          0
1800.05/1800.10	c   rootredcost      :       0.79         33          0       2331
1800.05/1800.10	c   pseudoobj        :     187.03    3210036      28486    9487287
1800.05/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.10	c   propagation      :      15.67     209621     209501    1437515       30.0      18091       12.9          -
1800.05/1800.10	c   infeasible LP    :       1.69       4289       4289      35829       38.6         88       11.9          0
1800.05/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.10	c   pseudo solution  :       0.05        345        345       1362       16.9        103       11.9          -
1800.05/1800.10	c   applied globally :          -          -          -     538349       22.7          -          -          -
1800.05/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.10	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.05/1800.10	c   redcost          :      67.16     637979          0    3264191          0          0
1800.05/1800.10	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.10	c   gomory           :       0.01          4          0          0         86          0
1800.05/1800.10	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.10	c   cmir             :       0.00          4          0          0          0          0
1800.05/1800.10	c   flowcover        :       0.03          4          0          0          0          0
1800.05/1800.10	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.10	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.10	c Pricers            :       Time      Calls       Vars
1800.05/1800.10	c   problem variables:       0.00          0          0
1800.05/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.10	c   relpscost        :      14.27     244852          2         69          0          0     489574
1800.05/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   inference        :      88.20     324731          0          0          0          0     649462
1800.05/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.10	c   LP solutions     :       0.65          -         33
1800.05/1800.10	c   pseudo solutions :       0.00          -          0
1800.05/1800.10	c   feaspump         :       0.00          0          0
1800.05/1800.10	c   oneopt           :       0.35         29          0
1800.05/1800.10	c   guideddiving     :       0.01          3          0
1800.05/1800.10	c   intshifting      :       0.03          6          0
1800.05/1800.10	c   crossover        :       1.31         35          0
1800.05/1800.10	c   veclendiving     :       7.00       4625          0
1800.05/1800.10	c   linesearchdiving :       7.16       4625          0
1800.05/1800.10	c   fracdiving       :       6.94       4626          0
1800.05/1800.10	c   coefdiving       :       6.98       4626          0
1800.05/1800.10	c   pscostdiving     :       6.95       4626          0
1800.05/1800.10	c   rootsoldiving    :       8.24       4619          0
1800.05/1800.10	c   objpscostdiving  :       7.41       4620          0
1800.05/1800.10	c   trivial          :       0.08          2          2
1800.05/1800.10	c   simplerounding   :       0.54     247835          0
1800.05/1800.10	c   zirounding       :       0.27       1000          0
1800.05/1800.10	c   rounding         :       4.20       7011          0
1800.05/1800.10	c   shifting         :       2.32       2200          0
1800.05/1800.10	c   twoopt           :       0.00          0          0
1800.05/1800.10	c   fixandinfer      :       0.00          0          0
1800.05/1800.10	c   intdiving        :       0.00          0          0
1800.05/1800.10	c   actconsdiving    :       0.00          0          0
1800.05/1800.10	c   octane           :       0.00          0          0
1800.05/1800.10	c   rens             :       0.03          1          0
1800.05/1800.10	c   rins             :       0.00          0          0
1800.05/1800.10	c   localbranching   :       0.00          0          0
1800.05/1800.10	c   mutation         :       0.00          0          0
1800.05/1800.10	c   dins             :       0.00          0          0
1800.05/1800.10	c   undercover       :       0.00          0          0
1800.05/1800.10	c   nlp              :       0.16          0          0
1800.05/1800.10	c   trysol           :       3.93      10509        336
1800.05/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.10	c   dual LP          :     475.76     328022    1893578       5.77    3980.11
1800.05/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.10	c   diving/probing LP:       0.19        244       1584       6.49    8336.84
1800.05/1800.10	c   strong branching :      12.53       7630      63219       8.29    5045.41
1800.05/1800.10	c     (at root node) :          -         32       1061      33.16          -
1800.05/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.10	c B&B Tree           :
1800.05/1800.10	c   number of runs   :          1
1800.05/1800.10	c   nodes            :     754628
1800.05/1800.10	c   nodes (total)    :     754628
1800.05/1800.10	c   nodes left       :       4404
1800.05/1800.10	c   max depth        :       1283
1800.05/1800.10	c   max depth (total):       1283
1800.05/1800.10	c   backtracks       :      39715 (5.3%)
1800.05/1800.10	c   delayed cutoffs  :      33205
1800.05/1800.10	c   repropagations   :    1243994 (6563378 domain reductions, 30149 cutoffs)
1800.05/1800.10	c   avg switch length:       5.24
1800.05/1800.10	c   switching time   :     174.04
1800.05/1800.10	c Solution           :
1800.05/1800.10	c   Solutions found  :        371 (34 improvements)
1800.05/1800.10	c   First Solution   : +1.37244000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.10	c   Primal Bound     : +1.40000000000000e+01   (in run 1, after 609473 nodes, 1400.30 seconds, depth 45, found by <relaxation>)
1800.05/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.10	c   Gap              :   infinite
1800.05/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.10	c   Root Iterations  :        106
1800.25/1800.29	c Time complete: 1800.33.

Verifier Data 

OK	14

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692335-1277926667/watcher-2692335-1277926667 -o /tmp/evaluation-result-2692335-1277926667/solver-2692335-1277926667 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692335-1277926667.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: 1.99 1.98 1.99 4/178 14136
/proc/meminfo: memFree=31455652/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=9740 CPUtime=0
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 1704 0 0 0 0 0 0 0 25 0 1 0 133964003 9973760 1624 4089446400 4194304 8223781 140734100658032 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14136/statm: 2435 1640 369 984 0 1448 0

[startup+0.0834649 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 14136
/proc/meminfo: memFree=31455652/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=35140 CPUtime=0.07
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 8088 0 0 0 7 0 0 0 25 0 1 0 133964003 35983360 7644 4089446400 4194304 8223781 140734100658032 18446744073709551615 7257383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 8785 7644 422 984 0 7798 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35140

[startup+0.100461 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 14136
/proc/meminfo: memFree=31455652/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=35140 CPUtime=0.09
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 8088 0 0 0 9 0 0 0 25 0 1 0 133964003 35983360 7644 4089446400 4194304 8223781 140734100658032 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 8785 7644 422 984 0 7798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35140

[startup+0.300437 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 14136
/proc/meminfo: memFree=31455652/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=57200 CPUtime=0.29
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 14172 0 0 0 28 1 0 0 25 0 1 0 133964003 58572800 13115 4089446400 4194304 8223781 140734100658032 18446744073709551615 7356399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 14333 13131 564 984 0 13346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57200

[startup+0.700364 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 14136
/proc/meminfo: memFree=31455652/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=43080 CPUtime=0.69
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 15655 0 0 0 68 1 0 0 25 0 1 0 133964003 44113920 9710 4089446400 4194304 8223781 140734100658032 18446744073709551615 6445441 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 10770 9710 575 984 0 9783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43080

[startup+1.50021 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=31418688/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=43308 CPUtime=1.49
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 15790 0 0 0 147 2 0 0 25 0 1 0 133964003 44347392 9845 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 10827 9845 578 984 0 9840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43308

[startup+3.10091 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=31416704/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=49384 CPUtime=3.09
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 22141 0 0 0 304 5 0 0 25 0 1 0 133964003 50569216 11116 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 12346 11116 579 984 0 11359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49384

[startup+6.30033 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=31409444/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=53784 CPUtime=6.29
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 28420 0 0 0 620 9 0 0 25 0 1 0 133964003 55074816 12296 4089446400 4194304 8223781 140734100658032 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 13446 12296 579 984 0 12459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53784

[startup+12.7002 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14137
/proc/meminfo: memFree=31399432/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=63016 CPUtime=12.69
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 40168 0 0 0 1254 15 0 0 25 0 1 0 133964003 64528384 14585 4089446400 4194304 8223781 140734100658032 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 15754 14585 579 984 0 14767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63016

[startup+25.5008 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14138
/proc/meminfo: memFree=31386600/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=76728 CPUtime=25.49
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 48685 0 0 0 2522 27 0 0 25 0 1 0 133964003 78569472 18003 4089446400 4194304 8223781 140734100658032 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 19182 18003 579 984 0 18195 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76728

[startup+51.1001 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14139
/proc/meminfo: memFree=31356212/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=106224 CPUtime=51.09
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 61203 0 0 0 5061 48 0 0 25 0 1 0 133964003 108773376 25441 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 26556 25441 579 984 0 25569 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 106224

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14140
/proc/meminfo: memFree=31296412/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=165632 CPUtime=102.29
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 81316 0 0 0 10142 87 0 0 25 0 1 0 133964003 169607168 40297 4089446400 4194304 8223781 140734100658032 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 41408 40297 579 984 0 40421 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 165632

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14141
/proc/meminfo: memFree=31236356/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=228352 CPUtime=162.29
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 102208 0 0 0 16094 135 0 0 25 0 1 0 133964003 233832448 55629 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 57088 55629 579 984 0 56101 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 228352

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14143
/proc/meminfo: memFree=31168976/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=293964 CPUtime=222.3
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 125088 0 0 0 22045 185 0 0 25 0 1 0 133964003 301019136 72133 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 73491 72133 579 984 0 72504 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 293964

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14145
/proc/meminfo: memFree=31101836/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=361380 CPUtime=282.3
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 142395 0 0 0 28000 230 0 0 25 0 1 0 133964003 370053120 88992 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 90345 88992 579 984 0 89358 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 361380

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14146
/proc/meminfo: memFree=31037184/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=425108 CPUtime=342.3
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 159315 0 0 0 33952 278 0 0 25 0 1 0 133964003 435310592 104957 4089446400 4194304 8223781 140734100658032 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 106277 104957 579 984 0 105290 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 425108

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14148
/proc/meminfo: memFree=30975384/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=487580 CPUtime=402.3
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 176943 0 0 0 39903 327 0 0 25 0 1 0 133964003 499281920 120649 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 121895 120649 579 984 0 120908 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 487580

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14176
/proc/meminfo: memFree=30845060/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=555136 CPUtime=462.31
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 198498 0 0 0 45859 372 0 0 25 0 1 0 133964003 568459264 136543 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 138784 136543 579 984 0 137797 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 555136

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14178
/proc/meminfo: memFree=30717772/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=616032 CPUtime=522.31
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 215191 0 0 0 51813 418 0 0 25 0 1 0 133964003 630816768 152070 4089446400 4194304 8223781 140734100658032 18446744073709551615 6003354 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 154008 152070 579 984 0 153021 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 616032

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14180
/proc/meminfo: memFree=30622748/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=679296 CPUtime=582.31
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 230974 0 0 0 57767 464 0 0 25 0 1 0 133964003 695599104 167837 4089446400 4194304 8223781 140734100658032 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 169824 167837 579 984 0 168837 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 679296

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14181
/proc/meminfo: memFree=30556344/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=741944 CPUtime=642.31
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 247418 0 0 0 63725 506 0 0 25 0 1 0 133964003 759750656 183576 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 185486 183576 579 984 0 184499 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 741944

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14188
/proc/meminfo: memFree=30320808/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=973404 CPUtime=882.32
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 370010 0 0 0 87484 748 0 0 25 0 1 0 133964003 996765696 239590 4089446400 4194304 8223781 140734100658032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 243351 239590 590 984 0 242364 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 973404

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14189
/proc/meminfo: memFree=30288392/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1009112 CPUtime=942.32
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 396264 0 0 0 93419 813 0 0 25 0 1 0 133964003 1033330688 247714 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 252278 247714 590 984 0 251291 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1009112

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14191
/proc/meminfo: memFree=30290560/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1009548 CPUtime=1002.32
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 430255 0 0 0 99346 886 0 0 25 0 1 0 133964003 1033777152 247011 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 252387 247011 590 984 0 251400 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1009548

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14192
/proc/meminfo: memFree=30277876/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1024532 CPUtime=1062.32
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 447883 0 0 0 105281 951 0 0 25 0 1 0 133964003 1049120768 250166 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 256133 250166 590 984 0 255146 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1024532

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14194
/proc/meminfo: memFree=30312784/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=989332 CPUtime=1122.32
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 500995 0 0 0 111202 1030 0 0 25 0 1 0 133964003 1013075968 240961 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 247333 240961 593 984 0 246346 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 989332

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 14196
/proc/meminfo: memFree=30307752/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=995904 CPUtime=1182.33
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 504084 0 0 0 117130 1103 0 0 25 0 1 0 133964003 1019805696 242224 4089446400 4194304 8223781 140734100658032 18446744073709551615 6206520 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 248976 242224 593 984 0 247989 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 995904

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14197
/proc/meminfo: memFree=30303240/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1000536 CPUtime=1242.33
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 512052 0 0 0 123067 1166 0 0 25 0 1 0 133964003 1024548864 243305 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 250134 243305 593 984 0 249147 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1000536

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14199
/proc/meminfo: memFree=30297104/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1004632 CPUtime=1302.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 512937 0 0 0 129008 1226 0 0 25 0 1 0 133964003 1028743168 244190 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 251158 244190 593 984 0 250171 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1004632

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14200
/proc/meminfo: memFree=30288124/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1012108 CPUtime=1362.33
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 516241 0 0 0 134941 1292 0 0 25 0 1 0 133964003 1036398592 245673 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14136/statm: 253027 245673 593 984 0 252040 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1012108

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14211
/proc/meminfo: memFree=30278840/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1016716 CPUtime=1422.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 529613 0 0 0 140878 1356 0 0 25 0 1 0 133964003 1041117184 246895 4089446400 4194304 8223781 140734100658032 18446744073709551615 4221231 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 254179 246895 601 984 0 253192 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1016716

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14213
/proc/meminfo: memFree=30272800/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1018740 CPUtime=1482.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 540034 0 0 0 146817 1417 0 0 25 0 1 0 133964003 1043189760 247338 4089446400 4194304 8223781 140734100658032 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 254685 247338 601 984 0 253698 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1018740

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14214
/proc/meminfo: memFree=30271392/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1020520 CPUtime=1542.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 540421 0 0 0 152757 1477 0 0 25 0 1 0 133964003 1045012480 247725 4089446400 4194304 8223781 140734100658032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 255130 247725 601 984 0 254143 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1020520

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14216
/proc/meminfo: memFree=30268256/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1024264 CPUtime=1602.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 543061 0 0 0 158700 1534 0 0 25 0 1 0 133964003 1048846336 248543 4089446400 4194304 8223781 140734100658032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 256066 248543 601 984 0 255079 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1024264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14217
/proc/meminfo: memFree=30266848/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1025036 CPUtime=1662.35
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 543289 0 0 0 164650 1585 0 0 25 0 1 0 133964003 1049636864 248771 4089446400 4194304 8223781 140734100658032 18446744073709551615 5000300 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 256259 248771 601 984 0 255272 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1025036

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14219
/proc/meminfo: memFree=30264676/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1026268 CPUtime=1722.35
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 545401 0 0 0 170594 1641 0 0 25 0 1 0 133964003 1050898432 249065 4089446400 4194304 8223781 140734100658032 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 256567 249065 601 984 0 255580 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1026268

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14221
/proc/meminfo: memFree=30262288/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1028180 CPUtime=1782.34
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 545842 0 0 0 176539 1695 0 0 25 0 1 0 133964003 1052856320 249506 4089446400 4194304 8223781 140734100658032 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 257045 249506 601 984 0 256058 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1028180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14221
/proc/meminfo: memFree=30259532/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=1031264 CPUtime=1800.05
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 546521 0 0 0 178294 1711 0 0 25 0 1 0 133964003 1056014336 250185 4089446400 4194304 8223781 140734100658032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14136/statm: 257816 250185 601 984 0 256829 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1031264

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.01 2.01 2.00 3/179 14221
/proc/meminfo: memFree=30259532/32951124 swapFree=67111528/67111528
[pid=14136] ppid=14134 vsize=723640 CPUtime=1800.25
/proc/14136/stat : 14136 (pbscip.linux.x8) R 14134 14136 10814 0 -1 4202496 546562 0 0 0 178312 1713 0 0 25 0 1 0 133964003 741007360 173283 4089446400 4194304 8223781 140734100658032 18446744073709551615 6207086 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14136/statm: 180910 173283 603 984 0 179923 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 723640

Child status: 0
Real time (s): 1800.29
CPU time (s): 1800.35
CPU user time (s): 1783.19
CPU system time (s): 17.1604
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1041940

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

runsolver used 3.18152 second user time and 5.9071 second system time

The end

Launcher Data 

Begin job on node109 at 2010-06-30 21:37:47
IDJOB=2692335
IDBENCH=79272
IDSOLVER=1204
FILE ID=node109/2692335-1277926667
PBS_JOBID= 11197334
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692335-1277926667/watcher-2692335-1277926667 -o /tmp/evaluation-result-2692335-1277926667/solver-2692335-1277926667 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692335-1277926667.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0bc882feda752f8542fa470cf04f3d53
RANDOM SEED=268142155

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.817
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.817
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.817
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.817
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.817
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.74
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.817
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:     32951124 kB
MemFree:      31456180 kB
Buffers:        209776 kB
Cached:        1055408 kB
SwapCached:          0 kB
Active:         601308 kB
Inactive:       748652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31456180 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4680 kB
Writeback:           0 kB
AnonPages:       85596 kB
Mapped:          15244 kB
Slab:            81108 kB
PageTables:       4868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   230624 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 node109 at 2010-06-30 22:07:49