Trace number 2692945

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MD5SUMe639daae290163b8abe4f9e3cf3dc11c
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 benchmark513.52
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692945-1277925360.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 136842
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.368420e+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, 2707 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, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) 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  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
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.2
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 = 1799.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 # 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 # 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.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.368420e+05 |    Inf 
7.59/7.64	o 461
7.59/7.64	c * 7.3s|  3337 |  3272 |  7507 |   2.2 |  34M|2466 |   - |5645 |5414 |5645 | 260 |2652 |   0 | 832 | 0.000000e+00 | 4.610000e+02 |    Inf 
11.29/11.32	o 437
11.29/11.32	c *10.8s|  5699 |  5591 |  8397 |   1.4 |  39M|2466 |   - |5645 |5494 |5645 | 252 |2985 |  80 | 883 | 0.000000e+00 | 4.370000e+02 |    Inf 
11.89/11.93	o 380
11.89/11.93	c *11.4s|  6013 |  5689 |  8640 |   1.4 |  40M|2466 |   - |5645 |5538 |5645 | 271 |3071 | 124 | 883 | 0.000000e+00 | 3.800000e+02 |    Inf 
12.19/12.26	o 352
12.19/12.26	c *11.8s|  6250 |  5658 |  8698 |   1.4 |  40M|2466 |   - |5645 |5548 |5645 | 267 |3088 | 134 | 883 | 0.000000e+00 | 3.520000e+02 |    Inf 
16.39/16.46	o 289
16.39/16.46	c *15.8s|  8162 |  6211 | 10945 |   1.3 |  43M|2466 |   - |5645 |6197 |5645 | 236 |3860 | 783 | 938 | 0.000000e+00 | 2.890000e+02 |    Inf 
16.50/16.54	o 279
16.50/16.54	c *15.9s|  8175 |  6040 | 11081 |   1.3 |  42M|2466 |   - |5645 |6226 |5645 | 227 |3870 | 812 | 940 | 0.000000e+00 | 2.790000e+02 |    Inf 
16.60/16.66	o 261
16.60/16.66	c *16.1s|  8218 |  5747 | 11154 |   1.3 |  42M|2466 |   - |5645 |6275 |5645 | 241 |3893 | 861 | 940 | 0.000000e+00 | 2.610000e+02 |    Inf 
16.99/17.08	o 204
16.99/17.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.99/17.08	c *16.4s|  8417 |  4732 | 11334 |   1.3 |  39M|2466 |   - |5645 |6399 |5645 | 235 |3927 | 985 | 941 | 0.000000e+00 | 2.040000e+02 |    Inf 
17.19/17.24	o 196
17.19/17.24	c *16.6s|  8458 |  4582 | 11486 |   1.3 |  39M|2466 |   - |5645 |6422 |5645 | 215 |3977 |1008 | 949 | 0.000000e+00 | 1.960000e+02 |    Inf 
17.39/17.41	o 180
17.39/17.41	c *16.8s|  8515 |  4272 | 11659 |   1.3 |  38M|2466 |   - |5645 |6430 |5645 | 241 |4039 |1016 | 952 | 0.000000e+00 | 1.800000e+02 |    Inf 
20.49/20.58	o 178
20.49/20.58	c *19.9s|  9458 |  4899 | 15287 |   1.6 |  42M|2466 |   - |5645 |7136 |5645 | 247 |5251 |1722 |1113 | 0.000000e+00 | 1.780000e+02 |    Inf 
22.29/22.30	c  21.5s| 10000 |  5324 | 17114 |   1.7 |  45M|2466 |   0 |5645 |7428 |5645 | 226 |5855 |2014 |1182 | 0.000000e+00 | 1.780000e+02 |    Inf 
23.39/23.49	o 171
23.39/23.49	c *22.7s| 10459 |  5418 | 18024 |   1.7 |  46M|2466 |   - |5645 |7617 |5645 | 201 |6157 |2203 |1217 | 0.000000e+00 | 1.710000e+02 |    Inf 
23.50/23.57	o 168
23.50/23.57	c *22.7s| 10468 |  5298 | 18185 |   1.7 |  47M|2466 |   - |5645 |7617 |5645 | 218 |6205 |2203 |1227 | 0.000000e+00 | 1.680000e+02 |    Inf 
28.89/28.93	o 165
28.89/28.93	c *27.9s| 12297 |  6504 | 22339 |   1.8 |  55M|2466 |   - |5645 |8615 |5645 | 214 |7640 |3340 |1321 | 0.000000e+00 | 1.650000e+02 |    Inf 
29.09/29.11	o 163
29.09/29.11	c *28.1s| 12368 |  6468 | 22472 |   1.8 |  54M|2466 |   - |5645 |8621 |5645 | 223 |7690 |3348 |1321 | 0.000000e+00 | 1.630000e+02 |    Inf 
29.59/29.69	o 155
29.59/29.69	c *28.7s| 12693 |  6333 | 22830 |   1.8 |  54M|2466 |   - |5645 |8641 |5645 | 229 |7821 |3381 |1326 | 0.000000e+00 | 1.550000e+02 |    Inf 
29.79/29.84	o 149
29.79/29.84	c *28.8s| 12745 |  6022 | 22982 |   1.8 |  53M|2466 |   - |5645 |8640 |5645 | 219 |7869 |3386 |1331 | 0.000000e+00 | 1.490000e+02 |    Inf 
31.69/31.75	o 146
31.69/31.75	c *30.7s| 13460 |  6339 | 24430 |   1.8 |  55M|2466 |   - |5645 |8864 |5645 | 240 |8393 |3811 |1368 | 0.000000e+00 | 1.460000e+02 |    Inf 
34.39/34.45	o 142
34.39/34.45	c *33.3s| 14362 |  6815 | 26958 |   1.9 |  59M|2466 |   - |5645 |8966 |5645 | 211 |9217 |4251 |1415 | 0.000000e+00 | 1.420000e+02 |    Inf 
36.69/36.76	o 131
36.69/36.76	c *35.6s| 15065 |  6644 | 29077 |   1.9 |  59M|2466 |   - |5645 |8704 |5645 | 245 |9926 |4740 |1423 | 0.000000e+00 | 1.310000e+02 |    Inf 
39.29/39.33	o 130
39.29/39.33	c *38.1s| 15760 |  7007 | 32414 |   2.0 |  63M|2466 |   - |5645 |7893 |5645 | 198 |  10k|5300 |1440 | 0.000000e+00 | 1.300000e+02 |    Inf 
41.60/41.60	o 129
41.60/41.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.60/41.60	c *40.3s| 16375 |  7252 | 35404 |   2.2 |  65M|2466 |   - |5645 |7445 |5645 | 229 |  11k|5785 |1484 | 0.000000e+00 | 1.290000e+02 |    Inf 
42.49/42.53	o 108
42.49/42.53	c *41.2s| 16822 |  6395 | 36038 |   2.1 |  60M|2466 |   - |5645 |7286 |5645 | 215 |  11k|5905 |1486 | 0.000000e+00 | 1.080000e+02 |    Inf 
42.49/42.54	o 96
42.49/42.54	c *41.2s| 16823 |  5817 | 36038 |   2.1 |  57M|2466 |   - |5645 |7286 |5645 | 215 |  11k|5905 |1486 | 0.000000e+00 | 9.600000e+01 |    Inf 
52.19/52.25	o 95
52.19/52.25	c *50.6s| 19351 |  6367 | 49099 |   2.5 |  64M|2466 |   - |5645 |6903 |5645 | 222 |  15k|8609 |1564 | 0.000000e+00 | 9.500000e+01 |    Inf 
54.69/54.76	c  53.0s| 20000 |  6710 | 51889 |   2.6 |  66M|2466 |   0 |5645 |6860 |5645 | 241 |  16k|9173 |1569 | 0.000000e+00 | 9.500000e+01 |    Inf 
75.49/75.50	o 75
75.49/75.50	c *73.2s| 25808 |  8187 | 81187 |   3.1 |  85M|2466 |   - |5645 |7759 |5645 | 257 |  25k|  14k|1652 | 0.000000e+00 | 7.500000e+01 |    Inf 
91.99/92.02	c  89.3s| 30000 |  9381 |105840 |   3.5 |  97M|2466 |   - |5645 |6532 |5645 | 280 |  32k|  19k|1834 | 0.000000e+00 | 7.500000e+01 |    Inf 
128.70/128.73	c   125s| 40000 | 11977 |163500 |   4.1 | 126M|2466 |   1 |5645 |7284 |5645 | 252 |  51k|  29k|2240 | 0.000000e+00 | 7.500000e+01 |    Inf 
163.10/163.19	c   158s| 50000 | 15024 |208533 |   4.2 | 153M|2466 |   0 |5645 |7301 |5645 | 278 |  63k|  39k|2517 | 0.000000e+00 | 7.500000e+01 |    Inf 
197.59/197.62	c   192s| 60000 | 17571 |250170 |   4.2 | 179M|2466 |   - |5645 |7755 |   0 |   0 |  73k|  50k|2779 | 0.000000e+00 | 7.500000e+01 |    Inf 
230.09/230.10	c   223s| 70000 | 19074 |291414 |   4.2 | 199M|2466 |   - |5645 |8164 |   0 |   0 |  83k|  61k|2983 | 0.000000e+00 | 7.500000e+01 |    Inf 
263.09/263.19	c   255s| 80000 | 21686 |331357 |   4.1 | 221M|2466 |   0 |5645 |8032 |5645 | 227 |  94k|  72k|3163 | 0.000000e+00 | 7.500000e+01 |    Inf 
296.80/296.85	c   288s| 90000 | 24413 |370889 |   4.1 | 246M|2466 |   - |5645 |7533 |   0 |   0 | 105k|  82k|3322 | 0.000000e+00 | 7.500000e+01 |    Inf 
330.60/330.68	c   321s|100000 | 26675 |413290 |   4.1 | 271M|2466 |   0 |5645 |7607 |5645 | 239 | 116k|  93k|3510 | 0.000000e+00 | 7.500000e+01 |    Inf 
348.20/348.26	o 67
348.20/348.26	c * 338s|105003 | 26292 |434360 |   4.1 | 277M|2466 |   - |5645 |7687 |5645 | 245 | 122k|  98k|3592 | 0.000000e+00 | 6.700000e+01 |    Inf 
365.10/365.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
365.10/365.17	c   354s|110000 | 27087 |453339 |   4.1 | 285M|2466 |   0 |5645 |6808 |5645 | 267 | 127k| 104k|3655 | 0.000000e+00 | 6.700000e+01 |    Inf 
382.10/382.18	o 61
382.10/382.18	c * 371s|115373 | 26666 |472708 |   4.1 | 290M|2466 |   - |5645 |7408 |5645 | 288 | 131k| 110k|3753 | 0.000000e+00 | 6.100000e+01 |    Inf 
382.21/382.23	o 44
382.21/382.23	c * 371s|115379 | 22804 |472710 |   4.1 | 261M|2466 |   - |5645 |7172 |5645 | 289 | 131k| 110k|3753 | 0.000000e+00 | 4.400000e+01 |    Inf 
395.50/395.54	c   384s|120000 | 22847 |493660 |   4.1 | 264M|2466 |   1 |5645 |6608 |5645 | 287 | 136k| 116k|3823 | 0.000000e+00 | 4.400000e+01 |    Inf 
422.51/422.53	c   410s|130000 | 23054 |532813 |   4.1 | 272M|2466 |   - |5645 |8547 |   0 |   0 | 145k| 130k|3981 | 0.000000e+00 | 4.400000e+01 |    Inf 
423.70/423.70	o 39
423.70/423.70	c * 411s|130442 | 21816 |534093 |   4.1 | 261M|2466 |   - |5645 |8736 |5645 | 246 | 145k| 130k|3988 | 0.000000e+00 | 3.900000e+01 |    Inf 
434.70/434.73	o 38
434.70/434.73	c * 421s|134767 | 21649 |548797 |   4.1 | 260M|2466 |   - |5645 |6888 |5645 | 274 | 148k| 136k|4058 | 0.000000e+00 | 3.800000e+01 |    Inf 
448.50/448.56	c   435s|140000 | 21495 |571704 |   4.1 | 263M|2466 |   - |5645 |6967 |   0 |   0 | 152k| 143k|4132 | 0.000000e+00 | 3.800000e+01 |    Inf 
453.01/453.09	o 35
453.01/453.09	c * 439s|141997 | 19829 |576307 |   4.1 | 251M|2466 |   - |5645 |7852 |5645 | 266 | 153k| 146k|4156 | 0.000000e+00 | 3.500000e+01 |    Inf 
464.70/464.71	o 31
464.70/464.71	c * 450s|146857 | 18791 |593726 |   4.0 | 242M|2466 |   - |5645 |7351 |5645 | 241 | 156k| 153k|4205 | 0.000000e+00 | 3.100000e+01 |    Inf 
471.70/471.75	c   457s|150000 | 18794 |603661 |   4.0 | 243M|2466 |   4 |5645 |6505 |5645 | 226 | 158k| 157k|4249 | 0.000000e+00 | 3.100000e+01 |    Inf 
481.20/481.28	o 30
481.20/481.28	c * 466s|153974 | 18359 |620094 |   4.0 | 237M|2466 |   - |5645 |6232 |5645 | 233 | 162k| 163k|4303 | 0.000000e+00 | 3.000000e+01 |    Inf 
488.31/488.39	o 28
488.31/488.39	c * 473s|157168 | 17985 |631758 |   4.0 | 228M|2466 |   - |5645 |6894 |5645 | 259 | 163k| 167k|4326 | 0.000000e+00 | 2.800000e+01 |    Inf 
495.11/495.11	c   480s|160000 | 17995 |643834 |   4.0 | 229M|2466 |   4 |5645 |6342 |5645 | 218 | 166k| 171k|4371 | 0.000000e+00 | 2.800000e+01 |    Inf 
503.20/503.27	o 26
503.20/503.27	c * 487s|163825 | 17761 |657023 |   4.0 | 226M|2466 |   - |5645 |7844 |5645 | 262 | 167k| 176k|4403 | 0.000000e+00 | 2.600000e+01 |    Inf 
510.61/510.66	o 24
510.61/510.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
510.61/510.66	c * 494s|167184 | 17215 |668303 |   4.0 | 215M|2466 |   - |5645 |7463 |5645 | 213 | 169k| 181k|4445 | 0.000000e+00 | 2.400000e+01 |    Inf 
511.11/511.14	o 12
511.11/511.14	c * 495s|167374 | 15073 |668925 |   4.0 | 174M|2466 |   - |5645 |7366 |5645 | 232 | 169k| 181k|4450 | 0.000000e+00 | 1.200000e+01 |    Inf 
516.50/516.58	c   500s|170000 | 14697 |681263 |   4.0 | 172M|2466 |   1 |5645 |5523 |5645 | 246 | 171k| 185k|4519 | 0.000000e+00 | 1.200000e+01 |    Inf 
524.40/524.44	o 8
524.40/524.44	c * 508s|174355 | 13293 |697408 |   4.0 | 153M|2466 |   - |5645 |6782 |5645 | 246 | 173k| 190k|4540 | 0.000000e+00 | 8.000000e+00 |    Inf 
534.90/534.99	c   518s|180000 | 12825 |722418 |   4.0 | 151M|2466 |   - |5645 |6553 |   0 |   0 | 178k| 198k|4619 | 0.000000e+00 | 8.000000e+00 |    Inf 
544.61/544.62	o 5
544.61/544.62	c * 527s|185048 | 10941 |745757 |   4.0 | 136M|2466 |   - |5645 |7419 |5645 | 229 | 181k| 204k|4696 | 0.000000e+00 | 5.000000e+00 |    Inf 
554.52/554.56	c   536s|190000 | 10957 |777345 |   4.1 | 138M|2466 |  10 |5645 |9853 |5645 | 262 | 185k| 211k|4766 | 0.000000e+00 | 5.000000e+00 |    Inf 
573.91/573.92	c   555s|200000 | 10833 |825768 |   4.1 | 138M|2466 |   - |5645 |  10k|5645 | 247 | 191k| 224k|4929 | 0.000000e+00 | 5.000000e+00 |    Inf 
593.31/593.34	c   574s|210000 | 10433 |875902 |   4.2 | 137M|2466 |   1 |5645 |  11k|5645 | 247 | 198k| 238k|5043 | 0.000000e+00 | 5.000000e+00 |    Inf 
612.40/612.49	c   592s|220000 | 10467 |915478 |   4.2 | 139M|2466 |   - |5645 |  13k|   0 |   0 | 205k| 250k|5146 | 0.000000e+00 | 5.000000e+00 |    Inf 
622.61/622.68	o 3
622.61/622.68	c * 602s|225365 | 10248 |935728 |   4.2 | 136M|2466 |   - |5645 |  15k|5645 | 234 | 208k| 257k|5202 | 0.000000e+00 | 3.000000e+00 |    Inf 
631.51/631.51	c   610s|230000 | 10359 |953670 |   4.1 | 137M|2466 |   1 |5645 |  14k|5645 | 231 | 211k| 263k|5221 | 0.000000e+00 | 3.000000e+00 |    Inf 
650.51/650.58	c   629s|240000 | 10370 |992218 |   4.1 | 139M|2466 |   - |5645 |  15k|5645 | 264 | 215k| 277k|5319 | 0.000000e+00 | 3.000000e+00 |    Inf 
669.51/669.54	c   647s|250000 | 10391 |  1028k|   4.1 | 140M|2466 |   - |5645 |  16k|   0 |   0 | 221k| 290k|5392 | 0.000000e+00 | 3.000000e+00 |    Inf 
689.01/689.09	c   666s|260000 | 10515 |  1063k|   4.1 | 143M|2466 |   - |5645 |  20k|   0 |   0 | 226k| 303k|5472 | 0.000000e+00 | 3.000000e+00 |    Inf 
709.71/709.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
709.71/709.75	c   685s|270000 | 10613 |  1101k|   4.1 | 145M|2466 |   - |5645 |  21k|   0 |   0 | 230k| 317k|5519 | 0.000000e+00 | 3.000000e+00 |    Inf 
731.11/731.11	c   706s|280000 | 10591 |  1141k|   4.1 | 147M|2466 |   - |5645 |  24k|   0 |   0 | 234k| 331k|5594 | 0.000000e+00 | 3.000000e+00 |    Inf 
753.01/753.06	c   727s|290000 | 10490 |  1179k|   4.1 | 145M|2466 |   - |5645 |  18k|   0 |   0 | 239k| 344k|5656 | 0.000000e+00 | 3.000000e+00 |    Inf 
759.71/759.76	o 2
759.71/759.76	c * 734s|293257 | 10074 |  1191k|   4.1 | 141M|2466 |   - |5645 |  18k|5645 | 244 | 241k| 348k|5683 | 0.000000e+00 | 2.000000e+00 |    Inf 
772.82/772.87	c   746s|300000 |  9907 |  1217k|   4.1 | 140M|2466 |  12 |5645 |  15k|5645 | 203 | 244k| 357k|5719 | 0.000000e+00 | 2.000000e+00 |    Inf 
792.31/792.30	c   765s|310000 | 10091 |  1256k|   4.1 | 142M|2466 |   - |5645 |  17k|   0 |   0 | 250k| 371k|5796 | 0.000000e+00 | 2.000000e+00 |    Inf 
812.51/812.53	c   784s|320000 | 10107 |  1295k|   4.0 | 144M|2466 |   1 |5645 |  19k|5645 | 238 | 255k| 385k|5844 | 0.000000e+00 | 2.000000e+00 |    Inf 
833.92/833.99	c   805s|330000 | 10256 |  1338k|   4.1 | 146M|2466 |   - |5645 |  20k|   0 |   0 | 261k| 398k|5946 | 0.000000e+00 | 2.000000e+00 |    Inf 
856.41/856.44	c   827s|340000 | 10464 |  1380k|   4.1 | 148M|2466 |  11 |5645 |  22k|5645 | 252 | 268k| 411k|6008 | 0.000000e+00 | 2.000000e+00 |    Inf 
878.52/878.58	c   848s|350000 | 10531 |  1420k|   4.1 | 150M|2466 |  13 |5645 |  22k|5645 | 240 | 273k| 425k|6067 | 0.000000e+00 | 2.000000e+00 |    Inf 
900.82/900.84	c   870s|360000 | 10594 |  1463k|   4.1 | 152M|2466 |   9 |5645 |  25k|5645 | 237 | 278k| 439k|6146 | 0.000000e+00 | 2.000000e+00 |    Inf 
923.82/923.87	c   892s|370000 | 10739 |  1503k|   4.1 | 154M|2466 |   - |5645 |  27k|   0 |   0 | 284k| 453k|6207 | 0.000000e+00 | 2.000000e+00 |    Inf 
935.42/935.44	o 1
935.42/935.44	c * 903s|374928 | 10188 |  1522k|   4.1 | 148M|2466 |   - |5645 |  28k|5645 | 260 | 285k| 460k|6246 | 0.000000e+00 | 1.000000e-00 |    Inf 
947.82/947.83	c   915s|380000 | 10210 |  1541k|   4.1 | 149M|2466 |   - |5645 |  30k|5645 | 267 | 287k| 467k|6251 | 0.000000e+00 | 1.000000e-00 |    Inf 
972.11/972.19	c   939s|390000 | 10173 |  1580k|   4.1 | 148M|2466 |   - |5645 |  24k|   0 |   0 | 291k| 481k|6319 | 0.000000e+00 | 1.000000e-00 |    Inf 
995.02/995.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
995.02/995.07	c   961s|400000 | 10121 |  1618k|   4.0 | 147M|2466 |   - |5645 |  22k|5645 | 258 | 295k| 495k|6374 | 0.000000e+00 | 1.000000e-00 |    Inf 
1015.92/1015.90	c   981s|410000 | 10115 |  1655k|   4.0 | 148M|2466 |   1 |5645 |  22k|5645 | 252 | 299k| 509k|6415 | 0.000000e+00 | 1.000000e-00 |    Inf 
1036.12/1036.16	c  1001s|420000 | 10098 |  1692k|   4.0 | 147M|2466 |   1 |5645 |  20k|5645 | 250 | 302k| 523k|6458 | 0.000000e+00 | 1.000000e-00 |    Inf 
1056.62/1056.65	c  1021s|430000 | 10150 |  1724k|   4.0 | 149M|2466 |   1 |5645 |  24k|5645 | 234 | 306k| 537k|6503 | 0.000000e+00 | 1.000000e-00 |    Inf 
1079.72/1079.78	c  1043s|440000 | 10200 |  1762k|   4.0 | 151M|2466 |   - |5645 |  25k|   0 |   0 | 309k| 551k|6564 | 0.000000e+00 | 1.000000e-00 |    Inf 
1103.03/1103.04	c  1066s|450000 | 10209 |  1803k|   4.0 | 151M|2466 |   1 |5645 |  24k|5645 | 233 | 314k| 566k|6609 | 0.000000e+00 | 1.000000e-00 |    Inf 
1125.33/1125.31	c  1087s|460000 | 10213 |  1844k|   4.0 | 152M|2466 |   1 |5645 |  25k|5645 | 238 | 318k| 580k|6654 | 0.000000e+00 | 1.000000e-00 |    Inf 
1147.22/1147.20	c  1108s|470000 | 10263 |  1881k|   4.0 | 152M|2466 |   - |5645 |  23k|   0 |   0 | 322k| 594k|6705 | 0.000000e+00 | 1.000000e-00 |    Inf 
1169.03/1169.07	c  1130s|480000 | 10295 |  1918k|   4.0 | 153M|2466 |   - |5645 |  24k|   0 |   0 | 325k| 609k|6758 | 0.000000e+00 | 1.000000e-00 |    Inf 
1191.13/1191.16	c  1151s|490000 | 10323 |  1955k|   4.0 | 153M|2466 |   1 |5645 |  25k|5645 | 238 | 329k| 624k|6801 | 0.000000e+00 | 1.000000e-00 |    Inf 
1212.82/1212.84	c  1172s|500000 | 10411 |  1993k|   4.0 | 156M|2466 |   1 |5645 |  27k|5645 | 252 | 332k| 638k|6827 | 0.000000e+00 | 1.000000e-00 |    Inf 
1235.12/1235.11	c  1194s|510000 | 10480 |  2031k|   4.0 | 157M|2466 |   1 |5645 |  26k|5645 | 238 | 335k| 653k|6870 | 0.000000e+00 | 1.000000e-00 |    Inf 
1260.13/1260.16	c  1218s|520000 | 10669 |  2074k|   4.0 | 159M|2466 |  34 |5645 |  27k|5645 | 280 | 339k| 667k|6924 | 0.000000e+00 | 1.000000e-00 |    Inf 
1284.94/1284.96	c  1242s|530000 | 10775 |  2117k|   4.0 | 161M|2466 |  19 |5645 |  28k|5645 | 247 | 343k| 681k|6979 | 0.000000e+00 | 1.000000e-00 |    Inf 
1309.83/1309.83	c  1266s|540000 | 10819 |  2159k|   4.0 | 163M|2466 |  20 |5645 |  28k|5645 | 256 | 347k| 696k|7018 | 0.000000e+00 | 1.000000e-00 |    Inf 
1335.03/1335.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1335.03/1335.01	c  1291s|550000 | 10875 |  2199k|   4.0 | 165M|2466 |   - |5645 |  30k|   0 |   0 | 350k| 711k|7060 | 0.000000e+00 | 1.000000e-00 |    Inf 
1360.43/1360.49	c  1316s|560000 | 10899 |  2240k|   4.0 | 166M|2466 |   1 |5645 |  29k|5645 | 238 | 354k| 725k|7100 | 0.000000e+00 | 1.000000e-00 |    Inf 
1385.93/1385.96	c  1341s|570000 | 10862 |  2282k|   4.0 | 166M|2466 |   - |5645 |  28k|   0 |   0 | 357k| 740k|7149 | 0.000000e+00 | 1.000000e-00 |    Inf 
1409.93/1409.92	c  1364s|580000 | 10987 |  2316k|   4.0 | 168M|2466 |   1 |5645 |  30k|5645 | 248 | 360k| 755k|7183 | 0.000000e+00 | 1.000000e-00 |    Inf 
1433.94/1433.97	c  1388s|590000 | 10912 |  2355k|   4.0 | 166M|2466 |  16 |5645 |  25k|5645 | 251 | 363k| 770k|7245 | 0.000000e+00 | 1.000000e-00 |    Inf 
1456.13/1456.11	c  1409s|600000 | 10960 |  2394k|   4.0 | 166M|2466 |   - |5645 |  25k|   0 |   0 | 367k| 783k|7323 | 0.000000e+00 | 1.000000e-00 |    Inf 
1479.33/1479.36	c  1432s|610000 | 11002 |  2432k|   4.0 | 168M|2466 |   1 |5645 |  27k|5645 | 261 | 370k| 797k|7360 | 0.000000e+00 | 1.000000e-00 |    Inf 
1503.43/1503.43	c  1455s|620000 | 11030 |  2470k|   4.0 | 168M|2466 |   - |5645 |  27k|5645 | 265 | 373k| 811k|7396 | 0.000000e+00 | 1.000000e-00 |    Inf 
1525.13/1525.15	c  1476s|630000 | 10999 |  2502k|   4.0 | 168M|2466 |   1 |5645 |  27k|5645 | 238 | 376k| 825k|7428 | 0.000000e+00 | 1.000000e-00 |    Inf 
1548.44/1548.48	c  1499s|640000 | 10935 |  2537k|   4.0 | 167M|2466 |   - |5645 |  25k|   0 |   0 | 380k| 840k|7479 | 0.000000e+00 | 1.000000e-00 |    Inf 
1571.23/1571.23	c  1521s|650000 | 11015 |  2573k|   4.0 | 169M|2466 |   1 |5645 |  28k|5645 | 235 | 384k| 853k|7516 | 0.000000e+00 | 1.000000e-00 |    Inf 
1596.04/1596.07	c  1545s|660000 | 11032 |  2607k|   4.0 | 170M|2466 |   - |5645 |  27k|   0 |   0 | 387k| 868k|7558 | 0.000000e+00 | 1.000000e-00 |    Inf 
1620.34/1620.36	c  1569s|670000 | 10976 |  2644k|   3.9 | 168M|2466 |   - |5645 |  26k|   0 |   0 | 391k| 882k|7604 | 0.000000e+00 | 1.000000e-00 |    Inf 
1642.24/1642.26	c  1590s|680000 | 10798 |  2681k|   3.9 | 164M|2466 |   1 |5645 |  20k|5645 | 249 | 395k| 896k|7644 | 0.000000e+00 | 1.000000e-00 |    Inf 
1663.94/1663.98	c  1612s|690000 | 10824 |  2716k|   3.9 | 165M|2466 |   1 |5645 |  24k|5645 | 235 | 399k| 910k|7675 | 0.000000e+00 | 1.000000e-00 |    Inf 
1687.24/1687.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.24/1687.23	c  1634s|700000 | 10518 |  2753k|   3.9 | 159M|2466 |   - |5645 |  20k|   0 |   0 | 403k| 924k|7713 | 0.000000e+00 | 1.000000e-00 |    Inf 
1708.35/1708.37	c  1655s|710000 | 10578 |  2789k|   3.9 | 159M|2466 |  18 |5645 |  21k|5645 | 238 | 407k| 938k|7748 | 0.000000e+00 | 1.000000e-00 |    Inf 
1729.74/1729.78	c  1676s|720000 | 10501 |  2819k|   3.9 | 159M|2466 |   - |5645 |  21k|   0 |   0 | 410k| 952k|7787 | 0.000000e+00 | 1.000000e-00 |    Inf 
1749.94/1749.94	c  1695s|730000 | 10276 |  2854k|   3.9 | 155M|2466 |   3 |5645 |  19k|5645 | 223 | 414k| 966k|7836 | 0.000000e+00 | 1.000000e-00 |    Inf 
1770.05/1770.06	c  1715s|740000 | 10054 |  2887k|   3.9 | 151M|2466 |   - |5645 |  17k|   0 |   0 | 418k| 980k|7877 | 0.000000e+00 | 1.000000e-00 |    Inf 
1790.24/1790.23	c  1734s|750000 |  9877 |  2923k|   3.9 | 148M|2466 |   - |5645 |  17k|   0 |   0 | 422k| 994k|7907 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1743.91
1800.05/1800.01	c Solving Nodes      : 754875
1800.05/1800.01	c Primal Bound       : +1.00000000000000e-00 (428 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.09	s SATISFIABLE
1800.05/1800.09	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.05/1800.09	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.09	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x168 
1800.05/1800.09	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.09	v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.05/1800.09	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.09	v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 
1800.05/1800.09	v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.05/1800.09	v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 
1800.05/1800.09	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 
1800.05/1800.09	v -x1 
1800.05/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.09	c Solving Time       :    1743.91
1800.05/1800.09	c Original Problem   :
1800.05/1800.09	c   Problem name     : HOME/instance-2692945-1277925360.wbo
1800.05/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.09	c Presolved Problem  :
1800.05/1800.09	c   Problem name     : t_HOME/instance-2692945-1277925360.wbo
1800.05/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09	c   Constraints      : 5414 initial, 31694 maximal
1800.05/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   linear           :       0.01          0          0          0       2707          0          1          0          0
1800.05/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.05/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.09	c   integral         :          0          0          0     491980          0         13        533          0          0     768188
1800.05/1800.09	c   indicator        :       2707          0    2128796      90791          0       1095   15518863          0          0          0
1800.05/1800.09	c   linear           :       2707          6    4213595     107303          0     284760   17862807     423743          0          0
1800.05/1800.09	c   logicor          :          0+         0    1379819          0          0      55434    1582849          0          0          0
1800.05/1800.09	c   bounddisjunction :          0+         0      24280          0          0          0        302          0          0          0
1800.05/1800.09	c   countsols        :          0          0          0      46081          0          0          0          0          0          0
1800.05/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.09	c   integral         :      13.99       0.00       0.00      13.99       0.00
1800.05/1800.09	c   indicator        :      48.50       0.00      34.81      13.69       0.00
1800.05/1800.09	c   linear           :     208.15       0.00     198.46       9.69       0.00
1800.05/1800.09	c   logicor          :     227.28       0.00     227.28       0.00       0.00
1800.05/1800.09	c   bounddisjunction :       0.06       0.00       0.06       0.00       0.00
1800.05/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.09	c   vbounds          :       0.02          2          0          0
1800.05/1800.09	c   rootredcost      :       0.02         43          0       2707
1800.05/1800.09	c   pseudoobj        :     218.97    4242718      27841   10277181
1800.05/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.09	c   propagation      :      24.74     368035     367722    2248111       29.9      28402       13.2          -
1800.05/1800.09	c   infeasible LP    :       5.13      14290      14290     111731       44.3        199       17.0          0
1800.05/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.09	c   pseudo solution  :       0.16        708        708       2527       11.6        471        5.8          -
1800.05/1800.09	c   applied globally :          -          -          -    1001981       23.8          -          -          -
1800.05/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.09	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.05/1800.09	c   redcost          :      43.45     501674          0    5105459          0          0
1800.05/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.09	c   gomory           :       0.00          4          0          0         75          0
1800.05/1800.09	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.09	c   cmir             :       0.01          4          0          0          1          0
1800.05/1800.09	c   flowcover        :       0.02          4          0          0          2          0
1800.05/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.09	c Pricers            :       Time      Calls       Vars
1800.05/1800.09	c   problem variables:       0.00          0          0
1800.05/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.09	c   relpscost        :      13.84     384563         13        533          0          0     768188
1800.05/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   inference        :       9.38      46038          0          0          0          0      92076
1800.05/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.09	c   LP solutions     :       0.10          -         43
1800.05/1800.09	c   pseudo solutions :       0.00          -          0
1800.05/1800.09	c   feaspump         :       0.01          0          0
1800.05/1800.09	c   intshifting      :       0.00          3          0
1800.05/1800.09	c   oneopt           :       0.29         42          0
1800.05/1800.09	c   guideddiving     :       0.07         24          0
1800.05/1800.09	c   linesearchdiving :       0.07         63          0
1800.05/1800.09	c   fracdiving       :       0.11         63          0
1800.05/1800.09	c   veclendiving     :       0.06         63          0
1800.05/1800.09	c   coefdiving       :       0.08         64          0
1800.05/1800.09	c   pscostdiving     :       0.20         64          0
1800.05/1800.09	c   objpscostdiving  :       0.03         58          0
1800.05/1800.09	c   rootsoldiving    :       0.10         58          0
1800.05/1800.09	c   crossover        :       1.96         65          0
1800.05/1800.09	c   trivial          :       0.08          2          2
1800.05/1800.09	c   simplerounding   :       0.60     387157          0
1800.05/1800.09	c   zirounding       :       0.26       1000          0
1800.05/1800.09	c   rounding         :       3.55       8754          0
1800.05/1800.09	c   shifting         :       1.77       2691          0
1800.05/1800.09	c   twoopt           :       0.00          0          0
1800.05/1800.09	c   fixandinfer      :       0.00          0          0
1800.05/1800.09	c   intdiving        :       0.00          0          0
1800.05/1800.09	c   actconsdiving    :       0.00          0          0
1800.05/1800.09	c   octane           :       0.00          0          0
1800.05/1800.09	c   rens             :       0.03          1          0
1800.05/1800.09	c   rins             :       0.00          0          0
1800.05/1800.09	c   localbranching   :       0.00          0          0
1800.05/1800.09	c   mutation         :       0.00          0          0
1800.05/1800.09	c   dins             :       0.00          0          0
1800.05/1800.09	c   undercover       :       0.00          0          0
1800.05/1800.09	c   nlp              :       0.01          0          0
1800.05/1800.09	c   trysol           :       2.11       5287        383
1800.05/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.09	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.09	c   dual LP          :     476.68     473156    2941068       6.22    6169.90
1800.05/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.09	c   diving/probing LP:       0.15         72       1143      15.88    7620.00
1800.05/1800.09	c   strong branching :      10.66       7925      86126      10.87    8079.36
1800.05/1800.09	c     (at root node) :          -         33       1884      57.09          -
1800.05/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.09	c B&B Tree           :
1800.05/1800.09	c   number of runs   :          1
1800.05/1800.09	c   nodes            :     754875
1800.05/1800.09	c   nodes (total)    :     754875
1800.05/1800.09	c   nodes left       :       9868
1800.05/1800.09	c   max depth        :       2466
1800.05/1800.09	c   max depth (total):       2466
1800.05/1800.09	c   backtracks       :      73628 (9.8%)
1800.05/1800.09	c   delayed cutoffs  :      67307
1800.05/1800.09	c   repropagations   :    1965070 (7329329 domain reductions, 59398 cutoffs)
1800.05/1800.09	c   avg switch length:       6.79
1800.05/1800.09	c   switching time   :     249.42
1800.05/1800.09	c Solution           :
1800.05/1800.09	c   Solutions found  :        428 (44 improvements)
1800.05/1800.09	c   First Solution   : +1.36842000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.09	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 374928 nodes, 903.25 seconds, depth 56, found by <relaxation>)
1800.05/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.09	c   Gap              :   infinite
1800.05/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.09	c   Root Iterations  :        183
1800.24/1800.27	c Time complete: 1800.31.

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.96 1.97 3/178 15873
/proc/meminfo: memFree=31241888/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=11112 CPUtime=0
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1700 0 0 0 0 0 0 0 21 0 1 0 133831432 11378688 1621 4089446400 4194304 9819077 140734405986464 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15873/statm: 2778 1621 392 1374 0 1399 0

[startup+0.105873 s]
/proc/loadavg: 1.91 1.96 1.97 3/178 15873
/proc/meminfo: memFree=31241888/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=36400 CPUtime=0.09
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 8122 0 0 0 9 0 0 0 21 0 1 0 133831432 37273600 7689 4089446400 4194304 9819077 140734405986464 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.20085 s]
/proc/loadavg: 1.91 1.96 1.97 3/178 15873
/proc/meminfo: memFree=31241888/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=39092 CPUtime=0.19
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 9327 0 0 0 17 2 0 0 21 0 1 0 133831432 40030208 8380 4089446400 4194304 9819077 140734405986464 18446744073709551615 4902812 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 9773 8380 520 1374 0 8394 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39092

[startup+0.300836 s]
/proc/loadavg: 1.91 1.96 1.97 3/178 15873
/proc/meminfo: memFree=31241888/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=53380 CPUtime=0.29
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 12773 0 0 0 27 2 0 0 21 0 1 0 133831432 54661120 11741 4089446400 4194304 9819077 140734405986464 18446744073709551615 6181114 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 13345 11742 673 1374 0 11966 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53380

[startup+0.700756 s]
/proc/loadavg: 1.91 1.96 1.97 3/178 15873
/proc/meminfo: memFree=31241888/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=45888 CPUtime=0.69
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 27912 0 0 0 62 7 0 0 22 0 1 0 133831432 46989312 9943 4089446400 4194304 9819077 140734405986464 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 11773 9949 697 1374 0 10394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45888

[startup+1.50061 s]
/proc/loadavg: 1.91 1.96 1.97 3/179 15875
/proc/meminfo: memFree=31203440/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=49136 CPUtime=1.49
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 42453 0 0 0 138 11 0 0 25 0 1 0 133831432 50315264 10381 4089446400 4194304 9819077 140734405986464 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 12284 10381 699 1374 0 10905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49136

[startup+3.10033 s]
/proc/loadavg: 1.91 1.96 1.97 3/179 15875
/proc/meminfo: memFree=31201332/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=52820 CPUtime=3.09
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 69429 0 0 0 291 18 0 0 25 0 1 0 133831432 54087680 11268 4089446400 4194304 9819077 140734405986464 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 13205 11272 700 1374 0 11826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52820

[startup+6.30076 s]
/proc/loadavg: 1.92 1.96 1.97 3/179 15875
/proc/meminfo: memFree=31193604/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=59172 CPUtime=6.29
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 95588 0 0 0 601 28 0 0 25 0 1 0 133831432 60592128 13133 4089446400 4194304 9819077 140734405986464 18446744073709551615 6361161 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 14793 13133 700 1374 0 13414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59172

[startup+12.7006 s]
/proc/loadavg: 1.93 1.96 1.97 3/179 15875
/proc/meminfo: memFree=31181328/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=71124 CPUtime=12.69
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 125465 0 0 0 1222 47 0 0 25 0 1 0 133831432 72830976 16185 4089446400 4194304 9819077 140734405986464 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 17781 16185 704 1374 0 16402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71124

[startup+25.5003 s]
/proc/loadavg: 1.94 1.96 1.97 3/179 15876
/proc/meminfo: memFree=31158300/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=94984 CPUtime=25.49
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 196569 0 0 0 2462 87 0 0 25 0 1 0 133831432 97263616 21904 4089446400 4194304 9819077 140734405986464 18446744073709551615 6590517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 23746 21904 705 1374 0 22367 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94984

[startup+51.1007 s]
/proc/loadavg: 1.96 1.97 1.97 3/179 15876
/proc/meminfo: memFree=31104596/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=151320 CPUtime=51.09
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 299526 0 0 0 4952 157 0 0 25 0 1 0 133831432 154951680 35452 4089446400 4194304 9819077 140734405986464 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 37830 35452 705 1374 0 36451 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151320

[startup+102.3 s]
/proc/loadavg: 1.98 1.97 1.97 3/179 15878
/proc/meminfo: memFree=31004868/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=257468 CPUtime=102.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 449891 0 0 0 9930 300 0 0 25 0 1 0 133831432 263647232 60057 4089446400 4194304 9819077 140734405986464 18446744073709551615 4651558 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 64367 60057 715 1374 0 62988 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 257468

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/179 15879
/proc/meminfo: memFree=30924240/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=348940 CPUtime=162.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 596101 0 0 0 15750 480 0 0 25 0 1 0 133831432 357314560 80430 4089446400 4194304 9819077 140734405986464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 87235 80430 715 1374 0 85856 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 348940

[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.97 3/179 15880
/proc/meminfo: memFree=30842616/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=440812 CPUtime=222.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 724849 0 0 0 21574 656 0 0 25 0 1 0 133831432 451391488 100531 4089446400 4194304 9819077 140734405986464 18446744073709551615 4925539 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 110203 100531 715 1374 0 108824 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 440812

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.97 3/179 15882
/proc/meminfo: memFree=30786032/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=506856 CPUtime=282.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 835991 0 0 0 27394 836 0 0 25 0 1 0 133831432 519020544 114737 4089446400 4194304 9819077 140734405986464 18446744073709551615 6581318 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 126714 114737 716 1374 0 125335 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 506856

[startup+342.301 s]
/proc/loadavg: 2.04 1.99 1.98 3/179 15884
/proc/meminfo: memFree=30733044/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=568136 CPUtime=342.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 942578 0 0 0 33226 1004 0 0 25 0 1 0 133831432 581771264 127766 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 142034 127766 716 1374 0 140655 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 568136

[startup+402.3 s]
/proc/loadavg: 2.01 1.99 1.98 4/179 15886
/proc/meminfo: memFree=30697176/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=610920 CPUtime=402.31
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1086194 0 0 0 39029 1202 0 0 25 0 1 0 133831432 625582080 136855 4089446400 4194304 9819077 140734405986464 18446744073709551615 6584155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 152730 136855 716 1374 0 151351 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 610920

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15887
/proc/meminfo: memFree=30680624/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=630708 CPUtime=462.3
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1255306 0 0 0 44806 1424 0 0 25 0 1 0 133831432 645844992 140792 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 157677 140792 717 1374 0 156298 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 630708

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15888
/proc/meminfo: memFree=30670788/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=643752 CPUtime=522.31
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1452051 0 0 0 50562 1669 0 0 25 0 1 0 133831432 659202048 143198 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 160938 143198 717 1374 0 159559 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 643752

[startup+582.301 s]
/proc/loadavg: 2.05 2.00 1.98 3/179 15890
/proc/meminfo: memFree=30669260/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=645476 CPUtime=582.31
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1641140 0 0 0 56305 1926 0 0 25 0 1 0 133831432 660967424 143609 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 161369 143609 725 1374 0 159990 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 645476

[startup+642.301 s]
/proc/loadavg: 2.02 2.00 1.98 3/179 15892
/proc/meminfo: memFree=30667092/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=646972 CPUtime=642.31
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 1765326 0 0 0 62066 2165 0 0 25 0 1 0 133831432 662499328 144018 4089446400 4194304 9819077 140734405986464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 161743 144018 725 1374 0 160364 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 646972

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.99 3/197 15948
/proc/meminfo: memFree=30460480/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=658116 CPUtime=942.32
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2334993 0 0 0 90995 3237 0 0 25 0 1 0 133831432 673910784 146758 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 164529 146758 725 1374 0 163150 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 658116

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/197 15950
/proc/meminfo: memFree=30418560/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=658400 CPUtime=1002.32
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2446552 0 0 0 96813 3419 0 0 25 0 1 0 133831432 674201600 146833 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 164600 146833 725 1374 0 163221 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 658400

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 15951
/proc/meminfo: memFree=30384056/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=658680 CPUtime=1062.32
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2553287 0 0 0 102627 3605 0 0 25 0 1 0 133831432 674488320 146906 4089446400 4194304 9819077 140734405986464 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 164670 146906 725 1374 0 163291 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 658680

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 15952
/proc/meminfo: memFree=30350264/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=659752 CPUtime=1122.32
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2646630 0 0 0 108442 3790 0 0 25 0 1 0 133831432 675586048 147170 4089446400 4194304 9819077 140734405986464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 164938 147170 725 1374 0 163559 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 659752

[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 2.00 3/197 15954
/proc/meminfo: memFree=30309164/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=660200 CPUtime=1182.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2746905 0 0 0 114249 3984 0 0 25 0 1 0 133831432 676044800 147271 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 165050 147271 725 1374 0 163671 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 660200

[startup+1242.3 s]
/proc/loadavg: 2.18 2.09 2.02 3/197 15956
/proc/meminfo: memFree=30270908/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=661692 CPUtime=1242.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2850152 0 0 0 120069 4164 0 0 25 0 1 0 133831432 677572608 147664 4089446400 4194304 9819077 140734405986464 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 165423 147664 725 1374 0 164044 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 661692

[startup+1302.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/197 15958
/proc/meminfo: memFree=30230188/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=667556 CPUtime=1302.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 2943409 0 0 0 125895 4338 0 0 25 0 1 0 133831432 683577344 149106 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 166889 149106 725 1374 0 165510 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 667556

[startup+1362.3 s]
/proc/loadavg: 2.23 2.14 2.04 3/197 15959
/proc/meminfo: memFree=30191340/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=672368 CPUtime=1362.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3032397 0 0 0 131755 4478 0 0 25 0 1 0 133831432 688504832 150312 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 168092 150312 725 1374 0 166713 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 672368

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.03 3/197 15960
/proc/meminfo: memFree=30153352/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=675100 CPUtime=1422.34
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3123542 0 0 0 137619 4615 0 0 25 0 1 0 133831432 691302400 150983 4089446400 4194304 9819077 140734405986464 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 168775 150983 725 1374 0 167396 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 675100

[startup+1482.3 s]
/proc/loadavg: 2.03 2.09 2.03 3/197 15962
/proc/meminfo: memFree=30116848/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=675392 CPUtime=1482.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3210765 0 0 0 143454 4779 0 0 25 0 1 0 133831432 691601408 151096 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 168848 151096 725 1374 0 167469 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 675392

[startup+1542.31 s]
/proc/loadavg: 2.01 2.07 2.02 3/197 15964
/proc/meminfo: memFree=30086428/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=675816 CPUtime=1542.34
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3281447 0 0 0 149294 4940 0 0 25 0 1 0 133831432 692035584 151174 4089446400 4194304 9819077 140734405986464 18446744073709551615 6670063 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 168954 151174 725 1374 0 167575 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 675816

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/197 15966
/proc/meminfo: memFree=30069900/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677308 CPUtime=1602.33
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3347648 0 0 0 155140 5093 0 0 25 0 1 0 133831432 693563392 151558 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 169327 151558 739 1374 0 167948 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 677308

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 15967
/proc/meminfo: memFree=30038220/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677592 CPUtime=1662.34
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3394245 0 0 0 160997 5237 0 0 25 0 1 0 133831432 693854208 151675 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 169398 151675 741 1374 0 168019 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 677592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/197 15968
/proc/meminfo: memFree=30004692/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677584 CPUtime=1722.34
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3444314 0 0 0 166841 5393 0 0 25 0 1 0 133831432 693846016 151682 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 169396 151682 741 1374 0 168017 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 677584

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/197 15970
/proc/meminfo: memFree=29977472/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677768 CPUtime=1782.34
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3502507 0 0 0 172677 5557 0 0 25 0 1 0 133831432 694034432 151685 4089446400 4194304 9819077 140734405986464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 169442 151685 741 1374 0 168063 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 677768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 3/197 15970
/proc/meminfo: memFree=29965432/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677772 CPUtime=1800.05
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3527663 0 0 0 174394 5611 0 0 25 0 1 0 133831432 694038528 151683 4089446400 4194304 9819077 140734405986464 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15873/statm: 169443 151683 741 1374 0 168064 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 677772

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

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

[startup+1800.11 s]
/proc/loadavg: 2.03 2.03 2.00 3/197 15970
/proc/meminfo: memFree=29965432/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=677772 CPUtime=1800.15
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3527673 0 0 0 174404 5611 0 0 25 0 1 0 133831432 694038528 151684 4089446400 4194304 9819077 140734405986464 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15873/statm: 169443 151684 742 1374 0 168064 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 677772

[startup+1800.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/197 15970
/proc/meminfo: memFree=29965432/32951124 swapFree=67111528/67111528
[pid=15873] ppid=15871 vsize=675724 CPUtime=1800.24
/proc/15873/stat : 15873 (pbscip.linux.x8) R 15871 15873 13645 0 -1 4202496 3527673 0 0 0 174413 5611 0 0 25 0 1 0 133831432 691941376 151172 4089446400 4194304 9819077 140734405986464 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15873/statm: 168931 151172 742 1374 0 167552 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 675724

Child status: 0
Real time (s): 1800.27
CPU time (s): 1800.32
CPU user time (s): 1744.19
CPU system time (s): 56.1365
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 679016

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

runsolver used 3.12952 second user time and 6.23305 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 21:16:00
IDJOB=2692945
IDBENCH=79259
IDSOLVER=1205
FILE ID=node137/2692945-1277925360
PBS_JOBID= 11197298
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c
RANDOM SEED=1541038593

node137.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.876
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.75
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.876
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.75
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.876
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.74
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.876
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.876
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.876
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.876
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.74
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.876
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:     32951124 kB
MemFree:      31242540 kB
Buffers:        212140 kB
Cached:        1266236 kB
SwapCached:          0 kB
Active:         635444 kB
Inactive:       928368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31242540 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       85376 kB
Mapped:          15444 kB
Slab:            80676 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   229720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node137 at 2010-06-30 21:46:02