Trace number 2692885

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.35 1800.36

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
MD5SUMa6a99f7cb7296aed3ef8f4a1cd1ac483
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark224.191
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
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: SoPlex 1.4.2] [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-2692885-1277908729.wbo>
0.00/0.03	c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.06/0.09	c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11	c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.12	c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.13	c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.19	c    (0.1s) probing: 101/1943 (5.2%) - 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 (6 rounds):
0.09/0.19	c  130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.19	c  1913 implications, 7 cliques
0.09/0.19	c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.19	c    1712 constraints of type <indicator>
0.09/0.19	c       7 constraints of type <setppc>
0.09/0.19	c    1712 constraints of type <linear>
0.09/0.19	c     898 constraints of type <logicor>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.14
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.98
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   0.1s|     1 |     0 |    22 |     - |  13M|   0 |   8 |3655 |4329 |3655 | 905 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	o 86784
0.19/0.21	c y 0.2s|     1 |     0 |    32 |     - |  13M|   0 |   8 |3655 |4329 |3655 | 905 |   0 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    71 |     - |  13M|   0 |  36 |3655 |4329 |3655 | 928 |  23 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   139 |     - |  14M|   0 |  42 |3655 |4329 |3655 | 949 |  44 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |   187 |     - |  14M|   0 |  48 |3655 |4329 |3655 | 960 |  55 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   244 |     - |  14M|   0 |  51 |3655 |4329 |3655 | 966 |  61 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   299 |     - |  14M|   0 |  50 |3655 |4329 |3655 | 970 |  65 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.49/0.59	c   0.5s|     1 |     0 |   329 |     - |  14M|   0 |  52 |3655 |4329 |3655 | 971 |  66 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
1.19/1.26	c   1.2s|     1 |     2 |   329 |     - |  14M|   0 |  52 |3655 |4329 |3655 | 971 |  66 |   0 |  33 | 0.000000e+00 | 8.678400e+04 |    Inf 
32.58/32.69	c  31.6s| 10000 |  9967 | 81869 |   8.2 |  39M| 127 |   0 |3655 |4366 |3655 |1006 |5482 |  56 |1784 | 0.000000e+00 | 8.678400e+04 |    Inf 
51.38/51.44	c  49.7s| 20000 | 19963 |128652 |   6.4 |  58M| 139 |   0 |3655 |4344 |3655 | 997 |8295 |  59 |1795 | 0.000000e+00 | 8.678400e+04 |    Inf 
69.29/69.33	c  66.9s| 30000 | 29949 |169440 |   5.6 |  75M| 155 |   0 |3655 |4353 |3655 | 974 |  11k|  77 |1796 | 0.000000e+00 | 8.678400e+04 |    Inf 
77.28/77.34	o 528
77.28/77.34	c *74.7s| 34874 | 18496 |183560 |   5.3 |  57M| 171 |   - |3655 |4356 |3655 | 977 |  11k|  84 |1796 | 0.000000e+00 | 5.280000e+02 |    Inf 
87.48/87.51	o 521
87.48/87.51	c *84.4s| 37849 | 20751 |227931 |   6.0 |  64M| 171 |   - |3655 |5285 |3655 | 978 |  14k|1623 |1801 | 0.000000e+00 | 5.210000e+02 |    Inf 
87.78/87.81	o 516
87.78/87.81	c *84.7s| 37974 | 20735 |228773 |   6.0 |  64M| 171 |   - |3655 |5326 |3655 | 979 |  14k|1677 |1801 | 0.000000e+00 | 5.160000e+02 |    Inf 
93.08/93.12	o 472
93.08/93.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
93.08/93.12	c *89.8s| 39618 | 20824 |249882 |   6.3 |  65M| 171 |   - |3655 |5601 |3655 | 973 |  15k|2799 |1803 | 0.000000e+00 | 4.720000e+02 |    Inf 
94.49/94.54	c  91.2s| 40000 | 21071 |256337 |   6.4 |  66M| 171 |   0 |3655 |5656 |3655 | 989 |  15k|3168 |1803 | 0.000000e+00 | 4.720000e+02 |    Inf 
95.28/95.30	o 459
95.28/95.30	c *91.9s| 40201 | 20821 |260035 |   6.5 |  66M| 171 |   - |3655 |5666 |3655 | 973 |  16k|3343 |1803 | 0.000000e+00 | 4.590000e+02 |    Inf 
96.48/96.57	o 455
96.48/96.57	c *93.1s| 40450 | 20909 |266904 |   6.6 |  67M| 171 |   - |3655 |5608 |3655 | 972 |  16k|3521 |1803 | 0.000000e+00 | 4.550000e+02 |    Inf 
100.58/100.65	o 450
100.58/100.65	c *97.1s| 41484 | 21458 |285075 |   6.9 |  68M| 171 |   - |3655 |6027 |3655 | 981 |  17k|4463 |1854 | 0.000000e+00 | 4.500000e+02 |    Inf 
108.08/108.16	o 445
108.08/108.16	c * 104s| 43611 | 22582 |316312 |   7.2 |  73M| 171 |   - |3655 |6990 |3655 | 999 |  19k|6780 |1965 | 0.000000e+00 | 4.450000e+02 |    Inf 
108.98/109.04	o 444
108.98/109.04	c * 105s| 43947 | 22835 |318160 |   7.2 |  74M| 171 |   - |3655 |6904 |3655 |1003 |  19k|6879 |1970 | 0.000000e+00 | 4.440000e+02 |    Inf 
126.78/126.88	c   122s| 50000 | 26716 |376109 |   7.5 |  87M| 171 |  14 |3655 |5621 |3655 |1000 |  26k|  12k|2153 | 0.000000e+00 | 4.440000e+02 |    Inf 
130.48/130.58	o 441
130.48/130.58	c * 126s| 51036 | 27318 |389613 |   7.6 |  89M| 171 |   - |3655 |5545 |3655 | 973 |  26k|  12k|2197 | 0.000000e+00 | 4.410000e+02 |    Inf 
130.68/130.78	o 439
130.68/130.78	c * 126s| 51068 | 27287 |390374 |   7.6 |  89M| 171 |   - |3655 |5510 |3655 | 982 |  26k|  12k|2201 | 0.000000e+00 | 4.390000e+02 |    Inf 
131.68/131.72	o 435
131.68/131.72	c * 127s| 51263 | 27291 |394306 |   7.7 |  90M| 171 |   - |3655 |5451 |3655 | 978 |  27k|  12k|2216 | 0.000000e+00 | 4.350000e+02 |    Inf 
132.18/132.20	o 434
132.18/132.20	c * 128s| 51384 | 27324 |396141 |   7.7 |  90M| 171 |   - |3655 |5410 |3655 | 998 |  27k|  13k|2223 | 0.000000e+00 | 4.340000e+02 |    Inf 
132.99/133.08	o 431
132.99/133.08	c * 128s| 51628 | 27450 |399190 |   7.7 |  91M| 171 |   - |3655 |5277 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.310000e+02 |    Inf 
132.99/133.09	o 429
132.99/133.09	c * 128s| 51629 | 27371 |399190 |   7.7 |  91M| 171 |   - |3655 |5277 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.290000e+02 |    Inf 
133.09/133.16	o 427
133.09/133.16	c * 128s| 51646 | 27277 |399489 |   7.7 |  90M| 171 |   - |3655 |5280 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.270000e+02 |    Inf 
133.09/133.17	o 425
133.09/133.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
133.09/133.17	c * 128s| 51647 | 27176 |399489 |   7.7 |  90M| 171 |   - |3655 |5280 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.250000e+02 |    Inf 
133.28/133.31	o 408
133.28/133.31	c * 129s| 51684 | 26454 |399961 |   7.7 |  87M| 171 |   - |3655 |5264 |3655 | 972 |  27k|  13k|2234 | 0.000000e+00 | 4.080000e+02 |    Inf 
133.39/133.48	o 402
133.39/133.48	c * 129s| 51719 | 26244 |400640 |   7.7 |  87M| 171 |   - |3655 |5249 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.020000e+02 |    Inf 
133.39/133.49	o 400
133.39/133.49	c * 129s| 51720 | 26135 |400640 |   7.7 |  87M| 171 |   - |3655 |5249 |3655 | 974 |  27k|  13k|2234 | 0.000000e+00 | 4.000000e+02 |    Inf 
135.39/135.41	o 398
135.39/135.41	c * 131s| 52312 | 26360 |407443 |   7.8 |  88M| 171 |   - |3655 |5649 |3655 | 987 |  27k|  13k|2246 | 0.000000e+00 | 3.980000e+02 |    Inf 
135.39/135.42	o 396
135.39/135.42	c * 131s| 52313 | 26283 |407443 |   7.8 |  88M| 171 |   - |3655 |5649 |3655 | 987 |  27k|  13k|2246 | 0.000000e+00 | 3.960000e+02 |    Inf 
135.79/135.87	o 394
135.79/135.87	c * 131s| 52478 | 26340 |408608 |   7.8 |  88M| 171 |   - |3655 |5646 |3655 | 980 |  28k|  13k|2246 | 0.000000e+00 | 3.940000e+02 |    Inf 
135.79/135.87	o 392
135.79/135.87	c * 131s| 52479 | 26267 |408608 |   7.8 |  87M| 171 |   - |3655 |5646 |3655 | 980 |  28k|  13k|2246 | 0.000000e+00 | 3.920000e+02 |    Inf 
142.69/142.79	o 381
142.69/142.79	c * 138s| 54569 | 27128 |434690 |   8.0 |  91M| 171 |   - |3655 |5993 |3655 | 976 |  30k|  15k|2328 | 0.000000e+00 | 3.810000e+02 |    Inf 
142.79/142.80	o 378
142.79/142.80	c * 138s| 54570 | 26940 |434691 |   8.0 |  90M| 171 |   - |3655 |5987 |3655 | 976 |  30k|  15k|2328 | 0.000000e+00 | 3.780000e+02 |    Inf 
143.99/144.08	o 373
143.99/144.08	c * 139s| 55005 | 26877 |439220 |   8.0 |  89M| 171 |   - |3655 |6151 |3655 | 991 |  30k|  16k|2334 | 0.000000e+00 | 3.730000e+02 |    Inf 
152.29/152.30	o 372
152.29/152.30	c * 147s| 57561 | 28465 |466340 |   8.1 |  95M| 171 |   - |3655 |6238 |3655 | 993 |  32k|  18k|2419 | 0.000000e+00 | 3.720000e+02 |    Inf 
158.39/158.47	o 362
158.39/158.47	c * 153s| 59902 | 29628 |481132 |   8.0 |  99M| 171 |   - |3655 |6035 |3655 | 982 |  34k|  19k|2474 | 0.000000e+00 | 3.620000e+02 |    Inf 
158.68/158.75	c   153s| 60000 | 29696 |482004 |   8.0 |  99M| 171 |   1 |3655 |6041 |3655 | 972 |  34k|  19k|2478 | 0.000000e+00 | 3.620000e+02 |    Inf 
160.18/160.25	o 361
160.18/160.25	c * 155s| 60468 | 29957 |486849 |   8.0 | 100M| 171 |   - |3655 |6036 |3655 | 996 |  35k|  20k|2496 | 0.000000e+00 | 3.610000e+02 |    Inf 
160.49/160.56	o 356
160.49/160.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
160.49/160.56	c * 155s| 60577 | 29753 |487617 |   8.0 |  99M| 171 |   - |3655 |5984 |3655 | 996 |  35k|  20k|2496 | 0.000000e+00 | 3.560000e+02 |    Inf 
181.09/181.19	o 348
181.09/181.19	c * 175s| 65426 | 31849 |583291 |   8.9 | 109M| 171 |   - |3655 |7986 |3655 | 975 |  39k|  25k|2730 | 0.000000e+00 | 3.480000e+02 |    Inf 
190.38/190.46	o 346
190.38/190.46	c * 184s| 67657 | 32848 |624667 |   9.2 | 114M| 171 |   - |3655 |7834 |3655 | 968 |  42k|  27k|2859 | 0.000000e+00 | 3.460000e+02 |    Inf 
196.99/197.09	o 344
196.99/197.09	c * 191s| 69239 | 33468 |652927 |   9.4 | 117M| 171 |   - |3655 |7888 |3655 | 981 |  43k|  29k|2920 | 0.000000e+00 | 3.440000e+02 |    Inf 
200.19/200.26	c   194s| 70000 | 33741 |666748 |   9.5 | 118M| 171 |   - |3655 |7953 |   0 |   0 |  44k|  30k|2964 | 0.000000e+00 | 3.440000e+02 |    Inf 
200.28/200.34	o 334
200.28/200.34	c * 194s| 70019 | 32994 |667014 |   9.5 | 116M| 171 |   - |3655 |7960 |3655 | 985 |  44k|  30k|2965 | 0.000000e+00 | 3.340000e+02 |    Inf 
210.68/210.74	o 330
210.68/210.74	c * 204s| 72902 | 34197 |706267 |   9.7 | 121M| 171 |   - |3655 |7455 |3655 | 983 |  47k|  34k|3082 | 0.000000e+00 | 3.300000e+02 |    Inf 
217.59/217.62	o 323
217.59/217.62	c * 210s| 74722 | 34620 |734029 |   9.8 | 123M| 171 |   - |3655 |7112 |3655 | 980 |  48k|  35k|3158 | 0.000000e+00 | 3.230000e+02 |    Inf 
223.58/223.66	o 317
223.58/223.66	c * 216s| 76731 | 35224 |751923 |   9.8 | 127M| 171 |   - |3655 |7168 |3655 | 982 |  50k|  37k|3213 | 0.000000e+00 | 3.170000e+02 |    Inf 
223.58/223.67	o 315
223.58/223.67	c * 216s| 76732 | 35054 |751923 |   9.8 | 126M| 171 |   - |3655 |7168 |3655 | 982 |  50k|  37k|3213 | 0.000000e+00 | 3.150000e+02 |    Inf 
225.59/225.61	o 312
225.59/225.61	c * 218s| 77168 | 34977 |761089 |   9.9 | 126M| 171 |   - |3655 |7123 |3655 | 985 |  51k|  37k|3213 | 0.000000e+00 | 3.120000e+02 |    Inf 
226.19/226.27	o 310
226.19/226.27	c * 219s| 77320 | 34885 |764184 |   9.9 | 126M| 171 |   - |3655 |7118 |3655 | 981 |  51k|  38k|3214 | 0.000000e+00 | 3.100000e+02 |    Inf 
226.78/226.81	o 303
226.78/226.81	c * 219s| 77431 | 34300 |766634 |   9.9 | 124M| 171 |   - |3655 |7154 |3655 | 984 |  51k|  38k|3219 | 0.000000e+00 | 3.030000e+02 |    Inf 
231.59/231.67	o 300
231.59/231.67	c * 224s| 78449 | 34477 |789028 |  10.1 | 126M| 171 |   - |3655 |7675 |3655 | 973 |  52k|  39k|3288 | 0.000000e+00 | 3.000000e+02 |    Inf 
236.88/236.99	o 299
236.88/236.99	c * 229s| 79756 | 35089 |814523 |  10.2 | 128M| 171 |   - |3655 |7474 |3655 | 984 |  53k|  40k|3339 | 0.000000e+00 | 2.990000e+02 |    Inf 
236.99/237.01	o 288
236.99/237.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
236.99/237.01	c * 229s| 79761 | 34102 |814536 |  10.2 | 123M| 171 |   - |3655 |7474 |3655 | 984 |  53k|  40k|3339 | 0.000000e+00 | 2.880000e+02 |    Inf 
237.09/237.19	o 280
237.09/237.19	c * 229s| 79811 | 33443 |815120 |  10.2 | 119M| 171 |   - |3655 |7443 |3655 | 980 |  53k|  40k|3339 | 0.000000e+00 | 2.800000e+02 |    Inf 
237.28/237.39	o 275
237.28/237.39	c * 230s| 79862 | 33024 |815813 |  10.2 | 118M| 171 |   - |3655 |7414 |3655 | 973 |  53k|  40k|3339 | 0.000000e+00 | 2.750000e+02 |    Inf 
237.89/237.96	c   230s| 80000 | 33114 |817741 |  10.2 | 118M| 171 |  15 |3655 |7331 |3655 | 973 |  53k|  40k|3353 | 0.000000e+00 | 2.750000e+02 |    Inf 
240.69/240.72	o 267
240.69/240.72	c * 233s| 80759 | 32603 |826952 |  10.2 | 116M| 171 |   - |3655 |7204 |3655 | 983 |  53k|  41k|3376 | 0.000000e+00 | 2.670000e+02 |    Inf 
240.79/240.82	o 266
240.79/240.82	c * 233s| 80775 | 32502 |827472 |  10.2 | 115M| 171 |   - |3655 |7180 |3655 | 982 |  53k|  41k|3376 | 0.000000e+00 | 2.660000e+02 |    Inf 
242.09/242.18	o 261
242.09/242.18	c * 234s| 81091 | 32123 |832974 |  10.3 | 114M| 171 |   - |3655 |7065 |3655 | 975 |  54k|  42k|3382 | 0.000000e+00 | 2.610000e+02 |    Inf 
242.38/242.49	o 257
242.38/242.49	c * 235s| 81144 | 31747 |834523 |  10.3 | 113M| 171 |   - |3655 |7026 |3655 | 976 |  54k|  42k|3382 | 0.000000e+00 | 2.570000e+02 |    Inf 
243.79/243.88	o 254
243.79/243.88	c * 236s| 81410 | 31635 |840728 |  10.3 | 113M| 171 |   - |3655 |6973 |3655 | 979 |  54k|  42k|3386 | 0.000000e+00 | 2.540000e+02 |    Inf 
244.09/244.18	o 250
244.09/244.18	c * 236s| 81473 | 31180 |841987 |  10.3 | 111M| 171 |   - |3655 |6955 |3655 | 980 |  54k|  42k|3388 | 0.000000e+00 | 2.500000e+02 |    Inf 
244.19/244.26	o 248
244.19/244.26	c * 236s| 81486 | 30978 |842390 |  10.3 | 111M| 171 |   - |3655 |6945 |3655 | 980 |  54k|  42k|3388 | 0.000000e+00 | 2.480000e+02 |    Inf 
244.19/244.28	o 247
244.19/244.28	c * 236s| 81489 | 30848 |842396 |  10.3 | 110M| 171 |   - |3655 |6944 |3655 | 980 |  54k|  42k|3388 | 0.000000e+00 | 2.470000e+02 |    Inf 
244.28/244.37	o 246
244.28/244.37	c * 236s| 81504 | 30762 |842756 |  10.3 | 110M| 171 |   - |3655 |6932 |3655 | 977 |  54k|  42k|3388 | 0.000000e+00 | 2.460000e+02 |    Inf 
245.08/245.14	o 243
245.08/245.14	c * 237s| 81675 | 30481 |846782 |  10.4 | 109M| 171 |   - |3655 |7012 |3655 | 980 |  54k|  42k|3388 | 0.000000e+00 | 2.430000e+02 |    Inf 
245.19/245.28	o 235
245.19/245.28	c * 237s| 81692 | 29561 |847481 |  10.4 | 105M| 171 |   - |3655 |7007 |3655 | 995 |  54k|  42k|3393 | 0.000000e+00 | 2.350000e+02 |    Inf 
245.48/245.56	o 227
245.48/245.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
245.48/245.56	c * 238s| 81745 | 28555 |848625 |  10.4 | 102M| 171 |   - |3655 |7027 |3655 | 980 |  54k|  42k|3400 | 0.000000e+00 | 2.270000e+02 |    Inf 
246.59/246.65	o 222
246.59/246.65	c * 239s| 81996 | 28099 |852829 |  10.4 | 101M| 171 |   - |3655 |7150 |3655 | 990 |  54k|  42k|3421 | 0.000000e+00 | 2.220000e+02 |    Inf 
247.69/247.74	o 219
247.69/247.74	c * 240s| 82363 | 27965 |854920 |  10.4 | 101M| 171 |   - |3655 |7356 |3655 | 997 |  55k|  43k|3429 | 0.000000e+00 | 2.190000e+02 |    Inf 
249.59/249.62	o 217
249.59/249.62	c * 242s| 82738 | 27872 |862509 |  10.4 | 102M| 171 |   - |3655 |7363 |3655 | 972 |  55k|  43k|3471 | 0.000000e+00 | 2.170000e+02 |    Inf 
250.28/250.39	o 213
250.28/250.39	c * 242s| 82865 | 27470 |866373 |  10.5 | 101M| 171 |   - |3655 |7275 |3655 | 978 |  55k|  43k|3475 | 0.000000e+00 | 2.130000e+02 |    Inf 
251.98/252.02	o 209
251.98/252.02	c * 244s| 83236 | 27106 |873603 |  10.5 | 101M| 171 |   - |3655 |7402 |3655 | 973 |  55k|  44k|3477 | 0.000000e+00 | 2.090000e+02 |    Inf 
254.29/254.35	o 208
254.29/254.35	c * 246s| 83748 | 27207 |883682 |  10.5 | 102M| 171 |   - |3655 |7373 |3655 | 985 |  56k|  44k|3482 | 0.000000e+00 | 2.080000e+02 |    Inf 
255.09/255.11	o 197
255.09/255.11	c * 247s| 83916 | 25926 |887008 |  10.6 |  97M| 171 |   - |3655 |7439 |3655 | 968 |  56k|  44k|3482 | 0.000000e+00 | 1.970000e+02 |    Inf 
255.19/255.27	o 193
255.19/255.27	c * 247s| 83943 | 25523 |887895 |  10.6 |  96M| 171 |   - |3655 |7458 |3655 | 972 |  56k|  44k|3482 | 0.000000e+00 | 1.930000e+02 |    Inf 
255.39/255.46	o 182
255.39/255.46	c * 247s| 83971 | 24385 |888952 |  10.6 |  93M| 171 |   - |3655 |7462 |3655 | 979 |  56k|  44k|3482 | 0.000000e+00 | 1.820000e+02 |    Inf 
255.58/255.62	o 171
255.58/255.62	c * 247s| 83998 | 22577 |889832 |  10.6 |  87M| 171 |   - |3655 |7475 |3655 | 980 |  56k|  44k|3482 | 0.000000e+00 | 1.710000e+02 |    Inf 
257.79/257.87	o 160
257.79/257.87	c * 250s| 84424 | 21442 |899830 |  10.7 |  85M| 171 |   - |3655 |7659 |3655 | 981 |  56k|  45k|3516 | 0.000000e+00 | 1.600000e+02 |    Inf 
262.79/262.84	o 150
262.79/262.84	c * 254s| 85913 | 20705 |912154 |  10.6 |  85M| 171 |   - |3655 |6545 |3655 |1000 |  57k|  46k|3574 | 0.000000e+00 | 1.500000e+02 |    Inf 
262.79/262.89	o 142
262.79/262.89	c * 254s| 85929 | 19499 |912205 |  10.6 |  81M| 171 |   - |3655 |6525 |3655 |1001 |  57k|  46k|3574 | 0.000000e+00 | 1.420000e+02 |    Inf 
262.99/263.03	o 137
262.99/263.03	c * 255s| 85971 | 18203 |912396 |  10.6 |  78M| 171 |   - |3655 |6460 |3655 | 997 |  57k|  46k|3574 | 0.000000e+00 | 1.370000e+02 |    Inf 
262.99/263.08	o 127
262.99/263.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
262.99/263.08	c * 255s| 85989 | 17199 |912433 |  10.6 |  75M| 171 |   - |3655 |6454 |3655 | 991 |  57k|  46k|3574 | 0.000000e+00 | 1.270000e+02 |    Inf 
263.09/263.15	o 126
263.09/263.15	c * 255s| 86009 | 17130 |912500 |  10.6 |  75M| 171 |   - |3655 |6433 |3655 | 991 |  57k|  46k|3574 | 0.000000e+00 | 1.260000e+02 |    Inf 
263.09/263.18	o 117
263.09/263.18	c * 255s| 86020 | 16362 |912507 |  10.6 |  72M| 171 |   - |3655 |6422 |3655 | 988 |  57k|  46k|3574 | 0.000000e+00 | 1.170000e+02 |    Inf 
264.00/264.04	o 113
264.00/264.04	c * 256s| 86305 | 16115 |914676 |  10.6 |  72M| 171 |   - |3655 |6029 |3655 | 983 |  57k|  47k|3584 | 0.000000e+00 | 1.130000e+02 |    Inf 
265.89/265.92	o 112
265.89/265.92	c * 257s| 86883 | 15986 |920338 |  10.6 |  74M| 171 |   - |3655 |6162 |3655 | 978 |  58k|  48k|3586 | 0.000000e+00 | 1.120000e+02 |    Inf 
265.89/265.92	o 111
265.89/265.92	c * 257s| 86884 | 15726 |920338 |  10.6 |  73M| 171 |   - |3655 |6162 |3655 | 978 |  58k|  48k|3586 | 0.000000e+00 | 1.110000e+02 |    Inf 
266.69/266.72	o 103
266.69/266.72	c * 258s| 87127 | 15279 |922407 |  10.6 |  72M| 171 |   - |3655 |5960 |3655 | 981 |  58k|  48k|3589 | 0.000000e+00 | 1.030000e+02 |    Inf 
266.69/266.79	o 95
266.69/266.79	c * 258s| 87151 | 14312 |922537 |  10.6 |  69M| 171 |   - |3655 |5929 |3655 |1000 |  58k|  48k|3589 | 0.000000e+00 | 9.500000e+01 |    Inf 
266.88/266.95	o 83
266.88/266.95	c * 258s| 87221 | 13076 |922679 |  10.6 |  64M| 171 |   - |3655 |5753 |3655 | 973 |  58k|  48k|3589 | 0.000000e+00 | 8.300000e+01 |    Inf 
266.99/267.01	o 82
266.99/267.01	c * 258s| 87234 |  6470 |922696 |  10.6 |  47M| 171 |   - |3655 |5522 |3655 | 973 |  58k|  48k|3589 | 0.000000e+00 | 8.200000e+01 |    Inf 
276.19/276.21	c   267s| 90000 |  6685 |953366 |  10.6 |  52M| 171 |  19 |3655 |6092 |3655 | 972 |  59k|  52k|3642 | 0.000000e+00 | 8.200000e+01 |    Inf 
303.69/303.70	o 77
303.69/303.70	c * 294s| 98365 |  7114 |  1039k|  10.6 |  66M| 171 |   - |3655 |7786 |3655 | 968 |  62k|  63k|3796 | 0.000000e+00 | 7.700000e+01 |    Inf 
308.69/308.70	c   299s|100000 |  7155 |  1052k|  10.5 |  68M| 171 |   - |3655 |6973 |   0 |   0 |  62k|  66k|3796 | 0.000000e+00 | 7.700000e+01 |    Inf 
316.88/316.94	o 74
316.88/316.94	c * 307s|102741 |  7109 |  1074k|  10.5 |  71M| 171 |   - |3655 |6900 |3655 | 977 |  63k|  70k|3879 | 0.000000e+00 | 7.400000e+01 |    Inf 
321.09/321.18	o 70
321.09/321.18	c * 311s|104277 |  6964 |  1084k|  10.4 |  73M| 171 |   - |3655 |6307 |3655 | 968 |  63k|  72k|3893 | 0.000000e+00 | 7.000000e+01 |    Inf 
324.49/324.57	o 63
324.49/324.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
324.49/324.57	c * 314s|105662 |  6688 |  1091k|  10.3 |  72M| 171 |   - |3655 |6198 |3655 | 992 |  64k|  74k|3911 | 0.000000e+00 | 6.300000e+01 |    Inf 
328.09/328.11	o 55
328.09/328.11	c * 318s|106884 |  5866 |  1100k|  10.3 |  69M| 171 |   - |3655 |5872 |3655 | 980 |  64k|  76k|3913 | 0.000000e+00 | 5.500000e+01 |    Inf 
335.39/335.50	o 48
335.39/335.50	c * 325s|109586 |  5506 |  1120k|  10.2 |  69M| 171 |   - |3655 |5998 |3655 | 968 |  65k|  80k|3945 | 0.000000e+00 | 4.800000e+01 |    Inf 
336.49/336.51	c   326s|110000 |  5502 |  1123k|  10.2 |  69M| 171 |   - |3655 |5653 |3655 | 972 |  65k|  81k|3962 | 0.000000e+00 | 4.800000e+01 |    Inf 
342.49/342.51	o 45
342.49/342.51	c * 331s|112181 |  5092 |  1140k|  10.2 |  69M| 171 |   - |3655 |5813 |3655 | 968 |  66k|  84k|4003 | 0.000000e+00 | 4.500000e+01 |    Inf 
351.59/351.64	o 44
351.59/351.64	c * 340s|116193 |  4807 |  1162k|  10.0 |  69M| 171 |   - |3655 |6958 |3655 | 975 |  66k|  91k|4011 | 0.000000e+00 | 4.400000e+01 |    Inf 
351.59/351.70	o 40
351.59/351.70	c * 340s|116213 |  4750 |  1162k|  10.0 |  69M| 171 |   - |3655 |6860 |3655 | 975 |  66k|  91k|4011 | 0.000000e+00 | 4.000000e+01 |    Inf 
359.29/359.31	c   348s|120000 |  4745 |  1178k|   9.8 |  70M| 171 |   1 |3655 |8028 |3655 | 973 |  67k|  96k|4063 | 0.000000e+00 | 4.000000e+01 |    Inf 
361.79/361.87	o 38
361.79/361.87	c * 350s|121337 |  4727 |  1183k|   9.8 |  70M| 171 |   - |3655 |8579 |3655 | 979 |  67k|  98k|4068 | 0.000000e+00 | 3.800000e+01 |    Inf 
361.79/361.87	o 36
361.79/361.87	c * 350s|121338 |  4664 |  1183k|   9.8 |  70M| 171 |   - |3655 |8579 |3655 | 979 |  67k|  98k|4068 | 0.000000e+00 | 3.600000e+01 |    Inf 
363.09/363.11	o 31
363.09/363.11	c * 351s|122001 |  4602 |  1186k|   9.7 |  69M| 171 |   - |3655 |9169 |3655 | 978 |  67k|  99k|4068 | 0.000000e+00 | 3.100000e+01 |    Inf 
363.09/363.15	o 26
363.09/363.15	c * 351s|122021 |  4182 |  1186k|   9.7 |  63M| 171 |   - |3655 |8972 |3655 | 978 |  67k|  99k|4068 | 0.000000e+00 | 2.600000e+01 |    Inf 
363.49/363.55	o 16
363.49/363.55	c * 352s|122247 |  3816 |  1187k|   9.7 |  57M| 171 |   - |3655 |8801 |3655 | 978 |  67k|  99k|4068 | 0.000000e+00 | 1.600000e+01 |    Inf 
363.79/363.81	o 14
363.79/363.81	c * 352s|122400 |  3167 |  1188k|   9.7 |  53M| 171 |   - |3655 |8614 |3655 | 978 |  67k|  99k|4068 | 0.000000e+00 | 1.400000e+01 |    Inf 
377.19/377.28	c   365s|130000 |  3069 |  1224k|   9.4 |  54M| 171 |  22 |3655 |9146 |3655 | 972 |  68k| 110k|4126 | 0.000000e+00 | 1.400000e+01 |    Inf 
395.29/395.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
395.29/395.37	c   382s|140000 |  2741 |  1274k|   9.1 |  53M| 171 |  22 |3655 |9692 |3655 | 973 |  70k| 124k|4200 | 0.000000e+00 | 1.400000e+01 |    Inf 
399.69/399.77	o 5
399.69/399.77	c * 386s|142447 |  2600 |  1285k|   9.0 |  50M| 171 |   - |3655 |8433 |3655 | 974 |  70k| 127k|4204 | 0.000000e+00 | 5.000000e+00 |    Inf 
412.69/412.79	c   399s|150000 |  2565 |  1323k|   8.8 |  50M| 171 |   1 |3655 |8687 |3655 | 971 |  71k| 137k|4272 | 0.000000e+00 | 5.000000e+00 |    Inf 
429.58/429.68	c   415s|160000 |  2449 |  1369k|   8.6 |  51M| 171 |  16 |3655 |  12k|3655 | 978 |  72k| 151k|4383 | 0.000000e+00 | 5.000000e+00 |    Inf 
448.29/448.30	c   433s|170000 |  2302 |  1422k|   8.4 |  52M| 171 |   - |3655 |  15k|   0 |   0 |  73k| 164k|4487 | 0.000000e+00 | 5.000000e+00 |    Inf 
467.19/467.26	c   451s|180000 |  2186 |  1473k|   8.2 |  51M| 171 |   - |3655 |  14k|   0 |   0 |  74k| 178k|4588 | 0.000000e+00 | 5.000000e+00 |    Inf 
485.29/485.35	c   468s|190000 |  2201 |  1515k|   8.0 |  53M| 171 |   6 |3655 |  19k|3655 | 975 |  76k| 191k|4658 | 0.000000e+00 | 5.000000e+00 |    Inf 
505.59/505.64	c   488s|200000 |  2224 |  1553k|   7.8 |  57M| 171 |   1 |3655 |  28k|3655 | 968 |  77k| 204k|4708 | 0.000000e+00 | 5.000000e+00 |    Inf 
528.70/528.76	c   510s|210000 |  2247 |  1594k|   7.6 |  59M| 171 |  19 |3655 |  32k|3655 | 968 |  78k| 218k|4748 | 0.000000e+00 | 5.000000e+00 |    Inf 
554.89/554.96	c   536s|220000 |  2268 |  1640k|   7.5 |  58M| 171 |   - |3655 |  26k|   0 |   0 |  79k| 231k|4844 | 0.000000e+00 | 5.000000e+00 |    Inf 
580.00/580.06	c   561s|230000 |  2287 |  1685k|   7.3 |  60M| 171 |  12 |3655 |  31k|3655 | 968 |  80k| 244k|4904 | 0.000000e+00 | 5.000000e+00 |    Inf 
604.09/604.15	c   584s|240000 |  2271 |  1724k|   7.2 |  61M| 171 |   - |3655 |  35k|   0 |   0 |  82k| 257k|4971 | 0.000000e+00 | 5.000000e+00 |    Inf 
631.30/631.34	c   610s|250000 |  2327 |  1768k|   7.1 |  63M| 171 |   - |3655 |  37k|   0 |   0 |  83k| 270k|5038 | 0.000000e+00 | 5.000000e+00 |    Inf 
658.59/658.69	c   637s|260000 |  2291 |  1812k|   7.0 |  64M| 171 |   1 |3655 |  40k|3655 | 968 |  84k| 284k|5103 | 0.000000e+00 | 5.000000e+00 |    Inf 
686.50/686.54	c   664s|270000 |  2259 |  1854k|   6.9 |  62M| 171 |   1 |3655 |  36k|3655 | 968 |  85k| 297k|5166 | 0.000000e+00 | 5.000000e+00 |    Inf 
708.69/708.76	o 2
708.69/708.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
708.69/708.76	c * 686s|278057 |  2159 |  1884k|   6.8 |  62M| 171 |   - |3655 |  39k|3655 | 970 |  86k| 308k|5184 | 0.000000e+00 | 2.000000e+00 |    Inf 
713.59/713.65	c   691s|280000 |  2174 |  1890k|   6.8 |  62M| 171 |   1 |3655 |  40k|3655 | 968 |  86k| 311k|5184 | 0.000000e+00 | 2.000000e+00 |    Inf 
740.39/740.43	c   717s|290000 |  2186 |  1925k|   6.6 |  65M| 171 |  19 |3655 |  45k|3655 | 968 |  87k| 324k|5244 | 0.000000e+00 | 2.000000e+00 |    Inf 
769.40/769.45	c   745s|300000 |  2213 |  1963k|   6.5 |  66M| 171 |  14 |3655 |  48k|3655 | 968 |  88k| 338k|5299 | 0.000000e+00 | 2.000000e+00 |    Inf 
798.80/798.87	c   774s|310000 |  2137 |  2007k|   6.5 |  64M| 171 |   - |3655 |  42k|   0 |   0 |  90k| 351k|5364 | 0.000000e+00 | 2.000000e+00 |    Inf 
829.10/829.14	c   804s|320000 |  2105 |  2056k|   6.4 |  62M| 171 |   9 |3655 |  35k|3655 | 968 |  91k| 364k|5439 | 0.000000e+00 | 2.000000e+00 |    Inf 
856.20/856.21	c   830s|330000 |  2106 |  2095k|   6.3 |  64M| 171 |   9 |3655 |  42k|3655 | 968 |  92k| 377k|5500 | 0.000000e+00 | 2.000000e+00 |    Inf 
886.70/886.75	c   860s|340000 |  2138 |  2134k|   6.3 |  66M| 171 |   - |3655 |  47k|   0 |   0 |  92k| 391k|5551 | 0.000000e+00 | 2.000000e+00 |    Inf 
916.50/916.59	c   889s|350000 |  2115 |  2174k|   6.2 |  65M| 171 |   - |3655 |  44k|   0 |   0 |  93k| 405k|5614 | 0.000000e+00 | 2.000000e+00 |    Inf 
947.10/947.11	c   919s|360000 |  2140 |  2216k|   6.2 |  67M| 171 |   - |3655 |  49k|   0 |   0 |  94k| 418k|5641 | 0.000000e+00 | 2.000000e+00 |    Inf 
976.80/976.84	c   948s|370000 |  2120 |  2253k|   6.1 |  66M| 171 |  12 |3655 |  47k|3655 | 968 |  95k| 431k|5693 | 0.000000e+00 | 2.000000e+00 |    Inf 
1007.01/1007.07	c   977s|380000 |  2144 |  2291k|   6.0 |  68M| 171 |   - |3655 |  53k|   0 |   0 |  96k| 445k|5744 | 0.000000e+00 | 2.000000e+00 |    Inf 
1037.90/1037.92	c  1008s|390000 |  2167 |  2327k|   6.0 |  70M| 171 |   6 |3655 |  54k|3655 | 968 |  97k| 458k|5788 | 0.000000e+00 | 2.000000e+00 |    Inf 
1073.40/1073.49	c  1042s|400000 |  2159 |  2367k|   5.9 |  70M| 171 |   - |3655 |  56k|   0 |   0 |  98k| 472k|5811 | 0.000000e+00 | 2.000000e+00 |    Inf 
1109.81/1109.90	c  1078s|410000 |  2174 |  2408k|   5.9 |  72M| 171 |  11 |3655 |  60k|3655 | 968 |  99k| 486k|5851 | 0.000000e+00 | 2.000000e+00 |    Inf 
1148.00/1148.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1148.00/1148.09	c  1115s|420000 |  2168 |  2445k|   5.8 |  73M| 171 |  13 |3655 |  63k|3655 | 968 | 100k| 499k|5909 | 0.000000e+00 | 2.000000e+00 |    Inf 
1187.30/1187.35	c  1154s|430000 |  2272 |  2483k|   5.8 |  76M| 171 |   - |3655 |  68k|3655 | 968 | 101k| 513k|5961 | 0.000000e+00 | 2.000000e+00 |    Inf 
1226.90/1226.94	c  1193s|440000 |  2213 |  2520k|   5.7 |  76M| 171 |   1 |3655 |  68k|3655 | 968 | 103k| 527k|5976 | 0.000000e+00 | 2.000000e+00 |    Inf 
1267.41/1267.40	c  1232s|450000 |  2230 |  2559k|   5.7 |  77M| 171 |  14 |3655 |  70k|3655 | 968 | 103k| 541k|6024 | 0.000000e+00 | 2.000000e+00 |    Inf 
1309.11/1309.19	c  1273s|460000 |  2224 |  2600k|   5.7 |  78M| 171 |  21 |3655 |  73k|3655 | 968 | 104k| 555k|6085 | 0.000000e+00 | 2.000000e+00 |    Inf 
1352.61/1352.69	c  1316s|470000 |  2273 |  2640k|   5.6 |  80M| 171 |   - |3655 |  75k|   0 |   0 | 105k| 569k|6136 | 0.000000e+00 | 2.000000e+00 |    Inf 
1411.71/1411.80	c  1375s|480000 |  2292 |  2679k|   5.6 |  81M| 171 |  15 |3655 |  76k|3655 | 968 | 106k| 583k|6155 | 0.000000e+00 | 2.000000e+00 |    Inf 
1472.11/1472.18	c  1435s|490000 |  2274 |  2719k|   5.6 |  81M| 171 |   - |3655 |  76k|   0 |   0 | 107k| 597k|6207 | 0.000000e+00 | 2.000000e+00 |    Inf 
1532.01/1532.02	c  1495s|500000 |  2266 |  2765k|   5.5 |  81M| 171 |  12 |3655 |  77k|3655 | 968 | 108k| 611k|6267 | 0.000000e+00 | 2.000000e+00 |    Inf 
1593.62/1593.65	c  1556s|510000 |  2325 |  2805k|   5.5 |  83M| 171 |   5 |3655 |  81k|3655 | 968 | 109k| 625k|6311 | 0.000000e+00 | 2.000000e+00 |    Inf 
1653.42/1653.45	c  1616s|520000 |  2311 |  2843k|   5.5 |  85M| 171 |  13 |3655 |  84k|3655 | 968 | 110k| 640k|6322 | 0.000000e+00 | 2.000000e+00 |    Inf 
1718.38/1718.43	c  1680s|530000 |  2424 |  2882k|   5.4 |  87M| 171 |   - |3655 |  87k|   0 |   0 | 111k| 654k|6381 | 0.000000e+00 | 2.000000e+00 |    Inf 
1786.88/1786.93	c  1749s|540000 |  2426 |  2921k|   5.4 |  88M| 171 |  17 |3655 |  90k|3655 | 968 | 111k| 669k|6429 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.09/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.11	c 
1800.09/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.11	c Solving Time (sec) : 1761.74
1800.09/1800.11	c Solving Nodes      : 542042
1800.09/1800.11	c Primal Bound       : +2.00000000000000e+00 (263 solutions)
1800.09/1800.11	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.11	c Gap                : infinite
1800.09/1800.16	s SATISFIABLE
1800.09/1800.16	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.09/1800.16	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.09/1800.16	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
1800.09/1800.16	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 
1800.09/1800.16	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.09/1800.16	v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.09/1800.16	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.09/1800.16	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.09/1800.16	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.09/1800.16	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.09/1800.16	v -x1 
1800.09/1800.16	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.16	c Solving Time       :    1761.74
1800.09/1800.16	c Original Problem   :
1800.09/1800.16	c   Problem name     : HOME/instance-2692885-1277908729.wbo
1800.09/1800.16	c   Variables        : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.09/1800.16	c   Constraints      : 4485 initial, 4485 maximal
1800.09/1800.16	c Presolved Problem  :
1800.09/1800.16	c   Problem name     : t_HOME/instance-2692885-1277908729.wbo
1800.09/1800.16	c   Variables        : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.09/1800.16	c   Constraints      : 4329 initial, 90643 maximal
1800.09/1800.16	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.16	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.09/1800.16	c   dualfix          :       0.00         65          0          0          0          0          0          0          0
1800.09/1800.16	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.09/1800.16	c   indicator        :       0.00          0          0          0          0          0         65          0          0
1800.09/1800.16	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   linear           :       0.08          0          0          0       1789          0         91         76          0
1800.09/1800.16	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.16	c   root node        :          -       1690          -          -       3380          -          -          -          -
1800.09/1800.16	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.16	c   integral         :          0          0          0     349812          0         14        459          0          0     552912
1800.09/1800.16	c   indicator        :       1712          0    2480621      72872          0        620    6933487          0          0          0
1800.09/1800.16	c   setppc           :          7          6    2460397      58132          0      10385     802072          0          0          0
1800.09/1800.16	c   linear           :       1712          6    2476635      70699          0     126355   10759551     111625          0          0
1800.09/1800.16	c   logicor          :        898+         6    1123263      53724          0     101284    2750551          0          0          0
1800.09/1800.16	c   bounddisjunction :          0+         0      15184          0          0          0         22          0          0          0
1800.09/1800.16	c   countsols        :          0          0          0      53724          0          0          0          0          0          0
1800.09/1800.16	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.16	c   integral         :      22.98       0.00       0.00      22.98       0.00
1800.09/1800.16	c   indicator        :      25.61       0.00      16.16       9.45       0.00
1800.09/1800.16	c   setppc           :       7.53       0.00       7.53       0.00       0.00
1800.09/1800.16	c   linear           :     109.73       0.00     105.76       3.97       0.00
1800.09/1800.16	c   logicor          :     471.32       0.00     470.60       0.72       0.00
1800.09/1800.16	c   bounddisjunction :       0.03       0.00       0.03       0.00       0.00
1800.09/1800.16	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.16	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.16	c   vbounds          :       0.13          2          0          0
1800.09/1800.16	c   rootredcost      :       0.11        101          0       1690
1800.09/1800.16	c   pseudoobj        :      89.99    2502780      12579    4521102
1800.09/1800.16	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.16	c   propagation      :      15.20     250603     250263    1585773       28.7      12653       16.3          -
1800.09/1800.16	c   infeasible LP    :       3.30      10057      10057      81809       41.6         83       13.1          0
1800.09/1800.16	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.16	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.16	c   pseudo solution  :       0.10        717        717       3806       14.7        423        5.1          -
1800.09/1800.16	c   applied globally :          -          -          -     673074       22.8          -          -          -
1800.09/1800.16	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.16	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.16	c   cut pool         :       0.00          5          -          -         63          -    (maximal pool size: 99)
1800.09/1800.16	c   redcost          :      21.59     355990          0    2337417          0          0
1800.09/1800.16	c   impliedbounds    :       0.00          6          0          0          0          0
1800.09/1800.16	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.16	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.16	c   gomory           :       0.15          6          0          0        605          0
1800.09/1800.16	c   strongcg         :       0.09          6          0          0        120          0
1800.09/1800.16	c   cmir             :       0.01          6          0          0          0          0
1800.09/1800.16	c   flowcover        :       0.08          6          0          0          0          0
1800.09/1800.16	c   clique           :       0.00          6          0          0          0          0
1800.09/1800.16	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.16	c   mcf              :       0.00          1          0          0          0          0
1800.09/1800.16	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.16	c Pricers            :       Time      Calls       Vars
1800.09/1800.16	c   problem variables:       0.00          0          0
1800.09/1800.16	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.16	c   relpscost        :      22.81     276878         14        459          0          0     552912
1800.09/1800.16	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.16	c   inference        :       8.02      53624          0          0          0          0     107248
1800.09/1800.16	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.16	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.16	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.16	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.16	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.16	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.16	c   LP solutions     :       0.19          -        100
1800.09/1800.16	c   pseudo solutions :       0.00          -          0
1800.09/1800.16	c   feaspump         :       0.00          1          0
1800.09/1800.16	c   oneopt           :       0.77         92          0
1800.09/1800.16	c   crossover        :       2.36        104          0
1800.09/1800.16	c   veclendiving     :       1.62       1501          0
1800.09/1800.16	c   fracdiving       :       1.56       1501          0
1800.09/1800.16	c   linesearchdiving :       1.39       1501          0
1800.09/1800.16	c   guideddiving     :       1.48       1501          0
1800.09/1800.16	c   coefdiving       :       1.34       1502          0
1800.09/1800.16	c   pscostdiving     :       1.45       1502          0
1800.09/1800.16	c   objpscostdiving  :       1.43       1453          0
1800.09/1800.16	c   rootsoldiving    :       1.50       1461          0
1800.09/1800.16	c   trivial          :       0.01          2          0
1800.09/1800.16	c   simplerounding   :       0.68     278894          0
1800.09/1800.16	c   zirounding       :       0.16       1000          0
1800.09/1800.16	c   rounding         :       1.60       7404          0
1800.09/1800.16	c   shifting         :       1.48       2294          0
1800.09/1800.16	c   intshifting      :       0.01          8          0
1800.09/1800.16	c   twoopt           :       0.00          0          0
1800.09/1800.16	c   fixandinfer      :       0.00          0          0
1800.09/1800.16	c   intdiving        :       0.00          0          0
1800.09/1800.16	c   actconsdiving    :       0.00          0          0
1800.09/1800.16	c   octane           :       0.00          0          0
1800.09/1800.16	c   rens             :       0.03          1          0
1800.09/1800.16	c   rins             :       0.00          0          0
1800.09/1800.16	c   localbranching   :       0.00          0          0
1800.09/1800.16	c   mutation         :       0.00          0          0
1800.09/1800.16	c   dins             :       0.00          0          0
1800.09/1800.16	c   undercover       :       0.00          0          0
1800.09/1800.16	c   nlp              :       0.04          0          0
1800.09/1800.16	c   trysol           :       0.95       5285        163
1800.09/1800.16	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.16	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.16	c   dual LP          :     431.30     314335    2924751       9.30    6781.25
1800.09/1800.16	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.16	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.16	c   diving/probing LP:       0.63        235       4704      20.02    7466.67
1800.09/1800.16	c   strong branching :      19.79       6435     141537      21.99    7151.95
1800.09/1800.16	c     (at root node) :          -         33       5509     166.94          -
1800.09/1800.16	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.16	c B&B Tree           :
1800.09/1800.16	c   number of runs   :          1
1800.09/1800.16	c   nodes            :     542042
1800.09/1800.16	c   nodes (total)    :     542042
1800.09/1800.16	c   nodes left       :       2391
1800.09/1800.16	c   max depth        :        171
1800.09/1800.16	c   max depth (total):        171
1800.09/1800.16	c   backtracks       :      59083 (10.9%)
1800.09/1800.16	c   delayed cutoffs  :      52356
1800.09/1800.16	c   repropagations   :     978999 (4479725 domain reductions, 50037 cutoffs)
1800.09/1800.16	c   avg switch length:       5.20
1800.09/1800.16	c   switching time   :     305.53
1800.09/1800.16	c Solution           :
1800.09/1800.16	c   Solutions found  :        263 (101 improvements)
1800.09/1800.16	c   First Solution   : +8.67840000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.09/1800.16	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 278057 nodes, 685.99 seconds, depth 25, found by <relaxation>)
1800.09/1800.16	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.16	c   Gap              :   infinite
1800.09/1800.16	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.16	c   Root Iterations  :        329
1800.28/1800.35	c Time complete: 1800.33.

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-2692885-1277908729/watcher-2692885-1277908729 -o /tmp/evaluation-result-2692885-1277908729/solver-2692885-1277908729 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692885-1277908729.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.93 2.03 2.06 4/194 12987
/proc/meminfo: memFree=31334144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=9408 CPUtime=0
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 1646 0 0 0 0 0 0 0 24 0 1 0 132169535 9633792 1565 4089446400 4194304 8223781 140733551006704 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12987/statm: 2352 1565 369 984 0 1365 0

[startup+0.0684999 s]
/proc/loadavg: 1.93 2.03 2.06 4/194 12987
/proc/meminfo: memFree=31334144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=29180 CPUtime=0.06
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 7201 0 0 0 5 1 0 0 25 0 1 0 132169535 29880320 6242 4089446400 4194304 8223781 140733551006704 18446744073709551615 4914191 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 7295 6242 446 984 0 6308 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29180

[startup+0.100496 s]
/proc/loadavg: 1.93 2.03 2.06 4/194 12987
/proc/meminfo: memFree=31334144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=29180 CPUtime=0.09
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 7214 0 0 0 8 1 0 0 25 0 1 0 132169535 29880320 6255 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 7295 6255 452 984 0 6308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29180

[startup+0.300457 s]
/proc/loadavg: 1.93 2.03 2.06 4/194 12987
/proc/meminfo: memFree=31334144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=36328 CPUtime=0.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 11971 0 0 0 27 2 0 0 25 0 1 0 132169535 37199872 8158 4089446400 4194304 8223781 140733551006704 18446744073709551615 5893910 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12987/statm: 9082 8158 573 984 0 8095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36328

[startup+0.700404 s]
/proc/loadavg: 1.93 2.03 2.06 4/194 12987
/proc/meminfo: memFree=31334144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=41188 CPUtime=0.69
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 19564 0 0 0 66 3 0 0 25 0 1 0 132169535 42176512 9372 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12987/statm: 10297 9372 589 984 0 9310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41188

[startup+1.5002 s]
/proc/loadavg: 1.93 2.03 2.06 3/195 12988
/proc/meminfo: memFree=31298300/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=41188 CPUtime=1.48
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 19564 0 0 0 144 4 0 0 25 0 1 0 132169535 42176512 9372 4089446400 4194304 8223781 140733551006704 18446744073709551615 6503488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12987/statm: 10297 9372 589 984 0 9310 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41188

[startup+3.10097 s]
/proc/loadavg: 1.93 2.03 2.06 3/195 12988
/proc/meminfo: memFree=31297804/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=41188 CPUtime=3.08
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 19565 0 0 0 299 9 0 0 25 0 1 0 132169535 42176512 9373 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 10297 9373 590 984 0 9310 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41188

[startup+6.30041 s]
/proc/loadavg: 1.93 2.03 2.06 3/195 12988
/proc/meminfo: memFree=31298404/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=41188 CPUtime=6.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 19627 0 0 0 607 21 0 0 25 0 1 0 132169535 42176512 9435 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 10297 9435 591 984 0 9310 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41188

[startup+12.7003 s]
/proc/loadavg: 1.94 2.03 2.06 3/195 12988
/proc/meminfo: memFree=31277936/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=47872 CPUtime=12.68
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 38397 0 0 0 1226 42 0 0 25 0 1 0 132169535 49020928 10954 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 11968 10954 596 984 0 10981 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47872

[startup+25.5011 s]
/proc/loadavg: 1.95 2.03 2.05 3/195 12988
/proc/meminfo: memFree=31283420/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=57556 CPUtime=25.48
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 60246 0 0 0 2465 83 0 0 25 0 1 0 132169535 58937344 13401 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 14389 13401 596 984 0 13402 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57556

[startup+51.1006 s]
/proc/loadavg: 1.97 2.03 2.05 3/195 12989
/proc/meminfo: memFree=31257672/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=84184 CPUtime=51.08
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 77271 0 0 0 4936 172 0 0 25 0 1 0 132169535 86204416 20072 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 21035 20072 596 984 0 20048 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84184

[startup+102.307 s]
/proc/loadavg: 1.98 2.02 2.05 3/195 12990
/proc/meminfo: memFree=31213600/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=126000 CPUtime=102.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 166562 0 0 0 9867 362 0 0 25 0 1 0 132169535 129024000 30556 4089446400 4194304 8223781 140733551006704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 31500 30556 598 984 0 30513 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 126000

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/195 12992
/proc/meminfo: memFree=31161960/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=179060 CPUtime=162.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 273162 0 0 0 15674 555 0 0 25 0 1 0 132169535 183357440 43616 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 44765 43616 599 984 0 43778 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 179060

[startup+222.301 s]
/proc/loadavg: 1.99 2.01 2.04 3/195 12994
/proc/meminfo: memFree=31119992/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=221392 CPUtime=222.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 367850 0 0 0 21502 726 0 0 25 0 1 0 132169535 226705408 53985 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 55348 53985 600 984 0 54361 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 221392

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/195 12996
/proc/meminfo: memFree=31078776/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=264524 CPUtime=282.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 493224 0 0 0 27319 910 0 0 25 0 1 0 132169535 270872576 64384 4089446400 4194304 8223781 140733551006704 18446744073709551615 6483706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 66131 64384 606 984 0 65144 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 264524

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.02 3/195 12997
/proc/meminfo: memFree=31045236/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=301136 CPUtime=342.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 601231 0 0 0 33119 1110 0 0 25 0 1 0 132169535 308363264 72670 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 75284 72670 607 984 0 74297 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 301136

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/195 12998
/proc/meminfo: memFree=31036748/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=308308 CPUtime=402.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 707116 0 0 0 38879 1349 0 0 25 0 1 0 132169535 315707392 74510 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 77077 74510 607 984 0 76090 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 308308

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.01 3/195 13000
/proc/meminfo: memFree=31034952/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=310480 CPUtime=462.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 758700 0 0 0 44617 1612 0 0 25 0 1 0 132169535 317931520 75041 4089446400 4194304 8223781 140733551006704 18446744073709551615 4227350 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 77620 75041 607 984 0 76633 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 310480

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.01 3/195 13002
/proc/meminfo: memFree=31029320/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=316044 CPUtime=522.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 764477 0 0 0 50422 1807 0 0 25 0 1 0 132169535 323629056 76372 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 79011 76372 607 984 0 78024 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 316044

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/195 13004
/proc/meminfo: memFree=31025916/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=319328 CPUtime=582.29
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 770278 0 0 0 56272 1957 0 0 25 0 1 0 132169535 326991872 77129 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 79832 77129 607 984 0 78845 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 319328

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/195 13005
/proc/meminfo: memFree=31021644/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=322076 CPUtime=642.3
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 782697 0 0 0 62117 2113 0 0 25 0 1 0 132169535 329805824 77653 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 80519 77653 607 984 0 79532 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 322076

[startup+702.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 13013
/proc/meminfo: memFree=31015616/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=329752 CPUtime=942.3
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 836921 0 0 0 91416 2814 0 0 25 0 1 0 132169535 337666048 79100 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 82438 79100 607 984 0 81451 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 329752

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 13014
/proc/meminfo: memFree=31015184/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=329880 CPUtime=1002.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 838825 0 0 0 97275 2956 0 0 25 0 1 0 132169535 337797120 79156 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 82470 79156 607 984 0 81483 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 329880

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 13016
/proc/meminfo: memFree=31014032/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=332396 CPUtime=1062.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 849823 0 0 0 103146 3085 0 0 25 0 1 0 132169535 340373504 79761 4089446400 4194304 8223781 140733551006704 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 83099 79761 607 984 0 82112 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 332396

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 13018
/proc/meminfo: memFree=31010004/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=336124 CPUtime=1122.3
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 852694 0 0 0 109016 3214 0 0 25 0 1 0 132169535 344190976 80684 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 84031 80684 607 984 0 83044 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 336124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13048
/proc/meminfo: memFree=31005580/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=337688 CPUtime=1182.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 853714 0 0 0 114901 3330 0 0 25 0 1 0 132169535 345792512 81020 4089446400 4194304 8223781 140733551006704 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 84422 81020 607 984 0 83435 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 337688

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13049
/proc/meminfo: memFree=30837348/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=339156 CPUtime=1242.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 854788 0 0 0 120785 3446 0 0 25 0 1 0 132169535 347295744 81413 4089446400 4194304 8223781 140733551006704 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 84789 81413 607 984 0 83802 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 339156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13050
/proc/meminfo: memFree=30681704/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=340668 CPUtime=1302.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 855410 0 0 0 126672 3559 0 0 25 0 1 0 132169535 348844032 81764 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12987/statm: 85167 81764 607 984 0 84180 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 340668

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13061
/proc/meminfo: memFree=30538424/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=341920 CPUtime=1362.3
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 856332 0 0 0 132582 3648 0 0 25 0 1 0 132169535 350126080 82185 4089446400 4194304 8223781 140733551006704 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 85480 82185 607 984 0 84493 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 341920

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13063
/proc/meminfo: memFree=30400516/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=342512 CPUtime=1422.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 857079 0 0 0 138559 3672 0 0 25 0 1 0 132169535 350732288 82343 4089446400 4194304 8223781 140733551006704 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 85628 82343 607 984 0 84641 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 342512

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13065
/proc/meminfo: memFree=30267568/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=342764 CPUtime=1482.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 865283 0 0 0 144534 3697 0 0 25 0 1 0 132169535 350990336 82406 4089446400 4194304 8223781 140733551006704 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 85691 82406 607 984 0 84704 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 342764

[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 13066
/proc/meminfo: memFree=30136600/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=343564 CPUtime=1542.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 866058 0 0 0 150506 3725 0 0 25 0 1 0 132169535 351809536 82541 4089446400 4194304 8223781 140733551006704 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 85891 82541 607 984 0 84904 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 343564

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13067
/proc/meminfo: memFree=30004884/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=344040 CPUtime=1602.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 866355 0 0 0 156481 3750 0 0 25 0 1 0 132169535 352296960 82707 4089446400 4194304 8223781 140733551006704 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 86010 82707 607 984 0 85023 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 344040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13069
/proc/meminfo: memFree=29873424/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=345952 CPUtime=1662.31
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 866891 0 0 0 162455 3776 0 0 25 0 1 0 132169535 354254848 83193 4089446400 4194304 8223781 140733551006704 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 86488 83193 607 984 0 85501 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 345952

[startup+1722.3 s]
/proc/loadavg: 2.22 2.05 2.02 4/198 13127
/proc/meminfo: memFree=30877808/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=346784 CPUtime=1722.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 867430 0 0 0 168427 3801 0 0 25 0 1 0 132169535 355106816 83383 4089446400 4194304 8223781 140733551006704 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 86696 83383 607 984 0 85709 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 346784

[startup+1782.3 s]
/proc/loadavg: 2.71 2.22 2.07 4/198 13131
/proc/meminfo: memFree=30856212/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=347444 CPUtime=1782.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 868216 0 0 0 174402 3826 0 0 25 0 1 0 132169535 355782656 83563 4089446400 4194304 8223781 140733551006704 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 86861 83563 607 984 0 85874 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 347444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.79 2.27 2.09 3/198 13131
/proc/meminfo: memFree=30850144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=348620 CPUtime=1800.09
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 868509 0 0 0 176175 3834 0 0 25 0 1 0 132169535 356986880 83850 4089446400 4194304 8223781 140733551006704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12987/statm: 87155 83850 607 984 0 86168 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 348620

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

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

[startup+1800.21 s]
/proc/loadavg: 2.79 2.27 2.09 3/198 13131
/proc/meminfo: memFree=30850144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=348120 CPUtime=1800.19
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 868605 0 0 0 176185 3834 0 0 25 0 1 0 132169535 356474880 83710 4089446400 4194304 8223781 140733551006704 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12987/statm: 87030 83710 609 984 0 86043 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 348120

[startup+1800.3 s]
/proc/loadavg: 2.79 2.27 2.09 3/198 13131
/proc/meminfo: memFree=30850144/32951132 swapFree=67111528/67111528
[pid=12987] ppid=12985 vsize=347092 CPUtime=1800.28
/proc/12987/stat : 12987 (pbscip.linux.x8) R 12985 12987 11779 0 -1 4202496 868605 0 0 0 176194 3834 0 0 25 0 1 0 132169535 355422208 83453 4089446400 4194304 8223781 140733551006704 18446744073709551615 4383939 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12987/statm: 86773 83453 609 984 0 85786 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 347092

Child status: 0
Real time (s): 1800.36
CPU time (s): 1800.35
CPU user time (s): 1761.98
CPU system time (s): 38.3662
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 348620

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

runsolver used 3.16152 second user time and 5.88211 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 16:38:49
IDJOB=2692885
IDBENCH=78961
IDSOLVER=1204
FILE ID=node131/2692885-1277908729
PBS_JOBID= 11197184
Free space on /tmp= 74140 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692885-1277908729/watcher-2692885-1277908729 -o /tmp/evaluation-result-2692885-1277908729/solver-2692885-1277908729 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692885-1277908729.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a6a99f7cb7296aed3ef8f4a1cd1ac483
RANDOM SEED=2066475248

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31334672 kB
Buffers:        195316 kB
Cached:        1136164 kB
SwapCached:          0 kB
Active:         665116 kB
Inactive:       807456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31334672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4756 kB
Writeback:           0 kB
AnonPages:      140836 kB
Mapped:          20504 kB
Slab:            80068 kB
PageTables:       5324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1657400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node131 at 2010-06-30 17:08:52