Trace number 2692907

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.15 1800.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900548667--soft-66-100-0.wbo
MD5SUMb93cc320d1c40ed770cd566486d12ca9
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 benchmark548.835
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
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-2692907-1277909928.wbo>
0.00/0.02	c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.06/0.07	c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.06/0.08	c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.06/0.09	c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10	c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11	c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12	c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.16	c    (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (8 rounds):
0.09/0.16	c  162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.16	c  1142 implications, 14 cliques
0.09/0.16	c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.16	c     849 constraints of type <indicator>
0.09/0.16	c       1 constraints of type <knapsack>
0.09/0.16	c      14 constraints of type <setppc>
0.09/0.16	c     849 constraints of type <linear>
0.09/0.16	c    1652 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.17	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    30 |     - |8814k|   0 |  16 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   420 |     - |8839k|   0 |  34 |1929 |3365 |1929 |1683 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.30/0.32	c   0.3s|     1 |     0 |   454 |     - |9212k|   0 |  37 |1929 |3365 |1929 |1692 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.41	c   0.3s|     1 |     0 |   494 |     - |9231k|   0 |  41 |1929 |3365 |1929 |1703 |  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.50	c   0.4s|     1 |     0 |   534 |     - |9237k|   0 |  36 |1929 |3365 |1929 |1708 |  41 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.18	c   1.1s|     1 |     2 |   534 |     - |9241k|   0 |  36 |1929 |3365 |1929 |1708 |  41 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
3.79/3.82	o 42682
3.79/3.82	c y 3.7s|    20 |    19 |  1140 |  31.9 |9373k|  18 |   - |1929 |3365 |   0 |   0 |  48 |   0 | 216 | 0.000000e+00 | 4.268200e+04 |    Inf 
9.69/9.73	o 764
9.69/9.73	c * 9.5s|   990 |   718 |  5396 |   4.9 |  11M|  99 |   - |1929 |3418 |1929 |1712 | 151 |  53 |1093 | 0.000000e+00 | 7.640000e+02 |    Inf 
9.79/9.82	o 737
9.79/9.82	c * 9.6s|  1018 |   692 |  5540 |   4.9 |  12M|  99 |   - |1929 |3432 |1929 |1712 | 161 |  67 |1103 | 0.000000e+00 | 7.370000e+02 |    Inf 
9.79/9.89	o 519
9.79/9.89	c * 9.7s|  1034 |   543 |  5711 |   5.0 |  12M|  99 |   - |1929 |3438 |1929 |1708 | 166 |  73 |1110 | 0.000000e+00 | 5.190000e+02 |    Inf 
9.99/10.00	o 449
9.99/10.00	c * 9.8s|  1041 |   482 |  5819 |   5.1 |  12M|  99 |   - |1929 |3438 |1929 |1707 | 170 |  73 |1134 | 0.000000e+00 | 4.490000e+02 |    Inf 
9.99/10.03	o 414
9.99/10.03	c * 9.8s|  1057 |   434 |  5853 |   5.0 |  12M|  99 |   - |1929 |3464 |1929 |1707 | 170 |  99 |1138 | 0.000000e+00 | 4.140000e+02 |    Inf 
10.69/10.75	o 398
10.69/10.75	c *10.5s|  1127 |   412 |  6522 |   5.3 |  12M|  99 |   - |1929 |3536 |1929 |1705 | 174 | 171 |1271 | 0.000000e+00 | 3.980000e+02 |    Inf 
11.79/11.81	o 370
11.79/11.81	c g11.6s|  1230 |   383 |  8573 |   6.5 |  12M|  99 |   - |1929 |3607 |1929 |1714 | 234 | 242 |1412 | 0.000000e+00 | 3.700000e+02 |    Inf 
11.99/12.07	o 344
11.99/12.07	c *11.8s|  1268 |   346 |  9321 |   6.9 |  12M|  99 |   - |1929 |3627 |1929 |1712 | 252 | 262 |1429 | 0.000000e+00 | 3.440000e+02 |    Inf 
12.69/12.74	o 341
12.69/12.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.69/12.74	c *12.5s|  1412 |   379 | 11367 |   7.7 |  13M|  99 |   - |1929 |3753 |1929 |1712 | 272 | 401 |1481 | 0.000000e+00 | 3.410000e+02 |    Inf 
13.69/13.74	o 322
13.69/13.74	c *13.5s|  1605 |   399 | 14701 |   8.8 |  13M|  99 |   - |1929 |3955 |1929 |1703 | 317 | 626 |1551 | 0.000000e+00 | 3.220000e+02 |    Inf 
13.69/13.78	o 320
13.69/13.78	c *13.5s|  1621 |   396 | 14839 |   8.8 |  13M|  99 |   - |1929 |3983 |1929 |1706 | 320 | 657 |1551 | 0.000000e+00 | 3.200000e+02 |    Inf 
13.79/13.84	o 296
13.79/13.84	c *13.6s|  1633 |   382 | 15014 |   8.9 |  13M|  99 |   - |1929 |3987 |1929 |1711 | 328 | 662 |1555 | 0.000000e+00 | 2.960000e+02 |    Inf 
14.49/14.56	o 293
14.49/14.56	c *14.3s|  1868 |   447 | 17175 |   8.9 |  14M|  99 |   - |1929 |4236 |1929 |1706 | 357 | 955 |1606 | 0.000000e+00 | 2.930000e+02 |    Inf 
14.49/14.57	o 285
14.49/14.57	c *14.3s|  1870 |   443 | 17178 |   8.9 |  14M|  99 |   - |1929 |4236 |1929 |1706 | 357 | 955 |1606 | 0.000000e+00 | 2.850000e+02 |    Inf 
14.49/14.58	o 276
14.49/14.58	c *14.3s|  1872 |   439 | 17181 |   8.9 |  14M|  99 |   - |1929 |4236 |1929 |1706 | 357 | 955 |1606 | 0.000000e+00 | 2.760000e+02 |    Inf 
14.59/14.61	o 259
14.59/14.61	c *14.3s|  1891 |   440 | 17208 |   8.8 |  14M|  99 |   - |1929 |4232 |1929 |1708 | 362 | 956 |1607 | 0.000000e+00 | 2.590000e+02 |    Inf 
14.99/15.09	o 255
14.99/15.09	c *14.8s|  2008 |   475 | 18751 |   9.1 |  14M|  99 |   - |1929 |4304 |1929 |1703 | 407 |1067 |1637 | 0.000000e+00 | 2.550000e+02 |    Inf 
15.29/15.37	o 251
15.29/15.37	c *15.1s|  2107 |   493 | 19941 |   9.2 |  14M|  99 |   - |1929 |4386 |1929 |1712 | 416 |1177 |1642 | 0.000000e+00 | 2.510000e+02 |    Inf 
17.09/17.15	o 226
17.09/17.15	c *16.8s|  2704 |   638 | 26208 |   9.5 |  15M|  99 |   - |1929 |4729 |1929 |1703 | 541 |1843 |1724 | 0.000000e+00 | 2.260000e+02 |    Inf 
17.99/18.02	o 194
17.99/18.02	c *17.7s|  2973 |   659 | 29354 |   9.7 |  15M|  99 |   - |1929 |4881 |1929 |1703 | 560 |2183 |1760 | 0.000000e+00 | 1.940000e+02 |    Inf 
18.99/19.02	o 170
18.99/19.02	c *18.6s|  3270 |   713 | 34086 |  10.3 |  15M|  99 |   - |1929 |4923 |1929 |1704 | 603 |2488 |1778 | 0.000000e+00 | 1.700000e+02 |    Inf 
19.89/19.93	o 166
19.89/19.93	c *19.5s|  3609 |   803 | 38276 |  10.5 |  16M|  99 |   - |1929 |4759 |1929 |1708 | 649 |2781 |1785 | 0.000000e+00 | 1.660000e+02 |    Inf 
21.79/21.83	o 98
21.79/21.83	c *21.4s|  4528 |   810 | 44638 |   9.7 |  16M|  99 |   - |1929 |5227 |1929 |1709 | 800 |3785 |1820 | 0.000000e+00 | 9.800000e+01 |    Inf 
26.40/26.46	o 81
26.40/26.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.40/26.46	c *25.9s|  6375 |   837 | 60429 |   9.4 |  17M|  99 |   - |1929 |5420 |1929 |1703 | 989 |5878 |1890 | 0.000000e+00 | 8.100000e+01 |    Inf 
29.59/29.63	o 66
29.59/29.63	c *29.0s|  7801 |   865 | 71734 |   9.1 |  18M|  99 |   - |1929 |5260 |1929 |1705 |1117 |7649 |1896 | 0.000000e+00 | 6.600000e+01 |    Inf 
32.09/32.12	o 65
32.09/32.12	c *31.5s|  8974 |   907 | 80793 |   8.9 |  19M|  99 |   - |1929 |5527 |1929 |1703 |1221 |9124 |1896 | 0.000000e+00 | 6.500000e+01 |    Inf 
32.59/32.68	o 42
32.59/32.68	c *32.0s|  9292 |   756 | 82504 |   8.8 |  18M|  99 |   - |1929 |5668 |1929 |1703 |1249 |9552 |1896 | 0.000000e+00 | 4.200000e+01 |    Inf 
33.29/33.32	o 39
33.29/33.32	c *32.6s|  9589 |   743 | 84364 |   8.7 |  18M|  99 |   - |1929 |5628 |1929 |1707 |1258 |9935 |1922 | 0.000000e+00 | 3.900000e+01 |    Inf 
33.89/33.96	o 35
33.89/33.96	c *33.3s|  9800 |   708 | 86751 |   8.8 |  17M|  99 |   - |1929 |5347 |1929 |1703 |1267 |  10k|1947 | 0.000000e+00 | 3.500000e+01 |    Inf 
34.39/34.41	c  33.7s| 10000 |   710 | 88210 |   8.8 |  17M|  99 |  18 |1929 |5103 |1929 |1703 |1275 |  10k|1962 | 0.000000e+00 | 3.500000e+01 |    Inf 
36.09/36.15	o 34
36.09/36.15	c *35.4s| 10808 |   739 | 95070 |   8.7 |  18M|  99 |   - |1929 |5514 |1929 |1703 |1315 |  11k|1982 | 0.000000e+00 | 3.400000e+01 |    Inf 
37.59/37.65	o 17
37.59/37.65	c *36.9s| 11483 |   633 |100525 |   8.7 |  17M|  99 |   - |1929 |5083 |1929 |1703 |1353 |  12k|1999 | 0.000000e+00 | 1.700000e+01 |    Inf 
40.19/40.29	o 10
40.19/40.29	c *39.5s| 12627 |   660 |113469 |   8.9 |  17M|  99 |   - |1929 |5579 |1929 |1703 |1412 |  13k|2005 | 0.000000e+00 | 1.000000e+01 |    Inf 
55.79/55.80	o 6
55.79/55.80	c *54.7s| 19910 |   779 |187470 |   9.4 |  21M|  99 |   - |1929 |  10k|1929 |1703 |1835 |  24k|2009 | 0.000000e+00 | 6.000000e+00 |    Inf 
55.99/56.04	c  55.0s| 20000 |   772 |188587 |   9.4 |  20M|  99 |  22 |1929 |  10k|1929 |1703 |1839 |  24k|2009 | 0.000000e+00 | 6.000000e+00 |    Inf 
58.89/58.99	o 5
58.89/58.99	c *57.9s| 21487 |   735 |201828 |   9.4 |  20M|  99 |   - |1929 |  11k|1929 |1703 |1927 |  26k|2009 | 0.000000e+00 | 5.000000e+00 |    Inf 
70.79/70.84	o 1
70.79/70.84	c *69.5s| 26750 |   724 |258411 |   9.6 |  21M|  99 |   - |1929 |  11k|1929 |1708 |2248 |  34k|2009 | 0.000000e+00 | 1.000000e+00 |    Inf 
78.20/78.24	c  76.8s| 30000 |   697 |293412 |   9.8 |  20M|  99 |  24 |1929 |9019 |1929 |1703 |2456 |  39k|2009 | 0.000000e+00 | 1.000000e+00 |    Inf 
100.79/100.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
100.79/100.84	c  99.0s| 40000 |   771 |394806 |   9.9 |  23M|  99 |   - |1929 |  14k|   0 |   0 |3115 |  53k|2257 | 0.000000e+00 | 1.000000e+00 |    Inf 
125.29/125.37	c   123s| 50000 |   921 |499481 |  10.0 |  25M|  99 |  22 |1929 |  18k|1929 |1703 |3688 |  68k|2500 | 0.000000e+00 | 1.000000e+00 |    Inf 
149.99/150.08	c   148s| 60000 |   932 |595956 |   9.9 |  27M|  99 |   - |1929 |  21k|   0 |   0 |4205 |  83k|2805 | 0.000000e+00 | 1.000000e+00 |    Inf 
175.00/175.08	c   172s| 70000 |   678 |694596 |   9.9 |  24M|  99 |   - |1929 |  18k|1929 |1703 |4889 |  97k|3082 | 0.000000e+00 | 1.000000e+00 |    Inf 
200.49/200.50	c   197s| 80000 |   651 |801384 |  10.0 |  24M|  99 |  11 |1929 |  16k|1929 |1703 |5500 | 111k|3330 | 0.000000e+00 | 1.000000e+00 |    Inf 
223.69/223.75	c   220s| 90000 |   655 |898249 |  10.0 |  24M|  99 |  24 |1929 |  14k|1929 |1703 |6015 | 125k|3510 | 0.000000e+00 | 1.000000e+00 |    Inf 
247.20/247.21	c   243s|100000 |   639 |997128 |  10.0 |  24M|  99 |  23 |1929 |  14k|1929 |1703 |6509 | 138k|3748 | 0.000000e+00 | 1.000000e+00 |    Inf 
270.50/270.55	c   266s|110000 |   607 |  1088k|   9.9 |  24M|  99 |   - |1929 |  15k|   0 |   0 |6995 | 151k|3936 | 0.000000e+00 | 1.000000e+00 |    Inf 
294.59/294.66	c   290s|120000 |   559 |  1184k|   9.9 |  24M|  99 |   - |1929 |  15k|1929 |1703 |7437 | 166k|4172 | 0.000000e+00 | 1.000000e+00 |    Inf 
318.50/318.52	c   313s|130000 |   541 |  1284k|   9.9 |  26M|  99 |  30 |1929 |  19k|1929 |1703 |7817 | 180k|4429 | 0.000000e+00 | 1.000000e+00 |    Inf 
342.10/342.12	c   337s|140000 |   489 |  1373k|   9.8 |  25M|  99 |   - |1929 |  18k|   0 |   0 |8336 | 193k|4653 | 0.000000e+00 | 1.000000e+00 |    Inf 
364.70/364.75	c   359s|150000 |   603 |  1458k|   9.7 |  28M|  99 |  33 |1929 |  25k|1929 |1703 |8984 | 207k|4736 | 0.000000e+00 | 1.000000e+00 |    Inf 
389.10/389.13	c   383s|160000 |   492 |  1547k|   9.7 |  27M|  99 |  31 |1929 |  24k|1929 |1703 |9692 | 221k|4886 | 0.000000e+00 | 1.000000e+00 |    Inf 
416.10/416.12	c   410s|170000 |   635 |  1657k|   9.7 |  29M|  99 |   - |1929 |  27k|1929 |1703 |  10k| 236k|5059 | 0.000000e+00 | 1.000000e+00 |    Inf 
442.11/442.15	c   435s|180000 |   850 |  1755k|   9.8 |  31M|  99 |   - |1929 |  30k|   0 |   0 |  11k| 250k|5169 | 0.000000e+00 | 1.000000e+00 |    Inf 
468.10/468.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
468.10/468.10	c   461s|190000 |  1156 |  1842k|   9.7 |  34M|  99 |  25 |1929 |  34k|1929 |1703 |  11k| 264k|5308 | 0.000000e+00 | 1.000000e+00 |    Inf 
495.70/495.72	c   488s|200000 |  1302 |  1935k|   9.7 |  36M|  99 |  19 |1929 |  36k|1929 |1703 |  12k| 279k|5403 | 0.000000e+00 | 1.000000e+00 |    Inf 
523.30/523.34	c   515s|210000 |  1403 |  2028k|   9.7 |  37M|  99 |  22 |1929 |  36k|1929 |1703 |  13k| 294k|5487 | 0.000000e+00 | 1.000000e+00 |    Inf 
552.21/552.23	c   544s|220000 |  1465 |  2120k|   9.6 |  38M|  99 |  36 |1929 |  37k|1929 |1703 |  14k| 309k|5637 | 0.000000e+00 | 1.000000e+00 |    Inf 
581.00/581.05	c   572s|230000 |  1474 |  2209k|   9.6 |  39M|  99 |   - |1929 |  38k|1929 |1703 |  14k| 323k|5735 | 0.000000e+00 | 1.000000e+00 |    Inf 
607.51/607.59	c   598s|240000 |  1536 |  2295k|   9.6 |  40M|  99 |  34 |1929 |  39k|1929 |1703 |  15k| 338k|5806 | 0.000000e+00 | 1.000000e+00 |    Inf 
635.51/635.56	c   626s|250000 |  1479 |  2381k|   9.5 |  40M|  99 |  25 |1929 |  39k|1929 |1703 |  16k| 353k|5880 | 0.000000e+00 | 1.000000e+00 |    Inf 
663.50/663.54	c   654s|260000 |  1412 |  2468k|   9.5 |  39M|  99 |   1 |1929 |  38k|1929 |1703 |  16k| 368k|5987 | 0.000000e+00 | 1.000000e+00 |    Inf 
692.30/692.37	c   682s|270000 |  1371 |  2563k|   9.5 |  40M|  99 |  17 |1929 |  40k|1929 |1703 |  17k| 383k|6127 | 0.000000e+00 | 1.000000e+00 |    Inf 
720.31/720.37	c   710s|280000 |  1391 |  2643k|   9.4 |  41M|  99 |   - |1929 |  43k|   0 |   0 |  18k| 397k|6209 | 0.000000e+00 | 1.000000e+00 |    Inf 
749.71/749.72	c   739s|290000 |  1376 |  2730k|   9.4 |  42M|  99 |  32 |1929 |  45k|1929 |1703 |  18k| 411k|6302 | 0.000000e+00 | 1.000000e+00 |    Inf 
779.51/779.56	c   768s|300000 |  1348 |  2821k|   9.4 |  42M|  99 |  27 |1929 |  43k|1929 |1703 |  19k| 426k|6408 | 0.000000e+00 | 1.000000e+00 |    Inf 
808.81/808.89	c   797s|310000 |  1264 |  2903k|   9.4 |  41M|  99 |  26 |1929 |  41k|1929 |1703 |  20k| 441k|6506 | 0.000000e+00 | 1.000000e+00 |    Inf 
837.21/837.23	c   825s|320000 |  1180 |  2985k|   9.3 |  40M|  99 |  17 |1929 |  41k|1929 |1703 |  20k| 457k|6587 | 0.000000e+00 | 1.000000e+00 |    Inf 
867.41/867.43	c   855s|330000 |  1187 |  3080k|   9.3 |  41M|  99 |  20 |1929 |  42k|1929 |1703 |  21k| 472k|6668 | 0.000000e+00 | 1.000000e+00 |    Inf 
896.81/896.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
896.81/896.87	c   884s|340000 |  1166 |  3169k|   9.3 |  42M|  99 |  18 |1929 |  44k|1929 |1703 |  22k| 486k|6741 | 0.000000e+00 | 1.000000e+00 |    Inf 
926.51/926.57	c   913s|350000 |  1046 |  3262k|   9.3 |  41M|  99 |   - |1929 |  43k|   0 |   0 |  23k| 501k|6813 | 0.000000e+00 | 1.000000e+00 |    Inf 
955.31/955.31	c   942s|360000 |   880 |  3347k|   9.3 |  38M|  99 |   - |1929 |  39k|   0 |   0 |  23k| 516k|6882 | 0.000000e+00 | 1.000000e+00 |    Inf 
982.41/982.46	c   968s|370000 |   799 |  3429k|   9.3 |  39M|  99 |  29 |1929 |  42k|1929 |1703 |  24k| 531k|6953 | 0.000000e+00 | 1.000000e+00 |    Inf 
1011.82/1011.90	c   998s|380000 |   675 |  3517k|   9.3 |  36M|  99 |   1 |1929 |  37k|1929 |1703 |  25k| 546k|7052 | 0.000000e+00 | 1.000000e+00 |    Inf 
1039.71/1039.72	c  1025s|390000 |   514 |  3603k|   9.2 |  35M|  99 |   - |1929 |  38k|   0 |   0 |  25k| 561k|7127 | 0.000000e+00 | 1.000000e+00 |    Inf 
1067.92/1067.97	c  1053s|400000 |   541 |  3689k|   9.2 |  37M|  99 |  24 |1929 |  42k|1929 |1711 |  26k| 575k|7203 | 0.000000e+00 | 1.000000e+00 |    Inf 
1100.42/1100.45	c  1085s|410000 |   423 |  3791k|   9.2 |  32M|  99 |  21 |1929 |  30k|1929 |1703 |  27k| 590k|7418 | 0.000000e+00 | 1.000000e+00 |    Inf 
1125.82/1125.87	c  1110s|420000 |   396 |  3873k|   9.2 |  29M|  99 |   1 |1929 |  24k|1929 |1703 |  27k| 603k|7838 | 0.000000e+00 | 1.000000e+00 |    Inf 
1151.02/1151.08	c  1135s|430000 |   394 |  3961k|   9.2 |  31M|  99 |  13 |1929 |  30k|1929 |1703 |  28k| 616k|7847 | 0.000000e+00 | 1.000000e+00 |    Inf 
1177.82/1177.83	c  1161s|440000 |   461 |  4043k|   9.2 |  34M|  99 |  29 |1929 |  35k|1929 |1703 |  28k| 630k|7856 | 0.000000e+00 | 1.000000e+00 |    Inf 
1205.82/1205.87	c  1189s|450000 |   407 |  4127k|   9.2 |  33M|  99 |   - |1929 |  35k|   0 |   0 |  29k| 644k|7887 | 0.000000e+00 | 1.000000e+00 |    Inf 
1235.52/1235.56	c  1218s|460000 |   368 |  4216k|   9.2 |  33M|  99 |  26 |1929 |  33k|1929 |1703 |  30k| 657k|8031 | 0.000000e+00 | 1.000000e+00 |    Inf 
1266.32/1266.31	c  1249s|470000 |   369 |  4311k|   9.2 |  32M|  99 |   - |1929 |  31k|   0 |   0 |  30k| 670k|8295 | 0.000000e+00 | 1.000000e+00 |    Inf 
1295.82/1295.88	c  1278s|480000 |   303 |  4399k|   9.2 |  33M|  99 |   8 |1929 |  35k|1929 |1703 |  31k| 683k|8299 | 0.000000e+00 | 1.000000e+00 |    Inf 
1326.33/1326.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1326.33/1326.35	c  1308s|490000 |   370 |  4501k|   9.2 |  35M|  99 |   - |1929 |  38k|1929 |1703 |  32k| 697k|8377 | 0.000000e+00 | 1.000000e+00 |    Inf 
1359.72/1359.73	c  1340s|500000 |   333 |  4602k|   9.2 |  36M|  99 |   - |1929 |  39k|   0 |   0 |  32k| 710k|8457 | 0.000000e+00 | 1.000000e+00 |    Inf 
1393.92/1393.96	c  1374s|510000 |   308 |  4706k|   9.2 |  36M|  99 |  17 |1929 |  40k|1929 |1703 |  33k| 724k|8527 | 0.000000e+00 | 1.000000e+00 |    Inf 
1433.32/1433.36	c  1412s|520000 |   273 |  4807k|   9.2 |  34M|  99 |   - |1929 |  34k|1929 |1703 |  33k| 737k|8638 | 0.000000e+00 | 1.000000e+00 |    Inf 
1465.72/1465.70	c  1443s|530000 |   285 |  4892k|   9.2 |  36M|  99 |   1 |1929 |  40k|1929 |1703 |  34k| 751k|8701 | 0.000000e+00 | 1.000000e+00 |    Inf 
1500.23/1500.27	c  1477s|540000 |   324 |  4983k|   9.2 |  39M|  99 |  14 |1929 |  47k|1929 |1703 |  35k| 765k|8757 | 0.000000e+00 | 1.000000e+00 |    Inf 
1537.03/1537.06	c  1513s|550000 |   263 |  5062k|   9.2 |  37M|  99 |   8 |1929 |  43k|1929 |1703 |  36k| 778k|8830 | 0.000000e+00 | 1.000000e+00 |    Inf 
1577.03/1577.09	c  1551s|560000 |   296 |  5163k|   9.2 |  38M|  99 |  34 |1929 |  45k|1929 |1703 |  37k| 792k|8887 | 0.000000e+00 | 1.000000e+00 |    Inf 
1616.93/1616.91	c  1590s|570000 |   275 |  5267k|   9.2 |  39M|  99 |  32 |1929 |  47k|1929 |1708 |  37k| 806k|8960 | 0.000000e+00 | 1.000000e+00 |    Inf 
1658.83/1658.82	c  1631s|580000 |   243 |  5366k|   9.3 |  38M|  99 |  25 |1929 |  47k|1929 |1703 |  38k| 819k|9041 | 0.000000e+00 | 1.000000e+00 |    Inf 
1699.92/1699.96	c  1671s|590000 |   193 |  5464k|   9.3 |  37M|  99 |  20 |1929 |  44k|1929 |1703 |  39k| 832k|9153 | 0.000000e+00 | 1.000000e+00 |    Inf 
1737.23/1737.25	c  1707s|600000 |   232 |  5546k|   9.2 |  39M|  99 |   9 |1929 |  50k|1929 |1703 |  39k| 845k|9211 | 0.000000e+00 | 1.000000e+00 |    Inf 
1779.03/1779.00	c  1748s|610000 |   242 |  5630k|   9.2 |  41M|  99 |  21 |1929 |  54k|1929 |1703 |  40k| 859k|9247 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1768.63
1800.04/1800.00	c Solving Nodes      : 614946
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (182 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 
1800.04/1800.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.01	v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.01	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.01	v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/1800.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.01	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.04/1800.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 -x54 
1800.04/1800.01	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.04/1800.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 
1800.04/1800.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1768.63
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2692907-1277909928.wbo
1800.04/1800.01	c   Variables        : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.04/1800.01	c   Constraints      : 3638 initial, 3638 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2692907-1277909928.wbo
1800.04/1800.01	c   Variables        : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.04/1800.01	c   Constraints      : 3365 initial, 56446 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         81          0          0
1800.04/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.06          0          0          0        954          0        192        139          0
1800.04/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        849          -          -       1698          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     348127          0        167       2164          0          0     672902
1800.04/1800.01	c   indicator        :        849          0     118099       1735          0        122     393146          0          0          0
1800.04/1800.01	c   knapsack         :          1          5    2801798       9092          0      57450    5642525          0          0          0
1800.04/1800.01	c   setppc           :         14          5    2747627       9108          0      33087    1901891          0          0          0
1800.04/1800.01	c   linear           :        849          5    2715914       9573          0      71302    3874064      40661          0          0
1800.04/1800.01	c   logicor          :       1652+         5    1480862       1279          0      90885    5628876          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0       1279          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      40.82       0.00       0.00      40.82       0.00
1800.04/1800.01	c   indicator        :       0.88       0.00       0.83       0.05       0.00
1800.04/1800.01	c   knapsack         :      37.52       0.00      37.52       0.00       0.00
1800.04/1800.01	c   setppc           :      12.98       0.00      12.98       0.00       0.00
1800.04/1800.01	c   linear           :      45.15       0.01      44.91       0.23       0.00
1800.04/1800.01	c   logicor          :     333.61       0.00     333.59       0.02       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.70          2          0          0
1800.04/1800.01	c   rootredcost      :       0.53         36          0        849
1800.04/1800.01	c   pseudoobj        :      44.65    2808027       1177     312855
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :      12.71     253901     253461    1729516       31.4       6309       24.4          -
1800.04/1800.01	c   infeasible LP    :      17.86      80981      80979     687399       45.4        359       20.5          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00         26         26        199       21.2          7        6.0          -
1800.04/1800.01	c   applied globally :          -          -          -     866029       28.6          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 137)
1800.04/1800.01	c   redcost          :       8.35     348663          0      75262          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.15          5          0          0        976          0
1800.04/1800.01	c   strongcg         :       0.12          5          0          0        504          0
1800.04/1800.01	c   cmir             :       0.02          5          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.04          5          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          5          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      40.61     338292        167       2164          0          0     672902
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.05       1245          0          0          0          0       2490
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.02          -         34
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.06          1          0
1800.04/1800.01	c   oneopt           :       0.40         36          0
1800.04/1800.01	c   intshifting      :       0.01         14          0
1800.04/1800.01	c   crossover        :       0.48         18          0
1800.04/1800.01	c   fracdiving       :       0.11         63          0
1800.04/1800.01	c   veclendiving     :       0.21         63          0
1800.04/1800.01	c   linesearchdiving :       0.11         63          0
1800.04/1800.01	c   guideddiving     :       0.18         63          1
1800.04/1800.01	c   coefdiving       :       0.14         64          0
1800.04/1800.01	c   pscostdiving     :       0.12         64          0
1800.04/1800.01	c   rootsoldiving    :       0.26         37          0
1800.04/1800.01	c   objpscostdiving  :       0.10         38          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.53     338428          0
1800.04/1800.01	c   zirounding       :       0.27       1000          0
1800.04/1800.01	c   rounding         :       0.98       8211          0
1800.04/1800.01	c   shifting         :       0.71       2535          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.01          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.13          0          0
1800.04/1800.01	c   trysol           :       0.37        630        147
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     777.79     426610    5662377      13.27    7280.08
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.75        480       4923      10.26    6564.00
1800.04/1800.01	c   strong branching :      36.67       9309     257315      27.64    7017.04
1800.04/1800.01	c     (at root node) :          -         33       4164     126.18          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     614946
1800.04/1800.01	c   nodes (total)    :     614946
1800.04/1800.01	c   nodes left       :        232
1800.04/1800.01	c   max depth        :         99
1800.04/1800.01	c   max depth (total):         99
1800.04/1800.01	c   backtracks       :      93493 (15.2%)
1800.04/1800.01	c   delayed cutoffs  :      58507
1800.04/1800.01	c   repropagations   :    1003811 (3944284 domain reductions, 57458 cutoffs)
1800.04/1800.01	c   avg switch length:       4.75
1800.04/1800.01	c   switching time   :     255.75
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        182 (36 improvements)
1800.04/1800.01	c   First Solution   : +4.26820000000000e+04   (in run 1, after 19 nodes, 3.72 seconds, depth 19, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 26750 nodes, 69.50 seconds, depth 36, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        534
1800.14/1800.11	c Time complete: 1800.14.

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-2692907-1277909928/watcher-2692907-1277909928 -o /tmp/evaluation-result-2692907-1277909928/solver-2692907-1277909928 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692907-1277909928.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 14308
/proc/meminfo: memFree=30355384/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=9288 CPUtime=0
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 132288821 9510912 1565 4089446400 4194304 8223781 140735154652880 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14308/statm: 2360 1565 369 984 0 1373 0

[startup+0.064096 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 14308
/proc/meminfo: memFree=30355384/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=22768 CPUtime=0.06
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 5618 0 0 0 5 1 0 0 25 0 1 0 132288821 23314432 4659 4089446400 4194304 8223781 140735154652880 18446744073709551615 4938239 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14308/statm: 5692 4659 446 984 0 4705 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22768

[startup+0.101101 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 14308
/proc/meminfo: memFree=30355384/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=22768 CPUtime=0.09
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 6911 0 0 0 8 1 0 0 25 0 1 0 132288821 23314432 4667 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14308/statm: 5692 4667 452 984 0 4705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22768

[startup+0.301055 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 14308
/proc/meminfo: memFree=30355384/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=30236 CPUtime=0.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 12154 0 0 0 27 3 0 0 25 0 1 0 132288821 30961664 6669 4089446400 4194304 8223781 140735154652880 18446744073709551615 6555180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14308/statm: 7559 6669 582 984 0 6572 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 30236

[startup+0.700986 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 14308
/proc/meminfo: memFree=30355384/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=31824 CPUtime=0.69
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 18200 0 0 0 65 4 0 0 25 0 1 0 132288821 32587776 7095 4089446400 4194304 8223781 140735154652880 18446744073709551615 6562211 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14308/statm: 7956 7095 599 984 0 6969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31824

[startup+1.50091 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 14309
/proc/meminfo: memFree=30325864/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=31824 CPUtime=1.49
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 18442 0 0 0 144 5 0 0 25 0 1 0 132288821 32587776 7095 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 7956 7095 599 984 0 6969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31824

[startup+3.10063 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 14309
/proc/meminfo: memFree=30323536/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=31824 CPUtime=3.09
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 19156 0 0 0 303 6 0 0 25 0 1 0 132288821 32587776 7095 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 7956 7095 599 984 0 6969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31824

[startup+6.30106 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 14309
/proc/meminfo: memFree=30315292/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=32944 CPUtime=6.29
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 33380 0 0 0 617 12 0 0 25 0 1 0 132288821 33734656 7389 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 8236 7389 604 984 0 7249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32944

[startup+12.7009 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 14309
/proc/meminfo: memFree=30294964/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=39380 CPUtime=12.69
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 67056 0 0 0 1246 23 0 0 25 0 1 0 132288821 40325120 8759 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 9845 8759 604 984 0 8858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39380

[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 14309
/proc/meminfo: memFree=30252192/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=52200 CPUtime=25.49
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 131810 0 0 0 2499 50 0 0 25 0 1 0 132288821 53452800 12099 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 13050 12099 604 984 0 12063 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52200

[startup+51.1012 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 14310
/proc/meminfo: memFree=30197352/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=63076 CPUtime=51.09
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 217402 0 0 0 5011 98 0 0 25 0 1 0 132288821 64589824 14813 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 15769 14813 604 984 0 14782 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63076

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14311
/proc/meminfo: memFree=30144112/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=67620 CPUtime=102.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 300497 0 0 0 10049 181 0 0 25 0 1 0 132288821 69242880 15947 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 16905 15947 604 984 0 15918 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67620

[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14322
/proc/meminfo: memFree=30059344/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=74704 CPUtime=162.29
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 394115 0 0 0 15955 274 0 0 25 0 1 0 132288821 76496896 17665 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 18676 17665 604 984 0 17689 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 74704

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14324
/proc/meminfo: memFree=29946660/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=76140 CPUtime=222.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 399621 0 0 0 21879 351 0 0 25 0 1 0 132288821 77967360 17968 4089446400 4194304 8223781 140735154652880 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 19035 17968 604 984 0 18048 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 76140

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14325
/proc/meminfo: memFree=29880116/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=76872 CPUtime=282.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 467941 0 0 0 27780 450 0 0 25 0 1 0 132288821 78716928 18146 4089446400 4194304 8223781 140735154652880 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 19218 18146 604 984 0 18231 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 76872

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14327
/proc/meminfo: memFree=29736316/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=78732 CPUtime=342.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 551593 0 0 0 33682 548 0 0 25 0 1 0 132288821 80621568 18506 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 19683 18506 604 984 0 18696 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 78732

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14328
/proc/meminfo: memFree=29695584/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=80284 CPUtime=402.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 613718 0 0 0 39592 638 0 0 25 0 1 0 132288821 82210816 18911 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 20071 18911 604 984 0 19084 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80284

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14330
/proc/meminfo: memFree=29598424/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=84052 CPUtime=462.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 691124 0 0 0 45508 722 0 0 25 0 1 0 132288821 86069248 19726 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 21013 19726 604 984 0 20026 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 84052

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14332
/proc/meminfo: memFree=29525068/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=87496 CPUtime=522.3
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 778978 0 0 0 51425 805 0 0 25 0 1 0 132288821 89595904 20559 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 21874 20559 604 984 0 20887 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87496

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14333
/proc/meminfo: memFree=29400640/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=89776 CPUtime=582.31
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 845431 0 0 0 57348 883 0 0 25 0 1 0 132288821 91930624 21165 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 22444 21165 604 984 0 21457 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 89776

[startup+642.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14335
/proc/meminfo: memFree=29284012/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=90836 CPUtime=642.31
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 963900 0 0 0 63264 967 0 0 25 0 1 0 132288821 93016064 21451 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 22709 21451 604 984 0 21722 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 90836

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14341
/proc/meminfo: memFree=28927660/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=95252 CPUtime=882.31
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1240658 0 0 0 86948 1283 0 0 25 0 1 0 132288821 97538048 22518 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 23813 22518 604 984 0 22826 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 95252

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14343
/proc/meminfo: memFree=28899432/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=95736 CPUtime=942.31
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1284935 0 0 0 92878 1353 0 0 25 0 1 0 132288821 98033664 22659 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 23934 22659 604 984 0 22947 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 95736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14344
/proc/meminfo: memFree=28843944/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=95736 CPUtime=1002.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1309493 0 0 0 98812 1420 0 0 25 0 1 0 132288821 98033664 22669 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 23934 22669 604 984 0 22947 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 95736

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14346
/proc/meminfo: memFree=28772084/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=97164 CPUtime=1062.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1336201 0 0 0 104740 1492 0 0 25 0 1 0 132288821 99495936 22798 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 24291 22798 604 984 0 23304 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 97164

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14348
/proc/meminfo: memFree=28708308/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=99084 CPUtime=1122.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1390762 0 0 0 110661 1571 0 0 25 0 1 0 132288821 101462016 23129 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 24771 23129 604 984 0 23784 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 99084

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14349
/proc/meminfo: memFree=28594312/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=99636 CPUtime=1182.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1470769 0 0 0 116576 1656 0 0 25 0 1 0 132288821 102027264 23257 4089446400 4194304 8223781 140735154652880 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 24909 23257 604 984 0 23922 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 99636

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14351
/proc/meminfo: memFree=28526064/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=101860 CPUtime=1242.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1530492 0 0 0 122495 1737 0 0 25 0 1 0 132288821 104304640 23686 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 25465 23686 604 984 0 24478 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 101860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14352
/proc/meminfo: memFree=28447024/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=102120 CPUtime=1302.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1539004 0 0 0 128426 1806 0 0 25 0 1 0 132288821 104570880 23754 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14308/statm: 25530 23754 604 984 0 24543 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 102120

[startup+1362.3 s]
/proc/loadavg: 2.34 2.08 2.02 4/200 14434
/proc/meminfo: memFree=30881412/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=102260 CPUtime=1362.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1562413 0 0 0 134290 1942 0 0 25 0 1 0 132288821 104714240 23778 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25565 23778 604 984 0 24578 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 102260

[startup+1422.31 s]
/proc/loadavg: 2.76 2.24 2.08 4/200 14436
/proc/meminfo: memFree=30858620/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=102676 CPUtime=1422.33
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1580561 0 0 0 140120 2113 0 0 25 0 1 0 132288821 105140224 23862 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25669 23862 604 984 0 24682 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 102676

[startup+1482.3 s]
/proc/loadavg: 2.79 2.35 2.13 4/200 14437
/proc/meminfo: memFree=30847892/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=102920 CPUtime=1482.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1595041 0 0 0 145941 2291 0 0 25 0 1 0 132288821 105390080 23931 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25730 23931 604 984 0 24743 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 102920

[startup+1542.3 s]
/proc/loadavg: 2.66 2.39 2.15 4/200 14439
/proc/meminfo: memFree=30836108/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=103908 CPUtime=1542.32
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1607490 0 0 0 151764 2468 0 0 25 0 1 0 132288821 106401792 24025 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25977 24025 604 984 0 24990 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 103908

[startup+1602.3 s]
/proc/loadavg: 2.87 2.50 2.20 4/200 14440
/proc/meminfo: memFree=30830076/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=103964 CPUtime=1602.33
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1621684 0 0 0 157596 2637 0 0 25 0 1 0 132288821 106459136 24043 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25991 24043 604 984 0 25004 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 103964

[startup+1662.3 s]
/proc/loadavg: 2.67 2.51 2.22 4/200 14442
/proc/meminfo: memFree=30824160/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=103968 CPUtime=1662.33
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1636697 0 0 0 163438 2795 0 0 25 0 1 0 132288821 106463232 24111 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 25992 24111 604 984 0 25005 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 103968

[startup+1722.3 s]
/proc/loadavg: 2.84 2.58 2.26 4/200 14444
/proc/meminfo: memFree=30823348/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=105172 CPUtime=1722.33
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1653429 0 0 0 169285 2948 0 0 25 0 1 0 132288821 107696128 24248 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 26293 24248 604 984 0 25306 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 105172

[startup+1782.3 s]
/proc/loadavg: 2.87 2.64 2.30 3/200 14445
/proc/meminfo: memFree=30817708/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=106788 CPUtime=1782.33
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1664025 0 0 0 175133 3100 0 0 25 0 1 0 132288821 109350912 24628 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 26697 24628 604 984 0 25710 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 106788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.90 2.66 2.31 4/200 14446
/proc/meminfo: memFree=30815836/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=107296 CPUtime=1800.04
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1667130 0 0 0 176865 3139 0 0 25 0 1 0 132288821 109871104 24760 4089446400 4194304 8223781 140735154652880 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14308/statm: 26824 24760 604 984 0 25837 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107296

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

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

[startup+1800.11 s]
/proc/loadavg: 2.90 2.66 2.31 4/200 14446
/proc/meminfo: memFree=30815836/32951124 swapFree=67111528/67111528
[pid=14308] ppid=14306 vsize=53156 CPUtime=1800.14
/proc/14308/stat : 14308 (pbscip.linux.x8) R 14306 14308 12908 0 -1 4202496 1667184 0 0 0 176875 3139 0 0 18 0 1 0 132288821 54431744 12671 4089446400 4194304 8223781 140735154652880 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14308/statm: 13289 12671 606 984 0 12302 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 53156

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.15
CPU user time (s): 1768.75
CPU system time (s): 31.3962
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 107568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.75
system time used= 31.3962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1667188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 6126

runsolver used 2.76758 second user time and 5.79612 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 16:58:49
IDJOB=2692907
IDBENCH=78972
IDSOLVER=1204
FILE ID=node136/2692907-1277909928
PBS_JOBID= 11197211
Free space on /tmp= 74136 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.1900548667--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-2692907-1277909928/watcher-2692907-1277909928 -o /tmp/evaluation-result-2692907-1277909928/solver-2692907-1277909928 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692907-1277909928.wbo -t 1800 -m 3800

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

MD5SUM BENCH= b93cc320d1c40ed770cd566486d12ca9
RANDOM SEED=1627982042

node136.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.840
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.68
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.840
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
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.840
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.840
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.83
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.840
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.840
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.83
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.840
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.840
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:      30356036 kB
Buffers:        193384 kB
Cached:        1375032 kB
SwapCached:          0 kB
Active:        1544264 kB
Inactive:       905420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30356036 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4724 kB
Writeback:           0 kB
AnonPages:      881436 kB
Mapped:          15084 kB
Slab:            81480 kB
PageTables:       6384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1024160 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= 74136 MiB
End job on node136 at 2010-06-30 17:28:51