Trace number 2693031

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.32 1800.29

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
MD5SUM820e833470f89e38c3db46a3ad325d3f
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark437.198
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 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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-2693031-1277929667.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 136179
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.361790e+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.98
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.361790e+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.361790e+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.361790e+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.361790e+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.361790e+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.361790e+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.361790e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.361790e+05 |    Inf 
4.49/4.56	o 459
4.49/4.56	c * 4.4s|  2571 |  2567 |  1429 |   0.5 |  27M|2476 |   - |5645 |5414 |5645 | 245 | 465 |   0 | 415 | 0.000000e+00 | 4.590000e+02 |    Inf 
15.19/15.25	c  15.0s| 10000 |  9984 |  3804 |   0.4 |  44M|2476 |   0 |5645 |5465 |5645 | 254 |1065 |  51 | 582 | 0.000000e+00 | 4.590000e+02 |    Inf 
20.59/20.62	o 445
20.59/20.62	c *20.3s| 13515 | 13311 |  4757 |   0.3 |  53M|2476 |   - |5645 |5756 |5645 | 266 |1276 | 342 | 667 | 0.000000e+00 | 4.450000e+02 |    Inf 
20.69/20.80	o 443
20.69/20.80	c *20.5s| 13559 | 13317 |  4908 |   0.3 |  53M|2476 |   - |5645 |5863 |5645 | 279 |1315 | 449 | 667 | 0.000000e+00 | 4.430000e+02 |    Inf 
21.79/21.87	o 431
21.79/21.87	c *21.5s| 14042 | 13639 |  5539 |   0.4 |  55M|2476 |   - |5645 |6030 |5645 | 253 |1542 | 616 | 712 | 0.000000e+00 | 4.310000e+02 |    Inf 
24.69/24.71	o 416
24.69/24.71	c *24.4s| 15126 | 14356 |  7374 |   0.5 |  59M|2476 |   - |5645 |6648 |5645 | 241 |1990 |1234 | 761 | 0.000000e+00 | 4.160000e+02 |    Inf 
24.99/25.05	o 410
24.99/25.05	c *24.7s| 15274 | 14415 |  7559 |   0.5 |  59M|2476 |   - |5645 |6736 |5645 | 229 |2034 |1322 | 764 | 0.000000e+00 | 4.100000e+02 |    Inf 
26.09/26.10	o 402
26.09/26.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.09/26.10	c *25.7s| 15801 | 14773 |  8026 |   0.5 |  61M|2476 |   - |5645 |6854 |5645 | 260 |2145 |1440 | 768 | 0.000000e+00 | 4.020000e+02 |    Inf 
26.09/26.11	o 382
26.09/26.11	c *25.7s| 15802 | 14504 |  8026 |   0.5 |  60M|2476 |   - |5645 |6854 |5645 | 260 |2145 |1440 | 768 | 0.000000e+00 | 3.820000e+02 |    Inf 
29.09/29.12	o 363
29.09/29.12	c *28.7s| 17517 | 15974 |  9261 |   0.5 |  63M|2476 |   - |5645 |6946 |5645 | 257 |2548 |1532 | 790 | 0.000000e+00 | 3.630000e+02 |    Inf 
30.70/30.74	o 295
30.70/30.74	c *30.3s| 18350 | 15554 |  9980 |   0.5 |  60M|2476 |   - |5645 |7097 |5645 | 219 |2798 |1683 | 810 | 0.000000e+00 | 2.950000e+02 |    Inf 
33.38/33.42	o 275
33.38/33.42	c *32.9s| 19359 | 15828 | 11713 |   0.6 |  63M|2476 |   - |5645 |7734 |5645 | 225 |3361 |2320 | 860 | 0.000000e+00 | 2.750000e+02 |    Inf 
34.98/35.08	c  34.6s| 20000 | 16353 | 12770 |   0.6 |  65M|2476 |   0 |5645 |8082 |5645 | 223 |3784 |2672 | 882 | 0.000000e+00 | 2.750000e+02 |    Inf 
37.79/37.81	o 267
37.79/37.81	c *37.2s| 21181 | 16968 | 14014 |   0.7 |  68M|2476 |   - |5645 |8829 |5645 | 230 |4255 |3440 | 903 | 0.000000e+00 | 2.670000e+02 |    Inf 
38.59/38.67	o 264
38.59/38.67	c *38.1s| 21490 | 17140 | 14576 |   0.7 |  69M|2476 |   - |5645 |8942 |5645 | 226 |4407 |3568 | 906 | 0.000000e+00 | 2.640000e+02 |    Inf 
38.59/38.67	o 256
38.59/38.67	c *38.1s| 21491 | 16905 | 14579 |   0.7 |  69M|2476 |   - |5645 |8942 |5645 | 226 |4407 |3568 | 906 | 0.000000e+00 | 2.560000e+02 |    Inf 
40.29/40.31	o 249
40.29/40.31	c *39.7s| 22164 | 17191 | 15447 |   0.7 |  71M|2476 |   - |5645 |9127 |5645 | 248 |4643 |3801 | 934 | 0.000000e+00 | 2.490000e+02 |    Inf 
41.79/41.86	o 233
41.79/41.86	c *41.2s| 22781 | 16944 | 16276 |   0.7 |  72M|2476 |   - |5645 |9327 |5645 | 229 |4863 |4066 | 947 | 0.000000e+00 | 2.330000e+02 |    Inf 
45.79/45.86	o 230
45.79/45.86	c *45.2s| 24138 | 17831 | 18711 |   0.8 |  77M|2476 |   - |5645 |  10k|5645 | 238 |5664 |5243 | 999 | 0.000000e+00 | 2.300000e+02 |    Inf 
45.79/45.86	o 229
45.79/45.86	c *45.2s| 24139 | 17789 | 18714 |   0.8 |  77M|2476 |   - |5645 |  10k|5645 | 238 |5664 |5243 | 999 | 0.000000e+00 | 2.290000e+02 |    Inf 
48.48/48.59	o 221
48.48/48.59	c *47.9s| 24993 | 18123 | 21180 |   0.8 |  80M|2476 |   - |5645 |  10k|5645 | 254 |6476 |5708 |1069 | 0.000000e+00 | 2.210000e+02 |    Inf 
48.99/49.09	o 216
48.99/49.09	c *48.4s| 25053 | 17917 | 22232 |   0.9 |  81M|2476 |   - |5645 |9945 |5645 | 281 |6861 |5756 |1150 | 0.000000e+00 | 2.160000e+02 |    Inf 
52.19/52.29	o 188
52.19/52.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.19/52.29	c *51.5s| 26156 | 16604 | 24436 |   0.9 |  76M|2476 |   - |5645 |9828 |5645 | 246 |7569 |6468 |1172 | 0.000000e+00 | 1.880000e+02 |    Inf 
52.48/52.54	o 182
52.48/52.54	c *51.8s| 26230 | 15871 | 24596 |   0.9 |  74M|2476 |   - |5645 |9876 |5645 | 242 |7618 |6544 |1172 | 0.000000e+00 | 1.820000e+02 |    Inf 
55.58/55.66	o 163
55.58/55.66	c *54.8s| 27435 | 13960 | 26666 |   1.0 |  70M|2476 |   - |5645 |9117 |5645 | 298 |8305 |7183 |1206 | 0.000000e+00 | 1.630000e+02 |    Inf 
56.19/56.25	o 162
56.19/56.25	c *55.4s| 27584 | 13935 | 27243 |   1.0 |  71M|2476 |   - |5645 |8699 |5645 | 230 |8470 |7314 |1214 | 0.000000e+00 | 1.620000e+02 |    Inf 
59.79/59.80	o 156
59.79/59.80	c *58.9s| 28795 | 14089 | 30507 |   1.1 |  73M|2476 |   - |5645 |7718 |5645 | 247 |9601 |7862 |1249 | 0.000000e+00 | 1.560000e+02 |    Inf 
59.89/59.90	o 125
59.89/59.90	c *59.0s| 28860 | 10394 | 30508 |   1.1 |  61M|2476 |   - |5645 |7717 |5645 | 247 |9601 |7862 |1249 | 0.000000e+00 | 1.250000e+02 |    Inf 
62.99/63.03	o 122
62.99/63.03	c *62.1s| 29703 | 10727 | 34728 |   1.2 |  66M|2476 |   - |5645 |7117 |5645 | 232 |  10k|8320 |1384 | 0.000000e+00 | 1.220000e+02 |    Inf 
63.09/63.12	o 108
63.09/63.12	c *62.2s| 29769 |  9160 | 34748 |   1.2 |  61M|2476 |   - |5645 |7117 |5645 | 234 |  10k|8320 |1384 | 0.000000e+00 | 1.080000e+02 |    Inf 
63.99/64.08	c  63.1s| 30000 |  9222 | 35783 |   1.2 |  62M|2476 |   3 |5645 |6783 |5645 | 212 |  10k|8500 |1405 | 0.000000e+00 | 1.080000e+02 |    Inf 
67.39/67.45	o 103
67.39/67.45	c *66.4s| 31117 |  9450 | 39277 |   1.3 |  65M|2476 |   - |5645 |6821 |5645 | 223 |  11k|9165 |1434 | 0.000000e+00 | 1.030000e+02 |    Inf 
67.39/67.46	o 94
67.39/67.46	c *66.4s| 31118 |  8247 | 39277 |   1.3 |  60M|2476 |   - |5645 |6821 |5645 | 223 |  11k|9165 |1434 | 0.000000e+00 | 9.400000e+01 |    Inf 
68.68/68.71	o 88
68.68/68.71	c *67.7s| 31464 |  7704 | 40655 |   1.3 |  59M|2476 |   - |5645 |6556 |5645 | 223 |  12k|9464 |1456 | 0.000000e+00 | 8.800000e+01 |    Inf 
69.09/69.18	o 77
69.09/69.18	c *68.1s| 31656 |  6613 | 40922 |   1.3 |  55M|2476 |   - |5645 |6334 |5645 | 317 |  12k|9483 |1474 | 0.000000e+00 | 7.700000e+01 |    Inf 
69.79/69.89	o 74
69.79/69.89	c *68.8s| 31878 |  6517 | 41684 |   1.3 |  55M|2476 |   - |5645 |5920 |5645 | 212 |  12k|9637 |1479 | 0.000000e+00 | 7.400000e+01 |    Inf 
69.89/69.93	o 70
69.89/69.93	c *68.9s| 31886 |  6097 | 41685 |   1.3 |  53M|2476 |   - |5645 |5811 |5645 | 212 |  12k|9637 |1479 | 0.000000e+00 | 7.000000e+01 |    Inf 
69.99/70.06	o 45
69.99/70.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.99/70.06	c *69.0s| 31941 |  4018 | 41756 |   1.3 |  45M|2476 |   - |5645 |5689 |5645 | 208 |  12k|9649 |1480 | 0.000000e+00 | 4.500000e+01 |    Inf 
70.09/70.19	o 38
70.09/70.19	c *69.1s| 32000 |  3545 | 41866 |   1.3 |  44M|2476 |   - |5645 |5032 |5645 | 214 |  12k|9660 |1485 | 0.000000e+00 | 3.800000e+01 |    Inf 
70.18/70.20	o 15
70.18/70.20	c *69.1s| 32001 |  2094 | 41866 |   1.3 |  38M|2476 |   - |5645 |5032 |5645 | 214 |  12k|9660 |1485 | 0.000000e+00 | 1.500000e+01 |    Inf 
70.18/70.24	o 11
70.18/70.24	c *69.2s| 32004 |  1393 | 41922 |   1.3 |  36M|2476 |   - |5645 |4132 |5645 | 205 |  12k|9660 |1487 | 0.000000e+00 | 1.100000e+01 |    Inf 
84.79/84.82	c  83.4s| 40000 |  1648 | 70764 |   1.8 |  41M|2476 |  10 |5645 |5859 |5645 | 190 |  15k|  19k|1724 | 0.000000e+00 | 1.100000e+01 |    Inf 
103.18/103.24	c   101s| 50000 |  1959 |106958 |   2.1 |  46M|2476 |   9 |5645 |7791 |5645 | 206 |  19k|  31k|1977 | 0.000000e+00 | 1.100000e+01 |    Inf 
121.99/122.08	c   120s| 60000 |  2065 |141249 |   2.4 |  48M|2476 |   1 |5645 |8695 |5645 | 225 |  23k|  44k|2242 | 0.000000e+00 | 1.100000e+01 |    Inf 
140.98/141.00	c   138s| 70000 |  2112 |173551 |   2.5 |  51M|2476 |   1 |5645 |7784 |5645 | 221 |  26k|  57k|2504 | 0.000000e+00 | 1.100000e+01 |    Inf 
159.98/160.07	c   157s| 80000 |  2133 |207384 |   2.6 |  52M|2476 |   - |5645 |9372 |   0 |   0 |  30k|  70k|2726 | 0.000000e+00 | 1.100000e+01 |    Inf 
179.78/179.89	c   177s| 90000 |  2262 |243806 |   2.7 |  55M|2476 |   - |5645 |9206 |   0 |   0 |  34k|  82k|2971 | 0.000000e+00 | 1.100000e+01 |    Inf 
198.39/198.41	c   195s|100000 |  2368 |274113 |   2.7 |  57M|2476 |   1 |5645 |  10k|5645 | 255 |  38k|  95k|3130 | 0.000000e+00 | 1.100000e+01 |    Inf 
217.80/217.83	c   214s|110000 |  2406 |306663 |   2.8 |  59M|2476 |   1 |5645 |  11k|5645 | 198 |  42k| 108k|3283 | 0.000000e+00 | 1.100000e+01 |    Inf 
236.79/236.83	c   232s|120000 |  2490 |334840 |   2.8 |  61M|2476 |   1 |5645 |  11k|5645 | 250 |  45k| 120k|3398 | 0.000000e+00 | 1.100000e+01 |    Inf 
255.79/255.86	c   251s|130000 |  2572 |367163 |   2.8 |  62M|2476 |  24 |5645 |  11k|5645 | 296 |  49k| 134k|3555 | 0.000000e+00 | 1.100000e+01 |    Inf 
275.29/275.36	c   270s|140000 |  2601 |397033 |   2.8 |  64M|2476 |   1 |5645 |  12k|5645 | 239 |  53k| 146k|3689 | 0.000000e+00 | 1.100000e+01 |    Inf 
295.69/295.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
295.69/295.76	c   290s|150000 |  2667 |425002 |   2.8 |  65M|2476 |  10 |5645 |  14k|5645 | 269 |  56k| 159k|3802 | 0.000000e+00 | 1.100000e+01 |    Inf 
315.39/315.44	c   309s|160000 |  2758 |454322 |   2.8 |  66M|2476 |  11 |5645 |  13k|5645 | 271 |  59k| 172k|3924 | 0.000000e+00 | 1.100000e+01 |    Inf 
335.89/335.92	c   330s|170000 |  2803 |487967 |   2.9 |  67M|2476 |   - |5645 |  12k|   0 |   0 |  63k| 185k|4030 | 0.000000e+00 | 1.100000e+01 |    Inf 
356.30/356.35	c   350s|180000 |  2807 |516457 |   2.9 |  69M|2476 |   1 |5645 |  14k|5645 | 258 |  65k| 198k|4152 | 0.000000e+00 | 1.100000e+01 |    Inf 
377.59/377.64	c   370s|190000 |  2837 |547193 |   2.9 |  71M|2476 |   - |5645 |  16k|   0 |   0 |  68k| 212k|4244 | 0.000000e+00 | 1.100000e+01 |    Inf 
398.89/398.93	c   391s|200000 |  2816 |577243 |   2.9 |  71M|2476 |  14 |5645 |  14k|5645 | 279 |  72k| 225k|4349 | 0.000000e+00 | 1.100000e+01 |    Inf 
420.20/420.27	c   412s|210000 |  2847 |608608 |   2.9 |  73M|2476 |   - |5645 |  16k|   0 |   0 |  75k| 239k|4492 | 0.000000e+00 | 1.100000e+01 |    Inf 
440.89/440.90	c   433s|220000 |  2850 |639494 |   2.9 |  74M|2476 |   - |5645 |  16k|   0 |   0 |  78k| 252k|4578 | 0.000000e+00 | 1.100000e+01 |    Inf 
462.59/462.68	c   454s|230000 |  2889 |672076 |   2.9 |  75M|2476 |  19 |5645 |  19k|5645 | 287 |  82k| 267k|4665 | 0.000000e+00 | 1.100000e+01 |    Inf 
484.89/484.94	c   476s|240000 |  2901 |704229 |   2.9 |  76M|2476 |  23 |5645 |  15k|5645 | 236 |  85k| 280k|4796 | 0.000000e+00 | 1.100000e+01 |    Inf 
506.70/506.79	c   497s|250000 |  2911 |736879 |   2.9 |  77M|2476 |   - |5645 |  16k|   0 |   0 |  89k| 293k|4887 | 0.000000e+00 | 1.100000e+01 |    Inf 
529.10/529.13	c   519s|260000 |  2902 |770542 |   3.0 |  77M|2476 |   1 |5645 |  13k|5645 | 224 |  93k| 306k|4961 | 0.000000e+00 | 1.100000e+01 |    Inf 
551.80/551.89	c   541s|270000 |  2939 |798768 |   3.0 |  79M|2476 |   - |5645 |  16k|   0 |   0 |  96k| 321k|5044 | 0.000000e+00 | 1.100000e+01 |    Inf 
575.20/575.30	c   564s|280000 |  3022 |826744 |   3.0 |  81M|2476 |   1 |5645 |  17k|5645 | 230 |  99k| 334k|5134 | 0.000000e+00 | 1.100000e+01 |    Inf 
597.60/597.68	c   586s|290000 |  3089 |859760 |   3.0 |  81M|2476 |   1 |5645 |  12k|5645 | 258 | 102k| 348k|5508 | 0.000000e+00 | 1.100000e+01 |    Inf 
618.60/618.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
618.60/618.66	c   606s|300000 |  3079 |892331 |   3.0 |  81M|2476 |   1 |5645 |  11k|5645 | 226 | 106k| 362k|5543 | 0.000000e+00 | 1.100000e+01 |    Inf 
639.79/639.81	c   626s|310000 |  3110 |921337 |   3.0 |  82M|2476 |  25 |5645 |  12k|5645 | 230 | 109k| 375k|5635 | 0.000000e+00 | 1.100000e+01 |    Inf 
661.20/661.28	c   647s|320000 |  3153 |952567 |   3.0 |  84M|2476 |   - |5645 |  14k|   0 |   0 | 112k| 388k|5721 | 0.000000e+00 | 1.100000e+01 |    Inf 
683.80/683.81	c   669s|330000 |  3229 |984988 |   3.0 |  85M|2476 |   - |5645 |  13k|   0 |   0 | 116k| 402k|5805 | 0.000000e+00 | 1.100000e+01 |    Inf 
705.40/705.48	c   690s|340000 |  3239 |  1016k|   3.0 |  87M|2476 |   - |5645 |  16k|   0 |   0 | 120k| 416k|5859 | 0.000000e+00 | 1.100000e+01 |    Inf 
727.20/727.29	c   711s|350000 |  3294 |  1049k|   3.0 |  86M|2476 |   - |5645 |  11k|   0 |   0 | 124k| 430k|5987 | 0.000000e+00 | 1.100000e+01 |    Inf 
747.80/747.89	c   731s|360000 |  3398 |  1077k|   3.0 |  88M|2476 |   1 |5645 |  11k|5645 | 202 | 127k| 444k|6062 | 0.000000e+00 | 1.100000e+01 |    Inf 
769.20/769.21	c   751s|370000 |  3568 |  1106k|   3.0 |  90M|2476 |   9 |5645 |  12k|5645 | 247 | 130k| 456k|6134 | 0.000000e+00 | 1.100000e+01 |    Inf 
790.60/790.63	c   772s|380000 |  3723 |  1134k|   3.0 |  92M|2476 |   - |5645 |  11k|5645 | 224 | 133k| 470k|6195 | 0.000000e+00 | 1.100000e+01 |    Inf 
811.40/811.47	c   792s|390000 |  3843 |  1163k|   3.0 |  93M|2476 |   - |5645 |  10k|   0 |   0 | 137k| 483k|6260 | 0.000000e+00 | 1.100000e+01 |    Inf 
831.70/831.73	c   811s|400000 |  3877 |  1193k|   3.0 |  94M|2476 |   1 |5645 |  10k|5645 | 219 | 140k| 496k|6324 | 0.000000e+00 | 1.100000e+01 |    Inf 
851.60/851.65	c   831s|410000 |  3941 |  1220k|   3.0 |  96M|2476 |   - |5645 |  10k|   0 |   0 | 143k| 509k|6388 | 0.000000e+00 | 1.100000e+01 |    Inf 
871.70/871.78	c   850s|420000 |  3948 |  1248k|   3.0 |  97M|2476 |   8 |5645 |  11k|5645 | 214 | 146k| 523k|6438 | 0.000000e+00 | 1.100000e+01 |    Inf 
892.20/892.28	c   870s|430000 |  4010 |  1276k|   3.0 |  98M|2476 |   1 |5645 |  11k|5645 | 211 | 149k| 538k|6490 | 0.000000e+00 | 1.100000e+01 |    Inf 
912.21/912.21	c   889s|440000 |  4007 |  1304k|   3.0 |  99M|2476 |   - |5645 |  11k|   0 |   0 | 152k| 551k|6541 | 0.000000e+00 | 1.100000e+01 |    Inf 
932.71/932.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
932.71/932.73	c   909s|450000 |  4086 |  1334k|   3.0 | 100M|2476 |   1 |5645 |  11k|5645 | 273 | 155k| 565k|6611 | 0.000000e+00 | 1.100000e+01 |    Inf 
954.31/954.38	c   930s|460000 |  4207 |  1368k|   3.0 | 102M|2476 |   1 |5645 |  11k|5645 | 251 | 159k| 577k|6729 | 0.000000e+00 | 1.100000e+01 |    Inf 
975.51/975.56	c   950s|470000 |  4239 |  1401k|   3.0 | 103M|2476 |   1 |5645 |  12k|5645 | 233 | 162k| 590k|6789 | 0.000000e+00 | 1.100000e+01 |    Inf 
997.31/997.34	c   971s|480000 |  4279 |  1433k|   3.0 | 104M|2476 |  11 |5645 |  12k|5645 | 246 | 165k| 603k|6859 | 0.000000e+00 | 1.100000e+01 |    Inf 
1018.81/1018.84	c   992s|490000 |  4261 |  1464k|   3.0 | 106M|2476 |   - |5645 |  14k|   0 |   0 | 168k| 617k|6932 | 0.000000e+00 | 1.100000e+01 |    Inf 
1040.40/1040.40	c  1013s|500000 |  4285 |  1494k|   3.0 | 106M|2476 |   - |5645 |  13k|   0 |   0 | 170k| 631k|6985 | 0.000000e+00 | 1.100000e+01 |    Inf 
1062.10/1062.18	c  1034s|510000 |  4294 |  1524k|   3.0 | 107M|2476 |   1 |5645 |  14k|5645 | 261 | 173k| 645k|7053 | 0.000000e+00 | 1.100000e+01 |    Inf 
1084.61/1084.60	c  1055s|520000 |  4346 |  1557k|   3.0 | 109M|2476 |   1 |5645 |  14k|5645 | 283 | 176k| 659k|7125 | 0.000000e+00 | 1.100000e+01 |    Inf 
1106.81/1106.88	c  1077s|530000 |  4368 |  1590k|   3.0 | 110M|2476 |  15 |5645 |  15k|5645 | 272 | 179k| 672k|7182 | 0.000000e+00 | 1.100000e+01 |    Inf 
1129.21/1129.28	c  1099s|540000 |  4371 |  1623k|   3.0 | 111M|2476 |   - |5645 |  16k|   0 |   0 | 182k| 686k|7238 | 0.000000e+00 | 1.100000e+01 |    Inf 
1151.51/1151.58	c  1120s|550000 |  4422 |  1655k|   3.0 | 111M|2476 |   - |5645 |  13k|   0 |   0 | 185k| 699k|7293 | 0.000000e+00 | 1.100000e+01 |    Inf 
1173.01/1173.04	c  1141s|560000 |  4505 |  1685k|   3.0 | 113M|2476 |   4 |5645 |  14k|5645 | 216 | 188k| 712k|7377 | 0.000000e+00 | 1.100000e+01 |    Inf 
1195.11/1195.19	c  1163s|570000 |  4690 |  1713k|   3.0 | 115M|2476 |   1 |5645 |  13k|5645 | 220 | 191k| 726k|7432 | 0.000000e+00 | 1.100000e+01 |    Inf 
1216.41/1216.44	c  1183s|580000 |  4782 |  1744k|   3.0 | 117M|2476 |   1 |5645 |  14k|5645 | 226 | 194k| 739k|7472 | 0.000000e+00 | 1.100000e+01 |    Inf 
1238.41/1238.41	c  1204s|590000 |  4946 |  1774k|   3.0 | 119M|2476 |   1 |5645 |  14k|5645 | 233 | 197k| 752k|7516 | 0.000000e+00 | 1.100000e+01 |    Inf 
1260.11/1260.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1260.11/1260.19	c  1225s|600000 |  5017 |  1803k|   3.0 | 122M|2476 |   1 |5645 |  16k|5645 | 251 | 200k| 766k|7559 | 0.000000e+00 | 1.100000e+01 |    Inf 
1282.12/1282.12	c  1247s|610000 |  5062 |  1833k|   3.0 | 123M|2476 |   - |5645 |  15k|   0 |   0 | 203k| 780k|7619 | 0.000000e+00 | 1.100000e+01 |    Inf 
1304.11/1304.12	c  1268s|620000 |  5102 |  1860k|   3.0 | 124M|2476 |   1 |5645 |  16k|5645 | 243 | 206k| 794k|7667 | 0.000000e+00 | 1.100000e+01 |    Inf 
1326.32/1326.40	c  1289s|630000 |  5213 |  1891k|   3.0 | 126M|2476 |   1 |5645 |  16k|5645 | 254 | 209k| 807k|7707 | 0.000000e+00 | 1.100000e+01 |    Inf 
1348.62/1348.65	c  1311s|640000 |  5301 |  1915k|   3.0 | 128M|2476 |   1 |5645 |  16k|5645 | 236 | 211k| 820k|7756 | 0.000000e+00 | 1.100000e+01 |    Inf 
1370.91/1370.92	c  1332s|650000 |  5374 |  1941k|   3.0 | 129M|2476 |   1 |5645 |  17k|5645 | 225 | 213k| 833k|7805 | 0.000000e+00 | 1.100000e+01 |    Inf 
1393.62/1393.64	c  1355s|660000 |  5478 |  1970k|   3.0 | 131M|2476 |   9 |5645 |  17k|5645 | 250 | 216k| 846k|7858 | 0.000000e+00 | 1.100000e+01 |    Inf 
1416.32/1416.37	c  1376s|670000 |  5513 |  1998k|   3.0 | 132M|2476 |   - |5645 |  17k|5645 | 288 | 219k| 860k|7873 | 0.000000e+00 | 1.100000e+01 |    Inf 
1439.02/1439.08	c  1399s|680000 |  5545 |  2028k|   3.0 | 134M|2476 |   1 |5645 |  19k|5645 | 259 | 222k| 874k|7918 | 0.000000e+00 | 1.100000e+01 |    Inf 
1461.92/1461.91	c  1421s|690000 |  5577 |  2058k|   3.0 | 134M|2476 |   - |5645 |  16k|   0 |   0 | 225k| 888k|7972 | 0.000000e+00 | 1.100000e+01 |    Inf 
1485.12/1485.14	c  1443s|700000 |  5625 |  2089k|   3.0 | 135M|2476 |   6 |5645 |  16k|5645 | 258 | 228k| 902k|8022 | 0.000000e+00 | 1.100000e+01 |    Inf 
1507.42/1507.48	c  1465s|710000 |  5644 |  2119k|   3.0 | 137M|2476 |  11 |5645 |  17k|5645 | 259 | 231k| 916k|8063 | 0.000000e+00 | 1.100000e+01 |    Inf 
1529.72/1529.75	c  1486s|720000 |  5663 |  2150k|   3.0 | 138M|2476 |   1 |5645 |  18k|5645 | 255 | 234k| 930k|8096 | 0.000000e+00 | 1.100000e+01 |    Inf 
1552.52/1552.54	c  1508s|730000 |  5708 |  2179k|   3.0 | 139M|2476 |   1 |5645 |  16k|5645 | 259 | 237k| 944k|8202 | 0.000000e+00 | 1.100000e+01 |    Inf 
1575.13/1575.14	c  1530s|740000 |  5786 |  2208k|   3.0 | 140M|2476 |   - |5645 |  16k|   0 |   0 | 239k| 957k|8209 | 0.000000e+00 | 1.100000e+01 |    Inf 
1598.22/1598.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1598.22/1598.30	c  1553s|750000 |  5834 |  2236k|   3.0 | 142M|2476 |   - |5645 |  17k|   0 |   0 | 242k| 971k|8266 | 0.000000e+00 | 1.100000e+01 |    Inf 
1620.52/1620.59	c  1574s|760000 |  5891 |  2264k|   3.0 | 143M|2476 |   - |5645 |  19k|   0 |   0 | 245k| 985k|8312 | 0.000000e+00 | 1.100000e+01 |    Inf 
1643.62/1643.61	c  1597s|770000 |  5925 |  2296k|   3.0 | 144M|2476 |   - |5645 |  18k|   0 |   0 | 248k| 999k|8350 | 0.000000e+00 | 1.100000e+01 |    Inf 
1667.22/1667.22	c  1620s|780000 |  5907 |  2329k|   3.0 | 144M|2476 |   8 |5645 |  17k|5645 | 251 | 250k|1013k|8395 | 0.000000e+00 | 1.100000e+01 |    Inf 
1690.92/1690.93	c  1643s|790000 |  5929 |  2359k|   3.0 | 146M|2476 |  18 |5645 |  19k|5645 | 233 | 253k|1026k|8452 | 0.000000e+00 | 1.100000e+01 |    Inf 
1714.93/1714.91	c  1666s|800000 |  5979 |  2388k|   3.0 | 147M|2476 |   - |5645 |  18k|   0 |   0 | 256k|1040k|8502 | 0.000000e+00 | 1.100000e+01 |    Inf 
1738.93/1738.95	c  1689s|810000 |  6056 |  2419k|   3.0 | 148M|2476 |   - |5645 |  18k|   0 |   0 | 259k|1054k|8536 | 0.000000e+00 | 1.100000e+01 |    Inf 
1761.42/1761.43	c  1711s|820000 |  6119 |  2451k|   3.0 | 149M|2476 |   1 |5645 |  16k|5645 | 245 | 262k|1068k|8612 | 0.000000e+00 | 1.100000e+01 |    Inf 
1783.13/1783.14	c  1732s|830000 |  6154 |  2482k|   3.0 | 150M|2476 |   1 |5645 |  15k|5645 | 241 | 266k|1082k|8666 | 0.000000e+00 | 1.100000e+01 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1748.30
1800.03/1800.00	c Solving Nodes      : 837735
1800.03/1800.00	c Primal Bound       : +1.10000000000000e+01 (146 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.09	s SATISFIABLE
1800.03/1800.09	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.09	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.09	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 
1800.03/1800.09	v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 
1800.03/1800.09	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.03/1800.09	v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 
1800.03/1800.09	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.03/1800.09	v x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 x54 
1800.03/1800.09	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 
1800.03/1800.09	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.03/1800.09	v x1 
1800.03/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.09	c Solving Time       :    1748.30
1800.03/1800.09	c Original Problem   :
1800.03/1800.09	c   Problem name     : HOME/instance-2693031-1277929667.wbo
1800.03/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.09	c Presolved Problem  :
1800.03/1800.09	c   Problem name     : t_HOME/instance-2693031-1277929667.wbo
1800.03/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09	c   Constraints      : 5414 initial, 20165 maximal
1800.03/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   linear           :       0.03          0          0          0       2707          0          1          0          0
1800.03/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   root node        :          -       2425          -          -       4850          -          -          -          -
1800.03/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.09	c   integral         :          0          0          0     491245          0         10        566          0          0     862288
1800.03/1800.09	c   indicator        :       2707          0    5366614      59529          0        333    4575638          0          0          0
1800.03/1800.09	c   linear           :       2707          6    5380141      59464          0     324688   24240742     268378          0          0
1800.03/1800.09	c   logicor          :          0+         0    1198941          0          0      78717    1171623          0          0          0
1800.03/1800.09	c   bounddisjunction :          0+         0      17173          0          0          0         73          0          0          0
1800.03/1800.09	c   countsols        :          0          0          0      28983          0          0          0          0          0          0
1800.03/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.09	c   integral         :      14.31       0.00       0.00      14.31       0.00
1800.03/1800.09	c   indicator        :      33.46       0.00      25.78       7.68       0.00
1800.03/1800.09	c   linear           :     244.25       0.01     237.75       6.49       0.00
1800.03/1800.09	c   logicor          :     194.22       0.00     194.22       0.00       0.00
1800.03/1800.09	c   bounddisjunction :       0.04       0.00       0.04       0.00       0.00
1800.03/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.09	c   vbounds          :       0.35          2          0          0
1800.03/1800.09	c   rootredcost      :       0.27         38          0       2425
1800.03/1800.09	c   pseudoobj        :     271.13    5387865       7339    3308041
1800.03/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.09	c   propagation      :      21.23     410744     410686    2439141       26.2      20045       18.9          -
1800.03/1800.09	c   infeasible LP    :       5.27      13016      13016     107945       38.8        306       15.1          0
1800.03/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   pseudo solution  :       0.01        143        143        592       14.2        234        5.1          -
1800.03/1800.09	c   applied globally :          -          -          -    1092546       20.5          -          -          -
1800.03/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.09	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.03/1800.09	c   redcost          :      38.79     498706          0    1147071          0          0
1800.03/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.09	c   gomory           :       0.00          4          0          0         75          0
1800.03/1800.09	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.09	c   cmir             :       0.03          4          0          0          1          0
1800.03/1800.09	c   flowcover        :       0.01          4          0          0          2          0
1800.03/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.09	c Pricers            :       Time      Calls       Vars
1800.03/1800.09	c   problem variables:       0.00          0          0
1800.03/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.09	c   relpscost        :      14.02     431632         10        566          0          0     862288
1800.03/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   inference        :       5.36      28945          0          0          0          0      57890
1800.03/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.09	c   LP solutions     :       0.08          -         38
1800.03/1800.09	c   pseudo solutions :       0.00          -          0
1800.03/1800.09	c   feaspump         :       0.00          0          0
1800.03/1800.09	c   intshifting      :       0.01          2          0
1800.03/1800.09	c   oneopt           :       0.26         33          0
1800.03/1800.09	c   guideddiving     :       0.05         36          0
1800.03/1800.09	c   fracdiving       :       0.04         39          0
1800.03/1800.09	c   veclendiving     :       0.09         39          0
1800.03/1800.09	c   linesearchdiving :       0.05         39          0
1800.03/1800.09	c   coefdiving       :       0.03         40          0
1800.03/1800.09	c   pscostdiving     :       0.05         40          0
1800.03/1800.09	c   rootsoldiving    :       0.06         35          0
1800.03/1800.09	c   objpscostdiving  :       0.07         36          0
1800.03/1800.09	c   crossover        :       1.02         31          4
1800.03/1800.09	c   trivial          :       0.08          2          2
1800.03/1800.09	c   simplerounding   :       0.68     434461          0
1800.03/1800.09	c   zirounding       :       0.42       1000          0
1800.03/1800.09	c   rounding         :       3.28       9317          0
1800.03/1800.09	c   shifting         :       1.52       2889          0
1800.03/1800.09	c   twoopt           :       0.00          0          0
1800.03/1800.09	c   fixandinfer      :       0.00          0          0
1800.03/1800.09	c   intdiving        :       0.00          0          0
1800.03/1800.09	c   actconsdiving    :       0.00          0          0
1800.03/1800.09	c   octane           :       0.00          0          0
1800.03/1800.09	c   rens             :       0.03          1          0
1800.03/1800.09	c   rins             :       0.00          0          0
1800.03/1800.09	c   localbranching   :       0.00          0          0
1800.03/1800.09	c   mutation         :       0.00          0          0
1800.03/1800.09	c   dins             :       0.00          0          0
1800.03/1800.09	c   undercover       :       0.00          0          0
1800.03/1800.09	c   nlp              :       0.10          0          0
1800.03/1800.09	c   trysol           :       4.73       9223        102
1800.03/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.09	c   primal LP        :       0.01          0          0       0.00       0.00
1800.03/1800.09	c   dual LP          :     442.16     479891    2503204       5.22    5661.31
1800.03/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.09	c   diving/probing LP:       0.07         50       1141      22.82   16300.00
1800.03/1800.09	c   strong branching :      10.98       8672      87629      10.10    7980.78
1800.03/1800.09	c     (at root node) :          -         33       1884      57.09          -
1800.03/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.09	c B&B Tree           :
1800.03/1800.09	c   number of runs   :          1
1800.03/1800.09	c   nodes            :     837735
1800.03/1800.09	c   nodes (total)    :     837735
1800.03/1800.09	c   nodes left       :       6178
1800.03/1800.09	c   max depth        :       2476
1800.03/1800.09	c   max depth (total):       2476
1800.03/1800.09	c   backtracks       :      55303 (6.6%)
1800.03/1800.09	c   delayed cutoffs  :      49287
1800.03/1800.09	c   repropagations   :    3048056 (5088661 domain reductions, 46594 cutoffs)
1800.03/1800.09	c   avg switch length:       8.71
1800.03/1800.09	c   switching time   :     251.32
1800.03/1800.09	c Solution           :
1800.03/1800.09	c   Solutions found  :        146 (39 improvements)
1800.03/1800.09	c   First Solution   : +1.36179000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.09	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 32004 nodes, 69.17 seconds, depth 19, found by <relaxation>)
1800.03/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.09	c   Gap              :   infinite
1800.03/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.09	c   Root Iterations  :        183
1800.22/1800.28	c Time complete: 1800.31.

Verifier Data 

OK	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693031-1277929667/watcher-2693031-1277929667 -o /tmp/evaluation-result-2693031-1277929667/solver-2693031-1277929667 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693031-1277929667.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.93 2.55 2.22 4/178 13839
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=11116 CPUtime=0
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1700 0 0 0 0 0 0 0 25 0 1 0 134264196 11382784 1621 4089446400 4194304 9819077 140735452918832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13839/statm: 2779 1622 392 1374 0 1400 0

[startup+0.0995809 s]
/proc/loadavg: 2.93 2.55 2.22 4/178 13839
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=36404 CPUtime=0.09
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 8122 0 0 0 8 1 0 0 25 0 1 0 134264196 37277696 7689 4089446400 4194304 9819077 140735452918832 18446744073709551615 8678878 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.100594 s]
/proc/loadavg: 2.93 2.55 2.22 4/178 13839
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=36404 CPUtime=0.09
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 8122 0 0 0 8 1 0 0 25 0 1 0 134264196 37277696 7689 4089446400 4194304 9819077 140735452918832 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300545 s]
/proc/loadavg: 2.93 2.55 2.22 4/178 13839
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=53516 CPUtime=0.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 12808 0 0 0 28 1 0 0 25 0 1 0 134264196 54800384 11776 4089446400 4194304 9819077 140735452918832 18446744073709551615 6180569 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 13379 11776 673 1374 0 12000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53516

[startup+0.700477 s]
/proc/loadavg: 2.93 2.55 2.22 4/178 13839
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=47232 CPUtime=0.69
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 27911 0 0 0 65 4 0 0 25 0 1 0 134264196 48365568 9995 4089446400 4194304 9819077 140735452918832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 11765 9994 698 1374 0 10386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47232

[startup+1.50035 s]
/proc/loadavg: 2.93 2.55 2.22 3/179 13840
/proc/meminfo: memFree=31005788/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=63612 CPUtime=1.49
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 43531 0 0 0 142 7 0 0 25 0 1 0 134264196 65138688 14326 4089446400 4194304 9819077 140735452918832 18446744073709551615 4561451 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 15903 14326 700 1374 0 14524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63612

[startup+3.10106 s]
/proc/loadavg: 2.85 2.54 2.22 3/179 13840
/proc/meminfo: memFree=31001324/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=51260 CPUtime=3.09
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 50137 0 0 0 300 9 0 0 25 0 1 0 134264196 52490240 11551 4089446400 4194304 9819077 140735452918832 18446744073709551615 6567612 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 12815 11551 700 1374 0 11436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51260

[startup+6.3005 s]
/proc/loadavg: 2.85 2.54 2.22 3/179 13841
/proc/meminfo: memFree=30992316/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=60676 CPUtime=6.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 67718 0 0 0 616 13 0 0 25 0 1 0 134264196 62132224 13699 4089446400 4194304 9819077 140735452918832 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 15169 13699 704 1374 0 13790 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60676

[startup+12.7004 s]
/proc/loadavg: 2.72 2.52 2.22 3/179 13841
/proc/meminfo: memFree=30983256/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=70112 CPUtime=12.69
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 80157 0 0 0 1249 20 0 0 25 0 1 0 134264196 71794688 16085 4089446400 4194304 9819077 140735452918832 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 17528 16085 704 1374 0 16149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70112

[startup+25.5001 s]
/proc/loadavg: 2.61 2.51 2.21 3/179 13841
/proc/meminfo: memFree=30954692/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=93856 CPUtime=25.49
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 113955 0 0 0 2515 34 0 0 25 0 1 0 134264196 96108544 21804 4089446400 4194304 9819077 140735452918832 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13839/statm: 23464 21804 704 1374 0 22085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93856

[startup+51.1006 s]
/proc/loadavg: 2.40 2.46 2.21 3/179 13841
/proc/meminfo: memFree=30854116/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=138656 CPUtime=51.08
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 258063 0 0 0 5034 74 0 0 25 0 1 0 134264196 141983744 32808 4089446400 4194304 9819077 140735452918832 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 34664 32808 704 1374 0 33285 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138656

[startup+102.307 s]
/proc/loadavg: 2.16 2.38 2.19 3/179 13843
/proc/meminfo: memFree=30754892/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=184084 CPUtime=102.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 449738 0 0 0 10052 177 0 0 25 0 1 0 134264196 188502016 43747 4089446400 4194304 9819077 140735452918832 18446744073709551615 6593065 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 46021 43747 723 1374 0 44642 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 184084

[startup+162.3 s]
/proc/loadavg: 2.06 2.32 2.18 3/179 13845
/proc/meminfo: memFree=30642868/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=194348 CPUtime=162.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 618513 0 0 0 15928 301 0 0 25 0 1 0 134264196 199012352 46249 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 48587 46249 723 1374 0 47208 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 194348

[startup+222.301 s]
/proc/loadavg: 2.09 2.27 2.17 3/179 13849
/proc/meminfo: memFree=30540388/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=203532 CPUtime=222.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 761317 0 0 0 21812 417 0 0 25 0 1 0 134264196 208416768 48498 4089446400 4194304 9819077 140735452918832 18446744073709551615 6628403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 50883 48498 723 1374 0 49504 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 203532

[startup+282.301 s]
/proc/loadavg: 2.03 2.22 2.16 3/179 13850
/proc/meminfo: memFree=30484488/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=208016 CPUtime=282.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 884077 0 0 0 27696 533 0 0 25 0 1 0 134264196 213008384 49620 4089446400 4194304 9819077 140735452918832 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 52004 49620 738 1374 0 50625 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 208016

[startup+342.301 s]
/proc/loadavg: 2.01 2.17 2.15 3/179 13852
/proc/meminfo: memFree=30340748/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=214240 CPUtime=342.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1003578 0 0 0 33581 648 0 0 25 0 1 0 134264196 219381760 51055 4089446400 4194304 9819077 140735452918832 18446744073709551615 6361151 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 53560 51055 738 1374 0 52181 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 214240

[startup+402.301 s]
/proc/loadavg: 2.00 2.14 2.14 3/179 13854
/proc/meminfo: memFree=30306104/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=216644 CPUtime=402.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1115625 0 0 0 39472 757 0 0 25 0 1 0 134264196 221843456 51743 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 54161 51743 738 1374 0 52782 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 216644

[startup+462.3 s]
/proc/loadavg: 2.00 2.11 2.12 3/179 13856
/proc/meminfo: memFree=30222616/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=221744 CPUtime=462.3
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1229518 0 0 0 45371 859 0 0 25 0 1 0 134264196 227065856 52848 4089446400 4194304 9819077 140735452918832 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 55436 52848 738 1374 0 54057 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 221744

[startup+522.301 s]
/proc/loadavg: 2.00 2.09 2.11 3/179 13857
/proc/meminfo: memFree=30153256/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=224928 CPUtime=522.3
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1342639 0 0 0 51264 966 0 0 25 0 1 0 134264196 230326272 53532 4089446400 4194304 9819077 140735452918832 18446744073709551615 5893923 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13839/statm: 56232 53532 740 1374 0 54853 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 224928

[startup+582.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/179 13885
/proc/meminfo: memFree=30930192/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=230212 CPUtime=582.29
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1441810 0 0 0 57067 1162 0 0 25 0 1 0 134264196 235737088 54459 4089446400 4194304 9819077 140735452918832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 57553 54459 740 1374 0 56174 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 230212

[startup+642.301 s]
/proc/loadavg: 2.00 2.05 2.09 3/179 13887
/proc/meminfo: memFree=30858608/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=231160 CPUtime=642.3
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1531202 0 0 0 62865 1365 0 0 25 0 1 0 134264196 236707840 54872 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 57790 54872 740 1374 0 56411 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 231160

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.07 2.03 2.07 3/179 13893
/proc/meminfo: memFree=30795348/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=249288 CPUtime=882.31
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 1927606 0 0 0 86013 2218 0 0 25 0 1 0 134264196 255270912 59193 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 62322 59193 740 1374 0 60943 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 249288

[startup+942.3 s]
/proc/loadavg: 2.03 2.03 2.07 3/179 13895
/proc/meminfo: memFree=30790832/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=251792 CPUtime=942.3
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2022635 0 0 0 91798 2432 0 0 25 0 1 0 134264196 257835008 59792 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 62948 59792 740 1374 0 61569 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 251792

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/179 13897
/proc/meminfo: memFree=30783360/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=255976 CPUtime=1002.31
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2081723 0 0 0 97600 2631 0 0 25 0 1 0 134264196 262119424 60821 4089446400 4194304 9819077 140735452918832 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 63994 60821 740 1374 0 62615 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 255976

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 13899
/proc/meminfo: memFree=30777612/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=259156 CPUtime=1062.3
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2157013 0 0 0 103394 2836 0 0 25 0 1 0 134264196 265375744 61500 4089446400 4194304 9819077 140735452918832 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 64789 61500 740 1374 0 63410 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 259156

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 13900
/proc/meminfo: memFree=30765664/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=263344 CPUtime=1122.31
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2229708 0 0 0 109207 3024 0 0 25 0 1 0 134264196 269664256 62393 4089446400 4194304 9819077 140735452918832 18446744073709551615 4431530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 65836 62393 740 1374 0 64457 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 263344

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13901
/proc/meminfo: memFree=30760668/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=265992 CPUtime=1182.31
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2271327 0 0 0 115011 3220 0 0 25 0 1 0 134264196 272375808 62934 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 66498 62934 740 1374 0 65119 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 265992

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13903
/proc/meminfo: memFree=30753072/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=273644 CPUtime=1242.31
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2327868 0 0 0 120814 3417 0 0 25 0 1 0 134264196 280211456 64524 4089446400 4194304 9819077 140735452918832 18446744073709551615 5955558 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 68411 64524 740 1374 0 67032 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 273644

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13905
/proc/meminfo: memFree=30747324/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=279668 CPUtime=1302.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2413634 0 0 0 126614 3618 0 0 25 0 1 0 134264196 286380032 65860 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 69917 65860 740 1374 0 68538 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 279668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13907
/proc/meminfo: memFree=30743452/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=282956 CPUtime=1362.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2478010 0 0 0 132412 3820 0 0 25 0 1 0 134264196 289746944 66663 4089446400 4194304 9819077 140735452918832 18446744073709551615 6180704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 70739 66663 740 1374 0 69360 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 282956

[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 2.03 3/179 13908
/proc/meminfo: memFree=30737696/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=288400 CPUtime=1422.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2545351 0 0 0 138227 4005 0 0 25 0 1 0 134264196 295321600 67924 4089446400 4194304 9819077 140735452918832 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 72100 67924 740 1374 0 70721 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 288400

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.02 3/179 13909
/proc/meminfo: memFree=30733444/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=294176 CPUtime=1482.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2606554 0 0 0 144041 4191 0 0 25 0 1 0 134264196 301236224 69043 4089446400 4194304 9819077 140735452918832 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 73544 69043 740 1374 0 72165 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 294176

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/179 13911
/proc/meminfo: memFree=30729180/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=297972 CPUtime=1542.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2674157 0 0 0 149848 4384 0 0 25 0 1 0 134264196 305123328 69985 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 74493 69985 740 1374 0 73114 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 297972

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 13913
/proc/meminfo: memFree=30726664/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=300964 CPUtime=1602.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2718915 0 0 0 155661 4571 0 0 25 0 1 0 134264196 308187136 70632 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 75241 70632 740 1374 0 73862 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 300964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 13915
/proc/meminfo: memFree=30724264/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=303012 CPUtime=1662.32
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2761405 0 0 0 161485 4747 0 0 25 0 1 0 134264196 310284288 71168 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 75753 71168 740 1374 0 74374 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 303012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13916
/proc/meminfo: memFree=30719992/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=307836 CPUtime=1722.33
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2813454 0 0 0 167308 4925 0 0 25 0 1 0 134264196 315224064 72137 4089446400 4194304 9819077 140735452918832 18446744073709551615 4948350 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 76959 72137 740 1374 0 75580 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 307836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13917
/proc/meminfo: memFree=30715364/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=311440 CPUtime=1782.33
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2861082 0 0 0 173125 5108 0 0 25 0 1 0 134264196 318914560 72965 4089446400 4194304 9819077 140735452918832 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 77860 72965 740 1374 0 76481 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 311440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13918
/proc/meminfo: memFree=30714608/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=312288 CPUtime=1800.03
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2874221 0 0 0 174832 5171 0 0 25 0 1 0 134264196 319782912 73142 4089446400 4194304 9819077 140735452918832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13839/statm: 78072 73142 740 1374 0 76693 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 312288

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13918
/proc/meminfo: memFree=30714608/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=310064 CPUtime=1800.22
/proc/13839/stat : 13839 (pbscip.linux.x8) R 13837 13839 13284 0 -1 4202496 2874225 0 0 0 174851 5171 0 0 18 0 1 0 134264196 317505536 72630 4089446400 4194304 9819077 140735452918832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13839/statm: 77516 72630 741 1374 0 76137 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 310064

Child status: 0
Real time (s): 1800.29
CPU time (s): 1800.32
CPU user time (s): 1748.59
CPU system time (s): 51.7321
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 312344

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

runsolver used 2.46162 second user time and 5.76712 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 22:27:47
IDJOB=2693031
IDBENCH=79299
IDSOLVER=1205
FILE ID=node107/2693031-1277929667
PBS_JOBID= 11197360
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 820e833470f89e38c3db46a3ad325d3f
RANDOM SEED=1232496673

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31045012 kB
Buffers:        210972 kB
Cached:        1278192 kB
SwapCached:          0 kB
Active:         641316 kB
Inactive:      1121488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31045012 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6268 kB
Writeback:           0 kB
AnonPages:      273944 kB
Mapped:          15068 kB
Slab:            80120 kB
PageTables:       5444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   414496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node107 at 2010-06-30 22:57:49