Trace number 2700586

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1801.38 1801.34

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MD5SUMb95440184c2619269a303a66296dd7fe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark1800.17
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints3069
Number of soft constraints2944
Number of constraints which are clauses2944
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 737
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 2944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2700586-1278535726.wbo>
0.00/0.03	c original problem has 6388 variables (3444 bin, 0 int, 0 impl, 2944 cont) and 6014 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.06	c presolving:
0.00/0.08	c (round 1) 0 del vars, 0 del conss, 2944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2944 impls, 125 clqs
0.08/0.09	c (round 2) 0 del vars, 0 del conss, 2944 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 2944 impls, 125 clqs
0.09/0.18	c    (0.1s) probing: 101/3444 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 0 deleted constraints, 2944 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2944 implications, 125 cliques
0.09/0.18	c presolved problem has 6388 variables (3444 bin, 0 int, 0 impl, 2944 cont) and 6014 constraints
0.09/0.18	c    2944 constraints of type <indicator>
0.09/0.18	c       1 constraints of type <knapsack>
0.09/0.18	c     125 constraints of type <setppc>
0.09/0.18	c    2944 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.12
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18	c lp/solvefreq = -1
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.09/0.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.19	c   0.1s|     1 |     2 |     0 |     - |  19M|   0 |   - |6388 |6014 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.39/6.44	c   6.3s| 10000 |  9912 |     0 |   0.0 |  25M|2971 |   - |6388 |6305 |   0 |   0 |   0 | 291 |   0 | 0.000000e+00 |      --      |    Inf 
12.49/12.58	c  12.4s| 20000 | 19902 |     0 |   0.0 |  29M|2971 |   - |6388 |6340 |   0 |   0 |   0 | 326 |   0 | 0.000000e+00 |      --      |    Inf 
19.09/19.18	c  18.9s| 30000 | 29891 |     0 |   0.0 |  33M|2971 |   - |6388 |6382 |   0 |   0 |   0 | 368 |   0 | 0.000000e+00 |      --      |    Inf 
25.19/25.25	c  24.9s| 40000 | 39888 |     0 |   0.0 |  37M|2971 |   - |6388 |6391 |   0 |   0 |   0 | 377 |   0 | 0.000000e+00 |      --      |    Inf 
30.89/30.99	c  30.6s| 50000 | 49883 |     0 |   0.0 |  40M|2971 |   - |6388 |6400 |   0 |   0 |   0 | 386 |   0 | 0.000000e+00 |      --      |    Inf 
36.59/36.62	c  36.1s| 60000 | 59880 |     0 |   0.0 |  44M|2971 |   - |6388 |6408 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
42.19/42.23	c  41.6s| 70000 | 69880 |     0 |   0.0 |  48M|2971 |   - |6388 |6408 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
47.69/47.79	c  47.1s| 80000 | 79880 |     0 |   0.0 |  52M|2971 |   - |6388 |6408 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
53.19/53.29	c  52.5s| 90000 | 89880 |     0 |   0.0 |  56M|2971 |   - |6388 |6407 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
58.89/58.91	c  58.1s|100000 | 99880 |     0 |   0.0 |  60M|2971 |   - |6388 |6395 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
64.49/64.52	c  63.6s|110000 |109880 |     0 |   0.0 |  64M|2971 |   - |6388 |6389 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
70.09/70.14	c  69.1s|120000 |119880 |     0 |   0.0 |  68M|2971 |   - |6388 |6385 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
75.79/75.84	c  74.7s|130000 |129880 |     0 |   0.0 |  72M|2971 |   - |6388 |6384 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
81.30/81.37	c  80.2s|140000 |139880 |     0 |   0.0 |  76M|2971 |   - |6388 |6384 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
87.09/87.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
87.09/87.15	c  85.9s|150000 |149880 |     0 |   0.0 |  80M|2971 |   - |6388 |6384 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
92.79/92.87	c  91.5s|160000 |159880 |     0 |   0.0 |  83M|2971 |   - |6388 |6377 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
98.49/98.55	c  97.1s|170000 |169880 |     0 |   0.0 |  87M|2971 |   - |6388 |6377 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
104.29/104.34	c   103s|180000 |179880 |     0 |   0.0 |  91M|2971 |   - |6388 |6373 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
110.00/110.08	c   109s|190000 |189880 |     0 |   0.0 |  95M|2971 |   - |6388 |6370 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
115.79/115.87	c   114s|200000 |199880 |     0 |   0.0 |  99M|2971 |   - |6388 |6370 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
121.69/121.72	c   120s|210000 |209880 |     0 |   0.0 | 103M|2971 |   - |6388 |6362 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
127.39/127.45	c   126s|220000 |219880 |     0 |   0.0 | 107M|2971 |   - |6388 |6351 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
133.40/133.40	c   132s|230000 |229880 |     0 |   0.0 | 111M|2971 |   - |6388 |6345 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
139.19/139.29	c   137s|240000 |239880 |     0 |   0.0 | 115M|2971 |   - |6388 |6334 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
145.10/145.11	c   143s|250000 |249880 |     0 |   0.0 | 119M|2971 |   - |6388 |6331 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
150.99/151.01	c   149s|260000 |259880 |     0 |   0.0 | 123M|2971 |   - |6388 |6319 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
157.59/157.66	c   155s|270000 |269880 |     0 |   0.0 | 127M|2971 |   - |6388 |6312 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
164.09/164.14	c   162s|280000 |279880 |     0 |   0.0 | 131M|2971 |   - |6388 |6302 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
170.79/170.88	c   168s|290000 |289880 |     0 |   0.0 | 135M|2971 |   - |6388 |6290 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
177.40/177.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
177.40/177.40	c   175s|300000 |299880 |     0 |   0.0 | 139M|2971 |   - |6388 |6286 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
184.10/184.10	c   182s|310000 |309880 |     0 |   0.0 | 142M|2971 |   - |6388 |6275 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
190.80/190.86	c   188s|320000 |319880 |     0 |   0.0 | 146M|2971 |   - |6388 |6261 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
197.29/197.36	c   195s|330000 |329880 |     0 |   0.0 | 150M|2971 |   - |6388 |6251 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
204.29/204.31	c   201s|340000 |339880 |     0 |   0.0 | 154M|2971 |   - |6388 |6248 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
211.10/211.19	c   208s|350000 |349880 |     0 |   0.0 | 158M|2971 |   - |6388 |6243 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
217.70/217.80	c   215s|360000 |359880 |     0 |   0.0 | 162M|2971 |   - |6388 |6237 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
219.59/219.69	o 103
219.59/219.69	c * 217s|362487 |362365 |     0 |   0.0 | 163M|2971 |   - |6388 |6236 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
229.49/229.50	c   226s|370000 |369873 |     0 |   0.0 | 167M|2971 |   - |6388 |6240 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
241.79/241.82	c   239s|380000 |379873 |     0 |   0.0 | 172M|2971 |   - |6388 |6232 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
254.69/254.77	c   252s|390000 |389873 |     0 |   0.0 | 177M|2971 |   - |6388 |6225 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
266.79/266.84	c   264s|400000 |399873 |     0 |   0.0 | 181M|2971 |   - |6388 |6216 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
282.80/282.86	c   279s|410000 |409873 |     0 |   0.0 | 186M|2971 |   - |6388 |6206 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
300.09/300.15	c   297s|420000 |419873 |     0 |   0.0 | 191M|2971 |   - |6388 |6197 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
317.81/317.86	c   314s|430000 |429873 |     0 |   0.0 | 196M|2971 |   - |6388 |6192 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
336.80/336.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.80/336.88	c   333s|440000 |439873 |     0 |   0.0 | 201M|2971 |   - |6388 |6192 |   0 |   0 |   0 | 405 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
353.30/353.30	c   350s|450000 |449867 |     0 |   0.0 | 206M|2971 |   - |6388 |6213 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
369.79/369.81	c   366s|460000 |459867 |     0 |   0.0 | 210M|2971 |   - |6388 |6158 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
386.79/386.81	c   383s|470000 |469867 |     0 |   0.0 | 215M|2971 |   - |6388 |6054 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
404.59/404.62	c   401s|480000 |479867 |     0 |   0.0 | 219M|2971 |   - |6388 |6053 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
423.20/423.22	c   419s|490000 |489867 |     0 |   0.0 | 224M|2971 |   - |6388 |6053 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
442.20/442.27	c   438s|500000 |499867 |     0 |   0.0 | 229M|2971 |   - |6388 |6046 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
462.70/462.70	c   458s|510000 |509867 |     0 |   0.0 | 234M|2971 |   - |6388 |6046 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
484.60/484.61	c   480s|520000 |519867 |     0 |   0.0 | 238M|2971 |   - |6388 |6042 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
506.60/506.65	c   502s|530000 |529867 |     0 |   0.0 | 243M|2971 |   - |6388 |6042 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
528.80/528.84	c   524s|540000 |539867 |     0 |   0.0 | 248M|2971 |   - |6388 |6042 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
550.51/550.50	c   546s|550000 |549867 |     0 |   0.0 | 253M|2971 |   - |6388 |6019 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
573.11/573.17	c   568s|560000 |559867 |     0 |   0.0 | 258M|2971 |   - |6388 |6019 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
596.31/596.37	c   592s|570000 |569867 |     0 |   0.0 | 263M|2971 |   - |6388 |6019 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
620.50/620.58	c   616s|580000 |579867 |     0 |   0.0 | 268M|2971 |   - |6388 |6017 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
646.20/646.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
646.20/646.25	c   641s|590000 |589867 |     0 |   0.0 | 273M|2971 |   - |6388 |6017 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
672.21/672.20	c   667s|600000 |599867 |     0 |   0.0 | 278M|2971 |   - |6388 |6017 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
699.21/699.20	c   694s|610000 |609867 |     0 |   0.0 | 283M|2971 |   - |6388 |6017 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
725.51/725.57	c   720s|620000 |619867 |     0 |   0.0 | 288M|2971 |   - |6388 |6017 |   0 |   0 |   0 | 427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
751.41/751.46	c   746s|630000 |629862 |     0 |   0.0 | 293M|2971 |   - |6388 |6044 |   0 |   0 |   0 | 454 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
779.41/779.47	c   774s|640000 |639862 |     0 |   0.0 | 298M|2971 |   - |6388 |6040 |   0 |   0 |   0 | 454 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
809.01/809.01	c   804s|650000 |649862 |     0 |   0.0 | 303M|2971 |   - |6388 |6039 |   0 |   0 |   0 | 454 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
840.91/840.96	c   835s|660000 |659817 |     0 |   0.0 | 309M|2971 |   - |6388 |6241 |   0 |   0 |   0 | 657 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
868.61/868.69	c   863s|670000 |669810 |     0 |   0.0 | 314M|2971 |   - |6388 |6223 |   0 |   0 |   0 | 677 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
900.01/900.08	c   894s|680000 |679810 |     0 |   0.0 | 319M|2971 |   - |6388 |6176 |   0 |   0 |   0 | 677 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
931.72/931.79	c   926s|690000 |689810 |     0 |   0.0 | 324M|2971 |   - |6388 |6163 |   0 |   0 |   0 | 677 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
962.02/962.06	c   956s|700000 |699807 |     0 |   0.0 | 329M|2971 |   - |6388 |6170 |   0 |   0 |   0 | 687 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
989.92/989.94	c   984s|710000 |709807 |     0 |   0.0 | 334M|2971 |   - |6388 |6036 |   0 |   0 |   0 | 687 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1020.21/1020.23	c  1014s|720000 |719807 |     0 |   0.0 | 339M|2971 |   - |6388 |6024 |   0 |   0 |   0 | 687 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1051.22/1051.26	c  1045s|730000 |729800 |     0 |   0.0 | 345M|2971 |   - |6388 |6048 |   0 |   0 |   0 | 712 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1081.91/1081.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1081.91/1081.90	c  1076s|740000 |739800 |     0 |   0.0 | 350M|2971 |   - |6388 |6039 |   0 |   0 |   0 | 712 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1114.41/1114.42	c  1108s|750000 |749800 |     0 |   0.0 | 355M|2971 |   - |6388 |6032 |   0 |   0 |   0 | 712 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1147.92/1147.93	c  1141s|760000 |759738 |     0 |   0.0 | 360M|2971 |   - |6388 |6270 |   0 |   0 |   0 | 980 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1178.72/1178.78	c  1172s|770000 |769728 |     0 |   0.0 | 366M|2971 |   - |6388 |6195 |   0 |   0 |   0 |1025 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1208.22/1208.25	c  1202s|780000 |779728 |     0 |   0.0 | 371M|2971 |   - |6388 |6180 |   0 |   0 |   0 |1025 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1233.91/1233.98	c  1227s|790000 |789695 |     0 |   0.0 | 376M|2971 |   - |6388 |6231 |   0 |   0 |   0 |1176 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1262.52/1262.54	c  1256s|800000 |799626 |     0 |   0.0 | 382M|2971 |   - |6388 |6262 |   0 |   0 |   0 |1427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1292.82/1292.87	c  1286s|810000 |809626 |     0 |   0.0 | 387M|2971 |   - |6388 |6207 |   0 |   0 |   0 |1427 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1329.32/1329.34	c  1322s|820000 |819167 |     0 |   0.0 | 394M|2971 |   - |6388 |6556 |   0 |   0 |   0 |3109 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
1379.52/1379.56	c  1372s|830000 |826334 |     0 |   0.0 | 403M|2971 |   - |6388 |6138 |   0 |   0 |   0 |7255 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1388.72/1388.78	c  1382s|840000 |836334 |     0 |   0.0 | 407M|2971 |   - |6388 |6110 |   0 |   0 |   0 |7255 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1398.53/1398.55	c  1391s|850000 |846331 |     0 |   0.0 | 412M|2971 |   - |6388 |6103 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1407.62/1407.64	c  1400s|860000 |856331 |     0 |   0.0 | 416M|2971 |   - |6388 |6089 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1416.73/1416.77	c  1409s|870000 |866331 |     0 |   0.0 | 420M|2971 |   - |6388 |6050 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1425.93/1425.92	c  1418s|880000 |876331 |     0 |   0.0 | 424M|2971 |   - |6388 |6050 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1435.12/1435.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1435.12/1435.15	c  1428s|890000 |886331 |     0 |   0.0 | 428M|2971 |   - |6388 |6034 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1444.42/1444.47	c  1437s|900000 |896331 |     0 |   0.0 | 432M|2971 |   - |6388 |6033 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1454.02/1454.00	c  1446s|910000 |906331 |     0 |   0.0 | 436M|2971 |   - |6388 |6033 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1463.62/1463.60	c  1456s|920000 |916331 |     0 |   0.0 | 440M|2971 |   - |6388 |6033 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1473.12/1473.19	c  1465s|930000 |926331 |     0 |   0.0 | 445M|2971 |   - |6388 |6033 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1482.83/1482.83	c  1475s|940000 |936331 |     0 |   0.0 | 449M|2971 |   - |6388 |6030 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1492.42/1492.44	c  1484s|950000 |946331 |     0 |   0.0 | 453M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1502.13/1502.13	c  1494s|960000 |956331 |     0 |   0.0 | 457M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1511.72/1511.78	c  1503s|970000 |966331 |     0 |   0.0 | 461M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1521.43/1521.48	c  1513s|980000 |976331 |     0 |   0.0 | 465M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1531.23/1531.21	c  1523s|990000 |986331 |     0 |   0.0 | 470M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1540.93/1540.96	c  1532s|  1000k|996331 |     0 |   0.0 | 474M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1550.73/1550.73	c  1542s|  1010k|  1006k|     0 |   0.0 | 478M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1560.52/1560.54	c  1552s|  1020k|  1016k|     0 |   0.0 | 482M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1570.33/1570.37	c  1561s|  1030k|  1026k|     0 |   0.0 | 486M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1580.23/1580.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1580.23/1580.23	c  1571s|  1040k|  1036k|     0 |   0.0 | 491M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1590.02/1590.08	c  1581s|  1050k|  1046k|     0 |   0.0 | 495M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1600.02/1600.00	c  1591s|  1060k|  1056k|     0 |   0.0 | 499M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1609.93/1609.90	c  1601s|  1070k|  1066k|     0 |   0.0 | 503M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1619.83/1619.86	c  1611s|  1080k|  1076k|     0 |   0.0 | 507M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1629.83/1629.80	c  1620s|  1090k|  1086k|     0 |   0.0 | 512M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1639.83/1639.82	c  1630s|  1100k|  1096k|     0 |   0.0 | 516M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1649.83/1649.89	c  1640s|  1110k|  1106k|     0 |   0.0 | 520M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1659.93/1659.97	c  1650s|  1120k|  1116k|     0 |   0.0 | 524M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1670.13/1670.18	c  1660s|  1130k|  1126k|     0 |   0.0 | 528M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1680.43/1680.42	c  1671s|  1140k|  1136k|     0 |   0.0 | 533M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1690.74/1690.76	c  1681s|  1150k|  1146k|     0 |   0.0 | 537M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1701.12/1701.18	c  1691s|  1160k|  1156k|     0 |   0.0 | 541M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1711.64/1711.62	c  1702s|  1170k|  1166k|     0 |   0.0 | 545M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1722.13/1722.13	c  1712s|  1180k|  1176k|     0 |   0.0 | 550M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1732.63/1732.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1732.63/1732.64	c  1722s|  1190k|  1186k|     0 |   0.0 | 554M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1743.22/1743.27	c  1733s|  1200k|  1196k|     0 |   0.0 | 558M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1753.83/1753.89	c  1743s|  1210k|  1206k|     0 |   0.0 | 562M|2971 |   - |6388 |6029 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1764.13/1764.20	c  1754s|  1220k|  1216k|     0 |   0.0 | 567M|2971 |   - |6388 |6028 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1774.14/1774.15	c  1763s|  1230k|  1226k|     0 |   0.0 | 571M|2971 |   - |6388 |6028 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1784.03/1784.01	c  1773s|  1240k|  1236k|     0 |   0.0 | 575M|2971 |   - |6388 |6028 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1793.83/1793.83	c  1782s|  1250k|  1246k|     0 |   0.0 | 579M|2971 |   - |6388 |6028 |   0 |   0 |   0 |7275 |   0 | 1.000000e+00 | 1.030000e+02 |  Large 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1788.44
1800.04/1800.00	c Solving Nodes      : 1256264
1800.04/1800.00	c Primal Bound       : +1.03000000000000e+02 (1 solutions)
1800.04/1800.00	c Dual Bound         : +1.00000000000000e+00
1800.04/1800.00	c Gap                : 10200.00 %
1800.14/1800.11	s SATISFIABLE
1800.14/1800.11	v x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 
1800.14/1800.11	v x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 x465 -x464 -x463 x462 -x461 -x460 x459 -x458 -x457 
1800.14/1800.11	v -x456 -x455 -x454 x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 
1800.14/1800.11	v -x434 -x433 -x432 -x431 -x430 x429 x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 
1800.14/1800.11	v -x412 -x411 x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 x393 -x392 
1800.14/1800.11	v -x391 x390 -x389 -x388 -x387 x386 -x385 x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 
1800.14/1800.11	v x369 x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 
1800.14/1800.11	v -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 x333 x332 -x331 -x330 -x329 -x328 -x327 x326 
1800.14/1800.11	v -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317 -x316 -x315 x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 
1800.14/1800.11	v -x304 -x303 -x302 x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 
1800.14/1800.11	v -x282 x281 -x280 -x279 x278 -x277 -x276 x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 x262 -x261 
1800.14/1800.11	v -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 
1800.14/1800.11	v -x238 x237 -x236 -x235 x234 -x233 -x232 x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 
1800.14/1800.11	v x217 -x216 x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 x202 -x201 -x200 -x199 x198 -x197 -x196 
1800.14/1800.11	v -x195 x194 -x193 -x192 -x191 x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 
1800.14/1800.11	v x173 -x172 -x171 x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 x162 -x161 -x160 x159 -x158 -x157 -x156 x155 -x154 -x153 x152 
1800.14/1800.11	v -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 
1800.14/1800.11	v x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 x111 -x110 -x109 
1800.14/1800.11	v -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 
1800.14/1800.11	v -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 
1800.14/1800.11	v -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 
1800.14/1800.11	v x31 -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 
1800.14/1800.11	v x4 -x3 -x2 -x1 
1800.14/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.11	c Solving Time       :    1788.44
1800.14/1800.11	c Original Problem   :
1800.14/1800.11	c   Problem name     : HOME/instance-2700586-1278535726.wbo
1800.14/1800.11	c   Variables        : 6388 (3444 binary, 0 integer, 0 implicit integer, 2944 continuous)
1800.14/1800.11	c   Constraints      : 6014 initial, 6014 maximal
1800.14/1800.11	c Presolved Problem  :
1800.14/1800.11	c   Problem name     : t_HOME/instance-2700586-1278535726.wbo
1800.14/1800.11	c   Variables        : 6388 (3444 binary, 0 integer, 0 implicit integer, 2944 continuous)
1800.14/1800.11	c   Constraints      : 6014 initial, 6576 maximal
1800.14/1800.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.14/1800.11	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.14/1800.11	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
1800.14/1800.11	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   linear           :       0.03          0          0          0       2944          0          0          0          0
1800.14/1800.11	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.11	c   root node        :          -          0          -          -          0          -          -          -          -
1800.14/1800.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.11	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.14/1800.11	c   indicator        :       2944          0    1699918          0    1254809          0    1033067          0          0          0
1800.14/1800.11	c   knapsack         :          1          0    1701587          0    1255169          0          0          0          0          0
1800.14/1800.11	c   setppc           :        125          0    1701586          0    1255168        655     295829          0          0          0
1800.14/1800.11	c   linear           :       2944          0    1700931          0    1255168       1087     851647          0          0          0
1800.14/1800.11	c   logicor          :          0+         0      71557          0          0         37      11599          0          0          0
1800.14/1800.11	c   countsols        :          0          0          0          0    1255169          0          0          0          0          0
1800.14/1800.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.14/1800.11	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.14/1800.11	c   indicator        :     204.92       0.00      43.15       0.00     161.77
1800.14/1800.11	c   knapsack         :    1090.11       0.00    1036.55       0.00      53.56
1800.14/1800.11	c   setppc           :      24.04       0.00       2.97       0.00      21.07
1800.14/1800.11	c   linear           :      95.80       0.00      23.85       0.00      71.95
1800.14/1800.11	c   logicor          :       0.19       0.00       0.19       0.00       0.00
1800.14/1800.11	c   countsols        :       0.21       0.00       0.00       0.00       0.21
1800.14/1800.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.14/1800.11	c   vbounds          :       0.33          2          0          0
1800.14/1800.11	c   rootredcost      :       0.33          0          0          0
1800.14/1800.11	c   pseudoobj        :      92.36    1701391          4       2254
1800.14/1800.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.11	c   propagation      :       0.28       1783       1783       6945      122.3       1517        4.6          -
1800.14/1800.11	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.11	c   pseudo solution  :       0.00          5          5        209      109.7        138        3.0          -
1800.14/1800.11	c   applied globally :          -          -          -       7100       81.1          -          -          -
1800.14/1800.11	c   applied locally  :          -          -          -        175      370.2          -          -          -
1800.14/1800.11	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.14/1800.11	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.14/1800.11	c   redcost          :       0.00          0          0          0          0          0
1800.14/1800.11	c   impliedbounds    :       0.00          0          0          0          0          0
1800.14/1800.11	c   intobj           :       0.00          0          0          0          0          0
1800.14/1800.11	c   cgmip            :       0.00          0          0          0          0          0
1800.14/1800.11	c   gomory           :       0.00          0          0          0          0          0
1800.14/1800.11	c   strongcg         :       0.00          0          0          0          0          0
1800.14/1800.11	c   cmir             :       0.00          0          0          0          0          0
1800.14/1800.11	c   flowcover        :       0.00          0          0          0          0          0
1800.14/1800.11	c   clique           :       0.00          0          0          0          0          0
1800.14/1800.11	c   zerohalf         :       0.00          0          0          0          0          0
1800.14/1800.11	c   mcf              :       0.00          0          0          0          0          0
1800.14/1800.11	c   rapidlearning    :       0.00          0          0          0          0          0
1800.14/1800.11	c Pricers            :       Time      Calls       Vars
1800.14/1800.11	c   problem variables:       0.00          0          0
1800.14/1800.11	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.11	c   relpscost        :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   pscost           :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   inference        :     249.81    1255168          0          0          0          0    2510336
1800.14/1800.11	c   mostinf          :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   leastinf         :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.14/1800.11	c   random           :       0.00          0          0          0          0          0          0
1800.14/1800.11	c Primal Heuristics  :       Time      Calls      Found
1800.14/1800.11	c   LP solutions     :       0.00          -          0
1800.14/1800.11	c   pseudo solutions :       0.00          -          1
1800.14/1800.11	c   oneopt           :       0.36          0          0
1800.14/1800.11	c   trivial          :       0.01          2          0
1800.14/1800.11	c   simplerounding   :       0.00          0          0
1800.14/1800.11	c   zirounding       :       0.00          0          0
1800.14/1800.11	c   rounding         :       0.00          0          0
1800.14/1800.11	c   shifting         :       0.00          0          0
1800.14/1800.11	c   intshifting      :       0.00          0          0
1800.14/1800.11	c   twoopt           :       0.00          0          0
1800.14/1800.11	c   fixandinfer      :       0.00          0          0
1800.14/1800.11	c   feaspump         :       0.00          0          0
1800.14/1800.11	c   coefdiving       :       0.00          0          0
1800.14/1800.11	c   pscostdiving     :       0.00          0          0
1800.14/1800.11	c   fracdiving       :       0.00          0          0
1800.14/1800.11	c   veclendiving     :       0.00          0          0
1800.14/1800.11	c   intdiving        :       0.00          0          0
1800.14/1800.11	c   actconsdiving    :       0.00          0          0
1800.14/1800.11	c   objpscostdiving  :       0.00          0          0
1800.14/1800.11	c   rootsoldiving    :       0.00          0          0
1800.14/1800.11	c   linesearchdiving :       0.00          0          0
1800.14/1800.11	c   guideddiving     :       0.00          0          0
1800.14/1800.11	c   octane           :       0.00          0          0
1800.14/1800.11	c   rens             :       0.00          0          0
1800.14/1800.11	c   rins             :       0.00          0          0
1800.14/1800.11	c   localbranching   :       0.00          0          0
1800.14/1800.11	c   mutation         :       0.00          0          0
1800.14/1800.11	c   crossover        :       0.00          0          0
1800.14/1800.11	c   dins             :       0.00          0          0
1800.14/1800.11	c   undercover       :       0.00          0          0
1800.14/1800.11	c   nlp              :       0.43          0          0
1800.14/1800.11	c   trysol           :       0.23          1          0
1800.14/1800.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.14/1800.11	c   primal LP        :       0.00          0          0       0.00          -
1800.14/1800.11	c   dual LP          :       0.00          0          0       0.00          -
1800.14/1800.11	c   lex dual LP      :       0.00          0          0       0.00          -
1800.14/1800.11	c   barrier LP       :       0.00          0          0       0.00          -
1800.14/1800.11	c   diving/probing LP:       0.00          0          0       0.00          -
1800.14/1800.11	c   strong branching :       0.00          0          0       0.00          -
1800.14/1800.11	c     (at root node) :          -          0          0       0.00          -
1800.14/1800.11	c   conflict analysis:       0.00          0          0       0.00          -
1800.14/1800.11	c B&B Tree           :
1800.14/1800.11	c   number of runs   :          1
1800.14/1800.11	c   nodes            :    1256264
1800.14/1800.11	c   nodes (total)    :    1256264
1800.14/1800.11	c   nodes left       :    1252595
1800.14/1800.11	c   max depth        :       2971
1800.14/1800.11	c   max depth (total):       2971
1800.14/1800.11	c   backtracks       :       3822 (0.3%)
1800.14/1800.11	c   delayed cutoffs  :       1478
1800.14/1800.11	c   repropagations   :       2222 (85111 domain reductions, 693 cutoffs)
1800.14/1800.11	c   avg switch length:       2.19
1800.14/1800.11	c   switching time   :       9.43
1800.14/1800.11	c Solution           :
1800.14/1800.11	c   Solutions found  :          1 (1 improvements)
1800.14/1800.11	c   First Solution   : +1.03000000000000e+02   (in run 1, after 362487 nodes, 216.71 seconds, depth 1014, found by <relaxation>)
1800.14/1800.11	c   Primal Bound     : +1.03000000000000e+02   (in run 1, after 362487 nodes, 216.71 seconds, depth 1014, found by <relaxation>)
1800.14/1800.11	c   Dual Bound       : +1.00000000000000e+00
1800.14/1800.11	c   Gap              :   10200.00 %
1800.14/1800.11	c   Root Dual Bound  : +0.00000000000000e+00
1800.14/1800.11	c   Root Iterations  :          0
1801.34/1801.34	c Time complete: 1801.38.

Verifier Data 

OK	102

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.71 4/178 20791
/proc/meminfo: memFree=29655336/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=8376 CPUtime=0
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 1569 0 0 0 0 0 0 0 25 0 1 0 21785562 8577024 1492 4089446400 4194304 7136930 140733612619296 18446744073709551615 4457498 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20791/statm: 2094 1497 275 719 0 1373 0

[startup+0.0931549 s]
/proc/loadavg: 2.01 2.00 1.71 4/178 20791
/proc/meminfo: memFree=29655336/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=34328 CPUtime=0.08
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 8946 0 0 0 7 1 0 0 25 0 1 0 21785562 35151872 7743 4089446400 4194304 7136930 140733612619296 18446744073709551615 4938137 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 8582 7743 350 719 0 7861 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34328

[startup+0.101163 s]
/proc/loadavg: 2.01 2.00 1.71 4/178 20791
/proc/meminfo: memFree=29655336/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=34536 CPUtime=0.09
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 9015 0 0 0 8 1 0 0 25 0 1 0 21785562 35364864 7808 4089446400 4194304 7136930 140733612619296 18446744073709551615 4442928 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 8634 7808 358 719 0 7913 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34536

[startup+0.300116 s]
/proc/loadavg: 2.01 2.00 1.71 4/178 20791
/proc/meminfo: memFree=29655336/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=35980 CPUtime=0.29
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 10488 0 0 0 28 1 0 0 25 0 1 0 21785562 36843520 8253 4089446400 4194304 7136930 140733612619296 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 8995 8253 394 719 0 8274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35980

[startup+0.701044 s]
/proc/loadavg: 2.01 2.00 1.71 4/178 20791
/proc/meminfo: memFree=29655336/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=36780 CPUtime=0.69
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 10690 0 0 0 68 1 0 0 25 0 1 0 21785562 37662720 8455 4089446400 4194304 7136930 140733612619296 18446744073709551615 4834554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 9195 8455 394 719 0 8474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36780

[startup+1.5009 s]
/proc/loadavg: 2.01 2.00 1.71 3/179 20792
/proc/meminfo: memFree=29621520/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=38664 CPUtime=1.49
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 11142 0 0 0 146 3 0 0 25 0 1 0 21785562 39591936 8907 4089446400 4194304 7136930 140733612619296 18446744073709551615 4967338 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 9666 8907 394 719 0 8945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38664

[startup+3.10063 s]
/proc/loadavg: 2.01 2.00 1.71 3/179 20792
/proc/meminfo: memFree=29615444/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=40820 CPUtime=3.09
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 11697 0 0 0 305 4 0 0 25 0 1 0 21785562 41799680 9462 4089446400 4194304 7136930 140733612619296 18446744073709551615 4697613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 10205 9462 401 719 0 9484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40820

[startup+6.30106 s]
/proc/loadavg: 2.01 2.00 1.71 3/179 20792
/proc/meminfo: memFree=29607640/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=42212 CPUtime=6.29
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 12081 0 0 0 622 7 0 0 25 0 1 0 21785562 43225088 9846 4089446400 4194304 7136930 140733612619296 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 10553 9846 401 719 0 9832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42212

[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 20792
/proc/meminfo: memFree=29592896/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=46764 CPUtime=12.69
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 13230 0 0 0 1253 16 0 0 25 0 1 0 21785562 47886336 10995 4089446400 4194304 7136930 140733612619296 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 11691 10995 401 719 0 10970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46764

[startup+25.5007 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 20792
/proc/meminfo: memFree=29554692/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=55504 CPUtime=25.49
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 15522 0 0 0 2516 33 0 0 25 0 1 0 21785562 56836096 13287 4089446400 4194304 7136930 140733612619296 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 13876 13287 401 719 0 13155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55504

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 20792
/proc/meminfo: memFree=29484100/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=74304 CPUtime=51.09
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 19888 0 0 0 5039 70 0 0 25 0 1 0 21785562 76087296 17653 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 18576 17653 401 719 0 17855 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74304

[startup+102.306 s]
/proc/loadavg: 2.16 2.03 1.75 3/179 20794
/proc/meminfo: memFree=29342304/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=110644 CPUtime=102.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 29300 0 0 0 10087 143 0 0 25 0 1 0 21785562 113299456 27065 4089446400 4194304 7136930 140733612619296 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 27661 27065 401 719 0 26940 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110644

[startup+162.301 s]
/proc/loadavg: 2.06 2.03 1.76 3/179 20796
/proc/meminfo: memFree=29179168/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=155884 CPUtime=162.29
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 39989 0 0 0 16002 227 0 0 25 0 1 0 21785562 159625216 37754 4089446400 4194304 7136930 140733612619296 18446744073709551615 4696948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 38971 37754 401 719 0 38250 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155884

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.77 3/179 20798
/proc/meminfo: memFree=29017636/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=190240 CPUtime=222.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 48898 0 0 0 21934 296 0 0 25 0 1 0 21785562 194805760 46663 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 47560 46663 401 719 0 46839 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 190240

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.78 3/179 20799
/proc/meminfo: memFree=28873232/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=210472 CPUtime=282.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 54128 0 0 0 27891 339 0 0 25 0 1 0 21785562 215523328 51893 4089446400 4194304 7136930 140733612619296 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 52618 51893 401 719 0 51897 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 210472

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.80 3/179 20800
/proc/meminfo: memFree=28739996/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=229840 CPUtime=342.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 59102 0 0 0 33860 370 0 0 25 0 1 0 21785562 235356160 56867 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 57460 56867 402 719 0 56739 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229840

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 20802
/proc/meminfo: memFree=28601304/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=255176 CPUtime=402.29
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 63505 0 0 0 39827 402 0 0 25 0 1 0 21785562 261300224 61270 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 63794 61270 402 719 0 63073 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 255176

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 20804
/proc/meminfo: memFree=28454796/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=272780 CPUtime=462.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 68056 0 0 0 45801 429 0 0 25 0 1 0 21785562 279326720 65821 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 68195 65821 402 719 0 67474 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 272780

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 20806
/proc/meminfo: memFree=28318324/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=283680 CPUtime=522.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 70866 0 0 0 51778 452 0 0 25 0 1 0 21785562 290488320 68631 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 70920 68631 402 719 0 70199 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 283680

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 20807
/proc/meminfo: memFree=28171920/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=299540 CPUtime=582.3
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 74936 0 0 0 57755 475 0 0 25 0 1 0 21785562 306728960 72701 4089446400 4194304 7136930 140733612619296 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 74885 72701 402 719 0 74164 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 299540

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 20808
/proc/meminfo: memFree=28032976/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=309148 CPUtime=642.31
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 77433 0 0 0 63736 495 0 0 25 0 1 0 21785562 316567552 75198 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 77287 75198 402 719 0 76566 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 309148

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 20829
/proc/meminfo: memFree=27084516/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=391164 CPUtime=1062.31
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 98243 0 0 0 105607 624 0 0 25 0 1 0 21785562 400551936 96008 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 97791 96008 402 719 0 97070 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 391164

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 20831
/proc/meminfo: memFree=26949668/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=400276 CPUtime=1122.31
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 100535 0 0 0 111590 641 0 0 25 0 1 0 21785562 409882624 98300 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 100069 98300 402 719 0 99348 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 400276

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 20832
/proc/meminfo: memFree=26812836/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=411876 CPUtime=1182.32
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 103532 0 0 0 117575 657 0 0 25 0 1 0 21785562 421761024 101297 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 102969 101297 402 719 0 102248 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 411876

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 20833
/proc/meminfo: memFree=26672876/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=423664 CPUtime=1242.31
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 106553 0 0 0 123557 674 0 0 25 0 1 0 21785562 433831936 104318 4089446400 4194304 7136930 140733612619296 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 105916 104318 402 719 0 105195 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 423664

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 20835
/proc/meminfo: memFree=26528848/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=437264 CPUtime=1302.33
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 110051 0 0 0 129542 691 0 0 25 0 1 0 21785562 447758336 107816 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 109316 107816 402 719 0 108595 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 437264

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20837
/proc/meminfo: memFree=26388052/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=451004 CPUtime=1362.32
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 113426 0 0 0 135528 704 0 0 25 0 1 0 21785562 461828096 111191 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 112751 111191 402 719 0 112030 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 451004

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20839
/proc/meminfo: memFree=26336656/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=474472 CPUtime=1422.33
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 119376 0 0 0 141482 751 0 0 25 0 1 0 21785562 485859328 117141 4089446400 4194304 7136930 140733612619296 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 118618 117141 402 719 0 117897 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 474472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20840
/proc/meminfo: memFree=26307220/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=499032 CPUtime=1482.32
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 125763 0 0 0 147421 811 0 0 25 0 1 0 21785562 511008768 123528 4089446400 4194304 7136930 140733612619296 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 124758 123528 402 719 0 124037 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 499032

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20841
/proc/meminfo: memFree=26277656/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=542032 CPUtime=1542.32
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 132661 0 0 0 153365 867 0 0 25 0 1 0 21785562 555040768 130426 4089446400 4194304 7136930 140733612619296 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 135508 130426 402 719 0 134787 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 542032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20843
/proc/meminfo: memFree=26247596/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=568060 CPUtime=1602.33
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 139405 0 0 0 159317 916 0 0 25 0 1 0 21785562 581693440 137170 4089446400 4194304 7136930 140733612619296 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 142015 137170 402 719 0 141294 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 568060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20845
/proc/meminfo: memFree=26218660/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=593128 CPUtime=1662.32
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 145907 0 0 0 165263 969 0 0 25 0 1 0 21785562 607363072 143672 4089446400 4194304 7136930 140733612619296 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 148282 143672 402 719 0 147561 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 593128

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20847
/proc/meminfo: memFree=26183772/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=620892 CPUtime=1722.33
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 153073 0 0 0 171214 1019 0 0 25 0 1 0 21785562 635793408 150838 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20791/statm: 155223 150838 402 719 0 154502 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 620892

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 21314
/proc/meminfo: memFree=29077272/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=643324 CPUtime=1782.33
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 158908 0 0 0 177125 1108 0 0 25 0 1 0 21785562 658763776 156673 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20791/statm: 160831 156673 402 719 0 160110 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 643324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 21318
/proc/meminfo: memFree=29071012/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=649468 CPUtime=1800.04
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 160516 0 0 0 178847 1157 0 0 25 0 1 0 21785562 665055232 158281 4089446400 4194304 7136930 140733612619296 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20791/statm: 162367 158281 402 719 0 161646 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 649468

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

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

[startup+1800.6 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 21319
/proc/meminfo: memFree=29099160/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=620128 CPUtime=1800.64
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 160538 0 0 0 178907 1157 0 0 18 0 1 0 21785562 635011072 150966 4089446400 4194304 7136930 140733612619296 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20791/statm: 155032 150966 407 719 0 154311 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 620128

[startup+1801 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 21319
/proc/meminfo: memFree=29099160/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=557476 CPUtime=1801.03
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 160538 0 0 0 178946 1157 0 0 19 0 1 0 21785562 570855424 135303 4089446400 4194304 7136930 140733612619296 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20791/statm: 139369 135303 407 719 0 138648 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 557476

[startup+1801.2 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 21319
/proc/meminfo: memFree=29099160/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=431508 CPUtime=1801.23
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 160538 0 0 0 178965 1158 0 0 19 0 1 0 21785562 441864192 103813 4089446400 4194304 7136930 140733612619296 18446744073709551615 4212570 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20791/statm: 107877 103813 407 719 0 107156 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 431508

[startup+1801.3 s]
/proc/loadavg: 1.95 1.98 1.91 3/180 21319
/proc/meminfo: memFree=29099160/32951124 swapFree=67111528/67111528
[pid=20791] ppid=20789 vsize=280248 CPUtime=1801.34
/proc/20791/stat : 20791 (pbscip.linux.x8) R 20789 20791 19739 0 -1 4202496 160538 0 0 0 178975 1159 0 0 19 0 1 0 21785562 286973952 66003 4089446400 4194304 7136930 140733612619296 18446744073709551615 6165634 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20791/statm: 70062 66003 407 719 0 69341 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 280248

Child status: 0
Real time (s): 1801.34
CPU time (s): 1801.38
CPU user time (s): 1789.78
CPU system time (s): 11.6012
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 649468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.78
system time used= 11.6012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 20336

runsolver used 3.43248 second user time and 6.17906 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-07 22:48:46
IDJOB=2700586
IDBENCH=79441
IDSOLVER=1206
FILE ID=node144/2700586-1278535726
PBS_JOBID= 11239190
Free space on /tmp= 73736 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.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-2700586-1278535726/watcher-2700586-1278535726 -o /tmp/evaluation-result-2700586-1278535726/solver-2700586-1278535726 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700586-1278535726.wbo -t 1800 -m 3800

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

MD5SUM BENCH= b95440184c2619269a303a66296dd7fe
RANDOM SEED=1258429090

node144.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.825
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.65
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.825
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.825
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.74
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.825
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.825
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.75
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.825
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.78
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.825
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.825
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	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29655864 kB
Buffers:        148292 kB
Cached:        2819348 kB
SwapCached:          0 kB
Active:         932076 kB
Inactive:      2201520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29655864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3300 kB
Writeback:           0 kB
AnonPages:      166212 kB
Mapped:          16944 kB
Slab:            96628 kB
PageTables:       5224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   310380 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= 73736 MiB
End job on node144 at 2010-07-07 23:18:48