Trace number 2705081

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.44 1790.39

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MD5SUM30e25559b2b6f1151f21e207b2f87b54
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark667.905
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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-2705081-1278578336.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 136613
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.366130e+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.13	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.18	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  5391 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.3
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1789.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18	c # [type: int, range: [1,2], default: 1]
0.09/0.18	c timing/clocktype = 2
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/indicator/addCouplingCons = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.09/0.19	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.19	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.29/0.38	c   0.4s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   101 |     - |  19M|   0 |  35 |5645 |5414 |5645 | 120 | 120 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   133 |     - |  19M|   0 |  38 |5645 |5414 |5645 | 150 | 150 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   184 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.49/0.55	c   0.5s|     1 |     2 |   184 |     - |  20M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |  32 | 0.000000e+00 | 1.366130e+05 |    Inf 
20.69/20.79	c  20.8s| 10000 | 10005 |  4626 |   0.4 |  45M|1865 |   0 |5645 |5414 |5645 | 227 |1303 |   0 | 656 | 0.000000e+00 | 1.366130e+05 |    Inf 
23.29/23.31	o 959
23.29/23.31	c *23.3s| 11882 | 10974 |  4765 |   0.4 |  47M|2293 |   - |5645 |5414 |5645 | 226 |1345 |   0 | 667 | 0.000000e+00 | 9.590000e+02 |    Inf 
36.40/36.42	c  36.4s| 20000 | 19092 |  5738 |   0.3 |  64M|2293 |   0 |5645 |5414 |5645 | 212 |1603 |   0 | 709 | 0.000000e+00 | 9.590000e+02 |    Inf 
54.19/54.22	c  54.2s| 30000 | 29092 |  7022 |   0.2 |  84M|2293 |   0 |5645 |5414 |5645 | 217 |1910 |   0 | 748 | 0.000000e+00 | 9.590000e+02 |    Inf 
71.79/71.88	c  71.8s| 40000 | 39089 |  8036 |   0.2 | 104M|2293 |   0 |5645 |5427 |5645 | 206 |2202 |  13 | 788 | 0.000000e+00 | 9.590000e+02 |    Inf 
89.49/89.54	c  89.5s| 50000 | 49085 |  9076 |   0.2 | 123M|2293 |   0 |5645 |5434 |5645 | 215 |2497 |  20 | 839 | 0.000000e+00 | 9.590000e+02 |    Inf 
108.09/108.15	c   108s| 60000 | 59085 | 10305 |   0.2 | 142M|2293 |   0 |5645 |5434 |5645 | 201 |2852 |  20 | 879 | 0.000000e+00 | 9.590000e+02 |    Inf 
128.39/128.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.39/128.42	c   128s| 70000 | 69074 | 12192 |   0.2 | 162M|2293 |   0 |5645 |5469 |5645 | 219 |3400 |  55 | 942 | 0.000000e+00 | 9.590000e+02 |    Inf 
149.50/149.58	c   150s| 80000 | 79004 | 13809 |   0.2 | 181M|2293 |   0 |5645 |5517 |5645 | 227 |3826 | 103 | 975 | 0.000000e+00 | 9.590000e+02 |    Inf 
169.40/169.41	c   169s| 90000 | 88990 | 15130 |   0.2 | 200M|2293 |   0 |5645 |5558 |5645 | 182 |4211 | 144 | 982 | 0.000000e+00 | 9.590000e+02 |    Inf 
183.49/183.59	o 515
183.49/183.59	c * 184s| 96623 | 88190 | 16322 |   0.2 | 200M|2293 |   - |5645 |5586 |5645 | 211 |4556 | 172 | 995 | 0.000000e+00 | 5.150000e+02 |    Inf 
184.89/184.94	o 511
184.89/184.94	c * 185s| 97057 | 88441 | 16800 |   0.2 | 201M|2293 |   - |5645 |5742 |5645 | 217 |4695 | 328 |1013 | 0.000000e+00 | 5.110000e+02 |    Inf 
184.99/185.08	o 496
184.99/185.08	c * 185s| 97098 | 87928 | 16914 |   0.2 | 200M|2293 |   - |5645 |5766 |5645 | 211 |4715 | 352 |1014 | 0.000000e+00 | 4.960000e+02 |    Inf 
184.99/185.09	o 493
184.99/185.09	c * 185s| 97099 | 87842 | 16917 |   0.2 | 200M|2293 |   - |5645 |5766 |5645 | 211 |4715 | 352 |1014 | 0.000000e+00 | 4.930000e+02 |    Inf 
186.59/186.61	o 477
186.59/186.61	c * 187s| 97759 | 87831 | 17226 |   0.2 | 200M|2293 |   - |5645 |5928 |5645 | 205 |4792 | 514 |1017 | 0.000000e+00 | 4.770000e+02 |    Inf 
186.59/186.62	o 437
186.59/186.62	c * 187s| 97760 | 85796 | 17226 |   0.2 | 196M|2293 |   - |5645 |5928 |5645 | 205 |4792 | 514 |1017 | 0.000000e+00 | 4.370000e+02 |    Inf 
186.89/187.00	o 414
186.89/187.00	c * 187s| 97882 | 84563 | 17333 |   0.2 | 194M|2293 |   - |5645 |6002 |5645 | 175 |4819 | 588 |1017 | 0.000000e+00 | 4.140000e+02 |    Inf 
188.59/188.65	o 387
188.59/188.65	c * 189s| 98392 | 82897 | 18002 |   0.2 | 192M|2293 |   - |5645 |6346 |5645 | 202 |4972 | 932 |1025 | 0.000000e+00 | 3.870000e+02 |    Inf 
188.59/188.67	o 344
188.59/188.67	c * 189s| 98393 | 78271 | 18002 |   0.2 | 183M|2293 |   - |5645 |6346 |5645 | 202 |4972 | 932 |1025 | 0.000000e+00 | 3.440000e+02 |    Inf 
192.89/192.91	c   193s|100000 | 79758 | 18959 |   0.2 | 188M|2293 |   0 |5645 |6692 |5645 | 191 |5322 |1278 |1027 | 0.000000e+00 | 3.440000e+02 |    Inf 
200.49/200.53	o 333
200.49/200.53	c * 200s|102524 | 80496 | 22094 |   0.2 | 194M|2293 |   - |5645 |7805 |5645 | 223 |6310 |2391 |1063 | 0.000000e+00 | 3.330000e+02 |    Inf 
200.89/200.91	o 331
200.89/200.91	c * 201s|102648 | 80295 | 22193 |   0.2 | 194M|2293 |   - |5645 |7882 |5645 | 217 |6328 |2468 |1063 | 0.000000e+00 | 3.310000e+02 |    Inf 
200.89/200.93	o 309
200.89/200.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
200.89/200.93	c * 201s|102651 | 76404 | 22198 |   0.2 | 186M|2293 |   - |5645 |7882 |5645 | 218 |6329 |2468 |1063 | 0.000000e+00 | 3.090000e+02 |    Inf 
213.49/213.53	o 302
213.49/213.53	c * 213s|106233 | 77656 | 30907 |   0.3 | 196M|2293 |   - |5645 |9091 |5645 | 186 |8622 |3979 |1187 | 0.000000e+00 | 3.020000e+02 |    Inf 
215.10/215.14	o 263
215.10/215.14	c * 215s|106757 | 67604 | 31433 |   0.3 | 176M|2293 |   - |5645 |9246 |5645 | 189 |8770 |4194 |1200 | 0.000000e+00 | 2.630000e+02 |    Inf 
215.89/215.97	o 242
215.89/215.97	c * 216s|106993 | 61019 | 31660 |   0.3 | 163M|2293 |   - |5645 |9304 |5645 | 209 |8866 |4283 |1200 | 0.000000e+00 | 2.420000e+02 |    Inf 
226.29/226.35	c   226s|110000 | 63167 | 36875 |   0.3 | 174M|2293 |   1 |5645 |9859 |5645 | 203 |  10k|5783 |1298 | 0.000000e+00 | 2.420000e+02 |    Inf 
229.09/229.18	o 217
229.09/229.18	c * 229s|110912 | 55561 | 37688 |   0.3 | 157M|2293 |   - |5645 |9954 |5645 | 184 |  10k|6129 |1298 | 0.000000e+00 | 2.170000e+02 |    Inf 
233.39/233.43	o 216
233.39/233.43	c * 233s|112225 | 56401 | 39034 |   0.3 | 161M|2293 |   - |5645 |  10k|5645 | 200 |  10k|6556 |1303 | 0.000000e+00 | 2.160000e+02 |    Inf 
233.39/233.48	o 212
233.39/233.48	c * 233s|112234 | 55335 | 39107 |   0.3 | 158M|2293 |   - |5645 |  10k|5645 | 216 |  10k|6560 |1311 | 0.000000e+00 | 2.120000e+02 |    Inf 
246.80/246.82	o 211
246.80/246.82	c * 247s|116191 | 58036 | 44087 |   0.4 | 170M|2293 |   - |5645 |  10k|5645 | 246 |  12k|8313 |1343 | 0.000000e+00 | 2.110000e+02 |    Inf 
259.99/260.09	c   260s|120000 | 60785 | 50751 |   0.4 | 185M|2293 |   0 |5645 |  11k|5645 | 211 |  14k|  10k|1392 | 0.000000e+00 | 2.110000e+02 |    Inf 
282.39/282.45	o 175
282.39/282.45	c * 282s|126779 | 56061 | 59665 |   0.5 | 183M|2293 |   - |5645 |  10k|5645 | 209 |  16k|  13k|1402 | 0.000000e+00 | 1.750000e+02 |    Inf 
294.20/294.29	c   294s|130000 | 57934 | 64805 |   0.5 | 192M|2293 |   0 |5645 |8363 |5645 | 199 |  17k|  15k|1439 | 0.000000e+00 | 1.750000e+02 |    Inf 
310.59/310.65	o 172
310.59/310.65	c * 311s|134728 | 60094 | 72370 |   0.5 | 207M|2293 |   - |5645 |9055 |5645 | 199 |  19k|  17k|1503 | 0.000000e+00 | 1.720000e+02 |    Inf 
310.69/310.73	o 151
310.69/310.73	c * 311s|134746 | 53353 | 72457 |   0.5 | 186M|2293 |   - |5645 |9053 |5645 | 217 |  19k|  17k|1506 | 0.000000e+00 | 1.510000e+02 |    Inf 
310.89/310.94	o 150
310.89/310.94	c * 311s|134795 | 53113 | 72585 |   0.5 | 186M|2293 |   - |5645 |9030 |5645 | 201 |  19k|  17k|1509 | 0.000000e+00 | 1.500000e+02 |    Inf 
311.09/311.16	o 133
311.09/311.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
311.09/311.16	c * 311s|134858 | 47409 | 72642 |   0.5 | 167M|2293 |   - |5645 |9017 |5645 | 191 |  20k|  17k|1509 | 0.000000e+00 | 1.330000e+02 |    Inf 
316.89/316.92	o 129
316.89/316.92	c * 317s|136238 | 46670 | 77478 |   0.6 | 169M|2293 |   - |5645 |8216 |5645 | 242 |  21k|  18k|1561 | 0.000000e+00 | 1.290000e+02 |    Inf 
316.89/316.93	o 128
316.89/316.93	c * 317s|136239 | 46275 | 77492 |   0.6 | 168M|2293 |   - |5645 |8216 |5645 | 242 |  21k|  18k|1561 | 0.000000e+00 | 1.280000e+02 |    Inf 
320.20/320.24	o 111
320.20/320.24	c * 320s|137151 | 40364 | 79064 |   0.6 | 149M|2293 |   - |5645 |8017 |5645 | 224 |  21k|  19k|1576 | 0.000000e+00 | 1.110000e+02 |    Inf 
320.20/320.26	o 99
320.20/320.26	c * 320s|137152 | 35260 | 79073 |   0.6 | 135M|2293 |   - |5645 |8017 |5645 | 224 |  21k|  19k|1576 | 0.000000e+00 | 9.900000e+01 |    Inf 
320.30/320.35	o 75
320.30/320.35	c * 320s|137162 | 23923 | 79160 |   0.6 | 101M|2293 |   - |5645 |7895 |5645 | 218 |  21k|  19k|1576 | 0.000000e+00 | 7.500000e+01 |    Inf 
326.99/327.01	o 73
326.99/327.01	c * 327s|138680 | 23649 | 84910 |   0.6 | 104M|2293 |   - |5645 |6810 |5645 | 222 |  23k|  20k|1650 | 0.000000e+00 | 7.300000e+01 |    Inf 
332.39/332.45	c   332s|140000 | 23927 | 89057 |   0.6 | 108M|2293 |   0 |5645 |6055 |5645 | 223 |  24k|  21k|1684 | 0.000000e+00 | 7.300000e+01 |    Inf 
342.00/342.06	o 68
342.00/342.06	c * 342s|142174 | 22387 | 97121 |   0.7 | 108M|2293 |   - |5645 |6087 |5645 | 199 |  27k|  24k|1762 | 0.000000e+00 | 6.800000e+01 |    Inf 
347.80/347.88	o 67
347.80/347.88	c * 348s|143770 | 21715 |101250 |   0.7 | 106M|2293 |   - |5645 |5820 |5645 | 215 |  28k|  25k|1821 | 0.000000e+00 | 6.700000e+01 |    Inf 
372.39/372.46	c   372s|150000 | 22584 |122444 |   0.8 | 123M|2293 |   6 |5645 |6412 |5645 | 229 |  34k|  33k|2034 | 0.000000e+00 | 6.700000e+01 |    Inf 
413.20/413.21	c   413s|160000 | 25456 |162346 |   1.0 | 154M|2293 |   0 |5645 |6434 |5645 | 212 |  46k|  43k|2300 | 0.000000e+00 | 6.700000e+01 |    Inf 
450.60/450.62	c   451s|170000 | 28522 |201084 |   1.2 | 185M|2293 |   - |5645 |8655 |   0 |   0 |  56k|  53k|2656 | 0.000000e+00 | 6.700000e+01 |    Inf 
488.70/488.74	c   489s|180000 | 30831 |239311 |   1.3 | 211M|2293 |   1 |5645 |7436 |5645 | 201 |  66k|  63k|2909 | 0.000000e+00 | 6.700000e+01 |    Inf 
526.91/526.97	c   527s|190000 | 33203 |274075 |   1.4 | 241M|2293 |   1 |5645 |8947 |5645 | 201 |  77k|  75k|3150 | 0.000000e+00 | 6.700000e+01 |    Inf 
555.20/555.24	o 66
555.20/555.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
555.20/555.24	c * 555s|197564 | 34535 |298483 |   1.5 | 261M|2293 |   - |5645 |  11k|5645 | 265 |  83k|  85k|3277 | 0.000000e+00 | 6.600000e+01 |    Inf 
564.81/564.87	c   565s|200000 | 35018 |305739 |   1.5 | 267M|2293 |   - |5645 |8997 |   0 |   0 |  85k|  88k|3295 | 0.000000e+00 | 6.600000e+01 |    Inf 
603.50/603.56	c   604s|210000 | 37577 |343477 |   1.6 | 297M|2293 |   0 |5645 |7782 |5645 | 235 |  95k|  99k|3507 | 0.000000e+00 | 6.600000e+01 |    Inf 
640.70/640.72	c   641s|220000 | 39984 |374031 |   1.7 | 325M|2293 |   5 |5645 |7857 |5645 | 200 | 103k| 110k|3669 | 0.000000e+00 | 6.600000e+01 |    Inf 
655.10/655.18	o 65
655.10/655.18	c * 655s|224058 | 39682 |384569 |   1.7 | 329M|2293 |   - |5645 |7984 |5645 | 208 | 106k| 114k|3716 | 0.000000e+00 | 6.500000e+01 |    Inf 
673.80/673.87	o 61
673.80/673.87	c * 674s|229296 | 38775 |398194 |   1.7 | 334M|2293 |   - |5645 |7436 |5645 | 210 | 110k| 120k|3784 | 0.000000e+00 | 6.100000e+01 |    Inf 
676.61/676.62	c   677s|230000 | 38949 |400208 |   1.7 | 335M|2293 |   0 |5645 |7535 |5645 | 223 | 110k| 121k|3790 | 0.000000e+00 | 6.100000e+01 |    Inf 
713.31/713.37	c   713s|240000 | 40226 |433488 |   1.8 | 355M|2293 |   - |5645 |7354 |   0 |   0 | 120k| 135k|3929 | 0.000000e+00 | 6.100000e+01 |    Inf 
746.92/746.95	c   747s|250000 | 41387 |462975 |   1.9 | 374M|2293 |   0 |5645 |8067 |5645 | 263 | 126k| 147k|4020 | 0.000000e+00 | 6.100000e+01 |    Inf 
780.21/780.22	c   780s|260000 | 42645 |491113 |   1.9 | 392M|2293 |   0 |5645 |8044 |5645 | 274 | 132k| 160k|4119 | 0.000000e+00 | 6.100000e+01 |    Inf 
813.92/813.92	c   814s|270000 | 43668 |526384 |   1.9 | 410M|2293 |   - |5645 |8363 |   0 |   0 | 140k| 173k|4258 | 0.000000e+00 | 6.100000e+01 |    Inf 
849.42/849.40	c   849s|280000 | 44991 |557896 |   2.0 | 432M|2293 |   4 |5645 |9756 |5645 | 228 | 148k| 186k|4386 | 0.000000e+00 | 6.100000e+01 |    Inf 
882.91/882.91	c   883s|290000 | 45710 |590879 |   2.0 | 445M|2293 |   - |5645 |9810 |   0 |   0 | 156k| 199k|4477 | 0.000000e+00 | 6.100000e+01 |    Inf 
920.92/920.92	c   921s|300000 | 46816 |624770 |   2.1 | 465M|2293 |   1 |5645 |  10k|5645 | 226 | 166k| 212k|4595 | 0.000000e+00 | 6.100000e+01 |    Inf 
957.51/957.56	c   958s|310000 | 48018 |655383 |   2.1 | 486M|2293 |   - |5645 |  11k|   0 |   0 | 173k| 227k|4703 | 0.000000e+00 | 6.100000e+01 |    Inf 
994.81/994.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
994.81/994.86	c   995s|320000 | 48936 |695789 |   2.2 | 507M|2293 |   6 |5645 |8818 |5645 | 235 | 183k| 239k|4848 | 0.000000e+00 | 6.100000e+01 |    Inf 
1031.02/1031.06	c  1031s|330000 | 49889 |729296 |   2.2 | 527M|2293 |   - |5645 |9406 |   0 |   0 | 191k| 252k|4947 | 0.000000e+00 | 6.100000e+01 |    Inf 
1066.02/1066.02	c  1066s|340000 | 51308 |759065 |   2.2 | 547M|2293 |   - |5645 |9572 |   0 |   0 | 198k| 264k|5065 | 0.000000e+00 | 6.100000e+01 |    Inf 
1078.22/1078.22	o 58
1078.22/1078.22	c *1078s|343276 | 50541 |770264 |   2.2 | 549M|2293 |   - |5645 |9940 |5645 | 212 | 201k| 269k|5110 | 0.000000e+00 | 5.800000e+01 |    Inf 
1106.02/1106.02	c  1106s|350000 | 51422 |798867 |   2.3 | 564M|2293 |   - |5645 |9192 |   0 |   0 | 209k| 280k|5180 | 0.000000e+00 | 5.800000e+01 |    Inf 
1126.92/1126.95	o 53
1126.92/1126.95	c *1127s|355470 | 49473 |818435 |   2.3 | 559M|2293 |   - |5645 |8994 |5645 | 215 | 215k| 290k|5229 | 0.000000e+00 | 5.300000e+01 |    Inf 
1131.62/1131.67	o 49
1131.62/1131.67	c *1132s|356737 | 47245 |823765 |   2.3 | 544M|2293 |   - |5645 |7786 |5645 | 228 | 216k| 292k|5239 | 0.000000e+00 | 4.900000e+01 |    Inf 
1142.82/1142.86	c  1143s|360000 | 47252 |836890 |   2.3 | 548M|2293 |   0 |5645 |8401 |5645 | 267 | 219k| 298k|5276 | 0.000000e+00 | 4.900000e+01 |    Inf 
1173.73/1173.79	c  1174s|370000 | 46844 |874506 |   2.4 | 555M|2293 |   - |5645 |7379 |   0 |   0 | 227k| 314k|5376 | 0.000000e+00 | 4.900000e+01 |    Inf 
1175.22/1175.29	o 46
1175.22/1175.29	c *1175s|370549 | 45109 |876241 |   2.4 | 541M|2293 |   - |5645 |7706 |5645 | 278 | 228k| 315k|5377 | 0.000000e+00 | 4.600000e+01 |    Inf 
1195.93/1195.92	o 44
1195.93/1195.92	c *1196s|377178 | 44167 |901570 |   2.4 | 541M|2293 |   - |5645 |6615 |5645 | 258 | 233k| 323k|5462 | 0.000000e+00 | 4.400000e+01 |    Inf 
1203.82/1203.81	c  1204s|380000 | 44216 |909584 |   2.4 | 542M|2293 |   - |5645 |7073 |   0 |   0 | 235k| 327k|5498 | 0.000000e+00 | 4.400000e+01 |    Inf 
1231.32/1231.32	c  1231s|390000 | 44261 |941920 |   2.4 | 548M|2293 |   1 |5645 |7079 |5645 | 229 | 240k| 339k|5595 | 0.000000e+00 | 4.400000e+01 |    Inf 
1256.73/1256.77	c  1257s|400000 | 44430 |966231 |   2.4 | 554M|2293 |   1 |5645 |9105 |5645 | 245 | 244k| 351k|5634 | 0.000000e+00 | 4.400000e+01 |    Inf 
1283.33/1283.33	c  1283s|410000 | 44616 |991982 |   2.4 | 560M|2293 |   - |5645 |9406 |   0 |   0 | 247k| 365k|5663 | 0.000000e+00 | 4.400000e+01 |    Inf 
1310.13/1310.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1310.13/1310.14	c  1310s|420000 | 44761 |  1021k|   2.4 | 563M|2293 |   - |5645 |9184 |   0 |   0 | 252k| 380k|5730 | 0.000000e+00 | 4.400000e+01 |    Inf 
1327.03/1327.01	o 40
1327.03/1327.01	c *1327s|426618 | 43304 |  1040k|   2.4 | 558M|2293 |   - |5645 |9805 |5645 | 275 | 255k| 390k|5766 | 0.000000e+00 | 4.000000e+01 |    Inf 
1335.34/1335.33	c  1335s|430000 | 43324 |  1048k|   2.4 | 559M|2293 |   1 |5645 |9012 |5645 | 272 | 256k| 395k|5777 | 0.000000e+00 | 4.000000e+01 |    Inf 
1335.53/1335.59	o 39
1335.53/1335.59	c *1336s|430115 | 43075 |  1048k|   2.4 | 557M|2293 |   - |5645 |8969 |5645 | 279 | 256k| 395k|5777 | 0.000000e+00 | 3.900000e+01 |    Inf 
1344.83/1344.89	o 35
1344.83/1344.89	c *1345s|433982 | 41336 |  1057k|   2.4 | 539M|2293 |   - |5645 |8522 |5645 | 288 | 258k| 401k|5783 | 0.000000e+00 | 3.500000e+01 |    Inf 
1360.02/1360.08	c  1360s|440000 | 41193 |  1080k|   2.5 | 539M|2293 |   3 |5645 |5508 |5645 | 240 | 261k| 410k|5861 | 0.000000e+00 | 3.500000e+01 |    Inf 
1376.23/1376.20	o 33
1376.23/1376.20	c *1376s|446097 | 39575 |  1101k|   2.5 | 522M|2293 |   - |5645 |6139 |5645 | 206 | 265k| 417k|5935 | 0.000000e+00 | 3.300000e+01 |    Inf 
1377.72/1377.73	o 26
1377.72/1377.73	c *1378s|446554 | 35842 |  1103k|   2.5 | 465M|2293 |   - |5645 |5232 |5645 | 279 | 265k| 418k|5944 | 0.000000e+00 | 2.600000e+01 |    Inf 
1385.43/1385.45	c  1385s|450000 | 35735 |  1117k|   2.5 | 465M|2293 |   8 |5645 |6972 |5645 | 249 | 268k| 423k|5983 | 0.000000e+00 | 2.600000e+01 |    Inf 
1388.33/1388.36	o 25
1388.33/1388.36	c *1388s|451317 | 35558 |  1122k|   2.5 | 462M|2293 |   - |5645 |7375 |5645 | 227 | 269k| 424k|5986 | 0.000000e+00 | 2.500000e+01 |    Inf 
1392.73/1392.74	o 22
1392.73/1392.74	c *1393s|453245 | 34557 |  1129k|   2.5 | 446M|2293 |   - |5645 |7499 |5645 | 231 | 270k| 427k|5999 | 0.000000e+00 | 2.200000e+01 |    Inf 
1392.83/1392.87	o 20
1392.83/1392.87	c *1393s|453292 | 34099 |  1130k|   2.5 | 439M|2293 |   - |5645 |7332 |5645 | 239 | 270k| 427k|6000 | 0.000000e+00 | 2.000000e+01 |    Inf 
1398.93/1398.94	o 19
1398.93/1398.94	c *1399s|456093 | 33179 |  1141k|   2.5 | 421M|2293 |   - |5645 |6688 |5645 | 236 | 272k| 430k|6017 | 0.000000e+00 | 1.900000e+01 |    Inf 
1407.53/1407.58	c  1408s|460000 | 33060 |  1159k|   2.5 | 421M|2293 |   1 |5645 |5559 |5645 | 209 | 274k| 436k|6067 | 0.000000e+00 | 1.900000e+01 |    Inf 
1429.73/1429.70	c  1430s|470000 | 32190 |  1205k|   2.6 | 421M|2293 |   - |5645 |8446 |   0 |   0 | 281k| 449k|6167 | 0.000000e+00 | 1.900000e+01 |    Inf 
1450.84/1450.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1450.84/1450.82	c  1451s|480000 | 32250 |  1239k|   2.6 | 422M|2293 |  11 |5645 |9496 |5645 | 244 | 287k| 462k|6221 | 0.000000e+00 | 1.900000e+01 |    Inf 
1472.13/1472.10	c  1472s|490000 | 32247 |  1272k|   2.6 | 424M|2293 |   - |5645 |  10k|   0 |   0 | 292k| 474k|6292 | 0.000000e+00 | 1.900000e+01 |    Inf 
1493.63/1493.70	c  1494s|500000 | 32223 |  1306k|   2.6 | 424M|2293 |   - |5645 |  11k|   0 |   0 | 296k| 488k|6346 | 0.000000e+00 | 1.900000e+01 |    Inf 
1517.13/1517.17	c  1517s|510000 | 32287 |  1349k|   2.6 | 427M|2293 |   - |5645 |  13k|   0 |   0 | 303k| 501k|6407 | 0.000000e+00 | 1.900000e+01 |    Inf 
1542.14/1542.13	c  1542s|520000 | 30893 |  1395k|   2.7 | 420M|2293 |   1 |5645 |8421 |5645 | 212 | 310k| 515k|6521 | 0.000000e+00 | 1.900000e+01 |    Inf 
1543.54/1543.50	o 18
1543.54/1543.50	c *1543s|520670 | 30508 |  1397k|   2.7 | 417M|2293 |   - |5645 |8936 |5645 | 232 | 311k| 516k|6526 | 0.000000e+00 | 1.800000e+01 |    Inf 
1562.73/1562.78	c  1563s|530000 | 30551 |  1428k|   2.7 | 419M|2293 |   1 |5645 |  10k|5645 | 221 | 315k| 527k|6582 | 0.000000e+00 | 1.800000e+01 |    Inf 
1571.73/1571.77	o 14
1571.73/1571.77	c *1572s|534210 | 28153 |  1443k|   2.7 | 379M|2293 |   - |5645 |9479 |5645 | 241 | 318k| 533k|6589 | 0.000000e+00 | 1.400000e+01 |    Inf 
1583.64/1583.68	c  1584s|540000 | 26481 |  1466k|   2.7 | 368M|2293 |  10 |5645 |7944 |5645 | 215 | 321k| 541k|6661 | 0.000000e+00 | 1.400000e+01 |    Inf 
1602.04/1602.09	c  1602s|550000 | 26501 |  1494k|   2.7 | 370M|2293 |   - |5645 |  10k|   0 |   0 | 325k| 554k|6687 | 0.000000e+00 | 1.400000e+01 |    Inf 
1621.84/1621.85	c  1622s|560000 | 26525 |  1523k|   2.7 | 372M|2293 |   - |5645 |  10k|   0 |   0 | 329k| 567k|6713 | 0.000000e+00 | 1.400000e+01 |    Inf 
1642.24/1642.22	c  1642s|570000 | 26589 |  1556k|   2.7 | 374M|2293 |  20 |5645 |  11k|5645 | 238 | 333k| 580k|6758 | 0.000000e+00 | 1.400000e+01 |    Inf 
1662.94/1662.91	c  1663s|580000 | 26669 |  1589k|   2.7 | 376M|2293 |   1 |5645 |  13k|5645 | 237 | 338k| 593k|6794 | 0.000000e+00 | 1.400000e+01 |    Inf 
1684.04/1684.01	c  1684s|590000 | 26675 |  1624k|   2.8 | 377M|2293 |   7 |5645 |  13k|5645 | 222 | 342k| 606k|6824 | 0.000000e+00 | 1.400000e+01 |    Inf 
1705.04/1705.01	c  1705s|600000 | 26627 |  1657k|   2.8 | 377M|2293 |   1 |5645 |  12k|5645 | 231 | 346k| 620k|6874 | 0.000000e+00 | 1.400000e+01 |    Inf 
1724.94/1724.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1724.94/1724.99	c  1725s|610000 | 26688 |  1690k|   2.8 | 379M|2293 |  13 |5645 |  15k|5645 | 244 | 350k| 633k|6894 | 0.000000e+00 | 1.400000e+01 |    Inf 
1745.84/1745.86	c  1746s|620000 | 26467 |  1724k|   2.8 | 376M|2293 |   - |5645 |  11k|   0 |   0 | 354k| 646k|6930 | 0.000000e+00 | 1.400000e+01 |    Inf 
1767.04/1767.00	c  1767s|630000 | 24460 |  1765k|   2.8 | 361M|2293 |   - |5645 |8762 |   0 |   0 | 360k| 660k|7217 | 0.000000e+00 | 1.400000e+01 |    Inf 
1786.04/1786.04	c  1786s|640000 | 24475 |  1797k|   2.8 | 363M|2293 |   - |5645 |  10k|   0 |   0 | 365k| 673k|7226 | 0.000000e+00 | 1.400000e+01 |    Inf 
1790.04/1790.00	c 
1790.04/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.00	c Solving Time (sec) : 1789.97
1790.04/1790.00	c Solving Nodes      : 642035
1790.04/1790.00	c Primal Bound       : +1.40000000000000e+01 (375 solutions)
1790.04/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.00	c Gap                : infinite
1790.04/1790.07	s SATISFIABLE
1790.04/1790.07	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.04/1790.07	v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.04/1790.07	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1790.04/1790.07	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.07	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 
1790.04/1790.07	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.04/1790.07	v -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 
1790.04/1790.07	v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1790.04/1790.07	v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 
1790.04/1790.07	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1790.04/1790.07	v -x1 
1790.04/1790.07	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.07	c Solving Time       :    1789.97
1790.04/1790.07	c Original Problem   :
1790.04/1790.07	c   Problem name     : HOME/instance-2705081-1278578336.wbo
1790.04/1790.07	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.04/1790.07	c   Constraints      : 5415 initial, 5415 maximal
1790.04/1790.07	c Presolved Problem  :
1790.04/1790.07	c   Problem name     : t_HOME/instance-2705081-1278578336.wbo
1790.04/1790.07	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.04/1790.07	c   Constraints      : 5414 initial, 15619 maximal
1790.04/1790.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.07	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1790.04/1790.07	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.07	c   root node        :          -       4736          -          -       4736          -          -          -          -
1790.04/1790.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.07	c   integral         :          0          0          0     511786          0          5        409          0          0     463884
1790.04/1790.07	c   linear           :       2707          6    3749765     278352          1     130987   13915266     366635          0          0
1790.04/1790.07	c   indicator        :       2707          0    3614128     279382          1       5525   29090868          0          0          0
1790.04/1790.07	c   logicor          :          0+         0    1067245          0          0      42937    1009043          0          0          0
1790.04/1790.07	c   bounddisjunction :          0+         0     426279          0          0        506      25419          0          0          0
1790.04/1790.07	c   countsols        :          0          0          0     196815          1          0          0          0          0          0
1790.04/1790.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.07	c   integral         :      11.57       0.00       0.00      11.57       0.00
1790.04/1790.07	c   linear           :     166.48       0.00     143.85      22.62       0.00
1790.04/1790.07	c   indicator        :     229.25       0.02     168.64      60.60       0.00
1790.04/1790.07	c   logicor          :      71.76       0.00      71.76       0.00       0.00
1790.04/1790.07	c   bounddisjunction :       6.80       0.00       6.80       0.00       0.00
1790.04/1790.07	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1790.04/1790.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.07	c   vbounds          :       1.68     235933         20      46711
1790.04/1790.07	c   rootredcost      :       0.59         52          0       2368
1790.04/1790.07	c   pseudoobj        :     216.06    3824926      73402   28679209
1790.04/1790.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.07	c   propagation      :      23.52     247832     247825    1543445       28.3       7890       24.8          -
1790.04/1790.07	c   infeasible LP    :       2.19       4203       4203      35167       38.5         37       18.7          0
1790.04/1790.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.07	c   pseudo solution  :       0.00          2          2          8       17.4          0        0.0          -
1790.04/1790.07	c   applied globally :          -          -          -     676342       23.8          -          -          -
1790.04/1790.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.07	c   cut pool         :       0.00          3          -          -          1          -    (maximal pool size: 73)
1790.04/1790.07	c   redcost          :      66.98     523394          0    1261215          0          0
1790.04/1790.07	c   impliedbounds    :       0.00          4          0          0          0          0
1790.04/1790.07	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.07	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.07	c   gomory           :       0.01          4          0          0        230          0
1790.04/1790.07	c   strongcg         :       0.01          4          0          0        215          0
1790.04/1790.07	c   cmir             :       0.01          4          0          0          0          0
1790.04/1790.07	c   flowcover        :       0.03          4          0          0          0          0
1790.04/1790.07	c   clique           :       0.00          1          0          0          0          0
1790.04/1790.07	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.07	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.07	c   rapidlearning    :       0.18          1          0          0          0          0
1790.04/1790.07	c Pricers            :       Time      Calls       Vars
1790.04/1790.07	c   problem variables:       0.00          0          0
1790.04/1790.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.07	c   relpscost        :      11.20     232317          5        409          0          0     463884
1790.04/1790.07	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.07	c   inference        :     117.90     196764          0          0          0          0     393912
1790.04/1790.07	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.07	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.07	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.07	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.07	c   LP solutions     :       0.35          -         52
1790.04/1790.07	c   pseudo solutions :       0.00          -          0
1790.04/1790.07	c   feaspump         :       0.01          0          0
1790.04/1790.07	c   intshifting      :       0.01          0          0
1790.04/1790.07	c   oneopt           :       0.40         47          0
1790.04/1790.07	c   guideddiving     :       0.43        181          0
1790.04/1790.07	c   coefdiving       :       0.43        230          0
1790.04/1790.07	c   pscostdiving     :       0.43        230          0
1790.04/1790.07	c   fracdiving       :       0.42        230          0
1790.04/1790.07	c   linesearchdiving :       0.43        230          0
1790.04/1790.07	c   veclendiving     :       0.42        231          0
1790.04/1790.07	c   crossover        :       3.26         81          7
1790.04/1790.07	c   rootsoldiving    :       0.45        228          0
1790.04/1790.07	c   objpscostdiving  :       0.45        229          0
1790.04/1790.07	c   trivial          :       0.07          2          2
1790.04/1790.07	c   simplerounding   :       0.51     233945          0
1790.04/1790.07	c   zirounding       :       0.40       1000          0
1790.04/1790.07	c   rounding         :       1.73       6773          0
1790.04/1790.07	c   shifting         :       1.04       2096          0
1790.04/1790.07	c   twoopt           :       0.00          0          0
1790.04/1790.07	c   fixandinfer      :       0.00          0          0
1790.04/1790.07	c   intdiving        :       0.00          0          0
1790.04/1790.07	c   actconsdiving    :       0.00          0          0
1790.04/1790.07	c   octane           :       0.00          0          0
1790.04/1790.07	c   rens             :       0.03          1          0
1790.04/1790.07	c   rins             :       0.00          0          0
1790.04/1790.07	c   localbranching   :       0.00          0          0
1790.04/1790.07	c   mutation         :       0.00          0          0
1790.04/1790.07	c   dins             :       0.00          0          0
1790.04/1790.07	c   undercover       :       0.00          0          0
1790.04/1790.07	c   nlp              :       0.11          0          0
1790.04/1790.07	c   trysol           :       0.71        848        314
1790.04/1790.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.07	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.07	c   dual LP          :     473.73     346837    1803506       5.20    3807.02
1790.04/1790.07	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.07	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.07	c   diving/probing LP:       0.11         56        720      12.86    6845.93
1790.04/1790.07	c   strong branching :       9.44       7226      64459       8.92    6828.08
1790.04/1790.07	c     (at root node) :          -         32       1047      32.72          -
1790.04/1790.07	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.07	c B&B Tree           :
1790.04/1790.07	c   number of runs   :          1
1790.04/1790.07	c   nodes            :     642035
1790.04/1790.07	c   nodes (total)    :     642035
1790.04/1790.07	c   nodes left       :      24473
1790.04/1790.07	c   max depth        :       2293
1790.04/1790.07	c   max depth (total):       2293
1790.04/1790.07	c   backtracks       :      57179 (8.9%)
1790.04/1790.07	c   delayed cutoffs  :      57911
1790.04/1790.07	c   repropagations   :    1383872 (14779590 domain reductions, 44293 cutoffs)
1790.04/1790.07	c   avg switch length:       6.64
1790.04/1790.07	c   switching time   :     181.65
1790.04/1790.07	c Solution           :
1790.04/1790.07	c   Solutions found  :        375 (53 improvements)
1790.04/1790.07	c   First Solution   : +1.36613000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.04/1790.07	c   Primal Bound     : +1.40000000000000e+01   (in run 1, after 534210 nodes, 1571.72 seconds, depth 96, found by <relaxation>)
1790.04/1790.07	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.07	c   Gap              :   infinite
1790.04/1790.07	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.07	c   Root Iterations  :        184
1790.34/1790.38	c Time complete: 1790.43.

Verifier Data 

OK	14

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705081-1278578336/watcher-2705081-1278578336 -o /tmp/evaluation-result-2705081-1278578336/solver-2705081-1278578336 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705081-1278578336.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.01 2.01 1.98 4/182 24081
/proc/meminfo: memFree=27990756/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=12512 CPUtime=0
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 1942 0 0 0 0 0 0 0 25 0 1 0 26046343 12812288 1862 4089446400 4194304 10345943 140734944849456 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24081/statm: 3128 1880 429 1502 0 1621 0

[startup+0.0666969 s]
/proc/loadavg: 2.01 2.01 1.98 4/182 24081
/proc/meminfo: memFree=27990756/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=38020 CPUtime=0.05
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 8448 0 0 0 5 0 0 0 25 0 1 0 26046343 38932480 8013 4089446400 4194304 10345943 140734944849456 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 9505 8013 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 38020

[startup+0.100687 s]
/proc/loadavg: 2.01 2.01 1.98 4/182 24081
/proc/meminfo: memFree=27990756/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=38020 CPUtime=0.09
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 8448 0 0 0 9 0 0 0 25 0 1 0 26046343 38932480 8013 4089446400 4194304 10345943 140734944849456 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 9505 8013 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38020

[startup+0.300651 s]
/proc/loadavg: 2.01 2.01 1.98 4/182 24081
/proc/meminfo: memFree=27990756/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=70104 CPUtime=0.29
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 16212 0 0 0 27 2 0 0 25 0 1 0 26046343 71786496 15777 4089446400 4194304 10345943 140734944849456 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 17526 15777 632 1502 0 16019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70104

[startup+0.700579 s]
/proc/loadavg: 2.01 2.01 1.98 4/182 24081
/proc/meminfo: memFree=27990756/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=65264 CPUtime=0.69
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 16892 0 0 0 67 2 0 0 25 0 1 0 26046343 66830336 15052 4089446400 4194304 10345943 140734944849456 18446744073709551615 6518592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/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.01 2.01 1.98 3/183 24082
/proc/meminfo: memFree=27932468/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=65264 CPUtime=1.49
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 16894 0 0 0 147 2 0 0 25 0 1 0 26046343 66830336 15054 4089446400 4194304 10345943 140734944849456 18446744073709551615 8160422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 16316 15054 753 1502 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10113 s]
/proc/loadavg: 2.01 2.01 1.98 3/183 24082
/proc/meminfo: memFree=27932220/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=65264 CPUtime=3.09
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 16898 0 0 0 307 2 0 0 25 0 1 0 26046343 66830336 15058 4089446400 4194304 10345943 140734944849456 18446744073709551615 5926636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 16316 15058 754 1502 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65264

[startup+6.30054 s]
/proc/loadavg: 2.09 2.03 1.98 3/183 24083
/proc/meminfo: memFree=27929556/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=67924 CPUtime=6.29
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 19619 0 0 0 626 3 0 0 25 0 1 0 26046343 69554176 15749 4089446400 4194304 10345943 140734944849456 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 16981 15749 754 1502 0 15474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67924

[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 1.98 3/183 24083
/proc/meminfo: memFree=27927920/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=67992 CPUtime=12.69
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 23260 0 0 0 1265 4 0 0 25 0 1 0 26046343 69623808 15594 4089446400 4194304 10345943 140734944849456 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24081/statm: 16998 15594 754 1502 0 15491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67992

[startup+25.501 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 24110
/proc/meminfo: memFree=28809836/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=89276 CPUtime=25.49
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 33875 0 0 0 2543 6 0 0 25 0 1 0 26046343 91418624 20974 4089446400 4194304 10345943 140734944849456 18446744073709551615 6777530 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24081/statm: 22319 20974 754 1502 0 20812 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89276

[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 1.98 3/183 24111
/proc/meminfo: memFree=28756196/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=124464 CPUtime=51.1
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 43980 0 0 0 5100 10 0 0 25 0 1 0 26046343 127451136 29529 4089446400 4194304 10345943 140734944849456 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24081/statm: 31116 29529 754 1502 0 29609 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 124464

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 24112
/proc/meminfo: memFree=28659268/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=166896 CPUtime=102.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 59300 0 0 0 10213 17 0 0 25 0 1 0 26046343 170901504 40359 4089446400 4194304 10345943 140734944849456 18446744073709551615 6866056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24081/statm: 41724 40359 762 1502 0 40217 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 166896

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 24114
/proc/meminfo: memFree=28503208/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=224908 CPUtime=162.29
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 75307 0 0 0 16206 23 0 0 25 0 1 0 26046343 230305792 54603 4089446400 4194304 10345943 140734944849456 18446744073709551615 6699691 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24081/statm: 56227 54603 762 1502 0 54720 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 224908

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 24115
/proc/meminfo: memFree=28341320/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=291156 CPUtime=222.29
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 161347 0 0 0 22189 40 0 0 25 0 1 0 26046343 298143744 71026 4089446400 4194304 10345943 140734944849456 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24081/statm: 72789 71026 762 1502 0 71282 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 291156

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/183 24117
/proc/meminfo: memFree=28245664/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=371544 CPUtime=282.29
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 215981 0 0 0 28174 55 0 0 25 0 1 0 26046343 380461056 90064 4089446400 4194304 10345943 140734944849456 18446744073709551615 4900814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 92886 90064 762 1502 0 91379 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 371544

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/183 24119
/proc/meminfo: memFree=28167232/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=446840 CPUtime=342.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 276542 0 0 0 34158 72 0 0 25 0 1 0 26046343 457564160 108030 4089446400 4194304 10345943 140734944849456 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 111710 108030 776 1502 0 110203 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 446840

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/183 24120
/proc/meminfo: memFree=28096248/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=522400 CPUtime=402.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 318685 0 0 0 40144 86 0 0 25 0 1 0 26046343 534937600 125912 4089446400 4194304 10345943 140734944849456 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 130600 125912 780 1502 0 129093 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 522400

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 24122
/proc/meminfo: memFree=28025260/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=591304 CPUtime=462.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 336716 0 0 0 46134 96 0 0 25 0 1 0 26046343 605495296 141994 4089446400 4194304 10345943 140734944849456 18446744073709551615 6119843 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 147826 141994 780 1502 0 146319 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 591304

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 24123
/proc/meminfo: memFree=27963716/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=660672 CPUtime=522.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 351695 0 0 0 52124 106 0 0 25 0 1 0 26046343 676528128 156973 4089446400 4194304 10345943 140734944849456 18446744073709551615 4786004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 165168 156973 780 1502 0 163661 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 660672

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24125
/proc/meminfo: memFree=27908124/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=722600 CPUtime=582.3
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 380865 0 0 0 58112 118 0 0 25 0 1 0 26046343 739942400 170441 4089446400 4194304 10345943 140734944849456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 180650 170441 780 1502 0 179143 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 722600

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24127
/proc/meminfo: memFree=27855512/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=779988 CPUtime=642.31
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 395379 0 0 0 64104 127 0 0 25 0 1 0 26046343 798707712 183042 4089446400 4194304 10345943 140734944849456 18446744073709551615 9107500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 194997 183042 780 1502 0 193490 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 779988

[startup+702.301 s]

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

/proc/meminfo: memFree=27630056/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1052896 CPUtime=1002.31
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 485872 0 0 0 100049 182 0 0 25 0 1 0 26046343 1078165504 238149 4089446400 4194304 10345943 140734944849456 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 263224 238149 781 1502 0 261717 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1052896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24138
/proc/meminfo: memFree=27597392/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1096104 CPUtime=1062.32
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 495752 0 0 0 106040 192 0 0 25 0 1 0 26046343 1122410496 246149 4089446400 4194304 10345943 140734944849456 18446744073709551615 4706214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 274026 246149 781 1502 0 272519 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1096104

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24139
/proc/meminfo: memFree=27565592/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1132688 CPUtime=1122.32
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 512647 0 0 0 112031 201 0 0 25 0 1 0 26046343 1159872512 254122 4089446400 4194304 10345943 140734944849456 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 283172 254122 781 1502 0 281665 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1132688

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24141
/proc/meminfo: memFree=27543720/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1160560 CPUtime=1182.32
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 546720 0 0 0 118017 215 0 0 25 0 1 0 26046343 1188413440 259891 4089446400 4194304 10345943 140734944849456 18446744073709551615 4706422 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 290140 259891 789 1502 0 288633 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1160560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24143
/proc/meminfo: memFree=27525816/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1180420 CPUtime=1242.32
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 573339 0 0 0 124005 227 0 0 25 0 1 0 26046343 1208750080 264108 4089446400 4194304 10345943 140734944849456 18446744073709551615 6067438 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 295105 264108 789 1502 0 293598 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1180420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24144
/proc/meminfo: memFree=27511884/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1194276 CPUtime=1302.33
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 578462 0 0 0 129999 234 0 0 25 0 1 0 26046343 1222938624 267351 4089446400 4194304 10345943 140734944849456 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 298569 267351 789 1502 0 297062 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1194276

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 24155
/proc/meminfo: memFree=27496628/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1208256 CPUtime=1362.33
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 615013 0 0 0 135986 247 0 0 25 0 1 0 26046343 1237254144 270466 4089446400 4194304 10345943 140734944849456 18446744073709551615 6702706 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 302064 270466 790 1502 0 300557 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1208256

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 24156
/proc/meminfo: memFree=27490252/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1212820 CPUtime=1422.34
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 663387 0 0 0 141970 264 0 0 25 0 1 0 26046343 1241927680 271577 4089446400 4194304 10345943 140734944849456 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 303205 271577 791 1502 0 301698 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1212820

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 24158
/proc/meminfo: memFree=27488464/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1215856 CPUtime=1482.33
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 671883 0 0 0 147957 276 0 0 25 0 1 0 26046343 1245036544 272172 4089446400 4194304 10345943 140734944849456 18446744073709551615 4231055 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 303964 272172 791 1502 0 302457 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1215856

[startup+1542.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 24160
/proc/meminfo: memFree=27485684/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1217260 CPUtime=1542.33
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 676310 0 0 0 153944 289 0 0 25 0 1 0 26046343 1246474240 272671 4089446400 4194304 10345943 140734944849456 18446744073709551615 5614603 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 304315 272671 791 1502 0 302808 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1217260

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 24161
/proc/meminfo: memFree=27481920/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1220292 CPUtime=1602.34
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 717156 0 0 0 159928 306 0 0 25 0 1 0 26046343 1249579008 273410 4089446400 4194304 10345943 140734944849456 18446744073709551615 6864944 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 305073 273410 791 1502 0 303566 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1220292

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24163
/proc/meminfo: memFree=27480640/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1222564 CPUtime=1662.34
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 719405 0 0 0 165915 319 0 0 25 0 1 0 26046343 1251905536 273802 4089446400 4194304 10345943 140734944849456 18446744073709551615 6003056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 305641 273802 791 1502 0 304134 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1222564

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 24164
/proc/meminfo: memFree=27479344/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1223256 CPUtime=1722.34
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 721396 0 0 0 171903 331 0 0 25 0 1 0 26046343 1252614144 274077 4089446400 4194304 10345943 140734944849456 18446744073709551615 7525764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 305814 274077 791 1502 0 304307 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1223256

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477316/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224160 CPUtime=1782.35
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725603 0 0 0 177891 344 0 0 25 0 1 0 26046343 1253539840 274423 4089446400 4194304 10345943 140734944849456 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 306040 274423 791 1502 0 304533 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1224160

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477316/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224372 CPUtime=1785.54
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725619 0 0 0 178210 344 0 0 25 0 1 0 26046343 1253756928 274439 4089446400 4194304 10345943 140734944849456 18446744073709551615 6119758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 306093 274439 791 1502 0 304586 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1224372

[startup+1788.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477192/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224372 CPUtime=1788.75
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725625 0 0 0 178530 345 0 0 25 0 1 0 26046343 1253756928 274445 4089446400 4194304 10345943 140734944849456 18446744073709551615 4705346 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 306093 274445 791 1502 0 304586 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1224372

[startup+1789.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477192/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224372 CPUtime=1789.54
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725625 0 0 0 178609 345 0 0 25 0 1 0 26046343 1253756928 274445 4089446400 4194304 10345943 140734944849456 18446744073709551615 5614312 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 306093 274445 791 1502 0 304586 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 1224372

[startup+1789.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477192/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224372 CPUtime=1789.94
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725626 0 0 0 178649 345 0 0 25 0 1 0 26046343 1253756928 274446 4089446400 4194304 10345943 140734944849456 18446744073709551615 8160644 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24081/statm: 306093 274446 791 1502 0 304586 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 1224372

[startup+1790.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24166
/proc/meminfo: memFree=27477192/32951124 swapFree=67111528/67111528
[pid=24081] ppid=24079 vsize=1224372 CPUtime=1790.34
/proc/24081/stat : 24081 (pbscip.linux.x8) R 24079 24081 23625 0 -1 4202496 725627 0 0 0 178689 345 0 0 25 0 1 0 26046343 1253756928 274447 4089446400 4194304 10345943 140734944849456 18446744073709551615 4221235 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24081/statm: 306093 274447 792 1502 0 304586 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1224372

Child status: 0
Real time (s): 1790.39
CPU time (s): 1790.44
CPU user time (s): 1786.94
CPU system time (s): 3.49747
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1230348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.94
system time used= 3.49747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725630
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= 3045

runsolver used 3.75343 second user time and 5.87011 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-08 10:38:56
IDJOB=2705081
IDBENCH=79292
IDSOLVER=1214
FILE ID=node135/2705081-1278578336
PBS_JOBID= 11240184
Free space on /tmp= 73744 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.1900552735--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-2705081-1278578336/watcher-2705081-1278578336 -o /tmp/evaluation-result-2705081-1278578336/solver-2705081-1278578336 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705081-1278578336.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 30e25559b2b6f1151f21e207b2f87b54
RANDOM SEED=1888268753

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27991408 kB
Buffers:        142992 kB
Cached:        3635724 kB
SwapCached:          0 kB
Active:        2939532 kB
Inactive:      1860960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27991408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12824 kB
Writeback:           0 kB
AnonPages:     1021356 kB
Mapped:          17388 kB
Slab:            95376 kB
PageTables:       6664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1170544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73732 MiB
End job on node135 at 2010-07-08 11:08:47