Trace number 2692941

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.24

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo
MD5SUM917ecf2b03be28c1e7bdced93c48bfdc
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 benchmark29.4515
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 687
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-2692941-1277925107.wbo>
0.01/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.09/0.14	o 136613
0.09/0.14	c feasible solution found by trivial heuristic, objective value  1.366130e+05
0.09/0.14	c presolving:
0.09/0.15	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.16	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.19/0.21	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (3 rounds):
0.19/0.21	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21	c  2707 implications, 0 cliques
0.19/0.21	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.21	c    2707 constraints of type <indicator>
0.19/0.21	c    2707 constraints of type <linear>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.15
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.97
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.22	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.22	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.19/0.23	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.46	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.366130e+05 |    Inf 
18.39/18.45	c  18.1s| 10000 | 10001 |  6350 |   0.6 |  47M|2175 |   0 |5645 |5414 |5645 | 237 |2135 |   0 | 812 | 0.000000e+00 | 1.366130e+05 |    Inf 
23.69/23.74	o 349
23.69/23.74	c *23.4s| 13844 | 11651 |  6595 |   0.5 |  51M|2567 |   - |5645 |5414 |5645 | 247 |2205 |   0 | 825 | 0.000000e+00 | 3.490000e+02 |    Inf 
27.50/27.57	o 332
27.50/27.57	c *27.2s| 15790 | 12991 |  8124 |   0.5 |  55M|2567 |   - |5645 |5509 |5645 | 245 |2598 |  95 | 879 | 0.000000e+00 | 3.320000e+02 |    Inf 
29.59/29.62	o 331
29.59/29.62	c *29.2s| 16623 | 13723 |  9126 |   0.5 |  57M|2567 |   - |5645 |5736 |5645 | 235 |2867 | 322 | 925 | 0.000000e+00 | 3.310000e+02 |    Inf 
34.00/34.02	o 329
34.00/34.02	c *33.5s| 18069 | 14822 | 12323 |   0.7 |  62M|2567 |   - |5645 |6527 |5645 | 222 |3769 |1113 |1008 | 0.000000e+00 | 3.290000e+02 |    Inf 
39.09/39.13	o 308
39.09/39.13	c *38.5s| 19811 | 15021 | 17292 |   0.9 |  66M|2567 |   - |5645 |7354 |5645 | 222 |4998 |1940 |1119 | 0.000000e+00 | 3.080000e+02 |    Inf 
39.60/39.66	c  39.1s| 20000 | 15173 | 17598 |   0.9 |  66M|2567 |   0 |5645 |7496 |5645 | 260 |5060 |2082 |1129 | 0.000000e+00 | 3.080000e+02 |    Inf 
41.89/41.97	o 302
41.89/41.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.89/41.97	c *41.3s| 21061 | 15632 | 18566 |   0.9 |  69M|2567 |   - |5645 |7779 |5645 | 252 |5345 |2369 |1152 | 0.000000e+00 | 3.020000e+02 |    Inf 
41.89/41.98	o 295
41.89/41.98	c *41.4s| 21062 | 15090 | 18566 |   0.9 |  68M|2567 |   - |5645 |7779 |5645 | 252 |5345 |2369 |1152 | 0.000000e+00 | 2.950000e+02 |    Inf 
43.09/43.14	o 286
43.09/43.14	c *42.5s| 21371 | 14661 | 20113 |   0.9 |  67M|2567 |   - |5645 |7988 |5645 | 218 |5729 |2578 |1177 | 0.000000e+00 | 2.860000e+02 |    Inf 
46.39/46.47	o 247
46.39/46.47	c *45.8s| 22480 | 13119 | 23389 |   1.0 |  62M|2567 |   - |5645 |8536 |5645 | 233 |6535 |3128 |1191 | 0.000000e+00 | 2.470000e+02 |    Inf 
46.39/46.48	o 225
46.39/46.48	c *45.8s| 22481 | 11668 | 23389 |   1.0 |  58M|2567 |   - |5645 |8536 |5645 | 233 |6535 |3128 |1191 | 0.000000e+00 | 2.250000e+02 |    Inf 
51.99/52.01	o 215
51.99/52.01	c *51.2s| 24092 | 12243 | 28547 |   1.2 |  62M|2567 |   - |5645 |9728 |5645 | 228 |8119 |4438 |1242 | 0.000000e+00 | 2.150000e+02 |    Inf 
52.29/52.39	o 198
52.29/52.39	c *51.6s| 24202 | 11285 | 29004 |   1.2 |  59M|2567 |   - |5645 |9764 |5645 | 251 |8252 |4495 |1251 | 0.000000e+00 | 1.980000e+02 |    Inf 
52.39/52.40	o 184
52.39/52.40	c *51.6s| 24203 | 10396 | 29004 |   1.2 |  57M|2567 |   - |5645 |9764 |5645 | 251 |8252 |4495 |1251 | 0.000000e+00 | 1.840000e+02 |    Inf 
54.79/54.81	o 178
54.79/54.81	c *54.0s| 24908 | 10553 | 31478 |   1.3 |  58M|2567 |   - |5645 |9998 |5645 | 240 |8955 |4940 |1289 | 0.000000e+00 | 1.780000e+02 |    Inf 
59.30/59.38	o 173
59.30/59.38	c *58.5s| 26125 | 11040 | 36222 |   1.4 |  63M|2567 |   - |5645 |  10k|5645 | 241 |  10k|5840 |1368 | 0.000000e+00 | 1.730000e+02 |    Inf 
61.09/61.13	o 151
61.09/61.13	c *60.2s| 26928 | 10030 | 36946 |   1.4 |  60M|2567 |   - |5645 |  10k|5645 | 257 |  10k|6080 |1371 | 0.000000e+00 | 1.510000e+02 |    Inf 
61.20/61.27	o 139
61.20/61.27	c *60.3s| 26977 |  9226 | 37008 |   1.4 |  58M|2567 |   - |5645 |  10k|5645 | 257 |  10k|6087 |1371 | 0.000000e+00 | 1.390000e+02 |    Inf 
61.30/61.33	o 131
61.30/61.33	c *60.4s| 27003 |  8743 | 37012 |   1.4 |  56M|2567 |   - |5645 |  10k|5645 | 257 |  10k|6087 |1371 | 0.000000e+00 | 1.310000e+02 |    Inf 
64.90/64.99	o 128
64.90/64.99	c *64.0s| 28032 |  9191 | 39408 |   1.4 |  60M|2567 |   - |5645 |  10k|5645 | 232 |  11k|7356 |1403 | 0.000000e+00 | 1.280000e+02 |    Inf 
64.90/64.99	o 126
64.90/64.99	c *64.0s| 28033 |  9049 | 39410 |   1.4 |  59M|2567 |   - |5645 |  10k|5645 | 232 |  11k|7356 |1403 | 0.000000e+00 | 1.260000e+02 |    Inf 
65.00/65.09	o 118
65.00/65.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.00/65.09	c *64.1s| 28050 |  8504 | 39625 |   1.4 |  58M|2567 |   - |5645 |  10k|5645 | 241 |  11k|7356 |1406 | 0.000000e+00 | 1.180000e+02 |    Inf 
65.69/65.75	o 95
65.69/65.75	c *64.8s| 28502 |  6577 | 39951 |   1.4 |  51M|2567 |   - |5645 |  10k|5645 | 250 |  11k|7366 |1406 | 0.000000e+00 | 9.500000e+01 |    Inf 
66.49/66.59	o 91
66.49/66.59	c *65.6s| 28653 |  6343 | 41518 |   1.4 |  51M|2567 |   - |5645 |9799 |5645 | 231 |  11k|7482 |1426 | 0.000000e+00 | 9.100000e+01 |    Inf 
66.69/66.71	o 75
66.69/66.71	c *65.7s| 28683 |  5163 | 41660 |   1.4 |  48M|2567 |   - |5645 |9571 |5645 | 209 |  11k|7486 |1426 | 0.000000e+00 | 7.500000e+01 |    Inf 
69.39/69.41	o 73
69.39/69.41	c *68.4s| 29224 |  5256 | 45292 |   1.5 |  49M|2567 |   - |5645 |7936 |5645 | 215 |  12k|8042 |1450 | 0.000000e+00 | 7.300000e+01 |    Inf 
70.19/70.21	o 72
70.19/70.21	c *69.2s| 29349 |  5206 | 46668 |   1.6 |  49M|2567 |   - |5645 |7438 |5645 | 210 |  13k|8157 |1460 | 0.000000e+00 | 7.200000e+01 |    Inf 
70.19/70.22	o 67
70.19/70.22	c *69.2s| 29350 |  4600 | 46668 |   1.6 |  47M|2567 |   - |5645 |7438 |5645 | 210 |  13k|8157 |1460 | 0.000000e+00 | 6.700000e+01 |    Inf 
73.00/73.05	c  71.9s| 30000 |  4861 | 51267 |   1.7 |  49M|2567 |   1 |5645 |6668 |5645 | 175 |  14k|8867 |1489 | 0.000000e+00 | 6.700000e+01 |    Inf 
111.99/112.00	c   110s| 40000 |  7311 |112766 |   2.8 |  78M|2567 |   - |5645 |7447 |   0 |   0 |  32k|  19k|1861 | 0.000000e+00 | 6.700000e+01 |    Inf 
121.80/121.81	o 66
121.80/121.81	c * 120s| 42641 |  7688 |127624 |   3.0 |  85M|2567 |   - |5645 |7042 |5645 | 260 |  36k|  22k|2010 | 0.000000e+00 | 6.600000e+01 |    Inf 
121.80/121.84	o 64
121.80/121.84	c * 120s| 42644 |  7521 |127627 |   3.0 |  84M|2567 |   - |5645 |6935 |5645 | 260 |  36k|  22k|2010 | 0.000000e+00 | 6.400000e+01 |    Inf 
121.80/121.85	o 58
121.80/121.85	c * 120s| 42645 |  7112 |127627 |   3.0 |  83M|2567 |   - |5645 |6935 |5645 | 260 |  36k|  22k|2010 | 0.000000e+00 | 5.800000e+01 |    Inf 
128.39/128.49	o 47
128.39/128.49	c * 127s| 44499 |  6573 |137922 |   3.1 |  83M|2567 |   - |5645 |6457 |5645 | 237 |  39k|  24k|2075 | 0.000000e+00 | 4.700000e+01 |    Inf 
145.50/145.51	c   143s| 50000 |  6866 |170305 |   3.4 |  90M|2567 |   1 |5645 |6340 |5645 | 218 |  47k|  32k|2303 | 0.000000e+00 | 4.700000e+01 |    Inf 
173.40/173.49	c   171s| 60000 |  7325 |210162 |   3.5 |  99M|2567 |   - |5645 |7090 |5645 | 227 |  56k|  45k|2584 | 0.000000e+00 | 4.700000e+01 |    Inf 
175.49/175.58	o 37
175.49/175.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
175.49/175.58	c * 173s| 60800 |  6714 |213046 |   3.5 |  96M|2567 |   - |5645 |7123 |5645 | 254 |  56k|  46k|2603 | 0.000000e+00 | 3.700000e+01 |    Inf 
199.49/199.50	c   196s| 70000 |  6759 |254381 |   3.6 | 102M|2567 |   - |5645 |6572 |   0 |   0 |  64k|  57k|2841 | 0.000000e+00 | 3.700000e+01 |    Inf 
226.40/226.48	c   223s| 80000 |  6851 |309920 |   3.9 | 106M|2567 |   1 |5645 |8110 |5645 | 262 |  76k|  71k|3121 | 0.000000e+00 | 3.700000e+01 |    Inf 
243.30/243.36	o 31
243.30/243.36	c * 239s| 86370 |  6177 |340811 |   3.9 | 103M|2567 |   - |5645 |8393 |5645 | 262 |  82k|  79k|3292 | 0.000000e+00 | 3.100000e+01 |    Inf 
243.30/243.37	o 24
243.30/243.37	c * 239s| 86371 |  5278 |340811 |   3.9 |  95M|2567 |   - |5645 |8393 |5645 | 262 |  82k|  79k|3292 | 0.000000e+00 | 2.400000e+01 |    Inf 
251.30/251.30	c   247s| 90000 |  5363 |355434 |   3.9 |  96M|2567 |   - |5645 |8471 |   0 |   0 |  85k|  83k|3346 | 0.000000e+00 | 2.400000e+01 |    Inf 
255.00/255.01	o 22
255.00/255.01	c * 251s| 91672 |  4867 |361841 |   3.9 |  92M|2567 |   - |5645 |8532 |5645 | 259 |  86k|  85k|3379 | 0.000000e+00 | 2.200000e+01 |    Inf 
271.61/271.69	o 20
271.61/271.69	c * 267s| 99468 |  4787 |389996 |   3.9 |  92M|2567 |   - |5645 |9556 |5645 | 270 |  91k|  95k|3484 | 0.000000e+00 | 2.000000e+01 |    Inf 
272.90/272.93	c   268s|100000 |  4784 |392030 |   3.9 |  92M|2567 |   - |5645 |7971 |   0 |   0 |  91k|  96k|3491 | 0.000000e+00 | 2.000000e+01 |    Inf 
277.30/277.34	o 19
277.30/277.34	c * 273s|101959 |  4667 |400938 |   3.9 |  91M|2567 |   - |5645 |6080 |5645 | 239 |  93k|  98k|3559 | 0.000000e+00 | 1.900000e+01 |    Inf 
277.30/277.36	o 16
277.30/277.36	c * 273s|101961 |  4526 |400938 |   3.9 |  89M|2567 |   - |5645 |5994 |5645 | 239 |  93k|  98k|3559 | 0.000000e+00 | 1.600000e+01 |    Inf 
277.30/277.36	o 14
277.30/277.36	c * 273s|101962 |  4295 |400938 |   3.9 |  87M|2567 |   - |5645 |5994 |5645 | 239 |  93k|  98k|3559 | 0.000000e+00 | 1.400000e+01 |    Inf 
277.30/277.40	o 13
277.30/277.40	c * 273s|101968 |  4233 |400992 |   3.9 |  85M|2567 |   - |5645 |5809 |5645 | 242 |  93k|  98k|3559 | 0.000000e+00 | 1.300000e+01 |    Inf 
279.20/279.28	o 9
279.20/279.28	c * 275s|103042 |  4013 |405050 |   3.9 |  83M|2567 |   - |5645 |6614 |5645 | 246 |  93k| 100k|3578 | 0.000000e+00 | 9.000000e+00 |    Inf 
291.50/291.57	c   287s|110000 |  4034 |432640 |   3.9 |  84M|2567 |   - |5645 |7732 |   0 |   0 |  96k| 109k|3687 | 0.000000e+00 | 9.000000e+00 |    Inf 
309.71/309.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
309.71/309.72	c   304s|120000 |  4166 |470259 |   3.9 |  87M|2567 |  13 |5645 |9980 |5645 | 221 | 101k| 122k|3827 | 0.000000e+00 | 9.000000e+00 |    Inf 
328.00/328.00	c   322s|130000 |  4325 |507359 |   3.9 |  89M|2567 |   - |5645 |  11k|   0 |   0 | 106k| 134k|3970 | 0.000000e+00 | 9.000000e+00 |    Inf 
331.80/331.80	o 8
331.80/331.80	c * 326s|132070 |  4165 |514994 |   3.9 |  86M|2567 |   - |5645 |  10k|5645 | 246 | 107k| 137k|3978 | 0.000000e+00 | 8.000000e+00 |    Inf 
333.81/333.86	o 6
333.81/333.86	c * 328s|133163 |  3931 |519708 |   3.9 |  82M|2567 |   - |5645 |  10k|5645 | 269 | 108k| 138k|4006 | 0.000000e+00 | 6.000000e+00 |    Inf 
346.01/346.01	c   340s|140000 |  4023 |544635 |   3.9 |  83M|2567 |   - |5645 |  10k|   0 |   0 | 111k| 147k|4097 | 0.000000e+00 | 6.000000e+00 |    Inf 
364.50/364.52	c   358s|150000 |  4103 |582334 |   3.9 |  85M|2567 |   1 |5645 |  11k|5645 | 265 | 116k| 160k|4203 | 0.000000e+00 | 6.000000e+00 |    Inf 
383.60/383.61	c   377s|160000 |  4223 |622671 |   3.9 |  88M|2567 |   - |5645 |  13k|   0 |   0 | 120k| 173k|4310 | 0.000000e+00 | 6.000000e+00 |    Inf 
403.31/403.31	c   396s|170000 |  4272 |664108 |   3.9 |  89M|2567 |   - |5645 |  13k|   0 |   0 | 124k| 187k|4427 | 0.000000e+00 | 6.000000e+00 |    Inf 
421.91/421.95	c   415s|180000 |  4312 |698240 |   3.9 |  90M|2567 |  13 |5645 |  13k|5645 | 264 | 127k| 200k|4516 | 0.000000e+00 | 6.000000e+00 |    Inf 
441.01/441.00	c   433s|190000 |  4449 |734109 |   3.9 |  93M|2567 |   1 |5645 |  16k|5645 | 256 | 131k| 213k|4576 | 0.000000e+00 | 6.000000e+00 |    Inf 
461.51/461.59	c   454s|200000 |  4474 |774149 |   3.9 |  94M|2567 |   - |5645 |  16k|   0 |   0 | 134k| 228k|4692 | 0.000000e+00 | 6.000000e+00 |    Inf 
481.41/481.48	c   473s|210000 |  4465 |811284 |   3.9 |  94M|2567 |   7 |5645 |  13k|5645 | 250 | 137k| 241k|4828 | 0.000000e+00 | 6.000000e+00 |    Inf 
500.11/500.11	c   491s|220000 |  4386 |848355 |   3.9 |  94M|2567 |  13 |5645 |  11k|5645 | 249 | 141k| 254k|4922 | 0.000000e+00 | 6.000000e+00 |    Inf 
508.12/508.16	o 3
508.12/508.16	c * 499s|224388 |  4076 |865633 |   3.9 |  89M|2567 |   - |5645 |  12k|5645 | 239 | 143k| 260k|4955 | 0.000000e+00 | 3.000000e+00 |    Inf 
519.01/519.06	c   510s|230000 |  4028 |886668 |   3.9 |  89M|2567 |   - |5645 |  10k|   0 |   0 | 145k| 268k|5008 | 0.000000e+00 | 3.000000e+00 |    Inf 
537.01/537.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
537.01/537.03	c   527s|240000 |  4012 |926503 |   3.9 |  89M|2567 |   - |5645 |  13k|   0 |   0 | 149k| 281k|5093 | 0.000000e+00 | 3.000000e+00 |    Inf 
556.62/556.61	c   547s|250000 |  3946 |966202 |   3.9 |  88M|2567 |   1 |5645 |  10k|5645 | 229 | 153k| 294k|5212 | 0.000000e+00 | 3.000000e+00 |    Inf 
573.92/573.93	c   564s|260000 |  3982 |  1000k|   3.8 |  89M|2567 |   - |5645 |  13k|   0 |   0 | 156k| 307k|5291 | 0.000000e+00 | 3.000000e+00 |    Inf 
593.02/593.02	c   582s|270000 |  4002 |  1037k|   3.8 |  91M|2567 |   1 |5645 |  15k|5645 | 287 | 160k| 320k|5354 | 0.000000e+00 | 3.000000e+00 |    Inf 
613.21/613.22	c   602s|280000 |  4070 |  1073k|   3.8 |  93M|2567 |  19 |5645 |  19k|5645 | 307 | 164k| 333k|5408 | 0.000000e+00 | 3.000000e+00 |    Inf 
635.12/635.16	c   624s|290000 |  4212 |  1107k|   3.8 |  96M|2567 |   - |5645 |  20k|   0 |   0 | 168k| 348k|5495 | 0.000000e+00 | 3.000000e+00 |    Inf 
657.12/657.12	c   645s|300000 |  4178 |  1147k|   3.8 |  96M|2567 |   - |5645 |  18k|   0 |   0 | 171k| 362k|5583 | 0.000000e+00 | 3.000000e+00 |    Inf 
677.82/677.81	c   666s|310000 |  4040 |  1180k|   3.8 |  93M|2567 |   - |5645 |  16k|   0 |   0 | 175k| 376k|5694 | 0.000000e+00 | 3.000000e+00 |    Inf 
697.52/697.54	c   685s|320000 |  4083 |  1211k|   3.8 |  94M|2567 |   1 |5645 |  17k|5645 | 202 | 179k| 388k|5752 | 0.000000e+00 | 3.000000e+00 |    Inf 
718.12/718.16	c   705s|330000 |  4156 |  1246k|   3.8 |  96M|2567 |   1 |5645 |  19k|5645 | 242 | 183k| 401k|5822 | 0.000000e+00 | 3.000000e+00 |    Inf 
739.82/739.88	c   727s|340000 |  4194 |  1280k|   3.8 |  97M|2567 |   1 |5645 |  20k|5645 | 223 | 187k| 414k|5892 | 0.000000e+00 | 3.000000e+00 |    Inf 
762.53/762.57	c   749s|350000 |  4246 |  1314k|   3.8 | 100M|2567 |   1 |5645 |  25k|5645 | 229 | 191k| 428k|5956 | 0.000000e+00 | 3.000000e+00 |    Inf 
786.53/786.52	c   773s|360000 |  4409 |  1350k|   3.8 | 102M|2567 |   - |5645 |  27k|   0 |   0 | 195k| 442k|6025 | 0.000000e+00 | 3.000000e+00 |    Inf 
812.13/812.11	c   798s|370000 |  4438 |  1386k|   3.7 | 103M|2567 |   7 |5645 |  27k|5645 | 252 | 199k| 456k|6081 | 0.000000e+00 | 3.000000e+00 |    Inf 
836.33/836.39	c   822s|380000 |  4418 |  1420k|   3.7 | 103M|2567 |   1 |5645 |  25k|5645 | 239 | 202k| 470k|6147 | 0.000000e+00 | 3.000000e+00 |    Inf 
859.43/859.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
859.43/859.42	c   844s|390000 |  4420 |  1452k|   3.7 | 103M|2567 |   - |5645 |  25k|   0 |   0 | 206k| 483k|6219 | 0.000000e+00 | 3.000000e+00 |    Inf 
882.24/882.21	c   867s|400000 |  4083 |  1490k|   3.7 |  94M|2567 |  12 |5645 |  11k|5645 | 220 | 211k| 496k|6336 | 0.000000e+00 | 3.000000e+00 |    Inf 
900.43/900.42	c   885s|410000 |  3860 |  1528k|   3.7 |  91M|2567 |   - |5645 |  11k|5645 | 256 | 216k| 509k|6407 | 0.000000e+00 | 3.000000e+00 |    Inf 
919.13/919.10	c   903s|420000 |  3904 |  1562k|   3.7 |  93M|2567 |   1 |5645 |  15k|5645 | 266 | 220k| 523k|6459 | 0.000000e+00 | 3.000000e+00 |    Inf 
938.73/938.75	c   922s|430000 |  3869 |  1599k|   3.7 |  93M|2567 |   1 |5645 |  14k|5645 | 282 | 224k| 536k|6521 | 0.000000e+00 | 3.000000e+00 |    Inf 
959.63/959.67	c   943s|440000 |  3860 |  1634k|   3.7 |  94M|2567 |   - |5645 |  15k|   0 |   0 | 228k| 549k|6592 | 0.000000e+00 | 3.000000e+00 |    Inf 
979.33/979.34	c   962s|450000 |  3747 |  1668k|   3.7 |  91M|2567 |   - |5645 |  12k|   0 |   0 | 232k| 562k|6688 | 0.000000e+00 | 3.000000e+00 |    Inf 
992.63/992.69	o 2
992.63/992.69	c * 975s|456964 |  3597 |  1693k|   3.7 |  89M|2567 |   - |5645 |  14k|5645 | 256 | 235k| 572k|6708 | 0.000000e+00 | 2.000000e+00 |    Inf 
998.74/998.77	c   981s|460000 |  3581 |  1704k|   3.7 |  88M|2567 |  16 |5645 |  11k|5645 | 242 | 237k| 576k|6757 | 0.000000e+00 | 2.000000e+00 |    Inf 
1018.13/1018.14	c  1000s|470000 |  3520 |  1740k|   3.7 |  88M|2567 |   8 |5645 |  12k|5645 | 224 | 241k| 589k|6798 | 0.000000e+00 | 2.000000e+00 |    Inf 
1038.14/1038.10	c  1020s|480000 |  3519 |  1780k|   3.7 |  89M|2567 |   - |5645 |  15k|   0 |   0 | 246k| 602k|6872 | 0.000000e+00 | 2.000000e+00 |    Inf 
1060.54/1060.51	c  1042s|490000 |  3555 |  1821k|   3.7 |  90M|2567 |   6 |5645 |  15k|5645 | 223 | 252k| 615k|6937 | 0.000000e+00 | 2.000000e+00 |    Inf 
1082.24/1082.24	c  1063s|500000 |  3580 |  1859k|   3.7 |  91M|2567 |   - |5645 |  16k|   0 |   0 | 256k| 628k|6998 | 0.000000e+00 | 2.000000e+00 |    Inf 
1104.25/1104.29	c  1085s|510000 |  3649 |  1897k|   3.7 |  93M|2567 |   5 |5645 |  19k|5645 | 217 | 262k| 642k|7050 | 0.000000e+00 | 2.000000e+00 |    Inf 
1127.04/1127.02	c  1107s|520000 |  3652 |  1938k|   3.7 |  94M|2567 |  19 |5645 |  20k|5645 | 255 | 265k| 655k|7109 | 0.000000e+00 | 2.000000e+00 |    Inf 
1149.75/1149.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1149.75/1149.72	c  1129s|530000 |  3701 |  1976k|   3.7 |  96M|2567 |   1 |5645 |  26k|5645 | 234 | 269k| 669k|7169 | 0.000000e+00 | 2.000000e+00 |    Inf 
1174.34/1174.34	c  1154s|540000 |  3779 |  2014k|   3.7 |  98M|2567 |   1 |5645 |  29k|5645 | 259 | 272k| 683k|7219 | 0.000000e+00 | 2.000000e+00 |    Inf 
1200.05/1200.06	c  1179s|550000 |  3771 |  2050k|   3.7 |  99M|2567 |   1 |5645 |  30k|5645 | 251 | 275k| 698k|7261 | 0.000000e+00 | 2.000000e+00 |    Inf 
1225.64/1225.69	c  1204s|560000 |  3667 |  2088k|   3.7 |  98M|2567 |   - |5645 |  29k|   0 |   0 | 278k| 712k|7317 | 0.000000e+00 | 2.000000e+00 |    Inf 
1253.05/1253.04	c  1231s|570000 |  3658 |  2129k|   3.7 |  97M|2567 |   6 |5645 |  28k|5645 | 220 | 282k| 726k|7374 | 0.000000e+00 | 2.000000e+00 |    Inf 
1279.94/1279.98	c  1258s|580000 |  3728 |  2165k|   3.7 |  99M|2567 |   - |5645 |  32k|   0 |   0 | 285k| 739k|7427 | 0.000000e+00 | 2.000000e+00 |    Inf 
1308.45/1308.49	c  1286s|590000 |  3806 |  2203k|   3.7 | 101M|2567 |   - |5645 |  35k|   0 |   0 | 290k| 754k|7485 | 0.000000e+00 | 2.000000e+00 |    Inf 
1338.06/1338.00	c  1315s|600000 |  3797 |  2242k|   3.7 | 102M|2567 |   - |5645 |  36k|   0 |   0 | 293k| 768k|7534 | 0.000000e+00 | 2.000000e+00 |    Inf 
1367.26/1367.28	c  1344s|610000 |  3809 |  2280k|   3.7 | 103M|2567 |  16 |5645 |  38k|5645 | 241 | 297k| 783k|7578 | 0.000000e+00 | 2.000000e+00 |    Inf 
1397.35/1397.36	c  1374s|620000 |  3814 |  2320k|   3.7 | 104M|2567 |   - |5645 |  39k|   0 |   0 | 300k| 796k|7649 | 0.000000e+00 | 2.000000e+00 |    Inf 
1428.56/1428.55	c  1404s|630000 |  3851 |  2355k|   3.7 | 105M|2567 |   9 |5645 |  41k|5645 | 260 | 304k| 810k|7702 | 0.000000e+00 | 2.000000e+00 |    Inf 
1460.06/1460.04	c  1435s|640000 |  3906 |  2393k|   3.7 | 107M|2567 |   1 |5645 |  44k|5645 | 267 | 308k| 824k|7752 | 0.000000e+00 | 2.000000e+00 |    Inf 
1493.56/1493.50	c  1469s|650000 |  3910 |  2432k|   3.7 | 108M|2567 |   - |5645 |  45k|   0 |   0 | 312k| 838k|7804 | 0.000000e+00 | 2.000000e+00 |    Inf 
1525.67/1525.69	c  1500s|660000 |  4024 |  2472k|   3.7 | 108M|2567 |   - |5645 |  44k|   0 |   0 | 316k| 852k|7889 | 0.000000e+00 | 2.000000e+00 |    Inf 
1558.46/1558.47	c  1533s|670000 |  4069 |  2511k|   3.7 | 109M|2567 |   1 |5645 |  46k|5645 | 230 | 319k| 866k|7936 | 0.000000e+00 | 2.000000e+00 |    Inf 
1590.96/1590.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1590.96/1590.94	c  1565s|680000 |  4077 |  2546k|   3.7 | 111M|2567 |   - |5645 |  48k|   0 |   0 | 322k| 880k|7970 | 0.000000e+00 | 2.000000e+00 |    Inf 
1625.77/1625.79	c  1599s|690000 |  4159 |  2587k|   3.8 | 112M|2567 |   8 |5645 |  47k|5645 | 277 | 326k| 894k|8018 | 0.000000e+00 | 2.000000e+00 |    Inf 
1661.17/1661.16	c  1634s|700000 |  4294 |  2630k|   3.8 | 114M|2567 |   - |5645 |  50k|   0 |   0 | 330k| 909k|8060 | 0.000000e+00 | 2.000000e+00 |    Inf 
1696.87/1696.86	c  1670s|710000 |  4318 |  2672k|   3.8 | 114M|2567 |   - |5645 |  50k|   0 |   0 | 333k| 924k|8110 | 0.000000e+00 | 2.000000e+00 |    Inf 
1733.17/1733.13	c  1705s|720000 |  4346 |  2716k|   3.8 | 116M|2567 |   - |5645 |  52k|   0 |   0 | 337k| 938k|8154 | 0.000000e+00 | 2.000000e+00 |    Inf 
1769.58/1769.51	c  1741s|730000 |  4367 |  2760k|   3.8 | 116M|2567 |   - |5645 |  50k|   0 |   0 | 341k| 953k|8216 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.01	c 
1800.08/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.01	c Solving Time (sec) : 1771.59
1800.08/1800.01	c Solving Nodes      : 738204
1800.08/1800.01	c Primal Bound       : +2.00000000000000e+00 (299 solutions)
1800.08/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.01	c Gap                : infinite
1800.08/1800.08	s SATISFIABLE
1800.08/1800.08	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 x211 -x210 
1800.08/1800.08	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.08/1800.08	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.08/1800.08	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.08/1800.08	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 
1800.08/1800.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.08/1800.08	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 
1800.08/1800.08	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 
1800.08/1800.08	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 
1800.08/1800.08	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.08/1800.08	v -x1 
1800.08/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.08	c Solving Time       :    1771.59
1800.08/1800.08	c Original Problem   :
1800.08/1800.08	c   Problem name     : HOME/instance-2692941-1277925107.wbo
1800.08/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.08/1800.08	c Presolved Problem  :
1800.08/1800.08	c   Problem name     : t_HOME/instance-2692941-1277925107.wbo
1800.08/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.08/1800.08	c   Constraints      : 5414 initial, 54001 maximal
1800.08/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.08/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.08/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.08	c   root node        :          -       2681          -          -       5362          -          -          -          -
1800.08/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.08	c   integral         :          0          0          0     460889          0         20        634          0          0     762468
1800.08/1800.08	c   indicator        :       2707          0    4105261      78783          0        485    5432005          0          0          0
1800.08/1800.08	c   linear           :       2707          6    4137600      79126          0     284577   17215015     343977          0          0
1800.08/1800.08	c   logicor          :          0+         0    1197736          0          0      66485    1461945          0          0          0
1800.08/1800.08	c   bounddisjunction :          0+         0       9268          0          0          0         77          0          0          0
1800.08/1800.08	c   countsols        :          0          0          0      32323          0          0          0          0          0          0
1800.08/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.08	c   integral         :      14.65       0.00       0.00      14.65       0.00
1800.08/1800.08	c   indicator        :      27.35       0.06      18.57       8.72       0.00
1800.08/1800.08	c   linear           :     199.73       0.00     192.83       6.90       0.00
1800.08/1800.08	c   logicor          :     305.58       0.00     305.58       0.00       0.00
1800.08/1800.08	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.08	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.08/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.08	c   vbounds          :       1.17          2          0          0
1800.08/1800.08	c   rootredcost      :       0.70         45          0       2681
1800.08/1800.08	c   pseudoobj        :     211.21    4150426      12239    3568960
1800.08/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.08	c   propagation      :      22.02     363301     363063    2368110       29.0      17444       16.5          -
1800.08/1800.08	c   infeasible LP    :       4.98      13324      13324     110714       43.6        151       16.0          0
1800.08/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.08	c   pseudo solution  :       0.07        273        273       1074       12.2        311        5.6          -
1800.08/1800.08	c   applied globally :          -          -          -     965468       22.5          -          -          -
1800.08/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.08	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.08/1800.08	c   redcost          :      37.26     465521          0    1780776          0          0
1800.08/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.08/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.08	c   gomory           :       0.01          4          0          0         75          0
1800.08/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.08/1800.08	c   cmir             :       0.01          4          0          0          1          0
1800.08/1800.08	c   flowcover        :       0.03          4          0          0          2          0
1800.08/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.08/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.08	c Pricers            :       Time      Calls       Vars
1800.08/1800.08	c   problem variables:       0.00          0          0
1800.08/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.08	c   relpscost        :      14.17     381734         20        634          0          0     762468
1800.08/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.08	c   inference        :       6.73      32278          0          0          0          0      64556
1800.08/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.08	c   LP solutions     :       0.06          -         45
1800.08/1800.08	c   pseudo solutions :       0.00          -          0
1800.08/1800.08	c   feaspump         :       0.00          0          0
1800.08/1800.08	c   oneopt           :       0.48         37          0
1800.08/1800.08	c   guideddiving     :       0.07         24          0
1800.08/1800.08	c   coefdiving       :       0.15         59          0
1800.08/1800.08	c   pscostdiving     :       0.09         59          0
1800.08/1800.08	c   fracdiving       :       0.09         59          0
1800.08/1800.08	c   veclendiving     :       0.09         59          0
1800.08/1800.08	c   linesearchdiving :       0.13         59          0
1800.08/1800.08	c   rootsoldiving    :       0.11         58          0
1800.08/1800.08	c   objpscostdiving  :       0.04         59          0
1800.08/1800.08	c   crossover        :       2.14         65          2
1800.08/1800.08	c   trivial          :       0.09          2          2
1800.08/1800.08	c   simplerounding   :       0.77     382945          0
1800.08/1800.08	c   zirounding       :       0.43       1000          0
1800.08/1800.08	c   rounding         :       2.92       8733          0
1800.08/1800.08	c   shifting         :       1.59       2727          0
1800.08/1800.08	c   intshifting      :       0.02          4          0
1800.08/1800.08	c   twoopt           :       0.00          0          0
1800.08/1800.08	c   fixandinfer      :       0.00          0          0
1800.08/1800.08	c   intdiving        :       0.00          0          0
1800.08/1800.08	c   actconsdiving    :       0.00          0          0
1800.08/1800.08	c   octane           :       0.00          0          0
1800.08/1800.08	c   rens             :       0.03          1          0
1800.08/1800.08	c   rins             :       0.00          0          0
1800.08/1800.08	c   localbranching   :       0.00          0          0
1800.08/1800.08	c   mutation         :       0.00          0          0
1800.08/1800.08	c   dins             :       0.00          0          0
1800.08/1800.08	c   undercover       :       0.00          0          0
1800.08/1800.08	c   nlp              :       0.21          0          0
1800.08/1800.08	c   trysol           :       4.41       7984        250
1800.08/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.08	c   dual LP          :     423.76     446625    2793416       6.25    6591.98
1800.08/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.08	c   diving/probing LP:       0.10         60       1358      22.63   13580.00
1800.08/1800.08	c   strong branching :      11.20       8271      95424      11.54    8520.00
1800.08/1800.08	c     (at root node) :          -         33       1884      57.09          -
1800.08/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.08	c B&B Tree           :
1800.08/1800.08	c   number of runs   :          1
1800.08/1800.08	c   nodes            :     738204
1800.08/1800.08	c   nodes (total)    :     738204
1800.08/1800.08	c   nodes left       :       4355
1800.08/1800.08	c   max depth        :       2567
1800.08/1800.08	c   max depth (total):       2567
1800.08/1800.08	c   backtracks       :      63301 (8.6%)
1800.08/1800.08	c   delayed cutoffs  :      56134
1800.08/1800.08	c   repropagations   :    2156449 (4564058 domain reductions, 52723 cutoffs)
1800.08/1800.08	c   avg switch length:       7.18
1800.08/1800.08	c   switching time   :     273.97
1800.08/1800.08	c Solution           :
1800.08/1800.08	c   Solutions found  :        299 (46 improvements)
1800.08/1800.08	c   First Solution   : +1.36613000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.08	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 456964 nodes, 975.08 seconds, depth 30, found by <relaxation>)
1800.08/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.08	c   Gap              :   infinite
1800.08/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.08	c   Root Iterations  :        183
1800.28/1800.23	c Time complete: 1800.31.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692941-1277925107/watcher-2692941-1277925107 -o /tmp/evaluation-result-2692941-1277925107/solver-2692941-1277925107 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692941-1277925107.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.23 2.10 2.03 4/196 16698
/proc/meminfo: memFree=30797988/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=10972 CPUtime=0
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 133805576 11235328 1589 4089446400 4194304 9819077 140736664053968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16698/statm: 2743 1589 392 1374 0 1364 0

[startup+0.0176901 s]
/proc/loadavg: 2.23 2.10 2.03 4/196 16698
/proc/meminfo: memFree=30797988/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=14000 CPUtime=0.01
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2442 0 0 0 1 0 0 0 25 0 1 0 133805576 14336000 2362 4089446400 4194304 9819077 140736664053968 18446744073709551615 8857077 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16698/statm: 3500 2362 392 1374 0 2121 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14000

[startup+0.10068 s]
/proc/loadavg: 2.23 2.10 2.03 4/196 16698
/proc/meminfo: memFree=30797988/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=36404 CPUtime=0.09
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 8123 0 0 0 9 0 0 0 25 0 1 0 133805576 37277696 7689 4089446400 4194304 9819077 140736664053968 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300641 s]
/proc/loadavg: 2.23 2.10 2.03 4/196 16698
/proc/meminfo: memFree=30797988/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=45708 CPUtime=0.29
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 10786 0 0 0 28 1 0 0 25 0 1 0 133805576 46804992 9785 4089446400 4194304 9819077 140736664053968 18446744073709551615 5742895 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 11427 9785 670 1374 0 10048 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45708

[startup+0.700561 s]
/proc/loadavg: 2.23 2.10 2.03 4/196 16698
/proc/meminfo: memFree=30797988/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=47232 CPUtime=0.69
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 25265 0 0 0 64 5 0 0 25 0 1 0 133805576 48365568 9994 4089446400 4194304 9819077 140736664053968 18446744073709551615 6656795 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 11808 9994 697 1374 0 10429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47232

[startup+1.5004 s]
/proc/loadavg: 2.21 2.10 2.03 3/197 16699
/proc/meminfo: memFree=30760036/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=49032 CPUtime=1.49
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 41180 0 0 0 141 8 0 0 25 0 1 0 133805576 50208768 10306 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 12214 10305 699 1374 0 10835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49032

[startup+3.10108 s]
/proc/loadavg: 2.21 2.10 2.03 3/197 16699
/proc/meminfo: memFree=30757680/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=51356 CPUtime=3.09
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 62987 0 0 0 296 13 0 0 25 0 1 0 133805576 52588544 11140 4089446400 4194304 9819077 140736664053968 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 12839 11140 700 1374 0 11460 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51356

[startup+6.30043 s]
/proc/loadavg: 2.21 2.10 2.03 3/197 16699
/proc/meminfo: memFree=30747772/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=58604 CPUtime=6.29
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 77694 0 0 0 611 18 0 0 25 0 1 0 133805576 60010496 13298 4089446400 4194304 9819077 140736664053968 18446744073709551615 4572311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 14651 13298 700 1374 0 13272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58604

[startup+12.7002 s]
/proc/loadavg: 2.18 2.10 2.03 3/197 16699
/proc/meminfo: memFree=30731768/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=68660 CPUtime=12.69
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 85504 0 0 0 1246 23 0 0 25 0 1 0 133805576 70307840 15596 4089446400 4194304 9819077 140736664053968 18446744073709551615 5893845 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 17165 15596 700 1374 0 15786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68660

[startup+25.5006 s]
/proc/loadavg: 2.15 2.09 2.03 3/197 16699
/proc/meminfo: memFree=30710340/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=85924 CPUtime=25.49
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 110388 0 0 0 2514 35 0 0 25 0 1 0 133805576 87986176 20152 4089446400 4194304 9819077 140736664053968 18446744073709551615 4567053 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 21481 20152 704 1374 0 20102 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85924

[startup+51.1005 s]
/proc/loadavg: 2.10 2.08 2.03 3/197 16700
/proc/meminfo: memFree=30668904/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=120332 CPUtime=51.09
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 238762 0 0 0 5036 73 0 0 25 0 1 0 133805576 123219968 28262 4089446400 4194304 9819077 140736664053968 18446744073709551615 4561133 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16698/statm: 30083 28262 705 1374 0 28704 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 120332

[startup+102.306 s]
/proc/loadavg: 2.04 2.07 2.02 3/197 16701
/proc/meminfo: memFree=30599368/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=183824 CPUtime=102.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 416671 0 0 0 10081 149 0 0 25 0 1 0 133805576 188235776 43479 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 45956 43479 712 1374 0 44577 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183824

[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/197 16703
/proc/meminfo: memFree=30543632/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=240804 CPUtime=162.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 598797 0 0 0 15981 249 0 0 25 0 1 0 133805576 246583296 56473 4089446400 4194304 9819077 140736664053968 18446744073709551615 6669979 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 60201 56473 712 1374 0 58822 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 240804

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 16705
/proc/meminfo: memFree=30510972/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=271048 CPUtime=222.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 778019 0 0 0 21869 361 0 0 25 0 1 0 133805576 277553152 63163 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 67762 63163 716 1374 0 66383 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 271048

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 16706
/proc/meminfo: memFree=30490692/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=287500 CPUtime=282.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 952883 0 0 0 27759 471 0 0 25 0 1 0 133805576 294400000 67007 4089446400 4194304 9819077 140736664053968 18446744073709551615 6669957 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 71875 67007 724 1374 0 70496 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 287500

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16707
/proc/meminfo: memFree=30485400/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=292208 CPUtime=342.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1107480 0 0 0 33647 583 0 0 25 0 1 0 133805576 299220992 68048 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 73052 68048 724 1374 0 71673 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 292208

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16709
/proc/meminfo: memFree=30473204/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=297720 CPUtime=402.3
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1244605 0 0 0 39540 690 0 0 25 0 1 0 133805576 304865280 69390 4089446400 4194304 9819077 140736664053968 18446744073709551615 6386695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 74430 69390 725 1374 0 73051 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 297720

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16741
/proc/meminfo: memFree=30962456/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=301152 CPUtime=462.31
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1377373 0 0 0 45431 800 0 0 25 0 1 0 133805576 308379648 70248 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 75288 70248 739 1374 0 73909 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 301152

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16743
/proc/meminfo: memFree=30777528/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=302068 CPUtime=522.31
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1542217 0 0 0 51308 923 0 0 25 0 1 0 133805576 309317632 70515 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 75517 70516 739 1374 0 74138 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 302068

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16744
/proc/meminfo: memFree=30618752/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=303116 CPUtime=582.31
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1689680 0 0 0 57191 1040 0 0 25 0 1 0 133805576 310390784 70781 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 75779 70781 739 1374 0 74400 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 303116

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16790
/proc/meminfo: memFree=30737040/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=305232 CPUtime=642.32
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 1807887 0 0 0 63083 1149 0 0 25 0 1 0 133805576 312557568 71275 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 76308 71275 739 1374 0 74929 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 305232

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16797
/proc/meminfo: memFree=30596788/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=316948 CPUtime=882.33
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2252765 0 0 0 86688 1545 0 0 25 0 1 0 133805576 324554752 74115 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79237 74115 739 1374 0 77858 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 316948

[startup+942.301 s]
/proc/loadavg: 2.34 2.10 2.03 3/197 16798
/proc/meminfo: memFree=30574044/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317036 CPUtime=942.34
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2392359 0 0 0 92567 1667 0 0 25 0 1 0 133805576 324644864 74165 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79259 74165 739 1374 0 77880 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 317036

[startup+1002.3 s]
/proc/loadavg: 2.12 2.08 2.03 3/197 16800
/proc/meminfo: memFree=30554768/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317040 CPUtime=1002.33
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2536055 0 0 0 98450 1783 0 0 25 0 1 0 133805576 324648960 74205 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79260 74205 739 1374 0 77881 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 317040

[startup+1062.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/197 16802
/proc/meminfo: memFree=30522072/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317016 CPUtime=1062.34
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2660919 0 0 0 104338 1896 0 0 25 0 1 0 133805576 324624384 74203 4089446400 4194304 9819077 140736664053968 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79254 74203 739 1374 0 77875 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 317016

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/197 16804
/proc/meminfo: memFree=30520056/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317308 CPUtime=1122.34
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2776855 0 0 0 110234 2000 0 0 25 0 1 0 133805576 324923392 74283 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79327 74283 739 1374 0 77948 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 317308

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/197 16805
/proc/meminfo: memFree=30519748/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317484 CPUtime=1182.34
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2881575 0 0 0 116139 2095 0 0 25 0 1 0 133805576 325103616 74324 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79371 74324 739 1374 0 77992 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 317484

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/197 16809
/proc/meminfo: memFree=30518156/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=317660 CPUtime=1242.34
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 2986133 0 0 0 122050 2184 0 0 25 0 1 0 133805576 325283840 74416 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79415 74416 739 1374 0 78036 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 317660

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/197 16811
/proc/meminfo: memFree=30516736/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=319288 CPUtime=1302.36
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3075464 0 0 0 127971 2265 0 0 25 0 1 0 133805576 326950912 74782 4089446400 4194304 9819077 140736664053968 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 79822 74782 739 1374 0 78443 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 319288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16813
/proc/meminfo: memFree=30515452/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=320532 CPUtime=1362.35
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3165459 0 0 0 133893 2342 0 0 25 0 1 0 133805576 328224768 75094 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 80133 75094 739 1374 0 78754 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 320532

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 16815
/proc/meminfo: memFree=30479424/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=322996 CPUtime=1422.36
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3252349 0 0 0 139818 2418 0 0 25 0 1 0 133805576 330747904 75704 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 80749 75704 739 1374 0 79370 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 322996

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16816
/proc/meminfo: memFree=30428680/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=326740 CPUtime=1482.35
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3333145 0 0 0 145746 2489 0 0 25 0 1 0 133805576 334581760 76518 4089446400 4194304 9819077 140736664053968 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 81685 76518 739 1374 0 80306 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 326740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16817
/proc/meminfo: memFree=30373284/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=327300 CPUtime=1542.36
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3418206 0 0 0 151676 2560 0 0 25 0 1 0 133805576 335155200 76652 4089446400 4194304 9819077 140736664053968 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 81825 76652 739 1374 0 80446 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 327300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16819
/proc/meminfo: memFree=30324756/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=331580 CPUtime=1602.37
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3498897 0 0 0 157609 2628 0 0 25 0 1 0 133805576 339537920 77620 4089446400 4194304 9819077 140736664053968 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 82895 77620 739 1374 0 81516 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 331580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16821
/proc/meminfo: memFree=30290812/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=333256 CPUtime=1662.37
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3574271 0 0 0 163541 2696 0 0 25 0 1 0 133805576 341254144 78055 4089446400 4194304 9819077 140736664053968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 83314 78055 739 1374 0 81935 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 333256

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 16823
/proc/meminfo: memFree=30272260/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=335824 CPUtime=1722.37
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3653309 0 0 0 169476 2761 0 0 25 0 1 0 133805576 343883776 78699 4089446400 4194304 9819077 140736664053968 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 83956 78699 739 1374 0 82577 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 335824

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/197 16824
/proc/meminfo: memFree=30236012/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=337096 CPUtime=1782.37
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3729718 0 0 0 175412 2825 0 0 25 0 1 0 133805576 345186304 79022 4089446400 4194304 9819077 140736664053968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 84274 79022 739 1374 0 82895 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 337096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/197 16825
/proc/meminfo: memFree=30218516/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=337096 CPUtime=1800.08
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3752224 0 0 0 177162 2846 0 0 25 0 1 0 133805576 345186304 79023 4089446400 4194304 9819077 140736664053968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16698/statm: 84274 79023 739 1374 0 82895 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 337096

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

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

[startup+1800.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/197 16825
/proc/meminfo: memFree=30218516/32950928 swapFree=67111528/67111528
[pid=16698] ppid=16696 vsize=324324 CPUtime=1800.28
/proc/16698/stat : 16698 (pbscip.linux.x8) R 16696 16698 14998 0 -1 4202496 3752284 0 0 0 177182 2846 0 0 18 0 1 0 133805576 332107776 75841 4089446400 4194304 9819077 140736664053968 18446744073709551615 4397005 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16698/statm: 81081 75841 740 1374 0 79702 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 324324

Child status: 0
Real time (s): 1800.24
CPU time (s): 1800.32
CPU user time (s): 1771.84
CPU system time (s): 28.4767
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 338280

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

runsolver used 2.96155 second user time and 6.23105 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 21:11:47
IDJOB=2692941
IDBENCH=79257
IDSOLVER=1205
FILE ID=node149/2692941-1277925107
PBS_JOBID= 11197305
Free space on /tmp= 74212 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.1900551864--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-2692941-1277925107/watcher-2692941-1277925107 -o /tmp/evaluation-result-2692941-1277925107/solver-2692941-1277925107 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692941-1277925107.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 917ecf2b03be28c1e7bdced93c48bfdc
RANDOM SEED=1182738921

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30798516 kB
Buffers:        209908 kB
Cached:        1274088 kB
SwapCached:          0 kB
Active:         972892 kB
Inactive:      1033924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30798516 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:      522916 kB
Mapped:          20364 kB
Slab:            82716 kB
PageTables:       5916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1646896 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 node149 at 2010-06-30 21:41:49