Trace number 2683570

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.47 1800.9

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand2d8467.cudf.paranoid.opb
MD5SUM273841d98ff0d22c152be4529d8a88f8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13125
Best CPU time to get the best result obtained on this benchmark2.83257
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6308
Total number of constraints27601
Number of constraints which are clauses27304
Number of constraints which are cardinality constraints (but not clauses)297
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 2358
Biggest coefficient in the objective function 1809
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 998566
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1809
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 998566
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-2683570-1277510684.opb>
0.49/0.52	c original problem has 6308 variables (6308 bin, 0 int, 0 impl, 0 cont) and 27601 constraints
0.49/0.52	c problem read
0.49/0.52	c presolving settings loaded
0.49/0.52	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.66	c presolving:
0.79/0.86	c (round 1) 732 del vars, 1406 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72436 impls, 294 clqs
0.89/0.92	c (round 2) 994 del vars, 1880 del conss, 174 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 84049 impls, 279 clqs
0.89/0.99	c (round 3) 1364 del vars, 7039 del conss, 423 chg bounds, 1 chg sides, 16 chg coeffs, 0 upgd conss, 86451 impls, 269 clqs
0.99/1.04	c (round 4) 2046 del vars, 11152 del conss, 513 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 87090 impls, 266 clqs
0.99/1.07	c (round 5) 2132 del vars, 11644 del conss, 536 chg bounds, 19 chg sides, 55 chg coeffs, 0 upgd conss, 87720 impls, 264 clqs
0.99/1.10	c (round 6) 2179 del vars, 12269 del conss, 543 chg bounds, 22 chg sides, 61 chg coeffs, 0 upgd conss, 88396 impls, 263 clqs
1.10/1.12	c (round 7) 2195 del vars, 12339 del conss, 543 chg bounds, 22 chg sides, 62 chg coeffs, 0 upgd conss, 88398 impls, 263 clqs
1.10/1.13	c (round 8) 2196 del vars, 12342 del conss, 543 chg bounds, 22 chg sides, 62 chg coeffs, 0 upgd conss, 88398 impls, 263 clqs
1.29/1.33	c (round 9) 2197 del vars, 13821 del conss, 543 chg bounds, 22 chg sides, 62 chg coeffs, 13709 upgd conss, 88398 impls, 263 clqs
1.29/1.38	c (round 10) 2201 del vars, 13825 del conss, 543 chg bounds, 22 chg sides, 62 chg coeffs, 13709 upgd conss, 88398 impls, 263 clqs
1.39/1.42	c (round 11) 2201 del vars, 13827 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13709 upgd conss, 88398 impls, 263 clqs
1.39/1.45	c (round 12) 2203 del vars, 13829 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13773 upgd conss, 88398 impls, 263 clqs
1.49/1.51	c (round 13) 2203 del vars, 13832 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 88398 impls, 263 clqs
1.69/1.79	c (round 14) 2253 del vars, 13832 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 99813 impls, 259 clqs
1.79/1.82	c (round 15) 2255 del vars, 13879 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 99826 impls, 259 clqs
1.79/1.87	c (round 16) 2256 del vars, 13881 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 99826 impls, 259 clqs
2.10/2.16	c (round 17) 2306 del vars, 13881 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 103639 impls, 258 clqs
2.10/2.18	c (round 18) 2309 del vars, 13914 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 103645 impls, 258 clqs
2.20/2.24	c (round 19) 2309 del vars, 13920 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 103645 impls, 258 clqs
2.39/2.44	c (round 20) 2359 del vars, 13920 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 105564 impls, 255 clqs
2.39/2.46	c (round 21) 2359 del vars, 13982 del conss, 543 chg bounds, 24 chg sides, 62 chg coeffs, 13774 upgd conss, 105564 impls, 255 clqs
2.49/2.51	c (round 22) 2359 del vars, 13983 del conss, 543 chg bounds, 25 chg sides, 62 chg coeffs, 13774 upgd conss, 105564 impls, 255 clqs
2.69/2.73	c (round 23) 2409 del vars, 13983 del conss, 543 chg bounds, 25 chg sides, 62 chg coeffs, 13774 upgd conss, 107348 impls, 255 clqs
2.69/2.75	c (round 24) 2409 del vars, 13997 del conss, 543 chg bounds, 25 chg sides, 62 chg coeffs, 13774 upgd conss, 107348 impls, 255 clqs
2.79/2.85	c    (2.0s) probing: 1000/4105 (24.4%) - 50 fixings, 161 aggregations, 3980 implications, 0 bound changes
2.89/2.99	c (round 25) 2459 del vars, 13997 del conss, 543 chg bounds, 25 chg sides, 62 chg coeffs, 13774 upgd conss, 109244 impls, 253 clqs
2.99/3.01	c (round 26) 2459 del vars, 14028 del conss, 543 chg bounds, 25 chg sides, 62 chg coeffs, 13774 upgd conss, 109244 impls, 253 clqs
2.99/3.06	c (round 27) 2459 del vars, 14030 del conss, 543 chg bounds, 26 chg sides, 62 chg coeffs, 13774 upgd conss, 109244 impls, 253 clqs
3.09/3.18	c (round 28) 2459 del vars, 14070 del conss, 543 chg bounds, 26 chg sides, 62 chg coeffs, 13774 upgd conss, 109244 impls, 253 clqs
3.20/3.22	c (round 29) 2460 del vars, 14070 del conss, 543 chg bounds, 26 chg sides, 62 chg coeffs, 13774 upgd conss, 109244 impls, 253 clqs
3.39/3.42	c (round 30) 2510 del vars, 14070 del conss, 543 chg bounds, 26 chg sides, 62 chg coeffs, 13774 upgd conss, 110481 impls, 252 clqs
3.39/3.44	c (round 31) 2510 del vars, 14088 del conss, 543 chg bounds, 27 chg sides, 62 chg coeffs, 13774 upgd conss, 110481 impls, 252 clqs
3.59/3.63	c (round 32) 2560 del vars, 14088 del conss, 543 chg bounds, 27 chg sides, 62 chg coeffs, 13774 upgd conss, 110952 impls, 251 clqs
3.59/3.65	c (round 33) 2560 del vars, 14119 del conss, 543 chg bounds, 27 chg sides, 62 chg coeffs, 13774 upgd conss, 110952 impls, 251 clqs
3.69/3.78	c    (2.9s) probing: 2000/4105 (48.7%) - 77 fixings, 309 aggregations, 5365 implications, 0 bound changes
3.79/3.81	c (round 34) 2610 del vars, 14119 del conss, 543 chg bounds, 27 chg sides, 62 chg coeffs, 13774 upgd conss, 111356 impls, 250 clqs
3.79/3.83	c (round 35) 2610 del vars, 14129 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 111356 impls, 250 clqs
3.89/3.92	c (round 36) 2610 del vars, 14133 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 111356 impls, 250 clqs
3.99/4.09	c (round 37) 2660 del vars, 14133 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 111995 impls, 250 clqs
4.09/4.12	c (round 38) 2665 del vars, 14147 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 112127 impls, 250 clqs
4.30/4.31	c (round 39) 2715 del vars, 14147 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 112679 impls, 250 clqs
4.30/4.33	c (round 40) 2718 del vars, 14179 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 113039 impls, 250 clqs
4.40/4.41	c (round 41) 2718 del vars, 14185 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 113039 impls, 250 clqs
4.59/4.62	c    (3.6s) probing: 3000/4105 (73.1%) - 112 fixings, 435 aggregations, 6817 implications, 0 bound changes
4.59/4.63	c (round 42) 2768 del vars, 14185 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 114439 impls, 250 clqs
4.59/4.65	c (round 43) 2771 del vars, 14247 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 114449 impls, 250 clqs
4.79/4.86	c (round 44) 2821 del vars, 14247 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 116149 impls, 250 clqs
4.79/4.89	c (round 45) 2828 del vars, 14347 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 116329 impls, 250 clqs
4.89/4.96	c (round 46) 2828 del vars, 14352 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 116329 impls, 250 clqs
5.19/5.24	c (round 47) 2878 del vars, 14352 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 120949 impls, 250 clqs
5.19/5.27	c (round 48) 2924 del vars, 14458 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 121167 impls, 250 clqs
5.39/5.41	c    (4.3s) probing: 4000/4105 (97.4%) - 227 fixings, 453 aggregations, 11567 implications, 0 bound changes
5.39/5.43	c (round 49) 2954 del vars, 14458 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 123943 impls, 250 clqs
5.39/5.45	c (round 50) 2990 del vars, 14518 del conss, 543 chg bounds, 28 chg sides, 62 chg coeffs, 13774 upgd conss, 124395 impls, 250 clqs
5.39/5.49	c presolving (51 rounds):
5.39/5.49	c  2990 deleted vars, 14518 deleted constraints, 543 tightened bounds, 0 added holes, 28 changed sides, 62 changed coefficients
5.39/5.49	c  124395 implications, 250 cliques
5.39/5.49	c presolved problem has 3318 variables (3318 bin, 0 int, 0 impl, 0 cont) and 13086 constraints
5.39/5.49	c     249 constraints of type <setppc>
5.39/5.49	c   12837 constraints of type <logicor>
5.39/5.49	c transformed objective value is always integral (scale: 1)
5.39/5.49	c Presolving Time: 4.32
5.39/5.49	c - non default parameters ----------------------------------------------------------------------
5.39/5.49	c # SCIP version 1.2.1.2
5.39/5.49	c 
5.39/5.49	c # frequency for displaying node information lines
5.39/5.49	c # [type: int, range: [-1,2147483647], default: 100]
5.39/5.49	c display/freq = 10000
5.39/5.49	c 
5.39/5.49	c # maximal time in seconds to run
5.39/5.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.49	c limits/time = 1799.49
5.39/5.49	c 
5.39/5.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.39/5.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.49	c limits/memory = 1620
5.39/5.49	c 
5.39/5.49	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.39/5.49	c # [type: int, range: [-1,2147483647], default: 1]
5.39/5.49	c lp/solvefreq = -1
5.39/5.49	c 
5.39/5.49	c # should presolving try to simplify inequalities
5.39/5.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.49	c constraints/linear/simplifyinequalities = TRUE
5.39/5.49	c 
5.39/5.49	c # should presolving try to simplify knapsacks
5.39/5.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.49	c constraints/knapsack/simplifyinequalities = TRUE
5.39/5.49	c 
5.39/5.49	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.39/5.49	c # [type: int, range: [-1,2147483647], default: -1]
5.39/5.49	c separating/rapidlearning/freq = 0
5.39/5.49	c 
5.39/5.49	c -----------------------------------------------------------------------------------------------
5.39/5.49	c start solving
5.39/5.50	c 
5.50/5.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.50/5.51	c   4.4s|     1 |     2 |     0 |     - |  31M|   0 |   - |3318 |  13k|   0 |   0 |   0 |   0 |   0 | 7.636000e+03 |      --      |    Inf 
113.37/113.46	c   112s| 10000 |  9985 |     0 |   0.0 |  38M|  39 |   - |3318 |  13k|   0 |   0 |   0 |  11 |   0 | 7.681000e+03 |      --      |    Inf 
216.14/216.28	c   214s| 20000 | 19957 |     0 |   0.0 |  44M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  25 |   0 | 1.126400e+04 |      --      |    Inf 
310.52/310.67	c   309s| 30000 | 29957 |     0 |   0.0 |  49M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  25 |   0 | 1.126500e+04 |      --      |    Inf 
405.49/405.70	c   403s| 40000 | 39941 |     0 |   0.0 |  54M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  29 |   0 | 1.126600e+04 |      --      |    Inf 
498.77/498.98	c   496s| 50000 | 49929 |     0 |   0.0 |  59M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  32 |   0 | 1.126600e+04 |      --      |    Inf 
590.65/590.88	c   588s| 60000 | 59921 |     0 |   0.0 |  64M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  32 |   0 | 1.126600e+04 |      --      |    Inf 
682.13/682.32	c   679s| 70000 | 69907 |     0 |   0.0 |  70M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  32 |   0 | 1.126600e+04 |      --      |    Inf 
776.81/777.06	c   773s| 80000 | 79897 |     0 |   0.0 |  75M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  32 |   0 | 1.126700e+04 |      --      |    Inf 
869.48/869.79	c   866s| 90000 | 89883 |     0 |   0.0 |  80M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  36 |   0 | 1.126700e+04 |      --      |    Inf 
963.66/963.96	c   960s|100000 | 99857 |     0 |   0.0 |  86M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  44 |   0 | 1.126700e+04 |      --      |    Inf 
1056.74/1057.00	c  1052s|110000 |109857 |     0 |   0.0 |  91M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  44 |   0 | 1.126700e+04 |      --      |    Inf 
1148.41/1148.77	c  1144s|120000 |119857 |     0 |   0.0 |  96M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  44 |   0 | 1.126700e+04 |      --      |    Inf 
1244.19/1244.57	c  1239s|130000 |129855 |     0 |   0.0 | 101M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  47 |   0 | 1.126700e+04 |      --      |    Inf 
1339.77/1340.16	c  1334s|140000 |139850 |     0 |   0.0 | 106M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  49 |   0 | 1.126700e+04 |      --      |    Inf 
1434.14/1434.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1434.14/1434.53	c  1428s|150000 |149850 |     0 |   0.0 | 111M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  49 |   0 | 1.126700e+04 |      --      |    Inf 
1527.82/1528.26	c  1522s|160000 |159848 |     0 |   0.0 | 116M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  50 |   0 | 1.126700e+04 |      --      |    Inf 
1622.60/1623.08	c  1616s|170000 |169829 |     0 |   0.0 | 121M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  55 |   0 | 1.126800e+04 |      --      |    Inf 
1719.07/1719.50	c  1712s|180000 |179820 |     0 |   0.0 | 126M| 171 |   - |3318 |  13k|   0 |   0 |   0 |  56 |   0 | 1.126800e+04 |      --      |    Inf 
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.51	c 
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time (sec) : 1793.12
1800.06/1800.51	c Solving Nodes      : 188467
1800.06/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.51	c Dual Bound         : +1.12680000000000e+04
1800.06/1800.51	c Gap                : infinite
1800.06/1800.51	s UNKNOWN
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time       :    1793.12
1800.06/1800.51	c Original Problem   :
1800.06/1800.51	c   Problem name     : HOME/instance-2683570-1277510684.opb
1800.06/1800.51	c   Variables        : 6308 (6308 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 27601 initial, 27601 maximal
1800.06/1800.51	c Presolved Problem  :
1800.06/1800.51	c   Problem name     : t_HOME/instance-2683570-1277510684.opb
1800.06/1800.51	c   Variables        : 3318 (3318 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 13086 initial, 13135 maximal
1800.06/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.51	c   trivial          :       0.01         44          0          0          0          0          0          0          0
1800.06/1800.51	c   dualfix          :       0.02        591          0          0          0          0          0          0          0
1800.06/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   implics          :       0.09          0        334          0          0          0          0          0          0
1800.06/1800.51	c   probing          :       2.33        227        453          0          0          0          0          0          0
1800.06/1800.51	c   setppc           :       0.03          0          1          0          0          0         17          4          0
1800.06/1800.51	c   linear           :       0.38        501        839          0        543          0      13827         24         62
1800.06/1800.51	c   logicor          :       1.31          0          0          0          0          0        674          0          0
1800.06/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.51	c   setppc           :        249          0     527059          0     188408         43      53267          0          0          0
1800.06/1800.51	c   logicor          :      12837+         0     478284          0     188408        193     943837          0          0          0
1800.06/1800.51	c   countsols        :          0          0          0          0     188408          0          0          0          0          0
1800.06/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.51	c   setppc           :      36.46       0.00      10.00       0.00      26.46
1800.06/1800.51	c   logicor          :    1398.40       0.00      10.09       0.00    1388.31
1800.06/1800.51	c   countsols        :       0.19       0.00       0.00       0.00       0.19
1800.06/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.51	c   vbounds          :       0.41          2          0          0
1800.06/1800.51	c   rootredcost      :       0.33          0          0          0
1800.06/1800.51	c   pseudoobj        :      62.62     516243          0          0
1800.06/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.51	c   propagation      :       0.00         60         51         56        2.7          2        2.5          -
1800.06/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.51	c   applied globally :          -          -          -         56        2.5          -          -          -
1800.06/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.51	c Pricers            :       Time      Calls       Vars
1800.06/1800.51	c   problem variables:       0.00          0          0
1800.06/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   inference        :     265.39     188408          0          0          0          0     376816
1800.06/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.51	c   LP solutions     :       0.00          -          0
1800.06/1800.51	c   pseudo solutions :       0.00          -          0
1800.06/1800.51	c   oneopt           :       0.17          0          0
1800.06/1800.51	c   trivial          :       0.02          2          0
1800.06/1800.51	c   simplerounding   :       0.00          0          0
1800.06/1800.51	c   zirounding       :       0.00          0          0
1800.06/1800.51	c   rounding         :       0.00          0          0
1800.06/1800.51	c   shifting         :       0.00          0          0
1800.06/1800.51	c   intshifting      :       0.00          0          0
1800.06/1800.51	c   twoopt           :       0.00          0          0
1800.06/1800.51	c   fixandinfer      :       0.00          0          0
1800.06/1800.51	c   feaspump         :       0.00          0          0
1800.06/1800.51	c   coefdiving       :       0.00          0          0
1800.06/1800.51	c   pscostdiving     :       0.00          0          0
1800.06/1800.51	c   fracdiving       :       0.00          0          0
1800.06/1800.51	c   veclendiving     :       0.00          0          0
1800.06/1800.51	c   intdiving        :       0.00          0          0
1800.06/1800.51	c   actconsdiving    :       0.00          0          0
1800.06/1800.51	c   objpscostdiving  :       0.00          0          0
1800.06/1800.51	c   rootsoldiving    :       0.00          0          0
1800.06/1800.51	c   linesearchdiving :       0.00          0          0
1800.06/1800.51	c   guideddiving     :       0.00          0          0
1800.06/1800.51	c   octane           :       0.00          0          0
1800.06/1800.51	c   rens             :       0.00          0          0
1800.06/1800.51	c   rins             :       0.00          0          0
1800.06/1800.51	c   localbranching   :       0.00          0          0
1800.06/1800.51	c   mutation         :       0.00          0          0
1800.06/1800.51	c   crossover        :       0.00          0          0
1800.06/1800.51	c   dins             :       0.00          0          0
1800.06/1800.51	c   undercover       :       0.00          0          0
1800.06/1800.51	c   nlp              :       0.24          0          0
1800.06/1800.51	c   trysol           :       0.12          0          0
1800.06/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.51	c B&B Tree           :
1800.06/1800.51	c   number of runs   :          1
1800.06/1800.51	c   nodes            :     188467
1800.06/1800.51	c   nodes (total)    :     188467
1800.06/1800.51	c   nodes left       :     188287
1800.06/1800.51	c   max depth        :        171
1800.06/1800.51	c   max depth (total):        171
1800.06/1800.51	c   backtracks       :       2751 (1.5%)
1800.06/1800.51	c   delayed cutoffs  :         63
1800.06/1800.51	c   repropagations   :       2162 (189 domain reductions, 1 cutoffs)
1800.06/1800.51	c   avg switch length:       2.49
1800.06/1800.51	c   switching time   :      10.67
1800.06/1800.51	c Solution           :
1800.06/1800.51	c   Solutions found  :          0 (0 improvements)
1800.06/1800.51	c   Primal Bound     :          -
1800.06/1800.51	c   Dual Bound       : +1.12680000000000e+04
1800.06/1800.51	c   Gap              :   infinite
1800.06/1800.51	c   Root Dual Bound  : +7.63600000000000e+03
1800.06/1800.51	c   Root Iterations  :          0
1800.37/1800.89	c Time complete: 1800.45.

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-2683570-1277510684/watcher-2683570-1277510684 -o /tmp/evaluation-result-2683570-1277510684/solver-2683570-1277510684 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683570-1277510684.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: 1.09 1.03 1.00 3/106 30267
/proc/meminfo: memFree=1815500/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=5556 CPUtime=0
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 886 0 0 0 0 0 0 0 18 0 1 0 92361101 5689344 810 1992294400 4194304 7136930 140736411109456 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 1389 810 249 719 0 668 0

[startup+0.01759 s]
/proc/loadavg: 1.09 1.03 1.00 3/106 30267
/proc/meminfo: memFree=1815500/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=9656 CPUtime=0
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 1902 0 0 0 0 0 0 0 18 0 1 0 92361101 9887744 1824 1992294400 4194304 7136930 140736411109456 18446744073709551615 5650975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 2414 1828 266 719 0 1693 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9656

[startup+0.100598 s]
/proc/loadavg: 1.09 1.03 1.00 3/106 30267
/proc/meminfo: memFree=1815500/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=13516 CPUtime=0.09
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 2860 0 0 0 8 1 0 0 21 0 1 0 92361101 13840384 2782 1992294400 4194304 7136930 140736411109456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 3379 2782 271 719 0 2658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516

[startup+0.300615 s]
/proc/loadavg: 1.09 1.03 1.00 3/106 30267
/proc/meminfo: memFree=1815500/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=18624 CPUtime=0.29
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 4137 0 0 0 28 1 0 0 21 0 1 0 92361101 19070976 4059 1992294400 4194304 7136930 140736411109456 18446744073709551615 5649728 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 4656 4059 271 719 0 3935 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18624

[startup+0.70065 s]
/proc/loadavg: 1.09 1.03 1.00 3/106 30267
/proc/meminfo: memFree=1815500/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=51696 CPUtime=0.69
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 12421 0 0 0 64 5 0 0 22 0 1 0 92361101 52936704 11989 1992294400 4194304 7136930 140736411109456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 12924 11989 342 719 0 12203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51696

[startup+1.50072 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30268
/proc/meminfo: memFree=1765024/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=59968 CPUtime=1.49
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 19863 0 0 0 127 22 0 0 25 0 1 0 92361101 61407232 14068 1992294400 4194304 7136930 140736411109456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 14992 14068 360 719 0 14271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59968

[startup+3.10086 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30268
/proc/meminfo: memFree=1758824/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=62180 CPUtime=3.09
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 27599 0 0 0 271 38 0 0 25 0 1 0 92361101 63672320 14676 1992294400 4194304 7136930 140736411109456 18446744073709551615 5008739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 15545 14676 376 719 0 14824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62180

[startup+6.30114 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30268
/proc/meminfo: memFree=1757088/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=63208 CPUtime=6.29
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 37951 0 0 0 569 60 0 0 25 0 1 0 92361101 64724992 14946 1992294400 4194304 7136930 140736411109456 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 15802 14946 388 719 0 15081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63208

[startup+12.7017 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 30270
/proc/meminfo: memFree=1755724/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=64164 CPUtime=12.69
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 38186 0 0 0 1207 62 0 0 25 0 1 0 92361101 65703936 15181 1992294400 4194304 7136930 140736411109456 18446744073709551615 5120152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 16041 15181 392 719 0 15320 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64164

[startup+25.5008 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 30270
/proc/meminfo: memFree=1753740/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=66092 CPUtime=25.49
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 38667 0 0 0 2482 67 0 0 25 0 1 0 92361101 67678208 15662 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 16523 15662 392 719 0 15802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66092

[startup+51.1011 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 30270
/proc/meminfo: memFree=1751880/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=67912 CPUtime=51.08
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 39140 0 0 0 5035 73 0 0 25 0 1 0 92361101 69541888 16135 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 16978 16135 392 719 0 16257 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67912

[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30272
/proc/meminfo: memFree=1748160/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=71584 CPUtime=102.28
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 40065 0 0 0 10140 88 0 0 25 0 1 0 92361101 73302016 17060 1992294400 4194304 7136930 140736411109456 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 17896 17060 392 719 0 17175 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 71584

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30274
/proc/meminfo: memFree=1744440/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=75060 CPUtime=162.25
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 40958 0 0 0 16119 106 0 0 25 0 1 0 92361101 76861440 17953 1992294400 4194304 7136930 140736411109456 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 18765 17953 392 719 0 18044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75060

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30274
/proc/meminfo: memFree=1740968/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=78504 CPUtime=222.23
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 41817 0 0 0 22098 125 0 0 25 0 1 0 92361101 80388096 18812 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 19626 18812 392 719 0 18905 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 78504

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30276
/proc/meminfo: memFree=1737868/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=81500 CPUtime=282.22
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 42615 0 0 0 28079 143 0 0 25 0 1 0 92361101 83456000 19610 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 20375 19610 392 719 0 19654 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 81500

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30278
/proc/meminfo: memFree=1733652/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=85604 CPUtime=342.21
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 43640 0 0 0 34058 163 0 0 25 0 1 0 92361101 87658496 20635 1992294400 4194304 7136930 140736411109456 18446744073709551615 5121616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 21401 20635 392 719 0 20680 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 85604

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30280
/proc/meminfo: memFree=1730180/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=88824 CPUtime=402.2
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 44480 0 0 0 40037 183 0 0 25 0 1 0 92361101 90955776 21475 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 22206 21475 392 719 0 21485 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 88824

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30282
/proc/meminfo: memFree=1725592/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=93352 CPUtime=462.19
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 45628 0 0 0 46017 202 0 0 25 0 1 0 92361101 95592448 22623 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 23338 22623 392 719 0 22617 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 93352

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30282
/proc/meminfo: memFree=1723856/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=95128 CPUtime=522.16
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 46119 0 0 0 51995 221 0 0 25 0 1 0 92361101 97411072 23114 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 23782 23114 392 719 0 23061 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 95128

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30284
/proc/meminfo: memFree=1719144/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=99396 CPUtime=582.15
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 47212 0 0 0 57975 240 0 0 25 0 1 0 92361101 101781504 24207 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 24849 24207 392 719 0 24128 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 99396

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30286
/proc/meminfo: memFree=1713812/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=104644 CPUtime=642.15
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 48547 0 0 0 63952 263 0 0 25 0 1 0 92361101 107155456 25542 1992294400 4194304 7136930 140736411109456 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 26161 25542 392 719 0 25440 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 104644

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30294
/proc/meminfo: memFree=1696328/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=123420 CPUtime=942.07
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 52825 0 0 0 93847 360 0 0 25 0 1 0 92361101 126382080 29820 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 30855 29820 392 719 0 30134 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 123420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30296
/proc/meminfo: memFree=1694096/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=125416 CPUtime=1002.05
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 53379 0 0 0 99821 384 0 0 25 0 1 0 92361101 128425984 30374 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 31354 30374 392 719 0 30633 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 125416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30298
/proc/meminfo: memFree=1691120/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=128252 CPUtime=1062.03
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 54113 0 0 0 105800 403 0 0 25 0 1 0 92361101 131330048 31108 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 32063 31108 392 719 0 31342 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 128252

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30298
/proc/meminfo: memFree=1687524/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=131660 CPUtime=1122.02
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 54993 0 0 0 111778 424 0 0 25 0 1 0 92361101 134819840 31988 1992294400 4194304 7136930 140736411109456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 32915 31988 392 719 0 32194 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 131660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30300
/proc/meminfo: memFree=1679340/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=139680 CPUtime=1182.01
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 57023 0 0 0 117757 444 0 0 25 0 1 0 92361101 143032320 34018 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 34920 34018 392 719 0 34199 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 139680

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30302
/proc/meminfo: memFree=1677108/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=141680 CPUtime=1241.99
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 57547 0 0 0 123733 466 0 0 25 0 1 0 92361101 145080320 34542 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 35420 34542 392 719 0 34699 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 141680

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30304
/proc/meminfo: memFree=1673140/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=145524 CPUtime=1301.99
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 58532 0 0 0 129713 486 0 0 25 0 1 0 92361101 149016576 35527 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 36381 35527 392 719 0 35660 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 145524

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30306
/proc/meminfo: memFree=1671528/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=147608 CPUtime=1361.96
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 59076 0 0 0 135692 504 0 0 25 0 1 0 92361101 151150592 36071 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 36902 36071 392 719 0 36181 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 147608

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30306
/proc/meminfo: memFree=1669296/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=149208 CPUtime=1421.96
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 59503 0 0 0 141669 527 0 0 25 0 1 0 92361101 152788992 36498 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 37302 36498 392 719 0 36581 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 149208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30308
/proc/meminfo: memFree=1665204/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=153068 CPUtime=1481.94
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 60492 0 0 0 147648 546 0 0 25 0 1 0 92361101 156741632 37487 1992294400 4194304 7136930 140736411109456 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 38267 37487 392 719 0 37546 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 153068

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30310
/proc/meminfo: memFree=1662848/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=155260 CPUtime=1541.92
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 61066 0 0 0 153626 566 0 0 25 0 1 0 92361101 158986240 38061 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 38815 38061 392 719 0 38094 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 155260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30312
/proc/meminfo: memFree=1659376/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=159816 CPUtime=1601.91
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 62197 0 0 0 159606 585 0 0 25 0 1 0 92361101 163651584 39192 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 39954 39192 392 719 0 39233 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 159816

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30317
/proc/meminfo: memFree=1655164/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=162268 CPUtime=1661.89
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 62850 0 0 0 165586 603 0 0 25 0 1 0 92361101 166162432 39845 1992294400 4194304 7136930 140736411109456 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 40567 39845 392 719 0 39846 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 162268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30317
/proc/meminfo: memFree=1651444/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=165992 CPUtime=1721.88
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 63805 0 0 0 171564 624 0 0 25 0 1 0 92361101 169975808 40800 1992294400 4194304 7136930 140736411109456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 41498 40800 392 719 0 40777 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 165992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30319
/proc/meminfo: memFree=1649956/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=167420 CPUtime=1781.86
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 64190 0 0 0 177545 641 0 0 25 0 1 0 92361101 171438080 41185 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 41855 41185 392 719 0 41134 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 167420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30319
/proc/meminfo: memFree=1649460/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=167936 CPUtime=1800.06
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 64324 0 0 0 179360 646 0 0 25 0 1 0 92361101 171966464 41319 1992294400 4194304 7136930 140736411109456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30267/statm: 41984 41319 392 719 0 41263 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 167936

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30320
/proc/meminfo: memFree=1649452/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=167936 CPUtime=1800.17
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 64329 0 0 0 179371 646 0 0 25 0 1 0 92361101 171966464 41324 1992294400 4194304 7136930 140736411109456 18446744073709551615 4670050 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 41984 41324 397 719 0 41263 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 167936

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30320
/proc/meminfo: memFree=1649452/2059040 swapFree=4139448/4192956
[pid=30267] ppid=30265 vsize=153968 CPUtime=1800.37
/proc/30267/stat : 30267 (pbscip.linux.x8) R 30265 30267 29771 0 -1 4202496 64329 0 0 0 179390 647 0 0 25 0 1 0 92361101 157663232 37832 1992294400 4194304 7136930 140736411109456 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30267/statm: 38492 37832 397 719 0 37771 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 153968

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.47
CPU user time (s): 1793.98
CPU system time (s): 6.49001
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 167936

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

runsolver used 3.00154 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-26 02:04:44
IDJOB=2683570
IDBENCH=72122
IDSOLVER=1167
FILE ID=node041/2683570-1277510684
PBS_JOBID= 11190630
Free space on /tmp= 61676 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.biglist/normalized-rand2d8467.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-2683570-1277510684/watcher-2683570-1277510684 -o /tmp/evaluation-result-2683570-1277510684/solver-2683570-1277510684 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683570-1277510684.opb -t 1800 -m 1800

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

MD5SUM BENCH= 273841d98ff0d22c152be4529d8a88f8
RANDOM SEED=519321621

node041.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.251
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.50
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.251
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.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1815904 kB
Buffers:         42008 kB
Cached:         108956 kB
SwapCached:       5940 kB
Active:          81880 kB
Inactive:        81784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1815904 kB
SwapTotal:     4192956 kB
SwapFree:      4139448 kB
Dirty:            4028 kB
Writeback:           0 kB
AnonPages:       11380 kB
Mapped:          11808 kB
Slab:            57424 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181516 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= 61672 MiB
End job on node041 at 2010-06-26 02:34:47