Trace number 2665458

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.12 1802.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM14c93c93dc53353f81a889ada18ba601
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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: Clp 1.11.1] [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-2665458-1276336347.opb>
4.09/4.18	c original problem has 81558 variables (81558 bin, 0 int, 0 impl, 0 cont) and 240469 constraints
4.09/4.18	c problem read
4.09/4.18	c No objective function, only one solution is needed.
4.09/4.19	c presolving settings loaded
5.40/5.43	c presolving:
10.59/10.62	c (round 1) 913 del vars, 298 del conss, 113 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001050 impls, 0 clqs
10.89/10.99	c (round 2) 945 del vars, 2004 del conss, 117 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001702 impls, 0 clqs
11.39/11.49	c (round 3) 955 del vars, 2039 del conss, 127 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001718 impls, 0 clqs
11.69/11.78	c (round 4) 963 del vars, 2056 del conss, 134 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001784 impls, 0 clqs
11.99/12.07	c (round 5) 971 del vars, 2077 del conss, 142 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001812 impls, 0 clqs
12.29/12.35	c (round 6) 984 del vars, 2102 del conss, 154 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001952 impls, 0 clqs
12.59/12.64	c (round 7) 995 del vars, 2136 del conss, 165 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002240 impls, 0 clqs
12.89/12.92	c (round 8) 1007 del vars, 2164 del conss, 177 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002348 impls, 0 clqs
13.20/13.21	c (round 9) 1023 del vars, 2199 del conss, 192 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002494 impls, 0 clqs
13.48/13.50	c (round 10) 1036 del vars, 2240 del conss, 205 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002948 impls, 0 clqs
13.68/13.79	c (round 11) 1050 del vars, 2273 del conss, 219 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003244 impls, 0 clqs
13.98/14.07	c (round 12) 1070 del vars, 2315 del conss, 236 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003774 impls, 0 clqs
14.29/14.36	c (round 13) 1089 del vars, 2366 del conss, 253 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004334 impls, 0 clqs
14.59/14.65	c (round 14) 1105 del vars, 2413 del conss, 268 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004692 impls, 0 clqs
14.88/14.94	c (round 15) 1123 del vars, 2459 del conss, 284 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005144 impls, 0 clqs
15.19/15.22	c (round 16) 1142 del vars, 2504 del conss, 302 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005594 impls, 0 clqs
15.49/15.51	c (round 17) 1158 del vars, 2551 del conss, 317 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005998 impls, 0 clqs
15.69/15.79	c (round 18) 1179 del vars, 2600 del conss, 337 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006206 impls, 0 clqs
15.98/16.08	c (round 19) 1198 del vars, 2651 del conss, 355 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006857 impls, 0 clqs
16.28/16.37	c (round 20) 1211 del vars, 2695 del conss, 368 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007269 impls, 0 clqs
16.59/16.65	c (round 21) 1232 del vars, 2734 del conss, 388 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007351 impls, 0 clqs
16.88/16.94	c (round 22) 1253 del vars, 2791 del conss, 408 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007830 impls, 0 clqs
17.18/17.23	c (round 23) 1271 del vars, 2840 del conss, 426 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007980 impls, 0 clqs
17.49/17.52	c (round 24) 1296 del vars, 2894 del conss, 450 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6008485 impls, 0 clqs
17.78/17.80	c (round 25) 1314 del vars, 2953 del conss, 467 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009213 impls, 0 clqs
17.98/18.09	c (round 26) 1332 del vars, 2998 del conss, 485 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009375 impls, 0 clqs
18.28/18.38	c (round 27) 1355 del vars, 3051 del conss, 507 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009944 impls, 0 clqs
18.59/18.66	c (round 28) 1372 del vars, 3106 del conss, 524 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010396 impls, 0 clqs
18.89/18.95	c (round 29) 1389 del vars, 3148 del conss, 540 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010706 impls, 0 clqs
19.18/19.24	c (round 30) 1409 del vars, 3195 del conss, 559 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010848 impls, 0 clqs
19.49/19.52	c (round 31) 1428 del vars, 3247 del conss, 578 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011422 impls, 0 clqs
19.79/19.81	c (round 32) 1447 del vars, 3294 del conss, 596 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011628 impls, 0 clqs
19.98/20.09	c (round 33) 1469 del vars, 3346 del conss, 617 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011920 impls, 0 clqs
20.28/20.38	c (round 34) 1491 del vars, 3406 del conss, 639 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012341 impls, 0 clqs
20.59/20.67	c (round 35) 1510 del vars, 3457 del conss, 657 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012553 impls, 0 clqs
20.89/20.95	c (round 36) 1531 del vars, 3509 del conss, 678 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012695 impls, 0 clqs
21.18/21.24	c (round 37) 1552 del vars, 3566 del conss, 699 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013152 impls, 0 clqs
21.48/21.52	c (round 38) 1569 del vars, 3614 del conss, 715 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013352 impls, 0 clqs
21.78/21.81	c (round 39) 1586 del vars, 3658 del conss, 732 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013488 impls, 0 clqs
21.99/22.09	c (round 40) 1603 del vars, 3704 del conss, 749 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013939 impls, 0 clqs
22.29/22.38	c (round 41) 1616 del vars, 3741 del conss, 761 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014113 impls, 0 clqs
22.58/22.66	c (round 42) 1627 del vars, 3773 del conss, 772 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014227 impls, 0 clqs
22.89/22.95	c (round 43) 1637 del vars, 3800 del conss, 782 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014389 impls, 0 clqs
23.38/23.45	c (round 44) 1650 del vars, 3840 del conss, 794 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014581 impls, 0 clqs
23.69/23.73	c (round 45) 1658 del vars, 3856 del conss, 802 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014649 impls, 0 clqs
24.19/24.23	c (round 46) 1667 del vars, 3886 del conss, 810 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014775 impls, 0 clqs
24.89/24.95	c (round 47) 1676 del vars, 3913 del conss, 819 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014878 impls, 0 clqs
27.18/27.28	c (round 48) 1679 del vars, 3942 del conss, 822 chg bounds, 2302 chg sides, 4716 chg coeffs, 236527 upgd conss, 6015033 impls, 0 clqs
27.98/28.04	c presolving (49 rounds):
27.98/28.04	c  1679 deleted vars, 3942 deleted constraints, 822 tightened bounds, 0 added holes, 2302 changed sides, 4716 changed coefficients
27.98/28.04	c  6015033 implications, 0 cliques
27.98/28.04	c presolved problem has 79879 variables (79879 bin, 0 int, 0 impl, 0 cont) and 236527 constraints
27.98/28.04	c    4596 constraints of type <knapsack>
27.98/28.04	c  231931 constraints of type <logicor>
27.98/28.04	c transformed objective value is always integral (scale: 1)
27.98/28.04	c Presolving Time: 16.61
27.98/28.04	c - non default parameters ----------------------------------------------------------------------
27.98/28.04	c # SCIP version 1.2.1.2
27.98/28.04	c 
27.98/28.04	c # frequency for displaying node information lines
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 100]
27.98/28.04	c display/freq = 10000
27.98/28.04	c 
27.98/28.04	c # maximal time in seconds to run
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
27.98/28.04	c limits/time = 1795.82
27.98/28.04	c 
27.98/28.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
27.98/28.04	c limits/memory = 1620
27.98/28.04	c 
27.98/28.04	c # solving stops, if the given number of solutions were found (-1: no limit)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: -1]
27.98/28.04	c limits/solutions = 1
27.98/28.04	c 
27.98/28.04	c # maximal number of separation rounds per node (-1: unlimited)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 5]
27.98/28.04	c separating/maxrounds = 1
27.98/28.04	c 
27.98/28.04	c # maximal number of separation rounds in the root node (-1: unlimited)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: -1]
27.98/28.04	c separating/maxroundsroot = 5
27.98/28.04	c 
27.98/28.04	c # should presolving try to simplify inequalities
27.98/28.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
27.98/28.04	c constraints/linear/simplifyinequalities = TRUE
27.98/28.04	c 
27.98/28.04	c # should disaggregation of knapsack constraints be allowed in preprocessing?
27.98/28.04	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
27.98/28.04	c constraints/knapsack/disaggregation = FALSE
27.98/28.04	c 
27.98/28.04	c # should presolving try to simplify knapsacks
27.98/28.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
27.98/28.04	c constraints/knapsack/simplifyinequalities = TRUE
27.98/28.04	c 
27.98/28.04	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: -1]
27.98/28.04	c presolving/probing/maxrounds = 0
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/coefdiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/coefdiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/coefdiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 30]
27.98/28.04	c heuristics/crossover/freq = -1
27.98/28.04	c 
27.98/28.04	c # number of nodes added to the contingent of the total nodes
27.98/28.04	c # [type: longint, range: [0,9223372036854775807], default: 500]
27.98/28.04	c heuristics/crossover/nodesofs = 750
27.98/28.04	c 
27.98/28.04	c # number of nodes without incumbent change that heuristic should wait
27.98/28.04	c # [type: longint, range: [0,9223372036854775807], default: 200]
27.98/28.04	c heuristics/crossover/nwaitingnodes = 100
27.98/28.04	c 
27.98/28.04	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
27.98/28.04	c # [type: real, range: [0,1], default: 0.1]
27.98/28.04	c heuristics/crossover/nodesquot = 0.15
27.98/28.04	c 
27.98/28.04	c # minimum percentage of integer variables that have to be fixed 
27.98/28.04	c # [type: real, range: [0,1], default: 0.666]
27.98/28.04	c heuristics/crossover/minfixingrate = 0.5
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 20]
27.98/28.04	c heuristics/feaspump/freq = -1
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/feaspump/maxlpiterofs = 2000
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/fracdiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/fracdiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/fracdiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/guideddiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/guideddiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/guideddiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/intdiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/intshifting/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/linesearchdiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/linesearchdiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/linesearchdiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/nlp/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 20]
27.98/28.04	c heuristics/objpscostdiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to total iteration number
27.98/28.04	c # [type: real, range: [0,1], default: 0.01]
27.98/28.04	c heuristics/objpscostdiving/maxlpiterquot = 0.015
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/objpscostdiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/oneopt/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/pscostdiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/pscostdiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/pscostdiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 0]
27.98/28.04	c heuristics/rens/freq = -1
27.98/28.04	c 
27.98/28.04	c # minimum percentage of integer variables that have to be fixable 
27.98/28.04	c # [type: real, range: [0,1], default: 0.5]
27.98/28.04	c heuristics/rens/minfixingrate = 0.3
27.98/28.04	c 
27.98/28.04	c # number of nodes added to the contingent of the total nodes
27.98/28.04	c # [type: longint, range: [0,9223372036854775807], default: 500]
27.98/28.04	c heuristics/rens/nodesofs = 2000
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 20]
27.98/28.04	c heuristics/rootsoldiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
27.98/28.04	c heuristics/rootsoldiving/maxlpiterquot = 0.015
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/rootsoldiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/rounding/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/shifting/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/simplerounding/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 0]
27.98/28.04	c heuristics/trivial/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/trysol/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 10]
27.98/28.04	c heuristics/veclendiving/freq = -1
27.98/28.04	c 
27.98/28.04	c # maximal fraction of diving LP iterations compared to node LP iterations
27.98/28.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
27.98/28.04	c heuristics/veclendiving/maxlpiterquot = 0.075
27.98/28.04	c 
27.98/28.04	c # additional number of allowed LP iterations
27.98/28.04	c # [type: int, range: [0,2147483647], default: 1000]
27.98/28.04	c heuristics/veclendiving/maxlpiterofs = 1500
27.98/28.04	c 
27.98/28.04	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 1]
27.98/28.04	c heuristics/zirounding/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 0]
27.98/28.04	c separating/cmir/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: 0]
27.98/28.04	c separating/flowcover/freq = -1
27.98/28.04	c 
27.98/28.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
27.98/28.04	c # [type: int, range: [-1,2147483647], default: -1]
27.98/28.04	c separating/rapidlearning/freq = 0
27.98/28.04	c 
27.98/28.04	c -----------------------------------------------------------------------------------------------
27.98/28.04	c start solving
28.08/28.13	c 
35.48/35.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.48/35.57	c  24.3s|     1 |     0 |  5119 |     - | 627M|   0 |4465 |  79k| 236k|  79k| 236k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
128.16/128.29	c   115s|     1 |     0 |  8245 |     - | 629M|   0 |4607 |  79k| 236k|  79k| 236k| 125 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
329.49/329.67	c   315s|     1 |     0 | 20734 |     - | 629M|   0 |8737 |  79k| 236k|  79k| 236k| 205 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

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-2665458-1276336347/watcher-2665458-1276336347 -o /tmp/evaluation-result-2665458-1276336347/solver-2665458-1276336347 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665458-1276336347.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.00 1.00 1.00 3/106 10670
/proc/meminfo: memFree=1845352/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=9288 CPUtime=0
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 1057 0 0 0 0 0 0 0 18 0 1 0 9238755 9510912 978 1992294400 4194304 9819077 140737240812928 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 2322 987 371 1374 0 943 0

[startup+0.0249331 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10670
/proc/meminfo: memFree=1845352/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=11320 CPUtime=0.01
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 1746 0 0 0 1 0 0 0 20 0 1 0 9238755 11591680 1667 1992294400 4194304 9819077 140737240812928 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 2830 1667 386 1374 0 1451 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11320

[startup+0.101941 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10670
/proc/meminfo: memFree=1845352/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=16580 CPUtime=0.09
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 3057 0 0 0 8 1 0 0 20 0 1 0 9238755 16977920 2978 1992294400 4194304 9819077 140737240812928 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 4145 2978 386 1374 0 2766 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16580

[startup+0.300964 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10670
/proc/meminfo: memFree=1845352/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=22404 CPUtime=0.29
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 4524 0 0 0 28 1 0 0 20 0 1 0 9238755 22941696 4445 1992294400 4194304 9819077 140737240812928 18446744073709551615 5652266 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 5601 4445 386 1374 0 4222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22404

[startup+0.701011 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10670
/proc/meminfo: memFree=1845352/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=36468 CPUtime=0.69
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 8055 0 0 0 67 2 0 0 20 0 1 0 9238755 37343232 7976 1992294400 4194304 9819077 140737240812928 18446744073709551615 5649841 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 9117 7976 386 1374 0 7738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36468

[startup+1.50111 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1803804/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=64132 CPUtime=1.49
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 14966 0 0 0 144 5 0 0 23 0 1 0 9238755 65671168 14887 1992294400 4194304 9819077 140737240812928 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 16033 14887 386 1374 0 14654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64132

[startup+3.1003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1767596/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=119172 CPUtime=3.09
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 28709 0 0 0 298 11 0 0 25 0 1 0 9238755 122032128 28630 1992294400 4194304 9819077 140737240812928 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10670/statm: 29793 28630 386 1374 0 28414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119172

[startup+6.30067 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1476320/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=423288 CPUtime=6.29
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 102619 0 0 0 587 42 0 0 25 0 1 0 9238755 433446912 102165 1992294400 4194304 9819077 140737240812928 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 105822 102165 486 1374 0 104443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 423288

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1256848/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=608992 CPUtime=12.69
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 149539 0 0 0 1116 153 0 0 25 0 1 0 9238755 623607808 147029 1992294400 4194304 9819077 140737240812928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 152248 147029 491 1374 0 150869 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 608992

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=1256972/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=608992 CPUtime=25.48
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 161105 0 0 0 1917 631 0 0 25 0 1 0 9238755 623607808 147030 1992294400 4194304 9819077 140737240812928 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 152248 147030 491 1374 0 150869 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 608992

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10671
/proc/meminfo: memFree=945360/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1035968 CPUtime=51.07
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 321847 0 0 0 4379 728 0 0 25 0 1 0 9238755 1060831232 224895 1992294400 4194304 9819077 140737240812928 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 258992 224895 658 1374 0 257613 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1035968

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10673
/proc/meminfo: memFree=921180/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1064136 CPUtime=102.26
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 328162 0 0 0 9296 930 0 0 25 0 1 0 9238755 1089675264 231098 1992294400 4194304 9819077 140737240812928 18446744073709551615 5786962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 266034 231098 668 1374 0 264655 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1064136

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10675
/proc/meminfo: memFree=925272/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1063392 CPUtime=162.24
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 392552 0 0 0 15263 961 0 0 25 0 1 0 9238755 1088913408 230071 1992294400 4194304 9819077 140737240812928 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 265848 230071 672 1374 0 264469 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1063392

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10677
/proc/meminfo: memFree=921676/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1076984 CPUtime=222.23
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 468569 0 0 0 21225 998 0 0 25 0 1 0 9238755 1102831616 230973 1992294400 4194304 9819077 140737240812928 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 269246 230973 672 1374 0 267867 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1076984

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10677
/proc/meminfo: memFree=916964/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1082868 CPUtime=282.21
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 513500 0 0 0 27199 1022 0 0 25 0 1 0 9238755 1108856832 232341 1992294400 4194304 9819077 140737240812928 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 270717 232341 672 1374 0 269338 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1082868

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10679
/proc/meminfo: memFree=920312/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=342.19
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557221 0 0 0 33173 1046 0 0 25 0 1 0 9238755 1112788992 231187 1992294400 4194304 9819077 140737240812928 18446744073709551615 6052072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231187 672 1374 0 270298 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1086708

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10681
/proc/meminfo: memFree=920312/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=402.17
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557221 0 0 0 39168 1049 0 0 25 0 1 0 9238755 1112788992 231187 1992294400 4194304 9819077 140737240812928 18446744073709551615 6047012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231187 672 1374 0 270298 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1086708

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10683
/proc/meminfo: memFree=920188/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=462.16
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557221 0 0 0 45162 1054 0 0 25 0 1 0 9238755 1112788992 231187 1992294400 4194304 9819077 140737240812928 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231187 672 1374 0 270298 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1086708

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10694
/proc/meminfo: memFree=919568/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=522.12
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557221 0 0 0 51154 1058 0 0 25 0 1 0 9238755 1112788992 231187 1992294400 4194304 9819077 140737240812928 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231187 672 1374 0 270298 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1086708

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10694
/proc/meminfo: memFree=919568/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=582.11
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557223 0 0 0 57149 1062 0 0 25 0 1 0 9238755 1112788992 231189 1992294400 4194304 9819077 140737240812928 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231189 672 1374 0 270298 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1086708

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10696
/proc/meminfo: memFree=919568/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=642.09
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557225 0 0 0 63143 1066 0 0 25 0 1 0 9238755 1112788992 231191 1992294400 4194304 9819077 140737240812928 18446744073709551615 6044943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231191 672 1374 0 270298 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1086708

[startup+702.302 s]

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

/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557463 0 0 0 105100 1095 0 0 25 0 1 0 9238755 1112788992 231197 1992294400 4194304 9819077 140737240812928 18446744073709551615 6555547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231197 672 1374 0 270298 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1086708

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10710
/proc/meminfo: memFree=919568/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=1121.93
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557463 0 0 0 111094 1099 0 0 25 0 1 0 9238755 1112788992 231197 1992294400 4194304 9819077 140737240812928 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231197 672 1374 0 270298 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1086708

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10710
/proc/meminfo: memFree=919444/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086708 CPUtime=1181.91
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 557463 0 0 0 117088 1103 0 0 25 0 1 0 9238755 1112788992 231197 1992294400 4194304 9819077 140737240812928 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271677 231197 672 1374 0 270298 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1086708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10712
/proc/meminfo: memFree=905060/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1086836 CPUtime=1241.89
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 587649 0 0 0 123070 1119 0 0 25 0 1 0 9238755 1112920064 234938 1992294400 4194304 9819077 140737240812928 18446744073709551615 6190573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 271709 234938 672 1374 0 270330 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1086836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10717
/proc/meminfo: memFree=903572/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1089520 CPUtime=1301.87
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 625762 0 0 0 129047 1140 0 0 25 0 1 0 9238755 1115668480 235192 1992294400 4194304 9819077 140737240812928 18446744073709551615 7480816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 272380 235192 672 1374 0 271001 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1089520

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10719
/proc/meminfo: memFree=904316/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1091092 CPUtime=1361.85
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 663567 0 0 0 135023 1162 0 0 25 0 1 0 9238755 1117278208 235072 1992294400 4194304 9819077 140737240812928 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 272773 235072 672 1374 0 271394 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1091092

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10721
/proc/meminfo: memFree=908284/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1092464 CPUtime=1421.84
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 700318 0 0 0 141000 1184 0 0 25 0 1 0 9238755 1118683136 234109 1992294400 4194304 9819077 140737240812928 18446744073709551615 7480831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273116 234109 672 1374 0 271737 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1092464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10721
/proc/meminfo: memFree=905804/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1093620 CPUtime=1481.8
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 739220 0 0 0 146974 1206 0 0 25 0 1 0 9238755 1119866880 234999 1992294400 4194304 9819077 140737240812928 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273405 234999 672 1374 0 272026 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1093620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10723
/proc/meminfo: memFree=903696/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1094768 CPUtime=1541.79
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 777660 0 0 0 152951 1228 0 0 25 0 1 0 9238755 1121042432 235219 1992294400 4194304 9819077 140737240812928 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273692 235219 672 1374 0 272313 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1094768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10725
/proc/meminfo: memFree=907292/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1095152 CPUtime=1601.77
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 815403 0 0 0 158929 1248 0 0 25 0 1 0 9238755 1121435648 234852 1992294400 4194304 9819077 140737240812928 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273788 234852 672 1374 0 272409 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1095152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10727
/proc/meminfo: memFree=910640/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1095448 CPUtime=1661.75
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 852465 0 0 0 164905 1270 0 0 25 0 1 0 9238755 1121738752 233617 1992294400 4194304 9819077 140737240812928 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273862 233617 672 1374 0 272483 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1095448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10729
/proc/meminfo: memFree=913492/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1095664 CPUtime=1721.74
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 890541 0 0 0 170883 1291 0 0 25 0 1 0 9238755 1121959936 233165 1992294400 4194304 9819077 140737240812928 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 273916 233165 672 1374 0 272537 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1095664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10729
/proc/meminfo: memFree=908656/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1096088 CPUtime=1781.72
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 929522 0 0 0 176860 1312 0 0 25 0 1 0 9238755 1122394112 234076 1992294400 4194304 9819077 140737240812928 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 274022 234076 672 1374 0 272643 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1096088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10731
/proc/meminfo: memFree=913120/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1096152 CPUtime=1800.03
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 940985 0 0 0 178685 1318 0 0 25 0 1 0 9238755 1122459648 232813 1992294400 4194304 9819077 140737240812928 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 274038 232813 672 1374 0 272659 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1096152

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10670

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10731
/proc/meminfo: memFree=913120/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1096152 CPUtime=1800.81
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 941228 0 0 0 178763 1318 0 0 25 0 1 0 9238755 1122459648 233056 1992294400 4194304 9819077 140737240812928 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 274038 233056 672 1374 0 272659 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 1096152

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10732
/proc/meminfo: memFree=911500/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1096152 CPUtime=1801.61
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 941501 0 0 0 178843 1318 0 0 25 0 1 0 9238755 1122459648 233329 1992294400 4194304 9819077 140737240812928 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 274038 233329 672 1374 0 272659 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1096152

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10732
/proc/meminfo: memFree=911500/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=1096152 CPUtime=1802.01
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4202496 941625 0 0 0 178882 1319 0 0 25 0 1 0 9238755 1122459648 233453 1992294400 4194304 9819077 140737240812928 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10670/statm: 274038 233453 672 1374 0 272659 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1096152

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10732
/proc/meminfo: memFree=911500/2059040 swapFree=4136452/4192956
[pid=10670] ppid=10668 vsize=0 CPUtime=1802.11
/proc/10670/stat : 10670 (pbscip.linux.x8) R 10668 10670 9226 0 -1 4203524 941625 0 0 0 178884 1327 0 0 25 0 1 0 9238755 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10670/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.12
CPU user time (s): 1788.84
CPU system time (s): 13.281
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1096152

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

runsolver used 3.04154 second user time and 8.47071 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-12 11:52:27
IDJOB=2665458
IDBENCH=1475
IDSOLVER=1168
FILE ID=node001/2665458-1276336347
PBS_JOBID= 11173164
Free space on /tmp= 62384 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665458-1276336347/watcher-2665458-1276336347 -o /tmp/evaluation-result-2665458-1276336347/solver-2665458-1276336347 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665458-1276336347.opb -t 1800 -m 1800

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

MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601
RANDOM SEED=812661614

node001.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.202
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.40
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.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1845888 kB
Buffers:         19164 kB
Cached:         122232 kB
SwapCached:      16744 kB
Active:         120892 kB
Inactive:        40232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1845888 kB
SwapTotal:     4192956 kB
SwapFree:      4136452 kB
Dirty:           13648 kB
Writeback:           0 kB
AnonPages:       10796 kB
Mapped:           9196 kB
Slab:            30352 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182324 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= 62380 MiB
End job on node001 at 2010-06-12 12:22:30