Trace number 2693387

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.13 1800.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-66-100-0.wbo
MD5SUMbcc83dde29b6f868056a0bfa1b1372de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark49.4775
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 constraints928
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 47257
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 47256
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
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-2693387-1277900547.wbo>
0.00/0.02	c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.06/0.07	c (round 2) 0 del vars, 112 del conss, 928 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.06/0.09	c (round 3) 51 del vars, 262 del conss, 955 chg bounds, 150 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.06/0.09	c (round 4) 129 del vars, 295 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.09/0.11	c (round 5) 159 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.12	c (round 6) 162 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.16	c    (0.1s) probing: 101/1078 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (7 rounds):
0.09/0.16	c  162 deleted vars, 298 deleted constraints, 958 tightened bounds, 0 added holes, 156 changed sides, 0 changed coefficients
0.09/0.16	c  1134 implications, 14 cliques
0.09/0.16	c presolved problem has 1925 variables (1078 bin, 0 int, 0 impl, 847 cont) and 3338 constraints
0.09/0.16	c     847 constraints of type <indicator>
0.09/0.16	c       1 constraints of type <knapsack>
0.09/0.16	c      14 constraints of type <setppc>
0.09/0.16	c     847 constraints of type <linear>
0.09/0.16	c    1629 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    39 |     - |8784k|   0 |  31 |1925 |3338 |1925 |1644 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    64 |     - |9017k|   0 |  33 |1925 |3338 |1925 |1654 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   277 |     - |9135k|   0 |  66 |1925 |3338 |1925 |1665 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.48	c   0.4s|     1 |     0 |   750 |     - |9753k|   0 |  58 |1925 |3338 |1925 |1688 |  44 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |  1125 |     - |  10M|   0 |  69 |1925 |3338 |1925 |1701 |  57 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.81	c   0.8s|     1 |     0 |  1232 |     - |  10M|   0 |  81 |1925 |3338 |1925 |1708 |  64 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.06	c   1.0s|     1 |     0 |  1749 |     - |  10M|   0 |  65 |1925 |3338 |1925 |1714 |  70 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.39/3.44	c   3.4s|     1 |     2 |  1749 |     - |  10M|   0 |  65 |1925 |3338 |1925 |1714 |  70 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
13.58/13.62	o 43452
13.58/13.62	c y13.3s|     9 |     8 |  2800 | 131.4 |  10M|   8 |   1 |1925 |3338 |1925 |1698 |  70 |   0 | 269 | 0.000000e+00 | 4.345200e+04 |    Inf 
13.69/13.74	o 712
13.69/13.74	c *13.5s|    50 |    31 |  2885 |  23.2 |  10M|  37 |   - |1925 |3370 |1925 |1699 |  74 |  32 | 278 | 0.000000e+00 | 7.120000e+02 |    Inf 
13.78/13.80	o 576
13.78/13.80	c R13.5s|    56 |    16 |  2960 |  22.0 |  10M|  37 |   - |1925 |3376 |1925 |1705 |  81 |  38 | 290 | 0.000000e+00 | 5.760000e+02 |    Inf 
13.78/13.83	o 515
13.78/13.83	c *13.6s|    65 |    11 |  3009 |  19.7 |  11M|  37 |   - |1925 |3388 |1925 |1705 |  81 |  50 | 297 | 0.000000e+00 | 5.150000e+02 |    Inf 
13.78/13.84	o 502
13.78/13.84	c *13.6s|    68 |    10 |  3019 |  19.0 |  11M|  37 |   - |1925 |3391 |1925 |1705 |  81 |  53 | 297 | 0.000000e+00 | 5.020000e+02 |    Inf 
14.19/14.21	o 480
14.19/14.21	c *13.9s|   112 |    30 |  3381 |  14.7 |  11M|  37 |   - |1925 |3425 |1925 |1708 |  95 |  87 | 343 | 0.000000e+00 | 4.800000e+02 |    Inf 
14.19/14.21	o 435
14.19/14.21	c *13.9s|   113 |    28 |  3416 |  14.9 |  11M|  37 |   - |1925 |3425 |1925 |1708 |  95 |  87 | 343 | 0.000000e+00 | 4.350000e+02 |    Inf 
14.59/14.64	o 404
14.59/14.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.59/14.64	c *14.3s|   221 |    44 |  4197 |  11.1 |  12M|  37 |   - |1925 |3604 |1925 |1709 | 127 | 266 | 389 | 0.000000e+00 | 4.040000e+02 |    Inf 
14.59/14.66	o 374
14.59/14.66	c *14.3s|   232 |    47 |  4220 |  10.7 |  12M|  37 |   - |1925 |3608 |1925 |1710 | 128 | 270 | 389 | 0.000000e+00 | 3.740000e+02 |    Inf 
17.38/17.46	o 337
17.38/17.46	c *17.1s|   520 |   126 | 11216 |  18.2 |  13M|  37 |   - |1925 |3797 |1925 |1707 | 206 | 516 | 630 | 0.000000e+00 | 3.370000e+02 |    Inf 
25.38/25.40	o 328
25.38/25.40	c *24.8s|  2901 |   610 | 45360 |  15.0 |  17M|  53 |   - |1925 |4831 |1925 |1705 | 633 |3063 | 812 | 0.000000e+00 | 3.280000e+02 |    Inf 
26.40/26.47	o 317
26.40/26.47	c *25.8s|  3287 |   682 | 50934 |  15.0 |  17M|  53 |   - |1925 |4922 |1925 |1698 | 669 |3483 | 819 | 0.000000e+00 | 3.170000e+02 |    Inf 
29.59/29.62	o 297
29.59/29.62	c *28.9s|  4445 |  1030 | 67324 |  14.8 |  18M|  53 |   - |1925 |5121 |1925 |1706 | 814 |4684 | 822 | 0.000000e+00 | 2.970000e+02 |    Inf 
31.49/31.53	o 224
31.49/31.53	c *30.7s|  5153 |  1132 | 76132 |  14.4 |  18M|  53 |   - |1925 |5332 |1925 |1698 | 899 |5517 | 857 | 0.000000e+00 | 2.240000e+02 |    Inf 
39.50/39.55	o 142
39.50/39.55	c *38.5s|  7859 |  1442 |114934 |  14.4 |  19M|  66 |   - |1925 |5221 |1925 |1703 |1263 |8557 | 947 | 0.000000e+00 | 1.420000e+02 |    Inf 
44.49/44.55	o 95
44.49/44.55	c *43.4s|  9461 |  1370 |137090 |  14.3 |  20M|  66 |   - |1925 |5405 |1925 |1698 |1392 |  10k|1066 | 0.000000e+00 | 9.500000e+01 |    Inf 
46.48/46.56	c  45.3s| 10000 |  1388 |147575 |  14.6 |  20M|  66 |  26 |1925 |5091 |1925 |1698 |1448 |  11k|1088 | 0.000000e+00 | 9.500000e+01 |    Inf 
71.59/71.66	o 94
71.59/71.66	c *69.7s| 18362 |  1723 |266384 |  14.4 |  25M|  66 |   - |1925 |6785 |1925 |1698 |2195 |  20k|1359 | 0.000000e+00 | 9.400000e+01 |    Inf 
75.29/75.37	c  73.3s| 20000 |  1763 |282029 |  14.0 |  26M|  66 |  10 |1925 |7013 |1925 |1698 |2285 |  22k|1365 | 0.000000e+00 | 9.400000e+01 |    Inf 
78.39/78.42	o 85
78.39/78.42	c *76.2s| 21408 |  1651 |294671 |  13.7 |  25M|  66 |   - |1925 |7048 |1925 |1698 |2423 |  24k|1365 | 0.000000e+00 | 8.500000e+01 |    Inf 
78.39/78.48	o 73
78.39/78.48	c *76.2s| 21431 |  1538 |294860 |  13.7 |  25M|  66 |   - |1925 |6918 |1925 |1698 |2423 |  24k|1365 | 0.000000e+00 | 7.300000e+01 |    Inf 
80.79/80.81	o 64
80.79/80.81	c *78.5s| 22160 |  1327 |305856 |  13.7 |  24M|  66 |   - |1925 |5612 |1925 |1698 |2471 |  25k|1409 | 0.000000e+00 | 6.400000e+01 |    Inf 
80.79/80.83	o 62
80.79/80.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.79/80.83	c *78.5s| 22163 |  1322 |305912 |  13.7 |  24M|  66 |   - |1925 |5458 |1925 |1698 |2471 |  25k|1409 | 0.000000e+00 | 6.200000e+01 |    Inf 
81.19/81.28	o 47
81.19/81.28	c *79.0s| 22310 |  1127 |307713 |  13.7 |  23M|  66 |   - |1925 |5390 |1925 |1705 |2499 |  25k|1421 | 0.000000e+00 | 4.700000e+01 |    Inf 
101.99/102.02	c  99.0s| 30000 |  1239 |423275 |  14.1 |  25M|  66 |   - |1925 |7932 |   0 |   0 |2855 |  35k|1505 | 0.000000e+00 | 4.700000e+01 |    Inf 
114.99/115.03	o 40
114.99/115.03	c * 112s| 35298 |  1197 |491439 |  13.9 |  26M|  66 |   - |1925 |8956 |1925 |1704 |3242 |  42k|1505 | 0.000000e+00 | 4.000000e+01 |    Inf 
119.50/119.59	o 36
119.50/119.59	c * 116s| 37432 |  1203 |514108 |  13.7 |  26M|  66 |   - |1925 |  10k|1925 |1698 |3395 |  45k|1505 | 0.000000e+00 | 3.600000e+01 |    Inf 
125.09/125.17	c   121s| 40000 |  1192 |541287 |  13.5 |  26M|  66 |   - |1925 |9573 |1925 |1698 |3556 |  48k|1505 | 0.000000e+00 | 3.600000e+01 |    Inf 
142.90/142.95	o 32
142.90/142.95	c * 139s| 46953 |  1109 |633725 |  13.5 |  26M|  66 |   - |1925 |8535 |1925 |1698 |3949 |  58k|1639 | 0.000000e+00 | 3.200000e+01 |    Inf 
151.70/151.72	c   147s| 50000 |  1253 |682970 |  13.6 |  27M|  66 |  26 |1925 |9434 |1925 |1698 |4062 |  61k|1720 | 0.000000e+00 | 3.200000e+01 |    Inf 
178.99/179.00	c   173s| 60000 |  1340 |829306 |  13.8 |  28M|  66 |   - |1925 |  10k|   0 |   0 |4576 |  74k|1959 | 0.000000e+00 | 3.200000e+01 |    Inf 
205.80/205.83	c   199s| 70000 |  1324 |966359 |  13.8 |  29M|  71 |   - |1925 |  10k|   0 |   0 |5118 |  87k|2216 | 0.000000e+00 | 3.200000e+01 |    Inf 
230.90/230.93	c   224s| 80000 |  1503 |  1094k|  13.7 |  32M|  71 |  25 |1925 |  13k|1925 |1698 |5893 | 100k|2367 | 0.000000e+00 | 3.200000e+01 |    Inf 
248.00/248.06	o 24
248.00/248.06	c * 240s| 86512 |  1338 |  1179k|  13.6 |  31M|  71 |   - |1925 |  13k|1925 |1698 |6417 | 109k|2521 | 0.000000e+00 | 2.400000e+01 |    Inf 
258.40/258.44	c   250s| 90000 |  1374 |  1235k|  13.7 |  31M|  71 |   - |1925 |  12k|   0 |   0 |6573 | 114k|2676 | 0.000000e+00 | 2.400000e+01 |    Inf 
280.79/280.89	o 20
280.79/280.89	c * 272s| 97835 |  1339 |  1358k|  13.9 |  31M|  71 |   - |1925 |  13k|1925 |1704 |7099 | 124k|2810 | 0.000000e+00 | 2.000000e+01 |    Inf 
286.70/286.76	c   278s|100000 |  1372 |  1388k|  13.9 |  32M|  71 |  17 |1925 |  13k|1925 |1698 |7220 | 127k|2887 | 0.000000e+00 | 2.000000e+01 |    Inf 
312.20/312.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
312.20/312.29	c   303s|110000 |  1149 |  1515k|  13.8 |  29M|  71 |   1 |1925 |  10k|1925 |1698 |7704 | 141k|3097 | 0.000000e+00 | 2.000000e+01 |    Inf 
338.50/338.56	c   328s|120000 |  1187 |  1651k|  13.7 |  31M|  71 |  27 |1925 |  14k|1925 |1698 |8100 | 154k|3251 | 0.000000e+00 | 2.000000e+01 |    Inf 
366.70/366.71	c   355s|130000 |  1139 |  1798k|  13.8 |  31M|  71 |  24 |1925 |  13k|1925 |1698 |8747 | 168k|3456 | 0.000000e+00 | 2.000000e+01 |    Inf 
393.81/393.86	c   382s|140000 |  1308 |  1936k|  13.8 |  32M|  71 |   - |1925 |  14k|   0 |   0 |9334 | 181k|3669 | 0.000000e+00 | 2.000000e+01 |    Inf 
421.70/421.74	c   409s|150000 |  1393 |  2077k|  13.8 |  34M|  71 |  17 |1925 |  15k|1925 |1698 |9953 | 194k|3805 | 0.000000e+00 | 2.000000e+01 |    Inf 
447.30/447.31	c   434s|160000 |  1407 |  2200k|  13.7 |  34M|  71 |   - |1925 |  14k|1925 |1706 |  10k| 207k|3910 | 0.000000e+00 | 2.000000e+01 |    Inf 
473.80/473.82	c   459s|170000 |  1036 |  2326k|  13.7 |  29M|  71 |   - |1925 |  10k|   0 |   0 |  11k| 221k|4135 | 0.000000e+00 | 2.000000e+01 |    Inf 
499.80/499.89	c   485s|180000 |   952 |  2456k|  13.6 |  30M|  71 |   - |1925 |  12k|   0 |   0 |  11k| 234k|4270 | 0.000000e+00 | 2.000000e+01 |    Inf 
526.30/526.36	c   510s|190000 |  1077 |  2589k|  13.6 |  32M|  71 |   - |1925 |  14k|   0 |   0 |  12k| 247k|4435 | 0.000000e+00 | 2.000000e+01 |    Inf 
551.81/551.88	c   534s|200000 |  1100 |  2732k|  13.7 |  33M|  76 |   - |1925 |  15k|   0 |   0 |  12k| 260k|4566 | 0.000000e+00 | 2.000000e+01 |    Inf 
577.01/577.00	c   558s|210000 |  1241 |  2876k|  13.7 |  33M|  76 |  13 |1925 |  13k|1925 |1698 |  12k| 273k|4723 | 0.000000e+00 | 2.000000e+01 |    Inf 
602.41/602.48	c   583s|220000 |  1526 |  3026k|  13.8 |  36M|  76 |   - |1925 |  14k|   0 |   0 |  13k| 286k|4837 | 0.000000e+00 | 2.000000e+01 |    Inf 
626.10/626.10	c   605s|230000 |  1686 |  3158k|  13.7 |  38M|  76 |   - |1925 |  14k|   0 |   0 |  13k| 300k|4984 | 0.000000e+00 | 2.000000e+01 |    Inf 
651.51/651.59	c   629s|240000 |  1953 |  3305k|  13.8 |  40M|  76 |   - |1925 |  14k|   0 |   0 |  14k| 313k|5126 | 0.000000e+00 | 2.000000e+01 |    Inf 
675.81/675.88	c   652s|250000 |  2161 |  3443k|  13.8 |  42M|  76 |  33 |1925 |  13k|1925 |1698 |  14k| 327k|5224 | 0.000000e+00 | 2.000000e+01 |    Inf 
697.41/697.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
697.41/697.44	c   673s|260000 |  2307 |  3554k|  13.7 |  44M|  76 |  26 |1925 |  15k|1925 |1698 |  15k| 341k|5358 | 0.000000e+00 | 2.000000e+01 |    Inf 
722.01/722.09	c   696s|270000 |  2287 |  3686k|  13.6 |  45M|  76 |   - |1925 |  14k|   0 |   0 |  15k| 355k|5496 | 0.000000e+00 | 2.000000e+01 |    Inf 
745.91/745.98	c   719s|280000 |  2337 |  3818k|  13.6 |  46M|  76 |   - |1925 |  16k|   0 |   0 |  15k| 369k|5622 | 0.000000e+00 | 2.000000e+01 |    Inf 
769.71/769.71	c   742s|290000 |  2278 |  3948k|  13.6 |  45M|  76 |  14 |1925 |  14k|1925 |1707 |  16k| 383k|5734 | 0.000000e+00 | 2.000000e+01 |    Inf 
793.51/793.50	c   764s|300000 |  2271 |  4078k|  13.6 |  47M|  76 |  12 |1925 |  15k|1925 |1698 |  16k| 396k|5814 | 0.000000e+00 | 2.000000e+01 |    Inf 
816.91/816.99	c   786s|310000 |  2107 |  4206k|  13.6 |  46M|  76 |  17 |1925 |  15k|1925 |1698 |  17k| 410k|5893 | 0.000000e+00 | 2.000000e+01 |    Inf 
839.41/839.46	c   808s|320000 |  2103 |  4324k|  13.5 |  46M|  76 |   - |1925 |  15k|   0 |   0 |  17k| 424k|5991 | 0.000000e+00 | 2.000000e+01 |    Inf 
863.22/863.28	c   830s|330000 |  1957 |  4452k|  13.5 |  46M|  76 |   - |1925 |  16k|   0 |   0 |  17k| 438k|6129 | 0.000000e+00 | 2.000000e+01 |    Inf 
887.62/887.63	c   854s|340000 |  2146 |  4591k|  13.5 |  48M|  95 |   - |1925 |  17k|1925 |1698 |  18k| 452k|6236 | 0.000000e+00 | 2.000000e+01 |    Inf 
912.11/912.12	c   877s|350000 |  2094 |  4727k|  13.5 |  48M|  95 |   - |1925 |  17k|   0 |   0 |  18k| 466k|6338 | 0.000000e+00 | 2.000000e+01 |    Inf 
935.92/935.98	c   900s|360000 |  1988 |  4855k|  13.5 |  47M|  95 |  35 |1925 |  16k|1925 |1698 |  19k| 480k|6399 | 0.000000e+00 | 2.000000e+01 |    Inf 
962.02/962.03	c   925s|370000 |  2218 |  4999k|  13.5 |  49M|  95 |   - |1925 |  18k|   0 |   0 |  19k| 494k|6486 | 0.000000e+00 | 2.000000e+01 |    Inf 
987.42/987.40	c   949s|380000 |  2217 |  5134k|  13.5 |  49M|  95 |  15 |1925 |  16k|1925 |1698 |  19k| 507k|6591 | 0.000000e+00 | 2.000000e+01 |    Inf 
1012.62/1012.69	c   973s|390000 |  2050 |  5270k|  13.5 |  48M|  95 |  21 |1925 |  16k|1925 |1698 |  20k| 521k|6733 | 0.000000e+00 | 2.000000e+01 |    Inf 
1034.12/1034.16	c   993s|400000 |  2076 |  5377k|  13.4 |  48M|  95 |   - |1925 |  16k|   0 |   0 |  21k| 535k|6795 | 0.000000e+00 | 2.000000e+01 |    Inf 
1054.72/1054.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1054.72/1054.80	c  1013s|410000 |  2175 |  5474k|  13.3 |  50M|  95 |  23 |1925 |  19k|1925 |1698 |  21k| 548k|6847 | 0.000000e+00 | 2.000000e+01 |    Inf 
1077.32/1077.39	c  1034s|420000 |  2074 |  5583k|  13.3 |  49M|  95 |  29 |1925 |  16k|1925 |1705 |  22k| 561k|6993 | 0.000000e+00 | 2.000000e+01 |    Inf 
1100.12/1100.14	c  1056s|430000 |  1421 |  5697k|  13.2 |  37M|  95 |  26 |1925 |  11k|1925 |1698 |  22k| 576k|7050 | 0.000000e+00 | 2.000000e+01 |    Inf 
1123.53/1123.56	c  1078s|440000 |  1380 |  5825k|  13.2 |  38M|  95 |  13 |1925 |  14k|1925 |1698 |  23k| 589k|7188 | 0.000000e+00 | 2.000000e+01 |    Inf 
1146.52/1146.58	c  1100s|450000 |  1463 |  5946k|  13.2 |  40M|  95 |   - |1925 |  17k|1925 |1698 |  23k| 603k|7256 | 0.000000e+00 | 2.000000e+01 |    Inf 
1169.63/1169.61	c  1122s|460000 |  1453 |  6061k|  13.2 |  40M|  95 |   - |1925 |  16k|   0 |   0 |  24k| 617k|7301 | 0.000000e+00 | 2.000000e+01 |    Inf 
1192.82/1192.81	c  1144s|470000 |  1209 |  6177k|  13.1 |  36M|  95 |   - |1925 |  13k|   0 |   0 |  25k| 631k|7441 | 0.000000e+00 | 2.000000e+01 |    Inf 
1214.23/1214.21	c  1164s|480000 |  1240 |  6294k|  13.1 |  36M|  95 |  13 |1925 |  14k|1925 |1698 |  25k| 644k|7475 | 0.000000e+00 | 2.000000e+01 |    Inf 
1235.53/1235.56	c  1184s|490000 |  1083 |  6404k|  13.1 |  34M|  95 |   - |1925 |  12k|   0 |   0 |  26k| 658k|7584 | 0.000000e+00 | 2.000000e+01 |    Inf 
1260.63/1260.66	c  1208s|500000 |   859 |  6551k|  13.1 |  31M|  95 |   1 |1925 |  11k|1925 |1698 |  26k| 671k|7682 | 0.000000e+00 | 2.000000e+01 |    Inf 
1281.93/1281.97	c  1228s|510000 |   911 |  6664k|  13.1 |  33M|  95 |   - |1925 |  14k|   0 |   0 |  26k| 684k|7709 | 0.000000e+00 | 2.000000e+01 |    Inf 
1306.13/1306.17	c  1251s|520000 |   946 |  6786k|  13.0 |  34M|  95 |   - |1925 |  16k|   0 |   0 |  27k| 698k|7815 | 0.000000e+00 | 2.000000e+01 |    Inf 
1332.04/1332.08	c  1276s|530000 |  1107 |  6923k|  13.1 |  37M|  95 |  22 |1925 |  19k|1925 |1698 |  28k| 711k|7908 | 0.000000e+00 | 2.000000e+01 |    Inf 
1358.54/1358.58	c  1301s|540000 |  1007 |  7065k|  13.1 |  35M|  95 |  37 |1925 |  17k|1925 |1698 |  28k| 725k|7956 | 0.000000e+00 | 2.000000e+01 |    Inf 
1384.03/1384.07	c  1325s|550000 |  1220 |  7199k|  13.1 |  37M|  95 |   - |1925 |  18k|   0 |   0 |  28k| 738k|8029 | 0.000000e+00 | 2.000000e+01 |    Inf 
1390.44/1390.43	o 19
1390.44/1390.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1390.44/1390.43	c *1331s|552235 |  1244 |  7237k|  13.1 |  37M|  95 |   - |1925 |  19k|1925 |1698 |  29k| 741k|8029 | 0.000000e+00 | 1.900000e+01 |    Inf 
1409.73/1409.71	c  1350s|560000 |  1282 |  7331k|  13.1 |  38M|  95 |  36 |1925 |  19k|1925 |1698 |  29k| 752k|8149 | 0.000000e+00 | 1.900000e+01 |    Inf 
1434.63/1434.62	c  1373s|570000 |  1303 |  7463k|  13.1 |  39M|  95 |  27 |1925 |  19k|1925 |1698 |  29k| 766k|8181 | 0.000000e+00 | 1.900000e+01 |    Inf 
1462.53/1462.59	c  1400s|580000 |  1392 |  7612k|  13.1 |  40M|  95 |  11 |1925 |  19k|1925 |1698 |  30k| 780k|8271 | 0.000000e+00 | 1.900000e+01 |    Inf 
1489.54/1489.55	c  1426s|590000 |  1503 |  7762k|  13.2 |  41M|  95 |  25 |1925 |  20k|1925 |1705 |  30k| 793k|8394 | 0.000000e+00 | 1.900000e+01 |    Inf 
1514.83/1514.88	c  1450s|600000 |  1562 |  7890k|  13.1 |  42M|  95 |  21 |1925 |  20k|1925 |1698 |  30k| 807k|8413 | 0.000000e+00 | 1.900000e+01 |    Inf 
1541.33/1541.33	c  1475s|610000 |  1558 |  8026k|  13.2 |  42M|  95 |   - |1925 |  19k|   0 |   0 |  31k| 821k|8535 | 0.000000e+00 | 1.900000e+01 |    Inf 
1567.14/1567.18	c  1500s|620000 |  1644 |  8154k|  13.1 |  43M|  95 |  27 |1925 |  20k|1925 |1698 |  31k| 834k|8589 | 0.000000e+00 | 1.900000e+01 |    Inf 
1595.04/1595.08	c  1526s|630000 |  1609 |  8303k|  13.2 |  43M|  95 |  28 |1925 |  18k|1925 |1698 |  31k| 849k|8655 | 0.000000e+00 | 1.900000e+01 |    Inf 
1622.93/1622.98	c  1553s|640000 |  1473 |  8450k|  13.2 |  42M|  95 |  21 |1925 |  18k|1925 |1698 |  32k| 863k|8778 | 0.000000e+00 | 1.900000e+01 |    Inf 
1648.14/1648.11	c  1577s|650000 |  1372 |  8581k|  13.2 |  42M|  95 |   - |1925 |  18k|1925 |1698 |  32k| 876k|8813 | 0.000000e+00 | 1.900000e+01 |    Inf 
1672.54/1672.50	c  1601s|660000 |   993 |  8702k|  13.2 |  36M|  95 |  21 |1925 |  15k|1925 |1698 |  32k| 890k|8941 | 0.000000e+00 | 1.900000e+01 |    Inf 
1694.84/1694.84	c  1622s|670000 |   617 |  8821k|  13.2 |  28M|  95 |  19 |1925 |9535 |1925 |1698 |  33k| 904k|8961 | 0.000000e+00 | 1.900000e+01 |    Inf 
1718.24/1718.23	c  1644s|680000 |   375 |  8956k|  13.2 |  26M|  95 |  11 |1925 |8935 |1925 |1698 |  33k| 917k|9067 | 0.000000e+00 | 1.900000e+01 |    Inf 
1741.54/1741.54	c  1666s|690000 |   474 |  9092k|  13.2 |  28M|  95 |   - |1925 |  11k|1925 |1698 |  34k| 930k|9141 | 0.000000e+00 | 1.900000e+01 |    Inf 
1764.54/1764.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1764.54/1764.54	c  1688s|700000 |   458 |  9217k|  13.2 |  29M|  95 |  19 |1925 |  13k|1925 |1698 |  34k| 943k|9228 | 0.000000e+00 | 1.900000e+01 |    Inf 
1788.94/1788.90	c  1711s|710000 |   493 |  9345k|  13.2 |  30M|  95 |  37 |1925 |  14k|1925 |1698 |  34k| 956k|9292 | 0.000000e+00 | 1.900000e+01 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1721.61
1800.05/1800.01	c Solving Nodes      : 713953
1800.05/1800.01	c Primal Bound       : +1.90000000000000e+01 (275 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.02	s SATISFIABLE
1800.05/1800.02	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.02	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.02	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.02	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.02	v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.02	v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 
1800.05/1800.02	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.02	v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 
1800.05/1800.02	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.02	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 
1800.05/1800.02	v -x2 x1 
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Solving Time       :    1721.61
1800.05/1800.02	c Original Problem   :
1800.05/1800.02	c   Problem name     : HOME/instance-2693387-1277900547.wbo
1800.05/1800.02	c   Variables        : 2087 (1159 binary, 0 integer, 0 implicit integer, 928 continuous)
1800.05/1800.02	c   Constraints      : 3636 initial, 3636 maximal
1800.05/1800.02	c Presolved Problem  :
1800.05/1800.02	c   Problem name     : t_HOME/instance-2693387-1277900547.wbo
1800.05/1800.02	c   Variables        : 1925 (1078 binary, 0 integer, 0 implicit integer, 847 continuous)
1800.05/1800.02	c   Constraints      : 3338 initial, 21796 maximal
1800.05/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.02	c   trivial          :       0.01         81          0          0          0          0          0          0          0
1800.05/1800.02	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.05/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.02	c   indicator        :       0.00          0          0          0          0          0         81          0          0
1800.05/1800.02	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   linear           :       0.06          0          0          0        958          0        217        156          0
1800.05/1800.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   root node        :          -        696          -          -       1392          -          -          -          -
1800.05/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   integral         :          0          0          0     387120          0        230       2544          0          0     756418
1800.05/1800.02	c   indicator        :        847          0    3438329       6782          0        460    1850598          0          0          0
1800.05/1800.02	c   knapsack         :          1          6    3463574       6764          0      30285   10736531          0          0          0
1800.05/1800.02	c   setppc           :         14          6    3442911       6759          0      62331    2297296          0          0          0
1800.05/1800.02	c   linear           :        847          6    3380961       6800          0      37635    3421058      34946          0          0
1800.05/1800.02	c   logicor          :       1629+         6    1569446       1052          0     150032    5752715          0          0          0
1800.05/1800.02	c   bounddisjunction :          0+         0       1411          0          0          0          0          0          0          0
1800.05/1800.02	c   countsols        :          0          0          0       1052          0          0          0          0          0          0
1800.05/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.02	c   integral         :      51.89       0.00       0.00      51.89       0.00
1800.05/1800.02	c   indicator        :       8.95       0.00       8.66       0.29       0.00
1800.05/1800.02	c   knapsack         :      37.12       0.00      37.12       0.00       0.00
1800.05/1800.02	c   setppc           :      12.46       0.00      12.46       0.00       0.00
1800.05/1800.02	c   linear           :      42.76       0.00      42.51       0.25       0.00
1800.05/1800.02	c   logicor          :     167.01       0.00     166.99       0.02       0.00
1800.05/1800.02	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.05/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.02	c   vbounds          :       0.25          2          0          0
1800.05/1800.02	c   rootredcost      :       0.24         28          0        696
1800.05/1800.02	c   pseudoobj        :      65.74    3477364       3360    1574474
1800.05/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.02	c   propagation      :      11.77     283643     283253    1665298       28.8       9807       24.6          -
1800.05/1800.02	c   infeasible LP    :      17.66      90419      90419     732382       43.4        955       15.2          0
1800.05/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   pseudo solution  :       0.01         48         48        325       23.1          5        7.4          -
1800.05/1800.02	c   applied globally :          -          -          -     961233       27.1          -          -          -
1800.05/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.02	c   cut pool         :       0.00          5          -          -         28          -    (maximal pool size: 521)
1800.05/1800.02	c   redcost          :      12.47     389167          0     229056          0          0
1800.05/1800.02	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.02	c   gomory           :       0.29          6          0          0       1333          0
1800.05/1800.02	c   strongcg         :       0.22          6          0          0       2022          0
1800.05/1800.02	c   cmir             :       0.05          6          0          0          0          0
1800.05/1800.02	c   flowcover        :       0.04          6          0          0          0          0
1800.05/1800.02	c   clique           :       0.00          6          0          0          0          0
1800.05/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.02	c Pricers            :       Time      Calls       Vars
1800.05/1800.02	c   problem variables:       0.00          0          0
1800.05/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   relpscost        :      51.72     380300        230       2544          0          0     756418
1800.05/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   inference        :       0.12       1026          0          0          0          0       2052
1800.05/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.02	c   LP solutions     :       0.01          -         26
1800.05/1800.02	c   pseudo solutions :       0.00          -          0
1800.05/1800.02	c   feaspump         :       0.02          1          0
1800.05/1800.02	c   oneopt           :       0.19         27          0
1800.05/1800.02	c   crossover        :       0.63         26          0
1800.05/1800.02	c   coefdiving       :       0.52         93          0
1800.05/1800.02	c   pscostdiving     :       0.33         93          0
1800.05/1800.02	c   objpscostdiving  :       0.26         47          0
1800.05/1800.02	c   linesearchdiving :       0.36         94          0
1800.05/1800.02	c   veclendiving     :       0.29         94          0
1800.05/1800.02	c   guideddiving     :       0.46         94          0
1800.05/1800.02	c   fracdiving       :       0.61         94          0
1800.05/1800.02	c   rootsoldiving    :       0.32         48          0
1800.05/1800.02	c   trivial          :       0.01          2          0
1800.05/1800.02	c   simplerounding   :       0.35     380988          0
1800.05/1800.02	c   zirounding       :       0.22       1000          0
1800.05/1800.02	c   rounding         :       3.38      29683          1
1800.05/1800.02	c   shifting         :       0.71       2631          0
1800.05/1800.02	c   intshifting      :       0.00         19          0
1800.05/1800.02	c   twoopt           :       0.00          0          0
1800.05/1800.02	c   fixandinfer      :       0.00          0          0
1800.05/1800.02	c   intdiving        :       0.00          0          0
1800.05/1800.02	c   actconsdiving    :       0.00          0          0
1800.05/1800.02	c   octane           :       0.00          0          0
1800.05/1800.02	c   rens             :       0.02          1          0
1800.05/1800.02	c   rins             :       0.00          0          0
1800.05/1800.02	c   localbranching   :       0.00          0          0
1800.05/1800.02	c   mutation         :       0.00          0          0
1800.05/1800.02	c   dins             :       0.00          0          0
1800.05/1800.02	c   undercover       :       0.00          0          0
1800.05/1800.02	c   nlp              :       0.03          0          0
1800.05/1800.02	c   trysol           :       1.09       4806        248
1800.05/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.02	c   dual LP          :     998.38     476053    9399258      19.74    9414.51
1800.05/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.02	c   diving/probing LP:       2.23       1632      10263       6.29    4602.24
1800.05/1800.02	c   strong branching :      47.99       9355     456437      48.79    9511.09
1800.05/1800.02	c     (at root node) :          -         33      17719     536.94          -
1800.05/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.02	c B&B Tree           :
1800.05/1800.02	c   number of runs   :          1
1800.05/1800.02	c   nodes            :     713953
1800.05/1800.02	c   nodes (total)    :     713953
1800.05/1800.02	c   nodes left       :        303
1800.05/1800.02	c   max depth        :         95
1800.05/1800.02	c   max depth (total):         95
1800.05/1800.02	c   backtracks       :      80888 (11.3%)
1800.05/1800.02	c   delayed cutoffs  :      42729
1800.05/1800.02	c   repropagations   :    1549266 (4240762 domain reductions, 39155 cutoffs)
1800.05/1800.02	c   avg switch length:       5.97
1800.05/1800.02	c   switching time   :     165.81
1800.05/1800.02	c Solution           :
1800.05/1800.02	c   Solutions found  :        275 (28 improvements)
1800.05/1800.02	c   First Solution   : +4.34520000000000e+04   (in run 1, after 9 nodes, 13.34 seconds, depth 8, found by <trysol>)
1800.05/1800.02	c   Primal Bound     : +1.90000000000000e+01   (in run 1, after 552235 nodes, 1331.37 seconds, depth 78, found by <relaxation>)
1800.05/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.02	c   Gap              :   infinite
1800.05/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.02	c   Root Iterations  :       1749
1800.05/1800.07	c Time complete: 1800.11.

Verifier Data 

OK	19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693387-1277900547/watcher-2693387-1277900547 -o /tmp/evaluation-result-2693387-1277900547/solver-2693387-1277900547 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693387-1277900547.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.99 4/196 9561
/proc/meminfo: memFree=30999872/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=11008 CPUtime=0
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 1678 0 0 0 0 0 0 0 23 0 1 0 131352081 11272192 1598 4089446400 4194304 9819077 140737360587696 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/9561/statm: 2752 1598 392 1374 0 1373 0

[startup+0.072922 s]
/proc/loadavg: 1.85 1.97 1.99 4/196 9561
/proc/meminfo: memFree=30999872/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=24044 CPUtime=0.06
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 5660 0 0 0 6 0 0 0 23 0 1 0 131352081 24621056 4712 4089446400 4194304 9819077 140737360587696 18446744073709551615 4661796 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9561/statm: 6011 4712 497 1374 0 4632 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24044

[startup+0.100899 s]
/proc/loadavg: 1.85 1.97 1.99 4/196 9561
/proc/meminfo: memFree=30999872/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=24044 CPUtime=0.09
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 6946 0 0 0 9 0 0 0 23 0 1 0 131352081 24621056 4713 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9561/statm: 6011 4713 498 1374 0 4632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24044

[startup+0.300873 s]
/proc/loadavg: 1.85 1.97 1.99 4/196 9561
/proc/meminfo: memFree=30999872/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=33772 CPUtime=0.29
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 11869 0 0 0 28 1 0 0 23 0 1 0 131352081 34582528 6809 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9561/statm: 8443 6809 691 1374 0 7064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33772

[startup+0.700803 s]
/proc/loadavg: 1.85 1.97 1.99 4/196 9561
/proc/meminfo: memFree=30999872/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=37820 CPUtime=0.69
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 13733 0 0 0 67 2 0 0 25 0 1 0 131352081 38727680 7803 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9561/statm: 9455 7803 692 1374 0 8076 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37820

[startup+1.50066 s]
/proc/loadavg: 1.85 1.97 1.99 3/197 9562
/proc/meminfo: memFree=30965144/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=45356 CPUtime=1.49
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 25717 0 0 0 145 4 0 0 25 0 1 0 131352081 46444544 9422 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9561/statm: 11339 9422 716 1374 0 9960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45356

[startup+3.10038 s]
/proc/loadavg: 1.85 1.97 1.99 3/197 9562
/proc/meminfo: memFree=30964276/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=47816 CPUtime=3.09
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 35292 0 0 0 304 5 0 0 25 0 1 0 131352081 48963584 9460 4089446400 4194304 9819077 140737360587696 18446744073709551615 7289252 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 11954 9461 716 1374 0 10575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47816

[startup+6.3008 s]
/proc/loadavg: 1.86 1.97 1.99 3/197 9562
/proc/meminfo: memFree=30962992/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=47644 CPUtime=6.29
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 56316 0 0 0 619 10 0 0 25 0 1 0 131352081 48787456 9453 4089446400 4194304 9819077 140737360587696 18446744073709551615 6192333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 11911 9453 720 1374 0 10532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47644

[startup+12.7006 s]
/proc/loadavg: 1.87 1.97 1.99 3/197 9562
/proc/meminfo: memFree=30962556/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=45020 CPUtime=12.69
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 98772 0 0 0 1248 21 0 0 25 0 1 0 131352081 46100480 9397 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 11255 9397 720 1374 0 9876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45020

[startup+25.5003 s]
/proc/loadavg: 1.90 1.97 1.99 3/197 9562
/proc/meminfo: memFree=30953812/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=54748 CPUtime=25.49
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 239953 0 0 0 2492 57 0 0 25 0 1 0 131352081 56061952 11786 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 13687 11786 742 1374 0 12308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54748

[startup+51.1006 s]
/proc/loadavg: 1.93 1.97 1.99 3/197 9563
/proc/meminfo: memFree=30938928/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=66556 CPUtime=51.09
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 511850 0 0 0 4972 137 0 0 25 0 1 0 131352081 68153344 14667 4089446400 4194304 9819077 140737360587696 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 16639 14667 744 1374 0 15260 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66556

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/197 9564
/proc/meminfo: memFree=30918904/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=83388 CPUtime=102.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 967091 0 0 0 9932 298 0 0 25 0 1 0 131352081 85389312 18939 4089446400 4194304 9819077 140737360587696 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 20847 18939 744 1374 0 19468 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 83388

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9566
/proc/meminfo: memFree=30900996/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=90668 CPUtime=162.29
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 1528693 0 0 0 15736 493 0 0 25 0 1 0 131352081 92844032 20632 4089446400 4194304 9819077 140737360587696 18446744073709551615 6372747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 22667 20632 744 1374 0 21288 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 90668

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9568
/proc/meminfo: memFree=30893008/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=96040 CPUtime=222.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 2074561 0 0 0 21546 684 0 0 25 0 1 0 131352081 98344960 21931 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 24010 21931 744 1374 0 22631 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 96040

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9569
/proc/meminfo: memFree=30887016/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=99332 CPUtime=282.29
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 2622435 0 0 0 27361 868 0 0 25 0 1 0 131352081 101715968 22636 4089446400 4194304 9819077 140737360587696 18446744073709551615 6519585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 24833 22636 745 1374 0 23454 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 99332

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9571
/proc/meminfo: memFree=30885096/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=100348 CPUtime=342.29
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 3174367 0 0 0 33168 1061 0 0 25 0 1 0 131352081 102756352 22890 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 25087 22890 745 1374 0 23708 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 100348

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9572
/proc/meminfo: memFree=30879228/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=101828 CPUtime=402.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 3677633 0 0 0 38986 1244 0 0 25 0 1 0 131352081 104271872 23253 4089446400 4194304 9819077 140737360587696 18446744073709551615 6364953 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 25355 23251 745 1374 0 23976 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 101828

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 9574
/proc/meminfo: memFree=30871360/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=105480 CPUtime=462.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 4171906 0 0 0 44811 1419 0 0 25 0 1 0 131352081 108011520 24164 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 25817 24122 745 1374 0 24438 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 105480

[startup+522.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/197 9576
/proc/meminfo: memFree=30867336/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=106036 CPUtime=522.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 4694818 0 0 0 50628 1602 0 0 25 0 1 0 131352081 108580864 24460 4089446400 4194304 9819077 140737360587696 18446744073709551615 6371751 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9561/statm: 26509 24461 745 1374 0 25130 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 106036

[startup+582.3 s]
/proc/loadavg: 2.08 2.00 2.00 3/179 9610
/proc/meminfo: memFree=31401792/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=107796 CPUtime=582.3
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 5245522 0 0 0 56337 1893 0 0 25 0 1 0 131352081 110383104 24725 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 26949 24725 745 1374 0 25570 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 107796

[startup+642.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 9612
/proc/meminfo: memFree=31396288/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=111072 CPUtime=642.31
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 5752161 0 0 0 62041 2190 0 0 25 0 1 0 131352081 113737728 25527 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 27768 25527 745 1374 0 26389 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 111072

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 9617
/proc/meminfo: memFree=31385588/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=121144 CPUtime=822.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 7285906 0 0 0 79150 3082 0 0 25 0 1 0 131352081 124051456 28074 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 30286 28074 745 1374 0 28907 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 121144

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9618
/proc/meminfo: memFree=31384180/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=121536 CPUtime=882.31
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 7761545 0 0 0 84865 3366 0 0 25 0 1 0 131352081 124452864 28312 4089446400 4194304 9819077 140737360587696 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 30384 28313 745 1374 0 29005 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 121536

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 9620
/proc/meminfo: memFree=31381036/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=125508 CPUtime=942.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 8288293 0 0 0 90570 3662 0 0 25 0 1 0 131352081 128520192 29083 4089446400 4194304 9819077 140737360587696 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 31377 29083 745 1374 0 29998 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 125508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9621
/proc/meminfo: memFree=31379624/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=127040 CPUtime=1002.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 8822108 0 0 0 96284 3948 0 0 25 0 1 0 131352081 130088960 29442 4089446400 4194304 9819077 140737360587696 18446744073709551615 6590664 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 31760 29442 745 1374 0 30381 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 127040

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9623
/proc/meminfo: memFree=31376840/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=130044 CPUtime=1062.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 9309139 0 0 0 101979 4253 0 0 25 0 1 0 131352081 133165056 30078 4089446400 4194304 9819077 140737360587696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32511 30078 745 1374 0 31132 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 130044

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 9625
/proc/meminfo: memFree=31375928/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=130508 CPUtime=1122.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 9796261 0 0 0 107675 4557 0 0 25 0 1 0 131352081 133640192 30223 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32627 30223 745 1374 0 31248 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 130508

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 9626
/proc/meminfo: memFree=31375896/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=130512 CPUtime=1182.32
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 10270139 0 0 0 113371 4861 0 0 25 0 1 0 131352081 133644288 30237 4089446400 4194304 9819077 140737360587696 18446744073709551615 7487763 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32628 30237 745 1374 0 31249 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 130512

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 9628
/proc/meminfo: memFree=31375224/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=130712 CPUtime=1242.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 10786818 0 0 0 119060 5173 0 0 25 0 1 0 131352081 133849088 30283 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32678 30283 745 1374 0 31299 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 130712

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9629
/proc/meminfo: memFree=31375032/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=130760 CPUtime=1302.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 11331286 0 0 0 124742 5491 0 0 25 0 1 0 131352081 133898240 30333 4089446400 4194304 9819077 140737360587696 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32690 30334 745 1374 0 31311 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 130760

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9631
/proc/meminfo: memFree=31374740/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131108 CPUtime=1362.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 11854415 0 0 0 130456 5777 0 0 25 0 1 0 131352081 134254592 30318 4089446400 4194304 9819077 140737360587696 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32777 30318 745 1374 0 31398 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 131108

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9633
/proc/meminfo: memFree=31374464/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131132 CPUtime=1422.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 12373889 0 0 0 136168 6065 0 0 25 0 1 0 131352081 134279168 30334 4089446400 4194304 9819077 140737360587696 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32783 30334 745 1374 0 31404 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 131132

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9634
/proc/meminfo: memFree=31374660/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131340 CPUtime=1482.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 12877810 0 0 0 141890 6343 0 0 25 0 1 0 131352081 134492160 30347 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32835 30349 745 1374 0 31456 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 131340

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9636
/proc/meminfo: memFree=31374600/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131436 CPUtime=1542.33
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 13390955 0 0 0 147601 6632 0 0 25 0 1 0 131352081 134590464 30372 4089446400 4194304 9819077 140737360587696 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32859 30372 745 1374 0 31480 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 131436

[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/197 9682
/proc/meminfo: memFree=31161360/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131552 CPUtime=1602.34
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 13888062 0 0 0 153343 6891 0 0 25 0 1 0 131352081 134709248 30404 4089446400 4194304 9819077 140737360587696 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32888 30404 745 1374 0 31509 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 131552

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 9684
/proc/meminfo: memFree=31135520/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131548 CPUtime=1662.34
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 14414085 0 0 0 159082 7152 0 0 25 0 1 0 131352081 134705152 30439 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32887 30442 745 1374 0 31508 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 131548

[startup+1722.3 s]
/proc/loadavg: 2.83 2.21 2.07 3/197 9686
/proc/meminfo: memFree=31109316/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131840 CPUtime=1722.34
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 14989693 0 0 0 164782 7452 0 0 25 0 1 0 131352081 135004160 30484 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32960 30484 745 1374 0 31581 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 131840

[startup+1782.3 s]
/proc/loadavg: 2.30 2.17 2.06 3/197 9687
/proc/meminfo: memFree=31085572/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=131816 CPUtime=1782.34
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 15531877 0 0 0 170474 7760 0 0 25 0 1 0 131352081 134979584 30478 4089446400 4194304 9819077 140737360587696 18446744073709551615 4431489 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 32954 30478 745 1374 0 31575 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 131816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.22 2.16 2.06 3/197 9688
/proc/meminfo: memFree=31080108/32951124 swapFree=67111528/67111528
[pid=9561] ppid=9559 vsize=132140 CPUtime=1800.05
/proc/9561/stat : 9561 (pbscip.linux.x8) R 9559 9561 9536 0 -1 4202496 15676369 0 0 0 172162 7843 0 0 25 0 1 0 131352081 135311360 30609 4089446400 4194304 9819077 140737360587696 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9561/statm: 33035 30609 745 1374 0 31656 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 132140

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

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

Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.13
CPU user time (s): 1721.69
CPU system time (s): 78.4391
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 134492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.69
system time used= 78.4391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15676425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1545

runsolver used 2.6466 second user time and 5.56715 second system time

The end

Launcher Data 

Begin job on node109 at 2010-06-30 14:22:28
IDJOB=2693387
IDBENCH=78883
IDSOLVER=1205
FILE ID=node109/2693387-1277900547
PBS_JOBID= 11197242
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= bcc83dde29b6f868056a0bfa1b1372de
RANDOM SEED=1967369426

node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31000276 kB
Buffers:        181632 kB
Cached:        1045356 kB
SwapCached:          0 kB
Active:        1085364 kB
Inactive:       720748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31000276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6420 kB
Writeback:           0 kB
AnonPages:      579000 kB
Mapped:          20236 kB
Slab:            80476 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1659916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node109 at 2010-06-30 14:52:30