Trace number 2705651

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.2 1790.16

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUM404f4a35cd4ec5708f20e119eb7d26f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark640.218
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 constraints899
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 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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-2705651-1278574743.wbo>
0.00/0.02	c original problem has 2029 variables (1130 bin, 0 int, 899 impl, 0 cont) and 3607 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, 218 impls, 11 clqs
0.04/0.06	c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 11 clqs
0.04/0.08	c (round 3) 51 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 11 clqs
0.04/0.09	c (round 4) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 218 impls, 11 clqs
0.09/0.10	c (round 5) 134 del vars, 262 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 218 impls, 11 clqs
0.09/0.13	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13	c presolving (6 rounds):
0.09/0.13	c  134 deleted vars, 262 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.13	c  1871 implications, 11 cliques
0.09/0.13	c presolved problem has 1895 variables (1063 bin, 0 int, 832 impl, 0 cont) and 3345 constraints
0.09/0.13	c       1 constraints of type <knapsack>
0.09/0.13	c      51 constraints of type <setppc>
0.09/0.13	c     832 constraints of type <linear>
0.09/0.13	c     832 constraints of type <indicator>
0.09/0.13	c    1629 constraints of type <logicor>
0.09/0.13	c transformed objective value is always integral (scale: 1)
0.09/0.13	c Presolving Time: 0.10
0.09/0.13	c - non default parameters ----------------------------------------------------------------------
0.09/0.13	c # SCIP version 1.2.1.3
0.09/0.13	c 
0.09/0.13	c # frequency for displaying node information lines
0.09/0.13	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13	c display/freq = 10000
0.09/0.13	c 
0.09/0.13	c # maximal time in seconds to run
0.09/0.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13	c limits/time = 1789.98
0.09/0.13	c 
0.09/0.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13	c limits/memory = 3420
0.09/0.13	c 
0.09/0.13	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.13	c # [type: int, range: [1,2], default: 1]
0.09/0.13	c timing/clocktype = 2
0.09/0.13	c 
0.09/0.13	c # should presolving try to simplify inequalities
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/linear/simplifyinequalities = TRUE
0.09/0.13	c 
0.09/0.13	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/indicator/addCouplingCons = TRUE
0.09/0.13	c 
0.09/0.13	c # should presolving try to simplify knapsacks
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13	c 
0.09/0.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13	c separating/rapidlearning/freq = 0
0.09/0.13	c 
0.09/0.13	c -----------------------------------------------------------------------------------------------
0.09/0.13	c start solving
0.09/0.13	c 
0.09/0.14	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.14	c   0.1s|     1 |     0 |    43 |     - |8797k|   0 |  33 |1895 |3345 |1895 |1681 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    82 |     - |8969k|   0 |  31 |1895 |3348 |1895 |1698 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   137 |     - |9248k|   0 |  63 |1895 |3348 |1895 |1706 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   179 |     - |9502k|   0 |  62 |1895 |3348 |1895 |1716 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.59	c   0.6s|     1 |     0 |   255 |     - |  10M|   0 |   1 |1895 |3348 |1895 |1720 |  39 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.59	o 42674
0.49/0.59	c y 0.6s|     1 |     0 |   255 |     - |  10M|   0 |   1 |1895 |3348 |1895 |1720 |  39 |   0 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   257 |     - |  10M|   0 |   0 |1895 |3348 |1895 |1723 |  42 |   0 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
0.59/0.61	c   0.6s|     1 |     2 |   257 |     - |  10M|   0 |   0 |1895 |3348 |1895 |1723 |  42 |   0 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
2.79/2.81	o 656
2.79/2.81	c * 2.8s|   540 |   533 |  1230 |   1.8 |  11M| 536 |   - |1895 |3358 |1895 |1734 |  59 |  10 | 173 | 0.000000e+00 | 6.560000e+02 |    Inf 
10.79/10.88	o 641
10.79/10.88	c *10.9s|   964 |   885 |  8975 |   9.1 |  12M| 536 |   - |1895 |3418 |1895 |1740 | 178 |  70 | 847 | 0.000000e+00 | 6.410000e+02 |    Inf 
15.19/15.24	o 574
15.19/15.24	c *15.2s|  1230 |   936 | 22481 |  18.1 |  12M| 536 |   - |1895 |3588 |1895 |1724 | 272 | 240 |1065 | 0.000000e+00 | 5.740000e+02 |    Inf 
15.40/15.46	o 528
15.40/15.46	c *15.4s|  1246 |   811 | 23703 |  18.8 |  12M| 536 |   - |1895 |3603 |1895 |1721 | 276 | 255 |1071 | 0.000000e+00 | 5.280000e+02 |    Inf 
19.79/19.89	o 499
19.79/19.89	c *19.9s|  1826 |   983 | 49738 |  27.1 |  13M| 536 |   - |1895 |4148 |1895 |1722 | 472 | 859 |1146 | 0.000000e+00 | 4.990000e+02 |    Inf 
21.49/21.53	o 480
21.49/21.53	c *21.5s|  2488 |  1173 | 58906 |  23.6 |  14M| 536 |   - |1895 |4314 |1895 |1734 | 696 |1461 |1155 | 0.000000e+00 | 4.800000e+02 |    Inf 
21.49/21.58	o 451
21.49/21.58	c *21.6s|  2508 |  1137 | 59128 |  23.5 |  14M| 536 |   - |1895 |4293 |1895 |1737 | 716 |1464 |1155 | 0.000000e+00 | 4.510000e+02 |    Inf 
22.39/22.47	o 390
22.39/22.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.39/22.47	c *22.5s|  2853 |  1202 | 63946 |  22.3 |  14M| 536 |   - |1895 |4257 |1895 |1725 | 859 |1746 |1158 | 0.000000e+00 | 3.900000e+02 |    Inf 
22.39/22.48	o 359
22.39/22.48	c *22.5s|  2854 |  1172 | 63946 |  22.3 |  14M| 536 |   - |1895 |4257 |1895 |1725 | 859 |1746 |1158 | 0.000000e+00 | 3.590000e+02 |    Inf 
22.99/23.01	o 309
22.99/23.01	c *23.0s|  3152 |  1162 | 66577 |  21.0 |  14M| 536 |   - |1895 |4440 |1895 |1723 | 964 |2085 |1158 | 0.000000e+00 | 3.090000e+02 |    Inf 
22.99/23.08	o 281
22.99/23.08	c *23.1s|  3200 |  1133 | 66742 |  20.8 |  14M| 536 |   - |1895 |4451 |1895 |1726 | 973 |2154 |1158 | 0.000000e+00 | 2.810000e+02 |    Inf 
22.99/23.09	o 229
22.99/23.09	c *23.1s|  3211 |  1079 | 66769 |  20.7 |  14M| 536 |   - |1895 |4480 |1895 |1726 | 973 |2183 |1158 | 0.000000e+00 | 2.290000e+02 |    Inf 
23.09/23.11	o 199
23.09/23.11	c *23.1s|  3215 |  1047 | 66789 |  20.7 |  14M| 536 |   - |1895 |4480 |1895 |1727 | 974 |2183 |1158 | 0.000000e+00 | 1.990000e+02 |    Inf 
25.09/25.12	o 179
25.09/25.12	c *25.1s|  4209 |  1254 | 76622 |  18.1 |  15M| 536 |   - |1895 |4611 |1895 |1724 |1236 |3145 |1171 | 0.000000e+00 | 1.790000e+02 |    Inf 
29.79/29.82	o 159
29.79/29.82	c *29.8s|  6131 |  1570 | 99527 |  16.2 |  16M| 536 |   - |1895 |4858 |1895 |1730 |1701 |5273 |1267 | 0.000000e+00 | 1.590000e+02 |    Inf 
39.19/39.29	c  39.3s| 10000 |  2156 |149589 |  14.9 |  20M| 536 |   - |1895 |5233 |   0 |   0 |2470 |9507 |1353 | 0.000000e+00 | 1.590000e+02 |    Inf 
40.79/40.85	o 154
40.79/40.85	c *40.8s| 10651 |  2268 |158342 |  14.8 |  21M| 536 |   - |1895 |5585 |1895 |1717 |2613 |  10k|1353 | 0.000000e+00 | 1.540000e+02 |    Inf 
40.79/40.85	o 129
40.79/40.85	c *40.8s| 10652 |  2229 |158342 |  14.8 |  21M| 536 |   - |1895 |5585 |1895 |1717 |2613 |  10k|1353 | 0.000000e+00 | 1.290000e+02 |    Inf 
41.29/41.32	o 109
41.29/41.32	c *41.3s| 10774 |  2206 |160792 |  14.9 |  21M| 536 |   - |1895 |5625 |1895 |1717 |2626 |  10k|1363 | 0.000000e+00 | 1.090000e+02 |    Inf 
64.39/64.42	c  64.4s| 20000 |  3314 |278957 |  13.9 |  30M| 536 |   9 |1895 |6287 |1895 |1730 |4598 |  21k|1546 | 0.000000e+00 | 1.090000e+02 |    Inf 
84.99/85.09	c  85.1s| 30000 |  3989 |373281 |  12.4 |  37M| 536 |  32 |1895 |6968 |1895 |1721 |6917 |  33k|1546 | 0.000000e+00 | 1.090000e+02 |    Inf 
95.79/95.88	o 101
95.79/95.88	c *95.9s| 34587 |  4312 |425710 |  12.3 |  41M| 536 |   - |1895 |6201 |1895 |1722 |8052 |  39k|1547 | 0.000000e+00 | 1.010000e+02 |    Inf 
106.49/106.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.49/106.56	c   107s| 40000 |  4602 |468603 |  11.7 |  44M| 536 |   1 |1895 |6630 |1895 |1730 |9176 |  46k|1598 | 0.000000e+00 | 1.010000e+02 |    Inf 
107.89/108.00	o 89
107.89/108.00	c * 108s| 40634 |  4452 |474690 |  11.7 |  43M| 536 |   - |1895 |6271 |1895 |1730 |9369 |  46k|1599 | 0.000000e+00 | 8.900000e+01 |    Inf 
129.19/129.21	c   129s| 50000 |  4689 |577419 |  11.5 |  48M| 536 |   5 |1895 |5433 |1895 |1724 |  10k|  59k|1764 | 0.000000e+00 | 8.900000e+01 |    Inf 
148.50/148.53	o 80
148.50/148.53	c * 149s| 59335 |  4751 |664089 |  11.2 |  49M| 536 |   - |1895 |7099 |1895 |1731 |  12k|  71k|1955 | 0.000000e+00 | 8.000000e+01 |    Inf 
149.99/150.05	c   150s| 60000 |  4756 |671366 |  11.2 |  49M| 536 |   - |1895 |6479 |1895 |1721 |  12k|  72k|1955 | 0.000000e+00 | 8.000000e+01 |    Inf 
169.30/169.30	c   169s| 70000 |  4963 |752031 |  10.7 |  54M| 536 |  12 |1895 |7542 |1895 |1721 |  14k|  85k|2129 | 0.000000e+00 | 8.000000e+01 |    Inf 
176.29/176.38	o 69
176.29/176.38	c * 176s| 73333 |  4919 |785783 |  10.7 |  53M| 536 |   - |1895 |6512 |1895 |1717 |  14k|  89k|2155 | 0.000000e+00 | 6.900000e+01 |    Inf 
190.20/190.24	c   190s| 80000 |  5122 |849149 |  10.6 |  56M| 536 |  21 |1895 |6027 |1895 |1717 |  15k|  99k|2281 | 0.000000e+00 | 6.900000e+01 |    Inf 
210.49/210.56	c   211s| 90000 |  5417 |943295 |  10.5 |  61M| 536 |   - |1895 |7379 |   0 |   0 |  17k| 113k|2497 | 0.000000e+00 | 6.900000e+01 |    Inf 
228.80/228.81	c   229s|100000 |  5710 |  1015k|  10.2 |  65M| 536 |   - |1895 |8032 |   0 |   0 |  18k| 125k|2606 | 0.000000e+00 | 6.900000e+01 |    Inf 
229.49/229.54	o 66
229.49/229.54	c * 230s|100331 |  5706 |  1019k|  10.2 |  65M| 536 |   - |1895 |7825 |1895 |1719 |  18k| 125k|2606 | 0.000000e+00 | 6.600000e+01 |    Inf 
239.19/239.22	o 57
239.19/239.22	c * 239s|104642 |  5656 |  1065k|  10.2 |  65M| 536 |   - |1895 |6722 |1895 |1727 |  19k| 131k|2703 | 0.000000e+00 | 5.700000e+01 |    Inf 
250.19/250.20	c   250s|110000 |  5734 |  1116k|  10.1 |  66M| 536 |  18 |1895 |5832 |1895 |1717 |  20k| 138k|2768 | 0.000000e+00 | 5.700000e+01 |    Inf 
269.99/270.03	c   270s|120000 |  5902 |  1212k|  10.1 |  70M| 536 |   - |1895 |7207 |1895 |1726 |  21k| 151k|2908 | 0.000000e+00 | 5.700000e+01 |    Inf 
290.90/290.97	c   291s|130000 |  6254 |  1315k|  10.1 |  75M| 536 |   - |1895 |8719 |   0 |   0 |  22k| 164k|3046 | 0.000000e+00 | 5.700000e+01 |    Inf 
312.10/312.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
312.10/312.12	c   312s|140000 |  6441 |  1412k|  10.1 |  78M| 536 |  15 |1895 |8715 |1895 |1723 |  24k| 177k|3223 | 0.000000e+00 | 5.700000e+01 |    Inf 
333.30/333.40	c   333s|150000 |  6684 |  1514k|  10.1 |  83M| 536 |   - |1895 |8518 |   0 |   0 |  25k| 190k|3332 | 0.000000e+00 | 5.700000e+01 |    Inf 
353.59/353.60	c   354s|160000 |  6898 |  1607k|  10.0 |  88M| 536 |  17 |1895 |  10k|1895 |1730 |  26k| 203k|3435 | 0.000000e+00 | 5.700000e+01 |    Inf 
373.90/373.95	c   374s|170000 |  7189 |  1692k|  10.0 |  91M| 536 |   - |1895 |8982 |   0 |   0 |  28k| 216k|3542 | 0.000000e+00 | 5.700000e+01 |    Inf 
381.10/381.16	o 56
381.10/381.16	c * 381s|173061 |  7357 |  1731k|  10.0 |  93M| 536 |   - |1895 |9736 |1895 |1723 |  29k| 220k|3600 | 0.000000e+00 | 5.600000e+01 |    Inf 
395.69/395.76	c   396s|180000 |  7534 |  1800k|  10.0 |  95M| 536 |   - |1895 |7509 |   0 |   0 |  30k| 229k|3696 | 0.000000e+00 | 5.600000e+01 |    Inf 
416.70/416.71	c   417s|190000 |  7810 |  1907k|  10.0 | 100M| 536 |   - |1895 |9366 |   0 |   0 |  31k| 243k|3805 | 0.000000e+00 | 5.600000e+01 |    Inf 
437.90/437.97	c   438s|200000 |  8081 |  2010k|  10.1 | 103M| 536 |   - |1895 |8600 |   0 |   0 |  33k| 256k|3920 | 0.000000e+00 | 5.600000e+01 |    Inf 
440.30/440.37	o 47
440.30/440.37	c * 440s|201306 |  7886 |  2019k|  10.0 | 101M| 536 |   - |1895 |9056 |1895 |1722 |  33k| 257k|3920 | 0.000000e+00 | 4.700000e+01 |    Inf 
440.30/440.37	o 46
440.30/440.37	c * 440s|201307 |  7880 |  2019k|  10.0 | 101M| 536 |   - |1895 |9056 |1895 |1722 |  33k| 257k|3920 | 0.000000e+00 | 4.600000e+01 |    Inf 
458.50/458.52	c   458s|210000 |  8034 |  2107k|  10.0 | 103M| 536 |  12 |1895 |6840 |1895 |1717 |  34k| 269k|4017 | 0.000000e+00 | 4.600000e+01 |    Inf 
480.40/480.42	c   480s|220000 |  8248 |  2221k|  10.1 | 107M| 536 |   - |1895 |7565 |1895 |1728 |  36k| 282k|4159 | 0.000000e+00 | 4.600000e+01 |    Inf 
502.30/502.35	c   502s|230000 |  8440 |  2332k|  10.1 | 111M| 536 |   - |1895 |9589 |   0 |   0 |  37k| 294k|4298 | 0.000000e+00 | 4.600000e+01 |    Inf 
518.60/518.69	o 43
518.60/518.69	c * 519s|238098 |  8465 |  2401k|  10.1 | 113M| 536 |   - |1895 |  11k|1895 |1745 |  38k| 306k|4343 | 0.000000e+00 | 4.300000e+01 |    Inf 
522.60/522.61	c   523s|240000 |  8496 |  2417k|  10.1 | 114M| 536 |   8 |1895 |  11k|1895 |1725 |  38k| 308k|4381 | 0.000000e+00 | 4.300000e+01 |    Inf 
546.00/546.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
546.00/546.00	c   546s|250000 |  8585 |  2541k|  10.2 | 115M| 536 |  38 |1895 |7948 |1895 |1717 |  40k| 322k|4522 | 0.000000e+00 | 4.300000e+01 |    Inf 
569.10/569.17	c   569s|260000 |  8791 |  2667k|  10.3 | 118M| 536 |  15 |1895 |7301 |1895 |1717 |  41k| 335k|4623 | 0.000000e+00 | 4.300000e+01 |    Inf 
594.81/594.88	c   595s|270000 |  8872 |  2812k|  10.4 | 121M| 536 |  33 |1895 |8731 |1895 |1717 |  42k| 348k|4772 | 0.000000e+00 | 4.300000e+01 |    Inf 
615.91/615.90	c   616s|280000 |  8950 |  2921k|  10.4 | 122M| 536 |  10 |1895 |7732 |1895 |1717 |  44k| 362k|4889 | 0.000000e+00 | 4.300000e+01 |    Inf 
636.91/636.93	c   637s|290000 |  9118 |  3024k|  10.4 | 126M| 536 |  31 |1895 |8449 |1895 |1717 |  45k| 375k|4985 | 0.000000e+00 | 4.300000e+01 |    Inf 
663.80/663.81	c   664s|300000 |  9298 |  3176k|  10.6 | 129M| 536 |   - |1895 |9287 |1895 |1725 |  47k| 387k|5154 | 0.000000e+00 | 4.300000e+01 |    Inf 
688.51/688.53	c   689s|310000 |  9372 |  3316k|  10.7 | 131M| 536 |   - |1895 |8458 |1895 |1717 |  48k| 401k|5269 | 0.000000e+00 | 4.300000e+01 |    Inf 
713.01/713.01	c   713s|320000 |  9466 |  3456k|  10.8 | 133M| 536 |   - |1895 |8275 |   0 |   0 |  50k| 415k|5377 | 0.000000e+00 | 4.300000e+01 |    Inf 
714.20/714.20	o 40
714.20/714.20	c * 714s|320535 |  9135 |  3463k|  10.8 | 126M| 536 |   - |1895 |8515 |1895 |1730 |  50k| 416k|5377 | 0.000000e+00 | 4.000000e+01 |    Inf 
714.20/714.23	o 32
714.20/714.23	c * 714s|320542 |  8408 |  3463k|  10.8 | 112M| 536 |   - |1895 |8324 |1895 |1730 |  50k| 416k|5377 | 0.000000e+00 | 3.200000e+01 |    Inf 
735.01/735.02	c   735s|330000 |  8527 |  3588k|  10.9 | 115M| 536 |   - |1895 |9490 |1895 |1717 |  52k| 428k|5475 | 0.000000e+00 | 3.200000e+01 |    Inf 
757.61/757.64	c   758s|340000 |  8664 |  3717k|  10.9 | 116M| 536 |  18 |1895 |7953 |1895 |1717 |  54k| 442k|5577 | 0.000000e+00 | 3.200000e+01 |    Inf 
778.71/778.73	c   779s|350000 |  8680 |  3840k|  11.0 | 118M| 536 |  27 |1895 |6884 |1895 |1717 |  56k| 455k|5681 | 0.000000e+00 | 3.200000e+01 |    Inf 
799.61/799.63	c   800s|360000 |  8869 |  3952k|  11.0 | 121M| 536 |   6 |1895 |9494 |1895 |1724 |  57k| 468k|5780 | 0.000000e+00 | 3.200000e+01 |    Inf 
820.71/820.74	c   821s|370000 |  8945 |  4067k|  11.0 | 124M| 536 |  27 |1895 |  10k|1895 |1717 |  59k| 481k|5895 | 0.000000e+00 | 3.200000e+01 |    Inf 
843.01/843.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
843.01/843.03	c   843s|380000 |  8998 |  4190k|  11.0 | 125M| 536 |  23 |1895 |9926 |1895 |1717 |  60k| 494k|6035 | 0.000000e+00 | 3.200000e+01 |    Inf 
863.91/863.92	c   864s|390000 |  9159 |  4296k|  11.0 | 130M| 536 |   - |1895 |  13k|1895 |1727 |  62k| 507k|6139 | 0.000000e+00 | 3.200000e+01 |    Inf 
885.51/885.57	c   886s|400000 |  9148 |  4410k|  11.0 | 131M| 536 |   - |1895 |9777 |   0 |   0 |  63k| 521k|6227 | 0.000000e+00 | 3.200000e+01 |    Inf 
906.91/906.97	c   907s|410000 |  9174 |  4528k|  11.0 | 133M| 536 |   - |1895 |  10k|1895 |1737 |  65k| 534k|6306 | 0.000000e+00 | 3.200000e+01 |    Inf 
924.31/924.37	o 16
924.31/924.37	c * 924s|418157 |  7136 |  4614k|  11.0 |  97M| 536 |   - |1895 |  12k|1895 |1741 |  67k| 544k|6377 | 0.000000e+00 | 1.600000e+01 |    Inf 
928.21/928.26	c   928s|420000 |  7142 |  4636k|  11.0 |  97M| 536 |  17 |1895 |  10k|1895 |1717 |  67k| 547k|6380 | 0.000000e+00 | 1.600000e+01 |    Inf 
949.01/949.04	c   949s|430000 |  7295 |  4750k|  11.0 | 100M| 536 |   - |1895 |  14k|   0 |   0 |  70k| 560k|6467 | 0.000000e+00 | 1.600000e+01 |    Inf 
970.51/970.51	c   970s|440000 |  7314 |  4860k|  11.0 | 101M| 536 |  21 |1895 |  14k|1895 |1735 |  71k| 572k|6564 | 0.000000e+00 | 1.600000e+01 |    Inf 
991.12/991.12	c   991s|450000 |  7257 |  4969k|  11.0 | 100M| 536 |  12 |1895 |  11k|1895 |1717 |  73k| 585k|6660 | 0.000000e+00 | 1.600000e+01 |    Inf 
1011.51/1011.50	c  1011s|460000 |  7444 |  5083k|  11.1 | 103M| 536 |   - |1895 |  14k|1895 |1717 |  75k| 598k|6733 | 0.000000e+00 | 1.600000e+01 |    Inf 
1033.11/1033.14	c  1033s|470000 |  7578 |  5200k|  11.1 | 104M| 536 |   5 |1895 |  15k|1895 |1717 |  77k| 611k|6801 | 0.000000e+00 | 1.600000e+01 |    Inf 
1054.72/1054.72	c  1055s|480000 |  7548 |  5321k|  11.1 | 106M| 536 |   - |1895 |  17k|1895 |1717 |  78k| 625k|6875 | 0.000000e+00 | 1.600000e+01 |    Inf 
1076.71/1076.75	c  1077s|490000 |  7611 |  5437k|  11.1 | 106M| 536 |  27 |1895 |  16k|1895 |1725 |  80k| 638k|6953 | 0.000000e+00 | 1.600000e+01 |    Inf 
1098.22/1098.20	c  1098s|500000 |  7495 |  5552k|  11.1 | 103M| 536 |   - |1895 |9455 |1895 |1731 |  82k| 652k|7081 | 0.000000e+00 | 1.600000e+01 |    Inf 
1119.71/1119.71	c  1120s|510000 |  7364 |  5689k|  11.2 | 102M| 536 |  10 |1895 |6517 |1895 |1717 |  83k| 666k|7187 | 0.000000e+00 | 1.600000e+01 |    Inf 
1141.22/1141.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1141.22/1141.21	c  1141s|520000 |  7242 |  5828k|  11.2 | 102M| 536 |   - |1895 |7954 |   0 |   0 |  85k| 680k|7269 | 0.000000e+00 | 1.600000e+01 |    Inf 
1161.21/1161.22	c  1161s|530000 |  7341 |  5946k|  11.2 | 105M| 536 |   5 |1895 |  12k|1895 |1717 |  86k| 694k|7326 | 0.000000e+00 | 1.600000e+01 |    Inf 
1184.41/1184.46	c  1184s|540000 |  7456 |  6087k|  11.3 | 107M| 536 |   - |1895 |  13k|   0 |   0 |  88k| 708k|7418 | 0.000000e+00 | 1.600000e+01 |    Inf 
1206.32/1206.30	c  1206s|550000 |  7340 |  6214k|  11.3 | 105M| 536 |   - |1895 |  11k|1895 |1731 |  89k| 722k|7488 | 0.000000e+00 | 1.600000e+01 |    Inf 
1227.41/1227.49	c  1227s|560000 |  7279 |  6342k|  11.3 | 104M| 536 |   - |1895 |8319 |   0 |   0 |  90k| 736k|7617 | 0.000000e+00 | 1.600000e+01 |    Inf 
1248.42/1248.42	c  1248s|570000 |  7188 |  6474k|  11.4 | 104M| 536 |   - |1895 |7878 |   0 |   0 |  92k| 751k|7748 | 0.000000e+00 | 1.600000e+01 |    Inf 
1268.82/1268.82	c  1269s|580000 |  7262 |  6601k|  11.4 | 106M| 536 |  15 |1895 |  12k|1895 |1717 |  93k| 765k|7808 | 0.000000e+00 | 1.600000e+01 |    Inf 
1290.23/1290.24	c  1290s|590000 |  7319 |  6724k|  11.4 | 108M| 536 |   8 |1895 |  16k|1895 |1725 |  94k| 778k|7855 | 0.000000e+00 | 1.600000e+01 |    Inf 
1312.12/1312.11	c  1312s|600000 |  7374 |  6843k|  11.4 | 110M| 536 |   - |1895 |  17k|   0 |   0 |  95k| 792k|7945 | 0.000000e+00 | 1.600000e+01 |    Inf 
1336.32/1336.32	c  1336s|610000 |  7437 |  6982k|  11.4 | 111M| 536 |   - |1895 |  19k|1895 |1717 |  96k| 806k|8034 | 0.000000e+00 | 1.600000e+01 |    Inf 
1359.83/1359.87	c  1360s|620000 |  7251 |  7116k|  11.5 | 106M| 536 |  15 |1895 |  10k|1895 |1720 |  98k| 820k|8151 | 0.000000e+00 | 1.600000e+01 |    Inf 
1381.42/1381.50	c  1381s|630000 |  7254 |  7242k|  11.5 | 106M| 536 |   1 |1895 |  10k|1895 |1717 |  99k| 834k|8235 | 0.000000e+00 | 1.600000e+01 |    Inf 
1402.53/1402.57	c  1403s|640000 |  7438 |  7363k|  11.5 | 109M| 536 |   1 |1895 |  14k|1895 |1736 | 101k| 847k|8317 | 0.000000e+00 | 1.600000e+01 |    Inf 
1423.32/1423.34	c  1423s|650000 |  7557 |  7472k|  11.5 | 112M| 536 |   - |1895 |  18k|   0 |   0 | 103k| 860k|8374 | 0.000000e+00 | 1.600000e+01 |    Inf 
1446.13/1446.14	c  1446s|660000 |  7673 |  7592k|  11.5 | 114M| 536 |  29 |1895 |  20k|1895 |1734 | 104k| 873k|8422 | 0.000000e+00 | 1.600000e+01 |    Inf 
1469.52/1469.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1469.52/1469.59	c  1470s|670000 |  7689 |  7713k|  11.5 | 114M| 536 |   1 |1895 |  18k|1895 |1717 | 105k| 886k|8523 | 0.000000e+00 | 1.600000e+01 |    Inf 
1491.72/1491.73	c  1492s|680000 |  7796 |  7816k|  11.5 | 117M| 536 |   - |1895 |  24k|1895 |1717 | 107k| 899k|8601 | 0.000000e+00 | 1.600000e+01 |    Inf 
1514.52/1514.51	c  1514s|690000 |  7663 |  7922k|  11.5 | 115M| 536 |  21 |1895 |  21k|1895 |1717 | 109k| 912k|8664 | 0.000000e+00 | 1.600000e+01 |    Inf 
1539.93/1539.90	c  1540s|700000 |  7758 |  8049k|  11.5 | 117M| 536 |   - |1895 |  25k|   0 |   0 | 110k| 926k|8746 | 0.000000e+00 | 1.600000e+01 |    Inf 
1563.33/1563.31	c  1563s|710000 |  7895 |  8149k|  11.5 | 120M| 536 |  14 |1895 |  28k|1895 |1717 | 112k| 940k|8784 | 0.000000e+00 | 1.600000e+01 |    Inf 
1587.03/1587.07	c  1587s|720000 |  8019 |  8250k|  11.5 | 121M| 536 |   - |1895 |  29k|   0 |   0 | 113k| 953k|8862 | 0.000000e+00 | 1.600000e+01 |    Inf 
1611.44/1611.41	c  1611s|730000 |  8009 |  8349k|  11.4 | 122M| 536 |  20 |1895 |  29k|1895 |1717 | 114k| 966k|8924 | 0.000000e+00 | 1.600000e+01 |    Inf 
1637.93/1637.98	c  1638s|740000 |  8111 |  8455k|  11.4 | 124M| 536 |   - |1895 |  33k|1895 |1717 | 116k| 980k|8964 | 0.000000e+00 | 1.600000e+01 |    Inf 
1666.43/1666.47	c  1666s|750000 |  8199 |  8568k|  11.4 | 126M| 536 |  29 |1895 |  34k|1895 |1717 | 117k| 993k|9053 | 0.000000e+00 | 1.600000e+01 |    Inf 
1696.24/1696.28	c  1696s|760000 |  8352 |  8691k|  11.4 | 128M| 536 |   - |1895 |  37k|   0 |   0 | 118k|1006k|9100 | 0.000000e+00 | 1.600000e+01 |    Inf 
1724.33/1724.33	c  1724s|770000 |  8400 |  8805k|  11.4 | 129M| 536 |   - |1895 |  37k|   0 |   0 | 119k|1019k|9149 | 0.000000e+00 | 1.600000e+01 |    Inf 
1753.43/1753.42	c  1753s|780000 |  8197 |  8927k|  11.4 | 126M| 536 |  19 |1895 |  30k|1895 |1717 | 121k|1033k|9230 | 0.000000e+00 | 1.600000e+01 |    Inf 
1778.24/1778.23	c  1778s|790000 |  8055 |  9033k|  11.4 | 122M| 536 |   1 |1895 |  23k|1895 |1722 | 122k|1046k|9278 | 0.000000e+00 | 1.600000e+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      : 794882
1790.04/1790.00	c Primal Bound       : +1.60000000000000e+01 (97 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-2705651-1278574743.wbo
1790.04/1790.01	c   Variables        : 2029 (1130 binary, 0 integer, 899 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3607 initial, 3607 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705651-1278574743.wbo
1790.04/1790.01	c   Variables        : 1895 (1063 binary, 0 integer, 832 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3345 initial, 39187 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00         67          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.00         67          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   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   setppc           :       0.00          0          0          0          0          0          4          0          0
1790.04/1790.01	c   linear           :       0.05          0          0          0        915          0        191        132          0
1790.04/1790.01	c   indicator        :       0.00          0          0          0          0          0         67          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        :          -       1432          -          -       1432          -          -          -          -
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     449636          0        193       1867          0          0     843036
1790.04/1790.01	c   knapsack         :          1          6    4002341      26107          2      38944   10966941          4          0          0
1790.04/1790.01	c   setppc           :         51          6    3975706      26123          2      42492    1834581          0          0          0
1790.04/1790.01	c   linear           :        832+         7    3935309      26396          2      51828    3871837     123153          0          0
1790.04/1790.01	c   indicator        :        832          0    3880013      26505          2       4737    9623243          0          0          0
1790.04/1790.01	c   logicor          :       1629+         6    1858841       6311          2     144360    6691222          0          0          0
1790.04/1790.01	c   bounddisjunction :          0+         0     439436          0          0        546       7457          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0       6311          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      41.55       0.00       0.00      41.55       0.00
1790.04/1790.01	c   knapsack         :      35.89       0.00      35.87       0.01       0.00
1790.04/1790.01	c   setppc           :      11.08       0.00      11.05       0.02       0.00
1790.04/1790.01	c   linear           :      47.50       0.00      46.55       0.95       0.00
1790.04/1790.01	c   indicator        :      42.13       0.02      41.06       1.06       0.00
1790.04/1790.01	c   logicor          :     176.43       0.00     176.34       0.09       0.00
1790.04/1790.01	c   bounddisjunction :       1.39       0.00       1.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          :       1.05     215885          1       7700
1790.04/1790.01	c   rootredcost      :       0.60         32          0        716
1790.04/1790.01	c   pseudoobj        :      70.45    4047563      30736   10286688
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :      12.25     308906     308576    1736153       28.3      11406       26.4          -
1790.04/1790.01	c   infeasible LP    :      18.44      96685      96683     738426       43.0        969       18.2          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          2          2         10       20.5          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -    1053411       27.1          -          -          -
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          5          -          -         66          -    (maximal pool size: 391)
1790.04/1790.01	c   redcost          :      18.55     458495          0     207261          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          5          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.16          5          0          0       1005          0
1790.04/1790.01	c   strongcg         :       0.13          5          0          0       1781          0
1790.04/1790.01	c   cmir             :       0.02          5          0          0          2          0
1790.04/1790.01	c   flowcover        :       0.04          5          0          0          6          0
1790.04/1790.01	c   clique           :       0.00          5          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.07          1          0          0          0          3
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        :      41.21     423116        193       1867          0          0     843036
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :       0.90       6281          0          0          0          0      12562
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.04          -         31
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   intshifting      :       0.01          0          0
1790.04/1790.01	c   feaspump         :       0.02          1          0
1790.04/1790.01	c   oneopt           :       0.40         29          0
1790.04/1790.01	c   veclendiving     :       0.13         41          0
1790.04/1790.01	c   rootsoldiving    :       0.15         21          0
1790.04/1790.01	c   pscostdiving     :       0.11         42          0
1790.04/1790.01	c   fracdiving       :       0.17         42          0
1790.04/1790.01	c   linesearchdiving :       0.11         42          0
1790.04/1790.01	c   guideddiving     :       0.12         42          0
1790.04/1790.01	c   coefdiving       :       0.11         42          0
1790.04/1790.01	c   objpscostdiving  :       0.14         22          0
1790.04/1790.01	c   crossover        :       1.12         39          0
1790.04/1790.01	c   trivial          :       0.00          2          0
1790.04/1790.01	c   simplerounding   :       0.59     424451          0
1790.04/1790.01	c   zirounding       :       0.22       1000          0
1790.04/1790.01	c   rounding         :       0.90       9217          0
1790.04/1790.01	c   shifting         :       0.88       2925          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.00          0          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.13          0          0
1790.04/1790.01	c   trysol           :       0.21         74         66
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          :     980.77     541280    9085395      16.79    9263.56
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:       0.77        397       4809      12.11    6258.90
1790.04/1790.01	c   strong branching :      37.35       9379     362241      38.62    9699.82
1790.04/1790.01	c     (at root node) :          -          0          0       0.00          -
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            :     794882
1790.04/1790.01	c   nodes (total)    :     794882
1790.04/1790.01	c   nodes left       :       7740
1790.04/1790.01	c   max depth        :        536
1790.04/1790.01	c   max depth (total):        536
1790.04/1790.01	c   backtracks       :      88548 (11.1%)
1790.04/1790.01	c   delayed cutoffs  :      47684
1790.04/1790.01	c   repropagations   :    1639324 (7191443 domain reductions, 43024 cutoffs)
1790.04/1790.01	c   avg switch length:       6.47
1790.04/1790.01	c   switching time   :     180.42
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :         97 (32 improvements)
1790.04/1790.01	c   First Solution   : +4.26740000000000e+04   (in run 1, after 1 nodes, 0.56 seconds, depth 0, found by <trysol>)
1790.04/1790.01	c   Primal Bound     : +1.60000000000000e+01   (in run 1, after 418157 nodes, 924.33 seconds, depth 69, 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  :        257
1790.14/1790.15	c Time complete: 1790.19.

Verifier Data 

OK	16

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.68 4/178 21482
/proc/meminfo: memFree=28480344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=12552 CPUtime=0
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 1973 0 0 0 0 0 0 0 25 0 1 0 25688197 12853248 1891 4089446400 4194304 10345943 140734318888368 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21482/statm: 3138 1891 429 1502 0 1631 0

[startup+0.05619 s]
/proc/loadavg: 2.00 1.99 1.68 4/178 21482
/proc/meminfo: memFree=28480344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=26392 CPUtime=0.04
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 5627 0 0 0 4 0 0 0 25 0 1 0 25688197 27025408 5191 4089446400 4194304 10345943 140734318888368 18446744073709551615 4982375 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21482/statm: 6598 5191 534 1502 0 5091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26392

[startup+0.100182 s]
/proc/loadavg: 2.00 1.99 1.68 4/178 21482
/proc/meminfo: memFree=28480344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=27416 CPUtime=0.09
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 5917 0 0 0 9 0 0 0 25 0 1 0 25688197 28073984 5481 4089446400 4194304 10345943 140734318888368 18446744073709551615 5093471 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21482/statm: 6854 5481 561 1502 0 5347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27416

[startup+0.300146 s]
/proc/loadavg: 2.00 1.99 1.68 4/178 21482
/proc/meminfo: memFree=28480344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=0.29
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 11766 0 0 0 27 2 0 0 25 0 1 0 25688197 53678080 11328 4089446400 4194304 10345943 140734318888368 18446744073709551615 6123067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21482/statm: 13105 11328 759 1502 0 11598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52420

[startup+0.701076 s]
/proc/loadavg: 2.00 1.99 1.68 4/178 21482
/proc/meminfo: memFree=28480344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=0.69
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 11981 0 0 0 67 2 0 0 25 0 1 0 25688197 53678080 11543 4089446400 4194304 10345943 140734318888368 18446744073709551615 4999805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21482/statm: 13105 11543 770 1502 0 11598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52420

[startup+1.50093 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28437060/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=1.49
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 12059 0 0 0 147 2 0 0 25 0 1 0 25688197 53678080 11621 4089446400 4194304 10345943 140734318888368 18446744073709551615 7569474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21482/statm: 13105 11621 778 1502 0 11598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52420

[startup+3.10071 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28437060/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=3.09
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 12082 0 0 0 306 3 0 0 25 0 1 0 25688197 53678080 11644 4089446400 4194304 10345943 140734318888368 18446744073709551615 6856974 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21482/statm: 13105 11644 778 1502 0 11598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52420

[startup+6.30007 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 21500
/proc/meminfo: memFree=28979812/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=6.29
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 12095 0 0 0 625 4 0 0 25 0 1 0 25688197 53678080 11657 4089446400 4194304 10345943 140734318888368 18446744073709551615 7569532 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21482/statm: 13105 11657 779 1502 0 11598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52420

[startup+12.7009 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 21510
/proc/meminfo: memFree=28932432/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52420 CPUtime=12.68
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 12369 0 0 0 1261 7 0 0 25 0 1 0 25688197 53678080 11931 4089446400 4194304 10345943 140734318888368 18446744073709551615 7569440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 13105 11931 783 1502 0 11598 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52420

[startup+25.5007 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 21510
/proc/meminfo: memFree=28923668/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=52656 CPUtime=25.49
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 23713 0 0 0 2532 17 0 0 25 0 1 0 25688197 53919744 11810 4089446400 4194304 10345943 140734318888368 18446744073709551615 6525262 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 13164 11810 788 1502 0 11657 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52656

[startup+51.1011 s]
/proc/loadavg: 1.96 1.97 1.69 3/179 21511
/proc/meminfo: memFree=28869664/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=79376 CPUtime=51.09
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 63549 0 0 0 5068 41 0 0 25 0 1 0 25688197 81281024 18384 4089446400 4194304 10345943 140734318888368 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 19844 18384 804 1502 0 18337 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79376

[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.70 3/179 21512
/proc/meminfo: memFree=28760744/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=124716 CPUtime=102.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 87525 0 0 0 10158 72 0 0 25 0 1 0 25688197 127709184 29457 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 31179 29459 804 1502 0 29672 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124716

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 21514
/proc/meminfo: memFree=28662980/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=151096 CPUtime=162.29
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 132343 0 0 0 16119 110 0 0 25 0 1 0 25688197 154722304 35932 4089446400 4194304 10345943 140734318888368 18446744073709551615 6120414 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 37774 35932 804 1502 0 36267 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 151096

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.73 3/179 21516
/proc/meminfo: memFree=28564468/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=176708 CPUtime=222.29
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 161385 0 0 0 22090 139 0 0 25 0 1 0 25688197 180948992 42264 4089446400 4194304 10345943 140734318888368 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 44177 42264 804 1502 0 42670 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 176708

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 21518
/proc/meminfo: memFree=28486548/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=183448 CPUtime=282.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 183427 0 0 0 28058 172 0 0 25 0 1 0 25688197 187850752 43975 4089446400 4194304 10345943 140734318888368 18446744073709551615 7569344 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 45862 43975 804 1502 0 44355 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 183448

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 21518
/proc/meminfo: memFree=28391748/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=200676 CPUtime=342.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 199096 0 0 0 34024 206 0 0 25 0 1 0 25688197 205492224 47881 4089446400 4194304 10345943 140734318888368 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 50169 47881 804 1502 0 48662 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 200676

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 21520
/proc/meminfo: memFree=28304892/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=217132 CPUtime=402.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 219433 0 0 0 39994 236 0 0 25 0 1 0 25688197 222343168 51769 4089446400 4194304 10345943 140734318888368 18446744073709551615 6699840 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 54283 51769 804 1502 0 52776 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 217132

[startup+462.301 s]
/proc/loadavg: 2.04 1.99 1.79 3/179 21522
/proc/meminfo: memFree=28218784/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=231784 CPUtime=462.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 245933 0 0 0 45960 270 0 0 25 0 1 0 25688197 237346816 55068 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 57946 55068 804 1502 0 56439 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 231784

[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.80 3/179 21524
/proc/meminfo: memFree=28135908/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=247980 CPUtime=522.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 261834 0 0 0 51927 303 0 0 25 0 1 0 25688197 253931520 58459 4089446400 4194304 10345943 140734318888368 18446744073709551615 5615616 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 61995 58459 804 1502 0 60488 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 247980

[startup+582.3 s]
/proc/loadavg: 2.06 2.00 1.81 3/179 21526
/proc/meminfo: memFree=28059104/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=254732 CPUtime=582.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 278824 0 0 0 57888 342 0 0 25 0 1 0 25688197 260845568 60027 4089446400 4194304 10345943 140734318888368 18446744073709551615 6785508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 63683 60027 804 1502 0 62176 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 254732

[startup+642.301 s]
/proc/loadavg: 2.02 2.00 1.82 3/179 21526
/proc/meminfo: memFree=27971616/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=262740 CPUtime=642.3
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 288352 0 0 0 63854 376 0 0 25 0 1 0 25688197 269045760 62098 4089446400 4194304 10345943 140734318888368 18446744073709551615 6802976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21482/statm: 65685 62098 804 1502 0 64178 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 262740

[startup+702.301 s]

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

/proc/meminfo: memFree=27507548/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=299416 CPUtime=1002.31
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 338352 0 0 0 99644 587 0 0 25 0 1 0 25688197 306601984 70224 4089446400 4194304 10345943 140734318888368 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 74854 70224 805 1502 0 73347 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 299416

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/179 21538
/proc/meminfo: memFree=27433480/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=302588 CPUtime=1062.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 341965 0 0 0 105609 623 0 0 25 0 1 0 25688197 309850112 70928 4089446400 4194304 10345943 140734318888368 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 75647 70928 805 1502 0 74140 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 302588

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.88 3/179 21540
/proc/meminfo: memFree=27360748/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=303500 CPUtime=1122.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 343437 0 0 0 111572 660 0 0 25 0 1 0 25688197 310784000 71248 4089446400 4194304 10345943 140734318888368 18446744073709551615 6120450 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 75875 71248 805 1502 0 74368 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 303500

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/179 21542
/proc/meminfo: memFree=27288048/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=302028 CPUtime=1182.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 348165 0 0 0 117537 695 0 0 25 0 1 0 25688197 309276672 71203 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 75507 71203 805 1502 0 74000 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 302028

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 21542
/proc/meminfo: memFree=27214344/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=302912 CPUtime=1242.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 354751 0 0 0 123498 734 0 0 25 0 1 0 25688197 310181888 71361 4089446400 4194304 10345943 140734318888368 18446744073709551615 4216953 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 75728 71361 805 1502 0 74221 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 302912

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21544
/proc/meminfo: memFree=27141872/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=303456 CPUtime=1302.33
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 360929 0 0 0 129460 773 0 0 25 0 1 0 25688197 310738944 71451 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 75864 71451 805 1502 0 74357 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 303456

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21555
/proc/meminfo: memFree=27061596/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=307692 CPUtime=1362.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 365868 0 0 0 135426 806 0 0 25 0 1 0 25688197 315076608 72139 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 76923 72139 805 1502 0 75416 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 307692

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21557
/proc/meminfo: memFree=26987516/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=308116 CPUtime=1422.33
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 371676 0 0 0 141394 839 0 0 25 0 1 0 25688197 315510784 72410 4089446400 4194304 10345943 140734318888368 18446744073709551615 4230863 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 77029 72410 805 1502 0 75522 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 308116

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21559
/proc/meminfo: memFree=26914668/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=309416 CPUtime=1482.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 377160 0 0 0 147362 870 0 0 25 0 1 0 25688197 316841984 72842 4089446400 4194304 10345943 140734318888368 18446744073709551615 8160432 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 77354 72842 805 1502 0 75847 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 309416

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21559
/proc/meminfo: memFree=26843336/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=311364 CPUtime=1542.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 379353 0 0 0 153332 900 0 0 25 0 1 0 25688197 318836736 73326 4089446400 4194304 10345943 140734318888368 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 77841 73326 805 1502 0 76334 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 311364

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21561
/proc/meminfo: memFree=26765412/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=315120 CPUtime=1602.32
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 381157 0 0 0 159307 925 0 0 25 0 1 0 25688197 322682880 74024 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 78780 74024 805 1502 0 77273 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 315120

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21563
/proc/meminfo: memFree=26689852/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=318592 CPUtime=1662.33
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 384480 0 0 0 165283 950 0 0 25 0 1 0 25688197 326238208 75138 4089446400 4194304 10345943 140734318888368 18446744073709551615 5085604 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 79648 75138 805 1502 0 78141 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 318592

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/179 21565
/proc/meminfo: memFree=26616752/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=321788 CPUtime=1722.33
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 387753 0 0 0 171258 975 0 0 25 0 1 0 25688197 329510912 75933 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 80447 75933 805 1502 0 78940 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 321788

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26539564/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=323144 CPUtime=1782.34
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 389802 0 0 0 177230 1004 0 0 25 0 1 0 25688197 330899456 76230 4089446400 4194304 10345943 140734318888368 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 80786 76230 805 1502 0 79279 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 323144

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26534852/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=324716 CPUtime=1785.53
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 390159 0 0 0 177548 1005 0 0 25 0 1 0 25688197 332509184 76314 4089446400 4194304 10345943 140734318888368 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 81179 76314 805 1502 0 79672 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 324716

[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26529884/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=324716 CPUtime=1788.73
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 390186 0 0 0 177866 1007 0 0 25 0 1 0 25688197 332509184 76341 4089446400 4194304 10345943 140734318888368 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 81179 76341 805 1502 0 79672 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 324716

[startup+1789.5 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26529884/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=324188 CPUtime=1789.53
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 390419 0 0 0 177946 1007 0 0 25 0 1 0 25688197 331968512 76267 4089446400 4194304 10345943 140734318888368 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 81047 76267 805 1502 0 79540 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 324188

[startup+1789.9 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26527776/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=324188 CPUtime=1789.94
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 390437 0 0 0 177986 1008 0 0 25 0 1 0 25688197 331968512 76285 4089446400 4194304 10345943 140734318888368 18446744073709551615 7583232 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21482/statm: 81047 76285 805 1502 0 79540 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 324188

[startup+1790.1 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 21567
/proc/meminfo: memFree=26527776/32950904 swapFree=67111528/67111528
[pid=21482] ppid=21480 vsize=324188 CPUtime=1790.14
/proc/21482/stat : 21482 (pbscip.linux.x8) R 21480 21482 21202 0 -1 4202496 390438 0 0 0 178006 1008 0 0 18 0 1 0 25688197 331968512 76286 4089446400 4194304 10345943 140734318888368 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21482/statm: 81047 76286 806 1502 0 79540 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 324188

Child status: 0
Real time (s): 1790.16
CPU time (s): 1790.2
CPU user time (s): 1780.1
CPU system time (s): 10.0945
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 325308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.1
system time used= 10.0945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390441
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= 5
involuntary context switches= 9934

runsolver used 3.41848 second user time and 6.09907 second system time

The end

Launcher Data 

Begin job on node121 at 2010-07-08 09:39:03
IDJOB=2705651
IDBENCH=78968
IDSOLVER=1214
FILE ID=node121/2705651-1278574743
PBS_JOBID= 11240212
Free space on /tmp= 73656 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.1900570242--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-2705651-1278574743/watcher-2705651-1278574743 -o /tmp/evaluation-result-2705651-1278574743/solver-2705651-1278574743 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705651-1278574743.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2
RANDOM SEED=376466021

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      28480996 kB
Buffers:        150868 kB
Cached:        3565880 kB
SwapCached:          0 kB
Active:        1955040 kB
Inactive:      2354004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      28480996 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12836 kB
Writeback:           0 kB
AnonPages:      592472 kB
Mapped:          17812 kB
Slab:            95920 kB
PageTables:       6068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   761948 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= 73644 MiB
End job on node121 at 2010-07-08 10:08:53