Trace number 2683206

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.45 1801.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randf794d2.cudf.paranoid.opb
MD5SUM0efcbe4927b540b08cd521c17dccd0d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8228
Best CPU time to get the best result obtained on this benchmark2.38564
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5715
Total number of constraints25599
Number of constraints which are clauses25326
Number of constraints which are cardinality constraints (but not clauses)273
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 2138
Biggest coefficient in the objective function 1589
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 877126
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1589
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 877126
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-2683206-1277508063.opb>
0.39/0.47	c original problem has 5715 variables (5715 bin, 0 int, 0 impl, 0 cont) and 25599 constraints
0.39/0.47	c problem read
0.39/0.47	c presolving settings loaded
0.39/0.47	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.59/0.60	c presolving:
0.69/0.77	c (round 1) 634 del vars, 1221 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 56504 impls, 270 clqs
0.79/0.82	c (round 2) 755 del vars, 1495 del conss, 63 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 64382 impls, 260 clqs
0.79/0.88	c (round 3) 1087 del vars, 5075 del conss, 286 chg bounds, 2 chg sides, 16 chg coeffs, 0 upgd conss, 67103 impls, 251 clqs
0.89/0.94	c (round 4) 1782 del vars, 10042 del conss, 384 chg bounds, 14 chg sides, 43 chg coeffs, 0 upgd conss, 68510 impls, 243 clqs
0.89/0.97	c (round 5) 1878 del vars, 10909 del conss, 411 chg bounds, 17 chg sides, 47 chg coeffs, 0 upgd conss, 68631 impls, 243 clqs
0.89/0.99	c (round 6) 1927 del vars, 11127 del conss, 425 chg bounds, 19 chg sides, 50 chg coeffs, 0 upgd conss, 68730 impls, 243 clqs
0.99/1.01	c (round 7) 1949 del vars, 11263 del conss, 428 chg bounds, 19 chg sides, 51 chg coeffs, 0 upgd conss, 68738 impls, 242 clqs
0.99/1.02	c (round 8) 1954 del vars, 11272 del conss, 428 chg bounds, 19 chg sides, 51 chg coeffs, 0 upgd conss, 68738 impls, 242 clqs
0.99/1.04	c (round 9) 1955 del vars, 11273 del conss, 428 chg bounds, 19 chg sides, 51 chg coeffs, 0 upgd conss, 68738 impls, 242 clqs
1.19/1.23	c (round 10) 1955 del vars, 12759 del conss, 428 chg bounds, 21 chg sides, 51 chg coeffs, 12789 upgd conss, 68738 impls, 242 clqs
1.19/1.28	c (round 11) 1964 del vars, 12768 del conss, 428 chg bounds, 21 chg sides, 51 chg coeffs, 12789 upgd conss, 68738 impls, 242 clqs
1.29/1.34	c (round 12) 1964 del vars, 12771 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12789 upgd conss, 68738 impls, 242 clqs
1.29/1.36	c (round 13) 1965 del vars, 12772 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 68738 impls, 242 clqs
1.39/1.42	c (round 14) 1965 del vars, 12776 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 68738 impls, 242 clqs
1.49/1.53	c (round 15) 1965 del vars, 12793 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 68738 impls, 242 clqs
1.69/1.77	c (round 16) 2015 del vars, 12793 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 80534 impls, 238 clqs
1.69/1.79	c (round 17) 2016 del vars, 12836 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 80536 impls, 238 clqs
1.79/1.83	c (round 18) 2016 del vars, 12839 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 80536 impls, 238 clqs
1.89/1.91	c (round 19) 2016 del vars, 12853 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 80536 impls, 238 clqs
2.10/2.15	c (round 20) 2066 del vars, 12853 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 83793 impls, 237 clqs
2.10/2.17	c (round 21) 2066 del vars, 12860 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 83793 impls, 237 clqs
2.39/2.41	c (round 22) 2118 del vars, 12860 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 85930 impls, 235 clqs
2.39/2.43	c (round 23) 2120 del vars, 12910 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 86028 impls, 235 clqs
2.59/2.60	c (round 24) 2170 del vars, 12910 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 86976 impls, 233 clqs
2.59/2.62	c (round 25) 2171 del vars, 12977 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 87014 impls, 233 clqs
2.59/2.68	c    (1.9s) probing: 1000/3750 (26.7%) - 41 fixings, 161 aggregations, 4187 implications, 0 bound changes
2.78/2.83	c (round 26) 2221 del vars, 12977 del conss, 428 chg bounds, 22 chg sides, 51 chg coeffs, 12830 upgd conss, 88448 impls, 232 clqs
2.78/2.85	c (round 27) 2222 del vars, 12989 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 88450 impls, 232 clqs
2.89/2.92	c (round 28) 2222 del vars, 13014 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 88450 impls, 232 clqs
3.09/3.10	c (round 29) 2272 del vars, 13014 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 89160 impls, 231 clqs
3.09/3.11	c (round 30) 2272 del vars, 13036 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 89160 impls, 231 clqs
3.19/3.28	c (round 31) 2322 del vars, 13036 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 89622 impls, 231 clqs
3.19/3.30	c (round 32) 2323 del vars, 13038 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 89624 impls, 231 clqs
3.30/3.36	c (round 33) 2323 del vars, 13047 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 89624 impls, 231 clqs
3.39/3.44	c    (2.6s) probing: 2000/3750 (53.3%) - 56 fixings, 311 aggregations, 5453 implications, 0 bound changes
3.49/3.50	c (round 34) 2373 del vars, 13047 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 90201 impls, 230 clqs
3.49/3.52	c (round 35) 2374 del vars, 13059 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 90203 impls, 230 clqs
3.59/3.68	c (round 36) 2424 del vars, 13059 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 90751 impls, 230 clqs
3.68/3.70	c (round 37) 2424 del vars, 13089 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 90751 impls, 230 clqs
3.79/3.87	c (round 38) 2424 del vars, 13137 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 90751 impls, 230 clqs
3.99/4.07	c (round 39) 2474 del vars, 13137 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 92011 impls, 230 clqs
3.99/4.09	c (round 40) 2475 del vars, 13184 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 92017 impls, 230 clqs
4.19/4.21	c    (3.3s) probing: 3000/3750 (80.0%) - 93 fixings, 433 aggregations, 7222 implications, 0 bound changes
4.29/4.40	c (round 41) 2525 del vars, 13185 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 96467 impls, 230 clqs
4.40/4.42	c (round 42) 2541 del vars, 13279 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 96693 impls, 230 clqs
4.59/4.60	c (round 43) 2572 del vars, 13279 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 100857 impls, 230 clqs
4.59/4.63	c (round 44) 2607 del vars, 13341 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 101401 impls, 230 clqs
4.59/4.68	c (round 45) 2607 del vars, 13344 del conss, 428 chg bounds, 23 chg sides, 51 chg coeffs, 12830 upgd conss, 101401 impls, 230 clqs
4.69/4.73	c presolving (46 rounds):
4.69/4.73	c  2607 deleted vars, 13344 deleted constraints, 428 tightened bounds, 0 added holes, 23 changed sides, 51 changed coefficients
4.69/4.73	c  101401 implications, 230 cliques
4.69/4.73	c presolved problem has 3108 variables (3108 bin, 0 int, 0 impl, 0 cont) and 12258 constraints
4.69/4.73	c     231 constraints of type <setppc>
4.69/4.73	c   12027 constraints of type <logicor>
4.69/4.73	c transformed objective value is always integral (scale: 1)
4.69/4.73	c Presolving Time: 3.68
4.69/4.73	c - non default parameters ----------------------------------------------------------------------
4.69/4.73	c # SCIP version 1.2.1.2
4.69/4.73	c 
4.69/4.73	c # frequency for displaying node information lines
4.69/4.73	c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.73	c display/freq = 10000
4.69/4.73	c 
4.69/4.73	c # maximal time in seconds to run
4.69/4.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.73	c limits/time = 1799.54
4.69/4.73	c 
4.69/4.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.73	c limits/memory = 1620
4.69/4.73	c 
4.69/4.73	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.69/4.73	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.73	c lp/solvefreq = -1
4.69/4.73	c 
4.69/4.73	c # should presolving try to simplify inequalities
4.69/4.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.73	c constraints/linear/simplifyinequalities = TRUE
4.69/4.73	c 
4.69/4.73	c # should presolving try to simplify knapsacks
4.69/4.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.73	c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.73	c 
4.69/4.73	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.73	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.73	c separating/rapidlearning/freq = 0
4.69/4.73	c 
4.69/4.73	c -----------------------------------------------------------------------------------------------
4.69/4.73	c start solving
4.69/4.73	c 
4.69/4.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.69/4.74	c   3.8s|     1 |     2 |     0 |     - |  28M|   0 |   - |3108 |  12k|   0 |   0 |   0 |   0 |   0 | 3.434000e+03 |      --      |    Inf 
90.66/90.75	c  89.4s| 10000 |  9959 |     0 |   0.0 |  33M| 209 |   - |3108 |  12k|   0 |   0 |   0 |  24 |   0 | 8.205000e+03 |      --      |    Inf 
172.73/172.83	c   171s| 20000 | 19951 |     0 |   0.0 |  38M| 209 |   - |3108 |  12k|   0 |   0 |   0 |  28 |   0 | 8.205000e+03 |      --      |    Inf 
250.21/250.31	c   248s| 30000 | 29921 |     0 |   0.0 |  43M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  42 |   0 | 8.205000e+03 |      --      |    Inf 
329.19/329.39	c   327s| 40000 | 39919 |     0 |   0.0 |  48M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  43 |   0 | 8.205000e+03 |      --      |    Inf 
403.66/403.87	c   401s| 50000 | 49913 |     0 |   0.0 |  52M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  46 |   0 | 8.206000e+03 |      --      |    Inf 
474.34/474.55	c   472s| 60000 | 59901 |     0 |   0.0 |  57M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  52 |   0 | 8.206000e+03 |      --      |    Inf 
551.61/551.85	c   549s| 70000 | 69895 |     0 |   0.0 |  62M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  55 |   0 | 8.206000e+03 |      --      |    Inf 
630.68/630.95	c   627s| 80000 | 79886 |     0 |   0.0 |  66M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  59 |   0 | 8.206000e+03 |      --      |    Inf 
708.16/708.42	c   704s| 90000 | 89881 |     0 |   0.0 |  71M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  63 |   0 | 8.206000e+03 |      --      |    Inf 
784.13/784.43	c   780s|100000 | 99879 |     0 |   0.0 |  76M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  64 |   0 | 8.206000e+03 |      --      |    Inf 
859.21/859.54	c   855s|110000 |109869 |     0 |   0.0 |  80M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  73 |   0 | 8.206000e+03 |      --      |    Inf 
932.98/933.34	c   928s|120000 |119861 |     0 |   0.0 |  84M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  77 |   0 | 8.206000e+03 |      --      |    Inf 
1006.07/1006.42	c  1001s|130000 |129859 |     0 |   0.0 |  89M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  79 |   0 | 8.206000e+03 |      --      |    Inf 
1077.84/1078.26	c  1073s|140000 |139852 |     0 |   0.0 |  93M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  84 |   0 | 8.206000e+03 |      --      |    Inf 
1148.72/1149.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1148.72/1149.19	c  1143s|150000 |149846 |     0 |   0.0 |  97M| 243 |   - |3108 |  12k|   0 |   0 |   0 |  88 |   0 | 8.206000e+03 |      --      |    Inf 
1218.70/1219.18	c  1213s|160000 |159846 |     0 |   0.0 | 102M| 249 |   - |3108 |  12k|   0 |   0 |   0 |  88 |   0 | 8.206000e+03 |      --      |    Inf 
1291.87/1292.35	c  1286s|170000 |169844 |     0 |   0.0 | 106M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  89 |   0 | 8.206000e+03 |      --      |    Inf 
1368.95/1369.42	c  1363s|180000 |179840 |     0 |   0.0 | 111M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  91 |   0 | 8.206000e+03 |      --      |    Inf 
1440.62/1441.10	c  1434s|190000 |189834 |     0 |   0.0 | 115M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  94 |   0 | 8.206000e+03 |      --      |    Inf 
1516.70/1517.24	c  1510s|200000 |199832 |     0 |   0.0 | 120M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  96 |   0 | 8.206000e+03 |      --      |    Inf 
1596.07/1596.60	c  1589s|210000 |209830 |     0 |   0.0 | 124M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  97 |   0 | 8.207000e+03 |      --      |    Inf 
1675.34/1675.96	c  1668s|220000 |219828 |     0 |   0.0 | 129M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  98 |   0 | 8.207000e+03 |      --      |    Inf 
1752.92/1753.52	c  1745s|230000 |229828 |     0 |   0.0 | 134M| 277 |   - |3108 |  12k|   0 |   0 |   0 |  98 |   0 | 8.207000e+03 |      --      |    Inf 
1800.02/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62	c 
1800.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time (sec) : 1791.94
1800.02/1800.62	c Solving Nodes      : 236164
1800.02/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.62	c Dual Bound         : +8.20700000000000e+03
1800.02/1800.62	c Gap                : infinite
1800.02/1800.62	s UNKNOWN
1800.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time       :    1791.94
1800.02/1800.62	c Original Problem   :
1800.02/1800.62	c   Problem name     : HOME/instance-2683206-1277508063.opb
1800.02/1800.62	c   Variables        : 5715 (5715 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 25599 initial, 25599 maximal
1800.02/1800.62	c Presolved Problem  :
1800.02/1800.62	c   Problem name     : t_HOME/instance-2683206-1277508063.opb
1800.02/1800.62	c   Variables        : 3108 (3108 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 12258 initial, 12321 maximal
1800.02/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.62	c   trivial          :       0.05         21          0          0          0          0          0          0          0
1800.02/1800.62	c   dualfix          :       0.02        612          0          0          0          0          0          0          0
1800.02/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   implics          :       0.08          0        243          0          0          0          0          0          0
1800.02/1800.62	c   probing          :       1.82        148        435          0          0          0          0          0          0
1800.02/1800.62	c   setppc           :       0.00          0          0          0          0          0         14          1          0
1800.02/1800.62	c   linear           :       0.34        410        738          0        428          0      12769         22         51
1800.02/1800.62	c   logicor          :       1.26          0          0          0          0          0        561          0          0
1800.02/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.62	c   setppc           :        231          0     670045          0     236080         32      47875          0          0          0
1800.02/1800.62	c   logicor          :      12027+         0     608879          0     236080        170     890243          0          0          0
1800.02/1800.62	c   countsols        :          0          0          0          0     236080          0          0          0          0          0
1800.02/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.62	c   setppc           :      34.54       0.00       9.06       0.00      25.48
1800.02/1800.62	c   logicor          :    1381.95       0.00       9.40       0.00    1372.55
1800.02/1800.62	c   countsols        :       0.21       0.00       0.00       0.00       0.21
1800.02/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.62	c   vbounds          :       0.37          2          0          0
1800.02/1800.62	c   rootredcost      :       0.47          0          0          0
1800.02/1800.62	c   pseudoobj        :      74.32     659834          0          0
1800.02/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.62	c   propagation      :       0.00         87         87         99        2.9          3        4.7          -
1800.02/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.62	c   applied globally :          -          -          -         99        2.8          -          -          -
1800.02/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.62	c Pricers            :       Time      Calls       Vars
1800.02/1800.62	c   problem variables:       0.00          0          0
1800.02/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   inference        :     267.81     236080          0          0          0          0     472160
1800.02/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.62	c   LP solutions     :       0.00          -          0
1800.02/1800.62	c   pseudo solutions :       0.00          -          0
1800.02/1800.62	c   oneopt           :       0.19          0          0
1800.02/1800.62	c   trivial          :       0.03          2          0
1800.02/1800.62	c   simplerounding   :       0.00          0          0
1800.02/1800.62	c   zirounding       :       0.00          0          0
1800.02/1800.62	c   rounding         :       0.00          0          0
1800.02/1800.62	c   shifting         :       0.00          0          0
1800.02/1800.62	c   intshifting      :       0.00          0          0
1800.02/1800.62	c   twoopt           :       0.00          0          0
1800.02/1800.62	c   fixandinfer      :       0.00          0          0
1800.02/1800.62	c   feaspump         :       0.00          0          0
1800.02/1800.62	c   coefdiving       :       0.00          0          0
1800.02/1800.62	c   pscostdiving     :       0.00          0          0
1800.02/1800.62	c   fracdiving       :       0.00          0          0
1800.02/1800.62	c   veclendiving     :       0.00          0          0
1800.02/1800.62	c   intdiving        :       0.00          0          0
1800.02/1800.62	c   actconsdiving    :       0.00          0          0
1800.02/1800.62	c   objpscostdiving  :       0.00          0          0
1800.02/1800.62	c   rootsoldiving    :       0.00          0          0
1800.02/1800.62	c   linesearchdiving :       0.00          0          0
1800.02/1800.62	c   guideddiving     :       0.00          0          0
1800.02/1800.62	c   octane           :       0.00          0          0
1800.02/1800.62	c   rens             :       0.00          0          0
1800.02/1800.62	c   rins             :       0.00          0          0
1800.02/1800.62	c   localbranching   :       0.00          0          0
1800.02/1800.62	c   mutation         :       0.00          0          0
1800.02/1800.62	c   crossover        :       0.00          0          0
1800.02/1800.62	c   dins             :       0.00          0          0
1800.02/1800.62	c   undercover       :       0.00          0          0
1800.02/1800.62	c   nlp              :       0.33          0          0
1800.02/1800.62	c   trysol           :       0.17          0          0
1800.02/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.62	c B&B Tree           :
1800.02/1800.62	c   number of runs   :          1
1800.02/1800.62	c   nodes            :     236164
1800.02/1800.62	c   nodes (total)    :     236164
1800.02/1800.62	c   nodes left       :     235990
1800.02/1800.62	c   max depth        :        277
1800.02/1800.62	c   max depth (total):        277
1800.02/1800.62	c   backtracks       :       1876 (0.8%)
1800.02/1800.62	c   delayed cutoffs  :          7
1800.02/1800.62	c   repropagations   :       5241 (306 domain reductions, 3 cutoffs)
1800.02/1800.62	c   avg switch length:       2.41
1800.02/1800.62	c   switching time   :      11.02
1800.02/1800.62	c Solution           :
1800.02/1800.62	c   Solutions found  :          0 (0 improvements)
1800.02/1800.62	c   Primal Bound     :          -
1800.02/1800.62	c   Dual Bound       : +8.20700000000000e+03
1800.02/1800.62	c   Gap              :   infinite
1800.02/1800.62	c   Root Dual Bound  : +3.43400000000000e+03
1800.02/1800.62	c   Root Iterations  :          0
1800.40/1801.04	c Time complete: 1800.44.

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-2683206-1277508063/watcher-2683206-1277508063 -o /tmp/evaluation-result-2683206-1277508063/solver-2683206-1277508063 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683206-1277508063.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.99 0.98 0.99 3/106 22429
/proc/meminfo: memFree=1791576/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=6584 CPUtime=0
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 935 0 0 0 0 0 0 0 25 0 1 0 126407656 6742016 857 1992294400 4194304 7136930 140736993353216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22429/statm: 1646 866 254 719 0 925 0

[startup+0.0869991 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 22429
/proc/meminfo: memFree=1791576/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=13240 CPUtime=0.07
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 2820 0 0 0 7 0 0 0 25 0 1 0 126407656 13557760 2742 1992294400 4194304 7136930 140736993353216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22429/statm: 3310 2742 271 719 0 2589 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13240

[startup+0.101001 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 22429
/proc/meminfo: memFree=1791576/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=13428 CPUtime=0.09
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 2844 0 0 0 9 0 0 0 25 0 1 0 126407656 13750272 2766 1992294400 4194304 7136930 140736993353216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22429/statm: 3357 2766 271 719 0 2636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13428

[startup+0.301035 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 22429
/proc/meminfo: memFree=1791576/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=18792 CPUtime=0.29
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 4172 0 0 0 28 1 0 0 25 0 1 0 126407656 19243008 4094 1992294400 4194304 7136930 140736993353216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22429/statm: 4698 4094 271 719 0 3977 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18792

[startup+0.701104 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 22429
/proc/meminfo: memFree=1791576/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=48968 CPUtime=0.69
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 11814 0 0 0 63 6 0 0 25 0 1 0 126407656 50143232 11382 1992294400 4194304 7136930 140736993353216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 12242 11382 344 719 0 11521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48968

[startup+1.50124 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22430
/proc/meminfo: memFree=1744572/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=54900 CPUtime=1.49
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 19298 0 0 0 127 22 0 0 25 0 1 0 126407656 56217600 12892 1992294400 4194304 7136930 140736993353216 18446744073709551615 5008782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 13725 12892 360 719 0 13004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54900

[startup+3.10052 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22430
/proc/meminfo: memFree=1739612/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=57968 CPUtime=3.09
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 26889 0 0 0 272 37 0 0 25 0 1 0 126407656 59359232 13708 1992294400 4194304 7136930 140736993353216 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 14492 13708 376 719 0 13771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57968

[startup+6.30107 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22430
/proc/meminfo: memFree=1737628/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=57968 CPUtime=6.28
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 34543 0 0 0 575 53 0 0 25 0 1 0 126407656 59359232 13720 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 14492 13720 388 719 0 13771 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 57968

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22430
/proc/meminfo: memFree=1737628/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=58240 CPUtime=12.69
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 34580 0 0 0 1213 56 0 0 25 0 1 0 126407656 59637760 13757 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 14560 13757 388 719 0 13839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58240

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22430
/proc/meminfo: memFree=1736512/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=59176 CPUtime=25.48
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 34857 0 0 0 2488 60 0 0 25 0 1 0 126407656 60596224 14034 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 14794 14034 392 719 0 14073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59176

[startup+51.1008 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 22430
/proc/meminfo: memFree=1735520/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=60712 CPUtime=51.07
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 35221 0 0 0 5039 68 0 0 25 0 1 0 126407656 62169088 14398 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 15178 14398 392 719 0 14457 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60712

[startup+102.309 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 22432
/proc/meminfo: memFree=1730932/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=64544 CPUtime=102.27
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 36199 0 0 0 10140 87 0 0 25 0 1 0 126407656 66093056 15376 1992294400 4194304 7136930 140736993353216 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 16136 15376 392 719 0 15415 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64544

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 22434
/proc/meminfo: memFree=1727708/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=67548 CPUtime=162.24
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 37003 0 0 0 16116 108 0 0 25 0 1 0 126407656 69169152 16180 1992294400 4194304 7136930 140736993353216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 16887 16180 392 719 0 16166 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67548

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22436
/proc/meminfo: memFree=1722128/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=73000 CPUtime=222.21
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 38367 0 0 0 22088 133 0 0 25 0 1 0 126407656 74752000 17544 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 18250 17544 392 719 0 17529 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 73000

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22436
/proc/meminfo: memFree=1720144/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=74984 CPUtime=282.2
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 38889 0 0 0 28063 157 0 0 25 0 1 0 126407656 76783616 18066 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 18746 18066 392 719 0 18025 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 74984

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22438
/proc/meminfo: memFree=1716300/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=78472 CPUtime=342.18
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 39817 0 0 0 34038 180 0 0 25 0 1 0 126407656 80355328 18994 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 19618 18994 392 719 0 18897 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 78472

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22440
/proc/meminfo: memFree=1711712/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=83156 CPUtime=402.16
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 41011 0 0 0 40010 206 0 0 25 0 1 0 126407656 85151744 20188 1992294400 4194304 7136930 140736993353216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 20789 20188 392 719 0 20068 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 83156

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22442
/proc/meminfo: memFree=1707372/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=87268 CPUtime=462.14
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 42051 0 0 0 45982 232 0 0 25 0 1 0 126407656 89362432 21228 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 21817 21228 392 719 0 21096 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 87268

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22444
/proc/meminfo: memFree=1704024/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=92468 CPUtime=522.12
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 42877 0 0 0 51956 256 0 0 25 0 1 0 126407656 94687232 22054 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 23117 22054 392 719 0 22396 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 92468

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22444
/proc/meminfo: memFree=1701544/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=94692 CPUtime=582.1
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 43484 0 0 0 57933 277 0 0 25 0 1 0 126407656 96964608 22661 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 23673 22661 392 719 0 22952 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 94692

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22446
/proc/meminfo: memFree=1698816/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=97448 CPUtime=642.08
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 44171 0 0 0 63907 301 0 0 25 0 1 0 126407656 99786752 23348 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 24362 23348 392 719 0 23641 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 97448

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 22452
/proc/meminfo: memFree=1683316/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=112024 CPUtime=882
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 47974 0 0 0 87806 394 0 0 25 0 1 0 126407656 114712576 27151 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 28006 27151 392 719 0 27285 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 112024

[startup+942.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 22454
/proc/meminfo: memFree=1680340/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=114888 CPUtime=941.98
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 48721 0 0 0 93781 417 0 0 25 0 1 0 126407656 117645312 27898 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 28722 27898 392 719 0 28001 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 114888

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 22456
/proc/meminfo: memFree=1672528/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=122440 CPUtime=1001.96
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 50641 0 0 0 99755 441 0 0 25 0 1 0 126407656 125378560 29818 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 30610 29818 392 719 0 29889 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 122440

[startup+1062.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 22458
/proc/meminfo: memFree=1669552/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=125284 CPUtime=1061.95
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 51356 0 0 0 105730 465 0 0 25 0 1 0 126407656 128290816 30533 1992294400 4194304 7136930 140736993353216 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 31321 30533 392 719 0 30600 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 125284

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 22460
/proc/meminfo: memFree=1667444/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=127228 CPUtime=1121.93
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 51881 0 0 0 111702 491 0 0 25 0 1 0 126407656 130281472 31058 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 31807 31058 392 719 0 31086 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 127228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22460
/proc/meminfo: memFree=1663724/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=130712 CPUtime=1181.9
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 52795 0 0 0 117674 516 0 0 25 0 1 0 126407656 133849088 31972 1992294400 4194304 7136930 140736993353216 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 32678 31972 392 719 0 31957 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 130712

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22462
/proc/meminfo: memFree=1658764/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=135396 CPUtime=1241.88
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 54012 0 0 0 123645 543 0 0 25 0 1 0 126407656 138645504 33189 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 33849 33189 392 719 0 33128 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 135396

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22464
/proc/meminfo: memFree=1655540/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=138472 CPUtime=1301.87
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 54803 0 0 0 129620 567 0 0 25 0 1 0 126407656 141795328 33980 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 34618 33980 392 719 0 33897 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 138472

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22466
/proc/meminfo: memFree=1650456/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=143460 CPUtime=1361.84
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 56084 0 0 0 135592 592 0 0 25 0 1 0 126407656 146903040 35261 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 35865 35261 392 719 0 35144 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 143460

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22468
/proc/meminfo: memFree=1646364/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=147392 CPUtime=1421.83
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 57103 0 0 0 141563 620 0 0 25 0 1 0 126407656 150929408 36280 1992294400 4194304 7136930 140736993353216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 36848 36280 392 719 0 36127 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 147392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22468
/proc/meminfo: memFree=1643760/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=149840 CPUtime=1481.81
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 57741 0 0 0 147534 647 0 0 25 0 1 0 126407656 153436160 36918 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 37460 36918 392 719 0 36739 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 149840

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 22470
/proc/meminfo: memFree=1639544/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=158032 CPUtime=1541.79
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 58796 0 0 0 153510 669 0 0 25 0 1 0 126407656 161824768 37973 1992294400 4194304 7136930 140736993353216 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 39508 37973 392 719 0 38787 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 158032

[startup+1602.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 22472
/proc/meminfo: memFree=1635452/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=162032 CPUtime=1601.77
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 59824 0 0 0 159484 693 0 0 25 0 1 0 126407656 165920768 39001 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 40508 39001 392 719 0 39787 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 162032

[startup+1662.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 22474
/proc/meminfo: memFree=1631732/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=165632 CPUtime=1661.75
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 60752 0 0 0 165460 715 0 0 25 0 1 0 126407656 169607168 39929 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 41408 39929 392 719 0 40687 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 165632

[startup+1722.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 22476
/proc/meminfo: memFree=1629872/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=167176 CPUtime=1721.72
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 61168 0 0 0 171437 735 0 0 25 0 1 0 126407656 171188224 40345 1992294400 4194304 7136930 140736993353216 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 41794 40345 392 719 0 41073 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 167176

[startup+1782.3 s]
/proc/loadavg: 1.17 1.07 1.01 2/107 22476
/proc/meminfo: memFree=1625408/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=171280 CPUtime=1781.71
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 62226 0 0 0 177414 757 0 0 25 0 1 0 126407656 175390720 41403 1992294400 4194304 7136930 140736993353216 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 42820 41403 392 719 0 42099 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 171280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 22478
/proc/meminfo: memFree=1623672/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=172956 CPUtime=1800.02
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 62653 0 0 0 179238 764 0 0 25 0 1 0 126407656 177106944 41830 1992294400 4194304 7136930 140736993353216 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22429/statm: 43239 41830 392 719 0 42518 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 172956

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.13 1.07 1.01 2/107 22478
/proc/meminfo: memFree=1623672/2059040 swapFree=4135892/4192956
[pid=22429] ppid=22427 vsize=110920 CPUtime=1800.4
/proc/22429/stat : 22429 (pbscip.linux.x8) R 22427 22429 22287 0 -1 4202496 62658 0 0 0 179275 765 0 0 25 0 1 0 126407656 113582080 26326 1992294400 4194304 7136930 140736993353216 18446744073709551615 4699709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22429/statm: 27730 26326 397 719 0 27009 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 110920

Child status: 0
Real time (s): 1801.04
CPU time (s): 1800.45
CPU user time (s): 1792.79
CPU system time (s): 7.66583
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 172956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.79
system time used= 7.66583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 7422

runsolver used 2.77258 second user time and 8.71467 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-26 01:21:03
IDJOB=2683206
IDBENCH=72094
IDSOLVER=1167
FILE ID=node014/2683206-1277508063
PBS_JOBID= 11190632
Free space on /tmp= 62436 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-randf794d2.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-2683206-1277508063/watcher-2683206-1277508063 -o /tmp/evaluation-result-2683206-1277508063/solver-2683206-1277508063 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683206-1277508063.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0efcbe4927b540b08cd521c17dccd0d0
RANDOM SEED=109217706

node014.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.258
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.51
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.258
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:       1792104 kB
Buffers:         56860 kB
Cached:         107692 kB
SwapCached:       9968 kB
Active:          63760 kB
Inactive:       114196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1792104 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:            4016 kB
Writeback:           0 kB
AnonPages:       11984 kB
Mapped:           8384 kB
Slab:            67048 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node014 at 2010-06-26 01:51:05