Trace number 2693549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.15 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
MD5SUM4dbce9c855a469b24d5770190ca01b65
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 benchmark300.057
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693549-1277910033.wbo>
0.00/0.03	c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.06/0.09	c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.06/0.09	c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11	c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12	c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17	c    (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (6 rounds):
0.09/0.17	c  158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17	c  1931 implications, 11 cliques
0.09/0.17	c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17	c    1704 constraints of type <indicator>
0.09/0.17	c      11 constraints of type <setppc>
0.09/0.17	c    1704 constraints of type <linear>
0.09/0.17	c     879 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.97
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	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.18	c   0.1s|     1 |     0 |    10 |     - |  13M|   0 |   7 |3639 |4298 |3639 | 890 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.20	o 86790
0.09/0.20	c y 0.1s|     1 |     0 |    10 |     - |  13M|   0 |   7 |3639 |4298 |3639 | 890 |   0 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    50 |     - |  13M|   0 |  12 |3639 |4298 |3639 | 909 |  19 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   116 |     - |  13M|   0 |  30 |3639 |4298 |3639 | 931 |  41 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   134 |     - |  13M|   0 |  38 |3639 |4298 |3639 | 939 |  49 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   210 |     - |  14M|   0 |  43 |3639 |4298 |3639 | 946 |  56 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.29/0.39	c   0.3s|     1 |     0 |   257 |     - |  14M|   0 |  31 |3639 |4298 |3639 | 957 |  67 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   408 |     - |  14M|   0 |  43 |3639 |4298 |3639 | 962 |  72 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
1.68/1.72	c   1.6s|     1 |     2 |   408 |     - |  14M|   0 |  43 |3639 |4298 |3639 | 962 |  72 |   0 |  33 | 0.000000e+00 | 8.679000e+04 |    Inf 
5.29/5.30	o 1053
5.29/5.30	c * 5.2s|  1019 |   933 |  1397 |   1.0 |  17M|1018 |   - |3639 |4298 |3639 | 978 |  97 |   0 | 223 | 0.000000e+00 | 1.053000e+03 |    Inf 
5.88/5.96	o 903
5.88/5.96	c * 5.8s|  1031 |   934 |  1912 |   1.5 |  17M|1018 |   - |3639 |4298 |3639 | 991 | 135 |   0 | 336 | 0.000000e+00 | 9.030000e+02 |    Inf 
5.99/6.02	o 881
5.99/6.02	c * 5.9s|  1077 |   966 |  1918 |   1.4 |  17M|1018 |   - |3639 |4308 |3639 | 991 | 135 |  10 | 339 | 0.000000e+00 | 8.810000e+02 |    Inf 
6.89/6.99	o 720
6.89/6.99	c * 6.8s|  1554 |  1315 |  3066 |   1.7 |  19M|1018 |   - |3639 |4329 |3639 | 978 | 282 |  31 | 466 | 0.000000e+00 | 7.200000e+02 |    Inf 
7.39/7.41	o 697
7.39/7.41	c * 7.2s|  1765 |  1419 |  3573 |   1.8 |  19M|1018 |   - |3639 |4334 |3639 | 963 | 342 |  36 | 512 | 0.000000e+00 | 6.970000e+02 |    Inf 
7.39/7.42	o 674
7.39/7.42	c * 7.2s|  1766 |  1223 |  3573 |   1.8 |  19M|1018 |   - |3639 |4334 |3639 | 963 | 342 |  36 | 512 | 0.000000e+00 | 6.740000e+02 |    Inf 
7.49/7.53	o 378
7.49/7.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.49/7.53	c * 7.3s|  1804 |   977 |  3735 |   1.8 |  19M|1018 |   - |3639 |4377 |3639 |1009 | 371 |  79 | 529 | 0.000000e+00 | 3.780000e+02 |    Inf 
7.49/7.53	o 371
7.49/7.53	c * 7.4s|  1805 |   976 |  3735 |   1.8 |  19M|1018 |   - |3639 |4377 |3639 |1009 | 371 |  79 | 529 | 0.000000e+00 | 3.710000e+02 |    Inf 
7.49/7.57	o 356
7.49/7.57	c * 7.4s|  1824 |   975 |  3779 |   1.8 |  19M|1018 |   - |3639 |4394 |3639 |1008 | 373 |  96 | 529 | 0.000000e+00 | 3.560000e+02 |    Inf 
7.89/7.93	o 279
7.89/7.93	c * 7.7s|  1961 |   962 |  4356 |   2.0 |  19M|1018 |   - |3639 |4437 |3639 | 978 | 462 | 139 | 586 | 0.000000e+00 | 2.790000e+02 |    Inf 
7.89/7.94	o 232
7.89/7.94	c * 7.8s|  1962 |   939 |  4356 |   2.0 |  19M|1018 |   - |3639 |4437 |3639 | 978 | 462 | 139 | 586 | 0.000000e+00 | 2.320000e+02 |    Inf 
8.49/8.55	o 216
8.49/8.55	c * 8.3s|  2059 |   958 |  5574 |   2.5 |  20M|1018 |   - |3639 |4673 |3639 | 973 | 656 | 375 | 711 | 0.000000e+00 | 2.160000e+02 |    Inf 
10.18/10.21	o 189
10.18/10.21	c * 9.9s|  2411 |  1109 |  7783 |   3.1 |  22M|1018 |   - |3639 |4957 |3639 | 978 | 814 | 659 | 979 | 0.000000e+00 | 1.890000e+02 |    Inf 
10.49/10.54	o 185
10.49/10.54	c *10.2s|  2520 |  1158 |  8102 |   3.1 |  23M|1018 |   - |3639 |5061 |3639 | 988 | 865 | 764 |1011 | 0.000000e+00 | 1.850000e+02 |    Inf 
10.58/10.60	o 166
10.58/10.60	c *10.3s|  2579 |  1146 |  8109 |   3.0 |  23M|1018 |   - |3639 |5061 |3639 | 988 | 865 | 764 |1011 | 0.000000e+00 | 1.660000e+02 |    Inf 
10.79/10.81	o 143
10.79/10.81	c *10.5s|  2681 |  1130 |  8531 |   3.0 |  23M|1018 |   - |3639 |5147 |3639 | 997 | 935 | 853 |1031 | 0.000000e+00 | 1.430000e+02 |    Inf 
11.89/11.91	o 123
11.89/11.91	c *11.6s|  3088 |  1191 |  9858 |   3.1 |  24M|1018 |   - |3639 |5522 |3639 | 982 |1130 |1323 |1082 | 0.000000e+00 | 1.230000e+02 |    Inf 
11.89/11.95	o 114
11.89/11.95	c *11.6s|  3102 |  1160 |  9860 |   3.0 |  24M|1018 |   - |3639 |5527 |3639 | 982 |1130 |1330 |1082 | 0.000000e+00 | 1.140000e+02 |    Inf 
11.99/12.03	o 104
11.99/12.03	c *11.7s|  3137 |  1172 |  9935 |   3.0 |  24M|1018 |   - |3639 |5505 |3639 |1001 |1151 |1335 |1086 | 0.000000e+00 | 1.040000e+02 |    Inf 
11.99/12.03	o 101
11.99/12.03	c *11.7s|  3138 |  1156 |  9935 |   3.0 |  24M|1018 |   - |3639 |5505 |3639 |1001 |1151 |1335 |1086 | 0.000000e+00 | 1.010000e+02 |    Inf 
13.58/13.69	o 75
13.58/13.69	c *13.3s|  3648 |   912 | 12375 |   3.3 |  25M|1018 |   - |3639 |5646 |3639 | 986 |1525 |2022 |1134 | 0.000000e+00 | 7.500000e+01 |    Inf 
13.58/13.69	o 73
13.58/13.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.58/13.69	c *13.3s|  3649 |   885 | 12375 |   3.3 |  25M|1018 |   - |3639 |5646 |3639 | 986 |1525 |2022 |1134 | 0.000000e+00 | 7.300000e+01 |    Inf 
13.89/13.95	o 66
13.89/13.95	c *13.6s|  3696 |   817 | 12838 |   3.4 |  25M|1018 |   - |3639 |5074 |3639 | 989 |1561 |2074 |1143 | 0.000000e+00 | 6.600000e+01 |    Inf 
14.29/14.36	o 62
14.29/14.36	c *14.0s|  3789 |   778 | 13309 |   3.4 |  24M|1018 |   - |3639 |4955 |3639 | 987 |1617 |2172 |1181 | 0.000000e+00 | 6.200000e+01 |    Inf 
14.29/14.36	o 60
14.29/14.36	c *14.0s|  3790 |   716 | 13309 |   3.4 |  24M|1018 |   - |3639 |4955 |3639 | 987 |1617 |2172 |1181 | 0.000000e+00 | 6.000000e+01 |    Inf 
15.79/15.85	o 55
15.79/15.85	c *15.4s|  4148 |   678 | 15969 |   3.8 |  24M|1018 |   - |3639 |4704 |3639 | 978 |1744 |2640 |1342 | 0.000000e+00 | 5.500000e+01 |    Inf 
16.09/16.15	o 16
16.09/16.15	c *15.7s|  4201 |   286 | 16455 |   3.8 |  23M|1018 |   - |3639 |4578 |3639 | 964 |1758 |2717 |1370 | 0.000000e+00 | 1.600000e+01 |    Inf 
20.69/20.80	o 8
20.69/20.80	c *20.2s|  6471 |   258 | 31283 |   4.8 |  24M|1018 |   - |3639 |5857 |3639 | 964 |2421 |5740 |1593 | 0.000000e+00 | 8.000000e+00 |    Inf 
23.19/23.26	o 7
23.19/23.26	c *22.5s|  7893 |   313 | 43011 |   5.4 |  24M|1018 |   - |3639 |5905 |3639 | 955 |2682 |7588 |1614 | 0.000000e+00 | 7.000000e+00 |    Inf 
23.19/23.26	o 5
23.19/23.26	c *22.5s|  7894 |   293 | 43011 |   5.4 |  24M|1018 |   - |3639 |5905 |3639 | 955 |2682 |7588 |1614 | 0.000000e+00 | 5.000000e+00 |    Inf 
26.69/26.78	c  25.9s| 10000 |   336 | 57643 |   5.7 |  25M|1018 |  15 |3639 |6763 |3639 | 953 |3309 |  10k|1677 | 0.000000e+00 | 5.000000e+00 |    Inf 
38.50/38.57	o 3
38.50/38.57	c *37.3s| 17426 |   330 |104630 |   6.0 |  25M|1018 |   - |3639 |6763 |3639 | 966 |4905 |  20k|1733 | 0.000000e+00 | 3.000000e+00 |    Inf 
42.49/42.55	c  41.1s| 20000 |   328 |120087 |   6.0 |  26M|1018 |  30 |3639 |6751 |3639 | 953 |5485 |  23k|1740 | 0.000000e+00 | 3.000000e+00 |    Inf 
58.39/58.48	c  56.7s| 30000 |   511 |192804 |   6.4 |  28M|1018 |   - |3639 |9391 |   0 |   0 |8323 |  36k|1762 | 0.000000e+00 | 3.000000e+00 |    Inf 
74.98/75.04	c  72.8s| 40000 |   534 |261740 |   6.5 |  29M|1018 |   - |3639 |  11k|   0 |   0 |  10k|  49k|1774 | 0.000000e+00 | 3.000000e+00 |    Inf 
92.29/92.32	c  89.5s| 50000 |   485 |328069 |   6.6 |  29M|1018 |  19 |3639 |  10k|3639 | 976 |  13k|  63k|1796 | 0.000000e+00 | 3.000000e+00 |    Inf 
110.69/110.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
110.69/110.73	c   107s| 60000 |   545 |411470 |   6.9 |  30M|1018 |  20 |3639 |  10k|3639 |1007 |  15k|  77k|1967 | 0.000000e+00 | 3.000000e+00 |    Inf 
129.09/129.12	c   125s| 70000 |   437 |485314 |   6.9 |  30M|1018 |   - |3639 |  10k|   0 |   0 |  17k|  91k|2087 | 0.000000e+00 | 3.000000e+00 |    Inf 
146.59/146.68	c   142s| 80000 |   481 |559145 |   7.0 |  30M|1018 |  25 |3639 |9628 |3639 | 982 |  19k| 104k|2264 | 0.000000e+00 | 3.000000e+00 |    Inf 
164.19/164.27	c   159s| 90000 |   648 |635867 |   7.1 |  32M|1018 |   - |3639 |  12k|   0 |   0 |  22k| 117k|2450 | 0.000000e+00 | 3.000000e+00 |    Inf 
181.99/182.07	c   176s|100000 |   765 |704848 |   7.0 |  34M|1018 |  13 |3639 |  13k|3639 | 976 |  24k| 130k|2566 | 0.000000e+00 | 3.000000e+00 |    Inf 
199.79/199.83	c   193s|110000 |   956 |773548 |   7.0 |  36M|1018 |   - |3639 |  14k|   0 |   0 |  27k| 143k|2665 | 0.000000e+00 | 3.000000e+00 |    Inf 
217.80/217.81	c   211s|120000 |  1141 |835332 |   7.0 |  38M|1018 |   1 |3639 |  16k|3639 | 978 |  29k| 156k|2795 | 0.000000e+00 | 3.000000e+00 |    Inf 
233.39/233.43	o 2
233.39/233.43	c * 226s|128347 |  1181 |892552 |   7.0 |  38M|1018 |   - |3639 |  17k|3639 | 990 |  31k| 168k|2888 | 0.000000e+00 | 2.000000e+00 |    Inf 
236.50/236.53	c   229s|130000 |  1181 |903218 |   6.9 |  38M|1018 |   - |3639 |  16k|3639 | 987 |  32k| 170k|2918 | 0.000000e+00 | 2.000000e+00 |    Inf 
254.99/255.08	c   247s|140000 |  1194 |969864 |   6.9 |  39M|1018 |   1 |3639 |  17k|3639 | 964 |  34k| 184k|2994 | 0.000000e+00 | 2.000000e+00 |    Inf 
273.60/273.66	c   265s|150000 |  1232 |  1033k|   6.9 |  39M|1018 |  42 |3639 |  17k|3639 | 976 |  37k| 198k|3099 | 0.000000e+00 | 2.000000e+00 |    Inf 
292.79/292.87	c   283s|160000 |  1364 |  1099k|   6.9 |  42M|1018 |   - |3639 |  21k|   0 |   0 |  39k| 213k|3219 | 0.000000e+00 | 2.000000e+00 |    Inf 
312.59/312.69	c   303s|170000 |  1358 |  1166k|   6.9 |  42M|1018 |   1 |3639 |  20k|3639 | 964 |  41k| 227k|3296 | 0.000000e+00 | 2.000000e+00 |    Inf 
331.70/331.77	c   321s|180000 |  1329 |  1228k|   6.8 |  41M|1018 |  11 |3639 |  18k|3639 | 976 |  43k| 242k|3432 | 0.000000e+00 | 2.000000e+00 |    Inf 
350.80/350.87	c   339s|190000 |  1301 |  1299k|   6.8 |  41M|1018 |   - |3639 |  18k|   0 |   0 |  46k| 256k|3490 | 0.000000e+00 | 2.000000e+00 |    Inf 
370.50/370.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
370.50/370.60	c   359s|200000 |  1304 |  1367k|   6.8 |  43M|1018 |  24 |3639 |  21k|3639 | 989 |  48k| 270k|3610 | 0.000000e+00 | 2.000000e+00 |    Inf 
389.50/389.54	c   377s|210000 |  1428 |  1435k|   6.8 |  43M|1018 |   - |3639 |  20k|   0 |   0 |  50k| 284k|3676 | 0.000000e+00 | 2.000000e+00 |    Inf 
408.40/408.49	c   395s|220000 |  1488 |  1501k|   6.8 |  44M|1018 |   - |3639 |  20k|   0 |   0 |  53k| 298k|3800 | 0.000000e+00 | 2.000000e+00 |    Inf 
427.80/427.82	c   414s|230000 |  1498 |  1565k|   6.8 |  44M|1018 |  18 |3639 |  21k|3639 | 974 |  55k| 312k|3887 | 0.000000e+00 | 2.000000e+00 |    Inf 
447.80/447.88	c   433s|240000 |  1499 |  1634k|   6.8 |  45M|1018 |  10 |3639 |  22k|3639 | 997 |  58k| 326k|3960 | 0.000000e+00 | 2.000000e+00 |    Inf 
468.60/468.67	c   453s|250000 |  1469 |  1708k|   6.8 |  45M|1018 |   6 |3639 |  21k|3639 | 986 |  60k| 340k|4069 | 0.000000e+00 | 2.000000e+00 |    Inf 
489.40/489.46	c   474s|260000 |  1621 |  1779k|   6.8 |  47M|1018 |   - |3639 |  23k|   0 |   0 |  62k| 354k|4120 | 0.000000e+00 | 2.000000e+00 |    Inf 
510.71/510.71	c   494s|270000 |  1681 |  1848k|   6.8 |  48M|1018 |   - |3639 |  24k|   0 |   0 |  65k| 369k|4217 | 0.000000e+00 | 2.000000e+00 |    Inf 
531.50/531.50	c   514s|280000 |  1704 |  1917k|   6.8 |  47M|1018 |   8 |3639 |  22k|3639 | 994 |  67k| 384k|4270 | 0.000000e+00 | 2.000000e+00 |    Inf 
551.90/551.91	c   534s|290000 |  1774 |  1984k|   6.8 |  49M|1018 |   - |3639 |  24k|   0 |   0 |  69k| 399k|4332 | 0.000000e+00 | 2.000000e+00 |    Inf 
572.31/572.34	c   554s|300000 |  1734 |  2051k|   6.8 |  48M|1018 |   - |3639 |  23k|   0 |   0 |  72k| 414k|4437 | 0.000000e+00 | 2.000000e+00 |    Inf 
592.80/592.89	c   574s|310000 |  1706 |  2122k|   6.8 |  49M|1018 |   - |3639 |  26k|   0 |   0 |  74k| 429k|4506 | 0.000000e+00 | 2.000000e+00 |    Inf 
614.40/614.48	c   595s|320000 |  1615 |  2195k|   6.9 |  49M|1018 |   1 |3639 |  26k|3639 |1011 |  77k| 445k|4559 | 0.000000e+00 | 2.000000e+00 |    Inf 
636.81/636.89	c   616s|330000 |  1570 |  2274k|   6.9 |  48M|1018 |   7 |3639 |  24k|3639 | 973 |  80k| 460k|4666 | 0.000000e+00 | 2.000000e+00 |    Inf 
659.00/659.06	c   638s|340000 |  1551 |  2350k|   6.9 |  49M|1018 |  18 |3639 |  25k|3639 |1020 |  82k| 475k|4734 | 0.000000e+00 | 2.000000e+00 |    Inf 
681.10/681.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
681.10/681.14	c   659s|350000 |  1658 |  2426k|   6.9 |  50M|1018 |   - |3639 |  26k|   0 |   0 |  84k| 488k|4798 | 0.000000e+00 | 2.000000e+00 |    Inf 
702.91/702.94	c   680s|360000 |  1561 |  2499k|   6.9 |  48M|1018 |   - |3639 |  22k|   0 |   0 |  87k| 502k|4878 | 0.000000e+00 | 2.000000e+00 |    Inf 
723.01/723.09	c   700s|370000 |  1507 |  2565k|   6.9 |  48M|1018 |  10 |3639 |  25k|3639 | 993 |  90k| 516k|4935 | 0.000000e+00 | 2.000000e+00 |    Inf 
744.91/744.97	c   721s|380000 |  1503 |  2640k|   6.9 |  49M|1018 |   - |3639 |  26k|   0 |   0 |  92k| 530k|4986 | 0.000000e+00 | 2.000000e+00 |    Inf 
767.82/767.86	c   743s|390000 |  1421 |  2721k|   7.0 |  47M|1018 |   - |3639 |  22k|   0 |   0 |  95k| 545k|5076 | 0.000000e+00 | 2.000000e+00 |    Inf 
789.11/789.15	c   764s|400000 |  1417 |  2793k|   7.0 |  48M|1018 |   - |3639 |  24k|   0 |   0 |  98k| 559k|5136 | 0.000000e+00 | 2.000000e+00 |    Inf 
810.21/810.26	c   784s|410000 |  1477 |  2870k|   7.0 |  49M|1018 |   1 |3639 |  26k|3639 |1000 | 101k| 573k|5175 | 0.000000e+00 | 2.000000e+00 |    Inf 
831.11/831.16	c   805s|420000 |  1354 |  2940k|   7.0 |  47M|1018 |   - |3639 |  24k|   0 |   0 | 103k| 588k|5252 | 0.000000e+00 | 2.000000e+00 |    Inf 
852.42/852.42	c   826s|430000 |  1360 |  3016k|   7.0 |  45M|1018 |   - |3639 |  17k|   0 |   0 | 106k| 601k|5347 | 0.000000e+00 | 2.000000e+00 |    Inf 
874.01/874.07	c   847s|440000 |  1395 |  3101k|   7.0 |  46M|1018 |  19 |3639 |  20k|3639 | 990 | 109k| 615k|5427 | 0.000000e+00 | 2.000000e+00 |    Inf 
895.62/895.63	c   868s|450000 |  1365 |  3182k|   7.1 |  46M|1018 |   - |3639 |  19k|   0 |   0 | 111k| 629k|5478 | 0.000000e+00 | 2.000000e+00 |    Inf 
916.52/916.54	c   888s|460000 |  1287 |  3257k|   7.1 |  45M|1018 |  17 |3639 |  18k|3639 | 972 | 113k| 643k|5531 | 0.000000e+00 | 2.000000e+00 |    Inf 
935.61/935.64	c   906s|470000 |  1235 |  3320k|   7.1 |  45M|1018 |  14 |3639 |  19k|3639 | 964 | 116k| 657k|5581 | 0.000000e+00 | 2.000000e+00 |    Inf 
955.82/955.83	c   926s|480000 |  1146 |  3390k|   7.1 |  44M|1018 |   - |3639 |  18k|   0 |   0 | 118k| 671k|5627 | 0.000000e+00 | 2.000000e+00 |    Inf 
975.62/975.61	c   945s|490000 |  1112 |  3465k|   7.1 |  44M|1018 |   - |3639 |  19k|   0 |   0 | 120k| 685k|5705 | 0.000000e+00 | 2.000000e+00 |    Inf 
997.52/997.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
997.52/997.55	c   967s|500000 |  1105 |  3553k|   7.1 |  44M|1018 |  23 |3639 |  19k|3639 | 977 | 123k| 699k|5771 | 0.000000e+00 | 2.000000e+00 |    Inf 
1017.22/1017.20	c   986s|510000 |  1008 |  3620k|   7.1 |  42M|1018 |   - |3639 |  16k|   0 |   0 | 126k| 713k|5819 | 0.000000e+00 | 2.000000e+00 |    Inf 
1035.92/1035.93	c  1004s|520000 |   907 |  3689k|   7.1 |  41M|1018 |   - |3639 |  15k|3639 | 978 | 129k| 727k|5868 | 0.000000e+00 | 2.000000e+00 |    Inf 
1054.92/1054.92	c  1022s|530000 |   955 |  3757k|   7.1 |  42M|1018 |   - |3639 |  18k|   0 |   0 | 131k| 741k|5923 | 0.000000e+00 | 2.000000e+00 |    Inf 
1076.02/1076.04	c  1043s|540000 |   898 |  3841k|   7.1 |  42M|1018 |   - |3639 |  17k|   0 |   0 | 134k| 756k|5989 | 0.000000e+00 | 2.000000e+00 |    Inf 
1095.53/1095.58	c  1062s|550000 |   836 |  3912k|   7.1 |  40M|1018 |   - |3639 |  15k|   0 |   0 | 136k| 770k|6061 | 0.000000e+00 | 2.000000e+00 |    Inf 
1115.92/1115.96	c  1082s|560000 |   911 |  3986k|   7.1 |  42M|1018 |   - |3639 |  17k|   0 |   0 | 139k| 784k|6126 | 0.000000e+00 | 2.000000e+00 |    Inf 
1135.42/1135.44	c  1101s|570000 |   889 |  4055k|   7.1 |  41M|1018 |  10 |3639 |  15k|3639 | 973 | 141k| 798k|6198 | 0.000000e+00 | 2.000000e+00 |    Inf 
1154.42/1154.47	c  1119s|580000 |   971 |  4129k|   7.1 |  42M|1018 |   9 |3639 |  16k|3639 | 962 | 144k| 812k|6233 | 0.000000e+00 | 2.000000e+00 |    Inf 
1173.13/1173.12	c  1137s|590000 |   951 |  4193k|   7.1 |  42M|1018 |   1 |3639 |  17k|3639 | 953 | 147k| 825k|6286 | 0.000000e+00 | 2.000000e+00 |    Inf 
1193.22/1193.26	c  1157s|600000 |   973 |  4265k|   7.1 |  42M|1018 |  12 |3639 |  15k|3639 | 965 | 150k| 839k|6338 | 0.000000e+00 | 2.000000e+00 |    Inf 
1213.53/1213.55	c  1176s|610000 |  1190 |  4351k|   7.1 |  44M|1018 |   8 |3639 |  17k|3639 | 963 | 153k| 852k|6384 | 0.000000e+00 | 2.000000e+00 |    Inf 
1233.72/1233.76	c  1196s|620000 |  1308 |  4427k|   7.1 |  46M|1018 |   - |3639 |  18k|   0 |   0 | 155k| 867k|6441 | 0.000000e+00 | 2.000000e+00 |    Inf 
1254.33/1254.38	c  1216s|630000 |  1375 |  4501k|   7.1 |  48M|1018 |   - |3639 |  20k|   0 |   0 | 158k| 882k|6494 | 0.000000e+00 | 2.000000e+00 |    Inf 
1275.22/1275.28	c  1236s|640000 |  1404 |  4572k|   7.1 |  49M|1018 |  19 |3639 |  22k|3639 | 963 | 161k| 896k|6539 | 0.000000e+00 | 2.000000e+00 |    Inf 
1296.23/1296.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1296.23/1296.25	c  1256s|650000 |  1404 |  4638k|   7.1 |  49M|1018 |   - |3639 |  22k|   0 |   0 | 164k| 911k|6584 | 0.000000e+00 | 2.000000e+00 |    Inf 
1317.33/1317.39	c  1277s|660000 |  1561 |  4711k|   7.1 |  51M|1018 |   1 |3639 |  23k|3639 | 963 | 166k| 926k|6625 | 0.000000e+00 | 2.000000e+00 |    Inf 
1338.63/1338.63	c  1298s|670000 |  1535 |  4785k|   7.1 |  51M|1018 |  28 |3639 |  23k|3639 | 976 | 169k| 941k|6665 | 0.000000e+00 | 2.000000e+00 |    Inf 
1359.93/1359.94	c  1318s|680000 |  1461 |  4860k|   7.1 |  49M|1018 |   - |3639 |  20k|   0 |   0 | 172k| 955k|6712 | 0.000000e+00 | 2.000000e+00 |    Inf 
1380.53/1380.53	c  1338s|690000 |  1363 |  4931k|   7.1 |  48M|1018 |   - |3639 |  19k|   0 |   0 | 175k| 970k|6754 | 0.000000e+00 | 2.000000e+00 |    Inf 
1400.13/1400.11	c  1357s|700000 |  1389 |  5000k|   7.1 |  49M|1018 |  22 |3639 |  20k|3639 | 963 | 178k| 984k|6850 | 0.000000e+00 | 2.000000e+00 |    Inf 
1421.03/1421.03	c  1378s|710000 |  1292 |  5072k|   7.1 |  47M|1018 |  29 |3639 |  15k|3639 | 981 | 181k| 998k|6920 | 0.000000e+00 | 2.000000e+00 |    Inf 
1439.84/1439.88	c  1396s|720000 |  1249 |  5143k|   7.1 |  46M|1018 |  15 |3639 |  15k|3639 | 991 | 183k|1011k|6980 | 0.000000e+00 | 2.000000e+00 |    Inf 
1459.03/1459.00	c  1414s|730000 |  1191 |  5212k|   7.1 |  45M|1018 |   - |3639 |  13k|   0 |   0 | 186k|1025k|7016 | 0.000000e+00 | 2.000000e+00 |    Inf 
1477.83/1477.89	c  1433s|740000 |  1134 |  5281k|   7.1 |  45M|1018 |   - |3639 |  15k|   0 |   0 | 189k|1038k|7109 | 0.000000e+00 | 2.000000e+00 |    Inf 
1498.24/1498.26	c  1452s|750000 |  1102 |  5364k|   7.2 |  46M|1018 |  23 |3639 |  17k|3639 | 981 | 192k|1053k|7144 | 0.000000e+00 | 2.000000e+00 |    Inf 
1516.53/1516.52	c  1470s|760000 |  1198 |  5431k|   7.1 |  46M|1018 |   - |3639 |  14k|   0 |   0 | 195k|1066k|7190 | 0.000000e+00 | 2.000000e+00 |    Inf 
1534.93/1534.92	c  1488s|770000 |  1181 |  5494k|   7.1 |  47M|1018 |   - |3639 |  17k|   0 |   0 | 198k|1080k|7225 | 0.000000e+00 | 2.000000e+00 |    Inf 
1554.63/1554.60	c  1507s|780000 |  1164 |  5561k|   7.1 |  47M|1018 |   - |3639 |  18k|   0 |   0 | 201k|1094k|7266 | 0.000000e+00 | 2.000000e+00 |    Inf 
1574.53/1574.52	c  1526s|790000 |  1153 |  5627k|   7.1 |  48M|1018 |  18 |3639 |  20k|3639 | 995 | 204k|1108k|7310 | 0.000000e+00 | 2.000000e+00 |    Inf 
1595.84/1595.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1595.84/1595.86	c  1547s|800000 |  1140 |  5701k|   7.1 |  48M|1018 |   1 |3639 |  19k|3639 | 974 | 207k|1123k|7354 | 0.000000e+00 | 2.000000e+00 |    Inf 
1616.54/1616.50	c  1567s|810000 |  1046 |  5778k|   7.1 |  46M|1018 |  12 |3639 |  17k|3639 | 987 | 210k|1137k|7435 | 0.000000e+00 | 2.000000e+00 |    Inf 
1636.03/1636.08	c  1586s|820000 |  1082 |  5852k|   7.1 |  46M|1018 |   - |3639 |  17k|3639 | 993 | 212k|1150k|7477 | 0.000000e+00 | 2.000000e+00 |    Inf 
1655.83/1655.84	c  1605s|830000 |  1149 |  5919k|   7.1 |  48M|1018 |   1 |3639 |  19k|3639 | 966 | 215k|1163k|7501 | 0.000000e+00 | 2.000000e+00 |    Inf 
1661.84/1661.88	o 1
1661.84/1661.88	c *1611s|832878 |   252 |  5938k|   7.1 |  35M|1018 |   - |3639 |  21k|3639 | 978 | 216k|1166k|7528 | 0.000000e+00 | 1.000000e-00 |    Inf 
1675.83/1675.80	c  1625s|840000 |   309 |  5985k|   7.1 |  35M|1018 |   - |3639 |  18k|   0 |   0 | 218k|1176k|7560 | 0.000000e+00 | 1.000000e-00 |    Inf 
1695.43/1695.44	c  1644s|850000 |   356 |  6048k|   7.1 |  36M|1018 |   7 |3639 |  20k|3639 | 975 | 220k|1189k|7606 | 0.000000e+00 | 1.000000e-00 |    Inf 
1715.94/1715.94	c  1664s|860000 |   387 |  6113k|   7.1 |  37M|1018 |   - |3639 |  23k|   0 |   0 | 222k|1203k|7650 | 0.000000e+00 | 1.000000e-00 |    Inf 
1735.64/1735.60	c  1683s|870000 |   339 |  6177k|   7.1 |  36M|1018 |  13 |3639 |  20k|3639 | 966 | 225k|1216k|7684 | 0.000000e+00 | 1.000000e-00 |    Inf 
1755.04/1755.08	c  1702s|880000 |   363 |  6243k|   7.1 |  36M|1018 |   - |3639 |  19k|   0 |   0 | 227k|1230k|7715 | 0.000000e+00 | 1.000000e-00 |    Inf 
1775.84/1775.85	c  1722s|890000 |   423 |  6317k|   7.1 |  38M|1018 |   - |3639 |  24k|   0 |   0 | 229k|1243k|7743 | 0.000000e+00 | 1.000000e-00 |    Inf 
1796.54/1796.59	c  1742s|900000 |   439 |  6390k|   7.1 |  38M|1018 |   - |3639 |  23k|   0 |   0 | 231k|1257k|7777 | 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.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1745.36
1800.04/1800.01	c Solving Nodes      : 901480
1800.04/1800.01	c Primal Bound       : +1.00000000000000e-00 (127 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.04	s SATISFIABLE
1800.04/1800.04	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.04	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 
1800.04/1800.04	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.04	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.04/1800.04	v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.04	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.04	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 
1800.04/1800.04	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.04/1800.04	v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.04/1800.04	v -x1 
1800.04/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.04	c Solving Time       :    1745.36
1800.04/1800.04	c Original Problem   :
1800.04/1800.04	c   Problem name     : HOME/instance-2693549-1277910033.wbo
1800.04/1800.04	c   Variables        : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.04	c   Constraints      : 4491 initial, 4491 maximal
1800.04/1800.04	c Presolved Problem  :
1800.04/1800.04	c   Problem name     : t_HOME/instance-2693549-1277910033.wbo
1800.04/1800.04	c   Variables        : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.04	c   Constraints      : 4298 initial, 27559 maximal
1800.04/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.04	c   trivial          :       0.00         79          0          0          0          0          0          0          0
1800.04/1800.04	c   dualfix          :       0.00         79          0          0          0          0          0          0          0
1800.04/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.04/1800.04	c   indicator        :       0.00          0          0          0          0          0         79          0          0
1800.04/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   linear           :       0.06          0          0          0       1807          0        114         97          0
1800.04/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.04	c   root node        :          -       1704          -          -       3408          -          -          -          -
1800.04/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.04	c   integral         :          0          0          0     526367          0         71        932          0          0     978602
1800.04/1800.04	c   indicator        :       1704          0    4005820      33376          0         22     300934          0          0          0
1800.04/1800.04	c   setppc           :         11          6    4407380      35420          0      20092    1578178          0          0          0
1800.04/1800.04	c   linear           :       1704          6    4389086      36062          0     258391   19517190     231948          0          0
1800.04/1800.04	c   logicor          :        879+         6    1786331       2719          0     161287    4622469          0          0          0
1800.04/1800.04	c   countsols        :          0          0          0       2719          0          0          0          0          0          0
1800.04/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.04	c   integral         :      22.31       0.00       0.00      22.31       0.00
1800.04/1800.04	c   indicator        :       3.00       0.01       2.65       0.34       0.00
1800.04/1800.04	c   setppc           :      11.38       0.00      11.36       0.02       0.00
1800.04/1800.04	c   linear           :     150.58       0.00     148.57       2.01       0.00
1800.04/1800.04	c   logicor          :     253.29       0.00     253.28       0.01       0.00
1800.04/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.04	c   vbounds          :       1.15          2          0          0
1800.04/1800.04	c   rootredcost      :       1.04         34          0       1704
1800.04/1800.04	c   pseudoobj        :     134.07    4409633        435     169176
1800.04/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.04	c   propagation      :      21.56     440205     439469    2863365       30.0      12457       24.1          -
1800.04/1800.04	c   infeasible LP    :      12.05      45669      45669     406503       46.0        355       16.7          0
1800.04/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.04	c   pseudo solution  :       0.00         23         23        133       27.1         26        6.7          -
1800.04/1800.04	c   applied globally :          -          -          -    1259900       24.8          -          -          -
1800.04/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.04	c   cut pool         :       0.00          5          -          -         33          -    (maximal pool size: 235)
1800.04/1800.04	c   redcost          :      23.38     529217          0     117946          0          0
1800.04/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.04	c   gomory           :       0.08          6          0          0       1224          0
1800.04/1800.04	c   strongcg         :       0.04          6          0          0        116          0
1800.04/1800.04	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.04	c   flowcover        :       0.05          6          0          0          0          0
1800.04/1800.04	c   clique           :       0.01          6          0          0          0          0
1800.04/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.04	c Pricers            :       Time      Calls       Vars
1800.04/1800.04	c   problem variables:       0.00          0          0
1800.04/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.04	c   relpscost        :      21.99     490184         71        932          0          0     978602
1800.04/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   inference        :       0.25       2686          0          0          0          0       5372
1800.04/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.04	c   LP solutions     :       0.02          -         33
1800.04/1800.04	c   pseudo solutions :       0.00          -          0
1800.04/1800.04	c   feaspump         :       0.01          1          0
1800.04/1800.04	c   oneopt           :       0.35         27          0
1800.04/1800.04	c   fracdiving       :       0.07         28          0
1800.04/1800.04	c   veclendiving     :       0.04         28          0
1800.04/1800.04	c   linesearchdiving :       0.04         28          0
1800.04/1800.04	c   guideddiving     :       0.05         28          0
1800.04/1800.04	c   coefdiving       :       0.04         29          0
1800.04/1800.04	c   pscostdiving     :       0.07         29          0
1800.04/1800.04	c   objpscostdiving  :       0.03         15          0
1800.04/1800.04	c   rootsoldiving    :       0.10         15          0
1800.04/1800.04	c   crossover        :       0.62         13          0
1800.04/1800.04	c   trivial          :       0.00          2          0
1800.04/1800.04	c   simplerounding   :       0.69     490334          0
1800.04/1800.04	c   zirounding       :       0.69       1000          0
1800.04/1800.04	c   rounding         :       1.34       9829          0
1800.04/1800.04	c   shifting         :       0.97       3080          0
1800.04/1800.04	c   intshifting      :       0.01          6          0
1800.04/1800.04	c   twoopt           :       0.00          0          0
1800.04/1800.04	c   fixandinfer      :       0.00          0          0
1800.04/1800.04	c   intdiving        :       0.00          0          0
1800.04/1800.04	c   actconsdiving    :       0.00          0          0
1800.04/1800.04	c   octane           :       0.00          0          0
1800.04/1800.04	c   rens             :       0.02          1          0
1800.04/1800.04	c   rins             :       0.00          0          0
1800.04/1800.04	c   localbranching   :       0.00          0          0
1800.04/1800.04	c   mutation         :       0.00          0          0
1800.04/1800.04	c   dins             :       0.00          0          0
1800.04/1800.04	c   undercover       :       0.00          0          0
1800.04/1800.04	c   nlp              :       0.18          0          0
1800.04/1800.04	c   trysol           :       1.85       6415         94
1800.04/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.04	c   dual LP          :     666.24     568161    6401747      11.27    9608.77
1800.04/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.04	c   diving/probing LP:       0.24        133       1339      10.07    5579.17
1800.04/1800.04	c   strong branching :      17.94       7781     187912      24.15   10474.47
1800.04/1800.04	c     (at root node) :          -         33      14041     425.48          -
1800.04/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.04	c B&B Tree           :
1800.04/1800.04	c   number of runs   :          1
1800.04/1800.04	c   nodes            :     901480
1800.04/1800.04	c   nodes (total)    :     901480
1800.04/1800.04	c   nodes left       :        404
1800.04/1800.04	c   max depth        :       1018
1800.04/1800.04	c   max depth (total):       1018
1800.04/1800.04	c   backtracks       :     103553 (11.5%)
1800.04/1800.04	c   delayed cutoffs  :      78608
1800.04/1800.04	c   repropagations   :    1991857 (4944862 domain reductions, 76233 cutoffs)
1800.04/1800.04	c   avg switch length:       6.09
1800.04/1800.04	c   switching time   :     248.60
1800.04/1800.04	c Solution           :
1800.04/1800.04	c   Solutions found  :        127 (34 improvements)
1800.04/1800.04	c   First Solution   : +8.67900000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.04	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 832878 nodes, 1611.14 seconds, depth 24, found by <relaxation>)
1800.04/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.04	c   Gap              :   infinite
1800.04/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.04	c   Root Iterations  :        408
1800.04/1800.09	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-2693549-1277910033/watcher-2693549-1277910033 -o /tmp/evaluation-result-2693549-1277910033/solver-2693549-1277910033 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693549-1277910033.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.92 1.98 2.16 4/178 24267
/proc/meminfo: memFree=31527264/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=10976 CPUtime=0
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 1678 0 0 0 0 0 0 0 25 0 1 0 164595067 11239424 1599 4089446400 4194304 9819077 140735564408096 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24267/statm: 2789 1608 392 1374 0 1410 0

[startup+0.072485 s]
/proc/loadavg: 1.92 1.98 2.16 4/178 24267
/proc/meminfo: memFree=31527264/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=30556 CPUtime=0.06
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 7231 0 0 0 6 0 0 0 25 0 1 0 164595067 31289344 6284 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24267/statm: 7639 6284 492 1374 0 6260 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30556

[startup+0.100542 s]
/proc/loadavg: 1.92 1.98 2.16 4/178 24267
/proc/meminfo: memFree=31527264/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=30556 CPUtime=0.09
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 7761 0 0 0 9 0 0 0 25 0 1 0 164595067 31289344 6300 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24267/statm: 7639 6300 498 1374 0 6260 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30556

[startup+0.300499 s]
/proc/loadavg: 1.92 1.98 2.16 4/178 24267
/proc/meminfo: memFree=31527264/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=39476 CPUtime=0.29
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 11955 0 0 0 28 1 0 0 25 0 1 0 164595067 40423424 8336 4089446400 4194304 9819077 140735564408096 18446744073709551615 6044931 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24267/statm: 9869 8336 681 1374 0 8490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39476

[startup+0.700432 s]
/proc/loadavg: 1.92 1.98 2.16 4/178 24267
/proc/meminfo: memFree=31527264/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=44632 CPUtime=0.68
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 19194 0 0 0 66 2 0 0 25 0 1 0 164595067 45703168 9652 4089446400 4194304 9819077 140735564408096 18446744073709551615 6513035 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24267/statm: 11158 9652 708 1374 0 9779 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44632

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 2.16 3/179 24268
/proc/meminfo: memFree=31490676/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=43688 CPUtime=1.48
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 21465 0 0 0 145 3 0 0 25 0 1 0 164595067 44736512 9648 4089446400 4194304 9819077 140735564408096 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24267/statm: 10922 9648 708 1374 0 9543 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43688

[startup+3.10099 s]
/proc/loadavg: 1.92 1.98 2.16 3/179 24268
/proc/meminfo: memFree=31490792/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=44384 CPUtime=3.09
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 22710 0 0 0 304 5 0 0 25 0 1 0 164595067 45449216 9697 4089446400 4194304 9819077 140735564408096 18446744073709551615 7291651 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24267/statm: 11096 9697 710 1374 0 9717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44384

[startup+6.30035 s]
/proc/loadavg: 1.93 1.98 2.15 3/179 24268
/proc/meminfo: memFree=31490376/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=48692 CPUtime=6.28
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 39164 0 0 0 619 9 0 0 25 0 1 0 164595067 49860608 10481 4089446400 4194304 9819077 140735564408096 18446744073709551615 6670057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24267/statm: 12173 10481 717 1374 0 10794 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48692

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 2.15 3/179 24268
/proc/meminfo: memFree=31478276/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=61696 CPUtime=12.69
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 101655 0 0 0 1238 31 0 0 25 0 1 0 164595067 63176704 13688 4089446400 4194304 9819077 140735564408096 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24267/statm: 15424 13688 718 1374 0 14045 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61696

[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 2.15 3/179 24269
/proc/meminfo: memFree=31469500/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=69512 CPUtime=25.48
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 225761 0 0 0 2469 79 0 0 25 0 1 0 164595067 71180288 15556 4089446400 4194304 9819077 140735564408096 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 17378 15556 725 1374 0 15999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69512

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 2.15 3/179 24279
/proc/meminfo: memFree=31462224/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=75276 CPUtime=51.09
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 349631 0 0 0 4951 158 0 0 25 0 1 0 164595067 77082624 17329 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 18819 17329 739 1374 0 17440 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75276

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 2.14 3/179 24280
/proc/meminfo: memFree=31459292/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=80032 CPUtime=102.3
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 539211 0 0 0 9917 313 0 0 25 0 1 0 164595067 81952768 18164 4089446400 4194304 9819077 140735564408096 18446744073709551615 6590503 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 20008 18164 739 1374 0 18629 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 80032

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.12 3/179 24281
/proc/meminfo: memFree=31456908/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=82240 CPUtime=162.29
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 916245 0 0 0 15703 526 0 0 25 0 1 0 164595067 84213760 18698 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 20560 18698 738 1374 0 19181 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 82240

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 2.11 3/179 24283
/proc/meminfo: memFree=31451912/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=86976 CPUtime=222.29
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 1263593 0 0 0 21512 717 0 0 25 0 1 0 164595067 89063424 19872 4089446400 4194304 9819077 140735564408096 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 21744 19872 739 1374 0 20365 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 86976

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 2.10 3/179 24285
/proc/meminfo: memFree=31447144/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=91688 CPUtime=282.29
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 1625288 0 0 0 27317 912 0 0 25 0 1 0 164595067 93888512 20974 4089446400 4194304 9819077 140735564408096 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 22922 20974 739 1374 0 21543 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 91688

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 2.09 3/179 24287
/proc/meminfo: memFree=31445136/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=93664 CPUtime=342.29
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 1960373 0 0 0 33125 1104 0 0 25 0 1 0 164595067 95911936 21501 4089446400 4194304 9819077 140735564408096 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 23416 21501 739 1374 0 22037 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 93664

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 2.08 3/179 24288
/proc/meminfo: memFree=31443984/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=95672 CPUtime=402.3
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 2289780 0 0 0 38929 1301 0 0 25 0 1 0 164595067 97968128 21909 4089446400 4194304 9819077 140735564408096 18446744073709551615 6387808 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 23918 21909 739 1374 0 22539 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95672

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 2.08 3/179 24289
/proc/meminfo: memFree=31440964/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=98204 CPUtime=462.3
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 2624407 0 0 0 44734 1496 0 0 25 0 1 0 164595067 100560896 22672 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 24551 22672 739 1374 0 23172 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 98204

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 24291
/proc/meminfo: memFree=31438452/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=100712 CPUtime=522.3
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 2883813 0 0 0 50544 1686 0 0 25 0 1 0 164595067 103129088 23237 4089446400 4194304 9819077 140735564408096 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 25013 23228 739 1374 0 23634 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 100712

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 24293
/proc/meminfo: memFree=31437652/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=101760 CPUtime=582.3
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 3202738 0 0 0 56351 1879 0 0 25 0 1 0 164595067 104202240 23426 4089446400 4194304 9819077 140735564408096 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 25440 23426 739 1374 0 24061 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 101760

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 2.06 3/179 24295
/proc/meminfo: memFree=31436140/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=102836 CPUtime=642.31
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 3506615 0 0 0 62166 2065 0 0 25 0 1 0 164595067 105304064 23814 4089446400 4194304 9819077 140735564408096 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 25709 23814 739 1374 0 24330 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 102836

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 24299
/proc/meminfo: memFree=31435276/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=103620 CPUtime=822.31
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 4313978 0 0 0 79621 2610 0 0 25 0 1 0 164595067 106106880 23986 4089446400 4194304 9819077 140735564408096 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 25905 23986 739 1374 0 24526 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 103620

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 24301
/proc/meminfo: memFree=31434628/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=104388 CPUtime=882.31
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 4599830 0 0 0 85461 2770 0 0 25 0 1 0 164595067 106893312 24118 4089446400 4194304 9819077 140735564408096 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26097 24118 739 1374 0 24718 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 104388

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 24303
/proc/meminfo: memFree=31434476/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=104792 CPUtime=942.31
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 4885563 0 0 0 91294 2937 0 0 25 0 1 0 164595067 107307008 24213 4089446400 4194304 9819077 140735564408096 18446744073709551615 6075093 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26198 24213 739 1374 0 24819 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 104792

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 24304
/proc/meminfo: memFree=31434572/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=104644 CPUtime=1002.32
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 5182804 0 0 0 97121 3111 0 0 25 0 1 0 164595067 107155456 24231 4089446400 4194304 9819077 140735564408096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26161 24231 739 1374 0 24782 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 104644

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 24305
/proc/meminfo: memFree=31434420/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=104352 CPUtime=1062.32
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 5495539 0 0 0 102952 3280 0 0 25 0 1 0 164595067 106856448 24225 4089446400 4194304 9819077 140735564408096 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26088 24225 739 1374 0 24709 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 104352

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 24307
/proc/meminfo: memFree=31434380/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=105056 CPUtime=1122.32
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 5806324 0 0 0 108783 3449 0 0 25 0 1 0 164595067 107577344 24264 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26264 24264 739 1374 0 24885 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 105056

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 24309
/proc/meminfo: memFree=31434352/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=105760 CPUtime=1182.32
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 6140739 0 0 0 114598 3634 0 0 25 0 1 0 164595067 108298240 24372 4089446400 4194304 9819077 140735564408096 18446744073709551615 6590273 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26440 24372 739 1374 0 25061 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 105760

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.02 3/179 24311
/proc/meminfo: memFree=31432840/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=106904 CPUtime=1242.32
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 6459827 0 0 0 120404 3828 0 0 25 0 1 0 164595067 109469696 24632 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26726 24632 739 1374 0 25347 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 106904

[startup+1302.3 s]
/proc/loadavg: 1.95 2.00 2.01 3/179 24340
/proc/meminfo: memFree=31405452/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=107180 CPUtime=1302.33
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 6761208 0 0 0 126218 4015 0 0 25 0 1 0 164595067 109752320 24746 4089446400 4194304 9819077 140735564408096 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26795 24746 739 1374 0 25416 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 107180

[startup+1362.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 24341
/proc/meminfo: memFree=31265500/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=107988 CPUtime=1362.33
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 7064235 0 0 0 132052 4181 0 0 25 0 1 0 164595067 110579712 24924 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26997 24924 739 1374 0 25618 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 107988

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 24343
/proc/meminfo: memFree=31162160/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=107940 CPUtime=1422.34
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 7385840 0 0 0 137877 4357 0 0 25 0 1 0 164595067 110530560 24930 4089446400 4194304 9819077 140735564408096 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 26985 24930 739 1374 0 25606 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 107940

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 24345
/proc/meminfo: memFree=31021472/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=108540 CPUtime=1482.33
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 7722110 0 0 0 143686 4547 0 0 25 0 1 0 164595067 111144960 25029 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27135 25029 739 1374 0 25756 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 108540

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 24347
/proc/meminfo: memFree=30919120/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=108692 CPUtime=1542.33
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 8055784 0 0 0 149511 4722 0 0 25 0 1 0 164595067 111300608 25058 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27173 25058 739 1374 0 25794 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 108692

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24348
/proc/meminfo: memFree=30846412/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=108708 CPUtime=1602.34
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 8385572 0 0 0 155339 4895 0 0 25 0 1 0 164595067 111316992 25076 4089446400 4194304 9819077 140735564408096 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27177 25076 739 1374 0 25798 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 108708

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24349
/proc/meminfo: memFree=30802072/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=110180 CPUtime=1662.34
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 8706204 0 0 0 161158 5076 0 0 25 0 1 0 164595067 112824320 25276 4089446400 4194304 9819077 140735564408096 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27545 25309 739 1374 0 26166 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 110180

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24351
/proc/meminfo: memFree=30769412/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=109632 CPUtime=1722.34
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 9026227 0 0 0 166989 5245 0 0 25 0 1 0 164595067 112263168 25264 4089446400 4194304 9819077 140735564408096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27408 25264 739 1374 0 26029 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 109632

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24353
/proc/meminfo: memFree=30719152/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=109796 CPUtime=1782.34
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 9328905 0 0 0 172823 5411 0 0 25 0 1 0 164595067 112431104 25264 4089446400 4194304 9819077 140735564408096 18446744073709551615 6003452 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27449 25264 739 1374 0 26070 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 109796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24353
/proc/meminfo: memFree=30694580/32950928 swapFree=67111528/67111528
[pid=24267] ppid=24265 vsize=109796 CPUtime=1800.04
/proc/24267/stat : 24267 (pbscip.linux.x8) R 24265 24267 22969 0 -1 4202496 9419744 0 0 0 174538 5466 0 0 25 0 1 0 164595067 112431104 25265 4089446400 4194304 9819077 140735564408096 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24267/statm: 27449 25265 739 1374 0 26070 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 109796

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

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

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.15
CPU user time (s): 1745.48
CPU system time (s): 54.6727
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 125120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.48
system time used= 54.6727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9419826
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= 1
involuntary context switches= 1380

runsolver used 2.52761 second user time and 5.77212 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 17:00:33
IDJOB=2693549
IDBENCH=78973
IDSOLVER=1205
FILE ID=node116/2693549-1277910033
PBS_JOBID= 11197183
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693549-1277910033/watcher-2693549-1277910033 -o /tmp/evaluation-result-2693549-1277910033/solver-2693549-1277910033 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693549-1277910033.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4dbce9c855a469b24d5770190ca01b65
RANDOM SEED=821079803

node116.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.838
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.67
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.838
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	: 5381.00
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.838
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.838
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.75
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.838
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.76
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.838
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.77
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.838
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.838
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:     32950928 kB
MemFree:      31527792 kB
Buffers:        193172 kB
Cached:        1007580 kB
SwapCached:          0 kB
Active:         566388 kB
Inactive:       713028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31527792 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:       78708 kB
Mapped:          15648 kB
Slab:            78300 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   225760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node116 at 2010-06-30 17:30:35