Trace number 2705067

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.05 1790.18

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo
MD5SUMcf389047fd441928b15b38cce26251ed
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark273.451
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 constraints2707
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 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 685
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705067-1278578335.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 135279
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.352790e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.19	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  5391 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.3
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1789.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.19	c # [type: int, range: [1,2], default: 1]
0.09/0.19	c timing/clocktype = 2
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/indicator/addCouplingCons = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     0 |   101 |     - |  19M|   0 |  35 |5645 |5414 |5645 | 120 | 120 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   133 |     - |  19M|   0 |  38 |5645 |5414 |5645 | 150 | 150 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.47	c   0.4s|     1 |     0 |   184 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.49/0.56	c   0.5s|     1 |     2 |   184 |     - |  20M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |  32 | 0.000000e+00 | 1.352790e+05 |    Inf 
21.04/21.24	c  21.2s| 10000 | 10003 |  4569 |   0.4 |  46M|1819 |   0 |5645 |5415 |5645 | 192 |1216 |   1 | 570 | 0.000000e+00 | 1.352790e+05 |    Inf 
34.54/34.73	o 557
34.54/34.73	c *34.7s| 18830 | 17775 |  5210 |   0.3 |  62M|2425 |   - |5645 |5415 |5645 | 225 |1374 |   1 | 599 | 0.000000e+00 | 5.570000e+02 |    Inf 
36.74/36.98	c  36.9s| 20000 | 18945 |  5339 |   0.3 |  64M|2425 |   0 |5645 |5415 |5645 | 199 |1400 |   1 | 602 | 0.000000e+00 | 5.570000e+02 |    Inf 
54.24/54.42	c  54.4s| 30000 | 28945 |  6195 |   0.2 |  84M|2425 |   0 |5645 |5415 |5645 | 197 |1632 |   1 | 629 | 0.000000e+00 | 5.570000e+02 |    Inf 
72.04/72.29	c  72.3s| 40000 | 38925 |  7267 |   0.2 | 104M|2425 |   0 |5645 |5452 |5645 | 198 |1904 |  38 | 681 | 0.000000e+00 | 5.570000e+02 |    Inf 
91.34/91.50	c  91.5s| 50000 | 48907 |  9019 |   0.2 | 123M|2425 |   0 |5645 |5482 |5645 | 212 |2380 |  68 | 717 | 0.000000e+00 | 5.570000e+02 |    Inf 
93.94/94.19	o 227
93.94/94.19	c *94.2s| 51323 | 43329 |  9492 |   0.2 | 113M|2425 |   - |5645 |5511 |5645 | 219 |2501 |  97 | 727 | 0.000000e+00 | 2.270000e+02 |    Inf 
96.34/96.57	o 200
96.34/96.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.34/96.57	c *96.5s| 52056 | 41730 | 10534 |   0.2 | 112M|2425 |   - |5645 |5737 |5645 | 208 |2765 | 323 | 791 | 0.000000e+00 | 2.000000e+02 |    Inf 
97.14/97.31	o 197
97.14/97.31	c *97.3s| 52346 | 41649 | 10770 |   0.2 | 113M|2425 |   - |5645 |5896 |5645 | 208 |2833 | 482 | 793 | 0.000000e+00 | 1.970000e+02 |    Inf 
97.44/97.64	o 191
97.44/97.64	c *97.6s| 52488 | 41048 | 10830 |   0.2 | 112M|2425 |   - |5645 |5926 |5645 | 204 |2849 | 512 | 793 | 0.000000e+00 | 1.910000e+02 |    Inf 
97.65/97.81	o 163
97.65/97.81	c *97.8s| 52559 | 36422 | 10864 |   0.2 | 104M|2425 |   - |5645 |5949 |5645 | 216 |2860 | 535 | 793 | 0.000000e+00 | 1.630000e+02 |    Inf 
97.65/97.86	o 143
97.65/97.86	c *97.8s| 52569 | 32168 | 10864 |   0.2 |  96M|2425 |   - |5645 |5953 |5645 | 216 |2860 | 539 | 793 | 0.000000e+00 | 1.430000e+02 |    Inf 
97.84/98.01	o 138
97.84/98.01	c *98.0s| 52603 | 31084 | 10937 |   0.2 |  94M|2425 |   - |5645 |5988 |5645 | 216 |2886 | 574 | 797 | 0.000000e+00 | 1.380000e+02 |    Inf 
98.34/98.58	o 131
98.34/98.58	c *98.6s| 52788 | 29443 | 11210 |   0.2 |  92M|2425 |   - |5645 |6191 |5645 | 221 |2976 | 777 | 813 | 0.000000e+00 | 1.310000e+02 |    Inf 
98.44/98.64	o 122
98.44/98.64	c *98.6s| 52847 | 27450 | 11212 |   0.2 |  87M|2425 |   - |5645 |6191 |5645 | 221 |2976 | 777 | 813 | 0.000000e+00 | 1.220000e+02 |    Inf 
98.44/98.69	o 121
98.44/98.69	c *98.7s| 52855 | 27223 | 11232 |   0.2 |  87M|2425 |   - |5645 |6193 |5645 | 208 |2979 | 779 | 813 | 0.000000e+00 | 1.210000e+02 |    Inf 
101.54/101.76	o 116
101.54/101.76	c * 102s| 53618 | 26263 | 12882 |   0.2 |  89M|2425 |   - |5645 |6708 |5645 | 208 |3354 |1294 | 974 | 0.000000e+00 | 1.160000e+02 |    Inf 
101.63/101.84	o 111
101.63/101.84	c * 102s| 53651 | 24792 | 12888 |   0.2 |  86M|2425 |   - |5645 |6709 |5645 | 210 |3356 |1295 | 974 | 0.000000e+00 | 1.110000e+02 |    Inf 
104.24/104.43	o 103
104.24/104.43	c * 104s| 54293 | 23038 | 14694 |   0.3 |  85M|2425 |   - |5645 |7077 |5645 | 183 |3680 |1663 |1079 | 0.000000e+00 | 1.030000e+02 |    Inf 
104.24/104.45	o 95
104.24/104.45	c * 104s| 54295 | 20519 | 14716 |   0.3 |  81M|2425 |   - |5645 |7077 |5645 | 188 |3685 |1663 |1079 | 0.000000e+00 | 9.500000e+01 |    Inf 
104.24/104.46	o 93
104.24/104.46	c * 104s| 54296 | 19870 | 14716 |   0.3 |  80M|2425 |   - |5645 |7077 |5645 | 188 |3685 |1663 |1079 | 0.000000e+00 | 9.300000e+01 |    Inf 
105.83/106.08	o 87
105.83/106.08	c * 106s| 54670 | 17985 | 15711 |   0.3 |  77M|2425 |   - |5645 |7055 |5645 | 209 |3935 |1856 |1124 | 0.000000e+00 | 8.700000e+01 |    Inf 
110.34/110.56	o 83
110.34/110.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
110.34/110.56	c * 111s| 55745 | 17389 | 18887 |   0.3 |  79M|2425 |   - |5645 |7714 |5645 | 221 |4775 |2795 |1240 | 0.000000e+00 | 8.300000e+01 |    Inf 
111.14/111.31	o 77
111.14/111.31	c * 111s| 55909 | 15682 | 19431 |   0.3 |  76M|2425 |   - |5645 |7694 |5645 | 211 |4890 |2983 |1249 | 0.000000e+00 | 7.700000e+01 |    Inf 
122.94/123.12	o 71
122.94/123.12	c * 123s| 58740 | 14856 | 31036 |   0.5 |  85M|2425 |   - |5645 |9200 |5645 | 195 |7783 |6456 |1530 | 0.000000e+00 | 7.100000e+01 |    Inf 
124.04/124.24	o 62
124.04/124.24	c * 124s| 59006 | 12573 | 32039 |   0.5 |  81M|2425 |   - |5645 |8748 |5645 | 197 |8086 |6661 |1540 | 0.000000e+00 | 6.200000e+01 |    Inf 
127.83/128.04	c   128s| 60000 | 12841 | 36364 |   0.6 |  83M|2425 |   3 |5645 |8005 |5645 | 201 |9251 |7652 |1582 | 0.000000e+00 | 6.200000e+01 |    Inf 
161.23/161.43	o 49
161.23/161.43	c * 161s| 68914 | 11754 | 79002 |   1.1 |  99M|2425 |   - |5645 |8805 |5645 | 221 |  21k|  16k|1722 | 0.000000e+00 | 4.900000e+01 |    Inf 
165.24/165.47	c   165s| 70000 | 11886 | 84909 |   1.2 | 100M|2425 |   8 |5645 |7660 |5645 | 213 |  22k|  18k|1780 | 0.000000e+00 | 4.900000e+01 |    Inf 
166.94/167.10	o 48
166.94/167.10	c * 167s| 70441 | 11715 | 87591 |   1.2 | 101M|2425 |   - |5645 |7321 |5645 | 280 |  23k|  18k|1817 | 0.000000e+00 | 4.800000e+01 |    Inf 
176.74/176.92	o 35
176.74/176.92	c * 177s| 73461 |  9329 |101030 |   1.4 |  94M|2425 |   - |5645 |7156 |5645 | 246 |  27k|  21k|1912 | 0.000000e+00 | 3.500000e+01 |    Inf 
176.74/176.93	o 32
176.74/176.93	c * 177s| 73462 |  8692 |101030 |   1.4 |  92M|2425 |   - |5645 |7156 |5645 | 246 |  27k|  21k|1912 | 0.000000e+00 | 3.200000e+01 |    Inf 
186.04/186.27	o 24
186.04/186.27	c * 186s| 76897 |  7106 |119704 |   1.6 |  87M|2425 |   - |5645 |6549 |5645 | 235 |  31k|  26k|2095 | 0.000000e+00 | 2.400000e+01 |    Inf 
186.34/186.54	o 22
186.34/186.54	c * 187s| 77003 |  6660 |120144 |   1.6 |  84M|2425 |   - |5645 |6116 |5645 | 244 |  31k|  26k|2099 | 0.000000e+00 | 2.200000e+01 |    Inf 
191.84/192.09	o 11
191.84/192.09	c * 192s| 79402 |  4675 |132184 |   1.7 |  65M|2425 |   - |5645 |5760 |5645 | 202 |  34k|  29k|2237 | 0.000000e+00 | 1.100000e+01 |    Inf 
193.14/193.35	c   193s| 80000 |  4633 |135173 |   1.7 |  65M|2425 |   - |5645 |5320 |   0 |   0 |  34k|  30k|2250 | 0.000000e+00 | 1.100000e+01 |    Inf 
194.33/194.60	o 6
194.33/194.60	c * 195s| 80662 |  3828 |138494 |   1.7 |  61M|2425 |   - |5645 |5615 |5645 | 230 |  35k|  31k|2251 | 0.000000e+00 | 6.000000e+00 |    Inf 
209.04/209.25	o 1
209.04/209.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
209.04/209.25	c * 209s| 88728 |  2914 |183731 |   2.1 |  57M|2425 |   - |5645 |7816 |5645 | 245 |  42k|  41k|2597 | 0.000000e+00 | 1.000000e+00 |    Inf 
211.34/211.52	c   211s| 90000 |  2924 |191132 |   2.1 |  57M|2425 |   - |5645 |7390 |   0 |   0 |  43k|  42k|2647 | 0.000000e+00 | 1.000000e+00 |    Inf 
228.24/228.47	c   228s|100000 |  3188 |245536 |   2.5 |  61M|2425 |  12 |5645 |9472 |5645 | 246 |  52k|  56k|2950 | 0.000000e+00 | 1.000000e+00 |    Inf 
246.53/246.76	c   247s|110000 |  3400 |306439 |   2.8 |  64M|2425 |   - |5645 |  11k|   0 |   0 |  63k|  71k|3238 | 0.000000e+00 | 1.000000e+00 |    Inf 
266.54/266.77	c   267s|120000 |  3562 |376091 |   3.1 |  67M|2425 |   - |5645 |  12k|   0 |   0 |  74k|  85k|3543 | 0.000000e+00 | 1.000000e+00 |    Inf 
286.84/287.04	c   287s|130000 |  3722 |439188 |   3.4 |  70M|2425 |   1 |5645 |  13k|5645 | 241 |  83k|  99k|3784 | 0.000000e+00 | 1.000000e+00 |    Inf 
306.83/307.04	c   307s|140000 |  3678 |505729 |   3.6 |  69M|2425 |   - |5645 |  11k|   0 |   0 |  93k| 113k|4037 | 0.000000e+00 | 1.000000e+00 |    Inf 
326.44/326.65	c   327s|150000 |  3590 |571294 |   3.8 |  69M|2425 |  11 |5645 |  10k|5645 | 242 | 102k| 128k|4255 | 0.000000e+00 | 1.000000e+00 |    Inf 
347.03/347.24	c   347s|160000 |  3737 |641953 |   4.0 |  72M|2425 |   - |5645 |  12k|   0 |   0 | 113k| 141k|4439 | 0.000000e+00 | 1.000000e+00 |    Inf 
369.03/369.23	c   369s|170000 |  3862 |716425 |   4.2 |  75M|2425 |  26 |5645 |  14k|5645 | 286 | 123k| 156k|4655 | 0.000000e+00 | 1.000000e+00 |    Inf 
391.64/391.84	c   392s|180000 |  4031 |785892 |   4.4 |  78M|2425 |  17 |5645 |  17k|5645 | 259 | 134k| 170k|4837 | 0.000000e+00 | 1.000000e+00 |    Inf 
415.04/415.20	c   415s|190000 |  4088 |862210 |   4.5 |  80M|2425 |  18 |5645 |  15k|5645 | 233 | 143k| 185k|4998 | 0.000000e+00 | 1.000000e+00 |    Inf 
438.53/438.79	c   439s|200000 |  4059 |939651 |   4.7 |  80M|2425 |   - |5645 |  13k|   0 |   0 | 153k| 199k|5172 | 0.000000e+00 | 1.000000e+00 |    Inf 
461.13/461.36	c   461s|210000 |  4251 |  1015k|   4.8 |  83M|2425 |   1 |5645 |  17k|5645 | 226 | 164k| 214k|5337 | 0.000000e+00 | 1.000000e+00 |    Inf 
485.34/485.58	c   486s|220000 |  4345 |  1095k|   5.0 |  86M|2425 |   - |5645 |  18k|   0 |   0 | 175k| 230k|5479 | 0.000000e+00 | 1.000000e+00 |    Inf 
508.84/509.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
508.84/509.03	c   509s|230000 |  4239 |  1169k|   5.1 |  85M|2425 |   1 |5645 |  18k|5645 | 262 | 184k| 246k|5622 | 0.000000e+00 | 1.000000e+00 |    Inf 
531.94/532.11	c   532s|240000 |  4147 |  1245k|   5.2 |  83M|2425 |  11 |5645 |  16k|5645 | 232 | 194k| 261k|5751 | 0.000000e+00 | 1.000000e+00 |    Inf 
555.44/555.62	c   556s|250000 |  4113 |  1322k|   5.3 |  84M|2425 |   1 |5645 |  16k|5645 | 238 | 203k| 276k|5891 | 0.000000e+00 | 1.000000e+00 |    Inf 
577.54/577.76	c   578s|260000 |  3971 |  1389k|   5.3 |  82M|2425 |   7 |5645 |  15k|5645 | 239 | 213k| 291k|6101 | 0.000000e+00 | 1.000000e+00 |    Inf 
599.24/599.41	c   599s|270000 |  3956 |  1456k|   5.4 |  82M|2425 |  10 |5645 |  15k|5645 | 242 | 223k| 305k|6254 | 0.000000e+00 | 1.000000e+00 |    Inf 
619.05/619.22	c   619s|280000 |  3614 |  1518k|   5.4 |  78M|2425 |   9 |5645 |  11k|5645 | 239 | 231k| 318k|6436 | 0.000000e+00 | 1.000000e+00 |    Inf 
638.84/639.01	c   639s|290000 |  3539 |  1575k|   5.4 |  79M|2425 |  13 |5645 |  13k|5645 | 255 | 238k| 331k|6540 | 0.000000e+00 | 1.000000e+00 |    Inf 
661.44/661.64	c   662s|300000 |  3514 |  1646k|   5.5 |  80M|2425 |   - |5645 |  15k|   0 |   0 | 249k| 345k|6626 | 0.000000e+00 | 1.000000e+00 |    Inf 
681.94/682.19	c   682s|310000 |  3268 |  1704k|   5.5 |  77M|2425 |   9 |5645 |  13k|5645 | 228 | 257k| 359k|6753 | 0.000000e+00 | 1.000000e+00 |    Inf 
703.04/703.20	c   703s|320000 |  3326 |  1755k|   5.5 |  78M|2425 |   1 |5645 |  15k|5645 | 215 | 267k| 372k|6827 | 0.000000e+00 | 1.000000e+00 |    Inf 
723.14/723.32	c   723s|330000 |  3572 |  1791k|   5.4 |  81M|2425 |   - |5645 |  17k|   0 |   0 | 272k| 385k|6867 | 0.000000e+00 | 1.000000e+00 |    Inf 
743.74/743.99	c   744s|340000 |  3486 |  1832k|   5.4 |  81M|2425 |   1 |5645 |  16k|5645 | 226 | 280k| 399k|6914 | 0.000000e+00 | 1.000000e+00 |    Inf 
764.04/764.20	c   764s|350000 |  3430 |  1870k|   5.3 |  81M|2425 |   - |5645 |  17k|   0 |   0 | 286k| 412k|6961 | 0.000000e+00 | 1.000000e+00 |    Inf 
786.44/786.69	c   787s|360000 |  3287 |  1931k|   5.4 |  79M|2425 |   4 |5645 |  17k|5645 | 211 | 296k| 427k|7135 | 0.000000e+00 | 1.000000e+00 |    Inf 
810.05/810.26	c   810s|370000 |  3365 |  2004k|   5.4 |  81M|2425 |   - |5645 |  17k|   0 |   0 | 307k| 441k|7228 | 0.000000e+00 | 1.000000e+00 |    Inf 
834.44/834.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
834.44/834.60	c   835s|380000 |  3413 |  2076k|   5.5 |  83M|2425 |  10 |5645 |  21k|5645 | 199 | 318k| 455k|7332 | 0.000000e+00 | 1.000000e+00 |    Inf 
858.04/858.24	c   858s|390000 |  3424 |  2143k|   5.5 |  83M|2425 |   - |5645 |  17k|   0 |   0 | 327k| 470k|7410 | 0.000000e+00 | 1.000000e+00 |    Inf 
882.05/882.28	c   882s|400000 |  3425 |  2214k|   5.5 |  83M|2425 |  13 |5645 |  18k|5645 | 250 | 337k| 485k|7507 | 0.000000e+00 | 1.000000e+00 |    Inf 
906.34/906.55	c   907s|410000 |  3502 |  2290k|   5.6 |  86M|2425 |   - |5645 |  21k|   0 |   0 | 346k| 501k|7607 | 0.000000e+00 | 1.000000e+00 |    Inf 
931.55/931.77	c   932s|420000 |  3587 |  2369k|   5.6 |  90M|2425 |   - |5645 |  25k|   0 |   0 | 355k| 517k|7700 | 0.000000e+00 | 1.000000e+00 |    Inf 
955.94/956.10	c   956s|430000 |  3431 |  2444k|   5.7 |  85M|2425 |  24 |5645 |  19k|5645 | 259 | 364k| 532k|7778 | 0.000000e+00 | 1.000000e+00 |    Inf 
978.95/979.18	c   979s|440000 |  3222 |  2507k|   5.7 |  79M|2425 |   - |5645 |  19k|   0 |   0 | 373k| 546k|7869 | 0.000000e+00 | 1.000000e+00 |    Inf 
1001.44/1001.62	c  1002s|450000 |  2996 |  2564k|   5.7 |  75M|2425 |  15 |5645 |  14k|5645 | 202 | 382k| 559k|7953 | 0.000000e+00 | 1.000000e+00 |    Inf 
1022.75/1022.95	c  1023s|460000 |  3030 |  2629k|   5.7 |  76M|2425 |   - |5645 |  16k|   0 |   0 | 388k| 574k|8032 | 0.000000e+00 | 1.000000e+00 |    Inf 
1045.15/1045.32	c  1045s|470000 |  3094 |  2691k|   5.7 |  77M|2425 |  18 |5645 |  17k|5645 | 215 | 396k| 588k|8118 | 0.000000e+00 | 1.000000e+00 |    Inf 
1067.15/1067.36	c  1067s|480000 |  3120 |  2742k|   5.7 |  79M|2425 |   - |5645 |  18k|5645 | 211 | 401k| 603k|8170 | 0.000000e+00 | 1.000000e+00 |    Inf 
1089.85/1090.05	c  1090s|490000 |  3178 |  2796k|   5.7 |  80M|2425 |   - |5645 |  20k|   0 |   0 | 407k| 618k|8216 | 0.000000e+00 | 1.000000e+00 |    Inf 
1112.55/1112.76	c  1113s|500000 |  3195 |  2847k|   5.7 |  80M|2425 |   1 |5645 |  19k|5645 | 228 | 413k| 634k|8287 | 0.000000e+00 | 1.000000e+00 |    Inf 
1136.45/1136.66	c  1137s|510000 |  3190 |  2906k|   5.7 |  81M|2425 |   1 |5645 |  19k|5645 | 216 | 420k| 649k|8340 | 0.000000e+00 | 1.000000e+00 |    Inf 
1159.16/1159.37	c  1159s|520000 |  3333 |  2965k|   5.7 |  83M|2425 |   - |5645 |  21k|   0 |   0 | 428k| 664k|8386 | 0.000000e+00 | 1.000000e+00 |    Inf 
1181.55/1181.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1181.55/1181.75	c  1182s|530000 |  3385 |  3026k|   5.7 |  84M|2425 |   - |5645 |  22k|5645 | 225 | 435k| 680k|8450 | 0.000000e+00 | 1.000000e+00 |    Inf 
1204.65/1204.84	c  1205s|540000 |  3443 |  3085k|   5.7 |  85M|2425 |   1 |5645 |  21k|5645 | 226 | 442k| 696k|8526 | 0.000000e+00 | 1.000000e+00 |    Inf 
1227.95/1228.10	c  1228s|550000 |  3445 |  3142k|   5.7 |  87M|2425 |   - |5645 |  24k|   0 |   0 | 448k| 711k|8593 | 0.000000e+00 | 1.000000e+00 |    Inf 
1251.75/1251.96	c  1252s|560000 |  3423 |  3199k|   5.7 |  86M|2425 |  16 |5645 |  22k|5645 | 258 | 454k| 727k|8648 | 0.000000e+00 | 1.000000e+00 |    Inf 
1275.86/1276.09	c  1276s|570000 |  3428 |  3266k|   5.7 |  87M|2425 |   - |5645 |  24k|   0 |   0 | 461k| 743k|8701 | 0.000000e+00 | 1.000000e+00 |    Inf 
1301.25/1301.41	c  1301s|580000 |  3394 |  3328k|   5.7 |  87M|2425 |   - |5645 |  24k|   0 |   0 | 468k| 759k|8748 | 0.000000e+00 | 1.000000e+00 |    Inf 
1325.35/1325.58	c  1326s|590000 |  3392 |  3389k|   5.7 |  86M|2425 |   - |5645 |  20k|   0 |   0 | 475k| 774k|8798 | 0.000000e+00 | 1.000000e+00 |    Inf 
1347.66/1347.84	c  1348s|600000 |  3438 |  3454k|   5.8 |  87M|2425 |   - |5645 |  22k|   0 |   0 | 482k| 791k|8880 | 0.000000e+00 | 1.000000e+00 |    Inf 
1370.76/1370.90	c  1371s|610000 |  3257 |  3517k|   5.8 |  84M|2425 |   - |5645 |  20k|   0 |   0 | 489k| 808k|8943 | 0.000000e+00 | 1.000000e+00 |    Inf 
1395.16/1395.38	c  1395s|620000 |  3132 |  3581k|   5.8 |  81M|2425 |   1 |5645 |  18k|5645 | 227 | 498k| 822k|9104 | 0.000000e+00 | 1.000000e+00 |    Inf 
1418.65/1418.88	c  1419s|630000 |  3107 |  3632k|   5.8 |  81M|2425 |   - |5645 |  19k|   0 |   0 | 506k| 835k|9136 | 0.000000e+00 | 1.000000e+00 |    Inf 
1445.05/1445.28	c  1445s|640000 |  3195 |  3702k|   5.8 |  83M|2425 |   1 |5645 |  21k|5645 | 223 | 515k| 848k|9225 | 0.000000e+00 | 1.000000e+00 |    Inf 
1470.25/1470.42	c  1470s|650000 |  3364 |  3763k|   5.8 |  86M|2425 |  12 |5645 |  24k|5645 | 243 | 523k| 862k|9278 | 0.000000e+00 | 1.000000e+00 |    Inf 
1497.06/1497.25	c  1497s|660000 |  3321 |  3834k|   5.8 |  86M|2425 |   - |5645 |  23k|5645 | 268 | 532k| 876k|9350 | 0.000000e+00 | 1.000000e+00 |    Inf 
1522.56/1522.75	c  1523s|670000 |  3301 |  3891k|   5.8 |  86M|2425 |   - |5645 |  23k|   0 |   0 | 539k| 890k|9394 | 0.000000e+00 | 1.000000e+00 |    Inf 
1548.95/1549.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1548.95/1549.19	c  1549s|680000 |  3268 |  3964k|   5.8 |  86M|2425 |   6 |5645 |  22k|5645 | 250 | 549k| 905k|9466 | 0.000000e+00 | 1.000000e+00 |    Inf 
1575.07/1575.21	c  1575s|690000 |  3053 |  4042k|   5.9 |  80M|2425 |   1 |5645 |  20k|5645 | 207 | 559k| 921k|9524 | 0.000000e+00 | 1.000000e+00 |    Inf 
1595.56/1595.79	c  1596s|700000 |  3162 |  4087k|   5.8 |  82M|2425 |   1 |5645 |  22k|5645 | 217 | 567k| 935k|9567 | 0.000000e+00 | 1.000000e+00 |    Inf 
1617.66/1617.88	c  1618s|710000 |  3167 |  4139k|   5.8 |  82M|2425 |   1 |5645 |  22k|5645 | 206 | 576k| 949k|9623 | 0.000000e+00 | 1.000000e+00 |    Inf 
1641.06/1641.25	c  1641s|720000 |  3349 |  4178k|   5.8 |  85M|2425 |   9 |5645 |  24k|5645 | 217 | 583k| 963k|9635 | 0.000000e+00 | 1.000000e+00 |    Inf 
1665.46/1665.60	c  1666s|730000 |  3540 |  4222k|   5.8 |  86M|2425 |   5 |5645 |  23k|5645 | 191 | 592k| 977k|9690 | 0.000000e+00 | 1.000000e+00 |    Inf 
1690.56/1690.72	c  1691s|740000 |  3764 |  4269k|   5.8 |  90M|2425 |   - |5645 |  27k|   0 |   0 | 600k| 991k|9751 | 0.000000e+00 | 1.000000e+00 |    Inf 
1716.06/1716.22	c  1716s|750000 |  3894 |  4318k|   5.8 |  90M|2425 |   - |5645 |  24k|   0 |   0 | 608k|1005k|9805 | 0.000000e+00 | 1.000000e+00 |    Inf 
1740.66/1740.81	c  1741s|760000 |  3843 |  4372k|   5.8 |  91M|2425 |   1 |5645 |  25k|5645 | 191 | 618k|1020k|9844 | 0.000000e+00 | 1.000000e+00 |    Inf 
1765.56/1765.77	c  1766s|770000 |  3769 |  4423k|   5.7 |  91M|2425 |  15 |5645 |  25k|5645 | 233 | 626k|1036k|9874 | 0.000000e+00 | 1.000000e+00 |    Inf 
1789.86/1790.00	c 
1789.86/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.86/1790.00	c Solving Time (sec) : 1789.97
1789.86/1790.00	c Solving Nodes      : 779504
1789.86/1790.00	c Primal Bound       : +1.00000000000000e+00 (178 solutions)
1789.86/1790.00	c Dual Bound         : +0.00000000000000e+00
1789.86/1790.00	c Gap                : infinite
1789.86/1790.05	s SATISFIABLE
1789.86/1790.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 
1789.86/1790.05	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 
1789.86/1790.05	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 
1789.86/1790.05	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 
1789.86/1790.05	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1789.86/1790.05	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
1789.86/1790.05	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 
1789.86/1790.05	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 
1789.86/1790.05	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 
1789.86/1790.05	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 
1789.86/1790.05	v -x1 
1789.86/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1789.86/1790.05	c Solving Time       :    1789.97
1789.86/1790.05	c Original Problem   :
1789.86/1790.05	c   Problem name     : HOME/instance-2705067-1278578335.wbo
1789.86/1790.05	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1789.86/1790.05	c   Constraints      : 5415 initial, 5415 maximal
1789.86/1790.05	c Presolved Problem  :
1789.86/1790.05	c   Problem name     : t_HOME/instance-2705067-1278578335.wbo
1789.86/1790.05	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1789.86/1790.05	c   Constraints      : 5414 initial, 27703 maximal
1789.86/1790.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.86/1790.05	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1789.86/1790.05	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1789.86/1790.05	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1789.86/1790.05	c   root node        :          -       5414          -          -       5414          -          -          -          -
1789.86/1790.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.86/1790.05	c   integral         :          0          0          0     524171          0         25        785          0          0     787316
1789.86/1790.05	c   linear           :       2707          6    3962416     129519          1     272527   20432639     636317          0          0
1789.86/1790.05	c   indicator        :       2707          0     299151      66464          0        284    2228780          0          0          0
1789.86/1790.05	c   logicor          :          0+         0    1236189          0          0      93918    1377138          0          0          0
1789.86/1790.05	c   bounddisjunction :          0+         0     392389          0          0        201       3080          0          0          0
1789.86/1790.05	c   countsols        :          0          0          0      58815          1          0          0          0          0          0
1789.86/1790.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.86/1790.05	c   integral         :      16.11       0.00       0.00      16.11       0.00
1789.86/1790.05	c   linear           :     261.59       0.00     247.10      14.48       0.00
1789.86/1790.05	c   indicator        :      28.20       0.00      14.60      13.60       0.00
1789.86/1790.05	c   logicor          :     254.83       0.00     254.83       0.00       0.00
1789.86/1790.05	c   bounddisjunction :       2.16       0.00       2.16       0.00       0.00
1789.86/1790.05	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1789.86/1790.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.86/1790.05	c   vbounds          :       0.68      16417         14       3665
1789.86/1790.05	c   rootredcost      :       0.58         30          0       2707
1789.86/1790.05	c   pseudoobj        :     144.55    3968148       5448    2003988
1789.86/1790.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.86/1790.05	c   propagation      :      23.69     372094     372000    2221569       32.4      13721       26.6          -
1789.86/1790.05	c   infeasible LP    :       6.18      15656      15656     125506       43.9        124       22.1          0
1789.86/1790.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.86/1790.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.86/1790.05	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.86/1790.05	c   applied globally :          -          -          -    1051181       25.0          -          -          -
1789.86/1790.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.86/1790.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.86/1790.05	c   cut pool         :       0.00          3          -          -          1          -    (maximal pool size: 73)
1789.86/1790.05	c   redcost          :      49.81     525500          0     220649          0          0
1789.86/1790.05	c   impliedbounds    :       0.00          4          0          0          0          0
1789.86/1790.05	c   intobj           :       0.00          0          0          0          0          0
1789.86/1790.05	c   cgmip            :       0.00          0          0          0          0          0
1789.86/1790.05	c   gomory           :       0.01          4          0          0        230          0
1789.86/1790.05	c   strongcg         :       0.01          4          0          0        215          0
1789.86/1790.05	c   cmir             :       0.01          4          0          0          0          0
1789.86/1790.05	c   flowcover        :       0.03          4          0          0          0          0
1789.86/1790.05	c   clique           :       0.00          1          0          0          0          0
1789.86/1790.05	c   zerohalf         :       0.00          0          0          0          0          0
1789.86/1790.05	c   mcf              :       0.00          1          0          0          0          0
1789.86/1790.05	c   rapidlearning    :       0.19          1          0          0          0          0
1789.86/1790.05	c Pricers            :       Time      Calls       Vars
1789.86/1790.05	c   problem variables:       0.00          0          0
1789.86/1790.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.86/1790.05	c   relpscost        :      15.67     394313         25        785          0          0     787316
1789.86/1790.05	c   pscost           :       0.00          0          0          0          0          0          0
1789.86/1790.05	c   inference        :      28.29      58786          0          0          0          0     117641
1789.86/1790.05	c   mostinf          :       0.00          0          0          0          0          0          0
1789.86/1790.05	c   leastinf         :       0.00          0          0          0          0          0          0
1789.86/1790.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.86/1790.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.86/1790.05	c   random           :       0.00          0          0          0          0          0          0
1789.86/1790.05	c Primal Heuristics  :       Time      Calls      Found
1789.86/1790.05	c   LP solutions     :       0.12          -         30
1789.86/1790.05	c   pseudo solutions :       0.00          -          0
1789.86/1790.05	c   feaspump         :       0.01          0          0
1789.86/1790.05	c   intshifting      :       0.01          0          0
1789.86/1790.05	c   oneopt           :       0.37         28          0
1789.86/1790.05	c   guideddiving     :       0.16         56          0
1789.86/1790.05	c   crossover        :       1.37         29          7
1789.86/1790.05	c   coefdiving       :       0.20        100          0
1789.86/1790.05	c   pscostdiving     :       0.19        100          0
1789.86/1790.05	c   fracdiving       :       0.19        100          0
1789.86/1790.05	c   veclendiving     :       0.19        101          0
1789.86/1790.05	c   linesearchdiving :       0.19        101          0
1789.86/1790.05	c   objpscostdiving  :       0.20         97          0
1789.86/1790.05	c   rootsoldiving    :       0.22         97          0
1789.86/1790.05	c   trivial          :       0.07          2          2
1789.86/1790.05	c   simplerounding   :       0.89     394469          0
1789.86/1790.05	c   zirounding       :       0.37       1000          0
1789.86/1790.05	c   rounding         :       1.08       8863          0
1789.86/1790.05	c   shifting         :       0.62       2731          0
1789.86/1790.05	c   twoopt           :       0.00          0          0
1789.86/1790.05	c   fixandinfer      :       0.00          0          0
1789.86/1790.05	c   intdiving        :       0.00          0          0
1789.86/1790.05	c   actconsdiving    :       0.00          0          0
1789.86/1790.05	c   octane           :       0.00          0          0
1789.86/1790.05	c   rens             :       0.03          1          0
1789.86/1790.05	c   rins             :       0.00          0          0
1789.86/1790.05	c   localbranching   :       0.00          0          0
1789.86/1790.05	c   mutation         :       0.00          0          0
1789.86/1790.05	c   dins             :       0.00          0          0
1789.86/1790.05	c   undercover       :       0.00          0          0
1789.86/1790.05	c   nlp              :       0.16          0          0
1789.86/1790.05	c   trysol           :       0.44        243        139
1789.86/1790.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.86/1790.05	c   primal LP        :       0.00          0          0       0.00          -
1789.86/1790.05	c   dual LP          :     465.62     482421    4476238       9.28    9613.56
1789.86/1790.05	c   lex dual LP      :       0.00          0          0       0.00          -
1789.86/1790.05	c   barrier LP       :       0.00          0          0       0.00          -
1789.86/1790.05	c   diving/probing LP:       0.10         61        572       9.38    5617.81
1789.86/1790.05	c   strong branching :      12.04       9915     130613      13.17   10850.07
1789.86/1790.05	c     (at root node) :          -         32       1047      32.72          -
1789.86/1790.05	c   conflict analysis:       0.00          0          0       0.00          -
1789.86/1790.05	c B&B Tree           :
1789.86/1790.05	c   number of runs   :          1
1789.86/1790.05	c   nodes            :     779504
1789.86/1790.05	c   nodes (total)    :     779504
1789.86/1790.05	c   nodes left       :       3762
1789.86/1790.05	c   max depth        :       2425
1789.86/1790.05	c   max depth (total):       2425
1789.86/1790.05	c   backtracks       :      73516 (9.4%)
1789.86/1790.05	c   delayed cutoffs  :      66223
1789.86/1790.05	c   repropagations   :    1953981 (4316590 domain reductions, 60962 cutoffs)
1789.86/1790.05	c   avg switch length:       6.69
1789.86/1790.05	c   switching time   :     264.01
1789.86/1790.05	c Solution           :
1789.86/1790.05	c   Solutions found  :        178 (31 improvements)
1789.86/1790.05	c   First Solution   : +1.35279000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1789.86/1790.05	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 88728 nodes, 209.21 seconds, depth 30, found by <relaxation>)
1789.86/1790.05	c   Dual Bound       : +0.00000000000000e+00
1789.86/1790.05	c   Gap              :   infinite
1789.86/1790.05	c   Root Dual Bound  : +0.00000000000000e+00
1789.86/1790.05	c   Root Iterations  :        184
1789.96/1790.18	c Time complete: 1790.04.

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 21329
/proc/meminfo: memFree=28709076/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=12336 CPUtime=0
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 1922 0 0 0 0 0 0 0 23 0 1 0 26047250 12632064 1840 4089446400 4194304 10345943 140735426540112 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21329/statm: 3084 1841 429 1502 0 1577 0

[startup+0.0566751 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 21329
/proc/meminfo: memFree=28709076/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=34952 CPUtime=0.04
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 7988 0 0 0 4 0 0 0 23 0 1 0 26047250 35790848 7552 4089446400 4194304 10345943 140735426540112 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21329/statm: 8738 7582 484 1502 0 7231 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34952

[startup+0.100671 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 21329
/proc/meminfo: memFree=28709076/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=38020 CPUtime=0.09
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 8449 0 0 0 9 0 0 0 23 0 1 0 26047250 38932480 8013 4089446400 4194304 10345943 140735426540112 18446744073709551615 9138351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21329/statm: 9505 8013 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38020

[startup+0.300637 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 21329
/proc/meminfo: memFree=28709076/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=70104 CPUtime=0.29
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 16213 0 0 0 28 1 0 0 23 0 1 0 26047250 71786496 15777 4089446400 4194304 10345943 140735426540112 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21329/statm: 17526 15777 632 1502 0 16019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70104

[startup+0.700568 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 21329
/proc/meminfo: memFree=28709076/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=65264 CPUtime=0.69
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 16893 0 0 0 67 2 0 0 25 0 1 0 26047250 66830336 15052 4089446400 4194304 10345943 140735426540112 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21329/statm: 16316 15052 751 1502 0 14809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65264

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21330
/proc/meminfo: memFree=28651056/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=65264 CPUtime=1.49
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 16895 0 0 0 147 2 0 0 25 0 1 0 26047250 66830336 15054 4089446400 4194304 10345943 140735426540112 18446744073709551615 6119774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21329/statm: 16316 15054 753 1502 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10116 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 21330
/proc/meminfo: memFree=28650932/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=65264 CPUtime=3.09
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 16897 0 0 0 307 2 0 0 25 0 1 0 26047250 66830336 15056 4089446400 4194304 10345943 140735426540112 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21329/statm: 16316 15056 754 1502 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65264

[startup+6.30061 s]
/proc/loadavg: 2.08 2.02 1.96 3/177 21330
/proc/meminfo: memFree=28650152/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=65264 CPUtime=6.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 19405 0 0 0 611 4 0 0 25 0 1 0 26047250 66830336 15082 4089446400 4194304 10345943 140735426540112 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21329/statm: 16316 15082 754 1502 0 14809 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 65264

[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 21331
/proc/meminfo: memFree=28636548/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=80512 CPUtime=12.55
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 22849 0 0 0 1249 6 0 0 25 0 1 0 26047250 82444288 18526 4089446400 4194304 10345943 140735426540112 18446744073709551615 6785808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21329/statm: 20128 18526 754 1502 0 18621 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 80512

[startup+25.5004 s]
/proc/loadavg: 2.14 2.03 1.96 3/177 21359
/proc/meminfo: memFree=29451368/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=85340 CPUtime=25.34
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 25068 0 0 0 2527 7 0 0 25 0 1 0 26047250 87388160 20151 4089446400 4194304 10345943 140735426540112 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21329/statm: 21335 20151 761 1502 0 19828 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 85340

[startup+51.1011 s]
/proc/loadavg: 2.09 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29423492/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=111444 CPUtime=50.94
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 58102 0 0 0 5080 14 0 0 25 0 1 0 26047250 114118656 26314 4089446400 4194304 10345943 140735426540112 18446744073709551615 4688116 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 27861 26314 761 1502 0 26354 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 111444

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 1.96 3/177 21361
/proc/meminfo: memFree=29350808/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=181016 CPUtime=102.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 90084 0 0 0 10192 22 0 0 25 0 1 0 26047250 185360384 44075 4089446400 4194304 10345943 140735426540112 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 45254 44075 762 1502 0 43747 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 181016

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 21363
/proc/meminfo: memFree=29239524/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=289624 CPUtime=162.13
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 144770 0 0 0 16172 41 0 0 25 0 1 0 26047250 296574976 69785 4089446400 4194304 10345943 140735426540112 18446744073709551615 6559780 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 72406 69785 767 1502 0 70899 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 289624

[startup+222.301 s]
/proc/loadavg: 2.08 2.03 1.97 3/177 21364
/proc/meminfo: memFree=29194596/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=318144 CPUtime=222.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 211080 0 0 0 22141 73 0 0 25 0 1 0 26047250 325779456 76419 4089446400 4194304 10345943 140735426540112 18446744073709551615 6756392 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 79536 76419 794 1502 0 78029 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 318144

[startup+282.301 s]
/proc/loadavg: 2.03 2.02 1.97 3/177 21366
/proc/meminfo: memFree=29166424/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=325616 CPUtime=282.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 219144 0 0 0 28114 100 0 0 25 0 1 0 26047250 333430784 78381 4089446400 4194304 10345943 140735426540112 18446744073709551615 6119731 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 81404 78381 794 1502 0 79897 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 325616

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 21368
/proc/meminfo: memFree=29143568/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=326540 CPUtime=342.13
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 223825 0 0 0 34091 122 0 0 25 0 1 0 26047250 334376960 78840 4089446400 4194304 10345943 140735426540112 18446744073709551615 4212451 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 81635 78840 794 1502 0 80128 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 326540

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 21369
/proc/meminfo: memFree=29116996/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=334272 CPUtime=402.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 225526 0 0 0 40070 144 0 0 25 0 1 0 26047250 342294528 80541 4089446400 4194304 10345943 140735426540112 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 83568 80541 794 1502 0 82061 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 334272

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21371
/proc/meminfo: memFree=29091296/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=336652 CPUtime=462.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 230302 0 0 0 46047 167 0 0 25 0 1 0 26047250 344731648 81297 4089446400 4194304 10345943 140735426540112 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 84163 81297 794 1502 0 82656 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 336652

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21372
/proc/meminfo: memFree=29066092/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=339376 CPUtime=522.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 231617 0 0 0 52026 188 0 0 25 0 1 0 26047250 347521024 82072 4089446400 4194304 10345943 140735426540112 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 84844 82072 794 1502 0 83337 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 339376

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21374
/proc/meminfo: memFree=29041768/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=340116 CPUtime=582.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 231787 0 0 0 58005 209 0 0 25 0 1 0 26047250 348278784 82242 4089446400 4194304 10345943 140735426540112 18446744073709551615 5926682 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 85029 82242 794 1502 0 83522 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 340116

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21376
/proc/meminfo: memFree=29014704/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=340332 CPUtime=642.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 231900 0 0 0 63987 228 0 0 25 0 1 0 26047250 348499968 82355 4089446400 4194304 10345943 140735426540112 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 85083 82355 794 1502 0 83576 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 340332

[startup+702.301 s]

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

/proc/meminfo: memFree=28841888/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=345916 CPUtime=1002.14
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 237166 0 0 0 99881 333 0 0 25 0 1 0 26047250 354217984 83346 4089446400 4194304 10345943 140735426540112 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86479 83346 795 1502 0 84972 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 345916

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 21387
/proc/meminfo: memFree=28821656/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=345916 CPUtime=1062.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 237175 0 0 0 105864 351 0 0 25 0 1 0 26047250 354217984 83355 4089446400 4194304 10345943 140735426540112 18446744073709551615 5024703 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86479 83355 795 1502 0 84972 0
Current children cumulated CPU time (s) 1062.15
Current children cumulated vsize (KiB) 345916

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 21388
/proc/meminfo: memFree=28798668/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=344816 CPUtime=1122.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 238881 0 0 0 111849 366 0 0 25 0 1 0 26047250 353091584 83251 4089446400 4194304 10345943 140735426540112 18446744073709551615 6068929 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86204 83251 795 1502 0 84697 0
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (KiB) 344816

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21390
/proc/meminfo: memFree=28771244/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=345336 CPUtime=1182.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 238929 0 0 0 117831 384 0 0 25 0 1 0 26047250 353624064 83299 4089446400 4194304 10345943 140735426540112 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86334 83299 795 1502 0 84827 0
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (KiB) 345336

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21392
/proc/meminfo: memFree=28748272/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346200 CPUtime=1242.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239101 0 0 0 123813 402 0 0 25 0 1 0 26047250 354508800 83471 4089446400 4194304 10345943 140735426540112 18446744073709551615 6929816 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86550 83471 795 1502 0 85043 0
Current children cumulated CPU time (s) 1242.15
Current children cumulated vsize (KiB) 346200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21393
/proc/meminfo: memFree=28725040/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346200 CPUtime=1302.16
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239138 0 0 0 129800 416 0 0 25 0 1 0 26047250 354508800 83508 4089446400 4194304 10345943 140735426540112 18446744073709551615 6119378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86550 83508 795 1502 0 85043 0
Current children cumulated CPU time (s) 1302.16
Current children cumulated vsize (KiB) 346200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21404
/proc/meminfo: memFree=28703028/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346436 CPUtime=1362.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239312 0 0 0 135782 433 0 0 25 0 1 0 26047250 354750464 83682 4089446400 4194304 10345943 140735426540112 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86609 83682 795 1502 0 85102 0
Current children cumulated CPU time (s) 1362.15
Current children cumulated vsize (KiB) 346436

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 21405
/proc/meminfo: memFree=28682900/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346608 CPUtime=1422.16
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239359 0 0 0 141768 448 0 0 25 0 1 0 26047250 354926592 83729 4089446400 4194304 10345943 140735426540112 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86652 83729 795 1502 0 85145 0
Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 346608

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 21407
/proc/meminfo: memFree=28661656/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346608 CPUtime=1482.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239369 0 0 0 147752 463 0 0 25 0 1 0 26047250 354926592 83739 4089446400 4194304 10345943 140735426540112 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86652 83739 795 1502 0 85145 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 346608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21409
/proc/meminfo: memFree=28640040/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346608 CPUtime=1542.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239415 0 0 0 153738 477 0 0 25 0 1 0 26047250 354926592 83785 4089446400 4194304 10345943 140735426540112 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86652 83785 795 1502 0 85145 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 346608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21410
/proc/meminfo: memFree=28620156/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346608 CPUtime=1602.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239452 0 0 0 159722 493 0 0 25 0 1 0 26047250 354926592 83822 4089446400 4194304 10345943 140735426540112 18446744073709551615 9104482 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86652 83822 795 1502 0 85145 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 346608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21412
/proc/meminfo: memFree=28602512/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346608 CPUtime=1662.15
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239455 0 0 0 165709 506 0 0 25 0 1 0 26047250 354926592 83825 4089446400 4194304 10345943 140735426540112 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86652 83825 795 1502 0 85145 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 346608

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21413
/proc/meminfo: memFree=28581164/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=346920 CPUtime=1722.16
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239551 0 0 0 171698 518 0 0 25 0 1 0 26047250 355246080 83921 4089446400 4194304 10345943 140735426540112 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 86730 83921 795 1502 0 85223 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 346920

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28560544/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1782.16
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239790 0 0 0 177683 533 0 0 25 0 1 0 26047250 356413440 84160 4089446400 4194304 10345943 140735426540112 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84160 795 1502 0 85508 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 348060

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28559556/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1785.36
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239799 0 0 0 178003 533 0 0 25 0 1 0 26047250 356413440 84169 4089446400 4194304 10345943 140735426540112 18446744073709551615 4212451 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84169 795 1502 0 85508 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (KiB) 348060

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28558560/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1788.56
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239799 0 0 0 178321 535 0 0 25 0 1 0 26047250 356413440 84169 4089446400 4194304 10345943 140735426540112 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84169 795 1502 0 85508 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (KiB) 348060

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28558560/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1789.36
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239799 0 0 0 178401 535 0 0 25 0 1 0 26047250 356413440 84169 4089446400 4194304 10345943 140735426540112 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84169 795 1502 0 85508 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (KiB) 348060

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28558436/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1789.76
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239799 0 0 0 178441 535 0 0 25 0 1 0 26047250 356413440 84169 4089446400 4194304 10345943 140735426540112 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84169 795 1502 0 85508 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 348060

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21415
/proc/meminfo: memFree=28558436/32951132 swapFree=67111528/67111528
[pid=21329] ppid=21327 vsize=348060 CPUtime=1789.96
/proc/21329/stat : 21329 (pbscip.linux.x8) R 21327 21329 20846 0 -1 4202496 239830 0 0 0 178461 535 0 0 18 0 1 0 26047250 356413440 84200 4089446400 4194304 10345943 140735426540112 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21329/statm: 87015 84200 796 1502 0 85508 0
Current children cumulated CPU time (s) 1789.96
Current children cumulated vsize (KiB) 348060

Child status: 0
Real time (s): 1790.18
CPU time (s): 1790.05
CPU user time (s): 1784.68
CPU system time (s): 5.36718
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 349616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.68
system time used= 5.36718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 19649

runsolver used 2.67059 second user time and 5.49416 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-08 10:38:55
IDJOB=2705067
IDBENCH=79285
IDSOLVER=1214
FILE ID=node129/2705067-1278578335
PBS_JOBID= 11240195
Free space on /tmp= 73776 MiB

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

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

MD5SUM BENCH= cf389047fd441928b15b38cce26251ed
RANDOM SEED=1419837013

node129.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.836
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.836
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.83
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.836
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.836
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.836
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	: 5311.72
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.836
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.82
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.836
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.836
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28709480 kB
Buffers:        155388 kB
Cached:        2943620 kB
SwapCached:          0 kB
Active:        2190508 kB
Inactive:      1897624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28709480 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:      988300 kB
Mapped:          17920 kB
Slab:            90280 kB
PageTables:       6640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1152492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node129 at 2010-07-08 11:08:46