Trace number 2693921

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 865.037 865.015

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo
MD5SUM14adea07f674cbc6036223afab3dc3b4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.217966
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 constraints64
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 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1259
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-2693921-1277897395.wbo>
0.00/0.00	c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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.01	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01	c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01	c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01	c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02	c    (0.0s) probing: 101/232 (43.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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02	c  66 implications, 23 cliques
0.00/0.02	c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02	c      63 constraints of type <indicator>
0.00/0.02	c       1 constraints of type <knapsack>
0.00/0.02	c      23 constraints of type <setppc>
0.00/0.02	c      63 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.02
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 |     - |1056k|   0 |   - | 295 | 159 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.24	c   1.1s| 10000 |  7779 |     0 |   0.0 |6381k| 183 |   - | 295 |3116 |   0 |   0 |   0 |6001 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.26	c   3.1s| 20000 | 13804 |     0 |   0.0 |  11M| 183 |   - | 295 |5473 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
3.39/3.40	o 662
3.39/3.40	c * 3.2s| 21494 | 15176 |     0 |   0.0 |  11M| 183 |   - | 295 |3777 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 | 6.620000e+02 |    Inf 
3.49/3.53	o 474
3.49/3.53	c * 3.3s| 22815 | 16339 |     0 |   0.0 |  11M| 183 |   - | 295 |2431 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
4.59/4.67	c   4.4s| 30000 | 21322 |     0 |   0.0 |  15M| 183 |   - | 295 |4358 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
7.39/7.47	c   7.1s| 40000 | 26508 |     0 |   0.0 |  20M| 183 |   - | 295 |7046 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
10.79/10.80	c  10.4s| 50000 | 30843 |     0 |   0.0 |  24M| 183 |   - | 295 |8020 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
14.49/14.50	c  13.9s| 60000 | 34472 |     0 |   0.0 |  29M| 183 |   - | 295 |9662 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
18.99/19.06	c  18.4s| 70000 | 36804 |     0 |   0.0 |  33M| 183 |   - | 295 |  12k|   0 |   0 |   0 |  79k|   0 | 0.000000e+00 | 4.740000e+02 |    Inf 
24.10/24.19	o 449
24.10/24.19	c *23.4s| 79170 | 37439 |     0 |   0.0 |  36M| 183 |   - | 295 |  12k|   0 |   0 |   0 |  94k|   0 | 0.000000e+00 | 4.490000e+02 |    Inf 
24.29/24.33	c  23.5s| 80000 | 38189 |     0 |   0.0 |  35M| 183 |   - | 295 |9254 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 | 4.490000e+02 |    Inf 
24.89/24.95	o 366
24.89/24.95	c *24.1s| 85725 | 43249 |     0 |   0.0 |  35M| 183 |   - | 295 |1793 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 | 3.660000e+02 |    Inf 
25.09/25.19	o 356
25.09/25.19	c *24.3s| 88416 | 45637 |     0 |   0.0 |  36M| 183 |   - | 295 |1751 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 | 3.560000e+02 |    Inf 
25.30/25.34	c  24.5s| 90000 | 47026 |     0 |   0.0 |  37M| 183 |   - | 295 |1827 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 | 3.560000e+02 |    Inf 
25.39/25.41	o 297
25.39/25.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.39/25.41	c *24.5s| 90700 | 47631 |     0 |   0.0 |  37M| 183 |   - | 295 |1869 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 | 2.970000e+02 |    Inf 
25.79/25.84	o 287
25.79/25.84	c *24.9s| 95105 | 51424 |     0 |   0.0 |  38M| 183 |   - | 295 |2151 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 | 2.870000e+02 |    Inf 
26.09/26.10	o 257
26.09/26.10	c *25.1s| 97699 | 53658 |     0 |   0.0 |  39M| 183 |   - | 295 |2109 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 | 2.570000e+02 |    Inf 
26.30/26.34	c  25.4s|100000 | 55639 |     0 |   0.0 |  40M| 183 |   - | 295 |2076 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 | 2.570000e+02 |    Inf 
27.40/27.45	c  26.4s|110000 | 63995 |     0 |   0.0 |  44M| 183 |   - | 295 |1682 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 | 2.570000e+02 |    Inf 
28.60/28.62	c  27.5s|120000 | 72113 |     0 |   0.0 |  47M| 183 |   - | 295 |1968 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 | 2.570000e+02 |    Inf 
29.79/29.84	c  28.6s|130000 | 80150 |     0 |   0.0 |  51M| 183 |   - | 295 |2300 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 | 2.570000e+02 |    Inf 
29.89/29.90	o 236
29.89/29.90	c *28.7s|130437 | 80464 |     0 |   0.0 |  51M| 183 |   - | 295 |2356 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 | 2.360000e+02 |    Inf 
31.09/31.18	c  29.9s|140000 | 87888 |     0 |   0.0 |  55M| 183 |   - | 295 |2884 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 | 2.360000e+02 |    Inf 
32.19/32.29	o 200
32.19/32.29	c *30.9s|147439 | 93420 |     0 |   0.0 |  58M| 183 |   - | 295 |3550 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
32.69/32.71	c  31.3s|150000 | 95295 |     0 |   0.0 |  59M| 183 |   - | 295 |3740 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
34.49/34.50	c  33.0s|160000 |102198 |     0 |   0.0 |  63M| 183 |   - | 295 |4667 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
36.89/36.93	c  35.4s|170000 |107871 |     0 |   0.0 |  68M| 183 |   - | 295 |7282 |   0 |   0 |   0 | 124k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
41.99/42.04	c  40.4s|180000 |109974 |     0 |   0.0 |  73M| 183 |   - | 295 |  12k|   0 |   0 |   0 | 144k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
48.69/48.72	c  47.0s|190000 |110912 |     0 |   0.0 |  77M| 183 |   - | 295 |  13k|   0 |   0 |   0 | 164k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
56.19/56.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
56.19/56.25	c  54.4s|200000 |110655 |     0 |   0.0 |  80M| 183 |   - | 295 |  13k|   0 |   0 |   0 | 186k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
64.19/64.28	c  62.3s|210000 |109535 |     0 |   0.0 |  81M| 183 |   - | 295 |  13k|   0 |   0 |   0 | 209k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
72.60/72.65	c  70.5s|220000 |107676 |     0 |   0.0 |  83M| 183 |   - | 295 |  15k|   0 |   0 |   0 | 231k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
81.59/81.62	c  79.3s|230000 |105823 |     0 |   0.0 |  85M| 183 |   - | 295 |  19k|   0 |   0 |   0 | 252k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
88.59/88.65	c  86.2s|240000 |107549 |     0 |   0.0 |  79M| 183 |   - | 295 |3339 |   0 |   0 |   0 | 265k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
89.89/89.96	c  87.5s|250000 |115484 |     0 |   0.0 |  82M| 183 |   - | 295 |1988 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
91.20/91.23	c  88.7s|260000 |123464 |     0 |   0.0 |  86M| 183 |   - | 295 |2407 |   0 |   0 |   0 | 269k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
92.40/92.48	c  89.8s|270000 |131558 |     0 |   0.0 |  89M| 183 |   - | 295 |2738 |   0 |   0 |   0 | 270k|   0 | 0.000000e+00 | 2.000000e+02 |    Inf 
93.10/93.17	o 156
93.10/93.17	c *90.5s|275588 |135814 |     0 |   0.0 |  91M| 183 |   - | 295 |2891 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 | 1.560000e+02 |    Inf 
93.69/93.75	c  91.0s|280000 |139343 |     0 |   0.0 |  93M| 183 |   - | 295 |3062 |   0 |   0 |   0 | 272k|   0 | 0.000000e+00 | 1.560000e+02 |    Inf 
95.09/95.11	c  92.3s|290000 |147261 |     0 |   0.0 |  96M| 183 |   - | 295 |3524 |   0 |   0 |   0 | 274k|   0 | 0.000000e+00 | 1.560000e+02 |    Inf 
96.59/96.61	c  93.7s|300000 |154977 |     0 |   0.0 | 100M| 183 |   - | 295 |4014 |   0 |   0 |   0 | 276k|   0 | 0.000000e+00 | 1.560000e+02 |    Inf 
97.09/97.19	o 128
97.09/97.19	c *94.3s|303548 |156765 |     0 |   0.0 | 101M| 183 |   - | 295 |4123 |   0 |   0 |   0 | 277k|   0 | 0.000000e+00 | 1.280000e+02 |    Inf 
98.19/98.26	c  95.3s|310000 |161597 |     0 |   0.0 | 104M| 183 |   - | 295 |4434 |   0 |   0 |   0 | 278k|   0 | 0.000000e+00 | 1.280000e+02 |    Inf 
99.89/99.97	c  96.9s|320000 |168969 |     0 |   0.0 | 108M| 183 |   - | 295 |4748 |   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 1.280000e+02 |    Inf 
101.60/101.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
101.60/101.63	c  98.5s|330000 |176447 |     0 |   0.0 | 112M| 183 |   - | 295 |5007 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 | 1.280000e+02 |    Inf 
102.09/102.19	o 102
102.09/102.19	c *99.0s|333406 |178217 |     0 |   0.0 | 113M| 183 |   - | 295 |4958 |   0 |   0 |   0 | 284k|   0 | 0.000000e+00 | 1.020000e+02 |    Inf 
103.40/103.44	c   100s|340000 |182844 |     0 |   0.0 | 116M| 183 |   - | 295 |5000 |   0 |   0 |   0 | 286k|   0 | 0.000000e+00 | 1.020000e+02 |    Inf 
104.09/104.12	o 78
104.09/104.12	c * 101s|343877 |175188 |     0 |   0.0 | 112M| 183 |   - | 295 |4843 |   0 |   0 |   0 | 287k|   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
105.50/105.60	c   102s|350000 |178978 |     0 |   0.0 | 114M| 183 |   - | 295 |1027 |   0 |   0 |   0 | 289k|   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
107.49/107.59	c   104s|360000 |184980 |     0 |   0.0 | 120M| 183 |   - | 295 |1936 |   0 |   0 |   0 | 293k|   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
109.50/109.57	c   106s|370000 |191009 |     0 |   0.0 | 124M| 183 |   - | 295 |2129 |   0 |   0 |   0 | 297k|   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
111.59/111.69	c   108s|380000 |196656 |     0 |   0.0 | 129M| 183 |   - | 295 |2089 |   0 |   0 |   0 | 301k|   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
112.19/112.28	o 77
112.19/112.28	c * 109s|383108 |198589 |     0 |   0.0 | 130M| 183 |   - | 295 |1935 |   0 |   0 |   0 | 303k|   0 | 0.000000e+00 | 7.700000e+01 |    Inf 
112.19/112.29	o 72
112.19/112.29	c * 109s|383109 |197690 |     0 |   0.0 | 129M| 183 |   - | 295 |1935 |   0 |   0 |   0 | 303k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
113.69/113.79	c   110s|390000 |201453 |     0 |   0.0 | 133M| 183 |   - | 295 |2040 |   0 |   0 |   0 | 306k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
115.99/116.00	c   112s|400000 |206955 |     0 |   0.0 | 137M| 183 |   - | 295 |2080 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
118.30/118.31	c   114s|410000 |212124 |     0 |   0.0 | 141M| 183 |   - | 295 |2246 |   0 |   0 |   0 | 316k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
120.59/120.68	c   117s|420000 |217158 |     0 |   0.0 | 145M| 183 |   - | 295 |2434 |   0 |   0 |   0 | 321k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
122.70/122.77	o 61
122.70/122.77	c * 119s|428804 |209299 |     0 |   0.0 | 139M| 183 |   - | 295 |2744 |   0 |   0 |   0 | 326k|   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
123.09/123.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.09/123.14	c   119s|430000 |209713 |     0 |   0.0 | 140M| 183 |   - | 295 |2736 |   0 |   0 |   0 | 327k|   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
125.09/125.15	o 50
125.09/125.15	c * 121s|437668 |209032 |     0 |   0.0 | 140M| 183 |   - | 295 |3107 |   0 |   0 |   0 | 332k|   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
125.40/125.43	o 40
125.40/125.43	c * 121s|438416 |193708 |     0 |   0.0 | 131M| 183 |   - | 295 |3113 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
125.89/125.96	c   122s|440000 |194238 |     0 |   0.0 | 132M| 183 |   - | 295 |2994 |   0 |   0 |   0 | 334k|   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
129.20/129.20	c   125s|450000 |197618 |     0 |   0.0 | 136M| 183 |   - | 295 |3760 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
129.90/129.91	o 7
129.90/129.91	c * 125s|452128 |170417 |     0 |   0.0 | 120M| 183 |   - | 295 |4000 |   0 |   0 |   0 | 345k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
133.40/133.41	c   129s|460000 |171163 |     0 |   0.0 | 124M| 183 |   - | 295 |4886 |   0 |   0 |   0 | 356k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
137.80/137.86	c   133s|470000 |172456 |     0 |   0.0 | 127M| 183 |   - | 295 |6097 |   0 |   0 |   0 | 370k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
142.30/142.36	c   138s|480000 |174038 |     0 |   0.0 | 131M| 183 |   - | 295 |6760 |   0 |   0 |   0 | 384k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
147.40/147.45	c   142s|490000 |174649 |     0 |   0.0 | 134M| 183 |   - | 295 |7711 |   0 |   0 |   0 | 399k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
152.90/152.96	c   148s|500000 |174777 |     0 |   0.0 | 137M| 183 |   - | 295 |8754 |   0 |   0 |   0 | 416k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
159.09/159.13	c   154s|510000 |174366 |     0 |   0.0 | 140M| 183 |   - | 295 |  10k|   0 |   0 |   0 | 434k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
166.29/166.34	c   161s|520000 |172182 |     0 |   0.0 | 140M| 183 |   - | 295 |  10k|   0 |   0 |   0 | 456k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
177.20/177.24	c   172s|530000 |167196 |     0 |   0.0 | 137M| 183 |   - | 295 |  14k|   0 |   0 |   0 | 482k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
190.39/190.45	c   185s|540000 |158748 |     0 |   0.0 | 124M| 183 |   - | 295 |  18k|   0 |   0 |   0 | 508k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
198.39/198.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
198.39/198.40	c   193s|550000 |157718 |     0 |   0.0 | 124M| 183 |   - | 295 |9237 |   0 |   0 |   0 | 526k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
206.59/206.63	c   201s|560000 |156799 |     0 |   0.0 | 128M| 183 |   - | 295 |  12k|   0 |   0 |   0 | 543k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
216.60/216.65	c   210s|570000 |155183 |     0 |   0.0 | 132M| 183 |   - | 295 |  17k|   0 |   0 |   0 | 560k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
230.00/230.09	c   224s|580000 |151799 |     0 |   0.0 | 135M| 183 |   - | 295 |  20k|   0 |   0 |   0 | 578k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
247.20/247.21	c   241s|590000 |146365 |     0 |   0.0 | 137M| 183 |   - | 295 |  20k|   0 |   0 |   0 | 596k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
263.60/263.69	c   257s|600000 |139909 |     0 |   0.0 | 136M| 183 |   - | 295 |  18k|   0 |   0 |   0 | 616k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
279.10/279.17	c   272s|610000 |132775 |     0 |   0.0 | 134M| 183 |   - | 295 |  14k|   0 |   0 |   0 | 636k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
293.20/293.28	c   286s|620000 |125851 |     0 |   0.0 | 132M| 183 |   - | 295 |  14k|   0 |   0 |   0 | 657k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
307.20/307.25	c   300s|630000 |119665 |     0 |   0.0 | 131M| 183 |   - | 295 |  15k|   0 |   0 |   0 | 677k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
320.49/320.50	c   313s|640000 |114952 |     0 |   0.0 | 129M| 183 |   - | 295 |  15k|   0 |   0 |   0 | 696k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
333.20/333.30	c   326s|650000 |111777 |     0 |   0.0 | 128M| 183 |   - | 295 |  17k|   0 |   0 |   0 | 714k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
346.30/346.39	c   338s|660000 |109497 |     0 |   0.0 | 129M| 183 |   - | 295 |  21k|   0 |   0 |   0 | 732k|   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
359.80/359.84	c   352s|670000 |108118 |     0 |   0.0 | 131M| 183 |   - | 295 |  24k|   0 |   0 |   0 | 751k|   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
374.30/374.36	c   366s|680000 |106833 |     0 |   0.0 | 133M| 183 |   - | 295 |  28k|   0 |   0 |   0 | 769k|   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
389.80/389.80	c   381s|690000 |105618 |     0 |   0.0 | 135M| 183 |   - | 295 |  30k|   0 |   0 |   0 | 789k|   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
392.20/392.29	o 6
392.20/392.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
392.20/392.29	c * 384s|691691 |105266 |     0 |   0.0 | 135M| 183 |   - | 295 |  29k|   0 |   0 |   0 | 792k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
405.00/405.05	c   397s|700000 |104366 |     0 |   0.0 | 136M| 183 |   - | 295 |  30k|   0 |   0 |   0 | 808k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
420.20/420.28	c   412s|710000 |103422 |     0 |   0.0 | 138M| 183 |   - | 295 |  31k|   0 |   0 |   0 | 828k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
435.61/435.69	c   427s|720000 |102369 |     0 |   0.0 | 140M| 183 |   - | 295 |  34k|   0 |   0 |   0 | 849k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
450.70/450.76	c   442s|730000 |101865 |     0 |   0.0 | 142M| 183 |   - | 295 |  37k|   0 |   0 |   0 | 869k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
467.80/467.80	c   459s|740000 |100513 |     0 |   0.0 | 143M| 183 |   - | 295 |  40k|   0 |   0 |   0 | 890k|   0 | 1.000000e+00 | 6.000000e+00 | 500.00%
476.81/476.81	o 4
476.81/476.81	c * 468s|744262 | 97002 |     0 |   0.0 | 140M| 183 |   - | 295 |  40k|   0 |   0 |   0 | 899k|   0 | 1.000000e+00 | 4.000000e+00 | 300.00%
485.00/485.04	c   476s|750000 | 98488 |     0 |   0.0 | 135M| 183 |   - | 295 |  23k|   0 |   0 |   0 | 906k|   0 | 1.000000e+00 | 4.000000e+00 | 300.00%
497.11/497.18	c   488s|760000 | 98140 |     0 |   0.0 | 136M| 183 |   - | 295 |  20k|   0 |   0 |   0 | 925k|   0 | 1.000000e+00 | 4.000000e+00 | 300.00%
511.30/511.30	o 2
511.30/511.30	c * 502s|767130 | 82515 |     0 |   0.0 | 126M| 183 |   - | 295 |  29k|   0 |   0 |   0 | 944k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
519.40/519.40	c   510s|770000 | 80200 |     0 |   0.0 | 126M| 183 |   - | 295 |  30k|   0 |   0 |   0 | 951k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
549.60/549.62	c   540s|780000 | 70584 |     0 |   0.0 | 121M| 183 |   - | 295 |  33k|   0 |   0 |   0 | 979k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
583.31/583.38	c   573s|790000 | 60688 |     0 |   0.0 | 113M| 183 |   - | 295 |  36k|   0 |   0 |   0 |1007k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
615.41/615.45	c   605s|800000 | 53534 |     0 |   0.0 | 107M| 183 |   - | 295 |  37k|   0 |   0 |   0 |1033k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
647.01/647.08	c   637s|810000 | 46976 |     0 |   0.0 | 102M| 183 |   - | 295 |  42k|   0 |   0 |   0 |1057k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
683.11/683.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
683.11/683.14	c   673s|820000 | 39370 |     0 |   0.0 |  96M| 183 |   - | 295 |  46k|   0 |   0 |   0 |1083k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
718.51/718.56	c   708s|830000 | 32538 |     0 |   0.0 |  90M| 183 |   - | 295 |  51k|   0 |   0 |   0 |1109k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
755.51/755.56	c   745s|840000 | 26392 |     0 |   0.0 |  84M| 183 |   - | 295 |  57k|   0 |   0 |   0 |1135k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
812.31/812.30	c   801s|850000 | 13752 |     0 |   0.0 |  60M| 183 |   - | 295 |  56k|   0 |   0 |   0 |1166k|   0 | 1.000000e+00 | 2.000000e+00 | 100.00%
864.92/864.93	c 
864.92/864.93	c SCIP Status        : problem is solved [optimal solution found]
864.92/864.93	c Solving Time (sec) : 853.71
864.92/864.93	c Solving Nodes      : 858492
864.92/864.93	c Primal Bound       : +2.00000000000000e+00 (23 solutions)
864.92/864.93	c Dual Bound         : +2.00000000000000e+00
864.92/864.93	c Gap                : 0.00 %
864.92/864.93	s OPTIMUM FOUND
864.92/864.93	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 
864.92/864.93	v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
864.92/864.93	v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 
864.92/864.93	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 
864.92/864.93	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 
864.92/864.93	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 
864.92/864.93	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 
864.92/864.93	v -x4 -x3 -x2 -x1 
864.92/864.93	c SCIP Status        : problem is solved [optimal solution found]
864.92/864.93	c Solving Time       :     853.71
864.92/864.93	c Original Problem   :
864.92/864.93	c   Problem name     : HOME/instance-2693921-1277897395.wbo
864.92/864.93	c   Variables        : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
864.92/864.93	c   Constraints      : 166 initial, 166 maximal
864.92/864.93	c Presolved Problem  :
864.92/864.93	c   Problem name     : t_HOME/instance-2693921-1277897395.wbo
864.92/864.93	c   Variables        : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
864.92/864.93	c   Constraints      : 159 initial, 62172 maximal
864.92/864.93	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
864.92/864.93	c   trivial          :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
864.92/864.93	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   implics          :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   probing          :       0.01          0          0          0          0          0          0          0          0
864.92/864.93	c   indicator        :       0.00          0          0          0          0          0          1          0          0
864.92/864.93	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   setppc           :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   linear           :       0.00          0          0          0         63          0          6          1          0
864.92/864.93	c   logicor          :       0.01          0          0          0          0          0          0          0          0
864.92/864.93	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
864.92/864.93	c   root node        :          -         12          -          -         24          -          -          -          -
864.92/864.93	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
864.92/864.93	c   integral         :          0          0          0          0          0          0          0          0          0          0
864.92/864.93	c   indicator        :         63          0    2254583          0     489832        770     301380          0          0          0
864.92/864.93	c   knapsack         :          1          0    2849925          0     597364      61365    8589822          0          0          0
864.92/864.93	c   setppc           :         23          0    2788053          0     597207     117199    1705555          0          0          0
864.92/864.93	c   linear           :         63          0    2671323          0     597353     163557    3219290          0          0          0
864.92/864.93	c   logicor          :          9+         0    1306027          0     597259      44352     733045          0          0          0
864.92/864.93	c   bounddisjunction :          0+         0      44565          0          0          0        616          0          0          0
864.92/864.93	c   countsols        :          0          0          0          0     597376          0          0          0          0          0
864.92/864.93	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
864.92/864.93	c   integral         :       0.00       0.00       0.00       0.00       0.00
864.92/864.93	c   indicator        :       1.79       0.00       1.10       0.00       0.69
864.92/864.93	c   knapsack         :      88.16       0.00      86.51       0.00       1.65
864.92/864.93	c   setppc           :       9.17       0.00       7.66       0.00       1.51
864.92/864.93	c   linear           :      30.62       0.00      30.36       0.00       0.26
864.92/864.93	c   logicor          :     358.76       0.00     358.15       0.00       0.61
864.92/864.93	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
864.92/864.93	c   countsols        :       0.07       0.00       0.00       0.00       0.07
864.92/864.93	c Propagators        :       Time      Calls    Cutoffs    DomReds
864.92/864.93	c   vbounds          :       0.60          2          0          0
864.92/864.93	c   rootredcost      :       0.58          0          0          0
864.92/864.93	c   pseudoobj        :       5.92    2850996        439     277789
864.92/864.93	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
864.92/864.93	c   propagation      :      13.56     386911     386908    2028401       24.3     141193       14.0          -
864.92/864.93	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
864.92/864.93	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
864.92/864.93	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
864.92/864.93	c   pseudo solution  :       0.00         54         54        242       34.4         18       13.4          -
864.92/864.93	c   applied globally :          -          -          -    1163984       16.7          -          -          -
864.92/864.93	c   applied locally  :          -          -          -      29851       37.8          -          -          -
864.92/864.93	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
864.92/864.93	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
864.92/864.93	c   redcost          :       0.00          0          0          0          0          0
864.92/864.93	c   impliedbounds    :       0.00          0          0          0          0          0
864.92/864.93	c   intobj           :       0.00          0          0          0          0          0
864.92/864.93	c   cgmip            :       0.00          0          0          0          0          0
864.92/864.93	c   gomory           :       0.00          0          0          0          0          0
864.92/864.93	c   strongcg         :       0.00          0          0          0          0          0
864.92/864.93	c   cmir             :       0.00          0          0          0          0          0
864.92/864.93	c   flowcover        :       0.00          0          0          0          0          0
864.92/864.93	c   clique           :       0.00          0          0          0          0          0
864.92/864.93	c   zerohalf         :       0.00          0          0          0          0          0
864.92/864.93	c   mcf              :       0.00          0          0          0          0          0
864.92/864.93	c   rapidlearning    :       0.00          0          0          0          0          0
864.92/864.93	c Pricers            :       Time      Calls       Vars
864.92/864.93	c   problem variables:       0.00          0          0
864.92/864.93	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
864.92/864.93	c   relpscost        :       0.00          0          0          0          0          0          0
864.92/864.93	c   pscost           :       0.00          0          0          0          0          0          0
864.92/864.93	c   inference        :       4.80     597353          0          0          0          0    1194706
864.92/864.93	c   mostinf          :       0.00          0          0          0          0          0          0
864.92/864.93	c   leastinf         :       0.00          0          0          0          0          0          0
864.92/864.93	c   fullstrong       :       0.00          0          0          0          0          0          0
864.92/864.93	c   allfullstrong    :       0.00          0          0          0          0          0          0
864.92/864.93	c   random           :       0.00          0          0          0          0          0          0
864.92/864.93	c Primal Heuristics  :       Time      Calls      Found
864.92/864.93	c   LP solutions     :       0.00          -          0
864.92/864.93	c   pseudo solutions :       0.15          -         23
864.92/864.93	c   oneopt           :       0.31          0          0
864.92/864.93	c   trivial          :       0.00          2          0
864.92/864.93	c   simplerounding   :       0.00          0          0
864.92/864.93	c   zirounding       :       0.00          0          0
864.92/864.93	c   rounding         :       0.00          0          0
864.92/864.93	c   shifting         :       0.00          0          0
864.92/864.93	c   intshifting      :       0.00          0          0
864.92/864.93	c   twoopt           :       0.00          0          0
864.92/864.93	c   fixandinfer      :       0.00          0          0
864.92/864.93	c   feaspump         :       0.00          0          0
864.92/864.93	c   coefdiving       :       0.00          0          0
864.92/864.93	c   pscostdiving     :       0.00          0          0
864.92/864.93	c   fracdiving       :       0.00          0          0
864.92/864.93	c   veclendiving     :       0.00          0          0
864.92/864.93	c   intdiving        :       0.00          0          0
864.92/864.93	c   actconsdiving    :       0.00          0          0
864.92/864.93	c   objpscostdiving  :       0.00          0          0
864.92/864.93	c   rootsoldiving    :       0.00          0          0
864.92/864.93	c   linesearchdiving :       0.00          0          0
864.92/864.93	c   guideddiving     :       0.00          0          0
864.92/864.93	c   octane           :       0.00          0          0
864.92/864.93	c   rens             :       0.00          0          0
864.92/864.93	c   rins             :       0.00          0          0
864.92/864.93	c   localbranching   :       0.00          0          0
864.92/864.93	c   mutation         :       0.00          0          0
864.92/864.93	c   crossover        :       0.00          0          0
864.92/864.93	c   dins             :       0.00          0          0
864.92/864.93	c   undercover       :       0.00          0          0
864.92/864.93	c   nlp              :       0.23          0          0
864.92/864.93	c   trysol           :       0.23          1          0
864.92/864.93	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
864.92/864.93	c   primal LP        :       0.00          0          0       0.00          -
864.92/864.93	c   dual LP          :       0.00          0          0       0.00          -
864.92/864.93	c   lex dual LP      :       0.00          0          0       0.00          -
864.92/864.93	c   barrier LP       :       0.00          0          0       0.00          -
864.92/864.93	c   diving/probing LP:       0.00          0          0       0.00          -
864.92/864.93	c   strong branching :       0.00          0          0       0.00          -
864.92/864.93	c     (at root node) :          -          0          0       0.00          -
864.92/864.93	c   conflict analysis:       0.00          0          0       0.00          -
864.92/864.93	c B&B Tree           :
864.92/864.93	c   number of runs   :          1
864.92/864.93	c   nodes            :     858492
864.92/864.93	c   nodes (total)    :     858492
864.92/864.93	c   nodes left       :          0
864.92/864.93	c   max depth        :        183
864.92/864.93	c   max depth (total):        183
864.92/864.93	c   backtracks       :     327610 (38.2%)
864.92/864.93	c   delayed cutoffs  :     247609
864.92/864.93	c   repropagations   :    1177097 (4430952 domain reductions, 126620 cutoffs)
864.92/864.93	c   avg switch length:      29.30
864.92/864.93	c   switching time   :     249.05
864.92/864.93	c Solution           :
864.92/864.93	c   Solutions found  :         23 (23 improvements)
864.92/864.93	c   First Solution   : +6.62000000000000e+02   (in run 1, after 21494 nodes, 3.22 seconds, depth 92, found by <relaxation>)
864.92/864.93	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 767130 nodes, 501.84 seconds, depth 40, found by <relaxation>)
864.92/864.93	c   Dual Bound       : +2.00000000000000e+00
864.92/864.93	c   Gap              :       0.00 %
864.92/864.93	c   Root Dual Bound  : +0.00000000000000e+00
864.92/864.93	c   Root Iterations  :          0
865.01/865.01	c Time complete: 865.03.

Verifier Data 

OK	2

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.99 4/200 12609
/proc/meminfo: memFree=30993544/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=8252 CPUtime=0
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 131035692 8450048 1467 4089446400 4194304 7136930 140733593465312 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12609/statm: 2063 1469 275 719 0 1342 0

[startup+0.077805 s]
/proc/loadavg: 1.97 2.00 1.99 4/200 12609
/proc/meminfo: memFree=30993544/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=12740 CPUtime=0.07
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 4978 0 0 0 7 0 0 0 18 0 1 0 131035692 13045760 2491 4089446400 4194304 7136930 140733593465312 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12609/statm: 3185 2491 404 719 0 2464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12740

[startup+0.100802 s]
/proc/loadavg: 1.97 2.00 1.99 4/200 12609
/proc/meminfo: memFree=30993544/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=13012 CPUtime=0.09
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 5031 0 0 0 9 0 0 0 18 0 1 0 131035692 13324288 2544 4089446400 4194304 7136930 140733593465312 18446744073709551615 4661498 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12609/statm: 3253 2544 404 719 0 2532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13012

[startup+0.300765 s]
/proc/loadavg: 1.97 2.00 1.99 4/200 12609
/proc/meminfo: memFree=30993544/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=14188 CPUtime=0.29
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 5337 0 0 0 27 2 0 0 18 0 1 0 131035692 14528512 2850 4089446400 4194304 7136930 140733593465312 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12609/statm: 3547 2850 404 719 0 2826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14188

[startup+0.700692 s]
/proc/loadavg: 1.97 2.00 1.99 4/200 12609
/proc/meminfo: memFree=30993544/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=16944 CPUtime=0.69
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 6035 0 0 0 64 5 0 0 18 0 1 0 131035692 17350656 3548 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 4236 3548 404 719 0 3515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16944

[startup+1.50055 s]
/proc/loadavg: 1.97 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30979524/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=21180 CPUtime=1.49
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 7096 0 0 0 139 10 0 0 19 0 1 0 131035692 21688320 4609 4089446400 4194304 7136930 140733593465312 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 5295 4609 404 719 0 4574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21180

[startup+3.10027 s]
/proc/loadavg: 1.97 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30974068/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=26516 CPUtime=3.08
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 8463 0 0 0 293 15 0 0 25 0 1 0 131035692 27152384 5976 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 6629 5976 404 719 0 5908 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26516

[startup+6.3007 s]
/proc/loadavg: 1.97 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30964812/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=34772 CPUtime=6.29
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 10562 0 0 0 599 30 0 0 25 0 1 0 131035692 35606528 8075 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 8693 8075 404 719 0 7972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34772

[startup+12.7006 s]
/proc/loadavg: 1.97 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30949076/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=43880 CPUtime=12.69
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 12843 0 0 0 1220 49 0 0 25 0 1 0 131035692 44933120 10356 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 10970 10356 404 719 0 10249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43880

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30930612/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=62244 CPUtime=25.49
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 17483 0 0 0 2460 89 0 0 25 0 1 0 131035692 63737856 14996 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 15561 14996 405 719 0 14840 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62244

[startup+51.1007 s]
/proc/loadavg: 1.98 2.00 1.99 3/201 12610
/proc/meminfo: memFree=30882332/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=110924 CPUtime=51.09
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 29328 0 0 0 4928 181 0 0 25 0 1 0 131035692 113586176 26841 4089446400 4194304 7136930 140733593465312 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 27731 26841 405 719 0 27010 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110924

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/201 12612
/proc/meminfo: memFree=30839144/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=152992 CPUtime=102.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 40034 0 0 0 9913 317 0 0 25 0 1 0 131035692 156663808 37547 4089446400 4194304 7136930 140733593465312 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 38248 37547 407 719 0 37527 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152992

[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/201 12617
/proc/meminfo: memFree=30770664/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=211632 CPUtime=162.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 53712 0 0 0 15698 532 0 0 25 0 1 0 131035692 216711168 51225 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 52908 51225 407 719 0 52187 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 211632

[startup+222.3 s]
/proc/loadavg: 1.89 1.98 1.99 3/183 12670
/proc/meminfo: memFree=31106692/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=215248 CPUtime=222.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 54501 0 0 0 21600 630 0 0 25 0 1 0 131035692 220413952 52014 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 53812 52014 407 719 0 53091 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 215248

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 12671
/proc/meminfo: memFree=30953560/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=218352 CPUtime=282.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 55171 0 0 0 27523 707 0 0 25 0 1 0 131035692 223592448 52684 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 54588 52684 407 719 0 53867 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 218352

[startup+342.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 12672
/proc/meminfo: memFree=30798128/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=220796 CPUtime=342.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 55771 0 0 0 33445 785 0 0 25 0 1 0 131035692 226095104 53284 4089446400 4194304 7136930 140733593465312 18446744073709551615 4210453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 55199 53284 407 719 0 54478 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 220796

[startup+402.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 12674
/proc/meminfo: memFree=30649884/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=228024 CPUtime=402.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 57526 0 0 0 39382 848 0 0 25 0 1 0 131035692 233496576 55039 4089446400 4194304 7136930 140733593465312 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 57006 55039 407 719 0 56285 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228024

[startup+462.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 12676
/proc/meminfo: memFree=30505744/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=234500 CPUtime=462.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 59122 0 0 0 45326 904 0 0 25 0 1 0 131035692 240128000 56635 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 58625 56635 407 719 0 57904 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 234500

[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 12678
/proc/meminfo: memFree=30370904/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=237708 CPUtime=522.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 59968 0 0 0 51277 953 0 0 25 0 1 0 131035692 243412992 57481 4089446400 4194304 7136930 140733593465312 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 59427 57481 407 719 0 58706 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 237708

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12679
/proc/meminfo: memFree=30243640/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=238720 CPUtime=582.3
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 60147 0 0 0 57240 990 0 0 25 0 1 0 131035692 244449280 57660 4089446400 4194304 7136930 140733593465312 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 59680 57660 407 719 0 58959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 238720

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12680
/proc/meminfo: memFree=30117732/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=239496 CPUtime=642.31
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 60279 0 0 0 63209 1022 0 0 25 0 1 0 131035692 245243904 57792 4089446400 4194304 7136930 140733593465312 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 59874 57792 407 719 0 59153 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 239496

[startup+702.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12682
/proc/meminfo: memFree=30009692/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=241224 CPUtime=702.31
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 60621 0 0 0 69179 1052 0 0 25 0 1 0 131035692 247013376 58134 4089446400 4194304 7136930 140733593465312 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60306 58134 407 719 0 59585 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 241224

[startup+762.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12684
/proc/meminfo: memFree=29869772/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=244312 CPUtime=762.31
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61266 0 0 0 75147 1084 0 0 25 0 1 0 131035692 250175488 58779 4089446400 4194304 7136930 140733593465312 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 61078 58779 407 719 0 60357 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 244312

[startup+822.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 12686
/proc/meminfo: memFree=29782056/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=244492 CPUtime=822.31
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61346 0 0 0 81124 1107 0 0 25 0 1 0 131035692 250359808 58859 4089446400 4194304 7136930 140733593465312 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 61123 58859 407 719 0 60402 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 244492

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

[startup+844.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29755140/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=244840 CPUtime=844.71
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61417 0 0 0 83356 1115 0 0 25 0 1 0 131035692 250716160 58930 4089446400 4194304 7136930 140733593465312 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 61210 58930 407 719 0 60489 0
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (KiB) 244840

[startup+857.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29743104/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=243816 CPUtime=857.51
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61417 0 0 0 84630 1121 0 0 25 0 1 0 131035692 249667584 58674 4089446400 4194304 7136930 140733593465312 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60954 58674 407 719 0 60233 0
Current children cumulated CPU time (s) 857.51
Current children cumulated vsize (KiB) 243816

[startup+860.701 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29740992/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=242792 CPUtime=860.71
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61418 0 0 0 84948 1123 0 0 25 0 1 0 131035692 248619008 58419 4089446400 4194304 7136930 140733593465312 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60698 58419 407 719 0 59977 0
Current children cumulated CPU time (s) 860.71
Current children cumulated vsize (KiB) 242792

[startup+862.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29737892/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=242792 CPUtime=862.32
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61449 0 0 0 85109 1123 0 0 25 0 1 0 131035692 248619008 58450 4089446400 4194304 7136930 140733593465312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60698 58450 407 719 0 59977 0
Current children cumulated CPU time (s) 862.32
Current children cumulated vsize (KiB) 242792

[startup+863.901 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29736776/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=242792 CPUtime=863.91
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61450 0 0 0 85268 1123 0 0 25 0 1 0 131035692 248619008 58451 4089446400 4194304 7136930 140733593465312 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60698 58451 407 719 0 59977 0
Current children cumulated CPU time (s) 863.91
Current children cumulated vsize (KiB) 242792

[startup+864.701 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29735164/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=242792 CPUtime=864.72
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61450 0 0 0 85348 1124 0 0 25 0 1 0 131035692 248619008 58451 4089446400 4194304 7136930 140733593465312 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60698 58451 407 719 0 59977 0
Current children cumulated CPU time (s) 864.72
Current children cumulated vsize (KiB) 242792

[startup+864.901 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29735164/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=242532 CPUtime=864.92
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61450 0 0 0 85368 1124 0 0 25 0 1 0 131035692 248352768 58386 4089446400 4194304 7136930 140733593465312 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12609/statm: 60633 58386 407 719 0 59912 0
Current children cumulated CPU time (s) 864.92
Current children cumulated vsize (KiB) 242532

[startup+865.001 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12686
/proc/meminfo: memFree=29735164/32951124 swapFree=67111528/67111528
[pid=12609] ppid=12607 vsize=238716 CPUtime=865.01
/proc/12609/stat : 12609 (pbscip.linux.x8) R 12607 12609 9869 0 -1 4202496 61545 0 0 0 85377 1124 0 0 25 0 1 0 131035692 244445184 57449 4089446400 4194304 7136930 140733593465312 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12609/statm: 59679 57449 412 719 0 58958 0
Current children cumulated CPU time (s) 865.01
Current children cumulated vsize (KiB) 238716

Child status: 0
Real time (s): 865.015
CPU time (s): 865.037
CPU user time (s): 853.784
CPU system time (s): 11.2523
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 244840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 853.784
system time used= 11.2523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61552
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= 3
involuntary context switches= 1875

runsolver used 1.42978 second user time and 3.14052 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 13:29:55
IDJOB=2693921
IDBENCH=78809
IDSOLVER=1206
FILE ID=node132/2693921-1277897395
PBS_JOBID= 11197090
Free space on /tmp= 74140 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.1111220019--soft-33-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-2693921-1277897395/watcher-2693921-1277897395 -o /tmp/evaluation-result-2693921-1277897395/solver-2693921-1277897395 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693921-1277897395.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 14adea07f674cbc6036223afab3dc3b4
RANDOM SEED=1720031843

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30993948 kB
Buffers:        177436 kB
Cached:        1211668 kB
SwapCached:          0 kB
Active:         956084 kB
Inactive:       856604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30993948 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3424 kB
Writeback:           0 kB
AnonPages:      423104 kB
Mapped:          20264 kB
Slab:            81640 kB
PageTables:       5552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1664220 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node132 at 2010-06-30 13:44:21