Trace number 2694119

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
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1802.15 1802.16

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
MD5SUM20db9b5796300dda9a6b98219b888af4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark926.065
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 constraints911
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 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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: NONE] [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-2694119-1277906357.wbo>
0.00/0.03	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.03/0.04	c presolving:
0.03/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.03/0.08	c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10	c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.11	c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.12	c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.16	c    (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.16	c  1117 implications, 11 cliques
0.09/0.16	c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.16	c     841 constraints of type <indicator>
0.09/0.16	c      11 constraints of type <setppc>
0.09/0.16	c     841 constraints of type <linear>
0.09/0.16	c    1660 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.13
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16	c lp/solvefreq = -1
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     2 |     0 |     - |7503k|   0 |   - |1913 |3353 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.59/2.66	c   2.5s| 10000 |  9086 |     0 |   0.0 |  13M|1000 |   - |1913 |4302 |   0 |   0 |   0 |2198 |   0 | 0.000000e+00 |      --      |    Inf 
5.69/5.79	c   5.6s| 20000 | 16902 |     0 |   0.0 |  21M|1000 |   - |1913 |5349 |   0 |   0 |   0 |8393 |   0 | 0.000000e+00 |      --      |    Inf 
10.09/10.17	c   9.8s| 30000 | 22544 |     0 |   0.0 |  29M|1000 |   - |1913 |6637 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
10.49/10.54	o 585
10.49/10.54	c *10.2s| 30603 | 22718 |     0 |   0.0 |  29M|1000 |   - |1913 |6557 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 5.850000e+02 |    Inf 
10.49/10.54	o 533
10.49/10.54	c *10.2s| 30604 | 22704 |     0 |   0.0 |  29M|1000 |   - |1913 |6557 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 5.330000e+02 |    Inf 
10.69/10.75	o 263
10.69/10.75	c *10.4s| 31271 | 21335 |     0 |   0.0 |  29M|1000 |   - |1913 |6271 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.630000e+02 |    Inf 
10.69/10.75	o 166
10.69/10.75	c *10.4s| 31272 | 21196 |     0 |   0.0 |  29M|1000 |   - |1913 |6271 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 1.660000e+02 |    Inf 
10.79/10.82	o 73
10.79/10.82	c *10.5s| 31472 | 20924 |     0 |   0.0 |  29M|1000 |   - |1913 |6157 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
10.79/10.82	o 67
10.79/10.82	c *10.5s| 31473 | 20734 |     0 |   0.0 |  29M|1000 |   - |1913 |6157 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
10.79/10.87	o 51
10.79/10.87	c *10.5s| 31619 | 20508 |     0 |   0.0 |  29M|1000 |   - |1913 |6046 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
10.90/10.92	o 14
10.90/10.92	c *10.6s| 31773 | 20348 |     0 |   0.0 |  29M|1000 |   - |1913 |5947 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
10.90/10.92	o 10
10.90/10.92	c *10.6s| 31774 | 20311 |     0 |   0.0 |  29M|1000 |   - |1913 |5947 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
10.90/10.94	o 9
10.90/10.94	c *10.6s| 31847 | 20314 |     0 |   0.0 |  29M|1000 |   - |1913 |5880 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
13.79/13.87	c  13.4s| 40000 | 26921 |     0 |   0.0 |  47M|1000 |   - |1913 |5599 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
16.89/16.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.89/16.94	c  16.4s| 50000 | 34973 |     0 |   0.0 |  55M|1000 |   - |1913 |6480 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
20.19/20.29	c  19.7s| 60000 | 42689 |     0 |   0.0 |  62M|1000 |   - |1913 |7255 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
23.69/23.77	c  23.0s| 70000 | 50170 |     0 |   0.0 |  69M|1000 |   - |1913 |7420 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
27.69/27.72	c  26.9s| 80000 | 57118 |     0 |   0.0 |  76M|1000 |   - |1913 |8279 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
31.79/31.88	c  31.0s| 90000 | 63793 |     0 |   0.0 |  83M|1000 |   - |1913 |8604 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
36.19/36.22	c  35.2s|100000 | 70286 |     0 |   0.0 |  91M|1000 |   - |1913 |9475 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
40.29/40.34	c  39.0s|110000 | 76545 |     0 |   0.0 |  98M|1000 |   - |1913 |9791 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
44.59/44.68	c  43.1s|120000 | 82635 |     0 |   0.0 | 106M|1000 |   - |1913 |  11k|   0 |   0 |   0 |  88k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
49.59/49.67	c  47.8s|130000 | 88164 |     0 |   0.0 | 113M|1000 |   - |1913 |  12k|   0 |   0 |   0 | 100k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
54.79/54.81	c  52.6s|140000 | 93623 |     0 |   0.0 | 121M|1000 |   - |1913 |  12k|   0 |   0 |   0 | 113k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
60.40/60.49	c  57.9s|150000 | 98613 |     0 |   0.0 | 129M|1000 |   - |1913 |  13k|   0 |   0 |   0 | 127k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
66.58/66.64	c  63.7s|160000 |103129 |     0 |   0.0 | 137M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 144k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
73.48/73.59	c  70.4s|170000 |106815 |     0 |   0.0 | 144M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 164k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
82.18/82.21	c  78.6s|180000 |108393 |     0 |   0.0 | 150M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
85.19/85.21	c  81.4s|190000 |116911 |     0 |   0.0 | 153M|1000 |   - |1913 |7158 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
90.59/90.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
90.59/90.62	c  86.4s|200000 |122550 |     0 |   0.0 | 161M|1000 |   - |1913 |8901 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
94.39/94.41	c  89.9s|210000 |130342 |     0 |   0.0 | 168M|1000 |   - |1913 |9905 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
98.78/98.81	c  94.0s|220000 |137860 |     0 |   0.0 | 174M|1000 |   - |1913 |  10k|   0 |   0 |   0 | 221k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
103.29/103.36	c  98.3s|230000 |144986 |     0 |   0.0 | 181M|1000 |   - |1913 |  11k|   0 |   0 |   0 | 230k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
107.59/107.60	c   102s|240000 |151902 |     0 |   0.0 | 189M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 239k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
111.09/111.11	c   105s|250000 |159936 |     0 |   0.0 | 196M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 246k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
115.28/115.37	c   109s|260000 |167242 |     0 |   0.0 | 203M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 254k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
119.89/119.91	c   114s|270000 |174234 |     0 |   0.0 | 211M|1000 |   - |1913 |  15k|   0 |   0 |   0 | 263k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
124.38/124.42	c   118s|280000 |181156 |     0 |   0.0 | 218M|1000 |   - |1913 |  16k|   0 |   0 |   0 | 272k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
128.58/128.68	c   122s|290000 |188194 |     0 |   0.0 | 225M|1000 |   - |1913 |  18k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
132.78/132.80	c   126s|300000 |195432 |     0 |   0.0 | 231M|1000 |   - |1913 |  17k|   0 |   0 |   0 | 289k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
136.18/136.23	c   129s|310000 |203842 |     0 |   0.0 | 235M|1000 |   - |1913 |8719 |   0 |   0 |   0 | 294k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
139.48/139.53	c   132s|320000 |211492 |     0 |   0.0 | 242M|1000 |   - |1913 |  10k|   0 |   0 |   0 | 302k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
143.28/143.37	c   135s|330000 |218714 |     0 |   0.0 | 250M|1000 |   - |1913 |  12k|   0 |   0 |   0 | 310k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
147.38/147.47	c   139s|340000 |225785 |     0 |   0.0 | 256M|1000 |   - |1913 |  13k|   0 |   0 |   0 | 319k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
151.68/151.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
151.68/151.75	c   143s|350000 |232691 |     0 |   0.0 | 263M|1000 |   - |1913 |  14k|   0 |   0 |   0 | 328k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
156.98/157.00	c   148s|360000 |238708 |     0 |   0.0 | 271M|1000 |   - |1913 |  15k|   0 |   0 |   0 | 338k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
162.58/162.60	c   153s|370000 |244555 |     0 |   0.0 | 278M|1000 |   - |1913 |  15k|   0 |   0 |   0 | 348k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
168.38/168.42	c   159s|380000 |250225 |     0 |   0.0 | 285M|1000 |   - |1913 |  16k|   0 |   0 |   0 | 359k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
174.68/174.70	c   165s|390000 |255453 |     0 |   0.0 | 293M|1000 |   - |1913 |  16k|   0 |   0 |   0 | 371k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
181.18/181.28	c   171s|400000 |260604 |     0 |   0.0 | 300M|1000 |   - |1913 |  17k|   0 |   0 |   0 | 384k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
188.28/188.31	c   178s|410000 |265440 |     0 |   0.0 | 307M|1000 |   - |1913 |  17k|   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
195.58/195.68	c   185s|420000 |270035 |     0 |   0.0 | 315M|1000 |   - |1913 |  18k|   0 |   0 |   0 | 410k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
203.28/203.37	c   192s|430000 |274517 |     0 |   0.0 | 322M|1000 |   - |1913 |  17k|   0 |   0 |   0 | 423k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
211.37/211.44	c   200s|440000 |278681 |     0 |   0.0 | 329M|1000 |   - |1913 |  18k|   0 |   0 |   0 | 438k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
219.08/219.14	c   207s|450000 |283237 |     0 |   0.0 | 337M|1000 |   - |1913 |  19k|   0 |   0 |   0 | 451k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
227.28/227.37	c   215s|460000 |287467 |     0 |   0.0 | 343M|1000 |   - |1913 |  18k|   0 |   0 |   0 | 465k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
235.77/235.85	c   223s|470000 |291500 |     0 |   0.0 | 350M|1000 |   - |1913 |  19k|   0 |   0 |   0 | 480k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
244.47/244.52	c   232s|480000 |295446 |     0 |   0.0 | 358M|1000 |   - |1913 |  19k|   0 |   0 |   0 | 494k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
253.27/253.39	c   240s|490000 |299336 |     0 |   0.0 | 365M|1000 |   - |1913 |  20k|   0 |   0 |   0 | 509k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
262.38/262.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
262.38/262.45	c   249s|500000 |303279 |     0 |   0.0 | 372M|1000 |   - |1913 |  21k|   0 |   0 |   0 | 524k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
270.98/271.09	c   257s|510000 |307658 |     0 |   0.0 | 380M|1000 |   - |1913 |  22k|   0 |   0 |   0 | 538k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
281.07/281.11	c   267s|520000 |311028 |     0 |   0.0 | 387M|1000 |   - |1913 |  22k|   0 |   0 |   0 | 555k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
291.07/291.11	c   277s|530000 |314670 |     0 |   0.0 | 393M|1000 |   - |1913 |  22k|   0 |   0 |   0 | 570k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
300.57/300.64	c   286s|540000 |318520 |     0 |   0.0 | 401M|1000 |   - |1913 |  23k|   0 |   0 |   0 | 585k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
311.07/311.12	c   296s|550000 |321735 |     0 |   0.0 | 408M|1000 |   - |1913 |  23k|   0 |   0 |   0 | 602k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
322.28/322.34	c   307s|560000 |324809 |     0 |   0.0 | 414M|1000 |   - |1913 |  24k|   0 |   0 |   0 | 619k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
332.98/333.00	c   317s|570000 |328264 |     0 |   0.0 | 421M|1000 |   - |1913 |  25k|   0 |   0 |   0 | 636k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
344.38/344.46	c   328s|580000 |331208 |     0 |   0.0 | 428M|1000 |   - |1913 |  25k|   0 |   0 |   0 | 654k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
355.97/356.04	c   340s|590000 |334076 |     0 |   0.0 | 435M|1000 |   - |1913 |  25k|   0 |   0 |   0 | 672k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
368.07/368.16	c   351s|600000 |336815 |     0 |   0.0 | 441M|1000 |   - |1913 |  26k|   0 |   0 |   0 | 691k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
380.17/380.26	c   363s|610000 |339777 |     0 |   0.0 | 448M|1000 |   - |1913 |  28k|   0 |   0 |   0 | 709k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
392.58/392.66	c   375s|620000 |342803 |     0 |   0.0 | 455M|1000 |   - |1913 |  29k|   0 |   0 |   0 | 727k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
406.48/406.55	c   389s|630000 |345109 |     0 |   0.0 | 462M|1000 |   - |1913 |  29k|   0 |   0 |   0 | 748k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
420.68/420.75	c   402s|640000 |347325 |     0 |   0.0 | 468M|1000 |   - |1913 |  30k|   0 |   0 |   0 | 768k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
435.27/435.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
435.27/435.36	c   417s|650000 |349366 |     0 |   0.0 | 474M|1000 |   - |1913 |  28k|   0 |   0 |   0 | 790k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
449.48/449.51	c   430s|660000 |351371 |     0 |   0.0 | 480M|1000 |   - |1913 |  29k|   0 |   0 |   0 | 811k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
465.18/465.22	c   446s|670000 |352647 |     0 |   0.0 | 485M|1000 |   - |1913 |  30k|   0 |   0 |   0 | 835k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
480.68/480.79	c   461s|680000 |354286 |     0 |   0.0 | 492M|1000 |   - |1913 |  31k|   0 |   0 |   0 | 858k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
497.37/497.49	c   477s|690000 |355457 |     0 |   0.0 | 497M|1000 |   - |1913 |  32k|   0 |   0 |   0 | 883k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
514.18/514.29	c   494s|700000 |356529 |     0 |   0.0 | 501M|1000 |   - |1913 |  32k|   0 |   0 |   0 | 909k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
531.18/531.21	c   510s|710000 |357327 |     0 |   0.0 | 505M|1000 |   - |1913 |  28k|   0 |   0 |   0 | 935k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
549.28/549.32	c   528s|720000 |355831 |     0 |   0.0 | 506M|1000 |   - |1913 |  24k|   0 |   0 |   0 | 964k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
559.78/559.81	c   538s|730000 |358130 |     0 |   0.0 | 499M|1000 |   - |1913 |9812 |   0 |   0 |   0 | 980k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
563.18/563.26	c   541s|740000 |366320 |     0 |   0.0 | 505M|1000 |   - |1913 |9257 |   0 |   0 |   0 | 986k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
566.68/566.76	c   544s|750000 |374443 |     0 |   0.0 | 511M|1000 |   - |1913 |  10k|   0 |   0 |   0 | 992k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
570.38/570.44	c   548s|760000 |382352 |     0 |   0.0 | 517M|1000 |   - |1913 |  11k|   0 |   0 |   0 | 998k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
574.48/574.54	c   552s|770000 |389974 |     0 |   0.0 | 524M|1000 |   - |1913 |  13k|   0 |   0 |   0 |1005k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
579.08/579.10	c   556s|780000 |397299 |     0 |   0.0 | 531M|1000 |   - |1913 |  14k|   0 |   0 |   0 |1012k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
584.98/585.03	c   561s|790000 |403601 |     0 |   0.0 | 539M|1000 |   - |1913 |  16k|   0 |   0 |   0 |1023k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
585.28/585.34	o 4
585.28/585.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
585.28/585.35	c * 562s|790551 |402007 |     0 |   0.0 | 535M|1000 |   - |1913 |  16k|   0 |   0 |   0 |1023k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
592.79/592.81	c   569s|800000 |406892 |     0 |   0.0 | 547M|1000 |   - |1913 |  18k|   0 |   0 |   0 |1035k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
602.48/602.54	c   578s|810000 |411068 |     0 |   0.0 | 559M|1000 |   - |1913 |  21k|   0 |   0 |   0 |1049k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
615.08/615.19	c   590s|820000 |413795 |     0 |   0.0 | 570M|1000 |   - |1913 |  23k|   0 |   0 |   0 |1068k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
631.18/631.29	c   606s|830000 |414816 |     0 |   0.0 | 580M|1000 |   - |1913 |  28k|   0 |   0 |   0 |1090k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
638.38/638.40	c   613s|840000 |422617 |     0 |   0.0 | 586M|1000 |   - |1913 |  19k|   0 |   0 |   0 |1098k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
644.38/644.49	c   618s|850000 |430006 |     0 |   0.0 | 595M|1000 |   - |1913 |  18k|   0 |   0 |   0 |1106k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
650.68/650.73	c   624s|860000 |437183 |     0 |   0.0 | 604M|1000 |   - |1913 |  19k|   0 |   0 |   0 |1115k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
657.48/657.59	c   631s|870000 |443933 |     0 |   0.0 | 614M|1000 |   - |1913 |  20k|   0 |   0 |   0 |1124k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
665.38/665.42	c   638s|880000 |450258 |     0 |   0.0 | 624M|1000 |   - |1913 |  21k|   0 |   0 |   0 |1135k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
675.48/675.57	c   648s|890000 |455303 |     0 |   0.0 | 636M|1000 |   - |1913 |  24k|   0 |   0 |   0 |1148k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
689.08/689.13	c   661s|900000 |458921 |     0 |   0.0 | 648M|1000 |   - |1913 |  28k|   0 |   0 |   0 |1164k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
709.88/709.95	c   682s|910000 |460026 |     0 |   0.0 | 658M|1000 |   - |1913 |  34k|   0 |   0 |   0 |1187k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
718.98/719.02	c   690s|920000 |467373 |     0 |   0.0 | 664M|1000 |   - |1913 |  28k|   0 |   0 |   0 |1195k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
725.78/725.82	c   697s|930000 |475057 |     0 |   0.0 | 671M|1000 |   - |1913 |  24k|   0 |   0 |   0 |1202k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
732.18/732.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
732.18/732.20	c   703s|940000 |482568 |     0 |   0.0 | 679M|1000 |   - |1913 |  24k|   0 |   0 |   0 |1210k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
739.19/739.21	c   709s|950000 |489632 |     0 |   0.0 | 688M|1000 |   - |1913 |  24k|   0 |   0 |   0 |1218k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
748.68/748.72	c   718s|960000 |495331 |     0 |   0.0 | 700M|1000 |   - |1913 |  27k|   0 |   0 |   0 |1229k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
760.88/760.97	c   730s|970000 |499873 |     0 |   0.0 | 712M|1000 |   - |1913 |  30k|   0 |   0 |   0 |1243k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
775.98/776.01	c   745s|980000 |503339 |     0 |   0.0 | 724M|1000 |   - |1913 |  34k|   0 |   0 |   0 |1260k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
795.58/795.61	c   764s|990000 |504899 |     0 |   0.0 | 734M|1000 |   - |1913 |  40k|   0 |   0 |   0 |1282k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
802.78/802.88	c   771s|  1000k|512950 |     0 |   0.0 | 739M|1000 |   - |1913 |  32k|   0 |   0 |   0 |1289k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
808.78/808.83	c   777s|  1010k|520784 |     0 |   0.0 | 746M|1000 |   - |1913 |  29k|   0 |   0 |   0 |1296k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
814.28/814.39	c   782s|  1020k|528464 |     0 |   0.0 | 754M|1000 |   - |1913 |  28k|   0 |   0 |   0 |1303k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
820.89/820.90	c   788s|  1030k|535460 |     0 |   0.0 | 763M|1000 |   - |1913 |  30k|   0 |   0 |   0 |1312k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
829.68/829.74	c   796s|  1040k|541205 |     0 |   0.0 | 774M|1000 |   - |1913 |  33k|   0 |   0 |   0 |1323k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
840.99/841.03	c   807s|  1050k|545899 |     0 |   0.0 | 787M|1000 |   - |1913 |  37k|   0 |   0 |   0 |1338k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
855.38/855.42	c   821s|  1060k|549201 |     0 |   0.0 | 798M|1000 |   - |1913 |  40k|   0 |   0 |   0 |1357k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
873.49/873.56	c   839s|  1070k|550873 |     0 |   0.0 | 808M|1000 |   - |1913 |  46k|   0 |   0 |   0 |1378k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
881.49/881.53	c   847s|  1080k|558869 |     0 |   0.0 | 812M|1000 |   - |1913 |  37k|   0 |   0 |   0 |1386k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
887.99/888.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
887.99/888.01	c   853s|  1090k|566656 |     0 |   0.0 | 819M|1000 |   - |1913 |  34k|   0 |   0 |   0 |1393k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
894.08/894.14	c   859s|  1100k|574235 |     0 |   0.0 | 826M|1000 |   - |1913 |  34k|   0 |   0 |   0 |1401k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
900.58/900.69	c   865s|  1110k|581512 |     0 |   0.0 | 834M|1000 |   - |1913 |  35k|   0 |   0 |   0 |1409k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
910.18/910.21	c   874s|  1120k|587245 |     0 |   0.0 | 844M|1000 |   - |1913 |  37k|   0 |   0 |   0 |1421k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
921.29/921.39	c   885s|  1130k|592143 |     0 |   0.0 | 855M|1000 |   - |1913 |  41k|   0 |   0 |   0 |1435k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
935.59/935.65	c   899s|  1140k|595721 |     0 |   0.0 | 866M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1452k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
955.59/955.62	c   918s|  1150k|597001 |     0 |   0.0 | 875M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1474k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
964.29/964.33	c   927s|  1160k|604908 |     0 |   0.0 | 879M|1000 |   - |1913 |  41k|   0 |   0 |   0 |1481k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
970.89/970.95	c   933s|  1170k|612700 |     0 |   0.0 | 885M|1000 |   - |1913 |  38k|   0 |   0 |   0 |1489k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
977.28/977.30	c   939s|  1180k|620359 |     0 |   0.0 | 892M|1000 |   - |1913 |  38k|   0 |   0 |   0 |1496k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
985.89/986.00	c   947s|  1190k|626756 |     0 |   0.0 | 900M|1000 |   - |1913 |  40k|   0 |   0 |   0 |1507k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
996.59/996.63	c   958s|  1200k|632339 |     0 |   0.0 | 909M|1000 |   - |1913 |  43k|   0 |   0 |   0 |1519k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1011.58/1011.63	c   972s|  1210k|636739 |     0 |   0.0 | 919M|1000 |   - |1913 |  47k|   0 |   0 |   0 |1535k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1029.89/1029.98	c   991s|  1220k|639776 |     0 |   0.0 | 928M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1554k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1046.98/1047.08	c  1008s|  1230k|644251 |     0 |   0.0 | 934M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1570k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1055.98/1056.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1055.98/1056.03	c  1016s|  1240k|651994 |     0 |   0.0 | 938M|1000 |   - |1913 |  44k|   0 |   0 |   0 |1577k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1063.97/1064.08	c  1024s|  1250k|659482 |     0 |   0.0 | 944M|1000 |   - |1913 |  43k|   0 |   0 |   0 |1585k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1071.97/1072.07	c  1032s|  1260k|666714 |     0 |   0.0 | 951M|1000 |   - |1913 |  44k|   0 |   0 |   0 |1593k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1081.17/1081.26	c  1041s|  1270k|673351 |     0 |   0.0 | 959M|1000 |   - |1913 |  46k|   0 |   0 |   0 |1602k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1095.96/1096.09	c  1056s|  1280k|677988 |     0 |   0.0 | 967M|1000 |   - |1913 |  49k|   0 |   0 |   0 |1617k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1115.27/1115.35	c  1075s|  1290k|681012 |     0 |   0.0 | 975M|1000 |   - |1913 |  52k|   0 |   0 |   0 |1635k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1134.56/1134.65	c  1094s|  1300k|684619 |     0 |   0.0 | 980M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1652k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1143.77/1143.85	c  1103s|  1310k|692455 |     0 |   0.0 | 984M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1659k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1152.37/1152.47	c  1112s|  1320k|699952 |     0 |   0.0 | 990M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1666k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1161.66/1161.70	c  1121s|  1330k|707064 |     0 |   0.0 | 997M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1674k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1174.17/1174.29	c  1133s|  1340k|712767 |     0 |   0.0 |1005M|1000 |   - |1913 |  48k|   0 |   0 |   0 |1685k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1189.08/1189.12	c  1148s|  1350k|717430 |     0 |   0.0 |1013M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1699k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1209.88/1209.92	c  1169s|  1360k|720109 |     0 |   0.0 |1021M|1000 |   - |1913 |  56k|   0 |   0 |   0 |1718k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1227.27/1227.38	c  1186s|  1370k|724896 |     0 |   0.0 |1024M|1000 |   - |1913 |  51k|   0 |   0 |   0 |1733k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1237.27/1237.32	c  1196s|  1380k|732262 |     0 |   0.0 |1029M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1740k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1247.37/1247.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1247.37/1247.49	c  1206s|  1390k|738892 |     0 |   0.0 |1035M|1000 |   - |1913 |  45k|   0 |   0 |   0 |1749k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1259.27/1259.30	c  1218s|  1400k|744612 |     0 |   0.0 |1043M|1000 |   - |1913 |  47k|   0 |   0 |   0 |1760k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1272.58/1272.69	c  1231s|  1410k|749635 |     0 |   0.0 |1050M|1000 |   - |1913 |  49k|   0 |   0 |   0 |1772k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1290.37/1290.44	c  1249s|  1420k|752864 |     0 |   0.0 |1059M|1000 |   - |1913 |  54k|   0 |   0 |   0 |1789k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1309.47/1309.55	c  1268s|  1430k|756820 |     0 |   0.0 |1056M|1000 |   - |1913 |  29k|   0 |   0 |   0 |1806k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1317.17/1317.28	c  1275s|  1440k|764163 |     0 |   0.0 |1063M|1000 |   - |1913 |  20k|   0 |   0 |   0 |1814k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1324.97/1325.02	c  1283s|  1450k|771121 |     0 |   0.0 |1070M|1000 |   - |1913 |  17k|   0 |   0 |   0 |1822k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1332.17/1332.22	c  1290s|  1460k|778049 |     0 |   0.0 |1079M|1000 |   - |1913 |  16k|   0 |   0 |   0 |1831k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1337.67/1337.71	c  1295s|  1470k|786085 |     0 |   0.0 |1087M|1000 |   - |1913 |  15k|   0 |   0 |   0 |1837k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1345.18/1345.22	c  1303s|  1480k|793123 |     0 |   0.0 |1096M|1000 |   - |1913 |  17k|   0 |   0 |   0 |1846k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1352.77/1352.87	c  1310s|  1490k|800037 |     0 |   0.0 |1105M|1000 |   - |1913 |  17k|   0 |   0 |   0 |1854k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1360.67/1360.76	c  1318s|  1500k|806591 |     0 |   0.0 |1114M|1000 |   - |1913 |  18k|   0 |   0 |   0 |1864k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1367.07/1367.13	c  1324s|  1510k|813899 |     0 |   0.0 |1123M|1000 |   - |1913 |  19k|   0 |   0 |   0 |1872k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1373.07/1373.19	c  1330s|  1520k|821581 |     0 |   0.0 |1129M|1000 |   - |1913 |  18k|   0 |   0 |   0 |1880k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1380.07/1380.10	c  1337s|  1530k|828625 |     0 |   0.0 |1136M|1000 |   - |1913 |  18k|   0 |   0 |   0 |1888k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1386.98/1387.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1386.98/1387.04	c  1344s|  1540k|835655 |     0 |   0.0 |1144M|1000 |   - |1913 |  20k|   0 |   0 |   0 |1898k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1393.78/1393.85	c  1351s|  1550k|842567 |     0 |   0.0 |1152M|1000 |   - |1913 |  23k|   0 |   0 |   0 |1908k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1398.97/1399.05	c  1356s|  1560k|850785 |     0 |   0.0 |1157M|1000 |   - |1913 |  20k|   0 |   0 |   0 |1913k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1405.87/1405.93	c  1362s|  1570k|857658 |     0 |   0.0 |1162M|1000 |   - |1913 |  14k|   0 |   0 |   0 |1922k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1411.37/1411.49	c  1368s|  1580k|864793 |     0 |   0.0 |1170M|1000 |   - |1913 |  17k|   0 |   0 |   0 |1930k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1421.48/1421.56	c  1378s|  1590k|869376 |     0 |   0.0 |1179M|1000 |   - |1913 |  23k|   0 |   0 |   0 |1944k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1433.97/1434.02	c  1390s|  1600k|873733 |     0 |   0.0 |1186M|1000 |   - |1913 |  26k|   0 |   0 |   0 |1958k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1447.77/1447.81	c  1404s|  1610k|878005 |     0 |   0.0 |1194M|1000 |   - |1913 |  29k|   0 |   0 |   0 |1973k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1462.37/1462.45	c  1418s|  1620k|882104 |     0 |   0.0 |1201M|1000 |   - |1913 |  29k|   0 |   0 |   0 |1987k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1477.58/1477.67	c  1433s|  1630k|885973 |     0 |   0.0 |1208M|1000 |   - |1913 |  30k|   0 |   0 |   0 |2003k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1493.37/1493.49	c  1449s|  1640k|889841 |     0 |   0.0 |1215M|1000 |   - |1913 |  31k|   0 |   0 |   0 |2018k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1510.07/1510.19	c  1466s|  1650k|893347 |     0 |   0.0 |1222M|1000 |   - |1913 |  32k|   0 |   0 |   0 |2034k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1527.27/1527.34	c  1483s|  1660k|896862 |     0 |   0.0 |1228M|1000 |   - |1913 |  33k|   0 |   0 |   0 |2050k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1547.48/1547.50	c  1503s|  1670k|899491 |     0 |   0.0 |1235M|1000 |   - |1913 |  34k|   0 |   0 |   0 |2068k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1565.28/1565.37	c  1520s|  1680k|902913 |     0 |   0.0 |1241M|1000 |   - |1913 |  34k|   0 |   0 |   0 |2084k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1586.98/1587.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1586.98/1587.03	c  1542s|  1690k|905132 |     0 |   0.0 |1247M|1000 |   - |1913 |  34k|   0 |   0 |   0 |2103k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1608.18/1608.23	c  1563s|  1700k|907469 |     0 |   0.0 |1254M|1000 |   - |1913 |  35k|   0 |   0 |   0 |2121k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1631.38/1631.43	c  1586s|  1710k|909473 |     0 |   0.0 |1259M|1000 |   - |1913 |  36k|   0 |   0 |   0 |2140k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1654.68/1654.77	c  1609s|  1720k|911422 |     0 |   0.0 |1266M|1000 |   - |1913 |  37k|   0 |   0 |   0 |2159k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1681.28/1681.34	c  1636s|  1730k|912749 |     0 |   0.0 |1271M|1000 |   - |1913 |  38k|   0 |   0 |   0 |2180k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1706.78/1706.89	c  1661s|  1740k|914116 |     0 |   0.0 |1277M|1000 |   - |1913 |  38k|   0 |   0 |   0 |2201k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1734.58/1734.68	c  1689s|  1750k|915023 |     0 |   0.0 |1283M|1000 |   - |1913 |  39k|   0 |   0 |   0 |2223k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1761.28/1761.39	c  1715s|  1760k|916149 |     0 |   0.0 |1288M|1000 |   - |1913 |  38k|   0 |   0 |   0 |2243k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
1791.08/1791.16	c  1745s|  1770k|916137 |     0 |   0.0 |1292M|1000 |   - |1913 |  39k|   0 |   0 |   0 |2267k|   0 | 0.000000e+00 | 4.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) : 1753.82
1800.09/1800.11	c Solving Nodes      : 1773291
1800.09/1800.11	c Primal Bound       : +4.00000000000000e+00 (11 solutions)
1800.09/1800.11	c Dual Bound         : +0.00000000000000e+00
1800.09/1800.11	c Gap                : infinite
1800.09/1800.12	s SATISFIABLE
1800.09/1800.12	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.12	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.12	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.12	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.12	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.12	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.12	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.12	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.09/1800.12	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.09/1800.12	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.12	v -x1 
1800.09/1800.12	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.12	c Solving Time       :    1753.82
1800.09/1800.12	c Original Problem   :
1800.09/1800.12	c   Problem name     : HOME/instance-2694119-1277906357.wbo
1800.09/1800.12	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.09/1800.12	c   Constraints      : 3619 initial, 3619 maximal
1800.09/1800.12	c Presolved Problem  :
1800.09/1800.12	c   Problem name     : t_HOME/instance-2694119-1277906357.wbo
1800.09/1800.12	c   Variables        : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.09/1800.12	c   Constraints      : 3353 initial, 59606 maximal
1800.09/1800.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.12	c   trivial          :       0.00         70          0          0          0          0          0          0          0
1800.09/1800.12	c   dualfix          :       0.00         70          0          0          0          0          0          0          0
1800.09/1800.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.12	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.12	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.09/1800.12	c   indicator        :       0.00          0          0          0          0          0         70          0          0
1800.09/1800.12	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.12	c   linear           :       0.06          0          0          0        931          0        196        142          0
1800.09/1800.12	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.09/1800.12	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.12	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.12	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.12	c   indicator        :        841          0    2736993          0     838624         31    1826515          0          0          0
1800.09/1800.12	c   setppc           :         11          0    5406617          0    1459632      24069    4436818          0          0          0
1800.09/1800.12	c   linear           :        841          0    5383114          0    1459733     235730   21896360          0          0          0
1800.09/1800.12	c   logicor          :       1660+         0    3992744          0    1459736     255670   11254307          0          0          0
1800.09/1800.12	c   bounddisjunction :          0+         0     165996          0          0          0          4          0          0          0
1800.09/1800.12	c   countsols        :          0          0          0          0    1459734          0          0          0          0          0
1800.09/1800.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.12	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.12	c   indicator        :       3.57       0.00       2.44       0.00       1.13
1800.09/1800.12	c   setppc           :      21.55       0.00      19.65       0.00       1.90
1800.09/1800.12	c   linear           :     148.66       0.00     147.77       0.00       0.89
1800.09/1800.12	c   logicor          :     740.45       0.00     669.17       0.00      71.28
1800.09/1800.12	c   bounddisjunction :       0.11       0.00       0.11       0.00       0.00
1800.09/1800.12	c   countsols        :       0.07       0.00       0.00       0.00       0.07
1800.09/1800.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.12	c   vbounds          :       0.38          2          0          0
1800.09/1800.12	c   rootredcost      :       0.39          0          0          0
1800.09/1800.12	c   pseudoobj        :      92.84    5407482        455    1820148
1800.09/1800.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.12	c   propagation      :      36.01     515924     515831    2587465       27.5     472166       10.5          -
1800.09/1800.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.12	c   applied globally :          -          -          -    2274745       22.5          -          -          -
1800.09/1800.12	c   applied locally  :          -          -          -        304      122.7          -          -          -
1800.09/1800.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.12	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.12	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.12	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.12	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.12	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.12	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.12	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.12	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.12	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.12	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.12	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.12	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.12	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.12	c Pricers            :       Time      Calls       Vars
1800.09/1800.12	c   problem variables:       0.00          0          0
1800.09/1800.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.12	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   inference        :      20.93    1459723          0          0          0          0    2919446
1800.09/1800.12	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.12	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.12	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.12	c   LP solutions     :       0.00          -          0
1800.09/1800.12	c   pseudo solutions :       0.01          -         11
1800.09/1800.12	c   oneopt           :       0.40          0          0
1800.09/1800.12	c   trivial          :       0.01          2          0
1800.09/1800.12	c   simplerounding   :       0.00          0          0
1800.09/1800.12	c   zirounding       :       0.00          0          0
1800.09/1800.12	c   rounding         :       0.00          0          0
1800.09/1800.12	c   shifting         :       0.00          0          0
1800.09/1800.12	c   intshifting      :       0.00          0          0
1800.09/1800.12	c   twoopt           :       0.00          0          0
1800.09/1800.12	c   fixandinfer      :       0.00          0          0
1800.09/1800.12	c   feaspump         :       0.00          0          0
1800.09/1800.12	c   coefdiving       :       0.00          0          0
1800.09/1800.12	c   pscostdiving     :       0.00          0          0
1800.09/1800.12	c   fracdiving       :       0.00          0          0
1800.09/1800.12	c   veclendiving     :       0.00          0          0
1800.09/1800.12	c   intdiving        :       0.00          0          0
1800.09/1800.12	c   actconsdiving    :       0.00          0          0
1800.09/1800.12	c   objpscostdiving  :       0.00          0          0
1800.09/1800.12	c   rootsoldiving    :       0.00          0          0
1800.09/1800.12	c   linesearchdiving :       0.00          0          0
1800.09/1800.12	c   guideddiving     :       0.00          0          0
1800.09/1800.12	c   octane           :       0.00          0          0
1800.09/1800.12	c   rens             :       0.00          0          0
1800.09/1800.12	c   rins             :       0.00          0          0
1800.09/1800.12	c   localbranching   :       0.00          0          0
1800.09/1800.12	c   mutation         :       0.00          0          0
1800.09/1800.12	c   crossover        :       0.00          0          0
1800.09/1800.12	c   dins             :       0.00          0          0
1800.09/1800.12	c   undercover       :       0.00          0          0
1800.09/1800.12	c   nlp              :       0.15          0          0
1800.09/1800.12	c   trysol           :       0.18          1          0
1800.09/1800.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.12	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.12	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.12	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.12	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.12	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.12	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.12	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.12	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.12	c B&B Tree           :
1800.09/1800.12	c   number of runs   :          1
1800.09/1800.12	c   nodes            :    1773291
1800.09/1800.12	c   nodes (total)    :    1773291
1800.09/1800.12	c   nodes left       :     916450
1800.09/1800.12	c   max depth        :       1000
1800.09/1800.12	c   max depth (total):       1000
1800.09/1800.12	c   backtracks       :     284182 (16.0%)
1800.09/1800.12	c   delayed cutoffs  :     224148
1800.09/1800.12	c   repropagations   :     848718 (12184682 domain reductions, 202398 cutoffs)
1800.09/1800.12	c   avg switch length:      15.95
1800.09/1800.12	c   switching time   :     546.68
1800.09/1800.12	c Solution           :
1800.09/1800.12	c   Solutions found  :         11 (11 improvements)
1800.09/1800.12	c   First Solution   : +5.85000000000000e+02   (in run 1, after 30603 nodes, 10.21 seconds, depth 134, found by <relaxation>)
1800.09/1800.12	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 790551 nodes, 561.75 seconds, depth 44, found by <relaxation>)
1800.09/1800.12	c   Dual Bound       : +0.00000000000000e+00
1800.09/1800.12	c   Gap              :   infinite
1800.09/1800.12	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.12	c   Root Iterations  :          0

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694119-1277906357/watcher-2694119-1277906357 -o /tmp/evaluation-result-2694119-1277906357/solver-2694119-1277906357 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694119-1277906357.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13129
/proc/meminfo: memFree=31367416/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=8160 CPUtime=0
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 1542 0 0 0 0 0 0 0 25 0 1 0 131932230 8355840 1464 4089446400 4194304 7136930 140734183166528 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13129/statm: 2040 1466 275 719 0 1319 0

[startup+0.034181 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13129
/proc/meminfo: memFree=31367416/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=16076 CPUtime=0.03
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 3876 0 0 0 3 0 0 0 25 0 1 0 131932230 16461824 3444 4089446400 4194304 7136930 140734183166528 18446744073709551615 4520369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 4019 3445 289 719 0 3298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16076

[startup+0.101169 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13129
/proc/meminfo: memFree=31367416/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=22328 CPUtime=0.09
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 6021 0 0 0 9 0 0 0 25 0 1 0 131932230 22863872 4818 4089446400 4194304 7136930 140734183166528 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 5582 4818 354 719 0 4861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22328

[startup+0.301135 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13129
/proc/meminfo: memFree=31367416/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=24160 CPUtime=0.29
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 9075 0 0 0 29 0 0 0 25 0 1 0 131932230 24739840 5302 4089446400 4194304 7136930 140734183166528 18446744073709551615 4643315 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 6040 5302 391 719 0 5319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24160

[startup+0.701079 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13129
/proc/meminfo: memFree=31367416/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=26092 CPUtime=0.69
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 9557 0 0 0 67 2 0 0 25 0 1 0 131932230 26718208 5784 4089446400 4194304 7136930 140734183166528 18446744073709551615 4978064 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 6523 5784 395 719 0 5802 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26092

[startup+1.50093 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31344716/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=27244 CPUtime=1.49
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 9854 0 0 0 145 4 0 0 25 0 1 0 131932230 27897856 6081 4089446400 4194304 7136930 140734183166528 18446744073709551615 5005369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 6811 6081 395 719 0 6090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27244

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31342236/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=31876 CPUtime=3.09
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 11060 0 0 0 300 9 0 0 25 0 1 0 131932230 32641024 7287 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 7969 7287 395 719 0 7248 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31876

[startup+6.30113 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31331916/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=42844 CPUtime=6.29
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 13790 0 0 0 611 18 0 0 25 0 1 0 131932230 43872256 10017 4089446400 4194304 7136930 140734183166528 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 10711 10017 395 719 0 9990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42844

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31309748/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=69928 CPUtime=12.69
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 19951 0 0 0 1232 37 0 0 25 0 1 0 131932230 71606272 16178 4089446400 4194304 7136930 140734183166528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 17482 16178 397 719 0 16761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69928

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31269488/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=105092 CPUtime=25.49
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 28713 0 0 0 2474 75 0 0 25 0 1 0 131932230 107614208 24940 4089446400 4194304 7136930 140734183166528 18446744073709551615 5005187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 26273 24940 397 719 0 25552 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105092

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13130
/proc/meminfo: memFree=31217508/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=156620 CPUtime=51.08
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 41148 0 0 0 4914 194 0 0 25 0 1 0 131932230 160378880 37375 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13129/statm: 39155 37375 397 719 0 38434 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 156620

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13132
/proc/meminfo: memFree=31141952/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=229980 CPUtime=102.3
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 59504 0 0 0 9733 497 0 0 25 0 1 0 131932230 235499520 55731 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13129/statm: 57495 55731 397 719 0 56774 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 229980

[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13143
/proc/meminfo: memFree=31026504/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=348768 CPUtime=162.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 88226 0 0 0 15316 912 0 0 25 0 1 0 131932230 357138432 84453 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13129/statm: 87192 84453 397 719 0 86471 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 348768

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13145
/proc/meminfo: memFree=30962356/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=409100 CPUtime=222.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 103426 0 0 0 21045 1182 0 0 25 0 1 0 131932230 418918400 99653 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13129/statm: 102275 99653 397 719 0 101554 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 409100

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13145
/proc/meminfo: memFree=30901060/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=465588 CPUtime=282.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 117588 0 0 0 26815 1412 0 0 25 0 1 0 131932230 476762112 113815 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 116397 113815 397 719 0 115676 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 465588

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13147
/proc/meminfo: memFree=30850680/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=512316 CPUtime=342.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 129234 0 0 0 32620 1608 0 0 25 0 1 0 131932230 524611584 125461 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 128079 125461 397 719 0 127358 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 512316

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13149
/proc/meminfo: memFree=30814296/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=547188 CPUtime=402.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 137919 0 0 0 38449 1779 0 0 25 0 1 0 131932230 560320512 134146 4089446400 4194304 7136930 140734183166528 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 136797 134146 397 719 0 136076 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 547188

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13151
/proc/meminfo: memFree=30792552/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=567376 CPUtime=462.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 143017 0 0 0 44295 1933 0 0 25 0 1 0 131932230 580993024 139244 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 141844 139244 397 719 0 141123 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 567376

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13153
/proc/meminfo: memFree=30772928/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=587100 CPUtime=522.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 147915 0 0 0 50156 2072 0 0 25 0 1 0 131932230 601190400 144142 4089446400 4194304 7136930 140734183166528 18446744073709551615 4210454 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 146775 144142 397 719 0 146054 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 587100

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13153
/proc/meminfo: memFree=30737800/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=621724 CPUtime=582.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 156664 0 0 0 55889 2338 0 0 25 0 1 0 131932230 636645376 152891 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 155431 152891 397 719 0 154710 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 621724

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13155
/proc/meminfo: memFree=30667836/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=692972 CPUtime=642.29
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 174018 0 0 0 61639 2590 0 0 25 0 1 0 131932230 709603328 170245 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13129/statm: 173243 170245 397 719 0 172522 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 692972

[startup+702.3 s]

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

/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 264148 0 0 0 102263 3965 0 0 25 0 1 0 131932230 1086730240 260375 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13129/statm: 265315 260375 397 719 0 264594 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 1061260

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13224
/proc/meminfo: memFree=30228536/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1089944 CPUtime=1122.26
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 271377 0 0 0 108207 4019 0 0 25 0 1 0 131932230 1116102656 267604 4089446400 4194304 7136930 140734183166528 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 272486 267604 397 719 0 271765 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 1089944

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13224
/proc/meminfo: memFree=30118516/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1126032 CPUtime=1182.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 280526 0 0 0 114142 4085 0 0 25 0 1 0 131932230 1153056768 276753 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 281508 276753 397 719 0 280787 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 1126032

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13226
/proc/meminfo: memFree=30020760/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1150960 CPUtime=1242.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 286766 0 0 0 120092 4135 0 0 25 0 1 0 131932230 1178583040 282993 4089446400 4194304 7136930 140734183166528 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 287740 282993 397 719 0 287019 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 1150960

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13228
/proc/meminfo: memFree=29914828/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1181696 CPUtime=1302.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 294505 0 0 0 126040 4188 0 0 25 0 1 0 131932230 1210056704 290732 4089446400 4194304 7136930 140734183166528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 295424 290732 397 719 0 294703 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 1181696

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13230
/proc/meminfo: memFree=29793508/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1237076 CPUtime=1362.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 308556 0 0 0 131952 4276 0 0 25 0 1 0 131932230 1266765824 304783 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 309269 304783 397 719 0 308548 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1237076

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13232
/proc/meminfo: memFree=29668348/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1291356 CPUtime=1422.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 322332 0 0 0 137852 4376 0 0 25 0 1 0 131932230 1322348544 318559 4089446400 4194304 7136930 140734183166528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 322839 318559 397 719 0 322118 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 1291356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13232
/proc/meminfo: memFree=29567864/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1321476 CPUtime=1482.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 329850 0 0 0 143795 4433 0 0 25 0 1 0 131932230 1353191424 326077 4089446400 4194304 7136930 140734183166528 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 330369 326077 397 719 0 329648 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 1321476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13234
/proc/meminfo: memFree=29473096/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1345552 CPUtime=1542.27
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 335938 0 0 0 149749 4478 0 0 25 0 1 0 131932230 1377845248 332165 4089446400 4194304 7136930 140734183166528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 336388 332165 397 719 0 335667 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 1345552

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13236
/proc/meminfo: memFree=29385640/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1363164 CPUtime=1602.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 340259 0 0 0 155711 4517 0 0 25 0 1 0 131932230 1395879936 336486 4089446400 4194304 7136930 140734183166528 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 340791 336486 397 719 0 340070 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 1363164

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13238
/proc/meminfo: memFree=29316908/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1383964 CPUtime=1662.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 345383 0 0 0 161673 4555 0 0 25 0 1 0 131932230 1417179136 341610 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 345991 341610 397 719 0 345270 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 1383964

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13240
/proc/meminfo: memFree=29257840/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1395760 CPUtime=1722.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 348285 0 0 0 167642 4586 0 0 25 0 1 0 131932230 1429258240 344512 4089446400 4194304 7136930 140734183166528 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 348940 344512 397 719 0 348219 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 1395760

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13240
/proc/meminfo: memFree=29198920/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1401788 CPUtime=1782.28
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 349846 0 0 0 173613 4615 0 0 25 0 1 0 131932230 1435430912 346073 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 350447 346073 397 719 0 349726 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 1401788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13242
/proc/meminfo: memFree=29179440/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1405196 CPUtime=1800.09
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 350710 0 0 0 175384 4625 0 0 25 0 1 0 131932230 1438920704 346937 4089446400 4194304 7136930 140734183166528 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13129/statm: 351299 346937 397 719 0 350578 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1405196

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13129

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13243
/proc/meminfo: memFree=29178316/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1405196 CPUtime=1801.38
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 350715 0 0 0 175513 4625 0 0 25 0 1 0 131932230 1438920704 346942 4089446400 4194304 7136930 140734183166528 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13129/statm: 351299 346942 402 719 0 350578 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 1405196

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13243
/proc/meminfo: memFree=29177076/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1405196 CPUtime=1801.79
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 350715 0 0 0 175554 4625 0 0 25 0 1 0 131932230 1438920704 346942 4089446400 4194304 7136930 140734183166528 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13129/statm: 351299 346942 402 719 0 350578 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 1405196

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13243
/proc/meminfo: memFree=29177076/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1403644 CPUtime=1801.98
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 350715 0 0 0 175573 4625 0 0 25 0 1 0 131932230 1437331456 346554 4089446400 4194304 7136930 140734183166528 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13129/statm: 350911 346554 402 719 0 350190 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 1403644

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13243
/proc/meminfo: memFree=29177076/32951132 swapFree=67111528/67111528
[pid=13129] ppid=13127 vsize=1396952 CPUtime=1802.08
/proc/13129/stat : 13129 (pbscip.linux.x8) R 13127 13129 11878 0 -1 4202496 350715 0 0 0 175583 4625 0 0 25 0 1 0 131932230 1430478848 344881 4089446400 4194304 7136930 140734183166528 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13129/statm: 349238 344881 402 719 0 348517 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1396952

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.16
CPU time (s): 1802.15
CPU user time (s): 1755.84
CPU system time (s): 46.306
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 1405196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.84
system time used= 46.306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 10683

runsolver used 2.46762 second user time and 5.74813 second system time

The end

Launcher Data 

Begin job on node129 at 2010-06-30 15:59:17
IDJOB=2694119
IDBENCH=78938
IDSOLVER=1206
FILE ID=node129/2694119-1277906357
PBS_JOBID= 11197158
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694119-1277906357/watcher-2694119-1277906357 -o /tmp/evaluation-result-2694119-1277906357/solver-2694119-1277906357 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694119-1277906357.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 20db9b5796300dda9a6b98219b888af4
RANDOM SEED=1691122267

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.76
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.84
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	: 5410.05
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.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.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.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.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31368068 kB
Buffers:        193280 kB
Cached:        1076740 kB
SwapCached:          0 kB
Active:         744144 kB
Inactive:       697908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31368068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3144 kB
Writeback:           0 kB
AnonPages:      172132 kB
Mapped:          17552 kB
Slab:            78236 kB
PageTables:       5080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   322420 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= 74204 MiB
End job on node129 at 2010-06-30 16:29:20