Trace number 2693005

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.26 1800.22

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo
MD5SUM6ba4b4283c00d7202a0c09683aff0663
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark385.756
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693005-1277928314.wbo>
0.03/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.03/0.03	c problem read
0.03/0.03	c presolving settings loaded
0.09/0.12	o 137945
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.379450e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.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.379450e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.379450e+05 |    Inf 
7.60/7.64	o 262
7.60/7.64	c * 7.3s|  4691 |  3999 |  1077 |   0.2 |  29M|2513 |   - |5645 |5423 |5645 | 209 | 341 |   9 | 587 | 0.000000e+00 | 2.620000e+02 |    Inf 
11.59/11.66	o 253
11.59/11.66	c *11.3s|  6514 |  5528 |  3679 |   0.5 |  37M|2513 |   - |5645 |6175 |5645 | 195 | 941 | 761 | 843 | 0.000000e+00 | 2.530000e+02 |    Inf 
12.39/12.47	o 241
12.39/12.47	c *12.1s|  6812 |  5618 |  4170 |   0.6 |  38M|2513 |   - |5645 |6398 |5645 | 195 |1079 | 984 | 845 | 0.000000e+00 | 2.410000e+02 |    Inf 
12.99/13.02	o 237
12.99/13.02	c *12.6s|  7009 |  5685 |  4534 |   0.6 |  39M|2513 |   - |5645 |6563 |5645 | 205 |1172 |1149 | 847 | 0.000000e+00 | 2.370000e+02 |    Inf 
12.99/13.06	o 190
12.99/13.06	c *12.6s|  7021 |  4992 |  4552 |   0.6 |  37M|2513 |   - |5645 |6570 |5645 | 208 |1175 |1156 | 847 | 0.000000e+00 | 1.900000e+02 |    Inf 
13.39/13.42	o 168
13.39/13.42	c *13.0s|  7157 |  4742 |  4777 |   0.6 |  37M|2513 |   - |5645 |6660 |5645 | 200 |1227 |1246 | 847 | 0.000000e+00 | 1.680000e+02 |    Inf 
14.09/14.16	o 122
14.09/14.16	c *13.7s|  7448 |  4281 |  5158 |   0.7 |  36M|2513 |   - |5645 |6752 |5645 | 204 |1340 |1338 | 856 | 0.000000e+00 | 1.220000e+02 |    Inf 
14.09/14.17	o 113
14.09/14.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.09/14.17	c *13.7s|  7449 |  4190 |  5158 |   0.7 |  36M|2513 |   - |5645 |6752 |5645 | 204 |1340 |1338 | 856 | 0.000000e+00 | 1.130000e+02 |    Inf 
21.19/21.22	o 112
21.19/21.22	c *20.6s|  9322 |  5131 |  9520 |   1.0 |  48M|2513 |   - |5645 |9250 |5645 | 220 |2562 |4187 |1059 | 0.000000e+00 | 1.120000e+02 |    Inf 
22.09/22.14	o 98
22.09/22.14	c *21.4s|  9525 |  4895 | 10145 |   1.0 |  48M|2513 |   - |5645 |9345 |5645 | 219 |2752 |4546 |1094 | 0.000000e+00 | 9.800000e+01 |    Inf 
22.69/22.72	o 93
22.69/22.72	c *22.0s|  9636 |  4689 | 10390 |   1.1 |  48M|2513 |   - |5645 |9284 |5645 | 226 |2802 |4800 |1112 | 0.000000e+00 | 9.300000e+01 |    Inf 
22.99/23.01	o 82
22.99/23.01	c *22.3s|  9696 |  4133 | 10607 |   1.1 |  47M|2513 |   - |5645 |9115 |5645 | 207 |2847 |4925 |1121 | 0.000000e+00 | 8.200000e+01 |    Inf 
23.20/23.20	o 75
23.20/23.20	c *22.5s|  9750 |  3831 | 10679 |   1.1 |  46M|2513 |   - |5645 |8800 |5645 | 209 |2860 |5000 |1123 | 0.000000e+00 | 7.500000e+01 |    Inf 
23.20/23.26	o 64
23.20/23.26	c *22.5s|  9755 |  3286 | 10688 |   1.1 |  44M|2513 |   - |5645 |8551 |5645 | 209 |2860 |5000 |1123 | 0.000000e+00 | 6.400000e+01 |    Inf 
24.49/24.54	c  23.8s| 10000 |  3327 | 12009 |   1.2 |  45M|2513 |   0 |5645 |7803 |5645 | 226 |3190 |5398 |1185 | 0.000000e+00 | 6.400000e+01 |    Inf 
24.59/24.66	o 30
24.59/24.66	c *23.9s| 10093 |  1742 | 12009 |   1.2 |  38M|2513 |   - |5645 |7803 |5645 | 226 |3190 |5398 |1185 | 0.000000e+00 | 3.000000e+01 |    Inf 
37.20/37.23	o 28
37.20/37.23	c *36.0s| 15135 |  1894 | 33602 |   2.2 |  42M|2513 |   - |5645 |6144 |5645 | 196 |7196 |  12k|1714 | 0.000000e+00 | 2.800000e+01 |    Inf 
38.29/38.36	o 26
38.29/38.36	c *37.0s| 15665 |  1781 | 35239 |   2.2 |  41M|2513 |   - |5645 |6138 |5645 | 244 |7423 |  13k|1715 | 0.000000e+00 | 2.600000e+01 |    Inf 
39.09/39.13	o 24
39.09/39.13	c *37.8s| 15978 |  1706 | 36488 |   2.3 |  41M|2513 |   - |5645 |6058 |5645 | 241 |7612 |  13k|1721 | 0.000000e+00 | 2.400000e+01 |    Inf 
42.09/42.13	o 18
42.09/42.13	c *40.7s| 17423 |  1415 | 41176 |   2.4 |  40M|2513 |   - |5645 |6061 |5645 | 222 |8390 |  15k|1734 | 0.000000e+00 | 1.800000e+01 |    Inf 
47.20/47.24	c  45.5s| 20000 |  1507 | 50354 |   2.5 |  41M|2513 |  14 |5645 |5869 |5645 | 229 |  10k|  19k|1734 | 0.000000e+00 | 1.800000e+01 |    Inf 
54.59/54.66	o 16
54.59/54.66	c *52.7s| 23947 |  1572 | 64476 |   2.7 |  42M|2513 |   - |5645 |6943 |5645 | 250 |  12k|  25k|1742 | 0.000000e+00 | 1.600000e+01 |    Inf 
54.79/54.80	o 11
54.79/54.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
54.79/54.80	c *52.8s| 24016 |  1378 | 64623 |   2.7 |  41M|2513 |   - |5645 |6896 |5645 | 263 |  12k|  25k|1742 | 0.000000e+00 | 1.100000e+01 |    Inf 
65.69/65.76	c  63.3s| 30000 |  1532 | 86723 |   2.9 |  43M|2513 |   1 |5645 |6518 |5645 | 187 |  16k|  34k|1778 | 0.000000e+00 | 1.100000e+01 |    Inf 
67.29/67.32	o 7
67.29/67.32	c *64.8s| 30846 |  1324 | 89646 |   2.9 |  41M|2513 |   - |5645 |6591 |5645 | 265 |  16k|  35k|1784 | 0.000000e+00 | 7.000000e+00 |    Inf 
73.60/73.68	o 5
73.60/73.68	c *70.9s| 34333 |  1284 |104074 |   3.0 |  42M|2513 |   - |5645 |7069 |5645 | 230 |  19k|  41k|1909 | 0.000000e+00 | 5.000000e+00 |    Inf 
83.79/83.87	c  80.6s| 40000 |  1339 |127728 |   3.2 |  43M|2513 |   1 |5645 |6846 |5645 | 261 |  22k|  49k|2114 | 0.000000e+00 | 5.000000e+00 |    Inf 
101.30/101.38	c  97.3s| 50000 |  1448 |166637 |   3.3 |  45M|2513 |  12 |5645 |8379 |5645 | 195 |  28k|  64k|2388 | 0.000000e+00 | 5.000000e+00 |    Inf 
120.19/120.20	c   115s| 60000 |  1508 |209734 |   3.5 |  48M|2513 |   - |5645 |  11k|   0 |   0 |  35k|  79k|2678 | 0.000000e+00 | 5.000000e+00 |    Inf 
139.20/139.22	c   133s| 70000 |  1529 |246607 |   3.5 |  49M|2513 |   1 |5645 |  12k|5645 | 221 |  40k|  94k|2951 | 0.000000e+00 | 5.000000e+00 |    Inf 
157.60/157.60	c   151s| 80000 |  1596 |283254 |   3.5 |  51M|2513 |   - |5645 |  13k|   0 |   0 |  45k| 109k|3188 | 0.000000e+00 | 5.000000e+00 |    Inf 
177.50/177.55	c   170s| 90000 |  1603 |329083 |   3.7 |  52M|2513 |   - |5645 |  14k|5645 | 235 |  50k| 125k|3393 | 0.000000e+00 | 5.000000e+00 |    Inf 
196.60/196.60	c   188s|100000 |  1625 |368893 |   3.7 |  52M|2513 |  17 |5645 |  11k|5645 | 244 |  55k| 140k|3606 | 0.000000e+00 | 5.000000e+00 |    Inf 
215.60/215.67	c   207s|110000 |  1706 |410083 |   3.7 |  54M|2513 |   - |5645 |  12k|   0 |   0 |  60k| 156k|3779 | 0.000000e+00 | 5.000000e+00 |    Inf 
234.20/234.27	o 4
234.20/234.27	c * 224s|119550 |  1470 |449801 |   3.8 |  51M|2513 |   - |5645 |  12k|5645 | 250 |  64k| 170k|3953 | 0.000000e+00 | 4.000000e+00 |    Inf 
235.20/235.28	c   225s|120000 |  1441 |451831 |   3.8 |  50M|2513 |   - |5645 |  10k|   0 |   0 |  64k| 171k|3963 | 0.000000e+00 | 4.000000e+00 |    Inf 
253.90/253.94	c   243s|130000 |  1428 |494067 |   3.8 |  50M|2513 |  13 |5645 |  11k|5645 | 249 |  69k| 187k|4142 | 0.000000e+00 | 4.000000e+00 |    Inf 
271.90/271.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
271.90/271.95	c   260s|140000 |  1539 |533683 |   3.8 |  51M|2513 |  15 |5645 |  11k|5645 | 205 |  76k| 202k|4295 | 0.000000e+00 | 4.000000e+00 |    Inf 
290.80/290.86	c   278s|150000 |  1587 |577572 |   3.8 |  52M|2513 |   1 |5645 |  12k|5645 | 190 |  81k| 217k|4435 | 0.000000e+00 | 4.000000e+00 |    Inf 
309.80/309.88	c   297s|160000 |  1757 |618476 |   3.9 |  54M|2513 |   8 |5645 |  12k|5645 | 218 |  87k| 233k|4631 | 0.000000e+00 | 4.000000e+00 |    Inf 
319.70/319.79	o 1
319.70/319.79	c * 306s|165260 |  1350 |638363 |   3.9 |  49M|2513 |   - |5645 |  13k|5645 | 218 |  90k| 241k|4674 | 0.000000e+00 | 1.000000e-00 |    Inf 
328.40/328.40	c   315s|170000 |  1329 |655777 |   3.9 |  48M|2513 |   - |5645 |  10k|   0 |   0 |  92k| 248k|4728 | 0.000000e+00 | 1.000000e-00 |    Inf 
345.60/345.68	c   331s|180000 |  1309 |692830 |   3.8 |  48M|2513 |   - |5645 |9823 |   0 |   0 |  96k| 263k|4845 | 0.000000e+00 | 1.000000e-00 |    Inf 
362.60/362.67	c   348s|190000 |  1600 |730369 |   3.8 |  51M|2513 |   1 |5645 |  11k|5645 | 220 | 100k| 279k|4972 | 0.000000e+00 | 1.000000e-00 |    Inf 
380.30/380.30	c   365s|200000 |  1702 |767530 |   3.8 |  52M|2513 |   1 |5645 |  13k|5645 | 219 | 104k| 294k|5047 | 0.000000e+00 | 1.000000e-00 |    Inf 
398.11/398.12	c   382s|210000 |  1773 |809117 |   3.9 |  53M|2513 |   1 |5645 |  12k|5645 | 225 | 107k| 309k|5173 | 0.000000e+00 | 1.000000e-00 |    Inf 
416.40/416.42	c   399s|220000 |  1895 |851062 |   3.9 |  56M|2513 |   - |5645 |  13k|   0 |   0 | 110k| 323k|5251 | 0.000000e+00 | 1.000000e-00 |    Inf 
435.00/435.06	c   417s|230000 |  1962 |896045 |   3.9 |  57M|2513 |  16 |5645 |  14k|5645 | 259 | 114k| 339k|5387 | 0.000000e+00 | 1.000000e-00 |    Inf 
453.80/453.85	c   435s|240000 |  2121 |937922 |   3.9 |  59M|2513 |   1 |5645 |  13k|5645 | 219 | 117k| 353k|5474 | 0.000000e+00 | 1.000000e-00 |    Inf 
473.20/473.23	c   454s|250000 |  2272 |983808 |   3.9 |  61M|2513 |  22 |5645 |  14k|5645 | 243 | 121k| 369k|5590 | 0.000000e+00 | 1.000000e-00 |    Inf 
491.61/491.66	c   472s|260000 |  2464 |  1020k|   3.9 |  64M|2513 |   1 |5645 |  17k|5645 | 252 | 124k| 384k|5676 | 0.000000e+00 | 1.000000e-00 |    Inf 
510.20/510.24	c   490s|270000 |  2517 |  1057k|   3.9 |  64M|2513 |   - |5645 |  15k|   0 |   0 | 127k| 400k|5762 | 0.000000e+00 | 1.000000e-00 |    Inf 
529.40/529.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
529.40/529.43	c   508s|280000 |  2725 |  1098k|   3.9 |  67M|2513 |   1 |5645 |  17k|5645 | 234 | 132k| 414k|5816 | 0.000000e+00 | 1.000000e-00 |    Inf 
549.41/549.47	c   527s|290000 |  2755 |  1142k|   3.9 |  68M|2513 |   1 |5645 |  18k|5645 | 234 | 136k| 429k|5911 | 0.000000e+00 | 1.000000e-00 |    Inf 
568.62/568.68	c   546s|300000 |  2810 |  1184k|   3.9 |  69M|2513 |   - |5645 |  16k|5645 | 249 | 139k| 444k|6006 | 0.000000e+00 | 1.000000e-00 |    Inf 
587.91/587.90	c   564s|310000 |  2899 |  1221k|   3.9 |  70M|2513 |   - |5645 |  17k|   0 |   0 | 142k| 459k|6099 | 0.000000e+00 | 1.000000e-00 |    Inf 
609.50/609.54	c   585s|320000 |  3099 |  1264k|   4.0 |  73M|2513 |   - |5645 |  19k|   0 |   0 | 145k| 474k|6171 | 0.000000e+00 | 1.000000e-00 |    Inf 
630.81/630.83	c   606s|330000 |  3062 |  1306k|   4.0 |  73M|2513 |  21 |5645 |  19k|5645 | 240 | 148k| 489k|6244 | 0.000000e+00 | 1.000000e-00 |    Inf 
651.91/651.94	c   626s|340000 |  3041 |  1347k|   4.0 |  73M|2513 |   1 |5645 |  19k|5645 | 231 | 152k| 504k|6345 | 0.000000e+00 | 1.000000e-00 |    Inf 
672.21/672.21	c   646s|350000 |  2983 |  1384k|   4.0 |  73M|2513 |   1 |5645 |  17k|5645 | 219 | 155k| 520k|6412 | 0.000000e+00 | 1.000000e-00 |    Inf 
692.10/692.15	c   665s|360000 |  3041 |  1424k|   4.0 |  75M|2513 |   1 |5645 |  20k|5645 | 219 | 158k| 535k|6483 | 0.000000e+00 | 1.000000e-00 |    Inf 
713.21/713.24	c   686s|370000 |  3041 |  1468k|   4.0 |  75M|2513 |   6 |5645 |  19k|5645 | 240 | 162k| 551k|6575 | 0.000000e+00 | 1.000000e-00 |    Inf 
733.62/733.62	c   705s|380000 |  3047 |  1511k|   4.0 |  76M|2513 |   - |5645 |  18k|   0 |   0 | 165k| 567k|6659 | 0.000000e+00 | 1.000000e-00 |    Inf 
754.81/754.81	c   726s|390000 |  3172 |  1550k|   4.0 |  78M|2513 |  11 |5645 |  22k|5645 | 241 | 169k| 583k|6726 | 0.000000e+00 | 1.000000e-00 |    Inf 
777.21/777.29	c   748s|400000 |  3183 |  1589k|   4.0 |  80M|2513 |  23 |5645 |  25k|5645 | 289 | 172k| 599k|6778 | 0.000000e+00 | 1.000000e-00 |    Inf 
799.11/799.13	c   769s|410000 |  3388 |  1636k|   4.0 |  81M|2513 |   - |5645 |  22k|   0 |   0 | 176k| 615k|6874 | 0.000000e+00 | 1.000000e-00 |    Inf 
820.11/820.16	c   790s|420000 |  3432 |  1679k|   4.0 |  82M|2513 |   1 |5645 |  23k|5645 | 264 | 179k| 631k|6936 | 0.000000e+00 | 1.000000e-00 |    Inf 
841.42/841.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
841.42/841.42	c   810s|430000 |  3518 |  1725k|   4.0 |  84M|2513 |   - |5645 |  24k|   0 |   0 | 182k| 647k|7008 | 0.000000e+00 | 1.000000e-00 |    Inf 
863.31/863.39	c   832s|440000 |  3544 |  1765k|   4.0 |  85M|2513 |   - |5645 |  24k|   0 |   0 | 186k| 663k|7074 | 0.000000e+00 | 1.000000e-00 |    Inf 
886.72/886.77	c   855s|450000 |  3644 |  1812k|   4.0 |  87M|2513 |  13 |5645 |  26k|5645 | 251 | 189k| 680k|7135 | 0.000000e+00 | 1.000000e-00 |    Inf 
911.11/911.14	c   878s|460000 |  3675 |  1857k|   4.0 |  87M|2513 |   1 |5645 |  24k|5645 | 241 | 192k| 697k|7205 | 0.000000e+00 | 1.000000e-00 |    Inf 
935.61/935.63	c   902s|470000 |  3734 |  1905k|   4.1 |  89M|2513 |  20 |5645 |  26k|5645 | 267 | 197k| 714k|7267 | 0.000000e+00 | 1.000000e-00 |    Inf 
959.12/959.13	c   925s|480000 |  3766 |  1947k|   4.1 |  89M|2513 |   - |5645 |  24k|   0 |   0 | 200k| 729k|7335 | 0.000000e+00 | 1.000000e-00 |    Inf 
981.71/981.72	c   947s|490000 |  3762 |  1992k|   4.1 |  90M|2513 |   - |5645 |  25k|   0 |   0 | 204k| 746k|7391 | 0.000000e+00 | 1.000000e-00 |    Inf 
1004.92/1004.91	c   969s|500000 |  3747 |  2039k|   4.1 |  90M|2513 |   - |5645 |  25k|   0 |   0 | 207k| 762k|7460 | 0.000000e+00 | 1.000000e-00 |    Inf 
1028.62/1028.69	c   992s|510000 |  3761 |  2090k|   4.1 |  91M|2513 |   - |5645 |  26k|   0 |   0 | 211k| 778k|7533 | 0.000000e+00 | 1.000000e-00 |    Inf 
1052.82/1052.82	c  1016s|520000 |  3775 |  2146k|   4.1 |  91M|2513 |  14 |5645 |  24k|5645 | 283 | 216k| 795k|7619 | 0.000000e+00 | 1.000000e-00 |    Inf 
1075.52/1075.59	c  1038s|530000 |  3833 |  2190k|   4.1 |  93M|2513 |   1 |5645 |  27k|5645 | 241 | 219k| 811k|7677 | 0.000000e+00 | 1.000000e-00 |    Inf 
1099.81/1099.86	c  1061s|540000 |  3890 |  2224k|   4.1 |  96M|2513 |  22 |5645 |  32k|5645 | 268 | 222k| 827k|7703 | 0.000000e+00 | 1.000000e-00 |    Inf 
1125.02/1125.07	c  1086s|550000 |  3903 |  2265k|   4.1 |  94M|2513 |   - |5645 |  26k|   0 |   0 | 226k| 841k|7755 | 0.000000e+00 | 1.000000e-00 |    Inf 
1149.22/1149.26	c  1110s|560000 |  3909 |  2312k|   4.1 |  93M|2513 |   - |5645 |  23k|   0 |   0 | 229k| 857k|7816 | 0.000000e+00 | 1.000000e-00 |    Inf 
1173.32/1173.35	c  1133s|570000 |  3967 |  2354k|   4.1 |  95M|2513 |  12 |5645 |  25k|5645 | 304 | 232k| 872k|7871 | 0.000000e+00 | 1.000000e-00 |    Inf 
1196.02/1196.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1196.02/1196.02	c  1155s|580000 |  3943 |  2394k|   4.1 |  95M|2513 |   - |5645 |  24k|   0 |   0 | 234k| 887k|7920 | 0.000000e+00 | 1.000000e-00 |    Inf 
1217.63/1217.66	c  1176s|590000 |  3966 |  2441k|   4.1 |  94M|2513 |   - |5645 |  20k|   0 |   0 | 238k| 903k|8011 | 0.000000e+00 | 1.000000e-00 |    Inf 
1239.02/1239.06	c  1196s|600000 |  3987 |  2494k|   4.2 |  94M|2513 |   - |5645 |  18k|   0 |   0 | 241k| 921k|8068 | 0.000000e+00 | 1.000000e-00 |    Inf 
1260.42/1260.48	c  1217s|610000 |  3983 |  2541k|   4.2 |  95M|2513 |   1 |5645 |  19k|5645 | 241 | 245k| 936k|8117 | 0.000000e+00 | 1.000000e-00 |    Inf 
1282.02/1282.07	c  1238s|620000 |  4074 |  2585k|   4.2 |  97M|2513 |  21 |5645 |  22k|5645 | 269 | 248k| 952k|8167 | 0.000000e+00 | 1.000000e-00 |    Inf 
1304.13/1304.11	c  1259s|630000 |  4037 |  2624k|   4.2 |  97M|2513 |   - |5645 |  21k|   0 |   0 | 251k| 967k|8232 | 0.000000e+00 | 1.000000e-00 |    Inf 
1327.03/1327.08	c  1281s|640000 |  4102 |  2675k|   4.2 |  99M|2513 |  13 |5645 |  21k|5645 | 267 | 255k| 984k|8290 | 0.000000e+00 | 1.000000e-00 |    Inf 
1349.23/1349.21	c  1303s|650000 |  4186 |  2717k|   4.2 |  99M|2513 |  15 |5645 |  19k|5645 | 234 | 258k| 999k|8342 | 0.000000e+00 | 1.000000e-00 |    Inf 
1371.93/1371.91	c  1325s|660000 |  4300 |  2757k|   4.2 | 101M|2513 |   1 |5645 |  22k|5645 | 250 | 262k|1014k|8378 | 0.000000e+00 | 1.000000e-00 |    Inf 
1395.63/1395.61	c  1348s|670000 |  4270 |  2800k|   4.2 | 101M|2513 |   - |5645 |  21k|   0 |   0 | 266k|1029k|8423 | 0.000000e+00 | 1.000000e-00 |    Inf 
1418.53/1418.58	c  1370s|680000 |  4396 |  2848k|   4.2 | 104M|2513 |   - |5645 |  24k|   0 |   0 | 269k|1045k|8482 | 0.000000e+00 | 1.000000e-00 |    Inf 
1442.83/1442.84	c  1393s|690000 |  4357 |  2897k|   4.2 | 103M|2513 |   - |5645 |  19k|   0 |   0 | 273k|1061k|8536 | 0.000000e+00 | 1.000000e-00 |    Inf 
1464.04/1464.06	c  1414s|700000 |  4293 |  2937k|   4.2 | 101M|2513 |   - |5645 |  14k|   0 |   0 | 276k|1076k|8594 | 0.000000e+00 | 1.000000e-00 |    Inf 
1484.23/1484.24	c  1433s|710000 |  4395 |  2978k|   4.2 | 102M|2513 |   1 |5645 |  16k|5645 | 228 | 280k|1092k|8659 | 0.000000e+00 | 1.000000e-00 |    Inf 
1505.72/1505.79	c  1454s|720000 |  4551 |  3018k|   4.2 | 104M|2513 |  19 |5645 |  19k|5645 | 228 | 283k|1108k|8698 | 0.000000e+00 | 1.000000e-00 |    Inf 
1527.43/1527.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1527.43/1527.43	c  1475s|730000 |  4529 |  3055k|   4.2 | 104M|2513 |   1 |5645 |  18k|5645 | 228 | 286k|1124k|8724 | 0.000000e+00 | 1.000000e-00 |    Inf 
1547.74/1547.78	c  1495s|740000 |  4450 |  3090k|   4.2 | 104M|2513 |   1 |5645 |  17k|5645 | 254 | 289k|1140k|8764 | 0.000000e+00 | 1.000000e-00 |    Inf 
1568.73/1568.71	c  1515s|750000 |  4402 |  3133k|   4.2 | 103M|2513 |  11 |5645 |  16k|5645 | 228 | 292k|1157k|8816 | 0.000000e+00 | 1.000000e-00 |    Inf 
1587.93/1587.96	c  1533s|760000 |  4356 |  3175k|   4.2 | 102M|2513 |  10 |5645 |  13k|5645 | 257 | 296k|1173k|8930 | 0.000000e+00 | 1.000000e-00 |    Inf 
1606.93/1606.91	c  1552s|770000 |  4426 |  3209k|   4.2 | 103M|2513 |  18 |5645 |  13k|5645 | 231 | 299k|1187k|8980 | 0.000000e+00 | 1.000000e-00 |    Inf 
1628.83/1628.83	c  1573s|780000 |  4457 |  3240k|   4.2 | 103M|2513 |   - |5645 |  13k|   0 |   0 | 302k|1202k|8987 | 0.000000e+00 | 1.000000e-00 |    Inf 
1653.34/1653.35	c  1598s|790000 |  4612 |  3280k|   4.2 | 106M|2513 |   - |5645 |  15k|   0 |   0 | 306k|1219k|9032 | 0.000000e+00 | 1.000000e-00 |    Inf 
1677.83/1677.88	c  1622s|800000 |  4613 |  3324k|   4.2 | 107M|2513 |   1 |5645 |  15k|5645 | 221 | 310k|1235k|9086 | 0.000000e+00 | 1.000000e-00 |    Inf 
1702.13/1702.14	c  1646s|810000 |  4595 |  3364k|   4.2 | 107M|2513 |   - |5645 |  14k|   0 |   0 | 314k|1251k|9127 | 0.000000e+00 | 1.000000e-00 |    Inf 
1723.34/1723.38	c  1666s|820000 |  4540 |  3404k|   4.2 | 106M|2513 |  14 |5645 |  14k|5645 | 252 | 317k|1267k|9158 | 0.000000e+00 | 1.000000e-00 |    Inf 
1745.84/1745.88	c  1689s|830000 |  4538 |  3446k|   4.2 | 106M|2513 |  13 |5645 |  13k|5645 | 222 | 321k|1283k|9346 | 0.000000e+00 | 1.000000e-00 |    Inf 
1767.84/1767.87	c  1710s|840000 |  4381 |  3482k|   4.1 | 104M|2513 |   1 |5645 |  11k|5645 | 211 | 324k|1299k|9661 | 0.000000e+00 | 1.000000e-00 |    Inf 
1790.54/1790.56	c  1733s|850000 |  4395 |  3526k|   4.1 | 104M|2513 |   1 |5645 |  12k|5645 | 215 | 328k|1314k|9727 | 0.000000e+00 | 1.000000e-00 |    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) : 1741.83
1800.05/1800.00	c Solving Nodes      : 854404
1800.05/1800.00	c Primal Bound       : +1.00000000000000e-00 (188 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.05	s SATISFIABLE
1800.05/1800.05	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.05	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.05	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.05	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.05	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.05/1800.05	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.05	v -x103 -x102 -x101 x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.05	v x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.05/1800.05	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.05	v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 
1800.05/1800.05	v -x1 
1800.05/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.05	c Solving Time       :    1741.83
1800.05/1800.05	c Original Problem   :
1800.05/1800.05	c   Problem name     : HOME/instance-2693005-1277928314.wbo
1800.05/1800.05	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.05	c Presolved Problem  :
1800.05/1800.05	c   Problem name     : t_HOME/instance-2693005-1277928314.wbo
1800.05/1800.05	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.05	c   Constraints      : 5414 initial, 32585 maximal
1800.05/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.05	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.05	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.05/1800.05	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.05/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   integral         :          0          0          0     509503          0         21        688          0          0     924488
1800.05/1800.05	c   indicator        :       2707          0     852630      20732          0         90    1094781          0          0          0
1800.05/1800.05	c   linear           :       2707          6    4725557      46574          0     364190   20576610     330648          0          0
1800.05/1800.05	c   logicor          :          0+         0    1461813          0          0      79298    1928890          0          0          0
1800.05/1800.05	c   bounddisjunction :          0+         0        384          0          0          0          0          0          0          0
1800.05/1800.05	c   countsols        :          0          0          0       8754          0          0          0          0          0          0
1800.05/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.05	c   integral         :      15.62       0.00       0.00      15.62       0.00
1800.05/1800.05	c   indicator        :       5.45       0.00       3.61       1.84       0.00
1800.05/1800.05	c   linear           :     248.22       0.01     243.17       5.04       0.00
1800.05/1800.05	c   logicor          :     259.29       0.00     259.29       0.00       0.00
1800.05/1800.05	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.05	c   vbounds          :       0.12          2          0          0
1800.05/1800.05	c   rootredcost      :       0.11         25          0       2707
1800.05/1800.05	c   pseudoobj        :     219.31    4728418       2593     694104
1800.05/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.05	c   propagation      :      30.15     446081     445926    2916036       36.2      19011       27.1          -
1800.05/1800.05	c   infeasible LP    :       3.46       8847       8847      73577       47.2        122       16.7          0
1800.05/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   pseudo solution  :       0.01         41         41        184       17.1         59        5.1          -
1800.05/1800.05	c   applied globally :          -          -          -    1321119       26.7          -          -          -
1800.05/1800.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.05	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.05/1800.05	c   redcost          :      34.22     512452          0     375394          0          0
1800.05/1800.05	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.05	c   gomory           :       0.00          4          0          0         75          0
1800.05/1800.05	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.05	c   cmir             :       0.01          4          0          0          1          0
1800.05/1800.05	c   flowcover        :       0.02          4          0          0          2          0
1800.05/1800.05	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.05	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.05	c Pricers            :       Time      Calls       Vars
1800.05/1800.05	c   problem variables:       0.00          0          0
1800.05/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   relpscost        :      15.46     462810         21        688          0          0     924488
1800.05/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   inference        :       1.59       8729          0          0          0          0      17458
1800.05/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.05	c   LP solutions     :       0.04          -         25
1800.05/1800.05	c   pseudo solutions :       0.00          -          0
1800.05/1800.05	c   feaspump         :       0.00          0          0
1800.05/1800.05	c   oneopt           :       0.12         24          0
1800.05/1800.05	c   intshifting      :       0.03          7          0
1800.05/1800.05	c   linesearchdiving :       0.04         11          0
1800.05/1800.05	c   guideddiving     :       0.01         11          0
1800.05/1800.05	c   coefdiving       :       0.00         11          0
1800.05/1800.05	c   pscostdiving     :       0.02         12          0
1800.05/1800.05	c   fracdiving       :       0.02         12          0
1800.05/1800.05	c   veclendiving     :       0.04         12          0
1800.05/1800.05	c   objpscostdiving  :       0.02          7          0
1800.05/1800.05	c   rootsoldiving    :       0.05          8          0
1800.05/1800.05	c   crossover        :       1.00         37          6
1800.05/1800.05	c   trivial          :       0.08          2          2
1800.05/1800.05	c   simplerounding   :       0.61     464015          0
1800.05/1800.05	c   zirounding       :       0.76       1000          0
1800.05/1800.05	c   rounding         :       1.50       9624          0
1800.05/1800.05	c   shifting         :       1.09       2943          0
1800.05/1800.05	c   twoopt           :       0.00          0          0
1800.05/1800.05	c   fixandinfer      :       0.00          0          0
1800.05/1800.05	c   intdiving        :       0.00          0          0
1800.05/1800.05	c   actconsdiving    :       0.00          0          0
1800.05/1800.05	c   octane           :       0.00          0          0
1800.05/1800.05	c   rens             :       0.03          1          0
1800.05/1800.05	c   rins             :       0.00          0          0
1800.05/1800.05	c   localbranching   :       0.00          0          0
1800.05/1800.05	c   mutation         :       0.00          0          0
1800.05/1800.05	c   dins             :       0.00          0          0
1800.05/1800.05	c   undercover       :       0.00          0          0
1800.05/1800.05	c   nlp              :       0.02          0          0
1800.05/1800.05	c   trysol           :       1.97       4272        155
1800.05/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.05	c   dual LP          :     445.39     510794    3541251       6.93    7950.90
1800.05/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.05	c   diving/probing LP:       0.15         61        837      13.72    5580.00
1800.05/1800.05	c   strong branching :      11.93       9920     115444      11.64    9676.78
1800.05/1800.05	c     (at root node) :          -         33       1884      57.09          -
1800.05/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.05	c B&B Tree           :
1800.05/1800.05	c   number of runs   :          1
1800.05/1800.05	c   nodes            :     854404
1800.05/1800.05	c   nodes (total)    :     854404
1800.05/1800.05	c   nodes left       :       4444
1800.05/1800.05	c   max depth        :       2513
1800.05/1800.05	c   max depth (total):       2513
1800.05/1800.05	c   backtracks       :      78863 (9.2%)
1800.05/1800.05	c   delayed cutoffs  :      74612
1800.05/1800.05	c   repropagations   :    2445675 (4214239 domain reductions, 71563 cutoffs)
1800.05/1800.05	c   avg switch length:       7.11
1800.05/1800.05	c   switching time   :     273.51
1800.05/1800.05	c Solution           :
1800.05/1800.05	c   Solutions found  :        188 (26 improvements)
1800.05/1800.05	c   First Solution   : +1.37945000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.05	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 165260 nodes, 306.24 seconds, depth 47, found by <relaxation>)
1800.05/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.05	c   Gap              :   infinite
1800.05/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.05	c   Root Iterations  :        183
1800.24/1800.21	c Time complete: 1800.25.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693005-1277928314/watcher-2693005-1277928314 -o /tmp/evaluation-result-2693005-1277928314/solver-2693005-1277928314 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693005-1277928314.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.08 2.02 2.01 4/178 28811
/proc/meminfo: memFree=30010708/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=11116 CPUtime=0
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1703 0 0 0 0 0 0 0 25 0 1 0 168434887 11382784 1623 4089446400 4194304 9819077 140737461807824 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28811/statm: 2827 1627 392 1374 0 1448 0

[startup+0.0361299 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 28811
/proc/meminfo: memFree=30010708/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=20148 CPUtime=0.03
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3980 0 0 0 3 0 0 0 25 0 1 0 168434887 20631552 3900 4089446400 4194304 9819077 140737461807824 18446744073709551615 6181459 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28811/statm: 5037 3900 392 1374 0 3658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20148

[startup+0.101096 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 28811
/proc/meminfo: memFree=30010708/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=36404 CPUtime=0.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 8123 0 0 0 9 0 0 0 25 0 1 0 168434887 37277696 7689 4089446400 4194304 9819077 140737461807824 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.30107 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 28811
/proc/meminfo: memFree=30010708/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=53516 CPUtime=0.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 12810 0 0 0 28 1 0 0 18 0 1 0 168434887 54800384 11777 4089446400 4194304 9819077 140737461807824 18446744073709551615 6179984 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 13636 11783 674 1374 0 12257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53516

[startup+0.70099 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 28811
/proc/meminfo: memFree=30010708/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=45892 CPUtime=0.7
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 27982 0 0 0 65 5 0 0 18 0 1 0 168434887 46993408 9944 4089446400 4194304 9819077 140737461807824 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 11473 9944 698 1374 0 10094 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 45892

[startup+1.50085 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 28812
/proc/meminfo: memFree=29956884/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=49236 CPUtime=1.49
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 33293 0 0 0 142 7 0 0 19 0 1 0 168434887 50417664 10842 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 12309 10842 700 1374 0 10930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49236

[startup+3.10056 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28812
/proc/meminfo: memFree=29969296/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=50360 CPUtime=3.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 50493 0 0 0 297 12 0 0 25 0 1 0 168434887 51568640 11230 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 12590 11230 700 1374 0 11211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50360

[startup+6.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28813
/proc/meminfo: memFree=29965664/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=55360 CPUtime=6.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 66844 0 0 0 606 23 0 0 25 0 1 0 168434887 56688640 12289 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 13840 12289 700 1374 0 12461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55360

[startup+12.7009 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 28813
/proc/meminfo: memFree=29949924/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=71480 CPUtime=12.69
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 97614 0 0 0 1229 40 0 0 25 0 1 0 168434887 73195520 16068 4089446400 4194304 9819077 140737461807824 18446744073709551615 6002944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 17870 16068 706 1374 0 16491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71480

[startup+25.5006 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28813
/proc/meminfo: memFree=29918232/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=102700 CPUtime=25.49
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 167487 0 0 0 2471 78 0 0 25 0 1 0 168434887 105164800 23805 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 25675 23805 707 1374 0 24296 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102700

[startup+51.101 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28814
/proc/meminfo: memFree=29895332/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=126508 CPUtime=51.1
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 289972 0 0 0 4931 179 0 0 25 0 1 0 168434887 129544192 29659 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 31627 29659 712 1374 0 30248 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 126508

[startup+102.307 s]
/proc/loadavg: 1.96 1.99 1.99 3/197 28861
/proc/meminfo: memFree=30395456/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=134768 CPUtime=102.31
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 514059 0 0 0 9823 408 0 0 25 0 1 0 168434887 138002432 31687 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 33692 31687 717 1374 0 32313 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 134768

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/197 28863
/proc/meminfo: memFree=30385772/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=142920 CPUtime=162.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 700791 0 0 0 15557 672 0 0 25 0 1 0 168434887 146350080 33759 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 35730 33759 732 1374 0 34351 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 142920

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 28864
/proc/meminfo: memFree=30378876/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=148828 CPUtime=222.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 887845 0 0 0 21301 929 0 0 25 0 1 0 168434887 152399872 35227 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 37207 35227 732 1374 0 35828 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 148828

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 28866
/proc/meminfo: memFree=30376444/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=150492 CPUtime=282.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1075946 0 0 0 27030 1200 0 0 25 0 1 0 168434887 154103808 35591 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 37623 35591 732 1374 0 36244 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 150492

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 28868
/proc/meminfo: memFree=30374528/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=151920 CPUtime=342.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1259642 0 0 0 32797 1433 0 0 25 0 1 0 168434887 155566080 35958 4089446400 4194304 9819077 140737461807824 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 37980 35958 732 1374 0 36601 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 151920

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 28869
/proc/meminfo: memFree=30372352/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=154424 CPUtime=402.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1401967 0 0 0 38582 1648 0 0 25 0 1 0 168434887 158130176 36502 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 38606 36502 732 1374 0 37227 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154424

[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 28871
/proc/meminfo: memFree=30367688/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=158728 CPUtime=462.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1547061 0 0 0 44350 1880 0 0 25 0 1 0 168434887 162537472 37548 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 39682 37548 732 1374 0 38303 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 158728

[startup+522.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 28875
/proc/meminfo: memFree=30361756/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=163468 CPUtime=522.31
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1641300 0 0 0 50129 2102 0 0 25 0 1 0 168434887 167391232 38802 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 40867 38802 732 1374 0 39488 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 163468

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28877
/proc/meminfo: memFree=30356900/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=168528 CPUtime=582.3
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1742260 0 0 0 55905 2325 0 0 25 0 1 0 168434887 172572672 39963 4089446400 4194304 9819077 140737461807824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 42132 39963 732 1374 0 40753 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 168528

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28879
/proc/meminfo: memFree=30354216/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=170688 CPUtime=642.31
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 1847514 0 0 0 61708 2523 0 0 25 0 1 0 168434887 174784512 40521 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 42672 40521 732 1374 0 41293 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 170688

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 28885
/proc/meminfo: memFree=30334252/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=189728 CPUtime=882.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2171482 0 0 0 85029 3203 0 0 25 0 1 0 168434887 194281472 45181 4089446400 4194304 9819077 140737461807824 18446744073709551615 7816410 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 47432 45181 732 1374 0 46053 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 189728

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28887
/proc/meminfo: memFree=30332320/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=191500 CPUtime=942.31
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2232089 0 0 0 90866 3365 0 0 25 0 1 0 168434887 196096000 45642 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 47875 45642 732 1374 0 46496 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 191500

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28888
/proc/meminfo: memFree=30330272/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=193340 CPUtime=1002.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2304520 0 0 0 96682 3550 0 0 25 0 1 0 168434887 197980160 46137 4089446400 4194304 9819077 140737461807824 18446744073709551615 6723468 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 48335 46137 732 1374 0 46956 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 193340

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 28890
/proc/meminfo: memFree=30328976/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=194588 CPUtime=1062.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2407388 0 0 0 102496 3736 0 0 25 0 1 0 168434887 199258112 46391 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 48647 46391 732 1374 0 47268 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 194588

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 28937
/proc/meminfo: memFree=30219800/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=197980 CPUtime=1122.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2482496 0 0 0 108327 3905 0 0 25 0 1 0 168434887 202731520 47302 4089446400 4194304 9819077 140737461807824 18446744073709551615 6367517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 49495 47302 732 1374 0 48116 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 197980

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28939
/proc/meminfo: memFree=30185396/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=198740 CPUtime=1182.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2573396 0 0 0 114155 4077 0 0 25 0 1 0 168434887 203509760 47566 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 49685 47566 732 1374 0 48306 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 198740

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28941
/proc/meminfo: memFree=30155348/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=200976 CPUtime=1242.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2690037 0 0 0 119945 4287 0 0 25 0 1 0 168434887 205799424 48012 4089446400 4194304 9819077 140737461807824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 50244 48012 732 1374 0 48865 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 200976

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28942
/proc/meminfo: memFree=30127400/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=201708 CPUtime=1302.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2800516 0 0 0 125748 4485 0 0 25 0 1 0 168434887 206548992 48236 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 50427 48236 732 1374 0 49048 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 201708

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28944
/proc/meminfo: memFree=30102688/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=205004 CPUtime=1362.32
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 2909734 0 0 0 131539 4693 0 0 25 0 1 0 168434887 209924096 48971 4089446400 4194304 9819077 140737461807824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 51251 48971 732 1374 0 49872 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 205004

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 28945
/proc/meminfo: memFree=30066696/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=206024 CPUtime=1422.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3016996 0 0 0 137347 4886 0 0 25 0 1 0 168434887 210968576 49271 4089446400 4194304 9819077 140737461807824 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 51506 49271 732 1374 0 50127 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 206024

[startup+1482.3 s]
/proc/loadavg: 2.37 2.11 2.04 3/197 28947
/proc/meminfo: memFree=30036032/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=208016 CPUtime=1482.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3129395 0 0 0 143144 5089 0 0 25 0 1 0 168434887 213008384 49601 4089446400 4194304 9819077 140737461807824 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 51741 49594 732 1374 0 50362 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 208016

[startup+1542.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/197 28949
/proc/meminfo: memFree=30001396/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=209772 CPUtime=1542.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3232163 0 0 0 148941 5292 0 0 25 0 1 0 168434887 214806528 50045 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28811/statm: 52443 50045 732 1374 0 51064 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 209772

[startup+1602.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/197 28950
/proc/meminfo: memFree=29975320/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=210940 CPUtime=1602.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3358569 0 0 0 154727 5506 0 0 25 0 1 0 168434887 216002560 50225 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28811/statm: 52735 50225 732 1374 0 51356 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 210940

[startup+1662.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/197 28952
/proc/meminfo: memFree=29940308/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=212960 CPUtime=1662.34
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3451100 0 0 0 160637 5597 0 0 25 0 1 0 168434887 218071040 50778 4089446400 4194304 9819077 140737461807824 18446744073709551615 6003308 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28811/statm: 53240 50778 732 1374 0 51861 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 212960

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/197 28953
/proc/meminfo: memFree=29933948/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=214252 CPUtime=1722.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3553263 0 0 0 166544 5689 0 0 25 0 1 0 168434887 219394048 51053 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28811/statm: 53563 51053 732 1374 0 52184 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 214252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 28955
/proc/meminfo: memFree=29932808/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=214376 CPUtime=1782.33
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3687825 0 0 0 172445 5788 0 0 25 0 1 0 168434887 219521024 51085 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28811/statm: 53594 51085 732 1374 0 52215 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 214376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 28955
/proc/meminfo: memFree=29932796/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=214352 CPUtime=1800.05
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3732834 0 0 0 174186 5819 0 0 25 0 1 0 168434887 219496448 51086 4089446400 4194304 9819077 140737461807824 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28811/statm: 53588 51086 732 1374 0 52209 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 214352

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 28955
/proc/meminfo: memFree=29932796/32950928 swapFree=67111528/67111528
[pid=28811] ppid=28809 vsize=195664 CPUtime=1800.24
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27917 0 -1 4202496 3732844 0 0 0 174205 5819 0 0 25 0 1 0 168434887 200359936 46753 4089446400 4194304 9819077 140737461807824 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28811/statm: 48787 46753 733 1374 0 47408 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 195664

Child status: 0
Real time (s): 1800.22
CPU time (s): 1800.26
CPU user time (s): 1742.06
CPU system time (s): 58.2032
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 215740

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

runsolver used 2.85757 second user time and 5.9221 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 22:05:14
IDJOB=2693005
IDBENCH=79287
IDSOLVER=1205
FILE ID=node112/2693005-1277928314
PBS_JOBID= 11197354
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288--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-2693005-1277928314/watcher-2693005-1277928314 -o /tmp/evaluation-result-2693005-1277928314/solver-2693005-1277928314 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693005-1277928314.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6ba4b4283c00d7202a0c09683aff0663
RANDOM SEED=202708398

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30011112 kB
Buffers:        210192 kB
Cached:        1903632 kB
SwapCached:          0 kB
Active:        1217512 kB
Inactive:      1575632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30011112 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:      679292 kB
Mapped:          17632 kB
Slab:            81968 kB
PageTables:       5832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   887740 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 node112 at 2010-06-30 22:35:16