Trace number 2705647

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
MD5SUM125243b279b6e24b77d57dd07a5f7014
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark247.27
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705647-1278572967.wbo>
0.00/0.02	c original problem has 2105 variables (1168 bin, 0 int, 937 impl, 0 cont) and 3645 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	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, 214 impls, 14 clqs
0.06/0.07	c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.06/0.08	c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.06/0.09	c (round 4) 98 del vars, 221 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.09/0.12	c    (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12	c presolving (5 rounds):
0.09/0.12	c  98 deleted vars, 221 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.12	c  1981 implications, 14 cliques
0.09/0.12	c presolved problem has 2007 variables (1119 bin, 0 int, 888 impl, 0 cont) and 3424 constraints
0.09/0.12	c      62 constraints of type <setppc>
0.09/0.12	c     888 constraints of type <linear>
0.09/0.12	c     888 constraints of type <indicator>
0.09/0.12	c    1586 constraints of type <logicor>
0.09/0.12	c transformed objective value is always integral (scale: 1)
0.09/0.12	c Presolving Time: 0.09
0.09/0.12	c - non default parameters ----------------------------------------------------------------------
0.09/0.12	c # SCIP version 1.2.1.3
0.09/0.12	c 
0.09/0.12	c # frequency for displaying node information lines
0.09/0.12	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12	c display/freq = 10000
0.09/0.12	c 
0.09/0.12	c # maximal time in seconds to run
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/time = 1789.98
0.09/0.12	c 
0.09/0.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/memory = 3420
0.09/0.12	c 
0.09/0.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12	c # [type: int, range: [1,2], default: 1]
0.09/0.12	c timing/clocktype = 2
0.09/0.12	c 
0.09/0.12	c # should presolving try to simplify inequalities
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/linear/simplifyinequalities = TRUE
0.09/0.12	c 
0.09/0.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/indicator/addCouplingCons = TRUE
0.09/0.12	c 
0.09/0.12	c # should presolving try to simplify knapsacks
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12	c 
0.09/0.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12	c separating/rapidlearning/freq = 0
0.09/0.12	c 
0.09/0.12	c -----------------------------------------------------------------------------------------------
0.09/0.12	c start solving
0.09/0.13	c 
0.09/0.13	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.13	c   0.1s|     1 |     0 |    25 |     - |9045k|   0 |  23 |2007 |3424 |2007 |1648 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    50 |     - |9125k|   0 |  12 |2007 |3424 |2007 |1666 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    72 |     - |9278k|   0 |  14 |2007 |3424 |2007 |1672 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |    84 |     - |9366k|   0 |  14 |2007 |3424 |2007 |1673 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   100 |     - |9532k|   0 |   5 |2007 |3424 |2007 |1676 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   141 |     - |9675k|   0 |  21 |2007 |3424 |2007 |1680 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   210 |     - |  10M|   0 |  24 |2007 |3424 |2007 |1681 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |   258 |     - |  10M|   0 |  28 |2007 |3424 |2007 |1689 |  41 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.57	c   0.5s|     1 |     0 |   307 |     - |  10M|   0 |  32 |2007 |3424 |2007 |1693 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.67	c   0.6s|     1 |     0 |   347 |     - |  10M|   0 |  34 |2007 |3424 |2007 |1696 |  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.89/0.95	c   0.9s|     1 |     2 |   347 |     - |  10M|   0 |  34 |2007 |3424 |2007 |1696 |  48 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
1.29/1.36	o 44536
1.29/1.36	c y 1.3s|    16 |    15 |   599 |  16.8 |  10M|  14 |   - |2007 |3424 |   0 |   0 |  54 |   0 | 159 | 0.000000e+00 | 4.453600e+04 |    Inf 
10.19/10.24	o 439
10.19/10.24	c *10.2s|  6271 |  5391 |  8161 |   1.2 |  22M|  75 |   - |2007 |3543 |2007 |1690 | 897 | 123 |1212 | 0.000000e+00 | 4.390000e+02 |    Inf 
10.59/10.64	o 371
10.59/10.64	c *10.6s|  6573 |  5400 |  8476 |   1.2 |  22M|  75 |   - |2007 |3562 |2007 |1696 | 938 | 145 |1217 | 0.000000e+00 | 3.710000e+02 |    Inf 
10.69/10.75	o 331
10.69/10.75	c *10.7s|  6654 |  5182 |  8560 |   1.2 |  22M|  75 |   - |2007 |3572 |2007 |1693 | 951 | 155 |1220 | 0.000000e+00 | 3.310000e+02 |    Inf 
10.79/10.85	o 149
10.79/10.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.79/10.85	c *10.8s|  6730 |  2365 |  8660 |   1.2 |  18M|  75 |   - |2007 |3581 |2007 |1693 | 958 | 164 |1228 | 0.000000e+00 | 1.490000e+02 |    Inf 
11.49/11.59	o 141
11.49/11.59	c *11.6s|  7080 |  2451 |  9809 |   1.3 |  19M|  75 |   - |2007 |3830 |2007 |1692 |1044 | 414 |1333 | 0.000000e+00 | 1.410000e+02 |    Inf 
11.59/11.64	o 120
11.59/11.64	c *11.6s|  7114 |  2080 |  9841 |   1.3 |  18M|  75 |   - |2007 |3843 |2007 |1692 |1049 | 428 |1336 | 0.000000e+00 | 1.200000e+02 |    Inf 
11.69/11.75	o 114
11.69/11.75	c *11.7s|  7163 |  2005 |  9978 |   1.3 |  18M|  75 |   - |2007 |3874 |2007 |1695 |1068 | 461 |1348 | 0.000000e+00 | 1.140000e+02 |    Inf 
11.79/11.84	o 113
11.79/11.84	c *11.8s|  7210 |  2023 | 10109 |   1.4 |  18M|  75 |   - |2007 |3906 |2007 |1686 |1081 | 493 |1351 | 0.000000e+00 | 1.130000e+02 |    Inf 
11.89/11.92	o 104
11.89/11.92	c *11.9s|  7232 |  1828 | 10303 |   1.4 |  18M|  75 |   - |2007 |3923 |2007 |1682 |1089 | 510 |1368 | 0.000000e+00 | 1.040000e+02 |    Inf 
11.89/11.96	o 102
11.89/11.96	c *11.9s|  7241 |  1811 | 10425 |   1.4 |  18M|  75 |   - |2007 |3930 |2007 |1690 |1104 | 517 |1377 | 0.000000e+00 | 1.020000e+02 |    Inf 
12.19/12.24	o 84
12.19/12.24	c *12.2s|  7330 |  1633 | 11092 |   1.5 |  18M|  75 |   - |2007 |4005 |2007 |1698 |1164 | 598 |1422 | 0.000000e+00 | 8.400000e+01 |    Inf 
12.19/12.29	o 75
12.19/12.29	c *12.3s|  7345 |  1487 | 11229 |   1.5 |  18M|  75 |   - |2007 |3858 |2007 |1693 |1177 | 604 |1432 | 0.000000e+00 | 7.500000e+01 |    Inf 
12.29/12.32	o 36
12.29/12.32	c *12.3s|  7352 |   921 | 11330 |   1.5 |  16M|  75 |   - |2007 |3782 |2007 |1687 |1184 | 613 |1437 | 0.000000e+00 | 3.600000e+01 |    Inf 
12.50/12.51	o 35
12.50/12.51	c *12.5s|  7391 |   923 | 11936 |   1.6 |  16M|  75 |   - |2007 |3428 |2007 |1691 |1202 | 642 |1479 | 0.000000e+00 | 3.500000e+01 |    Inf 
12.50/12.55	o 30
12.50/12.55	c *12.5s|  7397 |   517 | 12118 |   1.6 |  15M|  75 |   - |2007 |3418 |2007 |1684 |1206 | 642 |1488 | 0.000000e+00 | 3.000000e+01 |    Inf 
17.99/18.05	c  18.0s| 10000 |   655 | 45189 |   4.5 |  17M|  75 |   8 |2007 |5325 |2007 |1680 |1588 |3737 |1820 | 0.000000e+00 | 3.000000e+01 |    Inf 
35.99/36.10	c  36.1s| 20000 |   792 |160471 |   8.0 |  20M|  75 |  14 |2007 |8191 |2007 |1680 |3141 |  16k|1956 | 0.000000e+00 | 3.000000e+01 |    Inf 
55.29/55.30	c  55.3s| 30000 |   963 |271084 |   9.0 |  23M|  75 |  13 |2007 |  11k|2007 |1680 |4659 |  29k|2526 | 0.000000e+00 | 3.000000e+01 |    Inf 
74.89/74.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.89/74.98	c  75.0s| 40000 |  1124 |379064 |   9.5 |  26M|  75 |   - |2007 |  11k|   0 |   0 |6331 |  42k|3028 | 0.000000e+00 | 3.000000e+01 |    Inf 
94.89/94.98	c  95.0s| 50000 |  1225 |491805 |   9.8 |  28M|  75 |   - |2007 |  13k|   0 |   0 |8136 |  55k|3390 | 0.000000e+00 | 3.000000e+01 |    Inf 
114.70/114.75	c   115s| 60000 |  1262 |598060 |  10.0 |  30M|  75 |   9 |2007 |  12k|2007 |1680 |9885 |  69k|3732 | 0.000000e+00 | 3.000000e+01 |    Inf 
134.90/134.95	c   135s| 70000 |  1256 |710010 |  10.1 |  29M|  75 |  23 |2007 |8965 |2007 |1688 |  11k|  82k|4058 | 0.000000e+00 | 3.000000e+01 |    Inf 
153.69/153.73	c   154s| 80000 |  1374 |817754 |  10.2 |  31M|  75 |   - |2007 |9085 |   0 |   0 |  13k|  95k|4336 | 0.000000e+00 | 3.000000e+01 |    Inf 
173.60/173.65	c   174s| 90000 |  1567 |931112 |  10.3 |  34M|  75 |  17 |2007 |  11k|2007 |1680 |  14k| 109k|4668 | 0.000000e+00 | 3.000000e+01 |    Inf 
192.80/192.80	c   193s|100000 |  1692 |  1038k|  10.4 |  36M|  75 |   - |2007 |  11k|   0 |   0 |  15k| 121k|4918 | 0.000000e+00 | 3.000000e+01 |    Inf 
211.21/211.21	c   211s|110000 |  1853 |  1139k|  10.4 |  39M|  75 |   - |2007 |  12k|   0 |   0 |  16k| 135k|5116 | 0.000000e+00 | 3.000000e+01 |    Inf 
231.00/231.09	c   231s|120000 |  2057 |  1256k|  10.5 |  40M|  75 |   - |2007 |  10k|   0 |   0 |  18k| 148k|5362 | 0.000000e+00 | 3.000000e+01 |    Inf 
251.10/251.16	c   251s|130000 |  2167 |  1375k|  10.6 |  42M|  75 |   - |2007 |  10k|   0 |   0 |  19k| 161k|5560 | 0.000000e+00 | 3.000000e+01 |    Inf 
270.80/270.87	c   271s|140000 |  2265 |  1491k|  10.6 |  44M|  75 |  24 |2007 |  10k|2007 |1680 |  20k| 175k|5766 | 0.000000e+00 | 3.000000e+01 |    Inf 
290.80/290.83	c   291s|150000 |  2460 |  1609k|  10.7 |  47M|  75 |   - |2007 |  11k|   0 |   0 |  21k| 188k|5949 | 0.000000e+00 | 3.000000e+01 |    Inf 
310.81/310.83	c   311s|160000 |  2611 |  1720k|  10.8 |  49M|  75 |  27 |2007 |  12k|2007 |1680 |  22k| 201k|6144 | 0.000000e+00 | 3.000000e+01 |    Inf 
331.10/331.10	c   331s|170000 |  2720 |  1836k|  10.8 |  52M|  75 |  20 |2007 |  14k|2007 |1680 |  24k| 214k|6296 | 0.000000e+00 | 3.000000e+01 |    Inf 
351.00/351.07	c   351s|180000 |  2840 |  1949k|  10.8 |  54M|  75 |  13 |2007 |  14k|2007 |1680 |  25k| 228k|6493 | 0.000000e+00 | 3.000000e+01 |    Inf 
370.90/370.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
370.90/370.91	c   371s|190000 |  2850 |  2057k|  10.8 |  55M|  75 |  11 |2007 |  13k|2007 |1688 |  26k| 242k|6681 | 0.000000e+00 | 3.000000e+01 |    Inf 
390.20/390.24	c   390s|200000 |  2873 |  2163k|  10.8 |  56M|  75 |   - |2007 |  12k|   0 |   0 |  28k| 255k|6886 | 0.000000e+00 | 3.000000e+01 |    Inf 
409.61/409.68	c   410s|210000 |  2926 |  2265k|  10.8 |  58M|  75 |  11 |2007 |  13k|2007 |1680 |  30k| 269k|7059 | 0.000000e+00 | 3.000000e+01 |    Inf 
417.80/417.84	o 13
417.80/417.84	c * 418s|214135 |  1478 |  2312k|  10.8 |  33M|  75 |   - |2007 |  15k|2007 |1680 |  31k| 274k|7071 | 0.000000e+00 | 1.300000e+01 |    Inf 
429.40/429.49	c   429s|220000 |  1456 |  2388k|  10.9 |  31M|  75 |   - |2007 |8811 |   0 |   0 |  32k| 282k|7216 | 0.000000e+00 | 1.300000e+01 |    Inf 
448.01/448.06	c   448s|230000 |  1456 |  2504k|  10.9 |  32M|  75 |   8 |2007 |  12k|2007 |1688 |  33k| 295k|7384 | 0.000000e+00 | 1.300000e+01 |    Inf 
468.30/468.34	c   468s|240000 |  1543 |  2635k|  11.0 |  34M|  75 |  14 |2007 |  13k|2007 |1680 |  35k| 309k|7555 | 0.000000e+00 | 1.300000e+01 |    Inf 
489.21/489.28	c   489s|250000 |  1635 |  2775k|  11.1 |  35M|  75 |   - |2007 |  15k|   0 |   0 |  37k| 322k|7768 | 0.000000e+00 | 1.300000e+01 |    Inf 
508.71/508.76	c   509s|260000 |  1658 |  2895k|  11.1 |  37M|  75 |  11 |2007 |  18k|2007 |1680 |  39k| 335k|7901 | 0.000000e+00 | 1.300000e+01 |    Inf 
529.81/529.86	c   530s|270000 |  1675 |  3025k|  11.2 |  36M|  75 |   - |2007 |  15k|   0 |   0 |  41k| 349k|8036 | 0.000000e+00 | 1.300000e+01 |    Inf 
549.41/549.48	c   549s|280000 |  1710 |  3145k|  11.2 |  38M|  75 |   - |2007 |  19k|2007 |1688 |  42k| 362k|8201 | 0.000000e+00 | 1.300000e+01 |    Inf 
570.31/570.39	c   570s|290000 |  1724 |  3269k|  11.3 |  40M|  75 |   - |2007 |  23k|   0 |   0 |  44k| 376k|8355 | 0.000000e+00 | 1.300000e+01 |    Inf 
592.11/592.14	c   592s|300000 |  1771 |  3393k|  11.3 |  39M|  75 |   1 |2007 |  19k|2007 |1680 |  46k| 389k|8501 | 0.000000e+00 | 1.300000e+01 |    Inf 
613.91/613.90	c   614s|310000 |  1838 |  3529k|  11.4 |  41M|  75 |  21 |2007 |  20k|2007 |1680 |  47k| 403k|8622 | 0.000000e+00 | 1.300000e+01 |    Inf 
635.31/635.36	c   635s|320000 |  1828 |  3668k|  11.5 |  40M|  75 |  28 |2007 |  17k|2007 |1680 |  49k| 416k|8759 | 0.000000e+00 | 1.300000e+01 |    Inf 
655.41/655.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
655.41/655.43	c   655s|330000 |  1791 |  3786k|  11.5 |  40M|  75 |   - |2007 |  18k|2007 |1680 |  51k| 430k|8888 | 0.000000e+00 | 1.300000e+01 |    Inf 
675.11/675.19	c   675s|340000 |  1771 |  3903k|  11.5 |  40M|  75 |  25 |2007 |  17k|2007 |1680 |  53k| 443k|8990 | 0.000000e+00 | 1.300000e+01 |    Inf 
695.61/695.66	c   696s|350000 |  1785 |  4023k|  11.5 |  41M|  75 |   - |2007 |  19k|   0 |   0 |  55k| 457k|9120 | 0.000000e+00 | 1.300000e+01 |    Inf 
716.62/716.65	c   717s|360000 |  1803 |  4141k|  11.5 |  42M|  75 |  24 |2007 |  21k|2007 |1680 |  57k| 471k|9245 | 0.000000e+00 | 1.300000e+01 |    Inf 
736.71/736.70	c   737s|370000 |  1856 |  4249k|  11.5 |  42M|  75 |   1 |2007 |  20k|2007 |1680 |  60k| 485k|9359 | 0.000000e+00 | 1.300000e+01 |    Inf 
756.82/756.82	c   757s|380000 |  1886 |  4357k|  11.5 |  44M|  75 |   - |2007 |  22k|   0 |   0 |  62k| 499k|9491 | 0.000000e+00 | 1.300000e+01 |    Inf 
777.72/777.71	c   778s|390000 |  1917 |  4478k|  11.5 |  44M|  75 |  22 |2007 |  21k|2007 |1688 |  64k| 512k|9616 | 0.000000e+00 | 1.300000e+01 |    Inf 
798.62/798.64	c   799s|400000 |  1955 |  4597k|  11.5 |  44M|  75 |  12 |2007 |  20k|2007 |1680 |  66k| 526k|9724 | 0.000000e+00 | 1.300000e+01 |    Inf 
820.92/820.96	c   821s|410000 |  1987 |  4730k|  11.5 |  46M|  75 |  11 |2007 |  22k|2007 |1680 |  67k| 539k|9840 | 0.000000e+00 | 1.300000e+01 |    Inf 
841.42/841.49	c   841s|420000 |  1979 |  4849k|  11.5 |  45M|  75 |   - |2007 |  19k|2007 |1680 |  69k| 553k|9970 | 0.000000e+00 | 1.300000e+01 |    Inf 
861.82/861.89	c   862s|430000 |  1968 |  4968k|  11.6 |  46M|  75 |   1 |2007 |  21k|2007 |1680 |  71k| 567k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
883.52/883.51	c   883s|440000 |  2025 |  5086k|  11.6 |  46M|  75 |   - |2007 |  21k|   0 |   0 |  74k| 580k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
904.22/904.28	c   904s|450000 |  2135 |  5200k|  11.6 |  49M|  75 |   - |2007 |  25k|   0 |   0 |  77k| 595k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
926.52/926.59	c   927s|460000 |  2115 |  5318k|  11.6 |  49M|  75 |  18 |2007 |  26k|2007 |1680 |  79k| 610k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
948.62/948.62	c   949s|470000 |  2084 |  5435k|  11.6 |  50M|  75 |  24 |2007 |  26k|2007 |1680 |  82k| 624k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
971.33/971.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
971.33/971.37	c   971s|480000 |  2169 |  5559k|  11.6 |  51M|  75 |   - |2007 |  28k|   0 |   0 |  84k| 638k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
995.12/995.13	c   995s|490000 |  2159 |  5692k|  11.6 |  52M|  75 |   - |2007 |  28k|2007 |1680 |  86k| 651k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1017.42/1017.49	c  1017s|500000 |  2199 |  5807k|  11.6 |  53M|  75 |   - |2007 |  29k|2007 |1680 |  88k| 665k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1040.92/1040.90	c  1041s|510000 |  2247 |  5940k|  11.6 |  52M|  75 |   - |2007 |  25k|2007 |1680 |  89k| 679k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1064.32/1064.34	c  1064s|520000 |  2246 |  6076k|  11.7 |  53M|  75 |  18 |2007 |  28k|2007 |1686 |  91k| 693k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1088.62/1088.66	c  1089s|530000 |  2273 |  6209k|  11.7 |  55M|  75 |  16 |2007 |  31k|2007 |1680 |  92k| 707k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1112.93/1112.93	c  1113s|540000 |  2383 |  6339k|  11.7 |  56M|  75 |  21 |2007 |  33k|2007 |1680 |  93k| 721k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1138.53/1138.53	c  1139s|550000 |  2404 |  6477k|  11.8 |  57M|  75 |   - |2007 |  34k|2007 |1680 |  95k| 736k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1163.93/1163.96	c  1164s|560000 |  2410 |  6614k|  11.8 |  58M|  75 |  15 |2007 |  34k|2007 |1680 |  96k| 750k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1187.53/1187.50	c  1187s|570000 |  2477 |  6733k|  11.8 |  58M|  75 |   9 |2007 |  31k|2007 |1688 |  98k| 764k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1210.93/1210.95	c  1211s|580000 |  2496 |  6857k|  11.8 |  58M|  75 |   - |2007 |  32k|   0 |   0 | 100k| 777k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1235.83/1235.89	c  1236s|590000 |  2566 |  6990k|  11.8 |  59M|  75 |  13 |2007 |  31k|2007 |1688 | 101k| 791k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1259.44/1259.45	c  1259s|600000 |  2572 |  7117k|  11.9 |  61M|  75 |  21 |2007 |  35k|2007 |1688 | 102k| 805k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1285.13/1285.19	c  1285s|610000 |  2602 |  7251k|  11.9 |  62M|  75 |  16 |2007 |  37k|2007 |1688 | 104k| 819k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1311.63/1311.63	c  1312s|620000 |  2649 |  7382k|  11.9 |  64M|  75 |   - |2007 |  40k|   0 |   0 | 105k| 833k|  11k| 0.000000e+00 | 1.300000e+01 |    Inf 
1338.53/1338.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1338.53/1338.50	c  1338s|630000 |  2638 |  7526k|  11.9 |  63M|  75 |   - |2007 |  38k|2007 |1688 | 107k| 847k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1364.73/1364.72	c  1365s|640000 |  2605 |  7661k|  12.0 |  62M|  75 |  21 |2007 |  35k|2007 |1680 | 108k| 861k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1388.33/1388.35	c  1388s|650000 |  2664 |  7780k|  12.0 |  62M|  75 |   7 |2007 |  32k|2007 |1680 | 110k| 874k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1412.74/1412.76	c  1413s|660000 |  2700 |  7900k|  12.0 |  63M|  75 |  26 |2007 |  35k|2007 |1680 | 112k| 887k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1438.34/1438.34	c  1438s|670000 |  2768 |  8027k|  12.0 |  65M|  75 |  24 |2007 |  38k|2007 |1680 | 114k| 901k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1464.43/1464.40	c  1464s|680000 |  2826 |  8152k|  12.0 |  66M|  75 |  23 |2007 |  40k|2007 |1680 | 116k| 914k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1491.34/1491.31	c  1491s|690000 |  2847 |  8279k|  12.0 |  68M|  75 |   - |2007 |  44k|   0 |   0 | 118k| 928k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1518.53/1518.50	c  1518s|700000 |  2915 |  8400k|  12.0 |  69M|  75 |   6 |2007 |  44k|2007 |1689 | 120k| 942k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1546.34/1546.36	c  1546s|710000 |  2951 |  8527k|  12.0 |  70M|  75 |  16 |2007 |  46k|2007 |1685 | 121k| 956k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1574.94/1574.92	c  1575s|720000 |  2805 |  8659k|  12.0 |  64M|  75 |   - |2007 |  30k|   0 |   0 | 123k| 969k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1597.25/1597.22	c  1597s|730000 |  2737 |  8769k|  12.0 |  60M|  75 |   - |2007 |  22k|2007 |1680 | 125k| 983k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1617.84/1617.84	c  1618s|740000 |  2816 |  8881k|  12.0 |  62M|  75 |   - |2007 |  26k|2007 |1680 | 127k| 996k|  12k| 0.000000e+00 | 1.300000e+01 |    Inf 
1639.84/1639.85	c  1640s|750000 |  2906 |  8999k|  12.0 |  64M|  75 |  25 |2007 |  28k|2007 |1680 | 129k|1009k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1662.24/1662.26	c  1662s|760000 |  2900 |  9112k|  12.0 |  65M|  75 |  10 |2007 |  30k|2007 |1680 | 131k|1022k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1684.94/1684.99	c  1685s|770000 |  3033 |  9227k|  12.0 |  66M|  75 |   - |2007 |  30k|   0 |   0 | 133k|1036k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1707.44/1707.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1707.44/1707.40	c  1707s|780000 |  3134 |  9339k|  12.0 |  68M|  75 |   - |2007 |  31k|2007 |1680 | 135k|1049k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1730.15/1730.15	c  1730s|790000 |  3181 |  9456k|  12.0 |  68M|  75 |   - |2007 |  31k|   0 |   0 | 137k|1063k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1752.54/1752.55	c  1753s|800000 |  3248 |  9571k|  12.0 |  70M|  75 |   - |2007 |  33k|   0 |   0 | 138k|1076k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1776.75/1776.75	c  1777s|810000 |  3324 |  9698k|  12.0 |  71M|  75 |   - |2007 |  32k|   0 |   0 | 140k|1090k|  13k| 0.000000e+00 | 1.300000e+01 |    Inf 
1790.04/1790.00	c 
1790.04/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.00	c Solving Time (sec) : 1789.98
1790.04/1790.00	c Solving Nodes      : 815747
1790.04/1790.00	c Primal Bound       : +1.30000000000000e+01 (116 solutions)
1790.04/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.00	c Gap                : infinite
1790.04/1790.01	s SATISFIABLE
1790.04/1790.01	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.04/1790.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.04/1790.01	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1790.04/1790.01	v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.01	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1790.04/1790.01	v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.04/1790.01	v -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1790.04/1790.01	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1790.04/1790.01	v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1790.04/1790.01	v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1790.04/1790.01	v -x1 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.98
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705647-1278572967.wbo
1790.04/1790.01	c   Variables        : 2105 (1168 binary, 0 integer, 937 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3645 initial, 3645 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705647-1278572967.wbo
1790.04/1790.01	c   Variables        : 2007 (1119 binary, 0 integer, 888 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3424 initial, 47803 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00         49          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.00         49          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.01	c   setppc           :       0.00          0          0          0          0          0         59          0          0
1790.04/1790.01	c   linear           :       0.05          0          0          0        937          0        113         49          0
1790.04/1790.01	c   indicator        :       0.00          0          0          0          0          0         49          0          0
1790.04/1790.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -       1566          -          -       1566          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0     464595          0        336       5003          0          0     863864
1790.04/1790.01	c   setppc           :         62          9    3763150      27016          1      72060    2785471          0          0          0
1790.04/1790.01	c   linear           :        888          9    3692738      27998          1      99626   15396569     141765          0          0
1790.04/1790.01	c   indicator        :        888          0    3588580      28128          1        585    2357676          0          0          0
1790.04/1790.01	c   logicor          :       1586+         9    1898101       6890          1     113660    6727553          0          0          0
1790.04/1790.01	c   bounddisjunction :          0+         0     508918          0          0        140       2384          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0       6890          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      35.60       0.00       0.00      35.60       0.00
1790.04/1790.01	c   setppc           :      16.26       0.00      16.24       0.02       0.00
1790.04/1790.01	c   linear           :      76.34       0.00      75.58       0.75       0.00
1790.04/1790.01	c   indicator        :      19.98       0.02      19.15       0.81       0.00
1790.04/1790.01	c   logicor          :     242.10       0.00     242.02       0.08       0.00
1790.04/1790.01	c   bounddisjunction :       2.39       0.00       2.39       0.00       0.00
1790.04/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.71      73870          2       1628
1790.04/1790.01	c   rootredcost      :       0.57         17          0        783
1790.04/1790.01	c   pseudoobj        :      57.62    3769580       4758    2593677
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :      11.58     290244     289748    1652517       25.6      10578       23.0          -
1790.04/1790.01	c   infeasible LP    :      23.31     135018     135018    1042197       41.8       1022       18.4          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -    1098462       26.7          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          8          -          -        179          -    (maximal pool size: 582)
1790.04/1790.01	c   redcost          :      17.96     466151          0      18460          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          9          0          0          0          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.17          9          0          0       1741          0
1790.04/1790.01	c   strongcg         :       0.16          9          0          0       2282          0
1790.04/1790.01	c   cmir             :       0.02          9          0          0          9          0
1790.04/1790.01	c   flowcover        :       0.07          9          0          0         10          0
1790.04/1790.01	c   clique           :       0.00          9          0          0          0          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.05          1          0          0          0          0
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :      35.24     436430        336       5003          0          0     863864
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :       0.87       6875          0          0          0          0      13797
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       0.02          -         16
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   oneopt           :       0.26         17          0
1790.04/1790.01	c   feaspump         :       0.03          1          0
1790.04/1790.01	c   crossover        :       0.45          9          0
1790.04/1790.01	c   veclendiving     :       0.36        275          0
1790.04/1790.01	c   linesearchdiving :       0.35        275          0
1790.04/1790.01	c   guideddiving     :       0.41        275          0
1790.04/1790.01	c   coefdiving       :       0.44        276          0
1790.04/1790.01	c   pscostdiving     :       0.38        276          0
1790.04/1790.01	c   fracdiving       :       0.40        276          0
1790.04/1790.01	c   objpscostdiving  :       0.30        200          0
1790.04/1790.01	c   rootsoldiving    :       0.51        200          0
1790.04/1790.01	c   trivial          :       0.00          2          0
1790.04/1790.01	c   simplerounding   :       0.60     436541          0
1790.04/1790.01	c   zirounding       :       0.21       1000          0
1790.04/1790.01	c   rounding         :       0.82       9276          0
1790.04/1790.01	c   shifting         :       0.83       2874          0
1790.04/1790.01	c   intshifting      :       0.02          0          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.03          1          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.14          0          0
1790.04/1790.01	c   trysol           :       0.24        208        100
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     903.35     590755    9758075      16.52   10802.09
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       1.43        980       8532       8.71    5948.61
1790.04/1790.01	c   strong branching :      31.19      13527     331643      24.52   10633.20
1790.04/1790.01	c     (at root node) :          -         16       2136     133.50          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :     815747
1790.04/1790.01	c   nodes (total)    :     815747
1790.04/1790.01	c   nodes left       :       3355
1790.04/1790.01	c   max depth        :         75
1790.04/1790.01	c   max depth (total):         75
1790.04/1790.01	c   backtracks       :     113392 (13.9%)
1790.04/1790.01	c   delayed cutoffs  :      50603
1790.04/1790.01	c   repropagations   :    1330813 (5617028 domain reductions, 47909 cutoffs)
1790.04/1790.01	c   avg switch length:       4.96
1790.04/1790.01	c   switching time   :     211.40
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :        116 (17 improvements)
1790.04/1790.01	c   First Solution   : +4.45360000000000e+04   (in run 1, after 15 nodes, 1.33 seconds, depth 15, found by <trysol>)
1790.04/1790.01	c   Primal Bound     : +1.30000000000000e+01   (in run 1, after 214135 nodes, 417.81 seconds, depth 31, found by <relaxation>)
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :        347
1790.14/1790.10	c Time complete: 1790.15.

Verifier Data 

OK	13

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705647-1278572967/watcher-2705647-1278572967 -o /tmp/evaluation-result-2705647-1278572967/solver-2705647-1278572967 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705647-1278572967.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: 0.59 0.14 0.04 3/178 21064
/proc/meminfo: memFree=28184304/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=12340 CPUtime=0
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 1945 0 0 0 0 0 0 0 21 0 1 0 25511490 12636160 1864 4089446400 4194304 10345943 140733722246656 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21064/statm: 3085 1864 429 1502 0 1578 0

[startup+0.0717689 s]
/proc/loadavg: 0.59 0.14 0.04 3/178 21064
/proc/meminfo: memFree=28184304/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=26468 CPUtime=0.06
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 5644 0 0 0 6 0 0 0 21 0 1 0 25511490 27103232 5209 4089446400 4194304 10345943 140733722246656 18446744073709551615 5018811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 6617 5209 534 1502 0 5110 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26468

[startup+0.10076 s]
/proc/loadavg: 0.59 0.14 0.04 3/178 21064
/proc/meminfo: memFree=28184304/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=27492 CPUtime=0.09
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 5951 0 0 0 9 0 0 0 21 0 1 0 25511490 28151808 5516 4089446400 4194304 10345943 140733722246656 18446744073709551615 5006031 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 6873 5516 562 1502 0 5366 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27492

[startup+0.300727 s]
/proc/loadavg: 0.59 0.14 0.04 3/178 21064
/proc/meminfo: memFree=28184304/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=36484 CPUtime=0.29
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 11951 0 0 0 28 1 0 0 21 0 1 0 25511490 37359616 7684 4089446400 4194304 10345943 140733722246656 18446744073709551615 6124426 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 9121 7684 749 1502 0 7614 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36484

[startup+0.700654 s]
/proc/loadavg: 0.59 0.14 0.04 3/178 21064
/proc/meminfo: memFree=28184304/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=45120 CPUtime=0.69
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 16820 0 0 0 67 2 0 0 22 0 1 0 25511490 46202880 9421 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 11280 9421 777 1502 0 9773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45120

[startup+1.50051 s]
/proc/loadavg: 0.59 0.14 0.04 3/179 21065
/proc/meminfo: memFree=28150720/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=45572 CPUtime=1.49
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 17022 0 0 0 145 4 0 0 25 0 1 0 25511490 46665728 9623 4089446400 4194304 10345943 140733722246656 18446744073709551615 7510063 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 11393 9623 780 1502 0 9886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45572

[startup+3.10022 s]
/proc/loadavg: 0.59 0.14 0.04 4/179 21065
/proc/meminfo: memFree=28149604/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=45544 CPUtime=3.09
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 22811 0 0 0 303 6 0 0 25 0 1 0 25511490 46637056 9572 4089446400 4194304 10345943 140733722246656 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 11386 9572 786 1502 0 9879 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45544

[startup+6.30063 s]
/proc/loadavg: 0.70 0.17 0.06 3/179 21065
/proc/meminfo: memFree=28145256/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=55824 CPUtime=6.29
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 33332 0 0 0 620 9 0 0 25 0 1 0 25511490 57163776 11588 4089446400 4194304 10345943 140733722246656 18446744073709551615 6870843 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 13956 11588 786 1502 0 12449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55824

[startup+12.7005 s]
/proc/loadavg: 0.81 0.20 0.07 3/179 21065
/proc/meminfo: memFree=28121716/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=60092 CPUtime=12.69
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 53172 0 0 0 1255 14 0 0 25 0 1 0 25511490 61534208 13364 4089446400 4194304 10345943 140733722246656 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 15023 13364 787 1502 0 13516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60092

[startup+25.5011 s]
/proc/loadavg: 1.07 0.29 0.10 3/179 21066
/proc/meminfo: memFree=28103788/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=64564 CPUtime=25.49
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 75780 0 0 0 2525 24 0 0 25 0 1 0 25511490 66113536 14487 4089446400 4194304 10345943 140733722246656 18446744073709551615 6785237 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 16141 14487 799 1502 0 14634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64564

[startup+51.1004 s]
/proc/loadavg: 1.39 0.43 0.14 3/179 21066
/proc/meminfo: memFree=28090740/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=74692 CPUtime=51.09
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 96198 0 0 0 5064 45 0 0 25 0 1 0 25511490 76484608 16644 4089446400 4194304 10345943 140733722246656 18446744073709551615 7509637 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 18673 16644 799 1502 0 17166 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74692

[startup+102.306 s]
/proc/loadavg: 1.73 0.67 0.24 3/179 21068
/proc/meminfo: memFree=28074792/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=84504 CPUtime=102.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 139351 0 0 0 10145 85 0 0 25 0 1 0 25511490 86532096 19199 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 21126 19199 799 1502 0 19619 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 84504

[startup+162.301 s]
/proc/loadavg: 1.90 0.91 0.35 3/179 21069
/proc/meminfo: memFree=28061212/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=91772 CPUtime=162.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 168496 0 0 0 16103 127 0 0 25 0 1 0 25511490 93974528 21183 4089446400 4194304 10345943 140733722246656 18446744073709551615 7522128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 22943 21183 799 1502 0 21436 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 91772

[startup+222.3 s]
/proc/loadavg: 1.96 1.10 0.45 3/179 21071
/proc/meminfo: memFree=28050740/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=98432 CPUtime=222.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 192763 0 0 0 22064 166 0 0 25 0 1 0 25511490 100794368 22833 4089446400 4194304 10345943 140733722246656 18446744073709551615 6802981 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 24608 22833 799 1502 0 23101 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 98432

[startup+282.3 s]
/proc/loadavg: 1.98 1.26 0.54 3/179 21072
/proc/meminfo: memFree=28041504/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=106912 CPUtime=282.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 215202 0 0 0 28024 206 0 0 25 0 1 0 25511490 109477888 24483 4089446400 4194304 10345943 140733722246656 18446744073709551615 5031905 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 26728 24483 799 1502 0 25221 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 106912

[startup+342.3 s]
/proc/loadavg: 1.99 1.40 0.63 3/179 21074
/proc/meminfo: memFree=28032008/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=112704 CPUtime=342.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 230273 0 0 0 33984 246 0 0 25 0 1 0 25511490 115408896 26336 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 28176 26336 799 1502 0 26669 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112704

[startup+402.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/179 21076
/proc/meminfo: memFree=28024748/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=119512 CPUtime=402.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 248513 0 0 0 39942 288 0 0 25 0 1 0 25511490 122380288 28057 4089446400 4194304 10345943 140733722246656 18446744073709551615 7547100 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 29878 28057 799 1502 0 28371 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 119512

[startup+462.3 s]
/proc/loadavg: 2.04 1.61 0.80 3/179 21077
/proc/meminfo: memFree=28018588/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=123412 CPUtime=462.31
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 269933 0 0 0 45900 331 0 0 25 0 1 0 25511490 126373888 28683 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 30853 28683 800 1502 0 29346 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 123412

[startup+522.3 s]
/proc/loadavg: 2.01 1.67 0.87 3/179 21079
/proc/meminfo: memFree=28011824/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=124696 CPUtime=522.3
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 284589 0 0 0 51857 373 0 0 25 0 1 0 25511490 127688704 29085 4089446400 4194304 10345943 140733722246656 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 31174 29085 800 1502 0 29667 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 124696

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.94 3/179 21083
/proc/meminfo: memFree=28008776/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=125848 CPUtime=582.31
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 289900 0 0 0 57817 414 0 0 25 0 1 0 25511490 128868352 29290 4089446400 4194304 10345943 140733722246656 18446744073709551615 4218167 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 31462 29290 800 1502 0 29955 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 125848

[startup+642.3 s]
/proc/loadavg: 2.00 1.78 1.00 3/179 21085
/proc/meminfo: memFree=28006720/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=128144 CPUtime=642.32
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 307840 0 0 0 63771 461 0 0 25 0 1 0 25511490 131219456 29724 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 32036 29724 800 1502 0 30529 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 128144

[startup+702.3 s]

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

/proc/meminfo: memFree=27989692/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=142576 CPUtime=1002.32
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 363921 0 0 0 99552 680 0 0 25 0 1 0 25511490 145997824 33324 4089446400 4194304 10345943 140733722246656 18446744073709551615 6307504 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 35644 33324 800 1502 0 34137 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 142576

[startup+1062.3 s]
/proc/loadavg: 2.02 1.95 1.35 3/179 21096
/proc/meminfo: memFree=27987132/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=144316 CPUtime=1062.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 369836 0 0 0 105517 716 0 0 25 0 1 0 25511490 147779584 33828 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 36079 33828 800 1502 0 34572 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 144316

[startup+1122.3 s]
/proc/loadavg: 2.08 1.97 1.39 3/179 21098
/proc/meminfo: memFree=27985072/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=144812 CPUtime=1122.32
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 376374 0 0 0 111481 751 0 0 25 0 1 0 25511490 148287488 34134 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 36203 34134 800 1502 0 34696 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 144812

[startup+1182.3 s]
/proc/loadavg: 2.03 1.97 1.43 3/179 21099
/proc/meminfo: memFree=27980172/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=150644 CPUtime=1182.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 380918 0 0 0 117449 784 0 0 25 0 1 0 25511490 154259456 35123 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 37661 35123 800 1502 0 36154 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 150644

[startup+1242.3 s]
/proc/loadavg: 2.01 1.97 1.46 3/179 21101
/proc/meminfo: memFree=27978100/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=151220 CPUtime=1242.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 382676 0 0 0 123416 817 0 0 25 0 1 0 25511490 154849280 35470 4089446400 4194304 10345943 140733722246656 18446744073709551615 6872374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 37805 35470 800 1502 0 36298 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 151220

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/179 21103
/proc/meminfo: memFree=27975800/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=154100 CPUtime=1302.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 389325 0 0 0 129385 848 0 0 25 0 1 0 25511490 157798400 36031 4089446400 4194304 10345943 140733722246656 18446744073709551615 4217115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 38525 36031 800 1502 0 37018 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 154100

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/179 21104
/proc/meminfo: memFree=27973104/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=155448 CPUtime=1362.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 398316 0 0 0 135350 883 0 0 25 0 1 0 25511490 159178752 36468 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 38862 36468 800 1502 0 37355 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 155448

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 21106
/proc/meminfo: memFree=27971168/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=159196 CPUtime=1422.34
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 406833 0 0 0 141318 916 0 0 25 0 1 0 25511490 163016704 37037 4089446400 4194304 10345943 140733722246656 18446744073709551615 7522760 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 39799 37037 800 1502 0 38292 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 159196

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 21107
/proc/meminfo: memFree=27967120/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=160468 CPUtime=1482.33
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 412003 0 0 0 147289 944 0 0 25 0 1 0 25511490 164319232 37689 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 40117 37689 800 1502 0 38610 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 160468

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/179 21109
/proc/meminfo: memFree=27965160/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=163660 CPUtime=1542.34
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 418849 0 0 0 153258 976 0 0 25 0 1 0 25511490 167587840 38285 4089446400 4194304 10345943 140733722246656 18446744073709551615 6070772 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 40915 38285 800 1502 0 39408 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 163660

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 21111
/proc/meminfo: memFree=27961364/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=165972 CPUtime=1602.34
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 422756 0 0 0 159226 1008 0 0 25 0 1 0 25511490 169955328 38772 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 41493 38772 800 1502 0 39986 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 165972

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/179 21112
/proc/meminfo: memFree=27960764/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=166216 CPUtime=1662.34
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 425567 0 0 0 165197 1037 0 0 25 0 1 0 25511490 170205184 38789 4089446400 4194304 10345943 140733722246656 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 41554 38789 800 1502 0 40047 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 166216

[startup+1722.3 s]
/proc/loadavg: 2.04 1.99 1.67 3/179 21114
/proc/meminfo: memFree=27958700/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=169368 CPUtime=1722.35
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 429204 0 0 0 171167 1068 0 0 25 0 1 0 25511490 173432832 39335 4089446400 4194304 10345943 140733722246656 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42342 39335 800 1502 0 40835 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 169368

[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.68 3/179 21115
/proc/meminfo: memFree=27955536/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=169468 CPUtime=1782.35
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 432462 0 0 0 177134 1101 0 0 25 0 1 0 25511490 173535232 39590 4089446400 4194304 10345943 140733722246656 18446744073709551615 6119822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42367 39590 800 1502 0 40860 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 169468

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

[startup+1785.5 s]
/proc/loadavg: 1.93 1.97 1.68 2/174 21133
/proc/meminfo: memFree=28105164/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=168524 CPUtime=1785.55
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 432819 0 0 0 177453 1102 0 0 25 0 1 0 25511490 172568576 39589 4089446400 4194304 10345943 140733722246656 18446744073709551615 6702914 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42131 39589 800 1502 0 40624 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 168524

[startup+1788.7 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 21143
/proc/meminfo: memFree=27925072/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=169324 CPUtime=1788.75
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 433222 0 0 0 177770 1105 0 0 25 0 1 0 25511490 173387776 39618 4089446400 4194304 10345943 140733722246656 18446744073709551615 5089505 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42331 39618 800 1502 0 40824 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 169324

[startup+1789.5 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 21143
/proc/meminfo: memFree=27925072/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=170888 CPUtime=1789.55
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 433304 0 0 0 177849 1106 0 0 25 0 1 0 25511490 174989312 39631 4089446400 4194304 10345943 140733722246656 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42722 39631 800 1502 0 41215 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 170888

[startup+1789.9 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 21143
/proc/meminfo: memFree=27925196/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=169328 CPUtime=1789.94
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 433340 0 0 0 177888 1106 0 0 25 0 1 0 25511490 173391872 39612 4089446400 4194304 10345943 140733722246656 18446744073709551615 6119731 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21064/statm: 42332 39612 800 1502 0 40825 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 169328

[startup+1790.1 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 21143
/proc/meminfo: memFree=27925196/32951124 swapFree=67111528/67111528
[pid=21064] ppid=21062 vsize=162404 CPUtime=1790.14
/proc/21064/stat : 21064 (pbscip.linux.x8) R 21062 21064 20874 0 -1 4202496 433371 0 0 0 177908 1106 0 0 18 0 1 0 25511490 166301696 38505 4089446400 4194304 10345943 140733722246656 18446744073709551615 4288187 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21064/statm: 40601 38505 801 1502 0 39094 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 162404

Child status: 0
Real time (s): 1790.11
CPU time (s): 1790.16
CPU user time (s): 1779.09
CPU system time (s): 11.0763
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 170888

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

runsolver used 2.89156 second user time and 5.88211 second system time

The end

Launcher Data 

Begin job on node110 at 2010-07-08 09:09:27
IDJOB=2705647
IDBENCH=78966
IDSOLVER=1214
FILE ID=node110/2705647-1278572967
PBS_JOBID= 11240233
Free space on /tmp= 73492 MiB

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

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

MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014
RANDOM SEED=1525547274

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28184708 kB
Buffers:        149748 kB
Cached:        4329196 kB
SwapCached:          0 kB
Active:        2157780 kB
Inactive:      2447976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28184708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25820 kB
Writeback:           0 kB
AnonPages:      126584 kB
Mapped:          17684 kB
Slab:            95136 kB
PageTables:       4652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272624 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= 73480 MiB
End job on node110 at 2010-07-08 09:39:17