Trace number 2693841

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) 1800.14 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-66-100-0.wbo
MD5SUMbafaa0f2d721cfb2a00301ef0b213419
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.152975
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1314
Number of bits of the biggest sum of numbers11
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-2693841-1277895353.wbo>
0.00/0.00	c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 constraints
0.00/0.00	c problem read
0.00/0.00	c presolving settings loaded
0.00/0.00	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.00/0.00	c presolving:
0.00/0.00	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.00	c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01	c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01	c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02	c    (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (5 rounds):
0.00/0.02	c  2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02	c  32 implications, 49 cliques
0.00/0.02	c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02	c      27 constraints of type <indicator>
0.00/0.02	c      49 constraints of type <setppc>
0.00/0.02	c      27 constraints of type <linear>
0.00/0.02	c       9 constraints of type <logicor>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 3420
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     2 |     0 |     - | 730k|   0 |   - | 223 | 112 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.08	c   1.0s| 10000 |  6575 |     0 |   0.0 |6240k| 116 |   - | 223 |3145 |   0 |   0 |   0 |5262 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.51	o 178
1.49/1.51	c * 1.4s| 12190 |  7246 |     0 |   0.0 |7464k| 116 |   - | 223 |4576 |   0 |   0 |   0 |7375 |   0 | 0.000000e+00 | 1.780000e+02 |    Inf 
1.49/1.58	o 81
1.49/1.58	c * 1.5s| 13121 |  7998 |     0 |   0.0 |7702k| 116 |   - | 223 |3985 |   0 |   0 |   0 |7451 |   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
2.59/2.65	c   2.5s| 20000 | 12203 |     0 |   0.0 |  10M| 116 |   - | 223 |4721 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
4.69/4.78	c   4.5s| 30000 | 16706 |     0 |   0.0 |  15M| 116 |   - | 223 |6046 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
7.70/7.73	c   7.4s| 40000 | 19087 |     0 |   0.0 |  19M| 116 |   - | 223 |9896 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
9.99/10.07	c   9.7s| 50000 | 23614 |     0 |   0.0 |  21M| 116 |   - | 223 |1770 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
12.39/12.41	c  11.9s| 60000 | 26489 |     0 |   0.0 |  25M| 116 |   - | 223 |4643 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
15.59/15.67	c  15.1s| 70000 | 27816 |     0 |   0.0 |  29M| 116 |   - | 223 |6470 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
19.29/19.37	c  18.6s| 80000 | 28322 |     0 |   0.0 |  31M| 116 |   - | 223 |7901 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
23.39/23.48	c  22.6s| 90000 | 27985 |     0 |   0.0 |  33M| 116 |   - | 223 |9814 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
27.99/28.08	c  27.1s|100000 | 27563 |     0 |   0.0 |  32M| 116 |   - | 223 |6774 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
30.29/30.33	c  29.3s|110000 | 32322 |     0 |   0.0 |  36M| 116 |   - | 223 |5378 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
33.29/33.39	c  32.2s|120000 | 34971 |     0 |   0.0 |  40M| 116 |   - | 223 |8260 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
39.00/39.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.00/39.06	c  37.8s|130000 | 32646 |     0 |   0.0 |  42M| 116 |   - | 223 |  13k|   0 |   0 |   0 | 122k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
48.09/48.10	c  46.7s|140000 | 28021 |     0 |   0.0 |  41M| 116 |   - | 223 |  19k|   0 |   0 |   0 | 139k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
58.99/59.09	c  57.6s|150000 | 23472 |     0 |   0.0 |  35M| 116 |   - | 223 |  20k|   0 |   0 |   0 | 154k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
65.00/65.00	c  63.4s|160000 | 25105 |     0 |   0.0 |  35M| 116 |   - | 223 |  11k|   0 |   0 |   0 | 163k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
70.39/70.45	c  68.8s|170000 | 25816 |     0 |   0.0 |  38M| 116 |   - | 223 |  14k|   0 |   0 |   0 | 173k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
77.19/77.23	c  75.4s|180000 | 25399 |     0 |   0.0 |  40M| 116 |   - | 223 |  19k|   0 |   0 |   0 | 183k|   0 | 0.000000e+00 | 8.100000e+01 |    Inf 
88.69/88.77	c  86.8s|190000 | 20216 |     0 |   0.0 |  31M| 116 |   - | 223 |  20k|   0 |   0 |   0 | 198k|   0 | 1.000000e+00 | 8.100000e+01 |8000.00%
98.70/98.77	c  96.7s|200000 | 18263 |     0 |   0.0 |  31M| 116 |   - | 223 |  19k|   0 |   0 |   0 | 211k|   0 | 1.000000e+00 | 8.100000e+01 |8000.00%
109.40/109.43	c   107s|210000 | 15355 |     0 |   0.0 |  31M| 116 |   - | 223 |  24k|   0 |   0 |   0 | 224k|   0 | 1.000000e+00 | 8.100000e+01 |8000.00%
124.59/124.67	c   122s|220000 |  9604 |     0 |   0.0 |  26M| 120 |   - | 223 |  27k|   0 |   0 |   0 | 239k|   0 | 1.000000e+00 | 8.100000e+01 |8000.00%
131.80/131.87	c   129s|230000 | 11702 |     0 |   0.0 |  17M| 120 |   - | 223 |5505 |   0 |   0 |   0 | 246k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
133.49/133.55	c   131s|240000 | 18495 |     0 |   0.0 |  21M| 120 |   - | 223 |5510 |   0 |   0 |   0 | 250k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
137.29/137.33	c   135s|250000 | 19371 |     0 |   0.0 |  23M| 120 |   - | 223 |7857 |   0 |   0 |   0 | 259k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
139.20/139.21	c   136s|260000 | 26072 |     0 |   0.0 |  26M| 120 |   - | 223 |4671 |   0 |   0 |   0 | 263k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
141.30/141.31	c   138s|270000 | 31778 |     0 |   0.0 |  30M| 120 |   - | 223 |6194 |   0 |   0 |   0 | 268k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
144.00/144.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.00/144.08	c   141s|280000 | 36332 |     0 |   0.0 |  35M| 120 |   - | 223 |7820 |   0 |   0 |   0 | 275k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
147.40/147.43	c   144s|290000 | 40084 |     0 |   0.0 |  39M| 120 |   - | 223 |9119 |   0 |   0 |   0 | 282k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
151.70/151.78	c   149s|300000 | 42160 |     0 |   0.0 |  43M| 120 |   - | 223 |  10k|   0 |   0 |   0 | 291k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
157.60/157.67	c   154s|310000 | 40726 |     0 |   0.0 |  45M| 120 |   - | 223 |  11k|   0 |   0 |   0 | 302k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
161.60/161.67	c   158s|320000 | 44088 |     0 |   0.0 |  47M| 120 |   - | 223 |9485 |   0 |   0 |   0 | 309k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
165.10/165.19	c   162s|330000 | 48122 |     0 |   0.0 |  50M| 120 |   - | 223 |  10k|   0 |   0 |   0 | 317k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
169.50/169.57	c   166s|340000 | 51217 |     0 |   0.0 |  55M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 325k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
174.90/174.95	c   171s|350000 | 53458 |     0 |   0.0 |  59M| 120 |   - | 223 |  14k|   0 |   0 |   0 | 333k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
180.90/180.98	c   177s|360000 | 55266 |     0 |   0.0 |  62M| 120 |   - | 223 |  14k|   0 |   0 |   0 | 342k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
187.70/187.75	c   184s|370000 | 56187 |     0 |   0.0 |  65M| 120 |   - | 223 |  15k|   0 |   0 |   0 | 352k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
195.60/195.69	c   192s|380000 | 55818 |     0 |   0.0 |  68M| 120 |   - | 223 |  17k|   0 |   0 |   0 | 363k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
204.40/204.50	c   200s|390000 | 54614 |     0 |   0.0 |  70M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 375k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
215.20/215.29	c   211s|400000 | 51595 |     0 |   0.0 |  70M| 120 |   - | 223 |  20k|   0 |   0 |   0 | 388k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
226.70/226.75	c   222s|410000 | 47948 |     0 |   0.0 |  65M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 402k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.30/236.30	c   232s|420000 | 47365 |     0 |   0.0 |  68M| 120 |   - | 223 |  15k|   0 |   0 |   0 | 414k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
247.20/247.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
247.20/247.27	c   243s|430000 | 44959 |     0 |   0.0 |  69M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 427k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
259.70/259.75	c   255s|440000 | 41693 |     0 |   0.0 |  69M| 120 |   - | 223 |  18k|   0 |   0 |   0 | 441k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
273.70/273.75	c   269s|450000 | 37622 |     0 |   0.0 |  68M| 120 |   - | 223 |  21k|   0 |   0 |   0 | 456k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
290.00/290.04	c   285s|460000 | 31705 |     0 |   0.0 |  63M| 120 |   - | 223 |  24k|   0 |   0 |   0 | 472k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
310.70/310.73	c   306s|470000 | 22732 |     0 |   0.0 |  50M| 120 |   - | 223 |  23k|   0 |   0 |   0 | 489k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
334.41/334.45	c   329s|480000 |  9616 |     0 |   0.0 |  29M| 120 |   - | 223 |  24k|   0 |   0 |   0 | 510k|   0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.11/343.18	c   338s|490000 | 11042 |     0 |   0.0 |  23M| 120 |   - | 223 |8604 |   0 |   0 |   0 | 518k|   0 | 1.200000e+01 | 8.100000e+01 | 575.00%
345.50/345.51	c   340s|500000 | 17076 |     0 |   0.0 |  26M| 120 |   - | 223 |6800 |   0 |   0 |   0 | 522k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
348.30/348.39	c   343s|510000 | 21537 |     0 |   0.0 |  31M| 120 |   - | 223 |8940 |   0 |   0 |   0 | 528k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
352.01/352.09	c   346s|520000 | 24681 |     0 |   0.0 |  34M| 120 |   - | 223 |  10k|   0 |   0 |   0 | 534k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
355.90/355.98	c   350s|530000 | 28624 |     0 |   0.0 |  38M| 120 |   - | 223 |  11k|   0 |   0 |   0 | 539k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
361.10/361.14	c   355s|540000 | 30523 |     0 |   0.0 |  42M| 120 |   - | 223 |  13k|   0 |   0 |   0 | 546k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
367.80/367.80	c   362s|550000 | 30191 |     0 |   0.0 |  45M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 555k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
374.80/374.84	c   369s|560000 | 31103 |     0 |   0.0 |  46M| 120 |   - | 223 |  14k|   0 |   0 |   0 | 563k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
383.10/383.12	c   377s|570000 | 30325 |     0 |   0.0 |  49M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 572k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
392.71/392.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
392.71/392.72	c   386s|580000 | 28267 |     0 |   0.0 |  50M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 582k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
403.40/403.44	c   397s|590000 | 25199 |     0 |   0.0 |  48M| 120 |   - | 223 |  17k|   0 |   0 |   0 | 593k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
416.21/416.20	c   410s|600000 | 18639 |     0 |   0.0 |  40M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 605k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
421.31/421.33	c   415s|610000 | 20450 |     0 |   0.0 |  36M| 120 |   - | 223 |  11k|   0 |   0 |   0 | 613k|   0 | 1.300000e+01 | 8.100000e+01 | 523.08%
424.30/424.36	c   418s|620000 | 25761 |     0 |   0.0 |  39M| 120 |   - | 223 |8853 |   0 |   0 |   0 | 618k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
428.51/428.50	c   422s|630000 | 28509 |     0 |   0.0 |  44M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 626k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
433.81/433.88	c   427s|640000 | 29532 |     0 |   0.0 |  44M| 120 |   - | 223 |7912 |   0 |   0 |   0 | 635k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
437.30/437.30	c   430s|650000 | 33392 |     0 |   0.0 |  48M| 120 |   - | 223 |  10k|   0 |   0 |   0 | 643k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
443.31/443.34	c   436s|660000 | 34085 |     0 |   0.0 |  52M| 120 |   - | 223 |  14k|   0 |   0 |   0 | 653k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
451.11/451.15	c   444s|670000 | 33713 |     0 |   0.0 |  55M| 120 |   - | 223 |  18k|   0 |   0 |   0 | 663k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
460.82/460.84	c   453s|680000 | 32530 |     0 |   0.0 |  54M| 120 |   - | 223 |  15k|   0 |   0 |   0 | 674k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
467.51/467.53	c   460s|690000 | 32822 |     0 |   0.0 |  55M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 685k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
476.71/476.71	c   469s|700000 | 30836 |     0 |   0.0 |  57M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 698k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
490.71/490.70	c   483s|710000 | 24920 |     0 |   0.0 |  53M| 120 |   - | 223 |  24k|   0 |   0 |   0 | 713k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
499.80/499.89	c   492s|720000 | 25801 |     0 |   0.0 |  49M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 723k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
509.21/509.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
509.21/509.23	c   501s|730000 | 22701 |     0 |   0.0 |  42M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 735k|   0 | 1.700000e+01 | 8.100000e+01 | 376.47%
513.40/513.42	c   505s|740000 | 26954 |     0 |   0.0 |  44M| 120 |   - | 223 |  12k|   0 |   0 |   0 | 742k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
519.22/519.26	c   511s|750000 | 28695 |     0 |   0.0 |  48M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 752k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
527.21/527.23	c   519s|760000 | 29804 |     0 |   0.0 |  51M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 763k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
537.92/537.94	c   529s|770000 | 28040 |     0 |   0.0 |  53M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 777k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
550.51/550.57	c   542s|780000 | 24318 |     0 |   0.0 |  49M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 791k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
565.91/565.96	c   557s|790000 | 18896 |     0 |   0.0 |  47M| 120 |   - | 223 |  23k|   0 |   0 |   0 | 808k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
580.51/580.60	c   572s|800000 | 14972 |     0 |   0.0 |  33M| 120 |   - | 223 |  13k|   0 |   0 |   0 | 822k|   0 | 2.000000e+01 | 8.100000e+01 | 305.00%
584.21/584.21	c   575s|810000 | 19754 |     0 |   0.0 |  36M| 120 |   - | 223 |  10k|   0 |   0 |   0 | 829k|   0 | 2.400000e+01 | 8.100000e+01 | 237.50%
589.01/589.09	c   580s|820000 | 21484 |     0 |   0.0 |  40M| 120 |   - | 223 |  14k|   0 |   0 |   0 | 839k|   0 | 2.400000e+01 | 8.100000e+01 | 237.50%
595.71/595.76	c   587s|830000 | 23085 |     0 |   0.0 |  43M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 849k|   0 | 2.400000e+01 | 8.100000e+01 | 237.50%
605.51/605.52	c   596s|840000 | 20966 |     0 |   0.0 |  45M| 120 |   - | 223 |  22k|   0 |   0 |   0 | 863k|   0 | 2.400000e+01 | 8.100000e+01 | 237.50%
620.61/620.67	c   611s|850000 | 16716 |     0 |   0.0 |  43M| 120 |   - | 223 |  25k|   0 |   0 |   0 | 879k|   0 | 2.400000e+01 | 8.100000e+01 | 237.50%
634.51/634.58	c   625s|860000 | 15125 |     0 |   0.0 |  36M| 120 |   - | 223 |  17k|   0 |   0 |   0 | 892k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
640.81/640.84	c   631s|870000 | 17660 |     0 |   0.0 |  37M| 120 |   - | 223 |  13k|   0 |   0 |   0 | 901k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
644.71/644.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
644.71/644.76	c   635s|880000 | 22803 |     0 |   0.0 |  41M| 120 |   - | 223 |  15k|   0 |   0 |   0 | 907k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
651.42/651.40	c   641s|890000 | 24046 |     0 |   0.0 |  43M| 120 |   - | 223 |  15k|   0 |   0 |   0 | 917k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
658.11/658.18	c   648s|900000 | 25860 |     0 |   0.0 |  47M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 927k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
668.41/668.48	c   658s|910000 | 24568 |     0 |   0.0 |  50M| 120 |   - | 223 |  24k|   0 |   0 |   0 | 939k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
676.71/676.70	c   666s|920000 | 26114 |     0 |   0.0 |  49M| 120 |   - | 223 |  16k|   0 |   0 |   0 | 949k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
688.82/688.86	c   678s|930000 | 21883 |     0 |   0.0 |  49M| 120 |   - | 223 |  23k|   0 |   0 |   0 | 965k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
697.11/697.11	c   687s|940000 | 23369 |     0 |   0.0 |  45M| 120 |   - | 223 |  13k|   0 |   0 |   0 | 974k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
703.71/703.73	c   693s|950000 | 23616 |     0 |   0.0 |  47M| 120 |   - | 223 |  19k|   0 |   0 |   0 | 985k|   0 | 3.000000e+01 | 8.100000e+01 | 170.00%
711.92/711.97	c   701s|960000 | 24212 |     0 |   0.0 |  46M| 120 |   - | 223 |  17k|   0 |   0 |   0 | 996k|   0 | 3.200000e+01 | 8.100000e+01 | 153.12%
721.21/721.25	c   710s|970000 | 23223 |     0 |   0.0 |  49M| 120 |   - | 223 |  23k|   0 |   0 |   0 |1009k|   0 | 3.200000e+01 | 8.100000e+01 | 153.12%
735.02/735.01	c   724s|980000 | 19962 |     0 |   0.0 |  48M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1024k|   0 | 3.200000e+01 | 8.100000e+01 | 153.12%
747.61/747.64	c   736s|990000 | 17246 |     0 |   0.0 |  42M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1037k|   0 | 3.200000e+01 | 8.100000e+01 | 153.12%
753.92/753.91	c   743s|  1000k| 19743 |     0 |   0.0 |  40M| 120 |   - | 223 |  14k|   0 |   0 |   0 |1046k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
758.22/758.20	c   747s|  1010k| 23820 |     0 |   0.0 |  43M| 120 |   - | 223 |  13k|   0 |   0 |   0 |1053k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
764.12/764.11	c   753s|  1020k| 26102 |     0 |   0.0 |  47M| 120 |   - | 223 |  17k|   0 |   0 |   0 |1062k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
772.71/772.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
772.71/772.79	c   761s|  1030k| 25915 |     0 |   0.0 |  48M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1074k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
779.52/779.50	c   768s|  1040k| 29027 |     0 |   0.0 |  52M| 120 |   - | 223 |  20k|   0 |   0 |   0 |1082k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
791.12/791.13	c   779s|  1050k| 27606 |     0 |   0.0 |  54M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1095k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
806.02/806.03	c   794s|  1060k| 24801 |     0 |   0.0 |  53M| 120 |   - | 223 |  26k|   0 |   0 |   0 |1109k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
826.42/826.44	c   814s|  1070k| 19279 |     0 |   0.0 |  50M| 120 |   - | 223 |  30k|   0 |   0 |   0 |1126k|   0 | 3.600000e+01 | 8.100000e+01 | 125.00%
838.02/838.04	c   826s|  1080k| 19119 |     0 |   0.0 |  40M| 120 |   - | 223 |  16k|   0 |   0 |   0 |1136k|   0 | 3.800000e+01 | 8.100000e+01 | 113.16%
842.22/842.21	c   830s|  1090k| 24091 |     0 |   0.0 |  42M| 120 |   - | 223 |  11k|   0 |   0 |   0 |1143k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
845.42/845.46	c   833s|  1100k| 29530 |     0 |   0.0 |  46M| 120 |   - | 223 |  12k|   0 |   0 |   0 |1149k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
851.42/851.48	c   839s|  1110k| 31732 |     0 |   0.0 |  50M| 120 |   - | 223 |  15k|   0 |   0 |   0 |1159k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
858.42/858.47	c   846s|  1120k| 33297 |     0 |   0.0 |  53M| 120 |   - | 223 |  14k|   0 |   0 |   0 |1170k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
864.02/864.04	c   851s|  1130k| 35497 |     0 |   0.0 |  55M| 120 |   - | 223 |  11k|   0 |   0 |   0 |1179k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
868.82/868.86	c   856s|  1140k| 38891 |     0 |   0.0 |  58M| 120 |   - | 223 |  14k|   0 |   0 |   0 |1188k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
877.32/877.33	c   864s|  1150k| 39000 |     0 |   0.0 |  62M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1200k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
889.02/889.09	c   876s|  1160k| 37866 |     0 |   0.0 |  64M| 120 |   - | 223 |  23k|   0 |   0 |   0 |1215k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
901.62/901.63	c   889s|  1170k| 36961 |     0 |   0.0 |  65M| 120 |   - | 223 |  25k|   0 |   0 |   0 |1228k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
909.52/909.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
909.52/909.51	c   896s|  1180k| 40735 |     0 |   0.0 |  66M| 120 |   - | 223 |  18k|   0 |   0 |   0 |1235k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
918.22/918.20	c   905s|  1190k| 41689 |     0 |   0.0 |  69M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1247k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
928.92/928.95	c   916s|  1200k| 40693 |     0 |   0.0 |  70M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1260k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
947.52/947.57	c   934s|  1210k| 34644 |     0 |   0.0 |  67M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1278k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
965.73/965.73	c   952s|  1220k| 31786 |     0 |   0.0 |  63M| 120 |   - | 223 |  26k|   0 |   0 |   0 |1293k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
979.33/979.35	c   965s|  1230k| 31754 |     0 |   0.0 |  65M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1306k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
997.12/997.13	c   983s|  1240k| 28891 |     0 |   0.0 |  63M| 120 |   - | 223 |  28k|   0 |   0 |   0 |1320k|   0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1017.92/1017.91	c  1004s|  1250k| 23518 |     0 |   0.0 |  57M| 120 |   - | 223 |  31k|   0 |   0 |   0 |1338k|   0 | 4.100000e+01 | 8.100000e+01 |  97.56%
1041.82/1041.81	c  1028s|  1260k| 17613 |     0 |   0.0 |  48M| 120 |   - | 223 |  31k|   0 |   0 |   0 |1355k|   0 | 4.600000e+01 | 8.100000e+01 |  76.09%
1058.23/1058.23	c  1044s|  1270k| 16056 |     0 |   0.0 |  44M| 120 |   - | 223 |  23k|   0 |   0 |   0 |1368k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1062.53/1062.57	c  1048s|  1280k| 21284 |     0 |   0.0 |  45M| 120 |   - | 223 |  17k|   0 |   0 |   0 |1374k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1067.23/1067.24	c  1053s|  1290k| 26143 |     0 |   0.0 |  50M| 120 |   - | 223 |  19k|   0 |   0 |   0 |1381k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1075.32/1075.30	c  1061s|  1300k| 27642 |     0 |   0.0 |  53M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1392k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1084.53/1084.53	c  1070s|  1310k| 29285 |     0 |   0.0 |  57M| 120 |   - | 223 |  25k|   0 |   0 |   0 |1403k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1097.63/1097.65	c  1083s|  1320k| 27835 |     0 |   0.0 |  59M| 120 |   - | 223 |  29k|   0 |   0 |   0 |1417k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1114.23/1114.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1114.23/1114.21	c  1099s|  1330k| 25011 |     0 |   0.0 |  59M| 120 |   - | 223 |  31k|   0 |   0 |   0 |1433k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1136.23/1136.29	c  1121s|  1340k| 18572 |     0 |   0.0 |  52M| 120 |   - | 223 |  32k|   0 |   0 |   0 |1451k|   0 | 4.900000e+01 | 8.100000e+01 |  65.31%
1146.82/1146.86	c  1132s|  1350k| 20262 |     0 |   0.0 |  48M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1461k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1153.83/1153.85	c  1138s|  1360k| 24458 |     0 |   0.0 |  50M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1468k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1163.33/1163.39	c  1148s|  1370k| 25792 |     0 |   0.0 |  53M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1478k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1171.63/1171.63	c  1156s|  1380k| 29336 |     0 |   0.0 |  57M| 120 |   - | 223 |  28k|   0 |   0 |   0 |1486k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1184.53/1184.59	c  1169s|  1390k| 28676 |     0 |   0.0 |  60M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1499k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1200.93/1200.92	c  1185s|  1400k| 27137 |     0 |   0.0 |  60M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1512k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1215.83/1215.80	c  1200s|  1410k| 26309 |     0 |   0.0 |  62M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1524k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1238.03/1238.00	c  1222s|  1420k| 19609 |     0 |   0.0 |  54M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1541k|   0 | 5.400000e+01 | 8.100000e+01 |  50.00%
1252.94/1252.92	c  1237s|  1430k| 18023 |     0 |   0.0 |  44M| 120 |   - | 223 |  22k|   0 |   0 |   0 |1553k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1258.73/1258.75	c  1242s|  1440k| 22661 |     0 |   0.0 |  47M| 120 |   - | 223 |  22k|   0 |   0 |   0 |1560k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1266.43/1266.47	c  1250s|  1450k| 25317 |     0 |   0.0 |  52M| 120 |   - | 223 |  26k|   0 |   0 |   0 |1570k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1275.03/1275.04	c  1258s|  1460k| 28039 |     0 |   0.0 |  54M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1579k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1285.34/1285.30	c  1269s|  1470k| 29582 |     0 |   0.0 |  58M| 120 |   - | 223 |  28k|   0 |   0 |   0 |1590k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1299.63/1299.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1299.63/1299.61	c  1283s|  1480k| 27505 |     0 |   0.0 |  58M| 120 |   - | 223 |  30k|   0 |   0 |   0 |1604k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1310.23/1310.21	c  1293s|  1490k| 28751 |     0 |   0.0 |  60M| 120 |   - | 223 |  29k|   0 |   0 |   0 |1615k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1328.53/1328.50	c  1311s|  1500k| 23241 |     0 |   0.0 |  56M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1632k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1334.64/1334.63	c  1318s|  1510k| 29366 |     0 |   0.0 |  57M| 120 |   - | 223 |  23k|   0 |   0 |   0 |1638k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1345.04/1345.07	c  1328s|  1520k| 28128 |     0 |   0.0 |  53M| 120 |   - | 223 |  24k|   0 |   0 |   0 |1650k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1351.53/1351.59	c  1334s|  1530k| 32729 |     0 |   0.0 |  56M| 120 |   - | 223 |  23k|   0 |   0 |   0 |1658k|   0 | 6.000000e+01 | 8.100000e+01 |  35.00%
1360.33/1360.39	c  1343s|  1540k| 35186 |     0 |   0.0 |  60M| 120 |   - | 223 |  26k|   0 |   0 |   0 |1669k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1371.33/1371.37	c  1354s|  1550k| 35374 |     0 |   0.0 |  64M| 120 |   - | 223 |  31k|   0 |   0 |   0 |1682k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1378.53/1378.55	c  1361s|  1560k| 40053 |     0 |   0.0 |  64M| 120 |   - | 223 |  22k|   0 |   0 |   0 |1689k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1385.94/1385.99	c  1368s|  1570k| 43261 |     0 |   0.0 |  67M| 120 |   - | 223 |  22k|   0 |   0 |   0 |1698k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1396.44/1396.48	c  1379s|  1580k| 44465 |     0 |   0.0 |  71M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1710k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1411.54/1411.54	c  1394s|  1590k| 43677 |     0 |   0.0 |  74M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1725k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1430.14/1430.16	c  1412s|  1600k| 41493 |     0 |   0.0 |  76M| 120 |   - | 223 |  39k|   0 |   0 |   0 |1740k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1445.44/1445.47	c  1427s|  1610k| 43071 |     0 |   0.0 |  75M| 120 |   - | 223 |  34k|   0 |   0 |   0 |1751k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1457.24/1457.26	c  1439s|  1620k| 45537 |     0 |   0.0 |  79M| 120 |   - | 223 |  34k|   0 |   0 |   0 |1763k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1469.04/1469.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1469.04/1469.06	c  1451s|  1630k| 47765 |     0 |   0.0 |  80M| 120 |   - | 223 |  26k|   0 |   0 |   0 |1773k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1483.25/1483.24	c  1465s|  1640k| 46514 |     0 |   0.0 |  79M| 120 |   - | 223 |  27k|   0 |   0 |   0 |1787k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1503.54/1503.57	c  1485s|  1650k| 42150 |     0 |   0.0 |  78M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1804k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1526.44/1526.44	c  1508s|  1660k| 38081 |     0 |   0.0 |  74M| 120 |   - | 223 |  41k|   0 |   0 |   0 |1821k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1542.74/1542.70	c  1524s|  1670k| 39897 |     0 |   0.0 |  76M| 120 |   - | 223 |  39k|   0 |   0 |   0 |1833k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1563.34/1563.36	c  1544s|  1680k| 38688 |     0 |   0.0 |  77M| 120 |   - | 223 |  44k|   0 |   0 |   0 |1848k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1583.65/1583.63	c  1565s|  1690k| 38683 |     0 |   0.0 |  75M| 120 |   - | 223 |  35k|   0 |   0 |   0 |1860k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1599.45/1599.46	c  1580s|  1700k| 38902 |     0 |   0.0 |  76M| 120 |   - | 223 |  33k|   0 |   0 |   0 |1873k|   0 | 6.300000e+01 | 8.100000e+01 |  28.57%
1620.74/1620.74	c  1601s|  1710k| 33728 |     0 |   0.0 |  69M| 120 |   - | 223 |  38k|   0 |   0 |   0 |1891k|   0 | 6.400000e+01 | 8.100000e+01 |  26.56%
1650.55/1650.56	c  1631s|  1720k| 27528 |     0 |   0.0 |  68M| 120 |   - | 223 |  48k|   0 |   0 |   0 |1912k|   0 | 6.400000e+01 | 8.100000e+01 |  26.56%
1676.35/1676.40	c  1657s|  1730k| 25045 |     0 |   0.0 |  64M| 120 |   - | 223 |  40k|   0 |   0 |   0 |1928k|   0 | 6.400000e+01 | 8.100000e+01 |  26.56%
1701.45/1701.41	c  1682s|  1740k| 19910 |     0 |   0.0 |  57M| 120 |   - | 223 |  44k|   0 |   0 |   0 |1947k|   0 | 6.400000e+01 | 8.100000e+01 |  26.56%
1730.85/1730.80	c  1711s|  1750k| 13739 |     0 |   0.0 |  46M| 120 |   - | 223 |  41k|   0 |   0 |   0 |1965k|   0 | 6.900000e+01 | 8.100000e+01 |  17.39%
1746.35/1746.38	c  1726s|  1760k| 14527 |     0 |   0.0 |  42M| 120 |   - | 223 |  32k|   0 |   0 |   0 |1976k|   0 | 6.900000e+01 | 8.100000e+01 |  17.39%
1758.45/1758.43	c  1738s|  1770k| 15226 |     0 |   0.0 |  44M| 120 |   - | 223 |  32k|   0 |   0 |   0 |1988k|   0 | 7.000000e+01 | 8.100000e+01 |  15.71%
1773.44/1773.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1773.44/1773.48	c  1753s|  1780k| 13352 |     0 |   0.0 |  41M| 120 |   - | 223 |  29k|   0 |   0 |   0 |2002k|   0 | 7.000000e+01 | 8.100000e+01 |  15.71%
1785.45/1785.42	c  1765s|  1790k| 13780 |     0 |   0.0 |  39M| 120 |   - | 223 |  27k|   0 |   0 |   0 |2013k|   0 | 7.000000e+01 | 8.100000e+01 |  15.71%
1795.26/1795.25	c  1775s|  1800k| 15492 |     0 |   0.0 |  39M| 120 |   - | 223 |  29k|   0 |   0 |   0 |2023k|   0 | 7.200000e+01 | 8.100000e+01 |  12.50%
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1779.41
1800.05/1800.00	c Solving Nodes      : 1804421
1800.05/1800.00	c Primal Bound       : +8.10000000000000e+01 (2 solutions)
1800.05/1800.00	c Dual Bound         : +7.20000000000000e+01
1800.05/1800.00	c Gap                : 12.50 %
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 
1800.05/1800.00	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1800.05/1800.00	v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 
1800.05/1800.00	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 
1800.05/1800.00	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 
1800.05/1800.00	v -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
1800.05/1800.00	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.05/1800.00	v -x4 -x3 -x2 x1 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time       :    1779.41
1800.05/1800.00	c Original Problem   :
1800.05/1800.00	c   Problem name     : HOME/instance-2693841-1277895353.wbo
1800.05/1800.00	c   Variables        : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.05/1800.00	c   Constraints      : 130 initial, 130 maximal
1800.05/1800.00	c Presolved Problem  :
1800.05/1800.00	c   Problem name     : t_HOME/instance-2693841-1277895353.wbo
1800.05/1800.00	c   Variables        : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.05/1800.00	c   Constraints      : 112 initial, 51366 maximal
1800.05/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1800.05/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   indicator        :       0.00          0          0          0          0          0          1          0          0
1800.05/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   linear           :       0.00          0          0          0         27          0         17          1          0
1800.05/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   root node        :          -          5          -          -         10          -          -          -          -
1800.05/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   indicator        :         27          0    5331217          0    1068185        375     158094          0          0          0
1800.05/1800.00	c   setppc           :         49          0    5714035          0    1141374     170336   12480789          0          0          0
1800.05/1800.00	c   linear           :         27          0    5543700          0    1141374     452880   24593593          0          0          0
1800.05/1800.00	c   logicor          :          9+         0    3137901          0    1141254     382197    1834196          0          0          0
1800.05/1800.00	c   bounddisjunction :          0+         0     461283          0          0          1       1828          0          0          0
1800.05/1800.00	c   countsols        :          0          0          0          0    1141376          0          0          0          0          0
1800.05/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.00	c   indicator        :       2.34       0.00       1.52       0.00       0.82
1800.05/1800.00	c   setppc           :      40.13       0.00      33.96       0.00       6.17
1800.05/1800.00	c   linear           :      94.45       0.00      93.66       0.00       0.79
1800.05/1800.00	c   logicor          :     807.87       0.00     806.53       0.00       1.34
1800.05/1800.00	c   bounddisjunction :       0.99       0.00       0.99       0.00       0.00
1800.05/1800.00	c   countsols        :       0.17       0.00       0.00       0.00       0.17
1800.05/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.00	c   vbounds          :       1.12          2          0          0
1800.05/1800.00	c   rootredcost      :       1.24          0          0          0
1800.05/1800.00	c   pseudoobj        :       6.87    5714485        272     108163
1800.05/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.00	c   propagation      :      41.56    1005686    1005443    5127957       19.7     125809       15.5          -
1800.05/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   pseudo solution  :       0.00         13         13         18        3.4          5       21.2          -
1800.05/1800.00	c   applied globally :          -          -          -    2021389       15.4          -          -          -
1800.05/1800.00	c   applied locally  :          -          -          -       6246       34.1          -          -          -
1800.05/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.00	c Pricers            :       Time      Calls       Vars
1800.05/1800.00	c   problem variables:       0.00          0          0
1800.05/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   inference        :       7.57    1141374          0          0          0          0    2282748
1800.05/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.00	c   LP solutions     :       0.00          -          0
1800.05/1800.00	c   pseudo solutions :       0.00          -          2
1800.05/1800.00	c   oneopt           :       0.62          0          0
1800.05/1800.00	c   trivial          :       0.00          2          0
1800.05/1800.00	c   simplerounding   :       0.00          0          0
1800.05/1800.00	c   zirounding       :       0.00          0          0
1800.05/1800.00	c   rounding         :       0.00          0          0
1800.05/1800.00	c   shifting         :       0.00          0          0
1800.05/1800.00	c   intshifting      :       0.00          0          0
1800.05/1800.00	c   twoopt           :       0.00          0          0
1800.05/1800.00	c   fixandinfer      :       0.00          0          0
1800.05/1800.00	c   feaspump         :       0.00          0          0
1800.05/1800.00	c   coefdiving       :       0.00          0          0
1800.05/1800.00	c   pscostdiving     :       0.00          0          0
1800.05/1800.00	c   fracdiving       :       0.00          0          0
1800.05/1800.00	c   veclendiving     :       0.00          0          0
1800.05/1800.00	c   intdiving        :       0.00          0          0
1800.05/1800.00	c   actconsdiving    :       0.00          0          0
1800.05/1800.00	c   objpscostdiving  :       0.00          0          0
1800.05/1800.00	c   rootsoldiving    :       0.00          0          0
1800.05/1800.00	c   linesearchdiving :       0.00          0          0
1800.05/1800.00	c   guideddiving     :       0.00          0          0
1800.05/1800.00	c   octane           :       0.00          0          0
1800.05/1800.00	c   rens             :       0.00          0          0
1800.05/1800.00	c   rins             :       0.00          0          0
1800.05/1800.00	c   localbranching   :       0.00          0          0
1800.05/1800.00	c   mutation         :       0.00          0          0
1800.05/1800.00	c   crossover        :       0.00          0          0
1800.05/1800.00	c   dins             :       0.00          0          0
1800.05/1800.00	c   undercover       :       0.00          0          0
1800.05/1800.00	c   nlp              :       0.35          0          0
1800.05/1800.00	c   trysol           :       0.35          1          0
1800.05/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.00	c B&B Tree           :
1800.05/1800.00	c   number of runs   :          1
1800.05/1800.00	c   nodes            :    1804421
1800.05/1800.00	c   nodes (total)    :    1804421
1800.05/1800.00	c   nodes left       :      16435
1800.05/1800.00	c   max depth        :        120
1800.05/1800.00	c   max depth (total):        120
1800.05/1800.00	c   backtracks       :     720714 (39.9%)
1800.05/1800.00	c   delayed cutoffs  :     461724
1800.05/1800.00	c   repropagations   :    2140152 (11821233 domain reductions, 343029 cutoffs)
1800.05/1800.00	c   avg switch length:      17.42
1800.05/1800.00	c   switching time   :     591.56
1800.05/1800.00	c Solution           :
1800.05/1800.00	c   Solutions found  :          2 (2 improvements)
1800.05/1800.00	c   First Solution   : +1.78000000000000e+02   (in run 1, after 12190 nodes, 1.41 seconds, depth 66, found by <relaxation>)
1800.05/1800.00	c   Primal Bound     : +8.10000000000000e+01   (in run 1, after 13121 nodes, 1.48 seconds, depth 68, found by <relaxation>)
1800.05/1800.00	c   Dual Bound       : +7.20000000000000e+01
1800.05/1800.00	c   Gap              :      12.50 %
1800.05/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.00	c   Root Iterations  :          0
1800.05/1800.08	c Time complete: 1800.13.

Verifier Data 

OK	80

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23054
/proc/meminfo: memFree=31281624/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=8140 CPUtime=0
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 1523 0 0 0 0 0 0 0 18 0 1 0 165138774 8335360 1445 4089446400 4194304 7136930 140737105046448 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23054/statm: 2035 1445 276 719 0 1314 0

[startup+0.0647171 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23054
/proc/meminfo: memFree=31281624/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=12356 CPUtime=0.05
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 4596 0 0 0 5 0 0 0 18 0 1 0 165138774 12652544 2366 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 3089 2366 395 719 0 2368 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12356

[startup+0.100715 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23054
/proc/meminfo: memFree=31281624/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=12620 CPUtime=0.09
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 4671 0 0 0 8 1 0 0 18 0 1 0 165138774 12922880 2441 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 3155 2441 395 719 0 2434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12620

[startup+0.300674 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23054
/proc/meminfo: memFree=31281624/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=14540 CPUtime=0.29
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 5152 0 0 0 27 2 0 0 18 0 1 0 165138774 14888960 2922 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 3635 2928 395 719 0 2914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14540

[startup+0.700607 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23054
/proc/meminfo: memFree=31281624/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=17404 CPUtime=0.69
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 5877 0 0 0 65 4 0 0 18 0 1 0 165138774 17821696 3647 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 4351 3647 395 719 0 3630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17404

[startup+1.50046 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23055
/proc/meminfo: memFree=31266612/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=21084 CPUtime=1.49
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 6815 0 0 0 140 9 0 0 20 0 1 0 165138774 21590016 4585 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 5271 4585 395 719 0 4550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21084

[startup+3.10016 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23055
/proc/meminfo: memFree=31261280/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=26524 CPUtime=3.09
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 8210 0 0 0 292 17 0 0 25 0 1 0 165138774 27160576 5980 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 6631 5980 397 719 0 5910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26524

[startup+6.30056 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23055
/proc/meminfo: memFree=31252340/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=34900 CPUtime=6.29
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 10273 0 0 0 601 28 0 0 25 0 1 0 165138774 35737600 8043 4089446400 4194304 7136930 140737105046448 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 8725 8043 397 719 0 8004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34900

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23055
/proc/meminfo: memFree=31239480/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=46288 CPUtime=12.69
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 13136 0 0 0 1217 52 0 0 25 0 1 0 165138774 47398912 10906 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 11572 10906 398 719 0 10851 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46288

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23055
/proc/meminfo: memFree=31229320/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=55540 CPUtime=25.49
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 15439 0 0 0 2462 87 0 0 25 0 1 0 165138774 56872960 13209 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 13885 13209 398 719 0 13164 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55540

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23056
/proc/meminfo: memFree=31210620/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=70344 CPUtime=51.1
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 19105 0 0 0 4969 141 0 0 25 0 1 0 165138774 72032256 16875 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 17586 16875 398 719 0 16865 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 70344

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23057
/proc/meminfo: memFree=31190244/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=73328 CPUtime=102.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 19754 0 0 0 10016 214 0 0 25 0 1 0 165138774 75087872 17524 4089446400 4194304 7136930 140737105046448 18446744073709551615 5000158 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 18332 17524 398 719 0 17611 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73328

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23059
/proc/meminfo: memFree=31181272/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=81208 CPUtime=162.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 21673 0 0 0 15894 336 0 0 25 0 1 0 165138774 83156992 19443 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 20302 19443 398 719 0 19581 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 81208

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 23061
/proc/meminfo: memFree=31157040/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=101616 CPUtime=222.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 26809 0 0 0 21801 429 0 0 25 0 1 0 165138774 104054784 24579 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 25404 24579 398 719 0 24683 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 101616

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23062
/proc/meminfo: memFree=31153764/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=104968 CPUtime=282.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 27601 0 0 0 27736 494 0 0 25 0 1 0 165138774 107487232 25371 4089446400 4194304 7136930 140737105046448 18446744073709551615 4210021 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 26242 25371 398 719 0 25521 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 104968

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 23072
/proc/meminfo: memFree=31150924/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=106296 CPUtime=342.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 27966 0 0 0 33692 538 0 0 25 0 1 0 165138774 108847104 25736 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 26574 25736 398 719 0 25853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106296

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 23074
/proc/meminfo: memFree=31148012/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=108516 CPUtime=402.3
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 28575 0 0 0 39587 643 0 0 25 0 1 0 165138774 111120384 26345 4089446400 4194304 7136930 140737105046448 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 27129 26345 398 719 0 26408 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 108516

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 23076
/proc/meminfo: memFree=31121032/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=109240 CPUtime=462.31
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 28694 0 0 0 45483 748 0 0 25 0 1 0 165138774 111861760 26464 4089446400 4194304 7136930 140737105046448 18446744073709551615 4212311 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 27310 26464 398 719 0 26589 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 109240

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23077
/proc/meminfo: memFree=31113168/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=110176 CPUtime=522.31
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 28856 0 0 0 51397 834 0 0 25 0 1 0 165138774 112820224 26626 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 27544 26626 398 719 0 26823 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 110176

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23079
/proc/meminfo: memFree=31084232/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=111732 CPUtime=582.31
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 29079 0 0 0 57333 898 0 0 25 0 1 0 165138774 114413568 26849 4089446400 4194304 7136930 140737105046448 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 27933 26849 398 719 0 27212 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 111732

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23080
/proc/meminfo: memFree=31074008/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=112000 CPUtime=642.32
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 29153 0 0 0 63252 980 0 0 25 0 1 0 165138774 114688000 26923 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 28000 26923 398 719 0 27279 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 112000

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 23085
/proc/meminfo: memFree=31054268/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=113396 CPUtime=822.32
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 29404 0 0 0 81024 1208 0 0 25 0 1 0 165138774 116117504 27174 4089446400 4194304 7136930 140737105046448 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 28349 27174 398 719 0 27628 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 113396

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23087
/proc/meminfo: memFree=31052856/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=114488 CPUtime=882.32
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 29692 0 0 0 86938 1294 0 0 25 0 1 0 165138774 117235712 27462 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 28622 27462 398 719 0 27901 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 114488

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23088
/proc/meminfo: memFree=31051328/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=116132 CPUtime=942.32
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 29990 0 0 0 92873 1359 0 0 25 0 1 0 165138774 118919168 27760 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29033 27760 398 719 0 28312 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 116132

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23090
/proc/meminfo: memFree=31033808/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=116548 CPUtime=1002.33
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30050 0 0 0 98829 1404 0 0 25 0 1 0 165138774 119345152 27820 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29137 27820 398 719 0 28416 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 116548

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23092
/proc/meminfo: memFree=31014536/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=116596 CPUtime=1062.33
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30124 0 0 0 104780 1453 0 0 25 0 1 0 165138774 119394304 27894 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29149 27894 398 719 0 28428 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 116596

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23096
/proc/meminfo: memFree=31007776/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=116596 CPUtime=1122.33
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30136 0 0 0 110716 1517 0 0 25 0 1 0 165138774 119394304 27906 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29149 27906 398 719 0 28428 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 116596

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23098
/proc/meminfo: memFree=31005244/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=116992 CPUtime=1182.33
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30223 0 0 0 116655 1578 0 0 25 0 1 0 165138774 119799808 27993 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29248 27993 398 719 0 28527 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 116992

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23099
/proc/meminfo: memFree=30992316/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=117076 CPUtime=1242.33
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30231 0 0 0 122610 1623 0 0 25 0 1 0 165138774 119885824 28001 4089446400 4194304 7136930 140737105046448 18446744073709551615 4660653 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29269 28001 398 719 0 28548 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 117076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23101
/proc/meminfo: memFree=30985952/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=117220 CPUtime=1302.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30268 0 0 0 128549 1685 0 0 25 0 1 0 165138774 120033280 28038 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29305 28038 398 719 0 28584 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 117220

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 23103
/proc/meminfo: memFree=30973496/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=117220 CPUtime=1362.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30281 0 0 0 134483 1751 0 0 25 0 1 0 165138774 120033280 28051 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29305 28051 398 719 0 28584 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 117220

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 23105
/proc/meminfo: memFree=30957696/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=118644 CPUtime=1422.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 30684 0 0 0 140425 1809 0 0 25 0 1 0 165138774 121491456 28454 4089446400 4194304 7136930 140737105046448 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 29661 28454 398 719 0 28940 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 118644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23106
/proc/meminfo: memFree=30953076/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=123708 CPUtime=1482.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 31814 0 0 0 146378 1856 0 0 25 0 1 0 165138774 126676992 29584 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 30927 29584 398 719 0 30206 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 123708

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23107
/proc/meminfo: memFree=30946220/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=125080 CPUtime=1542.35
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32185 0 0 0 152341 1894 0 0 25 0 1 0 165138774 128081920 29955 4089446400 4194304 7136930 140737105046448 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 31270 29955 398 719 0 30549 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 125080

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23109
/proc/meminfo: memFree=30943932/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=127596 CPUtime=1602.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32647 0 0 0 158304 1930 0 0 25 0 1 0 165138774 130658304 30417 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 31899 30417 398 719 0 31178 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 127596

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23159
/proc/meminfo: memFree=31218288/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=128512 CPUtime=1662.34
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32798 0 0 0 164273 1961 0 0 25 0 1 0 165138774 131596288 30568 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 32128 30568 398 719 0 31407 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 128512

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 23160
/proc/meminfo: memFree=31202152/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=128512 CPUtime=1722.35
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32820 0 0 0 170237 1998 0 0 25 0 1 0 165138774 131596288 30590 4089446400 4194304 7136930 140737105046448 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 32128 30590 398 719 0 31407 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 128512

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 23162
/proc/meminfo: memFree=31191316/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=128512 CPUtime=1782.35
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32821 0 0 0 176191 2044 0 0 25 0 1 0 165138774 131596288 30591 4089446400 4194304 7136930 140737105046448 18446744073709551615 4409090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 32128 30591 398 719 0 31407 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 128512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 23163
/proc/meminfo: memFree=31186348/32950928 swapFree=67111528/67111528
[pid=23054] ppid=23052 vsize=128648 CPUtime=1800.05
/proc/23054/stat : 23054 (pbscip.linux.x8) R 23052 23054 21461 0 -1 4202496 32827 0 0 0 177941 2064 0 0 25 0 1 0 165138774 131735552 30597 4089446400 4194304 7136930 140737105046448 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23054/statm: 32162 30597 398 719 0 31441 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 128648

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.14
CPU user time (s): 1779.49
CPU system time (s): 20.6509
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 128648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.49
system time used= 20.6509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32839
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= 4
involuntary context switches= 2486

runsolver used 2.51562 second user time and 5.79612 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 12:55:53
IDJOB=2693841
IDBENCH=78753
IDSOLVER=1206
FILE ID=node113/2693841-1277895353
PBS_JOBID= 11197128
Free space on /tmp= 74212 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/wnqueen/normalized-t2001.13queen13.1111224059--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-2693841-1277895353/watcher-2693841-1277895353 -o /tmp/evaluation-result-2693841-1277895353/solver-2693841-1277895353 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693841-1277895353.wbo -t 1800 -m 3800

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

MD5SUM BENCH= bafaa0f2d721cfb2a00301ef0b213419
RANDOM SEED=841887695

node113.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.812
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.62
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.812
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.812
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.75
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.812
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.83
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.812
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.74
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.812
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.75
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.812
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.812
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31282152 kB
Buffers:        176808 kB
Cached:        1028416 kB
SwapCached:          0 kB
Active:         845356 kB
Inactive:       682252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31282152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3176 kB
Writeback:           0 kB
AnonPages:      322900 kB
Mapped:          20288 kB
Slab:            78132 kB
PageTables:       5148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1651356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node113 at 2010-06-30 13:25:55