Trace number 2705041

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.35 1790.32

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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705041-1278578330.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.11	o 137244
0.09/0.11	c feasible solution found by trivial heuristic, objective value  1.372440e+05
0.09/0.11	c presolving:
0.09/0.12	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (3 rounds):
0.09/0.17	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  5391 implications, 0 cliques
0.09/0.17	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.17	c    2707 constraints of type <linear>
0.09/0.17	c    2707 constraints of type <indicator>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.3
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1789.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17	c # [type: int, range: [1,2], default: 1]
0.09/0.17	c timing/clocktype = 2
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/indicator/addCouplingCons = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.18	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.29/0.35	c   0.3s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   101 |     - |  19M|   0 |  35 |5645 |5414 |5645 | 120 | 120 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   133 |     - |  19M|   0 |  38 |5645 |5414 |5645 | 150 | 150 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   184 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.49/0.51	c   0.5s|     1 |     2 |   184 |     - |  20M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |  32 | 0.000000e+00 | 1.372440e+05 |    Inf 
6.39/6.46	o 713
6.39/6.46	c * 6.4s|  3590 |  3496 |  1555 |   0.4 |  29M|3088 |   - |5645 |5414 |5645 | 219 | 443 |   0 | 411 | 0.000000e+00 | 7.130000e+02 |    Inf 
18.09/18.10	c  18.1s| 10000 |  9902 |  2986 |   0.3 |  42M|3088 |   0 |5645 |5428 |5645 | 215 | 786 |  14 | 548 | 0.000000e+00 | 7.130000e+02 |    Inf 
34.49/34.56	c  34.5s| 20000 | 19890 |  4148 |   0.2 |  63M|3088 |   0 |5645 |5458 |5645 | 215 |1139 |  44 | 650 | 0.000000e+00 | 7.130000e+02 |    Inf 
43.79/43.81	o 507
43.79/43.81	c *43.8s| 25422 | 22686 |  4676 |   0.2 |  70M|3088 |   - |5645 |5492 |5645 | 212 |1311 |  78 | 675 | 0.000000e+00 | 5.070000e+02 |    Inf 
44.09/44.11	o 503
44.09/44.11	c *44.1s| 25571 | 22781 |  4732 |   0.2 |  70M|3088 |   - |5645 |5506 |5645 | 220 |1334 |  92 | 678 | 0.000000e+00 | 5.030000e+02 |    Inf 
49.29/49.32	o 492
49.29/49.32	c *49.3s| 27969 | 24888 |  5880 |   0.2 |  77M|3088 |   - |5645 |5771 |5645 | 189 |1655 | 357 | 701 | 0.000000e+00 | 4.920000e+02 |    Inf 
50.79/50.83	o 454
50.79/50.83	c *50.8s| 28511 | 24376 |  6740 |   0.2 |  77M|3088 |   - |5645 |6010 |5645 | 192 |1861 | 596 | 742 | 0.000000e+00 | 4.540000e+02 |    Inf 
50.89/50.95	o 453
50.89/50.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.89/50.95	c *50.9s| 28558 | 24390 |  6802 |   0.2 |  77M|3088 |   - |5645 |6010 |5645 | 185 |1862 | 596 | 742 | 0.000000e+00 | 4.530000e+02 |    Inf 
54.69/54.77	c  54.7s| 30000 | 25707 |  8373 |   0.3 |  83M|3088 |   0 |5645 |6473 |5645 | 184 |2274 |1059 | 759 | 0.000000e+00 | 4.530000e+02 |    Inf 
64.59/64.65	o 401
64.59/64.65	c *64.6s| 33940 | 27461 | 13070 |   0.4 |  91M|3088 |   - |5645 |7517 |5645 | 192 |3551 |2103 | 799 | 0.000000e+00 | 4.010000e+02 |    Inf 
68.79/68.83	o 356
68.79/68.83	c *68.8s| 35501 | 27188 | 14938 |   0.4 |  89M|3088 |   - |5645 |8060 |5645 | 189 |4098 |2649 | 816 | 0.000000e+00 | 3.560000e+02 |    Inf 
71.29/71.31	o 350
71.29/71.31	c *71.3s| 36428 | 27697 | 16041 |   0.4 |  92M|3088 |   - |5645 |8341 |5645 | 200 |4422 |2939 | 829 | 0.000000e+00 | 3.500000e+02 |    Inf 
81.19/81.23	c  81.2s| 40000 | 30734 | 21146 |   0.5 | 102M|3088 |   0 |5645 |9497 |5645 | 187 |5898 |4221 | 868 | 0.000000e+00 | 3.500000e+02 |    Inf 
102.20/102.25	o 340
102.20/102.25	c * 102s| 47284 | 36209 | 32871 |   0.7 | 123M|3088 |   - |5645 |  10k|5645 | 183 |9081 |6759 |1051 | 0.000000e+00 | 3.400000e+02 |    Inf 
110.89/110.93	c   111s| 50000 | 38338 | 38498 |   0.8 | 132M|3088 |   0 |5645 |  10k|5645 | 206 |  10k|7886 |1153 | 0.000000e+00 | 3.400000e+02 |    Inf 
112.89/112.98	o 282
112.89/112.98	c * 113s| 50706 | 35342 | 39423 |   0.8 | 121M|3088 |   - |5645 |  10k|5645 | 205 |  10k|8168 |1158 | 0.000000e+00 | 2.820000e+02 |    Inf 
119.69/119.70	o 262
119.69/119.70	c * 120s| 53126 | 35741 | 42618 |   0.8 | 119M|3088 |   - |5645 |  10k|5645 | 176 |  11k|8729 |1188 | 0.000000e+00 | 2.620000e+02 |    Inf 
119.69/119.71	o 244
119.69/119.71	c * 120s| 53127 | 33125 | 42618 |   0.8 | 109M|3088 |   - |5645 |  10k|5645 | 176 |  11k|8729 |1188 | 0.000000e+00 | 2.440000e+02 |    Inf 
129.99/130.03	o 216
129.99/130.03	c * 130s| 56210 | 31602 | 49934 |   0.9 | 108M|3088 |   - |5645 |  10k|5645 | 196 |  13k|  10k|1261 | 0.000000e+00 | 2.160000e+02 |    Inf 
130.70/130.71	o 200
130.70/130.71	c * 131s| 56383 | 29418 | 50746 |   0.9 | 103M|3088 |   - |5645 |9895 |5645 | 232 |  13k|  10k|1280 | 0.000000e+00 | 2.000000e+02 |    Inf 
130.70/130.73	o 187
130.70/130.73	c * 131s| 56384 | 27429 | 50753 |   0.9 |  98M|3088 |   - |5645 |9894 |5645 | 232 |  13k|  10k|1280 | 0.000000e+00 | 1.870000e+02 |    Inf 
130.80/130.85	o 186
130.80/130.85	c * 131s| 56405 | 27254 | 50961 |   0.9 |  98M|3088 |   - |5645 |9832 |5645 | 231 |  13k|  10k|1288 | 0.000000e+00 | 1.860000e+02 |    Inf 
136.70/136.79	o 177
136.70/136.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
136.70/136.79	c * 137s| 58174 | 26763 | 55414 |   0.9 | 100M|3088 |   - |5645 |8955 |5645 | 212 |  15k|  10k|1309 | 0.000000e+00 | 1.770000e+02 |    Inf 
136.80/136.80	o 160
136.80/136.80	c * 137s| 58175 | 23425 | 55414 |   0.9 |  91M|3088 |   - |5645 |8955 |5645 | 212 |  15k|  10k|1309 | 0.000000e+00 | 1.600000e+02 |    Inf 
143.10/143.19	c   143s| 60000 | 24711 | 60183 |   1.0 |  99M|3088 |   - |5645 |8635 |   0 |   0 |  16k|  11k|1371 | 0.000000e+00 | 1.600000e+02 |    Inf 
178.00/178.03	c   178s| 70000 | 31224 | 90973 |   1.3 | 145M|3088 |   0 |5645 |9378 |5645 | 243 |  25k|  17k|1792 | 0.000000e+00 | 1.600000e+02 |    Inf 
178.00/178.04	o 159
178.00/178.04	c * 178s| 70007 | 31035 | 90973 |   1.3 | 145M|3088 |   - |5645 |9378 |5645 | 243 |  25k|  17k|1792 | 0.000000e+00 | 1.590000e+02 |    Inf 
178.00/178.08	o 151
178.00/178.08	c * 178s| 70042 | 29352 | 90993 |   1.3 | 140M|3088 |   - |5645 |9378 |5645 | 243 |  25k|  17k|1792 | 0.000000e+00 | 1.510000e+02 |    Inf 
179.80/179.82	o 140
179.80/179.82	c * 180s| 70642 | 27604 | 92216 |   1.3 | 134M|3088 |   - |5645 |9425 |5645 | 202 |  25k|  17k|1811 | 0.000000e+00 | 1.400000e+02 |    Inf 
183.60/183.65	o 132
183.60/183.65	c * 184s| 71837 | 26962 | 94539 |   1.3 | 134M|3088 |   - |5645 |9469 |5645 | 210 |  26k|  18k|1843 | 0.000000e+00 | 1.320000e+02 |    Inf 
195.60/195.61	o 127
195.60/195.61	c * 196s| 75454 | 28445 |104127 |   1.4 | 147M|3088 |   - |5645 |9391 |5645 | 213 |  28k|  19k|1949 | 0.000000e+00 | 1.270000e+02 |    Inf 
196.00/196.00	o 123
196.00/196.00	c * 196s| 75582 | 27778 |104473 |   1.4 | 145M|3088 |   - |5645 |9336 |5645 | 232 |  28k|  19k|1959 | 0.000000e+00 | 1.230000e+02 |    Inf 
209.39/209.47	o 108
209.39/209.47	c * 209s| 79922 | 28019 |114848 |   1.4 | 152M|3088 |   - |5645 |8799 |5645 | 225 |  31k|  22k|2092 | 0.000000e+00 | 1.080000e+02 |    Inf 
209.70/209.75	c   210s| 80000 | 28047 |115219 |   1.4 | 152M|3088 |   0 |5645 |8840 |5645 | 188 |  31k|  22k|2094 | 0.000000e+00 | 1.080000e+02 |    Inf 
214.40/214.44	o 107
214.40/214.44	c * 214s| 81636 | 28974 |118389 |   1.4 | 160M|3088 |   - |5645 |8853 |5645 | 196 |  32k|  22k|2123 | 0.000000e+00 | 1.070000e+02 |    Inf 
217.29/217.36	o 103
217.29/217.36	c * 217s| 82482 | 28851 |120351 |   1.5 | 160M|3088 |   - |5645 |8781 |5645 | 199 |  33k|  23k|2136 | 0.000000e+00 | 1.030000e+02 |    Inf 
227.70/227.71	o 97
227.70/227.71	c * 228s| 85510 | 29168 |128270 |   1.5 | 168M|3088 |   - |5645 |8887 |5645 | 189 |  35k|  24k|2231 | 0.000000e+00 | 9.700000e+01 |    Inf 
227.70/227.72	o 84
227.70/227.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
227.70/227.72	c * 228s| 85511 | 25513 |128270 |   1.5 | 148M|3088 |   - |5645 |8887 |5645 | 189 |  35k|  24k|2231 | 0.000000e+00 | 8.400000e+01 |    Inf 
227.70/227.79	o 78
227.70/227.79	c * 228s| 85523 | 24258 |128356 |   1.5 | 140M|3088 |   - |5645 |7870 |5645 | 188 |  35k|  24k|2234 | 0.000000e+00 | 7.800000e+01 |    Inf 
227.79/227.80	o 76
227.79/227.80	c * 228s| 85524 | 22433 |128356 |   1.5 | 127M|3088 |   - |5645 |7870 |5645 | 188 |  35k|  24k|2234 | 0.000000e+00 | 7.600000e+01 |    Inf 
245.69/245.70	c   246s| 90000 | 23880 |149754 |   1.7 | 144M|3088 |   0 |5645 |6870 |5645 | 202 |  42k|  29k|2420 | 0.000000e+00 | 7.600000e+01 |    Inf 
282.71/282.71	c   283s|100000 | 26644 |188339 |   1.9 | 177M|3088 |   0 |5645 |7695 |5645 | 240 |  53k|  39k|2738 | 0.000000e+00 | 7.600000e+01 |    Inf 
320.10/320.18	c   320s|110000 | 29798 |230999 |   2.1 | 210M|3088 |   - |5645 |7272 |   0 |   0 |  67k|  48k|3018 | 0.000000e+00 | 7.600000e+01 |    Inf 
356.80/356.85	c   357s|120000 | 32912 |268883 |   2.2 | 238M|3088 |   - |5645 |7617 |   0 |   0 |  78k|  57k|3255 | 0.000000e+00 | 7.600000e+01 |    Inf 
394.49/394.56	c   395s|130000 | 35221 |305124 |   2.3 | 270M|3088 |   0 |5645 |7684 |5645 | 174 |  90k|  67k|3473 | 0.000000e+00 | 7.600000e+01 |    Inf 
394.60/394.68	o 69
394.60/394.68	c * 395s|130033 | 33232 |305221 |   2.3 | 260M|3088 |   - |5645 |7694 |5645 | 201 |  90k|  67k|3473 | 0.000000e+00 | 6.900000e+01 |    Inf 
431.60/431.60	c   432s|140000 | 35576 |343167 |   2.4 | 286M|3088 |   0 |5645 |7759 |5645 | 243 | 102k|  77k|3682 | 0.000000e+00 | 6.900000e+01 |    Inf 
443.80/443.88	o 67
443.80/443.88	c * 444s|143489 | 35143 |355677 |   2.5 | 287M|3088 |   - |5645 |7933 |5645 | 221 | 105k|  80k|3732 | 0.000000e+00 | 6.700000e+01 |    Inf 
467.20/467.25	c   467s|150000 | 36425 |381372 |   2.5 | 306M|3088 |   - |5645 |7637 |   0 |   0 | 113k|  88k|3875 | 0.000000e+00 | 6.700000e+01 |    Inf 
503.40/503.47	c   503s|160000 | 38788 |415535 |   2.6 | 333M|3088 |  19 |5645 |9125 |5645 | 251 | 123k| 100k|4049 | 0.000000e+00 | 6.700000e+01 |    Inf 
541.11/541.14	c   541s|170000 | 40790 |453477 |   2.7 | 361M|3088 |   5 |5645 |  10k|5645 | 251 | 135k| 111k|4253 | 0.000000e+00 | 6.700000e+01 |    Inf 
567.30/567.35	o 40
567.30/567.35	c * 567s|176684 | 32536 |479449 |   2.7 | 305M|3088 |   - |5645 |  10k|5645 | 238 | 143k| 119k|4337 | 0.000000e+00 | 4.000000e+01 |    Inf 
569.41/569.40	o 37
569.41/569.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
569.41/569.40	c * 569s|177289 | 31820 |482781 |   2.7 | 299M|3088 |   - |5645 |9438 |5645 | 264 | 144k| 120k|4360 | 0.000000e+00 | 3.700000e+01 |    Inf 
572.61/572.62	o 26
572.61/572.62	c * 573s|178400 | 28824 |488272 |   2.7 | 271M|3088 |   - |5645 |7760 |5645 | 225 | 145k| 121k|4394 | 0.000000e+00 | 2.600000e+01 |    Inf 
573.60/573.68	o 22
573.60/573.68	c * 574s|178818 | 27924 |490490 |   2.7 | 256M|3088 |   - |5645 |7300 |5645 | 225 | 146k| 122k|4410 | 0.000000e+00 | 2.200000e+01 |    Inf 
576.60/576.65	c   577s|180000 | 27913 |498673 |   2.8 | 256M|3088 |   - |5645 |5951 |   0 |   0 | 148k| 124k|4431 | 0.000000e+00 | 2.200000e+01 |    Inf 
600.20/600.26	c   600s|190000 | 27577 |558992 |   2.9 | 262M|3088 |   9 |5645 |6471 |5645 | 213 | 163k| 138k|4669 | 0.000000e+00 | 2.200000e+01 |    Inf 
622.31/622.31	c   622s|200000 | 27632 |611692 |   3.1 | 268M|3088 |   - |5645 |9273 |   0 |   0 | 174k| 152k|4818 | 0.000000e+00 | 2.200000e+01 |    Inf 
631.21/631.27	o 21
631.21/631.27	c * 631s|203969 | 27433 |631540 |   3.1 | 265M|3088 |   - |5645 |8880 |5645 | 217 | 178k| 158k|4878 | 0.000000e+00 | 2.100000e+01 |    Inf 
631.31/631.35	o 15
631.31/631.35	c * 631s|203986 | 25306 |631634 |   3.1 | 232M|3088 |   - |5645 |8512 |5645 | 241 | 178k| 158k|4878 | 0.000000e+00 | 1.500000e+01 |    Inf 
644.11/644.14	c   644s|210000 | 25257 |666339 |   3.2 | 233M|3088 |   1 |5645 |7047 |5645 | 247 | 185k| 166k|5012 | 0.000000e+00 | 1.500000e+01 |    Inf 
664.91/664.94	c   665s|220000 | 25003 |720208 |   3.3 | 235M|3088 |   - |5645 |7243 |   0 |   0 | 196k| 180k|5206 | 0.000000e+00 | 1.500000e+01 |    Inf 
672.01/672.10	o 11
672.01/672.10	c * 672s|223602 | 22655 |736812 |   3.3 | 207M|3088 |   - |5645 |8293 |5645 | 240 | 199k| 185k|5222 | 0.000000e+00 | 1.100000e+01 |    Inf 
685.40/685.48	c   685s|230000 | 22406 |774654 |   3.4 | 208M|3088 |   - |5645 |8517 |   0 |   0 | 207k| 193k|5336 | 0.000000e+00 | 1.100000e+01 |    Inf 
706.91/706.92	c   707s|240000 | 22383 |836274 |   3.5 | 210M|3088 |  23 |5645 |9445 |5645 | 222 | 219k| 207k|5496 | 0.000000e+00 | 1.100000e+01 |    Inf 
728.21/728.28	c   728s|250000 | 22449 |898643 |   3.6 | 213M|3088 |   - |5645 |  10k|   0 |   0 | 232k| 220k|5650 | 0.000000e+00 | 1.100000e+01 |    Inf 
749.31/749.30	c   749s|260000 | 22442 |951858 |   3.7 | 214M|3088 |   - |5645 |9837 |   0 |   0 | 241k| 234k|5807 | 0.000000e+00 | 1.100000e+01 |    Inf 
770.01/770.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
770.01/770.09	c   770s|270000 | 22608 |  1011k|   3.7 | 217M|3088 |   - |5645 |  10k|   0 |   0 | 252k| 246k|5944 | 0.000000e+00 | 1.100000e+01 |    Inf 
776.40/776.40	o 9
776.40/776.40	c * 776s|272951 | 21722 |  1029k|   3.8 | 204M|3088 |   - |5645 |  10k|5645 | 241 | 255k| 250k|5998 | 0.000000e+00 | 9.000000e+00 |    Inf 
776.91/776.99	o 8
776.91/776.99	c * 777s|273278 | 21580 |  1031k|   3.8 | 201M|3088 |   - |5645 |  10k|5645 | 254 | 255k| 251k|5998 | 0.000000e+00 | 8.000000e+00 |    Inf 
777.11/777.13	o 7
777.11/777.13	c * 777s|273349 | 21356 |  1031k|   3.8 | 198M|3088 |   - |5645 |  10k|5645 | 274 | 255k| 251k|5998 | 0.000000e+00 | 7.000000e+00 |    Inf 
790.70/790.72	c   791s|280000 | 21354 |  1076k|   3.8 | 199M|3088 |   - |5645 |9474 |   0 |   0 | 263k| 260k|6088 | 0.000000e+00 | 7.000000e+00 |    Inf 
810.71/810.72	c   811s|290000 | 21422 |  1137k|   3.9 | 201M|3088 |  13 |5645 |  10k|5645 | 221 | 273k| 275k|6225 | 0.000000e+00 | 7.000000e+00 |    Inf 
830.90/830.95	c   831s|300000 | 21568 |  1200k|   4.0 | 205M|3088 |   5 |5645 |  13k|5645 | 235 | 282k| 289k|6346 | 0.000000e+00 | 7.000000e+00 |    Inf 
851.91/851.99	c   852s|310000 | 21511 |  1262k|   4.1 | 204M|3088 |   - |5645 |8755 |5645 | 242 | 291k| 303k|6493 | 0.000000e+00 | 7.000000e+00 |    Inf 
873.42/873.45	c   873s|320000 | 21593 |  1331k|   4.2 | 207M|3088 |   - |5645 |  11k|   0 |   0 | 302k| 316k|6615 | 0.000000e+00 | 7.000000e+00 |    Inf 
895.21/895.20	c   895s|330000 | 21577 |  1404k|   4.3 | 207M|3088 |   - |5645 |  10k|   0 |   0 | 312k| 330k|6836 | 0.000000e+00 | 7.000000e+00 |    Inf 
915.01/915.04	c   915s|340000 | 21419 |  1462k|   4.3 | 208M|3088 |   1 |5645 |  11k|5645 | 277 | 322k| 343k|6914 | 0.000000e+00 | 7.000000e+00 |    Inf 
935.21/935.27	c   935s|350000 | 21202 |  1524k|   4.4 | 208M|3088 |   - |5645 |  10k|   0 |   0 | 332k| 357k|7043 | 0.000000e+00 | 7.000000e+00 |    Inf 
955.11/955.12	c   955s|360000 | 21125 |  1583k|   4.4 | 208M|3088 |   1 |5645 |  10k|5645 | 229 | 341k| 371k|7116 | 0.000000e+00 | 7.000000e+00 |    Inf 
976.82/976.87	c   977s|370000 | 20998 |  1653k|   4.5 | 208M|3088 |   - |5645 |  10k|   0 |   0 | 352k| 386k|7229 | 0.000000e+00 | 7.000000e+00 |    Inf 
998.61/998.65	c   999s|380000 | 21118 |  1722k|   4.5 | 210M|3088 |  13 |5645 |  13k|5645 | 232 | 363k| 399k|7336 | 0.000000e+00 | 7.000000e+00 |    Inf 
1021.52/1021.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.52/1021.57	c  1022s|390000 | 21120 |  1795k|   4.6 | 211M|3088 |   - |5645 |  13k|   0 |   0 | 371k| 412k|7441 | 0.000000e+00 | 7.000000e+00 |    Inf 
1043.52/1043.50	c  1043s|400000 | 21161 |  1866k|   4.7 | 213M|3088 |   7 |5645 |  14k|5645 | 246 | 380k| 425k|7532 | 0.000000e+00 | 7.000000e+00 |    Inf 
1065.82/1065.81	c  1066s|410000 | 20871 |  1934k|   4.7 | 210M|3088 |   - |5645 |  11k|5645 | 251 | 391k| 439k|7684 | 0.000000e+00 | 7.000000e+00 |    Inf 
1088.12/1088.20	c  1088s|420000 | 20875 |  2006k|   4.8 | 212M|3088 |   8 |5645 |  14k|5645 | 248 | 403k| 453k|7785 | 0.000000e+00 | 7.000000e+00 |    Inf 
1111.32/1111.38	c  1111s|430000 | 20829 |  2075k|   4.8 | 212M|3088 |   - |5645 |  13k|   0 |   0 | 413k| 466k|7863 | 0.000000e+00 | 7.000000e+00 |    Inf 
1133.72/1133.78	c  1134s|440000 | 20821 |  2143k|   4.9 | 213M|3088 |   1 |5645 |  15k|5645 | 199 | 424k| 481k|7956 | 0.000000e+00 | 7.000000e+00 |    Inf 
1155.02/1155.01	c  1155s|450000 | 20148 |  2208k|   4.9 | 208M|3088 |   1 |5645 |  11k|5645 | 233 | 435k| 496k|8066 | 0.000000e+00 | 7.000000e+00 |    Inf 
1175.12/1175.15	c  1175s|460000 | 20069 |  2267k|   4.9 | 209M|3088 |   - |5645 |  11k|   0 |   0 | 445k| 511k|8148 | 0.000000e+00 | 7.000000e+00 |    Inf 
1196.82/1196.88	c  1197s|470000 | 20142 |  2333k|   5.0 | 211M|3088 |   - |5645 |  13k|   0 |   0 | 456k| 526k|8232 | 0.000000e+00 | 7.000000e+00 |    Inf 
1219.82/1219.88	c  1220s|480000 | 19669 |  2406k|   5.0 | 207M|3088 |  13 |5645 |  11k|5645 | 245 | 466k| 541k|8327 | 0.000000e+00 | 7.000000e+00 |    Inf 
1241.12/1241.17	c  1241s|490000 | 18853 |  2474k|   5.0 | 202M|3088 |   - |5645 |  10k|   0 |   0 | 478k| 555k|8445 | 0.000000e+00 | 7.000000e+00 |    Inf 
1262.22/1262.21	c  1262s|500000 | 18706 |  2542k|   5.1 | 203M|3088 |   6 |5645 |  13k|5645 | 231 | 489k| 568k|8503 | 0.000000e+00 | 7.000000e+00 |    Inf 
1285.72/1285.78	c  1286s|510000 | 18583 |  2622k|   5.1 | 203M|3088 |   1 |5645 |  15k|5645 | 263 | 503k| 582k|8611 | 0.000000e+00 | 7.000000e+00 |    Inf 
1308.02/1308.02	c  1308s|520000 | 17951 |  2690k|   5.2 | 198M|3088 |   - |5645 |  12k|   0 |   0 | 513k| 597k|8687 | 0.000000e+00 | 7.000000e+00 |    Inf 
1327.81/1327.83	c  1328s|530000 | 17993 |  2740k|   5.2 | 198M|3088 |  10 |5645 |  11k|5645 | 226 | 522k| 609k|8903 | 0.000000e+00 | 7.000000e+00 |    Inf 
1346.42/1346.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1346.42/1346.48	c  1346s|540000 | 18089 |  2781k|   5.2 | 200M|3088 |   1 |5645 |  13k|5645 | 225 | 529k| 622k|8919 | 0.000000e+00 | 7.000000e+00 |    Inf 
1366.32/1366.36	c  1366s|550000 | 18146 |  2821k|   5.1 | 202M|3088 |   - |5645 |  15k|   0 |   0 | 535k| 636k|8961 | 0.000000e+00 | 7.000000e+00 |    Inf 
1386.12/1386.13	c  1386s|560000 | 18191 |  2857k|   5.1 | 204M|3088 |  25 |5645 |  15k|5645 | 272 | 541k| 649k|8986 | 0.000000e+00 | 7.000000e+00 |    Inf 
1405.83/1405.88	c  1406s|570000 | 18261 |  2897k|   5.1 | 206M|3088 |   - |5645 |  18k|   0 |   0 | 547k| 662k|9032 | 0.000000e+00 | 7.000000e+00 |    Inf 
1427.21/1427.24	c  1427s|580000 | 18259 |  2941k|   5.1 | 207M|3088 |   - |5645 |  17k|   0 |   0 | 554k| 677k|9093 | 0.000000e+00 | 7.000000e+00 |    Inf 
1449.21/1449.28	c  1449s|590000 | 18346 |  2989k|   5.1 | 208M|3088 |   - |5645 |  18k|   0 |   0 | 562k| 690k|9147 | 0.000000e+00 | 7.000000e+00 |    Inf 
1471.83/1471.88	c  1472s|600000 | 18394 |  3033k|   5.1 | 210M|3088 |   1 |5645 |  19k|5645 | 234 | 568k| 703k|9199 | 0.000000e+00 | 7.000000e+00 |    Inf 
1494.12/1494.17	c  1494s|610000 | 18412 |  3069k|   5.0 | 212M|3088 |   1 |5645 |  20k|5645 | 231 | 573k| 717k|9234 | 0.000000e+00 | 7.000000e+00 |    Inf 
1515.73/1515.73	c  1516s|620000 | 18444 |  3111k|   5.0 | 213M|3088 |   - |5645 |  20k|   0 |   0 | 579k| 731k|9290 | 0.000000e+00 | 7.000000e+00 |    Inf 
1538.72/1538.74	c  1539s|630000 | 18526 |  3156k|   5.0 | 214M|3088 |   - |5645 |  19k|5645 | 268 | 586k| 744k|9372 | 0.000000e+00 | 7.000000e+00 |    Inf 
1561.72/1561.78	c  1562s|640000 | 18586 |  3197k|   5.0 | 217M|3088 |   - |5645 |  22k|   0 |   0 | 593k| 757k|9411 | 0.000000e+00 | 7.000000e+00 |    Inf 
1584.82/1584.82	c  1585s|650000 | 18599 |  3237k|   5.0 | 218M|3088 |   - |5645 |  20k|   0 |   0 | 599k| 770k|9440 | 0.000000e+00 | 7.000000e+00 |    Inf 
1606.22/1606.27	c  1606s|660000 | 18543 |  3275k|   5.0 | 218M|3088 |   - |5645 |  18k|   0 |   0 | 604k| 784k|9508 | 0.000000e+00 | 7.000000e+00 |    Inf 
1626.63/1626.66	c  1627s|670000 | 18526 |  3317k|   5.0 | 218M|3088 |  25 |5645 |  16k|5645 | 262 | 611k| 797k|9554 | 0.000000e+00 | 7.000000e+00 |    Inf 
1647.23/1647.23	c  1647s|680000 | 18618 |  3359k|   4.9 | 220M|3088 |   - |5645 |  17k|   0 |   0 | 617k| 811k|9589 | 0.000000e+00 | 7.000000e+00 |    Inf 
1668.12/1668.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1668.12/1668.19	c  1668s|690000 | 18664 |  3396k|   4.9 | 222M|3088 |  20 |5645 |  19k|5645 | 253 | 623k| 825k|9630 | 0.000000e+00 | 7.000000e+00 |    Inf 
1690.02/1690.08	c  1690s|700000 | 18727 |  3432k|   4.9 | 224M|3088 |   - |5645 |  20k|   0 |   0 | 628k| 839k|9680 | 0.000000e+00 | 7.000000e+00 |    Inf 
1713.42/1713.45	c  1713s|710000 | 18775 |  3475k|   4.9 | 226M|3088 |   - |5645 |  22k|   0 |   0 | 634k| 853k|9709 | 0.000000e+00 | 7.000000e+00 |    Inf 
1736.62/1736.61	c  1737s|720000 | 18757 |  3514k|   4.9 | 227M|3088 |   9 |5645 |  21k|5645 | 272 | 639k| 867k|9746 | 0.000000e+00 | 7.000000e+00 |    Inf 
1759.52/1759.53	c  1759s|730000 | 18633 |  3565k|   4.9 | 224M|3088 |   - |5645 |  17k|   0 |   0 | 645k| 881k|9830 | 0.000000e+00 | 7.000000e+00 |    Inf 
1780.33/1780.35	c  1780s|740000 | 18664 |  3610k|   4.9 | 226M|3088 |  15 |5645 |  20k|5645 | 232 | 653k| 895k|9873 | 0.000000e+00 | 7.000000e+00 |    Inf 
1790.02/1790.01	c 
1790.02/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.01	c Solving Time (sec) : 1789.98
1790.02/1790.01	c Solving Nodes      : 744796
1790.02/1790.01	c Primal Bound       : +7.00000000000000e+00 (254 solutions)
1790.02/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.02/1790.01	c Gap                : infinite
1790.02/1790.08	s SATISFIABLE
1790.02/1790.08	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.02/1790.08	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.02/1790.08	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1790.02/1790.08	v -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.02/1790.08	v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 
1790.02/1790.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.02/1790.08	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 
1790.02/1790.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 
1790.02/1790.08	v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1790.02/1790.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 
1790.02/1790.08	v -x1 
1790.02/1790.08	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.08	c Solving Time       :    1789.98
1790.02/1790.08	c Original Problem   :
1790.02/1790.08	c   Problem name     : HOME/instance-2705041-1278578330.wbo
1790.02/1790.08	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.02/1790.08	c   Constraints      : 5415 initial, 5415 maximal
1790.02/1790.08	c Presolved Problem  :
1790.02/1790.08	c   Problem name     : t_HOME/instance-2705041-1278578330.wbo
1790.02/1790.08	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.02/1790.08	c   Constraints      : 5414 initial, 24203 maximal
1790.02/1790.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.02/1790.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1790.02/1790.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.08	c   root node        :          -       5092          -          -       5092          -          -          -          -
1790.02/1790.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.08	c   integral         :          0          0          0     543122          0          5        822          0          0     694650
1790.02/1790.08	c   linear           :       2707          6    4114622     194568          1     234077   19239357     656591          0          0
1790.02/1790.08	c   indicator        :       2707          0    3868809     194681          1       1915   16162908          0          0          0
1790.02/1790.08	c   logicor          :          0+         0    1202966          0          0      58747    1088880          0          0          0
1790.02/1790.08	c   bounddisjunction :          0+         0     289961          0          0        242       9449          0          0          0
1790.02/1790.08	c   countsols        :          0          0          0     101988          1          0          0          0          0          0
1790.02/1790.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.08	c   integral         :      15.11       0.00       0.00      15.11       0.00
1790.02/1790.08	c   linear           :     213.08       0.00     191.26      21.82       0.00
1790.02/1790.08	c   indicator        :     119.14       0.02      87.26      31.87       0.00
1790.02/1790.08	c   logicor          :     145.03       0.00     145.03       0.00       0.00
1790.02/1790.08	c   bounddisjunction :       3.84       0.00       3.84       0.00       0.00
1790.02/1790.08	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1790.02/1790.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.08	c   vbounds          :       1.19     130860         14      30196
1790.02/1790.08	c   rootredcost      :       0.64         44          0       2546
1790.02/1790.08	c   pseudoobj        :     183.77    4147791      32393   15391270
1790.02/1790.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.08	c   propagation      :      22.06     325459     325391    1928995       26.3       9869       23.8          -
1790.02/1790.08	c   infeasible LP    :       7.00      20921      20921     165472       37.9        250       19.4          0
1790.02/1790.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.08	c   pseudo solution  :       0.00          1          1          5       13.0          0        0.0          -
1790.02/1790.08	c   applied globally :          -          -          -     902099       22.1          -          -          -
1790.02/1790.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.08	c   cut pool         :       0.00          3          -          -          1          -    (maximal pool size: 73)
1790.02/1790.08	c   redcost          :      60.22     553527          0    1080263          0          0
1790.02/1790.08	c   impliedbounds    :       0.00          4          0          0          0          0
1790.02/1790.08	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.08	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.08	c   gomory           :       0.01          4          0          0        230          0
1790.02/1790.08	c   strongcg         :       0.01          4          0          0        215          0
1790.02/1790.08	c   cmir             :       0.01          4          0          0          0          0
1790.02/1790.08	c   flowcover        :       0.02          4          0          0          0          0
1790.02/1790.08	c   clique           :       0.00          1          0          0          0          0
1790.02/1790.08	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.08	c   mcf              :       0.00          1          0          0          0          0
1790.02/1790.08	c   rapidlearning    :       0.17          1          0          0          0          0
1790.02/1790.08	c Pricers            :       Time      Calls       Vars
1790.02/1790.08	c   problem variables:       0.00          0          0
1790.02/1790.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.08	c   relpscost        :      14.71     348052          5        822          0          0     694650
1790.02/1790.08	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.08	c   inference        :      56.96     101945          0          0          0          0     204213
1790.02/1790.08	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.08	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.08	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.08	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.08	c   LP solutions     :       0.21          -         44
1790.02/1790.08	c   pseudo solutions :       0.00          -          0
1790.02/1790.08	c   feaspump         :       0.01          0          0
1790.02/1790.08	c   intshifting      :       0.01          0          0
1790.02/1790.08	c   oneopt           :       0.36         39          0
1790.02/1790.08	c   guideddiving     :       0.10         43          0
1790.02/1790.08	c   fracdiving       :       0.10         56          0
1790.02/1790.08	c   linesearchdiving :       0.10         56          0
1790.02/1790.08	c   coefdiving       :       0.10         56          0
1790.02/1790.08	c   pscostdiving     :       0.10         56          0
1790.02/1790.08	c   veclendiving     :       0.11         57          0
1790.02/1790.08	c   objpscostdiving  :       0.10         54          0
1790.02/1790.08	c   rootsoldiving    :       0.11         54          0
1790.02/1790.08	c   crossover        :       2.52         64          7
1790.02/1790.08	c   trivial          :       0.07          2          2
1790.02/1790.08	c   simplerounding   :       0.67     349414          0
1790.02/1790.08	c   zirounding       :       0.49       1000          0
1790.02/1790.08	c   rounding         :       1.27       8345          0
1790.02/1790.08	c   shifting         :       0.75       2541          0
1790.02/1790.08	c   twoopt           :       0.00          0          0
1790.02/1790.08	c   fixandinfer      :       0.00          0          0
1790.02/1790.08	c   intdiving        :       0.00          0          0
1790.02/1790.08	c   actconsdiving    :       0.00          0          0
1790.02/1790.08	c   octane           :       0.00          0          0
1790.02/1790.08	c   rens             :       0.03          1          0
1790.02/1790.08	c   rins             :       0.00          0          0
1790.02/1790.08	c   localbranching   :       0.00          0          0
1790.02/1790.08	c   mutation         :       0.00          0          0
1790.02/1790.08	c   dins             :       0.00          0          0
1790.02/1790.08	c   undercover       :       0.00          0          0
1790.02/1790.08	c   nlp              :       0.12          0          0
1790.02/1790.08	c   trysol           :       0.52        572        201
1790.02/1790.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.08	c   primal LP        :       0.00          0          0       0.00          -
1790.02/1790.08	c   dual LP          :     516.24     477874    3628297       7.59    7028.32
1790.02/1790.08	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.08	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.08	c   diving/probing LP:       0.08         43       1087      25.28   13624.97
1790.02/1790.08	c   strong branching :      12.30       9882     106285      10.76    8642.45
1790.02/1790.08	c     (at root node) :          -         32       1047      32.72          -
1790.02/1790.08	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.08	c B&B Tree           :
1790.02/1790.08	c   number of runs   :          1
1790.02/1790.08	c   nodes            :     744796
1790.02/1790.08	c   nodes (total)    :     744796
1790.02/1790.08	c   nodes left       :      18667
1790.02/1790.08	c   max depth        :       3088
1790.02/1790.08	c   max depth (total):       3088
1790.02/1790.08	c   backtracks       :      69911 (9.4%)
1790.02/1790.08	c   delayed cutoffs  :      62747
1790.02/1790.08	c   repropagations   :    1687287 (9355034 domain reductions, 52829 cutoffs)
1790.02/1790.08	c   avg switch length:       6.55
1790.02/1790.08	c   switching time   :     216.44
1790.02/1790.08	c Solution           :
1790.02/1790.08	c   Solutions found  :        254 (45 improvements)
1790.02/1790.08	c   First Solution   : +1.37244000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.02/1790.08	c   Primal Bound     : +7.00000000000000e+00   (in run 1, after 273349 nodes, 777.10 seconds, depth 50, found by <relaxation>)
1790.02/1790.08	c   Dual Bound       : +0.00000000000000e+00
1790.02/1790.08	c   Gap              :   infinite
1790.02/1790.08	c   Root Dual Bound  : +0.00000000000000e+00
1790.02/1790.08	c   Root Iterations  :        184
1790.33/1790.31	c Time complete: 1790.34.

Verifier Data 

OK	7

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705041-1278578330/watcher-2705041-1278578330 -o /tmp/evaluation-result-2705041-1278578330/solver-2705041-1278578330 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705041-1278578330.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.00 2.00 1.92 4/178 23324
/proc/meminfo: memFree=28379596/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=12692 CPUtime=0
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 2009 0 0 0 0 0 0 0 25 0 1 0 26046554 12996608 1927 4089446400 4194304 10345943 140735417530960 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23324/statm: 3173 1927 429 1502 0 1666 0

[startup+0.055794 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23324
/proc/meminfo: memFree=28379596/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=36928 CPUtime=0.04
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 8232 0 0 0 4 0 0 0 25 0 1 0 26046554 37814272 7796 4089446400 4194304 10345943 140735417530960 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 9232 7796 504 1502 0 7725 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36928

[startup+0.100783 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23324
/proc/meminfo: memFree=28379596/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=38020 CPUtime=0.09
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 8450 0 0 0 9 0 0 0 25 0 1 0 26046554 38932480 8014 4089446400 4194304 10345943 140735417530960 18446744073709551615 4246693 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 9505 8014 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38020

[startup+0.300748 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23324
/proc/meminfo: memFree=28379596/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=70104 CPUtime=0.29
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 16228 0 0 0 27 2 0 0 25 0 1 0 26046554 71786496 15792 4089446400 4194304 10345943 140735417530960 18446744073709551615 4687895 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 17526 15792 632 1502 0 16019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70104

[startup+0.700723 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23324
/proc/meminfo: memFree=28379596/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=65264 CPUtime=0.69
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 16894 0 0 0 66 3 0 0 25 0 1 0 26046554 66830336 15053 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 16316 15053 751 1502 0 14809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65264

[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23325
/proc/meminfo: memFree=28322044/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=65264 CPUtime=1.49
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 16896 0 0 0 146 3 0 0 25 0 1 0 26046554 66830336 15055 4089446400 4194304 10345943 140735417530960 18446744073709551615 6119758 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 16316 15055 753 1502 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23325
/proc/meminfo: memFree=28322044/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=65264 CPUtime=3.09
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 16902 0 0 0 305 4 0 0 25 0 1 0 26046554 66830336 15061 4089446400 4194304 10345943 140735417530960 18446744073709551615 6864082 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 16316 15061 754 1502 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65264

[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23325
/proc/meminfo: memFree=28319292/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=66464 CPUtime=6.29
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 21911 0 0 0 624 5 0 0 25 0 1 0 26046554 68059136 15390 4089446400 4194304 10345943 140735417530960 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 16616 15390 754 1502 0 15109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66464

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23325
/proc/meminfo: memFree=28303284/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=82876 CPUtime=12.69
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 28875 0 0 0 1262 7 0 0 25 0 1 0 26046554 84865024 19261 4089446400 4194304 10345943 140735417530960 18446744073709551615 4447834 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 20719 19261 762 1502 0 19212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82876

[startup+25.5004 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23353
/proc/meminfo: memFree=29649416/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=83896 CPUtime=25.49
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 31606 0 0 0 2540 9 0 0 25 0 1 0 26046554 85909504 19755 4089446400 4194304 10345943 140735417530960 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 20974 19755 762 1502 0 19467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83896

[startup+51.1009 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 23354
/proc/meminfo: memFree=29575848/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=127808 CPUtime=51.09
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 47645 0 0 0 5095 14 0 0 25 0 1 0 26046554 130875392 30602 4089446400 4194304 10345943 140735417530960 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 31952 30602 762 1502 0 30445 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 127808

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 23355
/proc/meminfo: memFree=29463572/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=187064 CPUtime=102.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 78564 0 0 0 10202 28 0 0 25 0 1 0 26046554 191553536 45178 4089446400 4194304 10345943 140735417530960 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 46766 45178 762 1502 0 45259 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 187064

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23357
/proc/meminfo: memFree=29304672/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=283080 CPUtime=162.29
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 163034 0 0 0 16181 48 0 0 25 0 1 0 26046554 289873920 68425 4089446400 4194304 10345943 140735417530960 18446744073709551615 6119682 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 70770 68425 762 1502 0 69263 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 283080

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23359
/proc/meminfo: memFree=29132012/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=400820 CPUtime=222.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 242972 0 0 0 22165 65 0 0 25 0 1 0 26046554 410439680 96000 4089446400 4194304 10345943 140735417530960 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 100205 96000 762 1502 0 98698 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 400820

[startup+282.301 s]
/proc/loadavg: 2.04 2.00 1.92 3/179 23360
/proc/meminfo: memFree=28979212/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=484428 CPUtime=282.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 280287 0 0 0 28149 81 0 0 25 0 1 0 26046554 496054272 115762 4089446400 4194304 10345943 140735417530960 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 121107 115762 767 1502 0 119600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 484428

[startup+342.301 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 23361
/proc/meminfo: memFree=28843508/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=558860 CPUtime=342.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 300755 0 0 0 34137 93 0 0 25 0 1 0 26046554 572272640 131949 4089446400 4194304 10345943 140735417530960 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 139715 131949 767 1502 0 138208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 558860

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 23363
/proc/meminfo: memFree=28712524/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=632040 CPUtime=402.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 322918 0 0 0 40124 106 0 0 25 0 1 0 26046554 647208960 148461 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 158010 148461 767 1502 0 156503 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 632040

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 23365
/proc/meminfo: memFree=28592712/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=686784 CPUtime=462.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 352730 0 0 0 46111 119 0 0 25 0 1 0 26046554 703266816 160294 4089446400 4194304 10345943 140735417530960 18446744073709551615 6785237 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 171696 160294 767 1502 0 170189 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 686784

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23366
/proc/meminfo: memFree=28455032/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=755228 CPUtime=522.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 373611 0 0 0 52101 130 0 0 25 0 1 0 26046554 773353472 174982 4089446400 4194304 10345943 140735417530960 18446744073709551615 4962591 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 188807 174982 771 1502 0 187300 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 755228

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23368
/proc/meminfo: memFree=28327636/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=810548 CPUtime=582.3
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 413777 0 0 0 58087 143 0 0 25 0 1 0 26046554 830001152 187300 4089446400 4194304 10345943 140735417530960 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23324/statm: 202637 187300 783 1502 0 201130 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 810548

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23369
/proc/meminfo: memFree=28276268/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=820360 CPUtime=642.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 431760 0 0 0 64068 163 0 0 25 0 1 0 26046554 840048640 189777 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23324/statm: 205090 189777 783 1502 0 203583 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 820360

[startup+702.301 s]

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

/proc/meminfo: memFree=28084776/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=837732 CPUtime=1002.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 496837 0 0 0 99941 290 0 0 25 0 1 0 26046554 857837568 194111 4089446400 4194304 10345943 140735417530960 18446744073709551615 6363001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23324/statm: 209433 194111 784 1502 0 207926 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 837732

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23381
/proc/meminfo: memFree=28067760/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=840204 CPUtime=1062.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 497548 0 0 0 105921 310 0 0 25 0 1 0 26046554 860368896 194822 4089446400 4194304 10345943 140735417530960 18446744073709551615 4728552 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23324/statm: 210051 194822 784 1502 0 208544 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 840204

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23383
/proc/meminfo: memFree=28057552/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=840800 CPUtime=1122.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 497680 0 0 0 111904 327 0 0 25 0 1 0 26046554 860979200 194954 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23324/statm: 210200 194954 784 1502 0 208693 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 840800

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23384
/proc/meminfo: memFree=28047712/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=841256 CPUtime=1182.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 497873 0 0 0 117885 347 0 0 25 0 1 0 26046554 861446144 195147 4089446400 4194304 10345943 140735417530960 18446744073709551615 7519067 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 210314 195147 784 1502 0 208807 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 841256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23385
/proc/meminfo: memFree=28018408/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1242.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502108 0 0 0 123863 368 0 0 25 0 1 0 26046554 879648768 199382 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 214758 199382 784 1502 0 213251 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 859032

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23387
/proc/meminfo: memFree=28014648/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1302.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502109 0 0 0 129843 389 0 0 25 0 1 0 26046554 879648768 199383 4089446400 4194304 10345943 140735417530960 18446744073709551615 4212451 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23324/statm: 214758 199383 784 1502 0 213251 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 859032

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23398
/proc/meminfo: memFree=28007528/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1362.31
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502111 0 0 0 135826 405 0 0 25 0 1 0 26046554 879648768 199385 4089446400 4194304 10345943 140735417530960 18446744073709551615 6328950 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214758 199385 784 1502 0 213251 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 859032

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23400
/proc/meminfo: memFree=28004992/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1422.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502118 0 0 0 141812 420 0 0 25 0 1 0 26046554 879648768 199392 4089446400 4194304 10345943 140735417530960 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214758 199392 784 1502 0 213251 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 859032

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 23401
/proc/meminfo: memFree=28000612/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1482.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502121 0 0 0 147797 435 0 0 25 0 1 0 26046554 879648768 199395 4089446400 4194304 10345943 140735417530960 18446744073709551615 4214590 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214758 199395 784 1502 0 213251 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 859032

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 23402
/proc/meminfo: memFree=27997224/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1542.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502124 0 0 0 153783 449 0 0 25 0 1 0 26046554 879648768 199398 4089446400 4194304 10345943 140735417530960 18446744073709551615 5926428 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214758 199398 784 1502 0 213251 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 859032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23404
/proc/meminfo: memFree=27992588/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=859032 CPUtime=1602.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 502130 0 0 0 159769 463 0 0 25 0 1 0 26046554 879648768 199404 4089446400 4194304 10345943 140735417530960 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214758 199404 784 1502 0 213251 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 859032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23406
/proc/meminfo: memFree=27990312/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=858372 CPUtime=1662.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 505951 0 0 0 165754 478 0 0 25 0 1 0 26046554 878972928 199298 4089446400 4194304 10345943 140735417530960 18446744073709551615 4218153 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 214593 199298 784 1502 0 213086 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 858372

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23407
/proc/meminfo: memFree=27984196/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1722.33
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507379 0 0 0 171741 492 0 0 25 0 1 0 26046554 886734848 200726 4089446400 4194304 10345943 140735417530960 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 200726 784 1502 0 214981 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 865952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976336/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1782.32
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507752 0 0 0 177724 508 0 0 25 0 1 0 26046554 886734848 201099 4089446400 4194304 10345943 140735417530960 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 201099 784 1502 0 214981 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 865952

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976212/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1785.52
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507757 0 0 0 178043 509 0 0 25 0 1 0 26046554 886734848 201104 4089446400 4194304 10345943 140735417530960 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 201104 784 1502 0 214981 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 865952

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976204/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1788.73
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507763 0 0 0 178363 510 0 0 25 0 1 0 26046554 886734848 201110 4089446400 4194304 10345943 140735417530960 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 201110 784 1502 0 214981 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 865952

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976204/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1789.52
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507763 0 0 0 178442 510 0 0 25 0 1 0 26046554 886734848 201110 4089446400 4194304 10345943 140735417530960 18446744073709551615 5615616 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 201110 784 1502 0 214981 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 865952

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976080/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=865952 CPUtime=1789.92
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507763 0 0 0 178482 510 0 0 25 0 1 0 26046554 886734848 201110 4089446400 4194304 10345943 140735417530960 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23324/statm: 216488 201110 784 1502 0 214981 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 865952

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23409
/proc/meminfo: memFree=27976080/32950928 swapFree=67111528/67111528
[pid=23324] ppid=23322 vsize=845868 CPUtime=1790.33
/proc/23324/stat : 23324 (pbscip.linux.x8) R 23322 23324 22840 0 -1 4202496 507779 0 0 0 178521 512 0 0 25 0 1 0 26046554 866168832 104719 4089446400 4194304 10345943 140735417530960 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23324/statm: 211467 104348 785 1502 0 209960 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 845868

Child status: 0
Real time (s): 1790.32
CPU time (s): 1790.35
CPU user time (s): 1785.21
CPU system time (s): 5.13822
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 865952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.21
system time used= 5.13822
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 9676

runsolver used 3.00954 second user time and 6.51001 second system time

The end

Launcher Data 

Begin job on node120 at 2010-07-08 10:38:50
IDJOB=2705041
IDBENCH=79272
IDSOLVER=1214
FILE ID=node120/2705041-1278578330
PBS_JOBID= 11240213
Free space on /tmp= 73448 MiB

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

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

MD5SUM BENCH= 0bc882feda752f8542fa470cf04f3d53
RANDOM SEED=1713272524

node120.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.813
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.62
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.813
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.82
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.813
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.813
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.813
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.78
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.813
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	: 5363.42
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.813
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.76
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.813
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28379628 kB
Buffers:        160048 kB
Cached:        2781232 kB
SwapCached:          0 kB
Active:        3014824 kB
Inactive:      1388028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28379628 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12836 kB
Writeback:           0 kB
AnonPages:     1462092 kB
Mapped:          17724 kB
Slab:           100660 kB
PageTables:       7736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1624420 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= 73440 MiB
End job on node120 at 2010-07-08 11:08:41