Trace number 2694002

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 solverOPTIMUM 1712.94 1712.9

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978113--soft-66-100-0.wbo
MD5SUM9827eed4e77f286e6e4727bea036a058
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.275957
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 constraints29
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 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1184
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-2694002-1277899619.wbo>
0.00/0.00	c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 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, 37 impls, 48 clqs
0.00/0.01	c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01	c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01	c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs
0.00/0.02	c    (0.0s) probing: 101/197 (51.3%) - 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, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02	c  37 implications, 48 cliques
0.00/0.02	c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints
0.00/0.02	c      28 constraints of type <indicator>
0.00/0.02	c       1 constraints of type <knapsack>
0.00/0.02	c      48 constraints of type <setppc>
0.00/0.02	c      28 constraints of type <linear>
0.00/0.02	c       7 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 |     - | 868k|   0 |   - | 225 | 112 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.09/1.17	c   1.0s| 10000 |  7505 |     0 |   0.0 |6120k| 150 |   - | 225 |2751 |   0 |   0 |   0 |4820 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.12	c   2.7s| 20000 | 13166 |     0 |   0.0 |  11M| 150 |   - | 225 |4140 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
5.29/5.32	c   4.7s| 30000 | 18832 |     0 |   0.0 |  16M| 150 |   - | 225 |6918 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
7.99/8.02	c   7.1s| 40000 | 23931 |     0 |   0.0 |  20M| 150 |   - | 225 |9019 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
11.29/11.31	c  10.2s| 50000 | 28221 |     0 |   0.0 |  25M| 150 |   - | 225 |  10k|   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
15.19/15.22	c  13.8s| 60000 | 31278 |     0 |   0.0 |  29M| 150 |   - | 225 |  12k|   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
19.99/20.02	c  18.3s| 70000 | 32887 |     0 |   0.0 |  34M| 150 |   - | 225 |  16k|   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
22.59/22.63	c  20.6s| 80000 | 39401 |     0 |   0.0 |  35M| 150 |   - | 225 |7570 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
26.59/26.65	c  24.3s| 90000 | 42732 |     0 |   0.0 |  40M| 150 |   - | 225 |  11k|   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
31.79/31.88	c  29.3s|100000 | 45022 |     0 |   0.0 |  45M| 150 |   - | 225 |  15k|   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
38.30/38.31	c  35.3s|110000 | 46502 |     0 |   0.0 |  49M| 150 |   - | 225 |  17k|   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
45.79/45.81	c  42.5s|120000 | 47125 |     0 |   0.0 |  53M| 150 |   - | 225 |  20k|   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
54.09/54.10	c  50.4s|130000 | 47401 |     0 |   0.0 |  56M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
63.59/63.65	c  59.5s|140000 | 47057 |     0 |   0.0 |  60M| 150 |   - | 225 |  25k|   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
74.19/74.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.19/74.22	c  69.7s|150000 | 46071 |     0 |   0.0 |  62M| 150 |   - | 225 |  29k|   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
85.50/85.56	c  80.6s|160000 | 44910 |     0 |   0.0 |  65M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 201k|   0 | 0.000000e+00 |      --      |    Inf 
94.99/95.05	c  89.8s|170000 | 47496 |     0 |   0.0 |  63M| 150 |   - | 225 |  20k|   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
98.69/98.80	c  93.2s|180000 | 53973 |     0 |   0.0 |  65M| 150 |   - | 225 |  13k|   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
102.29/102.35	c  96.4s|190000 | 59522 |     0 |   0.0 |  69M| 150 |   - | 225 |  13k|   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
106.50/106.55	c   100s|200000 | 64005 |     0 |   0.0 |  73M| 150 |   - | 225 |  15k|   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
113.29/113.36	c   107s|210000 | 65529 |     0 |   0.0 |  76M| 150 |   - | 225 |  18k|   0 |   0 |   0 | 252k|   0 | 0.000000e+00 |      --      |    Inf 
125.29/125.30	c   118s|220000 | 63188 |     0 |   0.0 |  79M| 150 |   - | 225 |  23k|   0 |   0 |   0 | 273k|   0 | 0.000000e+00 |      --      |    Inf 
140.69/140.80	c   133s|230000 | 59323 |     0 |   0.0 |  79M| 150 |   - | 225 |  31k|   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
160.09/160.12	c   152s|240000 | 54424 |     0 |   0.0 |  78M| 150 |   - | 225 |  38k|   0 |   0 |   0 | 317k|   0 | 0.000000e+00 |      --      |    Inf 
188.29/188.39	c   180s|250000 | 47692 |     0 |   0.0 |  72M| 150 |   - | 225 |  46k|   0 |   0 |   0 | 340k|   0 | 0.000000e+00 |      --      |    Inf 
214.00/214.07	c   206s|260000 | 46651 |     0 |   0.0 |  65M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 356k|   0 | 0.000000e+00 |      --      |    Inf 
225.60/225.65	c   217s|270000 | 50972 |     0 |   0.0 |  66M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 367k|   0 | 0.000000e+00 |      --      |    Inf 
235.50/235.55	c   227s|280000 | 55070 |     0 |   0.0 |  69M| 150 |   - | 225 |  25k|   0 |   0 |   0 | 378k|   0 | 0.000000e+00 |      --      |    Inf 
245.50/245.58	c   237s|290000 | 58810 |     0 |   0.0 |  73M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 389k|   0 | 0.000000e+00 |      --      |    Inf 
256.10/256.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
256.10/256.13	c   247s|300000 | 62391 |     0 |   0.0 |  77M| 150 |   - | 225 |  29k|   0 |   0 |   0 | 400k|   0 | 0.000000e+00 |      --      |    Inf 
267.79/267.86	c   259s|310000 | 65392 |     0 |   0.0 |  80M| 150 |   - | 225 |  31k|   0 |   0 |   0 | 412k|   0 | 0.000000e+00 |      --      |    Inf 
277.50/277.56	o 18
277.50/277.56	c * 269s|317808 | 54825 |     0 |   0.0 |  75M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 421k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
282.50/282.53	c   274s|320000 | 54565 |     0 |   0.0 |  75M| 150 |   - | 225 |  30k|   0 |   0 |   0 | 426k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
301.99/302.01	c   293s|330000 | 52941 |     0 |   0.0 |  78M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 445k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
331.40/331.47	c   322s|340000 | 45688 |     0 |   0.0 |  69M| 150 |   - | 225 |  35k|   0 |   0 |   0 | 469k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
367.00/367.06	c   358s|350000 | 37887 |     0 |   0.0 |  55M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 494k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
393.80/393.81	c   384s|360000 | 34707 |     0 |   0.0 |  55M| 150 |   - | 225 |  36k|   0 |   0 |   0 | 518k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
431.10/431.10	c   421s|370000 | 29304 |     0 |   0.0 |  57M| 150 |   - | 225 |  44k|   0 |   0 |   0 | 546k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
472.80/472.88	c   463s|380000 | 23529 |     0 |   0.0 |  58M| 150 |   - | 225 |  53k|   0 |   0 |   0 | 572k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
512.71/512.73	c   503s|390000 | 18778 |     0 |   0.0 |  57M| 150 |   - | 225 |  63k|   0 |   0 |   0 | 597k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
575.41/575.46	c   565s|400000 | 10576 |     0 |   0.0 |  50M| 150 |   - | 225 |  68k|   0 |   0 |   0 | 627k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
645.10/645.11	c   635s|410000 |  1462 |     0 |   0.0 |  27M| 150 |   - | 225 |  58k|   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 1.800000e+01 |1700.00%
653.52/653.56	c   643s|420000 |  8179 |     0 |   0.0 |  19M| 150 |   - | 225 |  19k|   0 |   0 |   0 | 660k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
659.40/659.42	c   649s|430000 | 13841 |     0 |   0.0 |  22M| 150 |   - | 225 |  15k|   0 |   0 |   0 | 670k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
665.31/665.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
665.31/665.30	c   654s|440000 | 19372 |     0 |   0.0 |  27M| 150 |   - | 225 |  19k|   0 |   0 |   0 | 680k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
673.21/673.22	c   662s|450000 | 23624 |     0 |   0.0 |  32M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 692k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
683.41/683.42	c   672s|460000 | 26343 |     0 |   0.0 |  37M| 150 |   - | 225 |  26k|   0 |   0 |   0 | 707k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
695.60/695.66	c   684s|470000 | 28682 |     0 |   0.0 |  40M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 722k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
707.21/707.29	c   696s|480000 | 32880 |     0 |   0.0 |  44M| 150 |   - | 225 |  29k|   0 |   0 |   0 | 735k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
721.30/721.34	c   710s|490000 | 36119 |     0 |   0.0 |  49M| 150 |   - | 225 |  30k|   0 |   0 |   0 | 751k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
737.01/737.03	c   725s|500000 | 38666 |     0 |   0.0 |  52M| 150 |   - | 225 |  32k|   0 |   0 |   0 | 767k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
755.71/755.79	c   744s|510000 | 39852 |     0 |   0.0 |  56M| 150 |   - | 225 |  34k|   0 |   0 |   0 | 785k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
777.11/777.15	c   765s|520000 | 40143 |     0 |   0.0 |  60M| 150 |   - | 225 |  38k|   0 |   0 |   0 | 805k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
799.72/799.78	c   788s|530000 | 39908 |     0 |   0.0 |  63M| 150 |   - | 225 |  39k|   0 |   0 |   0 | 824k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
822.41/822.47	c   810s|540000 | 39119 |     0 |   0.0 |  66M| 150 |   - | 225 |  42k|   0 |   0 |   0 | 843k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
847.12/847.18	c   835s|550000 | 38467 |     0 |   0.0 |  66M| 150 |   - | 225 |  45k|   0 |   0 |   0 | 862k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
872.71/872.74	c   860s|560000 | 40035 |     0 |   0.0 |  68M| 150 |   - | 225 |  42k|   0 |   0 |   0 | 881k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
904.12/904.13	c   892s|570000 | 39139 |     0 |   0.0 |  70M| 150 |   - | 225 |  41k|   0 |   0 |   0 | 903k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
941.02/941.06	c   928s|580000 | 36348 |     0 |   0.0 |  72M| 150 |   - | 225 |  43k|   0 |   0 |   0 | 928k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
980.91/980.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
980.91/980.94	c   968s|590000 | 32390 |     0 |   0.0 |  72M| 150 |   - | 225 |  47k|   0 |   0 |   0 | 953k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
1023.72/1023.74	c  1011s|600000 | 27399 |     0 |   0.0 |  69M| 150 |   - | 225 |  52k|   0 |   0 |   0 | 979k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
1067.52/1067.58	c  1055s|610000 | 21204 |     0 |   0.0 |  62M| 150 |   - | 225 |  58k|   0 |   0 |   0 |1005k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
1113.01/1113.06	c  1100s|620000 | 19241 |     0 |   0.0 |  61M| 150 |   - | 225 |  52k|   0 |   0 |   0 |1028k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
1175.52/1175.55	c  1162s|630000 |  9211 |     0 |   0.0 |  45M| 150 |   - | 225 |  56k|   0 |   0 |   0 |1059k|   0 | 7.000000e+00 | 1.800000e+01 | 157.14%
1243.03/1243.00	c  1229s|640000 |   589 |     0 |   0.0 |  25M| 150 |   - | 225 |  49k|   0 |   0 |   0 |1087k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1253.22/1253.24	c  1240s|650000 |  6668 |     0 |   0.0 |  25M| 150 |   - | 225 |  34k|   0 |   0 |   0 |1094k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1262.02/1262.03	c  1248s|660000 | 12937 |     0 |   0.0 |  27M| 150 |   - | 225 |  29k|   0 |   0 |   0 |1102k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1271.73/1271.72	c  1258s|670000 | 17913 |     0 |   0.0 |  33M| 150 |   - | 225 |  33k|   0 |   0 |   0 |1113k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1286.32/1286.37	c  1272s|680000 | 20247 |     0 |   0.0 |  38M| 150 |   - | 225 |  38k|   0 |   0 |   0 |1127k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1302.72/1302.76	c  1289s|690000 | 22932 |     0 |   0.0 |  40M| 150 |   - | 225 |  34k|   0 |   0 |   0 |1141k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1317.72/1317.70	c  1304s|700000 | 26158 |     0 |   0.0 |  45M| 150 |   - | 225 |  38k|   0 |   0 |   0 |1156k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1336.73/1336.79	c  1322s|710000 | 28045 |     0 |   0.0 |  49M| 150 |   - | 225 |  42k|   0 |   0 |   0 |1172k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1360.12/1360.13	c  1346s|720000 | 28759 |     0 |   0.0 |  54M| 150 |   - | 225 |  46k|   0 |   0 |   0 |1190k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1387.03/1387.03	c  1372s|730000 | 28371 |     0 |   0.0 |  57M| 150 |   - | 225 |  49k|   0 |   0 |   0 |1210k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1416.32/1416.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.32/1416.33	c  1402s|740000 | 26431 |     0 |   0.0 |  59M| 150 |   - | 225 |  53k|   0 |   0 |   0 |1230k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1445.12/1445.15	c  1430s|750000 | 27030 |     0 |   0.0 |  57M| 150 |   - | 225 |  44k|   0 |   0 |   0 |1248k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1469.43/1469.46	c  1454s|760000 | 27516 |     0 |   0.0 |  60M| 150 |   - | 225 |  46k|   0 |   0 |   0 |1267k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1506.93/1506.92	c  1492s|770000 | 24149 |     0 |   0.0 |  62M| 150 |   - | 225 |  54k|   0 |   0 |   0 |1292k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1553.63/1553.69	c  1538s|780000 | 18859 |     0 |   0.0 |  60M| 150 |   - | 225 |  63k|   0 |   0 |   0 |1318k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1601.53/1601.55	c  1586s|790000 | 15032 |     0 |   0.0 |  55M| 150 |   - | 225 |  62k|   0 |   0 |   0 |1341k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1631.63/1631.64	c  1616s|800000 | 17466 |     0 |   0.0 |  51M| 150 |   - | 225 |  44k|   0 |   0 |   0 |1354k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1680.94/1680.98	c  1665s|810000 |  9353 |     0 |   0.0 |  41M| 150 |   - | 225 |  55k|   0 |   0 |   0 |1383k|   0 | 1.400000e+01 | 1.800000e+01 |  28.57%
1705.14/1705.15	o 17
1705.14/1705.15	c *1689s|815914 |  1730 |     0 |   0.0 |  32M| 150 |   - | 225 |  50k|   0 |   0 |   0 |1392k|   0 | 1.400000e+01 | 1.700000e+01 |  21.43%
1712.84/1712.83	c 
1712.84/1712.83	c SCIP Status        : problem is solved [optimal solution found]
1712.84/1712.83	c Solving Time (sec) : 1696.99
1712.84/1712.83	c Solving Nodes      : 816831
1712.84/1712.83	c Primal Bound       : +1.70000000000000e+01 (2 solutions)
1712.84/1712.83	c Dual Bound         : +1.70000000000000e+01
1712.84/1712.83	c Gap                : 0.00 %
1712.84/1712.83	s OPTIMUM FOUND
1712.84/1712.83	v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 
1712.84/1712.83	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1712.84/1712.83	v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 
1712.84/1712.83	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 
1712.84/1712.83	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 
1712.84/1712.83	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 
1712.84/1712.83	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 
1712.84/1712.83	v -x4 -x3 x2 -x1 
1712.84/1712.83	c SCIP Status        : problem is solved [optimal solution found]
1712.84/1712.83	c Solving Time       :    1696.99
1712.84/1712.83	c Original Problem   :
1712.84/1712.83	c   Problem name     : HOME/instance-2694002-1277899619.wbo
1712.84/1712.83	c   Variables        : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous)
1712.84/1712.83	c   Constraints      : 131 initial, 131 maximal
1712.84/1712.83	c Presolved Problem  :
1712.84/1712.83	c   Problem name     : t_HOME/instance-2694002-1277899619.wbo
1712.84/1712.83	c   Variables        : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1712.84/1712.83	c   Constraints      : 112 initial, 78355 maximal
1712.84/1712.83	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1712.84/1712.83	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1712.84/1712.83	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   implics          :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   probing          :       0.01          0          0          0          0          0          0          0          0
1712.84/1712.83	c   indicator        :       0.00          0          0          0          0          0          1          0          0
1712.84/1712.83	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   linear           :       0.00          0          0          0         28          0         18          1          0
1712.84/1712.83	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1712.84/1712.83	c   root node        :          -          0          -          -          0          -          -          -          -
1712.84/1712.83	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1712.84/1712.83	c   integral         :          0          0          0          0          0          0          0          0          0          0
1712.84/1712.83	c   indicator        :         28          0    1970872          0     384484          0      38654          0          0          0
1712.84/1712.83	c   knapsack         :          1          0    2710897          0     521102      76618    7358482          0          0          0
1712.84/1712.83	c   setppc           :         48          0    2634275          0     521100     300254    4288288          0          0          0
1712.84/1712.83	c   linear           :         28          0    2334017          0     521100      49987    1828813          0          0          0
1712.84/1712.83	c   logicor          :          7+         0    1299393          0     494966      18375     709425          0          0          0
1712.84/1712.83	c   bounddisjunction :          0+         0      21145          0          0          0          5          0          0          0
1712.84/1712.83	c   countsols        :          0          0          0          0     521102          0          0          0          0          0
1712.84/1712.83	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1712.84/1712.83	c   integral         :       0.00       0.00       0.00       0.00       0.00
1712.84/1712.83	c   indicator        :       0.89       0.00       0.61       0.00       0.28
1712.84/1712.83	c   knapsack         :     102.19       0.00     100.88       0.00       1.31
1712.84/1712.83	c   setppc           :      27.77       0.00      25.32       0.00       2.45
1712.84/1712.83	c   linear           :      16.63       0.00      16.40       0.00       0.23
1712.84/1712.83	c   logicor          :     860.53       0.00     860.36       0.00       0.17
1712.84/1712.83	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1712.84/1712.83	c   countsols        :       0.04       0.00       0.00       0.00       0.04
1712.84/1712.83	c Propagators        :       Time      Calls    Cutoffs    DomReds
1712.84/1712.83	c   vbounds          :       0.48          2          0          0
1712.84/1712.83	c   rootredcost      :       0.38          0          0          0
1712.84/1712.83	c   pseudoobj        :       2.25    2710699          2      25208
1712.84/1712.83	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1712.84/1712.83	c   propagation      :      17.50     445236     445225    2500808       23.8     110672       14.3          -
1712.84/1712.83	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1712.84/1712.83	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1712.84/1712.83	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1712.84/1712.83	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1712.84/1712.83	c   applied globally :          -          -          -    1376760       16.9          -          -          -
1712.84/1712.83	c   applied locally  :          -          -          -      18995       36.1          -          -          -
1712.84/1712.83	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1712.84/1712.83	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1712.84/1712.83	c   redcost          :       0.00          0          0          0          0          0
1712.84/1712.83	c   impliedbounds    :       0.00          0          0          0          0          0
1712.84/1712.83	c   intobj           :       0.00          0          0          0          0          0
1712.84/1712.83	c   cgmip            :       0.00          0          0          0          0          0
1712.84/1712.83	c   gomory           :       0.00          0          0          0          0          0
1712.84/1712.83	c   strongcg         :       0.00          0          0          0          0          0
1712.84/1712.83	c   cmir             :       0.00          0          0          0          0          0
1712.84/1712.83	c   flowcover        :       0.00          0          0          0          0          0
1712.84/1712.83	c   clique           :       0.00          0          0          0          0          0
1712.84/1712.83	c   zerohalf         :       0.00          0          0          0          0          0
1712.84/1712.83	c   mcf              :       0.00          0          0          0          0          0
1712.84/1712.83	c   rapidlearning    :       0.00          0          0          0          0          0
1712.84/1712.83	c Pricers            :       Time      Calls       Vars
1712.84/1712.83	c   problem variables:       0.00          0          0
1712.84/1712.83	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1712.84/1712.83	c   relpscost        :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   pscost           :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   inference        :       2.86     521100          0          0          0          0    1042200
1712.84/1712.83	c   mostinf          :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   leastinf         :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   fullstrong       :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   allfullstrong    :       0.00          0          0          0          0          0          0
1712.84/1712.83	c   random           :       0.00          0          0          0          0          0          0
1712.84/1712.83	c Primal Heuristics  :       Time      Calls      Found
1712.84/1712.83	c   LP solutions     :       0.00          -          0
1712.84/1712.83	c   pseudo solutions :       0.03          -          2
1712.84/1712.83	c   oneopt           :       0.29          0          0
1712.84/1712.83	c   trivial          :       0.00          2          0
1712.84/1712.83	c   simplerounding   :       0.00          0          0
1712.84/1712.83	c   zirounding       :       0.00          0          0
1712.84/1712.83	c   rounding         :       0.00          0          0
1712.84/1712.83	c   shifting         :       0.00          0          0
1712.84/1712.83	c   intshifting      :       0.00          0          0
1712.84/1712.83	c   twoopt           :       0.00          0          0
1712.84/1712.83	c   fixandinfer      :       0.00          0          0
1712.84/1712.83	c   feaspump         :       0.00          0          0
1712.84/1712.83	c   coefdiving       :       0.00          0          0
1712.84/1712.83	c   pscostdiving     :       0.00          0          0
1712.84/1712.83	c   fracdiving       :       0.00          0          0
1712.84/1712.83	c   veclendiving     :       0.00          0          0
1712.84/1712.83	c   intdiving        :       0.00          0          0
1712.84/1712.83	c   actconsdiving    :       0.00          0          0
1712.84/1712.83	c   objpscostdiving  :       0.00          0          0
1712.84/1712.83	c   rootsoldiving    :       0.00          0          0
1712.84/1712.83	c   linesearchdiving :       0.00          0          0
1712.84/1712.83	c   guideddiving     :       0.00          0          0
1712.84/1712.83	c   octane           :       0.00          0          0
1712.84/1712.83	c   rens             :       0.00          0          0
1712.84/1712.83	c   rins             :       0.00          0          0
1712.84/1712.83	c   localbranching   :       0.00          0          0
1712.84/1712.83	c   mutation         :       0.00          0          0
1712.84/1712.83	c   crossover        :       0.00          0          0
1712.84/1712.83	c   dins             :       0.00          0          0
1712.84/1712.83	c   undercover       :       0.00          0          0
1712.84/1712.83	c   nlp              :       0.21          0          0
1712.84/1712.83	c   trysol           :       0.15          1          0
1712.84/1712.83	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1712.84/1712.83	c   primal LP        :       0.00          0          0       0.00          -
1712.84/1712.83	c   dual LP          :       0.00          0          0       0.00          -
1712.84/1712.83	c   lex dual LP      :       0.00          0          0       0.00          -
1712.84/1712.83	c   barrier LP       :       0.00          0          0       0.00          -
1712.84/1712.83	c   diving/probing LP:       0.00          0          0       0.00          -
1712.84/1712.83	c   strong branching :       0.00          0          0       0.00          -
1712.84/1712.83	c     (at root node) :          -          0          0       0.00          -
1712.84/1712.83	c   conflict analysis:       0.00          0          0       0.00          -
1712.84/1712.83	c B&B Tree           :
1712.84/1712.83	c   number of runs   :          1
1712.84/1712.83	c   nodes            :     816831
1712.84/1712.83	c   nodes (total)    :     816831
1712.84/1712.83	c   nodes left       :          0
1712.84/1712.83	c   max depth        :        150
1712.84/1712.83	c   max depth (total):        150
1712.84/1712.83	c   backtracks       :     314343 (38.5%)
1712.84/1712.83	c   delayed cutoffs  :     205349
1712.84/1712.83	c   repropagations   :     921696 (4216990 domain reductions, 149507 cutoffs)
1712.84/1712.83	c   avg switch length:      18.08
1712.84/1712.83	c   switching time   :     498.43
1712.84/1712.83	c Solution           :
1712.84/1712.83	c   Solutions found  :          2 (2 improvements)
1712.84/1712.83	c   First Solution   : +1.80000000000000e+01   (in run 1, after 317808 nodes, 268.63 seconds, depth 55, found by <relaxation>)
1712.84/1712.83	c   Primal Bound     : +1.70000000000000e+01   (in run 1, after 815914 nodes, 1689.33 seconds, depth 56, found by <relaxation>)
1712.84/1712.83	c   Dual Bound       : +1.70000000000000e+01
1712.84/1712.83	c   Gap              :       0.00 %
1712.84/1712.83	c   Root Dual Bound  : +0.00000000000000e+00
1712.84/1712.83	c   Root Iterations  :          0
1712.93/1712.90	c Time complete: 1712.93.

Verifier Data 

OK	17

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694002-1277899619/watcher-2694002-1277899619 -o /tmp/evaluation-result-2694002-1277899619/solver-2694002-1277899619 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694002-1277899619.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 1.99 1.99 3/196 15887
/proc/meminfo: memFree=30836804/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=8148 CPUtime=0
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 1512 0 0 0 0 0 0 0 21 0 1 0 131256584 8343552 1435 4089446400 4194304 7136930 140733686384688 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15887/statm: 2037 1435 275 719 0 1316 0

[startup+0.103552 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 15887
/proc/meminfo: memFree=30836804/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=12600 CPUtime=0.09
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 4941 0 0 0 7 2 0 0 21 0 1 0 131256584 12902400 2455 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 3150 2455 404 719 0 2429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12600

[startup+0.200531 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 15887
/proc/meminfo: memFree=30836804/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=13428 CPUtime=0.19
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 5159 0 0 0 15 4 0 0 21 0 1 0 131256584 13750272 2673 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 3357 2673 404 719 0 2636 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13428

[startup+0.300515 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 15887
/proc/meminfo: memFree=30836804/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=14396 CPUtime=0.29
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 5391 0 0 0 23 6 0 0 21 0 1 0 131256584 14741504 2905 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 3599 2905 404 719 0 2878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14396

[startup+0.70044 s]
/proc/loadavg: 2.01 1.99 1.99 3/196 15887
/proc/meminfo: memFree=30836804/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=16948 CPUtime=0.69
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 6057 0 0 0 56 13 0 0 22 0 1 0 131256584 17354752 3571 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 4237 3571 404 719 0 3516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16948

[startup+1.5003 s]
/proc/loadavg: 2.01 1.99 1.99 3/197 15888
/proc/meminfo: memFree=30822040/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=21124 CPUtime=1.49
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 7112 0 0 0 124 25 0 0 25 0 1 0 131256584 21630976 4626 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 5281 4626 404 719 0 4560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21124

[startup+3.10101 s]
/proc/loadavg: 2.01 1.99 1.99 3/197 15888
/proc/meminfo: memFree=30818100/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=25684 CPUtime=3.09
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 8240 0 0 0 265 44 0 0 25 0 1 0 131256584 26300416 5754 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 6421 5754 404 719 0 5700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25684

[startup+6.30046 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 15888
/proc/meminfo: memFree=30808056/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=35120 CPUtime=6.3
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 10641 0 0 0 554 76 0 0 25 0 1 0 131256584 35962880 8155 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 8780 8155 404 719 0 8059 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 35120

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.99 3/199 15891
/proc/meminfo: memFree=30795780/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=46112 CPUtime=12.69
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 13409 0 0 0 1144 125 0 0 25 0 1 0 131256584 47218688 10923 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 11528 10923 404 719 0 10807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46112

[startup+25.501 s]
/proc/loadavg: 1.93 1.97 1.99 3/179 15918
/proc/meminfo: memFree=31161748/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=61864 CPUtime=25.49
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 17365 0 0 0 2326 223 0 0 25 0 1 0 131256584 63348736 14879 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 15466 14879 404 719 0 14745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61864

[startup+51.1005 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 15919
/proc/meminfo: memFree=31141916/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=82828 CPUtime=51.09
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 22536 0 0 0 4751 358 0 0 25 0 1 0 131256584 84815872 20050 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15887/statm: 20707 20050 404 719 0 19986 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82828

[startup+102.3 s]
/proc/loadavg: 1.98 1.97 1.99 4/179 15920
/proc/meminfo: memFree=31119436/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=104124 CPUtime=102.29
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 27877 0 0 0 9639 590 0 0 25 0 1 0 131256584 106622976 25391 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15887/statm: 26031 25391 404 719 0 25310 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 104124

[startup+162.301 s]
/proc/loadavg: 1.96 1.96 1.98 4/200 16000
/proc/meminfo: memFree=30909856/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=117312 CPUtime=162.29
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 30528 0 0 0 15433 796 0 0 25 0 1 0 131256584 120127488 28042 4089446400 4194304 7136930 140733686384688 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15887/statm: 29328 28042 404 719 0 28607 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 117312

[startup+222.306 s]
/proc/loadavg: 2.05 1.99 1.99 3/197 16048
/proc/meminfo: memFree=30873692/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=121268 CPUtime=222.3
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 31359 0 0 0 21395 835 0 0 25 0 1 0 131256584 124178432 28873 4089446400 4194304 7136930 140733686384688 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 30317 28873 404 719 0 29596 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 121268

[startup+282.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/197 16049
/proc/meminfo: memFree=30854312/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=124940 CPUtime=282.29
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 32193 0 0 0 27336 893 0 0 25 0 1 0 131256584 127938560 29707 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 31235 29707 404 719 0 30514 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 124940

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 16051
/proc/meminfo: memFree=30840996/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=125784 CPUtime=342.29
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 32403 0 0 0 33295 934 0 0 25 0 1 0 131256584 128802816 29917 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 31446 29917 404 719 0 30725 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 125784

[startup+402.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/197 16052
/proc/meminfo: memFree=30830424/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=126604 CPUtime=402.3
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 32625 0 0 0 39264 966 0 0 25 0 1 0 131256584 129642496 30139 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 31651 30139 406 719 0 30930 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 126604

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 16054
/proc/meminfo: memFree=30808672/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=127048 CPUtime=462.3
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 32783 0 0 0 45236 994 0 0 25 0 1 0 131256584 130097152 30297 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 31762 30297 406 719 0 31041 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 127048

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16056
/proc/meminfo: memFree=30788928/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=128720 CPUtime=522.31
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 33172 0 0 0 51213 1018 0 0 25 0 1 0 131256584 131809280 30686 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 32180 30686 406 719 0 31459 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 128720

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16057
/proc/meminfo: memFree=30781064/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=131244 CPUtime=582.3
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 33732 0 0 0 57198 1032 0 0 25 0 1 0 131256584 134393856 31246 4089446400 4194304 7136930 140733686384688 18446744073709551615 5954172 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 32811 31246 406 719 0 32090 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 131244

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16059
/proc/meminfo: memFree=30764776/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=135116 CPUtime=642.31
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 34666 0 0 0 63180 1051 0 0 25 0 1 0 131256584 138358784 32180 4089446400 4194304 7136930 140733686384688 18446744073709551615 5000293 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 33779 32180 406 719 0 33058 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 135116

[startup+702.3 s]

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

/proc/meminfo: memFree=30726224/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137656 CPUtime=1122.32
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35140 0 0 0 110904 1328 0 0 25 0 1 0 131256584 140959744 32654 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34414 32654 406 719 0 33693 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 137656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16073
/proc/meminfo: memFree=30718252/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137656 CPUtime=1182.32
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35159 0 0 0 116887 1345 0 0 25 0 1 0 131256584 140959744 32673 4089446400 4194304 7136930 140733686384688 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34414 32673 406 719 0 33693 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 137656

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16075
/proc/meminfo: memFree=30714876/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137136 CPUtime=1242.32
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35159 0 0 0 122872 1360 0 0 25 0 1 0 131256584 140427264 32543 4089446400 4194304 7136930 140733686384688 18446744073709551615 4208876 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34284 32543 406 719 0 33563 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 137136

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16076
/proc/meminfo: memFree=30713400/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1302.32
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35572 0 0 0 128822 1410 0 0 25 0 1 0 131256584 143847424 32696 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32696 406 719 0 34398 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 140476

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16078
/proc/meminfo: memFree=30700844/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1362.32
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35572 0 0 0 134780 1452 0 0 25 0 1 0 131256584 143847424 32696 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32696 406 719 0 34398 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 140476

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 16080
/proc/meminfo: memFree=30687404/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1422.33
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35572 0 0 0 140752 1481 0 0 25 0 1 0 131256584 143847424 32696 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32696 406 719 0 34398 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 140476

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 16081
/proc/meminfo: memFree=30683776/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1482.33
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35578 0 0 0 146724 1509 0 0 25 0 1 0 131256584 143847424 32702 4089446400 4194304 7136930 140733686384688 18446744073709551615 4210694 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32702 406 719 0 34398 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 140476

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/197 16086
/proc/meminfo: memFree=30675232/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1542.33
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35590 0 0 0 152703 1530 0 0 25 0 1 0 131256584 143847424 32714 4089446400 4194304 7136930 140733686384688 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32714 406 719 0 34398 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 140476

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 16087
/proc/meminfo: memFree=30673832/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1602.33
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35618 0 0 0 158685 1548 0 0 25 0 1 0 131256584 143847424 32742 4089446400 4194304 7136930 140733686384688 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32742 406 719 0 34398 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 140476

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 16089
/proc/meminfo: memFree=30671808/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1662.33
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35618 0 0 0 164662 1571 0 0 25 0 1 0 131256584 143847424 32742 4089446400 4194304 7136930 140733686384688 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32742 406 719 0 34398 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 140476

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

[startup+1664 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 16089
/proc/meminfo: memFree=30671808/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=140476 CPUtime=1664.03
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35618 0 0 0 164831 1572 0 0 25 0 1 0 131256584 143847424 32742 4089446400 4194304 7136930 140733686384688 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 35119 32742 406 719 0 34398 0
Current children cumulated CPU time (s) 1664.03
Current children cumulated vsize (KiB) 140476

[startup+1689.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16090
/proc/meminfo: memFree=30672772/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=139312 CPUtime=1689.64
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35618 0 0 0 167385 1579 0 0 25 0 1 0 131256584 142655488 32451 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34828 32451 406 719 0 34107 0
Current children cumulated CPU time (s) 1689.64
Current children cumulated vsize (KiB) 139312

[startup+1702.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16090
/proc/meminfo: memFree=30672692/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=139312 CPUtime=1702.43
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 168660 1583 0 0 25 0 1 0 131256584 142655488 32483 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34828 32483 406 719 0 34107 0
Current children cumulated CPU time (s) 1702.43
Current children cumulated vsize (KiB) 139312

[startup+1708.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30673932/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137248 CPUtime=1708.83
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 169297 1586 0 0 25 0 1 0 131256584 140541952 31967 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34312 31967 406 719 0 33591 0
Current children cumulated CPU time (s) 1708.83
Current children cumulated vsize (KiB) 137248

[startup+1710.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30673932/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137248 CPUtime=1710.43
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 169456 1587 0 0 25 0 1 0 131256584 140541952 31967 4089446400 4194304 7136930 140733686384688 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34312 31967 406 719 0 33591 0
Current children cumulated CPU time (s) 1710.43
Current children cumulated vsize (KiB) 137248

[startup+1712 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30673932/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=137248 CPUtime=1712.03
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 169616 1587 0 0 25 0 1 0 131256584 140541952 31967 4089446400 4194304 7136930 140733686384688 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34312 31967 406 719 0 33591 0
Current children cumulated CPU time (s) 1712.03
Current children cumulated vsize (KiB) 137248

[startup+1712.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30673932/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=136732 CPUtime=1712.44
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 169656 1588 0 0 25 0 1 0 131256584 140013568 31838 4089446400 4194304 7136930 140733686384688 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34183 31838 406 719 0 33462 0
Current children cumulated CPU time (s) 1712.44
Current children cumulated vsize (KiB) 136732

[startup+1712.81 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30674304/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=136732 CPUtime=1712.84
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35650 0 0 0 169696 1588 0 0 25 0 1 0 131256584 140013568 31838 4089446400 4194304 7136930 140733686384688 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15887/statm: 34183 31838 406 719 0 33462 0
Current children cumulated CPU time (s) 1712.84
Current children cumulated vsize (KiB) 136732

[startup+1712.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 16091
/proc/meminfo: memFree=30674304/32951124 swapFree=67111528/67111528
[pid=15887] ppid=15885 vsize=23764 CPUtime=1712.93
/proc/15887/stat : 15887 (pbscip.linux.x8) R 15885 15887 15299 0 -1 4202496 35655 0 0 0 169705 1588 0 0 25 0 1 0 131256584 24334336 5498 4089446400 4194304 7136930 140733686384688 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15887/statm: 5684 5241 411 719 0 4963 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 23764

Child status: 0
Real time (s): 1712.9
CPU time (s): 1712.94
CPU user time (s): 1697.06
CPU system time (s): 15.8886
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 140476

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

runsolver used 2.35664 second user time and 5.44517 second system time

The end

Launcher Data 

Begin job on node146 at 2010-06-30 14:06:59
IDJOB=2694002
IDBENCH=78862
IDSOLVER=1206
FILE ID=node146/2694002-1277899619
PBS_JOBID= 11197159
Free space on /tmp= 74180 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.1110978113--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-2694002-1277899619/watcher-2694002-1277899619 -o /tmp/evaluation-result-2694002-1277899619/solver-2694002-1277899619 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694002-1277899619.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 9827eed4e77f286e6e4727bea036a058
RANDOM SEED=894537347

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
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:     32951124 kB
MemFree:      30837332 kB
Buffers:        186240 kB
Cached:        1323348 kB
SwapCached:          0 kB
Active:         867012 kB
Inactive:      1098488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30837332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3216 kB
Writeback:           0 kB
AnonPages:      455724 kB
Mapped:          20244 kB
Slab:            83060 kB
PageTables:       6024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1659132 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= 74176 MiB
End job on node146 at 2010-06-30 14:35:32