Trace number 2705093

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.65 1790.7

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-33-100-0.wbo
MD5SUM9b25a7ec387133dd9cde8835cb297bb5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.013997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1328
Total number of constraints3349
Number of soft constraints2214
Number of constraints which are clauses3165
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints184
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 111054
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 111053
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705093-1278574757.wbo>
0.02/0.03	c original problem has 5756 variables (3542 bin, 0 int, 2214 impl, 0 cont) and 5564 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.06	c presolving:
0.02/0.06	c (round 1) 12 del vars, 8 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 2910 impls, 0 clqs
0.02/0.07	c (round 2) 15 del vars, 28 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 2910 impls, 0 clqs
0.02/0.07	c (round 3) 18 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 2910 impls, 0 clqs
0.02/0.09	c (round 4) 19 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 1114 upgd conss, 2910 impls, 0 clqs
0.09/0.13	c    (0.1s) probing: 101/3526 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  19 deleted vars, 29 deleted constraints, 2211 tightened bounds, 0 added holes, 92 changed sides, 184 changed coefficients
0.09/0.14	c  7220 implications, 0 cliques
0.09/0.14	c presolved problem has 5737 variables (3526 bin, 0 int, 2211 impl, 0 cont) and 5535 constraints
0.09/0.14	c       1 constraints of type <varbound>
0.09/0.14	c      64 constraints of type <knapsack>
0.09/0.14	c     699 constraints of type <setppc>
0.09/0.14	c    2210 constraints of type <linear>
0.09/0.14	c    2211 constraints of type <indicator>
0.09/0.14	c     350 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.08
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.3
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1789.97
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14	c # [type: int, range: [1,2], default: 1]
0.09/0.14	c timing/clocktype = 2
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/indicator/addCouplingCons = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	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.15	c   0.1s|     1 |     0 |    85 |     - |  19M|   0 |  28 |5737 |5535 |5737 |1113 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   356 |     - |  20M|   0 | 199 |5737 |5535 |5737 |1298 | 185 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   609 |     - |  20M|   0 | 110 |5737 |5535 |5737 |1527 | 414 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.58	c   0.5s|     1 |     0 |   873 |     - |  20M|   0 | 430 |5737 |5535 |5737 |1668 | 555 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.71	c   0.7s|     1 |     0 |  1108 |     - |  20M|   0 | 373 |5737 |5535 |5737 |1795 | 682 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.88	c   0.8s|     1 |     0 |  1301 |     - |  21M|   0 | 387 |5737 |5535 |5737 |1899 | 786 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.07	c   1.0s|     1 |     0 |  1534 |     - |  21M|   0 | 376 |5737 |5535 |5737 |1983 | 870 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.26	c   1.2s|     1 |     0 |  1750 |     - |  21M|   0 | 376 |5737 |5535 |5737 |2047 | 934 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.50	c   1.5s|     1 |     2 |  1750 |     - |  21M|   0 | 376 |5737 |5535 |5737 |2047 | 934 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
12.59/12.62	o 110773
12.59/12.62	c y12.6s|   351 |   348 |  7754 |  17.2 |  22M| 133 |   - |5737 |5547 |   0 |   0 |1126 |  12 |2321 | 0.000000e+00 | 1.107730e+05 |    Inf 
51.49/51.56	c  51.5s| 10000 |  9994 | 34439 |   3.3 |  53M| 211 |   0 |5737 |5552 |5737 |1916 |6992 |  17 |4150 | 0.000000e+00 | 1.107730e+05 |    Inf 
86.19/86.26	c  86.2s| 20000 | 19994 | 69985 |   3.4 |  78M| 217 |   0 |5737 |5552 |5737 |1930 |  12k|  17 |4651 | 0.000000e+00 | 1.107730e+05 |    Inf 
123.20/123.26	c   123s| 30000 | 29986 |108583 |   3.6 | 103M| 217 |   0 |5737 |5552 |5737 |1918 |  19k|  21 |5469 | 0.000000e+00 | 1.107730e+05 |    Inf 
158.89/158.91	c   159s| 40000 | 39989 |147972 |   3.7 | 127M| 217 |  39 |5737 |5550 |5737 |1901 |  25k|  24 |5951 | 0.000000e+00 | 1.107730e+05 |    Inf 
194.10/194.10	c   194s| 50000 | 49990 |165676 |   3.3 | 152M| 229 |   0 |5737 |5550 |5737 |1932 |  31k|  24 |5961 | 0.000000e+00 | 1.107730e+05 |    Inf 
228.90/228.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
228.90/228.94	c   229s| 60000 | 59990 |189473 |   3.1 | 176M| 231 |   0 |5737 |5550 |5737 |1914 |  36k|  24 |5994 | 0.000000e+00 | 1.107730e+05 |    Inf 
265.10/265.19	c   265s| 70000 | 69990 |213012 |   3.0 | 200M| 231 |   0 |5737 |5550 |5737 |1930 |  41k|  24 |6088 | 0.000000e+00 | 1.107730e+05 |    Inf 
301.50/301.54	c   302s| 80000 | 79991 |235171 |   2.9 | 225M| 231 |   0 |5737 |5550 |5737 |1933 |  48k|  24 |6094 | 0.000000e+00 | 1.107730e+05 |    Inf 
337.40/337.42	c   337s| 90000 | 89991 |254319 |   2.8 | 249M| 231 |   0 |5737 |5550 |5737 |1927 |  53k|  24 |6096 | 0.000000e+00 | 1.107730e+05 |    Inf 
373.71/373.70	c   374s|100000 | 99991 |273602 |   2.7 | 273M| 231 |   0 |5737 |5549 |5737 |1907 |  58k|  24 |6098 | 0.000000e+00 | 1.107730e+05 |    Inf 
409.40/409.46	c   409s|110000 |109991 |290257 |   2.6 | 298M| 231 |   0 |5737 |5549 |5737 |1909 |  63k|  24 |6098 | 0.000000e+00 | 1.107730e+05 |    Inf 
446.21/446.29	c   446s|120000 |119991 |310728 |   2.6 | 322M| 231 |   0 |5737 |5548 |5737 |1937 |  68k|  24 |6100 | 0.000000e+00 | 1.107730e+05 |    Inf 
483.61/483.68	c   484s|130000 |129991 |332751 |   2.5 | 347M| 231 |   0 |5737 |5548 |5737 |1941 |  74k|  24 |6100 | 0.000000e+00 | 1.107730e+05 |    Inf 
520.71/520.74	c   521s|140000 |139991 |353131 |   2.5 | 371M| 231 |   0 |5737 |5548 |5737 |1933 |  79k|  24 |6116 | 0.000000e+00 | 1.107730e+05 |    Inf 
558.31/558.37	c   558s|150000 |149987 |369593 |   2.5 | 395M| 231 |   0 |5737 |5550 |5737 |1916 |  83k|  26 |6289 | 0.000000e+00 | 1.107730e+05 |    Inf 
595.41/595.42	c   595s|160000 |159987 |379715 |   2.4 | 420M| 231 |   0 |5737 |5550 |5737 |1919 |  85k|  26 |6483 | 0.000000e+00 | 1.107730e+05 |    Inf 
632.62/632.62	c   633s|170000 |169987 |391263 |   2.3 | 444M| 231 |   0 |5737 |5549 |5737 |1925 |  88k|  26 |6530 | 0.000000e+00 | 1.107730e+05 |    Inf 
669.31/669.39	c   669s|180000 |179987 |398305 |   2.2 | 468M| 231 |   0 |5737 |5550 |5737 |1923 |  89k|  27 |6545 | 0.000000e+00 | 1.107730e+05 |    Inf 
709.32/709.32	c   709s|190000 |189987 |417974 |   2.2 | 493M| 231 |   0 |5737 |5550 |5737 |1907 |  95k|  27 |6804 | 0.000000e+00 | 1.107730e+05 |    Inf 
748.81/748.87	c   749s|200000 |199987 |432900 |   2.2 | 517M| 231 |   0 |5737 |5550 |5737 |1930 |  99k|  27 |6914 | 0.000000e+00 | 1.107730e+05 |    Inf 
787.82/787.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
787.82/787.86	c   788s|210000 |209987 |449156 |   2.1 | 542M| 231 |   0 |5737 |5550 |5737 |1926 | 102k|  27 |7152 | 0.000000e+00 | 1.107730e+05 |    Inf 
827.02/827.08	c   827s|220000 |219987 |461791 |   2.1 | 566M| 235 |   0 |5737 |5550 |5737 |1926 | 105k|  27 |7437 | 0.000000e+00 | 1.107730e+05 |    Inf 
865.02/865.01	c   865s|230000 |229987 |476070 |   2.1 | 590M| 237 |   9 |5737 |5550 |5737 |1857 | 108k|  27 |7783 | 0.000000e+00 | 1.107730e+05 |    Inf 
903.22/903.23	c   903s|240000 |239985 |506909 |   2.1 | 615M| 237 |   0 |5737 |5549 |5737 |1927 | 112k|  28 |8067 | 0.000000e+00 | 1.107730e+05 |    Inf 
941.42/941.41	c   941s|250000 |249981 |534849 |   2.1 | 639M| 237 |   0 |5737 |5549 |5737 |1932 | 117k|  30 |8580 | 0.000000e+00 | 1.107730e+05 |    Inf 
979.93/979.92	c   980s|260000 |259981 |558299 |   2.1 | 663M| 237 |  17 |5737 |5549 |5737 |1857 | 121k|  30 |8852 | 0.000000e+00 | 1.107730e+05 |    Inf 
1018.32/1018.36	c  1018s|270000 |269981 |582936 |   2.2 | 687M| 237 |   0 |5737 |5545 |5737 |1905 | 126k|  30 |9112 | 0.000000e+00 | 1.107730e+05 |    Inf 
1056.13/1056.19	c  1056s|280000 |279981 |601024 |   2.1 | 712M| 237 |   0 |5737 |5544 |5737 |1958 | 128k|  30 |9381 | 0.000000e+00 | 1.107730e+05 |    Inf 
1095.93/1095.97	c  1096s|290000 |289981 |620390 |   2.1 | 736M| 237 |   0 |5737 |5544 |5737 |1956 | 133k|  30 |9486 | 0.000000e+00 | 1.107730e+05 |    Inf 
1137.63/1137.64	c  1138s|300000 |299981 |642372 |   2.1 | 761M| 237 |   0 |5737 |5544 |5737 |1956 | 139k|  30 |9643 | 0.000000e+00 | 1.107730e+05 |    Inf 
1178.33/1178.37	c  1178s|310000 |309981 |663341 |   2.1 | 785M| 237 |   9 |5737 |5544 |5737 |1900 | 145k|  30 |9812 | 0.000000e+00 | 1.107730e+05 |    Inf 
1218.63/1218.67	c  1219s|320000 |319981 |684588 |   2.1 | 809M| 237 |   2 |5737 |5544 |5737 |1857 | 151k|  30 |  10k| 0.000000e+00 | 1.107730e+05 |    Inf 
1259.33/1259.30	c  1259s|330000 |329981 |706383 |   2.1 | 834M| 237 |   5 |5737 |5544 |5737 |1911 | 158k|  30 |  10k| 0.000000e+00 | 1.107730e+05 |    Inf 
1298.84/1298.82	c  1299s|340000 |339981 |742935 |   2.2 | 858M| 237 |  10 |5737 |5541 |5737 |1857 | 163k|  30 |  11k| 0.000000e+00 | 1.107730e+05 |    Inf 
1336.84/1336.88	c  1337s|350000 |349981 |769588 |   2.2 | 883M| 237 |   0 |5737 |5541 |5737 |1942 | 167k|  30 |  11k| 0.000000e+00 | 1.107730e+05 |    Inf 
1375.73/1375.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1375.73/1375.76	c  1376s|360000 |359977 |794617 |   2.2 | 907M| 237 |  45 |5737 |5543 |5737 |1857 | 172k|  32 |  11k| 0.000000e+00 | 1.107730e+05 |    Inf 
1413.74/1413.75	c  1414s|370000 |369971 |828528 |   2.2 | 931M| 237 |   0 |5737 |5546 |5737 |1934 | 177k|  35 |  11k| 0.000000e+00 | 1.107730e+05 |    Inf 
1454.04/1454.05	c  1454s|380000 |379969 |853742 |   2.2 | 956M| 237 |   0 |5737 |5547 |5737 |1950 | 183k|  36 |  12k| 0.000000e+00 | 1.107730e+05 |    Inf 
1493.74/1493.71	c  1494s|390000 |389969 |876473 |   2.2 | 980M| 237 |   0 |5737 |5547 |5737 |1935 | 188k|  36 |  12k| 0.000000e+00 | 1.107730e+05 |    Inf 
1533.14/1533.15	c  1533s|400000 |399967 |903339 |   2.3 |1005M| 237 |   0 |5737 |5548 |5737 |1942 | 195k|  37 |  12k| 0.000000e+00 | 1.107730e+05 |    Inf 
1573.54/1573.59	c  1574s|410000 |409967 |927737 |   2.3 |1029M| 237 |   0 |5737 |5548 |5737 |1950 | 202k|  37 |  12k| 0.000000e+00 | 1.107730e+05 |    Inf 
1613.54/1613.52	c  1613s|420000 |419967 |953211 |   2.3 |1054M| 237 |   0 |5737 |5548 |5737 |1927 | 208k|  37 |  13k| 0.000000e+00 | 1.107730e+05 |    Inf 
1653.95/1653.96	c  1654s|430000 |429967 |980076 |   2.3 |1078M| 237 |   0 |5737 |5548 |5737 |1944 | 215k|  37 |  13k| 0.000000e+00 | 1.107730e+05 |    Inf 
1693.85/1693.82	c  1694s|440000 |439967 |  1004k|   2.3 |1103M| 237 |   0 |5737 |5548 |5737 |1973 | 222k|  37 |  13k| 0.000000e+00 | 1.107730e+05 |    Inf 
1733.55/1733.51	c  1733s|450000 |449967 |  1028k|   2.3 |1127M| 237 |   0 |5737 |5548 |5737 |1944 | 228k|  37 |  13k| 0.000000e+00 | 1.107730e+05 |    Inf 
1773.45/1773.42	c  1773s|460000 |459967 |  1053k|   2.3 |1152M| 237 |   0 |5737 |5548 |5737 |1966 | 235k|  37 |  14k| 0.000000e+00 | 1.107730e+05 |    Inf 
1790.05/1790.00	c 
1790.05/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.00	c Solving Time (sec) : 1789.97
1790.05/1790.00	c Solving Nodes      : 464096
1790.05/1790.00	c Primal Bound       : +1.10773000000000e+05 (100 solutions)
1790.05/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.00	c Gap                : infinite
1790.05/1790.07	s SATISFIABLE
1790.05/1790.07	v x1328 x1327 x1326 -x1325 -x1324 x1323 -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 x1313 x1312 x1311 -x1310 -x1309 
1790.05/1790.07	v x1308 x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 x1291 x1290 
1790.05/1790.07	v x1289 x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 x1278 x1277 -x1276 x1275 -x1274 x1273 -x1272 x1271 
1790.05/1790.07	v -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 x1254 -x1253 x1252 
1790.05/1790.07	v x1251 -x1250 x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 x1242 -x1241 x1240 -x1239 x1238 x1237 -x1236 -x1235 x1234 -x1233 
1790.05/1790.07	v -x1232 -x1231 x1230 x1229 -x1228 -x1227 -x1226 x1225 x1224 -x1223 x1222 x1221 -x1220 -x1219 x1218 x1217 -x1216 -x1215 -x1214 
1790.05/1790.07	v -x1213 -x1212 x1211 -x1210 x1209 x1208 x1207 -x1206 x1205 -x1204 x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 x1196 -x1195 
1790.05/1790.07	v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 
1790.05/1790.07	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 
1790.05/1790.07	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 x1147 x1146 -x1145 -x1144 -x1143 -x1142 x1141 
1790.05/1790.07	v -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 
1790.05/1790.07	v -x1122 -x1121 -x1120 x1119 x1118 -x1117 -x1116 -x1115 x1114 x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 
1790.05/1790.07	v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 
1790.05/1790.07	v -x1086 -x1085 -x1084 -x1083 x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 
1790.05/1790.07	v -x1068 -x1067 -x1066 -x1065 -x1064 x1063 x1062 x1061 -x1060 x1059 x1058 -x1057 -x1056 -x1055 x1054 -x1053 x1052 x1051 x1050 -x1049 
1790.05/1790.07	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 
1790.05/1790.07	v -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 
1790.05/1790.07	v -x1012 -x1011 -x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 -x1002 x1001 x1000 x999 x998 x997 -x996 x995 -x994 x993 -x992 
1790.05/1790.07	v -x991 x990 -x989 -x988 x987 x986 x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 x973 -x972 x971 -x970 
1790.05/1790.07	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 
1790.05/1790.07	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
1790.05/1790.07	v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 
1790.05/1790.07	v -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 
1790.05/1790.07	v -x885 -x884 x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 
1790.05/1790.07	v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 
1790.05/1790.07	v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 
1790.05/1790.07	v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 
1790.05/1790.07	v -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 
1790.05/1790.07	v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 
1790.05/1790.07	v -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 
1790.05/1790.07	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 
1790.05/1790.07	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 x700 -x699 -x698 
1790.05/1790.07	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 x679 x678 -x677 x676 
1790.05/1790.07	v -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 x665 x664 -x663 x662 -x661 -x660 -x659 x658 x657 -x656 -x655 -x654 
1790.05/1790.07	v -x653 -x652 -x651 -x650 -x649 x648 x647 x646 x645 x644 -x643 x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 
1790.05/1790.07	v -x631 -x630 -x629 x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 
1790.05/1790.07	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 
1790.05/1790.07	v -x588 -x587 x586 -x585 x584 x583 x582 x581 -x580 x579 x578 -x577 x576 x575 -x574 x573 x572 -x571 x570 -x569 -x568 -x567 x566 
1790.05/1790.07	v x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 x551 x550 -x549 -x548 x547 -x546 -x545 -x544 
1790.05/1790.07	v x543 x542 -x541 x540 -x539 x538 -x537 -x536 -x535 x534 x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 x522 
1790.05/1790.07	v -x521 x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 x511 x510 x509 x508 x507 x506 -x505 x504 x503 x502 -x501 -x500 -x499 
1790.05/1790.07	v -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
1790.05/1790.07	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 x460 -x459 x458 -x457 
1790.05/1790.07	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 
1790.05/1790.07	v -x435 -x434 x433 x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 x418 x417 -x416 -x415 -x414 
1790.05/1790.07	v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 
1790.05/1790.07	v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 x373 -x372 -x371 
1790.05/1790.07	v -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
1790.05/1790.07	v x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 
1790.05/1790.07	v x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
1790.05/1790.07	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 
1790.05/1790.07	v -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 x267 -x266 -x265 -x264 
1790.05/1790.07	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 
1790.05/1790.07	v -x242 -x241 x240 x239 x238 -x237 x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
1790.05/1790.07	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 x204 x203 -x202 -x201 -x200 
1790.05/1790.07	v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 -x180 -x179 
1790.05/1790.07	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1790.05/1790.07	v x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 x141 x140 -x139 -x138 -x137 x136 
1790.05/1790.07	v x135 x134 x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 x114 
1790.05/1790.07	v x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 x94 -x93 -x92 -x91 
1790.05/1790.07	v x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 x66 -x65 
1790.05/1790.07	v x64 -x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 x51 x50 -x49 -x48 -x47 x46 x45 x44 x43 -x42 x41 x40 x39 x38 x37 x36 
1790.05/1790.07	v -x35 x34 -x33 x32 x31 x30 -x29 -x28 -x27 x26 -x25 x24 x23 x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 x12 -x11 -x10 x9 
1790.05/1790.07	v -x8 -x7 x6 -x5 x4 x3 -x2 -x1 
1790.05/1790.07	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.07	c Solving Time       :    1789.97
1790.05/1790.07	c Original Problem   :
1790.05/1790.07	c   Problem name     : HOME/instance-2705093-1278574757.wbo
1790.05/1790.07	c   Variables        : 5756 (3542 binary, 0 integer, 2214 implicit integer, 0 continuous)
1790.05/1790.07	c   Constraints      : 5564 initial, 5564 maximal
1790.05/1790.07	c Presolved Problem  :
1790.05/1790.07	c   Problem name     : t_HOME/instance-2705093-1278574757.wbo
1790.05/1790.07	c   Variables        : 5737 (3526 binary, 0 integer, 2211 implicit integer, 0 continuous)
1790.05/1790.07	c   Constraints      : 5535 initial, 5554 maximal
1790.05/1790.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.05/1790.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   dualfix          :       0.00          7          0          0          0          0          0          0          0
1790.05/1790.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   implics          :       0.00          0          8          0          0          0          0          0          0
1790.05/1790.07	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.05/1790.07	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   linear           :       0.03          0          4          0       2211          0         26         92        184
1790.05/1790.07	c   indicator        :       0.00          0          0          0          0          0          3          0          0
1790.05/1790.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.07	c   root node        :          -          0          -          -          0          -          -          -          -
1790.05/1790.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.07	c   integral         :          0          0          0     512435          0          0         15          0          0     152256
1790.05/1790.07	c   varbound         :          1          7     990654     436278          0          0          2          5          0          0
1790.05/1790.07	c   knapsack         :         64          7     990675     436287          0         27      31562        267          0          0
1790.05/1790.07	c   setppc           :        699          7     990648     436287          0          0     431953          0          0          0
1790.05/1790.07	c   linear           :       2210          7     990648     436287          0          1     230971     237661          0          0
1790.05/1790.07	c   indicator        :       2211          0     990647     436292          0          0     214593          0          0          0
1790.05/1790.07	c   logicor          :        350+         7     163977     387945          0          0      57552          0          0          0
1790.05/1790.07	c   bounddisjunction :          0+         0       1123          0          0          0          1          0          0          0
1790.05/1790.07	c   countsols        :          0          0          0     387945          0          0          0          0          0          0
1790.05/1790.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.05/1790.07	c   integral         :      45.32       0.00       0.00      45.32       0.00
1790.05/1790.07	c   varbound         :       0.57       0.00       0.30       0.27       0.00
1790.05/1790.07	c   knapsack         :       1.97       0.00       1.34       0.62       0.00
1790.05/1790.07	c   setppc           :      14.71       0.00       8.74       5.97       0.00
1790.05/1790.07	c   linear           :     157.42       0.00      18.92     138.50       0.00
1790.05/1790.07	c   indicator        :     177.08       0.02      59.47     117.59       0.00
1790.05/1790.07	c   logicor          :       5.92       0.00       0.45       5.47       0.00
1790.05/1790.07	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1790.05/1790.07	c   countsols        :       0.07       0.00       0.00       0.07       0.00
1790.05/1790.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.05/1790.07	c   vbounds          :       2.38     102404          0      80581
1790.05/1790.07	c   rootredcost      :       0.34          1          0          0
1790.05/1790.07	c   pseudoobj        :      40.19     990475          0          0
1790.05/1790.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.05/1790.07	c   propagation      :       0.00         28         28         43        6.8          0        0.0          -
1790.05/1790.07	c   infeasible LP    :       0.00          4          4          4        4.5          0        0.0          0
1790.05/1790.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.05/1790.07	c   applied globally :          -          -          -         37        6.3          -          -          -
1790.05/1790.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.05/1790.07	c   cut pool         :       0.00          6          -          -        384          -    (maximal pool size: 1237)
1790.05/1790.07	c   redcost          :      65.15     511811          0          0          0          0
1790.05/1790.07	c   impliedbounds    :       0.00          7          0          0          0          0
1790.05/1790.07	c   intobj           :       0.00          0          0          0          0          0
1790.05/1790.07	c   cgmip            :       0.00          0          0          0          0          0
1790.05/1790.07	c   gomory           :       0.15          7          0          0       1944          0
1790.05/1790.07	c   strongcg         :       0.13          7          0          0       2241          0
1790.05/1790.07	c   cmir             :       0.13          7          0          0        178          0
1790.05/1790.07	c   flowcover        :       0.40          7          0          0        770          0
1790.05/1790.07	c   clique           :       0.00          7          0          0          0          0
1790.05/1790.07	c   zerohalf         :       0.00          0          0          0          0          0
1790.05/1790.07	c   mcf              :       0.00          1          0          0          0          0
1790.05/1790.07	c   rapidlearning    :       0.10          1          0          0          0          0
1790.05/1790.07	c Pricers            :       Time      Calls       Vars
1790.05/1790.07	c   problem variables:       0.00          0          0
1790.05/1790.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.07	c   relpscost        :      44.90      76143          0         15          0          0     152256
1790.05/1790.07	c   pscost           :       0.00          0          0          0          0          0          0
1790.05/1790.07	c   inference        :     316.10     387945          0          0          0          0     775902
1790.05/1790.07	c   mostinf          :       0.00          0          0          0          0          0          0
1790.05/1790.07	c   leastinf         :       0.00          0          0          0          0          0          0
1790.05/1790.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.05/1790.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.05/1790.07	c   random           :       0.00          0          0          0          0          0          0
1790.05/1790.07	c Primal Heuristics  :       Time      Calls      Found
1790.05/1790.07	c   LP solutions     :       0.00          -          0
1790.05/1790.07	c   pseudo solutions :       0.00          -          0
1790.05/1790.07	c   intshifting      :       0.00          0          0
1790.05/1790.07	c   oneopt           :       0.28          1          0
1790.05/1790.07	c   feaspump         :       0.02          1          0
1790.05/1790.07	c   crossover        :       0.70         11          0
1790.05/1790.07	c   linesearchdiving :       7.50       3863          0
1790.05/1790.07	c   guideddiving     :       7.57       3863          0
1790.05/1790.07	c   fracdiving       :       7.80       3863          0
1790.05/1790.07	c   veclendiving     :       7.54       3863          0
1790.05/1790.07	c   coefdiving       :       7.74       3864          0
1790.05/1790.07	c   pscostdiving     :       7.69       3864          0
1790.05/1790.07	c   objpscostdiving  :       7.59       3851          0
1790.05/1790.07	c   rootsoldiving    :       7.83       3851          0
1790.05/1790.07	c   trivial          :       0.01          2          0
1790.05/1790.07	c   simplerounding   :       0.40      74350          0
1790.05/1790.07	c   zirounding       :       0.27       1000          0
1790.05/1790.07	c   rounding         :       0.44       3806          0
1790.05/1790.07	c   shifting         :       0.66       1189          0
1790.05/1790.07	c   twoopt           :       0.00          0          0
1790.05/1790.07	c   fixandinfer      :       0.00          0          0
1790.05/1790.07	c   intdiving        :       0.00          0          0
1790.05/1790.07	c   actconsdiving    :       0.00          0          0
1790.05/1790.07	c   octane           :       0.00          0          0
1790.05/1790.07	c   rens             :       0.05          1          0
1790.05/1790.07	c   rins             :       0.00          0          0
1790.05/1790.07	c   localbranching   :       0.00          0          0
1790.05/1790.07	c   mutation         :       0.00          0          0
1790.05/1790.07	c   dins             :       0.00          0          0
1790.05/1790.07	c   undercover       :       0.00          0          0
1790.05/1790.07	c   nlp              :       0.16          0          0
1790.05/1790.07	c   trysol           :       0.39       3986        100
1790.05/1790.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.05/1790.07	c   primal LP        :       0.00          0          0       0.00          -
1790.05/1790.07	c   dual LP          :     643.55     160616    1061999       6.61    1650.21
1790.05/1790.07	c   lex dual LP      :       0.00          0          0       0.00          -
1790.05/1790.07	c   barrier LP       :       0.00          0          0       0.00          -
1790.05/1790.07	c   diving/probing LP:       1.32        680       3451       5.08    2607.54
1790.05/1790.07	c   strong branching :      43.83      14273     147961      10.37    3375.56
1790.05/1790.07	c     (at root node) :          -         16       1100      68.75          -
1790.05/1790.07	c   conflict analysis:       0.00          0          0       0.00          -
1790.05/1790.07	c B&B Tree           :
1790.05/1790.07	c   number of runs   :          1
1790.05/1790.07	c   nodes            :     464096
1790.05/1790.07	c   nodes (total)    :     464096
1790.05/1790.07	c   nodes left       :     464063
1790.05/1790.07	c   max depth        :        237
1790.05/1790.07	c   max depth (total):        237
1790.05/1790.07	c   backtracks       :       3933 (0.8%)
1790.05/1790.07	c   delayed cutoffs  :          0
1790.05/1790.07	c   repropagations   :        717 (36 domain reductions, 0 cutoffs)
1790.05/1790.07	c   avg switch length:       2.12
1790.05/1790.07	c   switching time   :      32.93
1790.05/1790.07	c Solution           :
1790.05/1790.07	c   Solutions found  :        100 (1 improvements)
1790.05/1790.07	c   First Solution   : +1.10773000000000e+05   (in run 1, after 350 nodes, 12.57 seconds, depth 134, found by <trysol>)
1790.05/1790.07	c   Primal Bound     : +1.10773000000000e+05   (in run 1, after 350 nodes, 12.57 seconds, depth 134, found by <trysol>)
1790.05/1790.07	c   Dual Bound       : +0.00000000000000e+00
1790.05/1790.07	c   Gap              :   infinite
1790.05/1790.07	c   Root Dual Bound  : +0.00000000000000e+00
1790.05/1790.07	c   Root Iterations  :       1750
1790.65/1790.70	c Time complete: 1790.75.

Verifier Data 

OK	4659

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705093-1278574757/watcher-2705093-1278574757 -o /tmp/evaluation-result-2705093-1278574757/solver-2705093-1278574757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705093-1278574757.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.77 1.92 1.66 3/178 21171
/proc/meminfo: memFree=29676064/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=12344 CPUtime=0
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 1929 0 0 0 0 0 0 0 21 0 1 0 25689902 12640256 1848 4089446400 4194304 10345943 140736817828448 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21171/statm: 3086 1848 429 1502 0 1579 0

[startup+0.029781 s]
/proc/loadavg: 1.77 1.92 1.66 3/178 21171
/proc/meminfo: memFree=29676064/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=19144 CPUtime=0.02
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 3646 0 0 0 2 0 0 0 21 0 1 0 25689902 19603456 3565 4089446400 4194304 10345943 140736817828448 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21171/statm: 4786 3565 430 1502 0 3279 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19144

[startup+0.100762 s]
/proc/loadavg: 1.77 1.92 1.66 3/178 21171
/proc/meminfo: memFree=29676064/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=39544 CPUtime=0.09
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 8907 0 0 0 8 1 0 0 21 0 1 0 25689902 40493056 8472 4089446400 4194304 10345943 140736817828448 18446744073709551615 5018838 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 9886 8472 569 1502 0 8379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39544

[startup+0.300733 s]
/proc/loadavg: 1.77 1.92 1.66 3/178 21171
/proc/meminfo: memFree=29676064/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=76156 CPUtime=0.29
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 17458 0 0 0 26 3 0 0 21 0 1 0 25689902 77983744 17019 4089446400 4194304 10345943 140736817828448 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 19039 17019 757 1502 0 17532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76156

[startup+0.700657 s]
/proc/loadavg: 1.77 1.92 1.66 3/178 21171
/proc/meminfo: memFree=29676064/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=51128 CPUtime=0.69
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 18225 0 0 0 66 3 0 0 22 0 1 0 25689902 52355072 11111 4089446400 4194304 10345943 140736817828448 18446744073709551615 7541403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 12782 11112 768 1502 0 11275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51128

[startup+1.5005 s]
/proc/loadavg: 1.77 1.92 1.66 3/179 21172
/proc/meminfo: memFree=29631788/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=60968 CPUtime=1.49
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 25497 0 0 0 144 5 0 0 25 0 1 0 25689902 62431232 12644 4089446400 4194304 10345943 140736817828448 18446744073709551615 6520200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 15242 12644 785 1502 0 13735 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60968

[startup+3.10023 s]
/proc/loadavg: 1.77 1.92 1.66 3/179 21172
/proc/meminfo: memFree=29626100/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=58760 CPUtime=3.09
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 30802 0 0 0 303 6 0 0 25 0 1 0 25689902 60170240 12670 4089446400 4194304 10345943 140736817828448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 14690 12670 786 1502 0 13183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58760

[startup+6.30061 s]
/proc/loadavg: 1.87 1.94 1.67 3/179 21172
/proc/meminfo: memFree=29626236/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=59808 CPUtime=6.29
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 41241 0 0 0 620 9 0 0 25 0 1 0 25689902 61243392 12772 4089446400 4194304 10345943 140736817828448 18446744073709551615 7522210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 14952 12772 790 1502 0 13445 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59808

[startup+12.7004 s]
/proc/loadavg: 1.88 1.94 1.67 3/179 21173
/proc/meminfo: memFree=29625888/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=57888 CPUtime=12.69
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 68743 0 0 0 1254 15 0 0 25 0 1 0 25689902 59277312 12996 4089446400 4194304 10345943 140736817828448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 14472 12996 803 1502 0 12965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57888

[startup+25.501 s]
/proc/loadavg: 1.91 1.94 1.67 3/179 21173
/proc/meminfo: memFree=29619512/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=66060 CPUtime=25.5
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 113561 0 0 0 2525 25 0 0 25 0 1 0 25689902 67645440 14679 4089446400 4194304 10345943 140736817828448 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 16515 14679 804 1502 0 15008 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 66060

[startup+51.1003 s]
/proc/loadavg: 1.94 1.94 1.68 3/179 21173
/proc/meminfo: memFree=29596460/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=90228 CPUtime=51.09
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 130506 0 0 0 5078 31 0 0 25 0 1 0 25689902 92393472 20630 4089446400 4194304 10345943 140736817828448 18446744073709551615 6699659 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 22557 20630 807 1502 0 21050 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90228

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.70 3/179 21175
/proc/meminfo: memFree=29558192/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=129276 CPUtime=102.3
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 150946 0 0 0 10185 45 0 0 25 0 1 0 25689902 132378624 29980 4089446400 4194304 10345943 140736817828448 18446744073709551615 6119704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 32319 29980 807 1502 0 30812 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 129276

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.71 3/179 21177
/proc/meminfo: memFree=29515236/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=168632 CPUtime=162.29
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 173171 0 0 0 16168 61 0 0 25 0 1 0 25689902 172679168 40575 4089446400 4194304 10345943 140736817828448 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 42158 40575 807 1502 0 40651 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168632

[startup+222.3 s]
/proc/loadavg: 1.99 1.96 1.73 3/179 21178
/proc/meminfo: memFree=29478492/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=207208 CPUtime=222.3
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 187720 0 0 0 22159 71 0 0 25 0 1 0 25689902 212180992 50114 4089446400 4194304 10345943 140736817828448 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 51802 50114 807 1502 0 50295 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 207208

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 21179
/proc/meminfo: memFree=29436400/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=251132 CPUtime=282.3
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 198551 0 0 0 28147 83 0 0 25 0 1 0 25689902 257159168 60596 4089446400 4194304 10345943 140736817828448 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 62783 60596 807 1502 0 61276 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 251132

[startup+342.301 s]
/proc/loadavg: 2.04 1.99 1.76 3/179 21181
/proc/meminfo: memFree=29388968/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=293432 CPUtime=342.31
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 209038 0 0 0 34138 93 0 0 25 0 1 0 25689902 300474368 70880 4089446400 4194304 10345943 140736817828448 18446744073709551615 6756204 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 73358 70880 807 1502 0 71851 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 293432

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.77 3/179 21183
/proc/meminfo: memFree=29342676/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=331428 CPUtime=402.3
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 223440 0 0 0 40127 103 0 0 25 0 1 0 25689902 339382272 80675 4089446400 4194304 10345943 140736817828448 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 82857 80675 807 1502 0 81350 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 331428

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.78 3/179 21185
/proc/meminfo: memFree=29294016/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=370828 CPUtime=462.31
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 233419 0 0 0 46118 113 0 0 25 0 1 0 25689902 379727872 90651 4089446400 4194304 10345943 140736817828448 18446744073709551615 7510063 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 92707 90651 807 1502 0 91200 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 370828

[startup+522.3 s]
/proc/loadavg: 2.07 2.00 1.80 3/179 21186
/proc/meminfo: memFree=29244492/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=409832 CPUtime=522.31
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 243685 0 0 0 52110 121 0 0 25 0 1 0 25689902 419667968 100287 4089446400 4194304 10345943 140736817828448 18446744073709551615 6702751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 102458 100287 807 1502 0 100951 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 409832

[startup+582.3 s]
/proc/loadavg: 2.02 2.00 1.81 3/179 21187
/proc/meminfo: memFree=29193232/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=451504 CPUtime=582.31
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 255759 0 0 0 58101 130 0 0 25 0 1 0 25689902 462340096 110484 4089446400 4194304 10345943 140736817828448 18446744073709551615 6138967 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 112876 110484 807 1502 0 111369 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 451504

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.82 3/179 21189
/proc/meminfo: memFree=29143080/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=486444 CPUtime=642.32
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 265088 0 0 0 64094 138 0 0 25 0 1 0 25689902 498118656 119806 4089446400 4194304 10345943 140736817828448 18446744073709551615 18446744073699066043 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 121611 119806 807 1502 0 120104 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 486444

[startup+702.301 s]

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

/proc/21171/statm: 225383 222125 807 1502 0 223876 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 901532

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21218
/proc/meminfo: memFree=28217380/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=933468 CPUtime=1362.33
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 407839 0 0 0 135979 254 0 0 25 0 1 0 25689902 955871232 230460 4089446400 4194304 10345943 140736817828448 18446744073709551615 6528246 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 233367 230460 807 1502 0 231860 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 933468

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.90 3/179 21219
/proc/meminfo: memFree=28128780/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=976792 CPUtime=1422.35
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 421126 0 0 0 141969 266 0 0 25 0 1 0 25689902 1000235008 241407 4089446400 4194304 10345943 140736817828448 18446744073709551615 4749699 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 244198 241407 807 1502 0 242691 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 976792

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 21220
/proc/meminfo: memFree=28054344/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1014800 CPUtime=1482.34
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 432461 0 0 0 147959 275 0 0 25 0 1 0 25689902 1039155200 250301 4089446400 4194304 10345943 140736817828448 18446744073709551615 6755820 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 253700 250301 807 1502 0 252193 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1014800

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21222
/proc/meminfo: memFree=27975904/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1047700 CPUtime=1542.34
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 441766 0 0 0 153949 285 0 0 25 0 1 0 25689902 1072844800 259016 4089446400 4194304 10345943 140736817828448 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 261925 259016 807 1502 0 260418 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1047700

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 21224
/proc/meminfo: memFree=27897620/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1084180 CPUtime=1602.35
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 456405 0 0 0 159940 295 0 0 25 0 1 0 25689902 1110200320 268231 4089446400 4194304 10345943 140736817828448 18446744073709551615 6847920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 271045 268231 807 1502 0 269538 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1084180

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21226
/proc/meminfo: memFree=27819312/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1120792 CPUtime=1662.35
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 466274 0 0 0 165931 304 0 0 25 0 1 0 25689902 1147691008 277486 4089446400 4194304 10345943 140736817828448 18446744073709551615 6929854 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 280198 277486 807 1502 0 278691 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1120792

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21227
/proc/meminfo: memFree=27741164/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1154784 CPUtime=1722.35
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 478083 0 0 0 171919 316 0 0 25 0 1 0 25689902 1182498816 286346 4089446400 4194304 10345943 140736817828448 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 288696 286346 807 1502 0 287189 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1154784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21228
/proc/meminfo: memFree=27661492/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1200636 CPUtime=1782.36
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 487773 0 0 0 177909 327 0 0 25 0 1 0 25689902 1229451264 295406 4089446400 4194304 10345943 140736817828448 18446744073709551615 7494576 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 300159 295406 807 1502 0 298652 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1200636

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1790.65 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1790.65 s) to the 'lost time'.

[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21246
/proc/meminfo: memFree=28586556/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1206436 CPUtime=1790.65
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 489144 0 0 0 178737 328 0 0 25 0 1 0 25689902 1235390464 296777 4089446400 4194304 10345943 140736817828448 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21171/statm: 301609 296777 808 1502 0 300102 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (KiB) 1206436

[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21246
/proc/meminfo: memFree=29743848/32950928 swapFree=67111528/67111528
[pid=21171] ppid=-1 vsize=0 CPUtime=0
/proc/21171/stat : -- couldn't open stat file --/proc/21171/statm:  0 0 17 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21229
/proc/meminfo: memFree=27657028/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1202680 CPUtime=1785.55
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 488475 0 0 0 178228 327 0 0 25 0 1 0 25689902 1231544320 296108 4089446400 4194304 10345943 140736817828448 18446744073709551615 4687929 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 300670 296108 807 1502 0 299163 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1202680

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21232
/proc/meminfo: memFree=28573652/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1206436 CPUtime=1788.75
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 489134 0 0 0 178547 328 0 0 25 0 1 0 25689902 1235390464 296767 4089446400 4194304 10345943 140736817828448 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 301609 296767 807 1502 0 300102 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1206436

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 21232
/proc/meminfo: memFree=28573652/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1206436 CPUtime=1789.55
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 489143 0 0 0 178627 328 0 0 25 0 1 0 25689902 1235390464 296776 4089446400 4194304 10345943 140736817828448 18446744073709551615 6711991 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21171/statm: 301609 296776 807 1502 0 300102 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 1206436

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21246
/proc/meminfo: memFree=28586556/32950928 swapFree=67111528/67111528
[pid=21171] ppid=21169 vsize=1206436 CPUtime=1790.35
/proc/21171/stat : 21171 (pbscip.linux.x8) R 21169 21171 20918 0 -1 4202496 489144 0 0 0 178707 328 0 0 25 0 1 0 25689902 1235390464 296777 4089446400 4194304 10345943 140736817828448 18446744073709551615 6325626 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21171/statm: 301609 296777 808 1502 0 300102 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1206436

[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21246
/proc/meminfo: memFree=29743848/32950928 swapFree=67111528/67111528
[pid=21171] ppid=-1 vsize=0 CPUtime=0
/proc/21171/stat : -- couldn't open stat file --/proc/21171/statm:  0 0 17 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21171 and gives
#  childrusage.ru_utime.tv_sec=1787
#  childrusage.ru_utime.tv_usec=433268
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=329493
# CPU time returned by wait4() is 1790.76
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1790.65
#  lost CPU user time (s): 1787.37
#  lost CPU system time (s): 3.28

Real time (s): 1790.7
CPU time (s): 1790.65
CPU user time (s): 1787.37
CPU system time (s): 3.28
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 1206436

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

runsolver used 2.89056 second user time and 6.88695 second system time

The end

Launcher Data 

Begin job on node113 at 2010-07-08 09:39:17
IDJOB=2705093
IDBENCH=79035
IDSOLVER=1214
FILE ID=node113/2705093-1278574757
PBS_JOBID= 11240228
Free space on /tmp= 73736 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705093-1278574757/watcher-2705093-1278574757 -o /tmp/evaluation-result-2705093-1278574757/solver-2705093-1278574757 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705093-1278574757.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 9b25a7ec387133dd9cde8835cb297bb5
RANDOM SEED=138048810

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29676840 kB
Buffers:        151720 kB
Cached:        2824724 kB
SwapCached:          0 kB
Active:        1760184 kB
Inactive:      1363524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29676840 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26072 kB
Writeback:           0 kB
AnonPages:      147096 kB
Mapped:          17568 kB
Slab:            87008 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   291248 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 node113 at 2010-07-08 10:09:08