Trace number 2692955

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.23 1800.17

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo
MD5SUM97e6423088cc7ef1f08dcccdf9e01ef4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark86.7398
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
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-2692955-1277912636.wbo>
0.02/0.03	c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.05	c presolving:
0.02/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.02/0.09	c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.02/0.09	c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11	c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12	c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16	c    (0.1s) probing: 101/2031 (5.0%) - 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 (6 rounds):
0.09/0.16	c  114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16	c  1983 implications, 5 cliques
0.09/0.16	c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16	c    1800 constraints of type <indicator>
0.09/0.16	c       5 constraints of type <setppc>
0.09/0.16	c    1800 constraints of type <linear>
0.09/0.16	c     829 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.12
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 |    12 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 90731
0.09/0.19	c y 0.2s|     1 |     0 |    12 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    59 |     - |  14M|   0 |  32 |3831 |4434 |3831 | 856 |  22 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   120 |     - |  14M|   0 |  33 |3831 |4434 |3831 | 878 |  44 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   170 |     - |  14M|   0 |  44 |3831 |4434 |3831 | 888 |  54 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   268 |     - |  14M|   0 |  38 |3831 |4434 |3831 | 906 |  72 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   292 |     - |  14M|   0 |  37 |3831 |4434 |3831 | 914 |  80 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.39/0.48	c   0.5s|     1 |     0 |   294 |     - |  14M|   0 |  37 |3831 |4434 |3831 | 916 |  82 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.89/0.97	c   0.9s|     1 |     2 |   294 |     - |  15M|   0 |  37 |3831 |4434 |3831 | 916 |  82 |   0 |  33 | 0.000000e+00 | 9.073100e+04 |    Inf 
11.69/11.73	o 1251
11.69/11.73	c *11.5s|  2928 |  2915 | 16616 |   5.6 |  26M|  65 |   - |3831 |4449 |3831 | 953 |3234 |  15 |1476 | 0.000000e+00 | 1.251000e+03 |    Inf 
23.99/24.04	c  23.6s| 10000 |  9971 | 32992 |   3.3 |  40M| 871 |   0 |3831 |4448 |3831 | 944 |6326 |  32 |1672 | 0.000000e+00 | 1.251000e+03 |    Inf 
36.39/36.48	c  35.8s| 20000 | 19959 | 35512 |   1.8 |  57M| 871 |   0 |3831 |4487 |3831 | 941 |6838 |  72 |1677 | 0.000000e+00 | 1.251000e+03 |    Inf 
48.30/48.39	c  47.6s| 30000 | 29957 | 36240 |   1.2 |  74M| 871 |   0 |3831 |4495 |3831 | 942 |7014 |  80 |1683 | 0.000000e+00 | 1.251000e+03 |    Inf 
60.79/60.83	c  59.9s| 40000 | 39955 | 38175 |   0.9 |  90M| 871 |   0 |3831 |4490 |3831 | 978 |7502 |  88 |1689 | 0.000000e+00 | 1.251000e+03 |    Inf 
73.50/73.59	c  72.5s| 50000 | 49953 | 40517 |   0.8 | 107M| 871 |   0 |3831 |4481 |3831 | 958 |8069 |  89 |1696 | 0.000000e+00 | 1.251000e+03 |    Inf 
85.89/85.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
85.89/85.93	c  84.7s| 60000 | 59953 | 42005 |   0.7 | 124M| 871 |   0 |3831 |4479 |3831 | 961 |8368 |  89 |1696 | 0.000000e+00 | 1.251000e+03 |    Inf 
98.49/98.51	c  97.1s| 70000 | 69953 | 43593 |   0.6 | 141M| 871 |   0 |3831 |4473 |3831 | 962 |8738 |  89 |1696 | 0.000000e+00 | 1.251000e+03 |    Inf 
111.29/111.40	c   110s| 80000 | 79951 | 46405 |   0.6 | 158M| 871 |   0 |3831 |4475 |3831 | 947 |9326 |  93 |1699 | 0.000000e+00 | 1.251000e+03 |    Inf 
124.20/124.21	c   123s| 90000 | 89951 | 48909 |   0.5 | 174M| 871 |   0 |3831 |4471 |3831 | 988 |9899 |  93 |1705 | 0.000000e+00 | 1.251000e+03 |    Inf 
136.69/136.79	c   135s|100000 | 99951 | 50592 |   0.5 | 191M| 871 |   0 |3831 |4469 |3831 | 962 |  10k|  93 |1705 | 0.000000e+00 | 1.251000e+03 |    Inf 
149.89/149.97	c   148s|110000 |109949 | 53538 |   0.5 | 208M| 871 |   0 |3831 |4471 |3831 | 954 |  10k|  97 |1709 | 0.000000e+00 | 1.251000e+03 |    Inf 
162.40/162.45	c   160s|120000 |119949 | 55634 |   0.5 | 225M| 871 |   0 |3831 |4471 |3831 | 972 |  11k|  97 |1710 | 0.000000e+00 | 1.251000e+03 |    Inf 
175.30/175.37	c   173s|130000 |129945 | 58295 |   0.4 | 242M| 871 |   0 |3831 |4470 |3831 | 962 |  11k| 103 |1716 | 0.000000e+00 | 1.251000e+03 |    Inf 
188.10/188.15	c   186s|140000 |139945 | 60432 |   0.4 | 258M| 871 |   0 |3831 |4469 |3831 | 975 |  12k| 103 |1716 | 0.000000e+00 | 1.251000e+03 |    Inf 
200.79/200.86	c   198s|150000 |149945 | 62448 |   0.4 | 275M| 871 |   0 |3831 |4467 |3831 | 965 |  12k| 103 |1717 | 0.000000e+00 | 1.251000e+03 |    Inf 
213.60/213.64	c   211s|160000 |159945 | 64806 |   0.4 | 292M| 871 |   0 |3831 |4461 |3831 | 958 |  13k| 103 |1719 | 0.000000e+00 | 1.251000e+03 |    Inf 
226.10/226.14	c   223s|170000 |169943 | 66697 |   0.4 | 309M| 871 |   0 |3831 |4462 |3831 | 948 |  14k| 104 |1722 | 0.000000e+00 | 1.251000e+03 |    Inf 
238.60/238.64	c   236s|180000 |179943 | 68379 |   0.4 | 325M| 871 |   0 |3831 |4458 |3831 | 947 |  14k| 104 |1725 | 0.000000e+00 | 1.251000e+03 |    Inf 
250.90/250.94	c   248s|190000 |189943 | 69611 |   0.4 | 342M| 871 |   0 |3831 |4457 |3831 | 988 |  14k| 104 |1728 | 0.000000e+00 | 1.251000e+03 |    Inf 
263.40/263.47	c   260s|200000 |199939 | 71599 |   0.4 | 358M| 871 |   0 |3831 |4458 |3831 | 931 |  15k| 108 |1729 | 0.000000e+00 | 1.251000e+03 |    Inf 
275.50/275.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
275.50/275.55	c   272s|210000 |209939 | 72536 |   0.3 | 375M| 871 |   0 |3831 |4458 |3831 | 925 |  15k| 108 |1731 | 0.000000e+00 | 1.251000e+03 |    Inf 
287.60/287.65	c   284s|220000 |219939 | 73531 |   0.3 | 391M| 871 |   0 |3831 |4457 |3831 | 928 |  15k| 108 |1731 | 0.000000e+00 | 1.251000e+03 |    Inf 
299.79/299.89	c   296s|230000 |229939 | 74621 |   0.3 | 408M| 871 |   0 |3831 |4455 |3831 | 952 |  16k| 108 |1733 | 0.000000e+00 | 1.251000e+03 |    Inf 
312.70/312.74	c   309s|240000 |239937 | 76923 |   0.3 | 425M| 871 |   0 |3831 |4457 |3831 | 956 |  16k| 112 |1734 | 0.000000e+00 | 1.251000e+03 |    Inf 
314.50/314.56	o 303
314.50/314.56	c * 311s|241357 |143670 | 77085 |   0.3 | 279M| 871 |   - |3831 |4457 |3831 | 955 |  16k| 112 |1734 | 0.000000e+00 | 3.030000e+02 |    Inf 
314.60/314.69	o 288
314.60/314.69	c * 311s|241421 |130299 | 77106 |   0.3 | 257M| 871 |   - |3831 |4471 |3831 | 956 |  16k| 126 |1734 | 0.000000e+00 | 2.880000e+02 |    Inf 
314.80/314.86	o 281
314.80/314.86	c * 311s|241478 |124011 | 77238 |   0.3 | 247M| 871 |   - |3831 |4520 |3831 | 959 |  16k| 175 |1734 | 0.000000e+00 | 2.810000e+02 |    Inf 
315.70/315.75	o 252
315.70/315.75	c * 312s|241907 | 99790 | 78195 |   0.3 | 206M| 871 |   - |3831 |4592 |3831 | 971 |  16k| 247 |1735 | 0.000000e+00 | 2.520000e+02 |    Inf 
317.01/317.09	o 246
317.01/317.09	c * 313s|242496 | 95382 | 80321 |   0.3 | 199M| 871 |   - |3831 |4833 |3831 | 954 |  17k| 498 |1739 | 0.000000e+00 | 2.460000e+02 |    Inf 
317.40/317.48	o 239
317.40/317.48	c * 313s|242674 | 89670 | 80762 |   0.3 | 190M| 871 |   - |3831 |4903 |3831 | 957 |  17k| 575 |1739 | 0.000000e+00 | 2.390000e+02 |    Inf 
317.50/317.56	o 235
317.50/317.56	c * 314s|242703 | 86445 | 80796 |   0.3 | 184M| 871 |   - |3831 |4906 |3831 | 960 |  17k| 579 |1739 | 0.000000e+00 | 2.350000e+02 |    Inf 
317.81/317.84	o 234
317.81/317.84	c * 314s|242782 | 85797 | 81347 |   0.3 | 183M| 871 |   - |3831 |4944 |3831 | 965 |  17k| 625 |1741 | 0.000000e+00 | 2.340000e+02 |    Inf 
318.00/318.01	o 221
318.00/318.01	c * 314s|242857 | 75854 | 81552 |   0.3 | 167M| 871 |   - |3831 |4948 |3831 | 964 |  17k| 634 |1742 | 0.000000e+00 | 2.210000e+02 |    Inf 
318.10/318.15	o 195
318.10/318.15	c * 314s|242910 | 57930 | 81689 |   0.3 | 134M| 871 |   - |3831 |4952 |3831 | 949 |  17k| 642 |1742 | 0.000000e+00 | 1.950000e+02 |    Inf 
319.20/319.25	o 158
319.20/319.25	c * 315s|243367 | 38049 | 83818 |   0.3 |  98M| 871 |   - |3831 |5091 |3831 | 958 |  17k| 817 |1758 | 0.000000e+00 | 1.580000e+02 |    Inf 
320.01/320.01	o 151
320.01/320.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
320.01/320.01	c * 316s|243612 | 35082 | 85054 |   0.3 |  94M| 871 |   - |3831 |5166 |3831 | 965 |  18k| 944 |1761 | 0.000000e+00 | 1.510000e+02 |    Inf 
320.30/320.36	o 148
320.30/320.36	c * 316s|243739 | 33880 | 85983 |   0.4 |  92M| 871 |   - |3831 |5155 |3831 | 930 |  18k| 955 |1761 | 0.000000e+00 | 1.480000e+02 |    Inf 
320.50/320.59	o 141
320.50/320.59	c * 317s|243851 | 31255 | 86289 |   0.4 |  86M| 871 |   - |3831 |5155 |3831 | 950 |  18k| 967 |1761 | 0.000000e+00 | 1.410000e+02 |    Inf 
320.80/320.86	o 137
320.80/320.86	c * 317s|243979 | 29918 | 86720 |   0.4 |  84M| 871 |   - |3831 |5162 |3831 | 954 |  18k| 992 |1763 | 0.000000e+00 | 1.370000e+02 |    Inf 
321.11/321.11	o 124
321.11/321.11	c * 317s|244075 | 25848 | 87061 |   0.4 |  76M| 871 |   - |3831 |5160 |3831 | 939 |  18k|1034 |1763 | 0.000000e+00 | 1.240000e+02 |    Inf 
321.11/321.17	o 122
321.11/321.17	c * 317s|244094 | 25325 | 87159 |   0.4 |  75M| 871 |   - |3831 |5153 |3831 | 947 |  18k|1039 |1763 | 0.000000e+00 | 1.220000e+02 |    Inf 
321.21/321.23	o 117
321.21/321.23	c * 317s|244106 | 23995 | 87268 |   0.4 |  72M| 871 |   - |3831 |5152 |3831 | 955 |  18k|1039 |1767 | 0.000000e+00 | 1.170000e+02 |    Inf 
322.01/322.07	o 96
322.01/322.07	c * 318s|244332 | 19152 | 89751 |   0.4 |  63M| 871 |   - |3831 |5160 |3831 | 941 |  18k|1193 |1777 | 0.000000e+00 | 9.600000e+01 |    Inf 
322.11/322.15	o 93
322.11/322.15	c * 318s|244357 | 18585 | 89861 |   0.4 |  62M| 871 |   - |3831 |5069 |3831 | 953 |  18k|1201 |1777 | 0.000000e+00 | 9.300000e+01 |    Inf 
322.11/322.16	o 86
322.11/322.16	c * 318s|244358 | 17276 | 89861 |   0.4 |  59M| 871 |   - |3831 |5069 |3831 | 953 |  18k|1201 |1777 | 0.000000e+00 | 8.600000e+01 |    Inf 
323.20/323.22	o 69
323.20/323.22	c * 319s|244677 | 14186 | 93309 |   0.4 |  52M| 871 |   - |3831 |4874 |3831 | 934 |  18k|1403 |1780 | 0.000000e+00 | 6.900000e+01 |    Inf 
323.20/323.23	o 58
323.20/323.23	c * 319s|244678 | 12990 | 93309 |   0.4 |  49M| 871 |   - |3831 |4874 |3831 | 934 |  18k|1403 |1780 | 0.000000e+00 | 5.800000e+01 |    Inf 
323.20/323.28	o 57
323.20/323.28	c * 319s|244688 | 12921 | 93477 |   0.4 |  49M| 871 |   - |3831 |4312 |3831 | 922 |  19k|1407 |1780 | 0.000000e+00 | 5.700000e+01 |    Inf 
323.20/323.28	o 56
323.20/323.28	c * 319s|244689 | 12807 | 93477 |   0.4 |  49M| 871 |   - |3831 |4312 |3831 | 922 |  19k|1407 |1780 | 0.000000e+00 | 5.600000e+01 |    Inf 
323.50/323.51	o 54
323.50/323.51	c * 319s|244750 | 12594 | 94206 |   0.4 |  48M| 871 |   - |3831 |4290 |3831 | 922 |  19k|1473 |1780 | 0.000000e+00 | 5.400000e+01 |    Inf 
323.50/323.51	o 53
323.50/323.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
323.50/323.51	c * 319s|244751 | 12263 | 94207 |   0.4 |  48M| 871 |   - |3831 |4290 |3831 | 922 |  19k|1473 |1780 | 0.000000e+00 | 5.300000e+01 |    Inf 
323.80/323.82	o 52
323.80/323.82	c * 320s|244811 | 12212 | 95289 |   0.4 |  48M| 871 |   - |3831 |4205 |3831 | 945 |  19k|1563 |1780 | 0.000000e+00 | 5.200000e+01 |    Inf 
323.80/323.84	o 40
323.80/323.84	c * 320s|244812 | 10159 | 95306 |   0.4 |  43M| 871 |   - |3831 |4205 |3831 | 948 |  19k|1563 |1780 | 0.000000e+00 | 4.000000e+01 |    Inf 
324.10/324.11	o 35
324.10/324.11	c * 320s|244850 |  7369 | 95998 |   0.4 |  37M| 871 |   - |3831 |3924 |3831 | 944 |  19k|1637 |1780 | 0.000000e+00 | 3.500000e+01 |    Inf 
335.10/335.14	c   331s|250000 |  6695 |129850 |   0.5 |  39M| 871 |   7 |3831 |6602 |3831 | 929 |  20k|8202 |1800 | 0.000000e+00 | 3.500000e+01 |    Inf 
356.60/356.62	c   352s|260000 |  6847 |185029 |   0.7 |  44M| 871 |   6 |3831 |9658 |3831 | 937 |  24k|  21k|1800 | 0.000000e+00 | 3.500000e+01 |    Inf 
379.21/379.25	c   374s|270000 |  6922 |242865 |   0.9 |  47M| 871 |  11 |3831 |9371 |3831 | 934 |  27k|  33k|1815 | 0.000000e+00 | 3.500000e+01 |    Inf 
399.21/399.24	o 34
399.21/399.24	c * 393s|278790 |  6961 |292652 |   1.0 |  49M| 871 |   - |3831 |9103 |3831 | 953 |  29k|  44k|1917 | 0.000000e+00 | 3.400000e+01 |    Inf 
402.00/402.06	c   396s|280000 |  6984 |299831 |   1.1 |  49M| 871 |   1 |3831 |8872 |3831 | 924 |  30k|  46k|1960 | 0.000000e+00 | 3.400000e+01 |    Inf 
423.80/423.80	o 24
423.80/423.80	c * 417s|289128 |  6393 |355918 |   1.2 |  48M| 871 |   - |3831 |7128 |3831 | 934 |  32k|  58k|2069 | 0.000000e+00 | 2.400000e+01 |    Inf 
425.71/425.73	c   419s|290000 |  6372 |361478 |   1.2 |  48M| 871 |   - |3831 |6084 |   0 |   0 |  32k|  59k|2080 | 0.000000e+00 | 2.400000e+01 |    Inf 
447.91/447.91	c   441s|300000 |  6363 |428581 |   1.4 |  50M| 871 |   - |3831 |8245 |   0 |   0 |  35k|  72k|2310 | 0.000000e+00 | 2.400000e+01 |    Inf 
471.11/471.15	c   463s|310000 |  6350 |498238 |   1.6 |  52M| 871 |   - |3831 |  10k|   0 |   0 |  38k|  86k|2482 | 0.000000e+00 | 2.400000e+01 |    Inf 
495.21/495.23	c   487s|320000 |  6417 |564373 |   1.8 |  55M| 871 |   - |3831 |  12k|   0 |   0 |  41k|  98k|2630 | 0.000000e+00 | 2.400000e+01 |    Inf 
519.50/519.51	c   510s|330000 |  6652 |626480 |   1.9 |  58M| 871 |   1 |3831 |  14k|3831 | 972 |  43k| 111k|2823 | 0.000000e+00 | 2.400000e+01 |    Inf 
543.41/543.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
543.41/543.49	c   534s|340000 |  6881 |683896 |   2.0 |  62M| 871 |   - |3831 |  15k|   0 |   0 |  46k| 124k|2935 | 0.000000e+00 | 2.400000e+01 |    Inf 
545.31/545.30	o 18
545.31/545.30	c * 536s|340733 |  6373 |688621 |   2.0 |  58M| 871 |   - |3831 |  16k|3831 | 978 |  46k| 125k|2947 | 0.000000e+00 | 1.800000e+01 |    Inf 
567.11/567.18	c   557s|350000 |  6427 |747461 |   2.1 |  59M| 871 |   - |3831 |  15k|   0 |   0 |  48k| 137k|3054 | 0.000000e+00 | 1.800000e+01 |    Inf 
584.41/584.40	o 14
584.41/584.40	c * 574s|357247 |  6119 |793338 |   2.2 |  57M| 871 |   - |3831 |  14k|3831 | 955 |  50k| 147k|3159 | 0.000000e+00 | 1.400000e+01 |    Inf 
584.41/584.41	o 9
584.41/584.41	c * 574s|357248 |  5339 |793338 |   2.2 |  50M| 871 |   - |3831 |  14k|3831 | 955 |  50k| 147k|3159 | 0.000000e+00 | 9.000000e+00 |    Inf 
590.41/590.45	c   580s|360000 |  5366 |811225 |   2.3 |  51M| 871 |  20 |3831 |  12k|3831 | 948 |  51k| 150k|3217 | 0.000000e+00 | 9.000000e+00 |    Inf 
591.61/591.67	o 6
591.61/591.67	c * 581s|360614 |  5199 |813963 |   2.3 |  48M| 871 |   - |3831 |  13k|3831 | 966 |  51k| 151k|3218 | 0.000000e+00 | 6.000000e+00 |    Inf 
611.11/611.16	c   600s|370000 |  5204 |870519 |   2.4 |  49M| 871 |  18 |3831 |  12k|3831 | 953 |  53k| 163k|3320 | 0.000000e+00 | 6.000000e+00 |    Inf 
633.21/633.23	c   621s|380000 |  5140 |933585 |   2.5 |  49M| 871 |   1 |3831 |  11k|3831 | 953 |  55k| 177k|3412 | 0.000000e+00 | 6.000000e+00 |    Inf 
654.72/654.76	c   642s|390000 |  4624 |  1007k|   2.6 |  46M| 871 |   - |3831 |9283 |   0 |   0 |  58k| 190k|3650 | 0.000000e+00 | 6.000000e+00 |    Inf 
676.42/676.50	c   663s|400000 |  4563 |  1077k|   2.7 |  47M| 871 |   - |3831 |  11k|   0 |   0 |  60k| 203k|3760 | 0.000000e+00 | 6.000000e+00 |    Inf 
699.71/699.75	c   686s|410000 |  4633 |  1150k|   2.8 |  50M| 871 |   - |3831 |  16k|   0 |   0 |  63k| 216k|3898 | 0.000000e+00 | 6.000000e+00 |    Inf 
712.21/712.25	o 3
712.21/712.25	c * 698s|415015 |  4370 |  1188k|   2.9 |  47M| 871 |   - |3831 |  16k|3831 | 944 |  64k| 223k|3965 | 0.000000e+00 | 3.000000e+00 |    Inf 
723.72/723.70	c   709s|420000 |  4367 |  1220k|   2.9 |  46M| 871 |   8 |3831 |  14k|3831 | 935 |  65k| 229k|3997 | 0.000000e+00 | 3.000000e+00 |    Inf 
746.12/746.17	c   731s|430000 |  4399 |  1283k|   3.0 |  48M| 871 |   - |3831 |  19k|   0 |   0 |  68k| 242k|4120 | 0.000000e+00 | 3.000000e+00 |    Inf 
768.93/768.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
768.93/768.98	c   754s|440000 |  4439 |  1347k|   3.1 |  49M| 871 |  12 |3831 |  20k|3831 | 961 |  72k| 254k|4218 | 0.000000e+00 | 3.000000e+00 |    Inf 
793.12/793.11	c   777s|450000 |  4453 |  1410k|   3.1 |  50M| 871 |  17 |3831 |  21k|3831 | 945 |  75k| 267k|4300 | 0.000000e+00 | 3.000000e+00 |    Inf 
817.62/817.63	c   801s|460000 |  4480 |  1470k|   3.2 |  50M| 871 |   1 |3831 |  21k|3831 | 937 |  78k| 281k|4386 | 0.000000e+00 | 3.000000e+00 |    Inf 
842.22/842.24	c   825s|470000 |  4541 |  1526k|   3.2 |  52M| 871 |   - |3831 |  24k|   0 |   0 |  81k| 294k|4471 | 0.000000e+00 | 3.000000e+00 |    Inf 
868.72/868.75	c   851s|480000 |  4595 |  1590k|   3.3 |  54M| 871 |  11 |3831 |  28k|3831 | 955 |  85k| 308k|4585 | 0.000000e+00 | 3.000000e+00 |    Inf 
896.42/896.42	c   878s|490000 |  4675 |  1654k|   3.4 |  55M| 871 |   - |3831 |  28k|   0 |   0 |  88k| 322k|4691 | 0.000000e+00 | 3.000000e+00 |    Inf 
923.62/923.60	c   905s|500000 |  4713 |  1710k|   3.4 |  57M| 871 |   1 |3831 |  30k|3831 | 946 |  91k| 335k|4777 | 0.000000e+00 | 3.000000e+00 |    Inf 
953.53/953.56	c   934s|510000 |  4872 |  1768k|   3.5 |  60M| 871 |  27 |3831 |  33k|3831 | 946 |  93k| 349k|4851 | 0.000000e+00 | 3.000000e+00 |    Inf 
983.53/983.53	c   964s|520000 |  4867 |  1823k|   3.5 |  60M| 871 |   5 |3831 |  32k|3831 | 946 |  95k| 363k|4925 | 0.000000e+00 | 3.000000e+00 |    Inf 
1012.72/1012.70	c   992s|530000 |  4886 |  1879k|   3.5 |  61M| 871 |   - |3831 |  34k|   0 |   0 |  96k| 378k|4984 | 0.000000e+00 | 3.000000e+00 |    Inf 
1040.33/1040.36	c  1019s|540000 |  4832 |  1933k|   3.6 |  60M| 871 |  17 |3831 |  31k|3831 | 941 |  99k| 392k|5066 | 0.000000e+00 | 3.000000e+00 |    Inf 
1069.23/1069.25	c  1048s|550000 |  4912 |  1992k|   3.6 |  62M| 871 |   - |3831 |  34k|   0 |   0 | 102k| 405k|5129 | 0.000000e+00 | 3.000000e+00 |    Inf 
1100.43/1100.44	c  1078s|560000 |  4976 |  2059k|   3.7 |  62M| 871 |   - |3831 |  30k|   0 |   0 | 104k| 418k|5225 | 0.000000e+00 | 3.000000e+00 |    Inf 
1128.93/1128.99	c  1106s|570000 |  4712 |  2121k|   3.7 |  57M| 871 |   - |3831 |  23k|   0 |   0 | 107k| 432k|5310 | 0.000000e+00 | 3.000000e+00 |    Inf 
1154.83/1154.90	c  1131s|580000 |  4576 |  2177k|   3.8 |  55M| 871 |  12 |3831 |  23k|3831 | 937 | 109k| 445k|5365 | 0.000000e+00 | 3.000000e+00 |    Inf 
1178.73/1178.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1178.73/1178.70	c  1154s|590000 |  2986 |  2255k|   3.8 |  40M| 871 |  20 |3831 |  13k|3831 | 959 | 112k| 458k|5529 | 0.000000e+00 | 3.000000e+00 |    Inf 
1202.53/1202.53	c  1176s|600000 |  3004 |  2337k|   3.9 |  42M| 871 |  16 |3831 |  16k|3831 | 938 | 115k| 472k|5613 | 0.000000e+00 | 3.000000e+00 |    Inf 
1228.03/1228.03	c  1201s|610000 |  3066 |  2410k|   4.0 |  44M| 871 |  26 |3831 |  19k|3831 | 936 | 119k| 485k|5688 | 0.000000e+00 | 3.000000e+00 |    Inf 
1255.23/1255.20	c  1227s|620000 |  3151 |  2481k|   4.0 |  47M| 871 |  24 |3831 |  24k|3831 | 924 | 122k| 499k|5772 | 0.000000e+00 | 3.000000e+00 |    Inf 
1287.14/1287.12	c  1258s|630000 |  3207 |  2557k|   4.1 |  49M| 871 |  12 |3831 |  26k|3831 | 934 | 125k| 513k|5858 | 0.000000e+00 | 3.000000e+00 |    Inf 
1318.43/1318.47	c  1288s|640000 |  3127 |  2628k|   4.1 |  49M| 871 |   - |3831 |  26k|   0 |   0 | 128k| 527k|5939 | 0.000000e+00 | 3.000000e+00 |    Inf 
1346.14/1346.15	c  1315s|650000 |  2966 |  2697k|   4.1 |  44M| 871 |  15 |3831 |  22k|3831 | 942 | 131k| 540k|6031 | 0.000000e+00 | 3.000000e+00 |    Inf 
1374.74/1374.73	c  1342s|660000 |  2962 |  2770k|   4.2 |  45M| 871 |  17 |3831 |  26k|3831 | 940 | 135k| 554k|6090 | 0.000000e+00 | 3.000000e+00 |    Inf 
1402.45/1402.41	c  1369s|670000 |  2934 |  2834k|   4.2 |  45M| 871 |   - |3831 |  26k|   0 |   0 | 139k| 567k|6159 | 0.000000e+00 | 3.000000e+00 |    Inf 
1430.14/1430.14	c  1395s|680000 |  2958 |  2894k|   4.3 |  46M| 871 |   - |3831 |  28k|   0 |   0 | 142k| 581k|6232 | 0.000000e+00 | 3.000000e+00 |    Inf 
1458.34/1458.34	c  1423s|690000 |  3013 |  2949k|   4.3 |  47M| 871 |   - |3831 |  30k|   0 |   0 | 145k| 594k|6288 | 0.000000e+00 | 3.000000e+00 |    Inf 
1487.74/1487.76	c  1451s|700000 |  3064 |  3002k|   4.3 |  49M| 871 |   - |3831 |  32k|   0 |   0 | 148k| 608k|6337 | 0.000000e+00 | 3.000000e+00 |    Inf 
1516.25/1516.22	c  1478s|710000 |  3055 |  3063k|   4.3 |  49M| 871 |   - |3831 |  32k|   0 |   0 | 151k| 622k|6399 | 0.000000e+00 | 3.000000e+00 |    Inf 
1548.04/1548.02	c  1509s|720000 |  3085 |  3130k|   4.3 |  49M| 871 |   6 |3831 |  32k|3831 | 924 | 154k| 636k|6441 | 0.000000e+00 | 3.000000e+00 |    Inf 
1548.64/1548.66	o 1
1548.64/1548.66	c *1510s|720194 |  2998 |  3131k|   4.3 |  48M| 871 |   - |3831 |  32k|3831 | 927 | 154k| 636k|6441 | 0.000000e+00 | 1.000000e-00 |    Inf 
1576.25/1576.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1576.25/1576.29	c  1536s|730000 |  2992 |  3198k|   4.4 |  48M| 871 |   1 |3831 |  31k|3831 | 931 | 157k| 650k|6489 | 0.000000e+00 | 1.000000e-00 |    Inf 
1604.04/1604.06	c  1563s|740000 |  2822 |  3264k|   4.4 |  45M| 871 |  11 |3831 |  26k|3831 | 939 | 160k| 664k|6558 | 0.000000e+00 | 1.000000e-00 |    Inf 
1630.84/1630.85	c  1589s|750000 |  2848 |  3326k|   4.4 |  46M| 871 |   1 |3831 |  29k|3831 | 920 | 163k| 677k|6626 | 0.000000e+00 | 1.000000e-00 |    Inf 
1657.84/1657.80	c  1615s|760000 |  2856 |  3385k|   4.5 |  47M| 871 |  15 |3831 |  32k|3831 | 926 | 165k| 691k|6677 | 0.000000e+00 | 1.000000e-00 |    Inf 
1689.75/1689.73	c  1646s|770000 |  2935 |  3450k|   4.5 |  49M| 871 |   - |3831 |  33k|   0 |   0 | 168k| 705k|6719 | 0.000000e+00 | 1.000000e-00 |    Inf 
1720.55/1720.55	c  1675s|780000 |  2973 |  3514k|   4.5 |  50M| 871 |  18 |3831 |  36k|3831 | 933 | 170k| 718k|6769 | 0.000000e+00 | 1.000000e-00 |    Inf 
1750.95/1750.97	c  1705s|790000 |  3077 |  3574k|   4.5 |  53M| 871 |  20 |3831 |  40k|3831 | 934 | 173k| 733k|6805 | 0.000000e+00 | 1.000000e-00 |    Inf 
1785.05/1785.07	c  1738s|800000 |  3134 |  3636k|   4.5 |  53M| 871 |   - |3831 |  40k|   0 |   0 | 175k| 747k|6850 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1752.31
1800.06/1800.00	c Solving Nodes      : 804218
1800.06/1800.00	c Primal Bound       : +1.00000000000000e-00 (154 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.04	s SATISFIABLE
1800.06/1800.04	v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.06/1800.04	v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.06/1800.04	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
1800.06/1800.04	v -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.04	v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 
1800.06/1800.04	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.06/1800.04	v -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 
1800.06/1800.04	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.06/1800.04	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.06/1800.04	v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.06/1800.04	v -x1 
1800.06/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.04	c Solving Time       :    1752.31
1800.06/1800.04	c Original Problem   :
1800.06/1800.04	c   Problem name     : HOME/instance-2692955-1277912636.wbo
1800.06/1800.04	c   Variables        : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.06/1800.04	c   Constraints      : 4565 initial, 4565 maximal
1800.06/1800.04	c Presolved Problem  :
1800.06/1800.04	c   Problem name     : t_HOME/instance-2692955-1277912636.wbo
1800.06/1800.04	c   Variables        : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.06/1800.04	c   Constraints      : 4434 initial, 42150 maximal
1800.06/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.04	c   trivial          :       0.00         57          0          0          0          0          0          0          0
1800.06/1800.04	c   dualfix          :       0.00         57          0          0          0          0          0          0          0
1800.06/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.04	c   indicator        :       0.00          0          0          0          0          0         57          0          0
1800.06/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   linear           :       0.05          0          0          0       1864          0         74         62          0
1800.06/1800.04	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   root node        :          -       1800          -          -       3600          -          -          -          -
1800.06/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   integral         :          0          0          0     573173          0         32        491          0          0     615262
1800.06/1800.04	c   indicator        :       1800          0    2853578     262199          0        233    2014754          0          0          0
1800.06/1800.04	c   setppc           :          5          6    3150427     145370          0      10800     497928          0          0          0
1800.06/1800.04	c   linear           :       1800          6    3318982     265105          0     127563   13841560     176665          0          0
1800.06/1800.04	c   logicor          :        829+         6    1192708     240987          0     144463    2881073          0          0          0
1800.06/1800.04	c   bounddisjunction :          0+         0      31339          0          0          0         20          0          0          0
1800.06/1800.04	c   countsols        :          0          0          0     240987          0          0          0          0          0          0
1800.06/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.04	c   integral         :      18.76       0.00       0.00      18.76       0.00
1800.06/1800.04	c   indicator        :      47.70       0.03      14.23      33.44       0.00
1800.06/1800.04	c   setppc           :       4.83       0.00       4.77       0.06       0.00
1800.06/1800.04	c   linear           :     136.70       0.00     130.26       6.44       0.00
1800.06/1800.04	c   logicor          :     294.58       0.00     292.34       2.24       0.00
1800.06/1800.04	c   bounddisjunction :       0.04       0.00       0.04       0.00       0.00
1800.06/1800.04	c   countsols        :       0.04       0.00       0.00       0.04       0.00
1800.06/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.04	c   vbounds          :       0.59          2          0          0
1800.06/1800.04	c   rootredcost      :       0.51         40          0       1800
1800.06/1800.04	c   pseudoobj        :     124.19    3333754       3734    1452138
1800.06/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.04	c   propagation      :      16.38     286560     286260    1847541       27.5      11012       21.3          -
1800.06/1800.04	c   infeasible LP    :       5.07      14215      14215     122803       42.1        156       13.7          0
1800.06/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   pseudo solution  :       0.00         38         38        158       12.6         26        6.2          -
1800.06/1800.04	c   applied globally :          -          -          -     753713       21.8          -          -          -
1800.06/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.04	c   cut pool         :       0.00          5          -          -         29          -    (maximal pool size: 147)
1800.06/1800.04	c   redcost          :      38.46     576094          0     298590          0          0
1800.06/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.04	c   gomory           :       0.09          6          0          0        838          0
1800.06/1800.04	c   strongcg         :       0.07          6          0          0         79          0
1800.06/1800.04	c   cmir             :       0.02          6          0          0          0          0
1800.06/1800.04	c   flowcover        :       0.07          6          0          0          0          0
1800.06/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.06/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.04	c Pricers            :       Time      Calls       Vars
1800.06/1800.04	c   problem variables:       0.00          0          0
1800.06/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   relpscost        :      18.37     308054         32        491          0          0     615262
1800.06/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   inference        :      36.16     240948          0          0          0          0     481896
1800.06/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.04	c   LP solutions     :       0.35          -         39
1800.06/1800.04	c   pseudo solutions :       0.00          -          0
1800.06/1800.04	c   feaspump         :       0.03          1          0
1800.06/1800.04	c   oneopt           :       0.37         34          0
1800.06/1800.04	c   intshifting      :       0.00          6          0
1800.06/1800.04	c   crossover        :       1.18         36          0
1800.06/1800.04	c   linesearchdiving :       1.50       1302          0
1800.06/1800.04	c   coefdiving       :       1.34       1302          0
1800.06/1800.04	c   pscostdiving     :       1.40       1302          0
1800.06/1800.04	c   fracdiving       :       1.14       1302          0
1800.06/1800.04	c   veclendiving     :       1.25       1303          0
1800.06/1800.04	c   guideddiving     :       1.46       1303          0
1800.06/1800.04	c   rootsoldiving    :       1.41       1285          0
1800.06/1800.04	c   objpscostdiving  :       1.41       1286          0
1800.06/1800.04	c   trivial          :       0.01          2          0
1800.06/1800.04	c   simplerounding   :       0.67     308891          0
1800.06/1800.04	c   zirounding       :       0.20       1000          0
1800.06/1800.04	c   rounding         :       1.66       7821          0
1800.06/1800.04	c   shifting         :       1.11       2377          0
1800.06/1800.04	c   twoopt           :       0.00          0          0
1800.06/1800.04	c   fixandinfer      :       0.00          0          0
1800.06/1800.04	c   intdiving        :       0.00          0          0
1800.06/1800.04	c   actconsdiving    :       0.00          0          0
1800.06/1800.04	c   octane           :       0.00          0          0
1800.06/1800.04	c   rens             :       0.02          1          0
1800.06/1800.04	c   rins             :       0.00          0          0
1800.06/1800.04	c   localbranching   :       0.00          0          0
1800.06/1800.04	c   mutation         :       0.00          0          0
1800.06/1800.04	c   dins             :       0.00          0          0
1800.06/1800.04	c   undercover       :       0.00          0          0
1800.06/1800.04	c   nlp              :       0.24          0          0
1800.06/1800.04	c   trysol           :       1.56       5254        115
1800.06/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.04	c   dual LP          :     552.56     351227    3664583      10.43    6632.01
1800.06/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.04	c   diving/probing LP:       0.23         83       1067      12.86    4639.13
1800.06/1800.04	c   strong branching :      15.38       6904     160256      23.21   10419.77
1800.06/1800.04	c     (at root node) :          -         33       6034     182.85          -
1800.06/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.04	c B&B Tree           :
1800.06/1800.04	c   number of runs   :          1
1800.06/1800.04	c   nodes            :     804218
1800.06/1800.04	c   nodes (total)    :     804218
1800.06/1800.04	c   nodes left       :       3146
1800.06/1800.04	c   max depth        :        871
1800.06/1800.04	c   max depth (total):        871
1800.06/1800.04	c   backtracks       :      56010 (7.0%)
1800.06/1800.04	c   delayed cutoffs  :      50859
1800.06/1800.04	c   repropagations   :    1471883 (3789574 domain reductions, 45365 cutoffs)
1800.06/1800.04	c   avg switch length:       5.19
1800.06/1800.04	c   switching time   :     242.81
1800.06/1800.04	c Solution           :
1800.06/1800.04	c   Solutions found  :        154 (40 improvements)
1800.06/1800.04	c   First Solution   : +9.07310000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.06/1800.04	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 720194 nodes, 1509.50 seconds, depth 24, found by <relaxation>)
1800.06/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.04	c   Gap              :   infinite
1800.06/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.04	c   Root Iterations  :        294
1800.16/1800.16	c Time complete: 1800.22.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692955-1277912636/watcher-2692955-1277912636 -o /tmp/evaluation-result-2692955-1277912636/solver-2692955-1277912636 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692955-1277912636.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.90 2.04 2.29 4/178 25952
/proc/meminfo: memFree=31273344/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=10976 CPUtime=0
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 1671 0 0 0 0 0 0 0 25 0 1 0 166866745 11239424 1591 4089446400 4194304 9819077 140735558634592 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25952/statm: 2744 1591 392 1374 0 1365 0

[startup+0.030736 s]
/proc/loadavg: 1.90 2.04 2.29 4/178 25952
/proc/meminfo: memFree=31273344/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=17644 CPUtime=0.02
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3333 0 0 0 2 0 0 0 25 0 1 0 166866745 18067456 3253 4089446400 4194304 9819077 140735558634592 18446744073709551615 8667830 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25952/statm: 4411 3253 392 1374 0 3032 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17644

[startup+0.100727 s]
/proc/loadavg: 1.90 2.04 2.29 4/178 25952
/proc/meminfo: memFree=31273344/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=31012 CPUtime=0.09
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 7877 0 0 0 9 0 0 0 25 0 1 0 166866745 31756288 6415 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 7753 6415 498 1374 0 6374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31012

[startup+0.300685 s]
/proc/loadavg: 1.90 2.04 2.29 4/178 25952
/proc/meminfo: memFree=31273344/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=40796 CPUtime=0.29
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 12279 0 0 0 29 0 0 0 18 0 1 0 166866745 41775104 8672 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 10199 8672 680 1374 0 8820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40796

[startup+0.700622 s]
/proc/loadavg: 1.90 2.04 2.29 4/178 25952
/proc/meminfo: memFree=31273344/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=44748 CPUtime=0.69
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 18174 0 0 0 67 2 0 0 18 0 1 0 166866745 45821952 9910 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 11187 9910 704 1374 0 9808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44748

[startup+1.50046 s]
/proc/loadavg: 1.90 2.04 2.29 3/179 25953
/proc/meminfo: memFree=31235640/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=44748 CPUtime=1.49
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 18243 0 0 0 147 2 0 0 19 0 1 0 166866745 45821952 9947 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 11187 9947 708 1374 0 9808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44748

[startup+3.10118 s]
/proc/loadavg: 1.90 2.04 2.29 3/179 25954
/proc/meminfo: memFree=31236008/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=44748 CPUtime=3.09
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 18337 0 0 0 306 3 0 0 24 0 1 0 166866745 45821952 10012 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 11187 10012 710 1374 0 9808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44748

[startup+6.30056 s]
/proc/loadavg: 1.90 2.04 2.29 3/179 25954
/proc/meminfo: memFree=31234824/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=49104 CPUtime=6.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 35464 0 0 0 621 9 0 0 25 0 1 0 166866745 50282496 10877 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 12276 10877 711 1374 0 10897 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 49104

[startup+12.7004 s]
/proc/loadavg: 1.91 2.04 2.29 3/179 25954
/proc/meminfo: memFree=31226532/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=57216 CPUtime=12.69
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 81564 0 0 0 1247 22 0 0 25 0 1 0 166866745 58589184 12606 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25952/statm: 14304 12608 714 1374 0 12925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57216

[startup+25.5009 s]
/proc/loadavg: 1.93 2.04 2.28 3/179 25954
/proc/meminfo: memFree=31209544/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=74144 CPUtime=25.49
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 152155 0 0 0 2501 48 0 0 25 0 1 0 166866745 75923456 16852 4089446400 4194304 9819077 140735558634592 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 18536 16852 715 1374 0 17157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74144

[startup+51.1011 s]
/proc/loadavg: 1.95 2.04 2.27 3/179 25955
/proc/meminfo: memFree=31174832/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=107324 CPUtime=51.09
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 185314 0 0 0 5030 79 0 0 25 0 1 0 166866745 109899776 25218 4089446400 4194304 9819077 140735558634592 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 26831 25218 716 1374 0 25452 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107324

[startup+102.306 s]
/proc/loadavg: 1.98 2.03 2.26 3/179 25956
/proc/meminfo: memFree=31104864/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=176408 CPUtime=102.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 233026 0 0 0 10089 141 0 0 25 0 1 0 166866745 180641792 42214 4089446400 4194304 9819077 140735558634592 18446744073709551615 6512998 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 44102 42214 716 1374 0 42723 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 176408

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.24 3/179 25958
/proc/meminfo: memFree=31023848/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=256304 CPUtime=162.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 290582 0 0 0 16017 213 0 0 25 0 1 0 166866745 262455296 62366 4089446400 4194304 9819077 140735558634592 18446744073709551615 6670352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 64076 62366 716 1374 0 62697 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 256304

[startup+222.301 s]
/proc/loadavg: 1.99 2.02 2.22 3/179 25959
/proc/meminfo: memFree=30942712/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=335544 CPUtime=222.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 342799 0 0 0 21943 287 0 0 25 0 1 0 166866745 343597056 82298 4089446400 4194304 9819077 140735558634592 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 84142 82306 716 1374 0 82763 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 335544

[startup+282.301 s]
/proc/loadavg: 1.99 2.01 2.21 3/179 25961
/proc/meminfo: memFree=30863816/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=417052 CPUtime=282.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 387268 0 0 0 27874 356 0 0 25 0 1 0 166866745 427061248 101847 4089446400 4194304 9819077 140735558634592 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 104263 101847 716 1374 0 102884 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 417052

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.19 3/179 25962
/proc/meminfo: memFree=30792712/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=486632 CPUtime=342.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 572104 0 0 0 33767 463 0 0 25 0 1 0 166866745 498311168 119169 4089446400 4194304 9819077 140735558634592 18446744073709551615 6000720 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 121658 119169 718 1374 0 120279 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 486632

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.17 3/179 25964
/proc/meminfo: memFree=30768616/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=511676 CPUtime=402.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 820868 0 0 0 39619 611 0 0 25 0 1 0 166866745 523956224 125002 4089446400 4194304 9819077 140735558634592 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 127919 125003 718 1374 0 126540 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 511676

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.17 3/179 25966
/proc/meminfo: memFree=30758032/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=523284 CPUtime=462.3
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 1122661 0 0 0 45461 769 0 0 25 0 1 0 166866745 535842816 127722 4089446400 4194304 9819077 140735558634592 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 130821 127722 742 1374 0 129442 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 523284

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.16 3/179 25967
/proc/meminfo: memFree=30751556/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=529988 CPUtime=522.31
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 1387292 0 0 0 51313 918 0 0 25 0 1 0 166866745 542707712 129325 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 132497 129325 742 1374 0 131118 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 529988

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 25969
/proc/meminfo: memFree=30749908/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=530760 CPUtime=582.31
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 1596929 0 0 0 57178 1053 0 0 25 0 1 0 166866745 543498240 129458 4089446400 4194304 9819077 140735558634592 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 132690 129458 742 1374 0 131311 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 530760

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 25970
/proc/meminfo: memFree=30754584/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=526180 CPUtime=642.32
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 1915321 0 0 0 63018 1214 0 0 25 0 1 0 166866745 538808320 128305 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 131545 128305 742 1374 0 130166 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 526180

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 25977
/proc/meminfo: memFree=30748856/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=531972 CPUtime=882.32
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 2923589 0 0 0 86442 1790 0 0 25 0 1 0 166866745 544739328 129624 4089446400 4194304 9819077 140735558634592 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 132993 129624 742 1374 0 131614 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 531972

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 25978
/proc/meminfo: memFree=30745360/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=535660 CPUtime=942.32
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3128749 0 0 0 92312 1920 0 0 25 0 1 0 166866745 548515840 130506 4089446400 4194304 9819077 140735558634592 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 133915 130506 742 1374 0 132536 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 535660

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.08 3/179 25980
/proc/meminfo: memFree=30742976/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=537796 CPUtime=1002.32
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3321499 0 0 0 98197 2035 0 0 25 0 1 0 166866745 550703104 130996 4089446400 4194304 9819077 140735558634592 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 134449 130996 742 1374 0 133070 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 537796

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.08 3/179 25991
/proc/meminfo: memFree=30739740/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=539032 CPUtime=1062.32
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3529668 0 0 0 104079 2153 0 0 25 0 1 0 166866745 551968768 131301 4089446400 4194304 9819077 140735558634592 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25952/statm: 134758 131301 742 1374 0 133379 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 539032

[startup+1122.3 s]
/proc/loadavg: 1.93 1.98 2.07 3/179 26020
/proc/meminfo: memFree=30791716/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=538952 CPUtime=1122.33
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3728470 0 0 0 109946 2287 0 0 25 0 1 0 166866745 551886848 131295 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 134738 131295 742 1374 0 133359 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 538952

[startup+1182.3 s]
/proc/loadavg: 1.97 1.98 2.06 3/179 26022
/proc/meminfo: memFree=30795256/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533336 CPUtime=1182.33
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 3974304 0 0 0 115696 2537 0 0 25 0 1 0 166866745 546136064 129857 4089446400 4194304 9819077 140735558634592 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133334 129857 742 1374 0 131955 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 533336

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 2.06 3/179 26023
/proc/meminfo: memFree=30791820/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533308 CPUtime=1242.33
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 4216734 0 0 0 121448 2785 0 0 25 0 1 0 166866745 546107392 129861 4089446400 4194304 9819077 140735558634592 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133327 129861 742 1374 0 131948 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 533308

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.05 3/179 26025
/proc/meminfo: memFree=30791660/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533332 CPUtime=1302.34
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 4415575 0 0 0 127244 2990 0 0 25 0 1 0 166866745 546131968 129864 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133333 129864 742 1374 0 131954 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 533332

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.04 3/179 26027
/proc/meminfo: memFree=30788416/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533816 CPUtime=1362.34
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 4628556 0 0 0 133024 3210 0 0 25 0 1 0 166866745 546627584 129942 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133454 129942 742 1374 0 132075 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 533816

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 2.04 3/179 26028
/proc/meminfo: memFree=30768792/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533792 CPUtime=1422.35
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 4849806 0 0 0 138791 3444 0 0 25 0 1 0 166866745 546603008 129963 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133448 129963 742 1374 0 132069 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 533792

[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/179 26030
/proc/meminfo: memFree=30747548/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533792 CPUtime=1482.34
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 5055095 0 0 0 144564 3670 0 0 25 0 1 0 166866745 546603008 129963 4089446400 4194304 9819077 140735558634592 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133448 129963 742 1374 0 132069 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 533792

[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/179 26031
/proc/meminfo: memFree=30723588/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533980 CPUtime=1542.35
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 5262665 0 0 0 150337 3898 0 0 25 0 1 0 166866745 546795520 129992 4089446400 4194304 9819077 140735558634592 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133495 129992 742 1374 0 132116 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 533980

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 26033
/proc/meminfo: memFree=30690588/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=532952 CPUtime=1602.34
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 5499870 0 0 0 156122 4112 0 0 25 0 1 0 166866745 545742848 129778 4089446400 4194304 9819077 140735558634592 18446744073709551615 6161978 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133238 129778 742 1374 0 131859 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 532952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 26035
/proc/meminfo: memFree=30665048/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533504 CPUtime=1662.34
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 5711955 0 0 0 161901 4333 0 0 25 0 1 0 166866745 546308096 129834 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133376 129834 742 1374 0 131997 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 533504

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 26036
/proc/meminfo: memFree=30637996/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533764 CPUtime=1722.35
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 5900575 0 0 0 167707 4528 0 0 25 0 1 0 166866745 546574336 129901 4089446400 4194304 9819077 140735558634592 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133441 129901 742 1374 0 132062 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 533764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 26038
/proc/meminfo: memFree=30610192/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=534068 CPUtime=1782.35
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 6072757 0 0 0 173517 4718 0 0 25 0 1 0 166866745 546885632 129970 4089446400 4194304 9819077 140735558634592 18446744073709551615 4923926 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133517 129970 742 1374 0 132138 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 534068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.01 3/179 26041
/proc/meminfo: memFree=30596892/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=533992 CPUtime=1800.06
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 6124189 0 0 0 175233 4773 0 0 25 0 1 0 166866745 546807808 129953 4089446400 4194304 9819077 140735558634592 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25952/statm: 133498 129953 742 1374 0 132119 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 533992

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

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

[startup+1800.11 s]
/proc/loadavg: 2.06 2.02 2.01 3/179 26041
/proc/meminfo: memFree=30596892/32950928 swapFree=67111528/67111528
[pid=25952] ppid=25950 vsize=315524 CPUtime=1800.16
/proc/25952/stat : 25952 (pbscip.linux.x8) R 25950 25952 25507 0 -1 4202496 6124221 0 0 0 175242 4774 0 0 18 0 1 0 166866745 323096576 75345 4089446400 4194304 9819077 140735558634592 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25952/statm: 78881 75345 743 1374 0 77502 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 315524

Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.23
CPU user time (s): 1752.47
CPU system time (s): 47.7617
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 545784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.47
system time used= 47.7617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6124225
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= 6
involuntary context switches= 1581

runsolver used 3.06653 second user time and 5.98209 second system time

The end

Launcher Data 

Begin job on node114 at 2010-06-30 17:43:56
IDJOB=2692955
IDBENCH=78998
IDSOLVER=1205
FILE ID=node114/2692955-1277912636
PBS_JOBID= 11197252
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4
RANDOM SEED=1465355153

node114.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.819
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.819
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.819
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.819
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.67
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.819
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.819
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.819
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.83
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.819
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	: 5447.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31273880 kB
Buffers:        197276 kB
Cached:        1129484 kB
SwapCached:          0 kB
Active:         632920 kB
Inactive:       901596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31273880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:      207744 kB
Mapped:          17660 kB
Slab:            79200 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   359652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node114 at 2010-06-30 18:13:58