Trace number 2692317

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.2 1800.22

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
MD5SUMd52b3728da19986b004dc30001a23e20
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 benchmark327.101
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
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: SoPlex 1.4.2] [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-2692317-1277912670.wbo>
0.01/0.02	c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.01/0.02	c problem read
0.01/0.02	c presolving settings loaded
0.01/0.04	c presolving:
0.01/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.01/0.07	c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.01/0.09	c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10	c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11	c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15	c  1114 implications, 18 cliques
0.09/0.15	c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15	c     832 constraints of type <indicator>
0.09/0.15	c       1 constraints of type <knapsack>
0.09/0.15	c      18 constraints of type <setppc>
0.09/0.15	c     832 constraints of type <linear>
0.09/0.15	c    1615 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.10
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    69 |     - |8646k|   0 |  35 |1895 |3298 |1895 |1634 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	o 40432
0.19/0.21	c y 0.1s|     1 |     0 |   357 |     - |8678k|   0 |  35 |1895 |3298 |1895 |1634 |   0 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   395 |     - |8888k|   0 |  56 |1895 |3298 |1895 |1648 |  14 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.29/0.39	c   0.3s|     1 |     0 |   451 |     - |9005k|   0 |  60 |1895 |3298 |1895 |1654 |  20 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.49/0.51	c   0.4s|     1 |     0 |   464 |     - |9008k|   0 |  58 |1895 |3298 |1895 |1656 |  22 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |   480 |     - |9011k|   0 |  59 |1895 |3298 |1895 |1658 |  24 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.69/0.77	c   0.7s|     1 |     0 |   492 |     - |9014k|   0 |  64 |1895 |3298 |1895 |1661 |  27 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.89/0.90	c   0.8s|     1 |     0 |   494 |     - |9014k|   0 |  64 |1895 |3298 |1895 |1662 |  28 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
1.59/1.67	c   1.5s|     1 |     2 |   494 |     - |9043k|   0 |  64 |1895 |3298 |1895 |1662 |  28 |   0 |  33 | 0.000000e+00 | 4.043200e+04 |    Inf 
4.00/4.08	o 587
4.00/4.08	c * 3.9s|    46 |    25 |  1057 |  12.5 |9324k|  19 |   - |1895 |3341 |1895 |1664 |  43 |  43 | 380 | 0.000000e+00 | 5.870000e+02 |    Inf 
4.09/4.17	o 558
4.09/4.17	c * 4.0s|    50 |    27 |  1095 |  12.3 |9741k|  19 |   - |1895 |3341 |1895 |1660 |  43 |  43 | 406 | 0.000000e+00 | 5.580000e+02 |    Inf 
4.19/4.20	o 505
4.19/4.20	c * 4.0s|    53 |    26 |  1102 |  11.7 |9794k|  19 |   - |1895 |3346 |1895 |1660 |  43 |  48 | 415 | 0.000000e+00 | 5.050000e+02 |    Inf 
5.09/5.17	o 461
5.09/5.17	c * 4.9s|   100 |    41 |  1702 |  12.2 |  10M|  21 |   - |1895 |3395 |1895 |1665 |  96 |  97 | 644 | 0.000000e+00 | 4.610000e+02 |    Inf 
5.09/5.18	o 380
5.09/5.18	c * 4.9s|   101 |    38 |  1702 |  12.1 |  10M|  21 |   - |1895 |3395 |1895 |1665 |  96 |  97 | 644 | 0.000000e+00 | 3.800000e+02 |    Inf 
5.99/6.02	o 376
5.99/6.02	c * 5.7s|   170 |    59 |  2229 |  10.3 |  10M|  21 |   - |1895 |3471 |1895 |1667 | 116 | 173 | 880 | 0.000000e+00 | 3.760000e+02 |    Inf 
5.99/6.05	o 345
5.99/6.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.05	c * 5.8s|   174 |    58 |  2281 |  10.3 |  10M|  21 |   - |1895 |3471 |1895 |1664 | 120 | 173 | 887 | 0.000000e+00 | 3.450000e+02 |    Inf 
5.99/6.09	o 343
5.99/6.09	c * 5.8s|   197 |    58 |  2334 |   9.4 |  10M|  28 |   - |1895 |3495 |1895 |1660 | 120 | 197 | 888 | 0.000000e+00 | 3.430000e+02 |    Inf 
6.10/6.10	o 309
6.10/6.10	c * 5.8s|   200 |    57 |  2369 |   9.4 |  10M|  28 |   - |1895 |3495 |1895 |1666 | 126 | 197 | 888 | 0.000000e+00 | 3.090000e+02 |    Inf 
6.19/6.25	o 276
6.19/6.25	c * 5.9s|   233 |    54 |  2474 |   8.5 |  10M|  28 |   - |1895 |3520 |1895 |1660 | 126 | 222 | 921 | 0.000000e+00 | 2.760000e+02 |    Inf 
7.09/7.16	o 258
7.09/7.16	c * 6.8s|   380 |    68 |  3059 |   6.8 |  11M|  37 |   - |1895 |3695 |1895 |1668 | 163 | 397 |1166 | 0.000000e+00 | 2.580000e+02 |    Inf 
7.99/8.01	o 236
7.99/8.01	c * 7.6s|   594 |    96 |  3890 |   5.7 |  12M|  37 |   - |1895 |3969 |1895 |1660 | 196 | 700 |1356 | 0.000000e+00 | 2.360000e+02 |    Inf 
7.99/8.01	o 220
7.99/8.01	c * 7.6s|   595 |    91 |  3894 |   5.7 |  12M|  37 |   - |1895 |3969 |1895 |1660 | 196 | 700 |1356 | 0.000000e+00 | 2.200000e+02 |    Inf 
7.99/8.08	o 190
7.99/8.08	c * 7.7s|   614 |    91 |  3958 |   5.7 |  12M|  37 |   - |1895 |3988 |1895 |1660 | 196 | 726 |1374 | 0.000000e+00 | 1.900000e+02 |    Inf 
8.19/8.22	o 156
8.19/8.22	c * 7.8s|   685 |    83 |  4076 |   5.2 |  12M|  37 |   - |1895 |4039 |1895 |1660 | 196 | 812 |1393 | 0.000000e+00 | 1.560000e+02 |    Inf 
8.79/8.87	o 155
8.79/8.87	c * 8.4s|   864 |   101 |  4978 |   5.2 |  13M|  42 |   - |1895 |4183 |1895 |1660 | 246 |1016 |1531 | 0.000000e+00 | 1.550000e+02 |    Inf 
10.60/10.67	o 135
10.60/10.67	c *10.1s|  1422 |   148 |  7605 |   5.0 |  14M|  42 |   - |1895 |4740 |1895 |1668 | 360 |1685 |1844 | 0.000000e+00 | 1.350000e+02 |    Inf 
12.00/12.07	o 100
12.00/12.07	c *11.4s|  2189 |   208 | 10110 |   4.4 |  14M|  42 |   - |1895 |5321 |1895 |1660 | 420 |2532 |1949 | 0.000000e+00 | 1.000000e+02 |    Inf 
12.19/12.22	o 89
12.19/12.22	c *11.6s|  2311 |   202 | 10322 |   4.3 |  14M|  42 |   - |1895 |5444 |1895 |1660 | 425 |2718 |1951 | 0.000000e+00 | 8.900000e+01 |    Inf 
12.40/12.47	o 72
12.40/12.47	c *11.8s|  2472 |   196 | 10759 |   4.2 |  14M|  42 |   - |1895 |5423 |1895 |1660 | 450 |2893 |1958 | 0.000000e+00 | 7.200000e+01 |    Inf 
13.20/13.29	o 64
13.20/13.29	c *12.6s|  3010 |   206 | 12477 |   4.0 |  14M|  42 |   - |1895 |5554 |1895 |1660 | 476 |3604 |1983 | 0.000000e+00 | 6.400000e+01 |    Inf 
14.09/14.13	o 62
14.09/14.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.09/14.13	c *13.4s|  3479 |   232 | 14590 |   4.1 |  14M|  42 |   - |1895 |5452 |1895 |1661 | 522 |4232 |2016 | 0.000000e+00 | 6.200000e+01 |    Inf 
15.79/15.86	o 56
15.79/15.86	c *15.0s|  4518 |   253 | 19207 |   4.1 |  14M|  42 |   - |1895 |5385 |1895 |1660 | 598 |5559 |2044 | 0.000000e+00 | 5.600000e+01 |    Inf 
15.89/15.91	o 51
15.89/15.91	c *15.1s|  4553 |   251 | 19296 |   4.1 |  14M|  42 |   - |1895 |5316 |1895 |1661 | 599 |5597 |2044 | 0.000000e+00 | 5.100000e+01 |    Inf 
15.89/15.91	o 48
15.89/15.91	c *15.1s|  4554 |   249 | 19297 |   4.1 |  14M|  42 |   - |1895 |5316 |1895 |1661 | 599 |5597 |2044 | 0.000000e+00 | 4.800000e+01 |    Inf 
16.59/16.66	o 41
16.59/16.66	c *15.8s|  4950 |   255 | 21869 |   4.3 |  14M|  42 |   - |1895 |5367 |1895 |1660 | 632 |6128 |2053 | 0.000000e+00 | 4.100000e+01 |    Inf 
17.39/17.45	o 34
17.39/17.45	c *16.5s|  5340 |   254 | 24719 |   4.5 |  14M|  42 |   - |1895 |5485 |1895 |1661 | 723 |6665 |2056 | 0.000000e+00 | 3.400000e+01 |    Inf 
17.39/17.46	o 28
17.39/17.46	c *16.5s|  5342 |   247 | 24724 |   4.5 |  14M|  42 |   - |1895 |5366 |1895 |1662 | 724 |6665 |2056 | 0.000000e+00 | 2.800000e+01 |    Inf 
17.60/17.69	o 25
17.60/17.69	c *16.8s|  5464 |   251 | 25564 |   4.6 |  14M|  42 |   - |1895 |5370 |1895 |1660 | 732 |6864 |2056 | 0.000000e+00 | 2.500000e+01 |    Inf 
17.80/17.84	o 18
17.80/17.84	c *16.9s|  5537 |   254 | 26096 |   4.6 |  14M|  42 |   - |1895 |5149 |1895 |1660 | 742 |6952 |2056 | 0.000000e+00 | 1.800000e+01 |    Inf 
18.59/18.63	o 15
18.59/18.63	c *17.6s|  5968 |   257 | 29356 |   4.8 |  14M|  42 |   - |1895 |5268 |1895 |1660 | 797 |7542 |2056 | 0.000000e+00 | 1.500000e+01 |    Inf 
18.70/18.74	o 13
18.70/18.74	c *17.7s|  6040 |   256 | 29741 |   4.8 |  14M|  42 |   - |1895 |5145 |1895 |1660 | 799 |7633 |2056 | 0.000000e+00 | 1.300000e+01 |    Inf 
19.99/20.09	o 11
19.99/20.09	c *19.0s|  6829 |   234 | 34895 |   5.0 |  14M|  42 |   - |1895 |5122 |1895 |1660 | 878 |8799 |2057 | 0.000000e+00 | 1.100000e+01 |    Inf 
21.79/21.88	o 8
21.79/21.88	c *20.7s|  7844 |   247 | 42532 |   5.4 |  14M|  42 |   - |1895 |5703 |1895 |1660 | 997 |  10k|2058 | 0.000000e+00 | 8.000000e+00 |    Inf 
23.89/23.96	o 5
23.89/23.96	c *22.6s|  8884 |   258 | 51947 |   5.8 |  15M|  42 |   - |1895 |6514 |1895 |1660 |1131 |  11k|2059 | 0.000000e+00 | 5.000000e+00 |    Inf 
24.39/24.43	o 2
24.39/24.43	c *23.1s|  9118 |   252 | 54143 |   5.9 |  15M|  42 |   - |1895 |6503 |1895 |1660 |1153 |  11k|2059 | 0.000000e+00 | 2.000000e+00 |    Inf 
25.99/26.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.99/26.02	c  24.6s| 10000 |   219 | 61073 |   6.1 |  15M|  42 |  22 |1895 |6252 |1895 |1660 |1215 |  12k|2065 | 0.000000e+00 | 2.000000e+00 |    Inf 
44.29/44.37	c  41.9s| 20000 |   263 |142104 |   7.1 |  18M|  42 |   - |1895 |  12k|1895 |1660 |2477 |  25k|2078 | 0.000000e+00 | 2.000000e+00 |    Inf 
65.90/65.94	c  62.5s| 30000 |   438 |235041 |   7.8 |  20M|  45 |   - |1895 |  15k|   0 |   0 |3521 |  38k|2236 | 0.000000e+00 | 2.000000e+00 |    Inf 
89.60/89.67	c  85.0s| 40000 |   277 |331469 |   8.3 |  20M|  47 |   - |1895 |  14k|1895 |1660 |4874 |  52k|2671 | 0.000000e+00 | 2.000000e+00 |    Inf 
112.00/112.03	c   106s| 50000 |   258 |421705 |   8.4 |  21M|  47 |   - |1895 |  17k|   0 |   0 |6003 |  65k|3077 | 0.000000e+00 | 2.000000e+00 |    Inf 
134.99/135.03	c   128s| 60000 |   310 |512128 |   8.5 |  23M|  47 |   - |1895 |  22k|1895 |1660 |6889 |  79k|3329 | 0.000000e+00 | 2.000000e+00 |    Inf 
150.29/150.30	o 1
150.29/150.30	c * 143s| 66644 |   213 |566259 |   8.5 |  23M|  49 |   - |1895 |  22k|1895 |1660 |7498 |  88k|3519 | 0.000000e+00 | 1.000000e+00 |    Inf 
157.80/157.80	c   150s| 70000 |   198 |593475 |   8.5 |  22M|  49 |  27 |1895 |  18k|1895 |1660 |7869 |  92k|3596 | 0.000000e+00 | 1.000000e+00 |    Inf 
178.80/178.85	c   170s| 80000 |   387 |664604 |   8.3 |  24M|  59 |   - |1895 |  23k|1895 |1660 |8591 | 105k|3786 | 0.000000e+00 | 1.000000e+00 |    Inf 
200.60/200.69	c   191s| 90000 |   269 |737202 |   8.2 |  24M|  59 |   - |1895 |  25k|   0 |   0 |9344 | 120k|3991 | 0.000000e+00 | 1.000000e+00 |    Inf 
223.79/223.81	c   213s|100000 |   150 |819363 |   8.2 |  23M|  59 |   - |1895 |  22k|   0 |   0 |  10k| 133k|4295 | 0.000000e+00 | 1.000000e+00 |    Inf 
245.20/245.30	c   234s|110000 |   244 |890588 |   8.1 |  25M|  59 |  19 |1895 |  27k|1895 |1660 |  10k| 147k|4452 | 0.000000e+00 | 1.000000e+00 |    Inf 
268.50/268.56	c   256s|120000 |   173 |967573 |   8.1 |  26M|  59 |  25 |1895 |  29k|1895 |1660 |  11k| 161k|4581 | 0.000000e+00 | 1.000000e+00 |    Inf 
291.80/291.86	c   278s|130000 |   108 |  1045k|   8.0 |  23M|  59 |   1 |1895 |  20k|1895 |1660 |  11k| 174k|4795 | 0.000000e+00 | 1.000000e+00 |    Inf 
313.40/313.48	c   299s|140000 |   101 |  1123k|   8.0 |  24M|  59 |   - |1895 |  24k|   0 |   0 |  12k| 187k|4890 | 0.000000e+00 | 1.000000e+00 |    Inf 
336.30/336.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.30/336.32	c   321s|150000 |    94 |  1205k|   8.0 |  26M|  59 |  28 |1895 |  28k|1895 |1660 |  13k| 200k|5064 | 0.000000e+00 | 1.000000e+00 |    Inf 
361.00/361.07	c   344s|160000 |   173 |  1293k|   8.1 |  29M|  59 |  17 |1895 |  35k|1895 |1660 |  14k| 214k|5228 | 0.000000e+00 | 1.000000e+00 |    Inf 
387.99/388.07	c   370s|170000 |   122 |  1387k|   8.2 |  27M|  59 |   - |1895 |  30k|   0 |   0 |  15k| 228k|5389 | 0.000000e+00 | 1.000000e+00 |    Inf 
413.70/413.71	c   395s|180000 |   242 |  1469k|   8.2 |  29M|  59 |   - |1895 |  33k|   0 |   0 |  16k| 241k|5542 | 0.000000e+00 | 1.000000e+00 |    Inf 
439.79/439.90	c   420s|190000 |   362 |  1551k|   8.2 |  31M|  59 |  13 |1895 |  38k|1895 |1660 |  16k| 254k|5641 | 0.000000e+00 | 1.000000e+00 |    Inf 
469.59/469.67	c   449s|200000 |   437 |  1654k|   8.3 |  33M|  59 |  15 |1895 |  41k|1895 |1660 |  17k| 268k|5793 | 0.000000e+00 | 1.000000e+00 |    Inf 
499.07/499.10	c   477s|210000 |   462 |  1748k|   8.3 |  33M|  59 |  21 |1895 |  42k|1895 |1660 |  18k| 281k|5893 | 0.000000e+00 | 1.000000e+00 |    Inf 
528.37/528.41	c   505s|220000 |   605 |  1834k|   8.3 |  36M|  59 |  34 |1895 |  46k|1895 |1660 |  18k| 295k|6057 | 0.000000e+00 | 1.000000e+00 |    Inf 
557.17/557.24	c   533s|230000 |   592 |  1919k|   8.3 |  37M|  59 |  22 |1895 |  48k|1895 |1660 |  19k| 310k|6173 | 0.000000e+00 | 1.000000e+00 |    Inf 
585.47/585.58	c   561s|240000 |   568 |  1996k|   8.3 |  36M|  59 |   - |1895 |  44k|1895 |1663 |  20k| 324k|6263 | 0.000000e+00 | 1.000000e+00 |    Inf 
614.96/615.03	c   589s|250000 |   579 |  2086k|   8.3 |  37M|  59 |  14 |1895 |  46k|1895 |1660 |  21k| 339k|6385 | 0.000000e+00 | 1.000000e+00 |    Inf 
643.37/643.48	c   616s|260000 |   604 |  2172k|   8.4 |  37M|  64 |   1 |1895 |  47k|1895 |1660 |  21k| 353k|6515 | 0.000000e+00 | 1.000000e+00 |    Inf 
672.26/672.37	c   644s|270000 |   453 |  2256k|   8.4 |  35M|  64 |   - |1895 |  44k|   0 |   0 |  22k| 367k|6613 | 0.000000e+00 | 1.000000e+00 |    Inf 
701.56/701.69	c   672s|280000 |   402 |  2347k|   8.4 |  36M|  64 |   - |1895 |  47k|1895 |1660 |  23k| 381k|6698 | 0.000000e+00 | 1.000000e+00 |    Inf 
731.16/731.27	c   701s|290000 |   380 |  2432k|   8.4 |  38M|  64 |  15 |1895 |  51k|1895 |1660 |  23k| 395k|6824 | 0.000000e+00 | 1.000000e+00 |    Inf 
761.67/761.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
761.67/761.70	c   730s|300000 |   344 |  2518k|   8.4 |  37M|  64 |  13 |1895 |  49k|1895 |1660 |  24k| 410k|6946 | 0.000000e+00 | 1.000000e+00 |    Inf 
792.16/792.23	c   760s|310000 |   353 |  2604k|   8.4 |  36M|  64 |  30 |1895 |  46k|1895 |1660 |  25k| 424k|7021 | 0.000000e+00 | 1.000000e+00 |    Inf 
821.96/822.01	c   789s|320000 |   247 |  2686k|   8.4 |  36M|  64 |   7 |1895 |  47k|1895 |1660 |  26k| 438k|7132 | 0.000000e+00 | 1.000000e+00 |    Inf 
850.47/850.55	c   816s|330000 |   283 |  2769k|   8.4 |  37M|  64 |   - |1895 |  49k|1895 |1665 |  27k| 452k|7239 | 0.000000e+00 | 1.000000e+00 |    Inf 
880.06/880.13	c   845s|340000 |   189 |  2855k|   8.4 |  36M|  64 |   - |1895 |  48k|   0 |   0 |  27k| 467k|7319 | 0.000000e+00 | 1.000000e+00 |    Inf 
909.77/909.85	c   873s|350000 |   106 |  2940k|   8.4 |  34M|  64 |   - |1895 |  45k|   0 |   0 |  28k| 481k|7417 | 0.000000e+00 | 1.000000e+00 |    Inf 
939.57/939.67	c   902s|360000 |   131 |  3021k|   8.4 |  34M|  64 |  32 |1895 |  45k|1895 |1660 |  30k| 494k|7697 | 0.000000e+00 | 1.000000e+00 |    Inf 
969.77/969.88	c   931s|370000 |   195 |  3106k|   8.4 |  33M|  64 |   - |1895 |  42k|   0 |   0 |  30k| 507k|7719 | 0.000000e+00 | 1.000000e+00 |    Inf 
998.97/999.06	c   960s|380000 |   260 |  3184k|   8.4 |  36M|  64 |  28 |1895 |  47k|1895 |1660 |  31k| 520k|7794 | 0.000000e+00 | 1.000000e+00 |    Inf 
1028.67/1028.73	c   988s|390000 |   215 |  3263k|   8.4 |  36M|  64 |   - |1895 |  49k|   0 |   0 |  32k| 534k|7875 | 0.000000e+00 | 1.000000e+00 |    Inf 
1059.08/1059.15	c  1018s|400000 |   239 |  3338k|   8.3 |  37M|  64 |  19 |1895 |  51k|1895 |1660 |  32k| 547k|7956 | 0.000000e+00 | 1.000000e+00 |    Inf 
1091.08/1091.11	c  1049s|410000 |   229 |  3421k|   8.3 |  38M|  64 |  18 |1895 |  54k|1895 |1660 |  33k| 561k|8036 | 0.000000e+00 | 1.000000e+00 |    Inf 
1123.67/1123.73	c  1080s|420000 |   192 |  3508k|   8.4 |  39M|  64 |   - |1895 |  55k|   0 |   0 |  34k| 575k|8122 | 0.000000e+00 | 1.000000e+00 |    Inf 
1156.27/1156.34	c  1112s|430000 |   327 |  3592k|   8.4 |  38M|  64 |   - |1895 |  53k|1895 |1660 |  35k| 588k|8221 | 0.000000e+00 | 1.000000e+00 |    Inf 
1188.57/1188.66	c  1144s|440000 |   473 |  3679k|   8.4 |  40M|  64 |   - |1895 |  54k|1895 |1660 |  35k| 602k|8293 | 0.000000e+00 | 1.000000e+00 |    Inf 
1220.57/1220.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1220.57/1220.69	c  1175s|450000 |   585 |  3762k|   8.4 |  42M|  64 |   - |1895 |  58k|   0 |   0 |  36k| 617k|8357 | 0.000000e+00 | 1.000000e+00 |    Inf 
1253.17/1253.21	c  1206s|460000 |   592 |  3844k|   8.4 |  41M|  64 |   - |1895 |  57k|   0 |   0 |  37k| 631k|8428 | 0.000000e+00 | 1.000000e+00 |    Inf 
1286.38/1286.40	c  1239s|470000 |   569 |  3929k|   8.4 |  43M|  64 |   - |1895 |  60k|   0 |   0 |  38k| 645k|8504 | 0.000000e+00 | 1.000000e+00 |    Inf 
1319.87/1319.95	c  1271s|480000 |   600 |  4012k|   8.4 |  45M|  64 |   - |1895 |  64k|   0 |   0 |  38k| 661k|8580 | 0.000000e+00 | 1.000000e+00 |    Inf 
1356.97/1357.04	c  1307s|490000 |   587 |  4097k|   8.4 |  43M|  64 |   1 |1895 |  59k|1895 |1660 |  39k| 675k|8661 | 0.000000e+00 | 1.000000e+00 |    Inf 
1390.97/1391.06	c  1340s|500000 |   501 |  4182k|   8.4 |  43M|  64 |   - |1895 |  59k|   0 |   0 |  40k| 690k|8743 | 0.000000e+00 | 1.000000e+00 |    Inf 
1423.07/1423.18	c  1372s|510000 |   639 |  4260k|   8.4 |  45M|  64 |  30 |1895 |  64k|1895 |1660 |  41k| 704k|8814 | 0.000000e+00 | 1.000000e+00 |    Inf 
1456.27/1456.33	c  1404s|520000 |   540 |  4337k|   8.3 |  44M|  64 |   - |1895 |  62k|   0 |   0 |  41k| 718k|8897 | 0.000000e+00 | 1.000000e+00 |    Inf 
1487.87/1487.99	c  1435s|530000 |   698 |  4414k|   8.3 |  44M|  64 |  25 |1895 |  61k|1895 |1660 |  42k| 732k|8981 | 0.000000e+00 | 1.000000e+00 |    Inf 
1519.87/1519.94	c  1466s|540000 |   794 |  4497k|   8.3 |  46M|  64 |  23 |1895 |  64k|1895 |1660 |  43k| 745k|9047 | 0.000000e+00 | 1.000000e+00 |    Inf 
1552.86/1552.99	c  1498s|550000 |   937 |  4569k|   8.3 |  49M|  64 |   - |1895 |  68k|   0 |   0 |  44k| 759k|9088 | 0.000000e+00 | 1.000000e+00 |    Inf 
1588.06/1588.14	c  1532s|560000 |   960 |  4645k|   8.3 |  49M|  64 |   - |1895 |  67k|   0 |   0 |  45k| 773k|9163 | 0.000000e+00 | 1.000000e+00 |    Inf 
1621.57/1621.65	c  1565s|570000 |  1185 |  4728k|   8.3 |  51M|  64 |  12 |1895 |  70k|1895 |1660 |  46k| 787k|9250 | 0.000000e+00 | 1.000000e+00 |    Inf 
1657.97/1658.04	c  1600s|580000 |  1386 |  4811k|   8.3 |  54M|  64 |   1 |1895 |  74k|1895 |1660 |  47k| 800k|9336 | 0.000000e+00 | 1.000000e+00 |    Inf 
1693.47/1693.59	c  1635s|590000 |  1523 |  4897k|   8.3 |  54M|  64 |  15 |1895 |  73k|1895 |1660 |  48k| 813k|9409 | 0.000000e+00 | 1.000000e+00 |    Inf 
1729.77/1729.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1729.77/1729.83	c  1670s|600000 |  1697 |  4982k|   8.3 |  56M|  64 |   - |1895 |  75k|   0 |   0 |  49k| 827k|9475 | 0.000000e+00 | 1.000000e+00 |    Inf 
1765.27/1765.33	c  1705s|610000 |  1676 |  5065k|   8.3 |  56M|  64 |   - |1895 |  74k|   0 |   0 |  49k| 841k|9532 | 0.000000e+00 | 1.000000e+00 |    Inf 
1799.97/1800.04	c  1738s|620000 |  1695 |  5149k|   8.3 |  57M|  64 |  15 |1895 |  76k|1895 |1660 |  50k| 855k|9586 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.07/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.10	c 
1800.07/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.10	c Solving Time (sec) : 1738.35
1800.07/1800.10	c Solving Nodes      : 620017
1800.07/1800.10	c Primal Bound       : +1.00000000000000e+00 (187 solutions)
1800.07/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.10	c Gap                : infinite
1800.07/1800.11	s SATISFIABLE
1800.07/1800.11	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.07/1800.11	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.07/1800.11	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.07/1800.11	v x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.07/1800.11	v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.07/1800.11	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 
1800.07/1800.11	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.07/1800.11	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.07/1800.11	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.07/1800.11	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.07/1800.11	v -x1 
1800.07/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.11	c Solving Time       :    1738.35
1800.07/1800.11	c Original Problem   :
1800.07/1800.11	c   Problem name     : HOME/instance-2692317-1277912670.wbo
1800.07/1800.11	c   Variables        : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.07/1800.11	c   Constraints      : 3612 initial, 3612 maximal
1800.07/1800.11	c Presolved Problem  :
1800.07/1800.11	c   Problem name     : t_HOME/instance-2692317-1277912670.wbo
1800.07/1800.11	c   Variables        : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.07/1800.11	c   Constraints      : 3298 initial, 78177 maximal
1800.07/1800.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.11	c   trivial          :       0.00         72          0          0          0          0          0          0          0
1800.07/1800.11	c   dualfix          :       0.00         72          0          0          0          0          0          0          0
1800.07/1800.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.11	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.11	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.11	c   indicator        :       0.00          0          0          0          0          0         72          0          0
1800.07/1800.11	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.11	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.11	c   linear           :       0.04          0          0          0        933          0        242        170          0
1800.07/1800.11	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.11	c   root node        :          -        832          -          -       1664          -          -          -          -
1800.07/1800.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.11	c   integral         :          0          0          0     351589          0        114       2302          0          0     678232
1800.07/1800.11	c   indicator        :        832          0     278774       1648          0         81     164499          0          0          0
1800.07/1800.11	c   knapsack         :          1          6    2688372      10513          0      58722    5974486          0          0          0
1800.07/1800.11	c   setppc           :         18          6    2633283      10483          0      53002    2254886          0          0          0
1800.07/1800.11	c   linear           :        832          6    2581502      10510          0      48193    3371232      50816          0          0
1800.07/1800.11	c   logicor          :       1615+         6    1445157        144          0      86276    5538278          0          0          0
1800.07/1800.11	c   countsols        :          0          0          0        144          0          0          0          0          0          0
1800.07/1800.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.11	c   integral         :      34.15       0.00       0.00      34.15       0.00
1800.07/1800.11	c   indicator        :       0.30       0.00       0.29       0.01       0.00
1800.07/1800.11	c   knapsack         :      35.07       0.00      35.06       0.01       0.00
1800.07/1800.11	c   setppc           :      16.45       0.00      16.45       0.00       0.00
1800.07/1800.11	c   linear           :      37.33       0.00      37.15       0.18       0.00
1800.07/1800.11	c   logicor          :     381.73       0.00     381.73       0.00       0.00
1800.07/1800.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.11	c   vbounds          :       0.00          2          0          0
1800.07/1800.11	c   rootredcost      :       0.00         38          0        832
1800.07/1800.11	c   pseudoobj        :      41.38    2694186        794     126380
1800.07/1800.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.11	c   propagation      :      10.41     246987     246235    1598257       28.1       7844       24.4          -
1800.07/1800.11	c   infeasible LP    :      17.91      89997      89994     729528       44.8        640       19.7          0
1800.07/1800.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.11	c   pseudo solution  :       0.00         20         20        182       21.0          8        7.5          -
1800.07/1800.11	c   applied globally :          -          -          -     855529       27.3          -          -          -
1800.07/1800.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.11	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.11	c   cut pool         :       0.00          5          -          -         46          -    (maximal pool size: 157)
1800.07/1800.11	c   redcost          :       7.88     351879          0      34383          0          0
1800.07/1800.11	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.11	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.11	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.11	c   gomory           :       0.30          6          0          0        504          0
1800.07/1800.11	c   strongcg         :       0.24          6          0          0        682          0
1800.07/1800.11	c   cmir             :       0.04          6          0          0          2          0
1800.07/1800.11	c   flowcover        :       0.05          6          0          0          0          0
1800.07/1800.11	c   clique           :       0.00          6          0          0          0          0
1800.07/1800.11	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.11	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.11	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.11	c Pricers            :       Time      Calls       Vars
1800.07/1800.11	c   problem variables:       0.00          0          0
1800.07/1800.11	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.11	c   relpscost        :      33.97     341029        114       2302          0          0     678232
1800.07/1800.11	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.11	c   inference        :       0.01        107          0          0          0          0        214
1800.07/1800.11	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.11	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.11	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.11	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.11	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.11	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.11	c   LP solutions     :       0.01          -         37
1800.07/1800.11	c   pseudo solutions :       0.00          -          0
1800.07/1800.11	c   feaspump         :       0.05          1          0
1800.07/1800.11	c   oneopt           :       0.17         35          0
1800.07/1800.11	c   crossover        :       0.24         11          0
1800.07/1800.11	c   rootsoldiving    :       1.20         36          0
1800.07/1800.11	c   coefdiving       :       0.36         72          0
1800.07/1800.11	c   linesearchdiving :       0.27         72          0
1800.07/1800.11	c   guideddiving     :       0.32         72          0
1800.07/1800.11	c   veclendiving     :       0.38         72          0
1800.07/1800.11	c   pscostdiving     :       0.31         72          0
1800.07/1800.11	c   fracdiving       :       0.27         72          0
1800.07/1800.11	c   objpscostdiving  :       0.60         37          0
1800.07/1800.11	c   trivial          :       0.00          2          0
1800.07/1800.11	c   simplerounding   :       0.39     341036          0
1800.07/1800.11	c   zirounding       :       0.28       1000          0
1800.07/1800.11	c   rounding         :       0.83       8199          0
1800.07/1800.11	c   shifting         :       0.74       2553          0
1800.07/1800.11	c   intshifting      :       0.00         10          0
1800.07/1800.11	c   twoopt           :       0.00          0          0
1800.07/1800.11	c   fixandinfer      :       0.00          0          0
1800.07/1800.11	c   intdiving        :       0.00          0          0
1800.07/1800.11	c   actconsdiving    :       0.00          0          0
1800.07/1800.11	c   octane           :       0.00          0          0
1800.07/1800.11	c   rens             :       0.03          1          0
1800.07/1800.11	c   rins             :       0.00          0          0
1800.07/1800.11	c   localbranching   :       0.00          0          0
1800.07/1800.11	c   mutation         :       0.00          0          0
1800.07/1800.11	c   dins             :       0.00          0          0
1800.07/1800.11	c   undercover       :       0.00          0          0
1800.07/1800.11	c   nlp              :       0.00          0          0
1800.07/1800.11	c   trysol           :       0.25       1512        150
1800.07/1800.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.11	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.11	c   dual LP          :     695.83     439552    5134150      11.68    7378.45
1800.07/1800.11	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.11	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.11	c   diving/probing LP:       2.25       2016      15254       7.57    6779.56
1800.07/1800.11	c   strong branching :      30.15       9586     201961      21.07    6698.54
1800.07/1800.11	c     (at root node) :          -         33       4708     142.67          -
1800.07/1800.11	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.11	c B&B Tree           :
1800.07/1800.11	c   number of runs   :          1
1800.07/1800.11	c   nodes            :     620017
1800.07/1800.11	c   nodes (total)    :     620017
1800.07/1800.11	c   nodes left       :       1694
1800.07/1800.11	c   max depth        :         64
1800.07/1800.11	c   max depth (total):         64
1800.07/1800.11	c   backtracks       :      99590 (16.1%)
1800.07/1800.11	c   delayed cutoffs  :      56552
1800.07/1800.11	c   repropagations   :     930915 (3852082 domain reductions, 55348 cutoffs)
1800.07/1800.11	c   avg switch length:       4.56
1800.07/1800.11	c   switching time   :     267.90
1800.07/1800.11	c Solution           :
1800.07/1800.11	c   Solutions found  :        187 (38 improvements)
1800.07/1800.11	c   First Solution   : +4.04320000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.07/1800.11	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 66644 nodes, 142.82 seconds, depth 31, found by <relaxation>)
1800.07/1800.11	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.11	c   Gap              :   infinite
1800.07/1800.11	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.11	c   Root Iterations  :        494
1800.17/1800.21	c Time complete: 1800.19.

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-2692317-1277912670/watcher-2692317-1277912670 -o /tmp/evaluation-result-2692317-1277912670/solver-2692317-1277912670 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692317-1277912670.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 2.12 2.37 3/196 18020
/proc/meminfo: memFree=30982380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=9304 CPUtime=0
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1623 0 0 0 0 0 0 0 23 0 1 0 132562155 9527296 1542 4089446400 4194304 8223781 140733737438096 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18020/statm: 2326 1559 369 984 0 1339 0

[startup+0.021326 s]
/proc/loadavg: 2.00 2.12 2.37 3/196 18020
/proc/meminfo: memFree=30982380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=12812 CPUtime=0.01
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 2526 0 0 0 1 0 0 0 23 0 1 0 132562155 13119488 2445 4089446400 4194304 8223781 140733737438096 18446744073709551615 7189758 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18020/statm: 3203 2445 369 984 0 2216 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12812

[startup+0.100321 s]
/proc/loadavg: 2.00 2.12 2.37 3/196 18020
/proc/meminfo: memFree=30982380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=24620 CPUtime=0.09
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 6635 0 0 0 7 2 0 0 23 0 1 0 132562155 25210880 4905 4089446400 4194304 8223781 140733737438096 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 6155 4927 458 984 0 5168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24620

[startup+0.300283 s]
/proc/loadavg: 2.00 2.12 2.37 3/196 18020
/proc/meminfo: memFree=30982380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=29744 CPUtime=0.29
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 10947 0 0 0 25 4 0 0 23 0 1 0 132562155 30457856 6556 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 7436 6556 583 984 0 6449 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29744

[startup+0.700196 s]
/proc/loadavg: 2.00 2.12 2.37 3/196 18020
/proc/meminfo: memFree=30982380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=39488 CPUtime=0.69
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 13228 0 0 0 63 6 0 0 25 0 1 0 132562155 40435712 8797 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 9872 8797 584 984 0 8885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39488

[startup+1.50106 s]
/proc/loadavg: 2.00 2.12 2.37 3/197 18021
/proc/meminfo: memFree=30948840/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=39496 CPUtime=1.49
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 28737 0 0 0 139 10 0 0 25 0 1 0 132562155 40443904 8828 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 9874 8828 601 984 0 8887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39496

[startup+3.10075 s]
/proc/loadavg: 2.00 2.12 2.37 3/197 18021
/proc/meminfo: memFree=30953552/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=39484 CPUtime=3.09
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 32787 0 0 0 294 15 0 0 25 0 1 0 132562155 40431616 8835 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 9871 8835 601 984 0 8884 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39484

[startup+6.30019 s]
/proc/loadavg: 2.00 2.12 2.36 3/197 18021
/proc/meminfo: memFree=30953676/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=42076 CPUtime=6.29
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 47228 0 0 0 601 28 0 0 25 0 1 0 132562155 43085824 9413 4089446400 4194304 8223781 140733737438096 18446744073709551615 5479283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 10519 9413 605 984 0 9532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42076

[startup+12.701 s]
/proc/loadavg: 2.00 2.12 2.36 3/197 18022
/proc/meminfo: memFree=30944384/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=52308 CPUtime=12.69
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 93263 0 0 0 1204 65 0 0 25 0 1 0 132562155 53563392 11705 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 13077 11705 606 984 0 12090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52308

[startup+25.5006 s]
/proc/loadavg: 2.00 2.11 2.36 3/197 18023
/proc/meminfo: memFree=30940132/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=57176 CPUtime=25.49
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 142109 0 0 0 2412 137 0 0 25 0 1 0 132562155 58548224 12983 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 14294 12983 606 984 0 13307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57176

[startup+51.1009 s]
/proc/loadavg: 2.00 2.10 2.35 3/197 18023
/proc/meminfo: memFree=30934244/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=61756 CPUtime=51.1
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 176048 0 0 0 4835 275 0 0 25 0 1 0 132562155 63238144 14132 4089446400 4194304 8223781 140733737438096 18446744073709551615 5956787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 15439 14132 606 984 0 14452 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 61756

[startup+102.306 s]
/proc/loadavg: 2.08 2.10 2.33 3/197 18025
/proc/meminfo: memFree=30928244/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=66408 CPUtime=102.3
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 237902 0 0 0 9710 520 0 0 25 0 1 0 132562155 68001792 15307 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 16602 15307 606 984 0 15615 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66408

[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.31 3/197 18026
/proc/meminfo: memFree=30921976/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=71696 CPUtime=162.3
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 284975 0 0 0 15430 800 0 0 25 0 1 0 132562155 73416704 16574 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 17924 16574 606 984 0 16937 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 71696

[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.28 3/197 18027
/proc/meminfo: memFree=30920904/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=72744 CPUtime=222.3
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 316589 0 0 0 21168 1062 0 0 25 0 1 0 132562155 74489856 16807 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 18186 16807 606 984 0 17199 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72744

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.26 3/197 18029
/proc/meminfo: memFree=30917500/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=75508 CPUtime=282.3
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 375514 0 0 0 26914 1316 0 0 25 0 1 0 132562155 77320192 17478 4089446400 4194304 8223781 140733737438096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 18877 17478 606 984 0 17890 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 75508

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.25 3/197 18031
/proc/meminfo: memFree=30917048/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=76344 CPUtime=342.31
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 420995 0 0 0 32651 1580 0 0 25 0 1 0 132562155 78176256 17678 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 19086 17678 606 984 0 18099 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 76344

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.23 3/197 18033
/proc/meminfo: memFree=30912148/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=80524 CPUtime=402.3
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 476274 0 0 0 38409 1821 0 0 25 0 1 0 132562155 82456576 18632 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 20131 18632 606 984 0 19144 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80524

[startup+462.301 s]
/proc/loadavg: 2.21 2.08 2.23 3/197 18034
/proc/meminfo: memFree=30909732/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=83128 CPUtime=462.29
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 495518 0 0 0 44188 2041 0 0 25 0 1 0 132562155 85123072 19221 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 20782 19221 606 984 0 19795 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 83128

[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.21 3/197 18035
/proc/meminfo: memFree=30900736/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=86052 CPUtime=522.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 567090 0 0 0 49958 2269 0 0 25 0 1 0 132562155 88117248 19973 4089446400 4194304 8223781 140733737438096 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 21513 19973 606 984 0 20526 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 86052

[startup+582.301 s]
/proc/loadavg: 2.03 2.05 2.20 3/197 18037
/proc/meminfo: memFree=30897576/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=89272 CPUtime=582.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 609809 0 0 0 55749 2478 0 0 25 0 1 0 132562155 91414528 20717 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 22318 20717 606 984 0 21331 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 89272

[startup+642.301 s]
/proc/loadavg: 2.01 2.04 2.18 3/197 18039
/proc/meminfo: memFree=30901760/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=89604 CPUtime=642.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 689637 0 0 0 61522 2705 0 0 25 0 1 0 132562155 91754496 20822 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 22401 20822 606 984 0 21414 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 89604

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.13 3/197 18045
/proc/meminfo: memFree=30898604/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=94036 CPUtime=882.26
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1121260 0 0 0 84680 3546 0 0 25 0 1 0 132562155 96292864 21599 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 23509 21599 606 984 0 22522 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 94036

[startup+942.301 s]
/proc/loadavg: 2.03 2.02 2.13 3/197 18047
/proc/meminfo: memFree=30898004/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=94636 CPUtime=942.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1225643 0 0 0 90470 3757 0 0 25 0 1 0 132562155 96907264 21706 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 23659 21706 606 984 0 22672 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 94636

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.12 3/197 18058
/proc/meminfo: memFree=30896244/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=95688 CPUtime=1002.26
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1272681 0 0 0 96262 3964 0 0 25 0 1 0 132562155 97984512 21830 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 23922 21830 606 984 0 22935 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 95688

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/197 18059
/proc/meminfo: memFree=30895656/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=95792 CPUtime=1062.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1317879 0 0 0 102070 4157 0 0 25 0 1 0 132562155 98091008 21865 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 23948 21865 606 984 0 22961 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 95792

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.10 3/197 18060
/proc/meminfo: memFree=30895700/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=96180 CPUtime=1122.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1370711 0 0 0 107907 4320 0 0 25 0 1 0 132562155 98488320 21935 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 24045 21935 606 984 0 23058 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 96180

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.09 3/197 18062
/proc/meminfo: memFree=30895248/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=96212 CPUtime=1182.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1428211 0 0 0 113737 4490 0 0 25 0 1 0 132562155 98521088 21982 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 24053 21982 606 984 0 23066 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 96212

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/197 18064
/proc/meminfo: memFree=30893440/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=97492 CPUtime=1242.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1508756 0 0 0 119565 4662 0 0 25 0 1 0 132562155 99831808 22238 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 24373 22238 606 984 0 23386 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 97492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/197 18066
/proc/meminfo: memFree=30891280/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=99672 CPUtime=1302.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1582584 0 0 0 125400 4827 0 0 25 0 1 0 132562155 102064128 22768 4089446400 4194304 8223781 140733737438096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 24918 22768 606 984 0 23931 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 99672

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/197 18067
/proc/meminfo: memFree=30890336/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=100684 CPUtime=1362.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1662122 0 0 0 131237 4990 0 0 25 0 1 0 132562155 103100416 23001 4089446400 4194304 8223781 140733737438096 18446744073709551615 4210294 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 25171 23001 606 984 0 24184 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 100684

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/197 18068
/proc/meminfo: memFree=30889896/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=101144 CPUtime=1422.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1735411 0 0 0 137078 5149 0 0 25 0 1 0 132562155 103571456 23120 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 25286 23120 606 984 0 24299 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 101144

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.07 3/197 18070
/proc/meminfo: memFree=30888472/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=102868 CPUtime=1482.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1805238 0 0 0 142912 5315 0 0 25 0 1 0 132562155 105336832 23425 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 25717 23425 606 984 0 24730 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 102868

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.06 3/197 18072
/proc/meminfo: memFree=30887792/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=103596 CPUtime=1542.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1853571 0 0 0 148746 5481 0 0 25 0 1 0 132562155 106082304 23629 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 25899 23629 606 984 0 24912 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 103596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/197 18074
/proc/meminfo: memFree=30883652/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=107696 CPUtime=1602.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1902735 0 0 0 154596 5631 0 0 25 0 1 0 132562155 110280704 24593 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 26924 24593 606 984 0 25937 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 107696

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 18075
/proc/meminfo: memFree=30879992/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=111592 CPUtime=1662.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1942504 0 0 0 160428 5799 0 0 25 0 1 0 132562155 114270208 25577 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 27898 25577 606 984 0 26911 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 111592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/197 18076
/proc/meminfo: memFree=30875816/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=115220 CPUtime=1722.27
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 1992985 0 0 0 166265 5962 0 0 25 0 1 0 132562155 117985280 26508 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 28805 26508 606 984 0 27818 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 115220

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/197 18078
/proc/meminfo: memFree=30875380/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=115532 CPUtime=1782.28
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 2059188 0 0 0 172108 6120 0 0 25 0 1 0 132562155 118304768 26601 4089446400 4194304 8223781 140733737438096 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18020/statm: 28883 26601 606 984 0 27896 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 115532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.95 1.99 2.04 3/179 18108
/proc/meminfo: memFree=30749080/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=115636 CPUtime=1800.07
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 2074202 0 0 0 173836 6171 0 0 25 0 1 0 132562155 118411264 26630 4089446400 4194304 8223781 140733737438096 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18020/statm: 28909 26630 606 984 0 27922 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 115636

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

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

[startup+1800.21 s]
/proc/loadavg: 1.95 1.99 2.04 3/179 18108
/proc/meminfo: memFree=30749080/32951124 swapFree=67111528/67111528
[pid=18020] ppid=18018 vsize=111452 CPUtime=1800.17
/proc/18020/stat : 18020 (pbscip.linux.x8) R 18018 18020 17674 0 -1 4202496 2074280 0 0 0 173846 6171 0 0 18 0 1 0 132562155 114126848 25612 4089446400 4194304 8223781 140733737438096 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18020/statm: 27830 25579 608 984 0 26843 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 111452

Child status: 0
Real time (s): 1800.22
CPU time (s): 1800.2
CPU user time (s): 1738.47
CPU system time (s): 61.7216
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 115860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.47
system time used= 61.7216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2074284
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= 2
involuntary context switches= 25237

runsolver used 2.45163 second user time and 5.77212 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 17:44:30
IDJOB=2692317
IDBENCH=78999
IDSOLVER=1204
FILE ID=node147/2692317-1277912670
PBS_JOBID= 11197261
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692317-1277912670/watcher-2692317-1277912670 -o /tmp/evaluation-result-2692317-1277912670/solver-2692317-1277912670 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692317-1277912670.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d52b3728da19986b004dc30001a23e20
RANDOM SEED=731705711

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
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:     32951124 kB
MemFree:      30982908 kB
Buffers:        199632 kB
Cached:        1501160 kB
SwapCached:          0 kB
Active:         604288 kB
Inactive:      1217456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30982908 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:      121248 kB
Mapped:          20476 kB
Slab:            81372 kB
PageTables:       5308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1650796 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= 74188 MiB
End job on node147 at 2010-06-30 18:14:33