Trace number 2683505

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 NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.51 1801.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand767898.cudf.paranoid.opb
MD5SUM6efb1d8368fd5925c68cb6444d9e1cc2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4821
Best CPU time to get the best result obtained on this benchmark2.48662
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5530
Total number of constraints24745
Number of constraints which are clauses24476
Number of constraints which are cardinality constraints (but not clauses)269
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2069
Biggest coefficient in the objective function 1520
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 839038
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1520
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 839038
Number of bits of the biggest sum of numbers20
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-2683505-1277510185.opb>
0.39/0.45	c original problem has 5530 variables (5530 bin, 0 int, 0 impl, 0 cont) and 24745 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
0.39/0.45	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.49/0.58	c presolving:
0.69/0.75	c (round 1) 605 del vars, 1179 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52658 impls, 266 clqs
0.69/0.79	c (round 2) 706 del vars, 1447 del conss, 51 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 60118 impls, 264 clqs
0.79/0.84	c (round 3) 843 del vars, 4055 del conss, 140 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 60826 impls, 261 clqs
0.79/0.88	c (round 4) 1526 del vars, 7520 del conss, 237 chg bounds, 3 chg sides, 26 chg coeffs, 0 upgd conss, 61370 impls, 256 clqs
0.89/0.91	c (round 5) 1583 del vars, 8748 del conss, 260 chg bounds, 8 chg sides, 38 chg coeffs, 0 upgd conss, 61688 impls, 255 clqs
0.89/0.94	c (round 6) 1609 del vars, 8940 del conss, 261 chg bounds, 10 chg sides, 43 chg coeffs, 0 upgd conss, 61796 impls, 255 clqs
0.89/0.95	c (round 7) 1616 del vars, 8984 del conss, 261 chg bounds, 10 chg sides, 43 chg coeffs, 0 upgd conss, 61796 impls, 255 clqs
0.89/0.97	c (round 8) 1618 del vars, 8986 del conss, 261 chg bounds, 10 chg sides, 43 chg coeffs, 0 upgd conss, 61796 impls, 255 clqs
1.09/1.17	c (round 9) 1618 del vars, 10503 del conss, 261 chg bounds, 12 chg sides, 43 chg coeffs, 14201 upgd conss, 61796 impls, 255 clqs
1.19/1.22	c (round 10) 1622 del vars, 10507 del conss, 261 chg bounds, 12 chg sides, 43 chg coeffs, 14201 upgd conss, 61796 impls, 255 clqs
1.19/1.27	c (round 11) 1622 del vars, 10508 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14201 upgd conss, 61796 impls, 255 clqs
1.19/1.29	c (round 12) 1623 del vars, 10509 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14236 upgd conss, 61796 impls, 255 clqs
1.28/1.34	c (round 13) 1623 del vars, 10512 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 61796 impls, 255 clqs
1.48/1.52	c (round 14) 1673 del vars, 10512 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 75237 impls, 250 clqs
1.48/1.54	c (round 15) 1679 del vars, 10664 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 75607 impls, 250 clqs
1.48/1.56	c (round 16) 1683 del vars, 10692 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 75607 impls, 250 clqs
1.69/1.78	c (round 17) 1737 del vars, 10693 del conss, 261 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 80766 impls, 248 clqs
1.79/1.80	c (round 18) 1739 del vars, 10732 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 80777 impls, 248 clqs
1.79/1.85	c (round 19) 1740 del vars, 10735 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 80777 impls, 248 clqs
1.79/1.87	c (round 20) 1741 del vars, 10736 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 80777 impls, 248 clqs
2.09/2.18	c (round 21) 1793 del vars, 10736 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 84021 impls, 247 clqs
2.09/2.20	c (round 22) 1793 del vars, 10768 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 84021 impls, 247 clqs
2.39/2.46	c (round 23) 1843 del vars, 10768 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 89529 impls, 247 clqs
2.39/2.48	c (round 24) 1844 del vars, 10794 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 89531 impls, 247 clqs
2.58/2.63	c    (1.9s) probing: 1000/3907 (25.6%) - 56 fixings, 175 aggregations, 5505 implications, 0 bound changes
2.58/2.68	c (round 25) 1894 del vars, 10794 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 91240 impls, 245 clqs
2.68/2.70	c (round 26) 1898 del vars, 10867 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 91342 impls, 245 clqs
2.89/2.91	c (round 27) 1948 del vars, 10867 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93016 impls, 243 clqs
2.89/2.93	c (round 28) 1950 del vars, 10886 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93018 impls, 243 clqs
2.98/3.01	c (round 29) 1950 del vars, 10890 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93018 impls, 243 clqs
3.19/3.20	c (round 30) 2000 del vars, 10890 del conss, 262 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93790 impls, 242 clqs
3.19/3.22	c (round 31) 2001 del vars, 10925 del conss, 263 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93793 impls, 242 clqs
3.19/3.24	c (round 32) 2002 del vars, 10927 del conss, 263 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 93793 impls, 242 clqs
3.39/3.43	c (round 33) 2052 del vars, 10928 del conss, 263 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 94295 impls, 242 clqs
3.39/3.45	c (round 34) 2052 del vars, 10934 del conss, 263 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 94295 impls, 242 clqs
3.48/3.52	c    (2.6s) probing: 2000/3907 (51.2%) - 85 fixings, 322 aggregations, 7141 implications, 0 bound changes
3.58/3.61	c (round 35) 2102 del vars, 10934 del conss, 263 chg bounds, 13 chg sides, 43 chg coeffs, 14237 upgd conss, 94965 impls, 241 clqs
3.58/3.64	c (round 36) 2104 del vars, 10942 del conss, 263 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 94969 impls, 241 clqs
3.78/3.80	c (round 37) 2154 del vars, 10942 del conss, 263 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 95787 impls, 241 clqs
3.78/3.83	c (round 38) 2155 del vars, 10947 del conss, 263 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 95789 impls, 241 clqs
3.98/4.01	c (round 39) 2205 del vars, 10947 del conss, 263 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 97227 impls, 241 clqs
3.98/4.03	c (round 40) 2206 del vars, 10997 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 97238 impls, 241 clqs
3.98/4.08	c (round 41) 2207 del vars, 10999 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 97238 impls, 241 clqs
4.18/4.25	c    (3.3s) probing: 3000/3907 (76.8%) - 112 fixings, 472 aggregations, 8932 implications, 0 bound changes
4.29/4.35	c (round 42) 2257 del vars, 11000 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 99424 impls, 240 clqs
4.29/4.37	c (round 43) 2269 del vars, 11072 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 99662 impls, 240 clqs
4.39/4.42	c (round 44) 2269 del vars, 11075 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 99662 impls, 240 clqs
4.39/4.47	c (round 45) 2269 del vars, 11080 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 99662 impls, 240 clqs
4.69/4.75	c (round 46) 2319 del vars, 11080 del conss, 264 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 104708 impls, 240 clqs
4.69/4.77	c (round 47) 2361 del vars, 11187 del conss, 265 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 105235 impls, 240 clqs
4.69/4.79	c (round 48) 2362 del vars, 11189 del conss, 265 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 105235 impls, 240 clqs
4.88/4.95	c (round 49) 2388 del vars, 11189 del conss, 265 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 108101 impls, 240 clqs
4.88/4.97	c (round 50) 2416 del vars, 11241 del conss, 265 chg bounds, 14 chg sides, 43 chg coeffs, 14237 upgd conss, 108193 impls, 240 clqs
4.98/5.02	c presolving (51 rounds):
4.98/5.02	c  2416 deleted vars, 11241 deleted constraints, 265 tightened bounds, 0 added holes, 14 changed sides, 43 changed coefficients
4.98/5.02	c  108193 implications, 240 cliques
4.98/5.02	c presolved problem has 3114 variables (3114 bin, 0 int, 0 impl, 0 cont) and 13507 constraints
4.98/5.02	c     243 constraints of type <setppc>
4.98/5.02	c   13264 constraints of type <logicor>
4.98/5.02	c transformed objective value is always integral (scale: 1)
4.98/5.02	c Presolving Time: 3.92
4.98/5.02	c - non default parameters ----------------------------------------------------------------------
4.98/5.02	c # SCIP version 1.2.1.2
4.98/5.02	c 
4.98/5.02	c # frequency for displaying node information lines
4.98/5.02	c # [type: int, range: [-1,2147483647], default: 100]
4.98/5.02	c display/freq = 10000
4.98/5.02	c 
4.98/5.02	c # maximal time in seconds to run
4.98/5.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.98/5.02	c limits/time = 1799.56
4.98/5.02	c 
4.98/5.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.98/5.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.98/5.02	c limits/memory = 1620
4.98/5.02	c 
4.98/5.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.98/5.02	c # [type: int, range: [-1,2147483647], default: 1]
4.98/5.02	c lp/solvefreq = -1
4.98/5.02	c 
4.98/5.02	c # should presolving try to simplify inequalities
4.98/5.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.98/5.02	c constraints/linear/simplifyinequalities = TRUE
4.98/5.02	c 
4.98/5.02	c # should presolving try to simplify knapsacks
4.98/5.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.98/5.02	c constraints/knapsack/simplifyinequalities = TRUE
4.98/5.02	c 
4.98/5.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.98/5.02	c # [type: int, range: [-1,2147483647], default: -1]
4.98/5.02	c separating/rapidlearning/freq = 0
4.98/5.02	c 
4.98/5.02	c -----------------------------------------------------------------------------------------------
4.98/5.02	c start solving
4.98/5.02	c 
4.98/5.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.98/5.04	c   4.0s|     1 |     2 |     0 |     - |  28M|   0 |   - |3114 |  13k|   0 |   0 |   0 |   0 |   0 | 3.258000e+03 |      --      |    Inf 
99.15/99.27	c  97.9s| 10000 |  9942 |     0 |   0.0 |  34M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  32 |   0 | 4.790000e+03 |      --      |    Inf 
180.24/180.31	c   179s| 20000 | 19918 |     0 |   0.0 |  38M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  45 |   0 | 4.790000e+03 |      --      |    Inf 
263.82/263.90	c   262s| 30000 | 29912 |     0 |   0.0 |  43M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  50 |   0 | 4.790000e+03 |      --      |    Inf 
336.18/336.38	c   334s| 40000 | 39885 |     0 |   0.0 |  47M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  63 |   0 | 4.790000e+03 |      --      |    Inf 
412.95/413.10	c   410s| 50000 | 49885 |     0 |   0.0 |  52M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  63 |   0 | 4.791000e+03 |      --      |    Inf 
491.84/492.08	c   489s| 60000 | 59881 |     0 |   0.0 |  57M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  65 |   0 | 4.791000e+03 |      --      |    Inf 
572.71/572.97	c   570s| 70000 | 69873 |     0 |   0.0 |  61M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  70 |   0 | 4.791000e+03 |      --      |    Inf 
649.90/650.13	c   646s| 80000 | 79861 |     0 |   0.0 |  66M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  76 |   0 | 4.791000e+03 |      --      |    Inf 
732.97/733.30	c   729s| 90000 | 89861 |     0 |   0.0 |  71M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  76 |   0 | 4.792000e+03 |      --      |    Inf 
814.15/814.46	c   810s|100000 | 99857 |     0 |   0.0 |  76M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  81 |   0 | 4.792000e+03 |      --      |    Inf 
894.82/895.14	c   890s|110000 |109857 |     0 |   0.0 |  80M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  81 |   0 | 4.792000e+03 |      --      |    Inf 
970.00/970.35	c   965s|120000 |119854 |     0 |   0.0 |  85M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  82 |   0 | 4.792000e+03 |      --      |    Inf 
1050.58/1050.97	c  1046s|130000 |129848 |     0 |   0.0 |  90M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  88 |   0 | 4.792000e+03 |      --      |    Inf 
1131.76/1132.14	c  1127s|140000 |139848 |     0 |   0.0 |  94M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  88 |   0 | 4.792000e+03 |      --      |    Inf 
1210.64/1211.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1210.64/1211.01	c  1205s|150000 |149848 |     0 |   0.0 |  99M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  88 |   0 | 4.792000e+03 |      --      |    Inf 
1284.32/1284.79	c  1278s|160000 |159845 |     0 |   0.0 | 103M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.792000e+03 |      --      |    Inf 
1365.70/1366.20	c  1360s|170000 |169845 |     0 |   0.0 | 108M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.793000e+03 |      --      |    Inf 
1448.07/1448.59	c  1442s|180000 |179845 |     0 |   0.0 | 113M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.793000e+03 |      --      |    Inf 
1529.35/1529.85	c  1523s|190000 |189845 |     0 |   0.0 | 118M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.793000e+03 |      --      |    Inf 
1609.42/1609.97	c  1602s|200000 |199845 |     0 |   0.0 | 122M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.793000e+03 |      --      |    Inf 
1688.10/1688.60	c  1681s|210000 |209845 |     0 |   0.0 | 127M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  89 |   0 | 4.793000e+03 |      --      |    Inf 
1764.98/1765.59	c  1757s|220000 |219843 |     0 |   0.0 | 132M| 315 |   - |3114 |  13k|   0 |   0 |   0 |  93 |   0 | 4.793000e+03 |      --      |    Inf 
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61	c 
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time (sec) : 1792.22
1800.08/1800.61	c Solving Nodes      : 225346
1800.08/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61	c Dual Bound         : +4.79300000000000e+03
1800.08/1800.61	c Gap                : infinite
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time       :    1792.22
1800.08/1800.61	c Original Problem   :
1800.08/1800.61	c   Problem name     : HOME/instance-2683505-1277510185.opb
1800.08/1800.61	c   Variables        : 5530 (5530 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 24745 initial, 24745 maximal
1800.08/1800.61	c Presolved Problem  :
1800.08/1800.61	c   Problem name     : t_HOME/instance-2683505-1277510185.opb
1800.08/1800.61	c   Variables        : 3114 (3114 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 13507 initial, 13571 maximal
1800.08/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.61	c   trivial          :       0.02         18          0          0          0          0          0          0          0
1800.08/1800.61	c   dualfix          :       0.02        573          0          0          0          0          0          0          0
1800.08/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   implics          :       0.09          0        222          0          0          0          0          0          0
1800.08/1800.61	c   probing          :       2.21        203        479          0          0          0          0          0          0
1800.08/1800.61	c   setppc           :       0.03          0          3          0          0          0         15          1          0
1800.08/1800.61	c   linear           :       0.35        249        669          0        261          0      10508         13         43
1800.08/1800.61	c   logicor          :       1.10          0          0          0          4          0        718          0          0
1800.08/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.61	c   setppc           :        243          0     629406          0     225270         21      41788          0          0          0
1800.08/1800.61	c   logicor          :      13264+         0     578377          0     225270        207     879075          0          0          0
1800.08/1800.61	c   countsols        :          0          0          0          0     225270          0          0          0          0          0
1800.08/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.61	c   setppc           :      36.26       0.00       9.44       0.00      26.82
1800.08/1800.61	c   logicor          :    1399.17       0.00      10.08       0.00    1389.09
1800.08/1800.61	c   countsols        :       0.33       0.00       0.00       0.00       0.33
1800.08/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.61	c   vbounds          :       0.40          2          0          0
1800.08/1800.61	c   rootredcost      :       0.39          0          0          0
1800.08/1800.61	c   pseudoobj        :      72.08     618767          0          0
1800.08/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.61	c   propagation      :       0.00         77         77         94        3.1          2        2.0          -
1800.08/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.61	c   applied globally :          -          -          -         93        3.1          -          -          -
1800.08/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.61	c Pricers            :       Time      Calls       Vars
1800.08/1800.61	c   problem variables:       0.00          0          0
1800.08/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   inference        :     252.14     225270          0          0          0          0     450540
1800.08/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.61	c   LP solutions     :       0.00          -          0
1800.08/1800.61	c   pseudo solutions :       0.00          -          0
1800.08/1800.61	c   oneopt           :       0.23          0          0
1800.08/1800.61	c   trivial          :       0.02          2          0
1800.08/1800.61	c   simplerounding   :       0.00          0          0
1800.08/1800.61	c   zirounding       :       0.00          0          0
1800.08/1800.61	c   rounding         :       0.00          0          0
1800.08/1800.61	c   shifting         :       0.00          0          0
1800.08/1800.61	c   intshifting      :       0.00          0          0
1800.08/1800.61	c   twoopt           :       0.00          0          0
1800.08/1800.61	c   fixandinfer      :       0.00          0          0
1800.08/1800.61	c   feaspump         :       0.00          0          0
1800.08/1800.61	c   coefdiving       :       0.00          0          0
1800.08/1800.61	c   pscostdiving     :       0.00          0          0
1800.08/1800.61	c   fracdiving       :       0.00          0          0
1800.08/1800.61	c   veclendiving     :       0.00          0          0
1800.08/1800.61	c   intdiving        :       0.00          0          0
1800.08/1800.61	c   actconsdiving    :       0.00          0          0
1800.08/1800.61	c   objpscostdiving  :       0.00          0          0
1800.08/1800.61	c   rootsoldiving    :       0.00          0          0
1800.08/1800.61	c   linesearchdiving :       0.00          0          0
1800.08/1800.61	c   guideddiving     :       0.00          0          0
1800.08/1800.61	c   octane           :       0.00          0          0
1800.08/1800.61	c   rens             :       0.00          0          0
1800.08/1800.61	c   rins             :       0.00          0          0
1800.08/1800.61	c   localbranching   :       0.00          0          0
1800.08/1800.61	c   mutation         :       0.00          0          0
1800.08/1800.61	c   crossover        :       0.00          0          0
1800.08/1800.61	c   dins             :       0.00          0          0
1800.08/1800.61	c   undercover       :       0.00          0          0
1800.08/1800.61	c   nlp              :       0.39          0          0
1800.08/1800.61	c   trysol           :       0.11          0          0
1800.08/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.61	c B&B Tree           :
1800.08/1800.61	c   number of runs   :          1
1800.08/1800.61	c   nodes            :     225346
1800.08/1800.61	c   nodes (total)    :     225346
1800.08/1800.61	c   nodes left       :     225189
1800.08/1800.61	c   max depth        :        359
1800.08/1800.61	c   max depth (total):        359
1800.08/1800.61	c   backtracks       :       1570 (0.7%)
1800.08/1800.61	c   delayed cutoffs  :          6
1800.08/1800.61	c   repropagations   :       4334 (322 domain reductions, 1 cutoffs)
1800.08/1800.61	c   avg switch length:       2.28
1800.08/1800.61	c   switching time   :      11.52
1800.08/1800.61	c Solution           :
1800.08/1800.61	c   Solutions found  :          0 (0 improvements)
1800.08/1800.61	c   Primal Bound     :          -
1800.08/1800.61	c   Dual Bound       : +4.79300000000000e+03
1800.08/1800.61	c   Gap              :   infinite
1800.08/1800.61	c   Root Dual Bound  : +3.25800000000000e+03
1800.08/1800.61	c   Root Iterations  :          0
1800.47/1801.03	c Time complete: 1800.5.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.95 0.96 0.97 3/105 32396
/proc/meminfo: memFree=1822640/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=5556 CPUtime=0
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 92309933 5689344 809 1992294400 4194304 7136930 140734105393408 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32396/statm: 1389 809 249 719 0 668 0

[startup+0.0115681 s]
/proc/loadavg: 0.95 0.96 0.97 3/105 32396
/proc/meminfo: memFree=1822640/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=7672 CPUtime=0
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 1420 0 0 0 0 0 0 0 20 0 1 0 92309933 7856128 1341 1992294400 4194304 7136930 140734105393408 18446744073709551615 6177575 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32396/statm: 1918 1341 256 719 0 1197 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7672

[startup+0.100578 s]
/proc/loadavg: 0.95 0.96 0.97 3/105 32396
/proc/meminfo: memFree=1822640/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=13492 CPUtime=0.09
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 2852 0 0 0 9 0 0 0 20 0 1 0 92309933 13815808 2773 1992294400 4194304 7136930 140734105393408 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32396/statm: 3373 2773 271 719 0 2652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13492

[startup+0.300603 s]
/proc/loadavg: 0.95 0.96 0.97 3/105 32396
/proc/meminfo: memFree=1822640/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=18788 CPUtime=0.29
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 4171 0 0 0 28 1 0 0 20 0 1 0 92309933 19238912 4092 1992294400 4194304 7136930 140734105393408 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32396/statm: 4697 4092 271 719 0 3976 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18788

[startup+0.700653 s]
/proc/loadavg: 0.95 0.96 0.97 3/105 32396
/proc/meminfo: memFree=1822640/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=48376 CPUtime=0.69
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 11711 0 0 0 63 6 0 0 20 0 1 0 92309933 49537024 11246 1992294400 4194304 7136930 140734105393408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 12094 11246 348 719 0 11373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48376

[startup+1.50077 s]
/proc/loadavg: 0.95 0.96 0.97 2/106 32397
/proc/meminfo: memFree=1776380/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=54992 CPUtime=1.48
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 19135 0 0 0 127 21 0 0 23 0 1 0 92309933 56311808 12954 1992294400 4194304 7136930 140734105393408 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32396/statm: 13748 12954 370 719 0 13027 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 54992

[startup+3.10096 s]
/proc/loadavg: 0.95 0.96 0.97 2/106 32397
/proc/meminfo: memFree=1770180/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=56776 CPUtime=3.08
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 27548 0 0 0 272 36 0 0 25 0 1 0 92309933 58138624 13403 1992294400 4194304 7136930 140734105393408 18446744073709551615 5500483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 14194 13403 376 719 0 13473 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56776

[startup+6.30036 s]
/proc/loadavg: 0.96 0.96 0.97 2/106 32397
/proc/meminfo: memFree=1768196/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=58196 CPUtime=6.28
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 37680 0 0 0 569 59 0 0 25 0 1 0 92309933 59592704 13741 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 14549 13741 388 719 0 13828 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58196

[startup+12.7012 s]
/proc/loadavg: 0.96 0.96 0.97 2/106 32399
/proc/meminfo: memFree=1767948/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=58336 CPUtime=12.68
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 37750 0 0 0 1207 61 0 0 25 0 1 0 92309933 59736064 13811 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 14584 13811 392 719 0 13863 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58336

[startup+25.5008 s]
/proc/loadavg: 0.97 0.96 0.97 2/106 32399
/proc/meminfo: memFree=1766832/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=59524 CPUtime=25.47
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 38049 0 0 0 2481 66 0 0 25 0 1 0 92309933 60952576 14110 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 14881 14110 392 719 0 14160 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59524

[startup+51.101 s]
/proc/loadavg: 1.04 0.98 0.98 2/106 32399
/proc/meminfo: memFree=1765716/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=60632 CPUtime=51.07
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 38325 0 0 0 5034 73 0 0 25 0 1 0 92309933 62087168 14386 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 15158 14386 392 719 0 14437 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60632

[startup+102.308 s]
/proc/loadavg: 1.08 0.99 0.98 2/106 32401
/proc/meminfo: memFree=1760880/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=65380 CPUtime=102.27
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 39525 0 0 0 10136 91 0 0 25 0 1 0 92309933 66949120 15586 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 16345 15586 392 719 0 15624 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65380

[startup+162.301 s]
/proc/loadavg: 1.08 1.01 0.99 2/106 32403
/proc/meminfo: memFree=1758028/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=68204 CPUtime=162.24
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 40246 0 0 0 16111 113 0 0 25 0 1 0 92309933 69840896 16307 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 17051 16307 392 719 0 16330 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 68204

[startup+222.301 s]
/proc/loadavg: 1.08 1.02 0.99 2/106 32403
/proc/meminfo: memFree=1755052/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=71096 CPUtime=222.22
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 41014 0 0 0 22086 136 0 0 25 0 1 0 92309933 72802304 17075 1992294400 4194304 7136930 140734105393408 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 17774 17075 392 719 0 17053 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 71096

[startup+282.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/106 32414
/proc/meminfo: memFree=1750464/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=74892 CPUtime=282.19
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 41989 0 0 0 28063 156 0 0 25 0 1 0 92309933 76689408 18050 1992294400 4194304 7136930 140734105393408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 18723 18050 392 719 0 18002 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 74892

[startup+342.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/106 32416
/proc/meminfo: memFree=1747116/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=78296 CPUtime=342.18
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 42853 0 0 0 34035 183 0 0 25 0 1 0 92309933 80175104 18914 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 19574 18914 392 719 0 18853 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 78296

[startup+402.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/106 32418
/proc/meminfo: memFree=1743396/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=81688 CPUtime=402.16
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 43762 0 0 0 40007 209 0 0 25 0 1 0 92309933 83648512 19823 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 20422 19823 392 719 0 19701 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 81688

[startup+462.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 32420
/proc/meminfo: memFree=1737940/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=87036 CPUtime=462.14
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 45129 0 0 0 45982 232 0 0 25 0 1 0 92309933 89124864 21190 1992294400 4194304 7136930 140734105393408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 21759 21190 392 719 0 21038 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 87036

[startup+522.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/106 32420
/proc/meminfo: memFree=1734592/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=90356 CPUtime=522.13
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 45989 0 0 0 51959 254 0 0 25 0 1 0 92309933 92524544 22050 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 22589 22050 392 719 0 21868 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 90356

[startup+582.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 32422
/proc/meminfo: memFree=1731864/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=94984 CPUtime=582.11
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 46659 0 0 0 57936 275 0 0 25 0 1 0 92309933 97263616 22720 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 23746 22720 392 719 0 23025 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 94984

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 32424
/proc/meminfo: memFree=1727152/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=99596 CPUtime=642.1
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 47845 0 0 0 63911 299 0 0 25 0 1 0 92309933 101986304 23906 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 24899 23906 392 719 0 24178 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 99596

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32430
/proc/meminfo: memFree=1712644/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=113676 CPUtime=882.02
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 51478 0 0 0 87813 389 0 0 25 0 1 0 92309933 116404224 27539 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 28419 27539 392 719 0 27698 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 113676

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32432
/proc/meminfo: memFree=1709792/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=116252 CPUtime=942.01
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 52153 0 0 0 93788 413 0 0 25 0 1 0 92309933 119042048 28214 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 29063 28214 392 719 0 28342 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 116252

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32434
/proc/meminfo: memFree=1706072/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=120000 CPUtime=1001.99
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 53087 0 0 0 99763 436 0 0 25 0 1 0 92309933 122880000 29148 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 30000 29148 392 719 0 29279 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 120000

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32436
/proc/meminfo: memFree=1702352/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=123392 CPUtime=1061.98
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 53997 0 0 0 105737 461 0 0 25 0 1 0 92309933 126353408 30058 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 30848 30058 392 719 0 30127 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 123392

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32436
/proc/meminfo: memFree=1699252/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=126540 CPUtime=1121.96
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 54782 0 0 0 111715 481 0 0 25 0 1 0 92309933 129576960 30843 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 31635 30843 392 719 0 30914 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 126540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32438
/proc/meminfo: memFree=1697020/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=128408 CPUtime=1181.94
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 55310 0 0 0 117689 505 0 0 25 0 1 0 92309933 131489792 31371 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 32102 31371 392 719 0 31381 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 128408

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32440
/proc/meminfo: memFree=1691564/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=133424 CPUtime=1241.92
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 56596 0 0 0 123662 530 0 0 25 0 1 0 92309933 136626176 32657 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 33356 32657 392 719 0 32635 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 133424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32442
/proc/meminfo: memFree=1687596/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=137184 CPUtime=1301.92
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 57567 0 0 0 129639 553 0 0 25 0 1 0 92309933 140476416 33628 1992294400 4194304 7136930 140734105393408 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 34296 33628 392 719 0 33575 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 137184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32444
/proc/meminfo: memFree=1682884/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=141800 CPUtime=1361.89
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 58738 0 0 0 135614 575 0 0 25 0 1 0 92309933 145203200 34799 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 35450 34799 392 719 0 34729 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 141800

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32444
/proc/meminfo: memFree=1680900/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=143780 CPUtime=1421.88
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 59265 0 0 0 141592 596 0 0 25 0 1 0 92309933 147230720 35326 1992294400 4194304 7136930 140734105393408 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 35945 35326 392 719 0 35224 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 143780

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32446
/proc/meminfo: memFree=1677676/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=147776 CPUtime=1481.86
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 60292 0 0 0 147568 618 0 0 25 0 1 0 92309933 151322624 36353 1992294400 4194304 7136930 140734105393408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 36944 36353 392 719 0 36223 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 147776

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32448
/proc/meminfo: memFree=1673708/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=150472 CPUtime=1541.85
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 60994 0 0 0 153543 642 0 0 25 0 1 0 92309933 154083328 37055 1992294400 4194304 7136930 140734105393408 18446744073709551615 5506901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 37618 37055 392 719 0 36897 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 150472

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32450
/proc/meminfo: memFree=1670360/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=157736 CPUtime=1601.82
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 61818 0 0 0 159516 666 0 0 25 0 1 0 92309933 161521664 37879 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 39434 37879 392 719 0 38713 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 157736

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32452
/proc/meminfo: memFree=1664656/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=163456 CPUtime=1661.8
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 63278 0 0 0 165492 688 0 0 25 0 1 0 92309933 167378944 39339 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 40864 39339 392 719 0 40143 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 163456

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32452
/proc/meminfo: memFree=1660440/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=167384 CPUtime=1721.79
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 64291 0 0 0 171467 712 0 0 25 0 1 0 92309933 171401216 40352 1992294400 4194304 7136930 140734105393408 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 41846 40352 392 719 0 41125 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 167384

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32454
/proc/meminfo: memFree=1654984/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=172408 CPUtime=1781.78
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 65579 0 0 0 177443 735 0 0 25 0 1 0 92309933 176545792 41640 1992294400 4194304 7136930 140734105393408 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 43102 41640 392 719 0 42381 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 172408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32454
/proc/meminfo: memFree=1654860/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=172540 CPUtime=1800.08
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 65621 0 0 0 179265 743 0 0 25 0 1 0 92309933 176680960 41682 1992294400 4194304 7136930 140734105393408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32396/statm: 43135 41682 392 719 0 42414 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 172540

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 32454
/proc/meminfo: memFree=1654860/2059040 swapFree=4139456/4192956
[pid=32396] ppid=32394 vsize=88580 CPUtime=1800.47
/proc/32396/stat : 32396 (pbscip.linux.x8) R 32394 32396 31905 0 -1 4202496 65627 0 0 0 179302 745 0 0 25 0 1 0 92309933 90705920 21569 1992294400 4194304 7136930 140734105393408 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32396/statm: 22096 21520 397 719 0 21375 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 88580

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.51
CPU user time (s): 1793.04
CPU system time (s): 7.46487
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 172540

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

runsolver used 3.17452 second user time and 8.30774 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-26 01:56:25
IDJOB=2683505
IDBENCH=72117
IDSOLVER=1167
FILE ID=node054/2683505-1277510185
PBS_JOBID= 11190609
Free space on /tmp= 62432 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand767898.cudf.paranoid.opb
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-2683505-1277510185/watcher-2683505-1277510185 -o /tmp/evaluation-result-2683505-1277510185/solver-2683505-1277510185 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683505-1277510185.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6efb1d8368fd5925c68cb6444d9e1cc2
RANDOM SEED=1721839280

node054.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1823168 kB
Buffers:         15864 kB
Cached:         126456 kB
SwapCached:       6072 kB
Active:          73208 kB
Inactive:        81880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823168 kB
SwapTotal:     4192956 kB
SwapFree:      4139456 kB
Dirty:            3960 kB
Writeback:           0 kB
AnonPages:       11472 kB
Mapped:          11840 kB
Slab:            59120 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node054 at 2010-06-26 02:26:28