Trace number 2666884

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.09 1802.59

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1799.77
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
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: SoPlex 1.4.2] [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-2666884-1276338545.opb>
4.19/4.25	c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
4.19/4.25	c problem read
4.19/4.26	c No objective function, only one solution is needed.
4.19/4.27	c presolving settings loaded
5.39/5.49	c presolving:
9.49/9.58	c (round 1) 3223 del vars, 4042 del conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs
9.89/9.97	c (round 2) 3528 del vars, 8830 del conss, 1625 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
10.19/10.23	c (round 3) 3532 del vars, 9068 del conss, 1629 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
10.49/10.51	c (round 4) 3686 del vars, 9228 del conss, 1635 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs
10.69/10.79	c (round 5) 3842 del vars, 9689 del conss, 1644 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307994 impls, 0 clqs
11.00/11.08	c (round 6) 4000 del vars, 10155 del conss, 1656 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs
11.29/11.36	c (round 7) 4160 del vars, 10625 del conss, 1669 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309184 impls, 0 clqs
11.59/11.62	c (round 8) 4187 del vars, 10965 del conss, 1684 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310077 impls, 0 clqs
11.79/11.89	c (round 9) 4234 del vars, 11062 del conss, 1701 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4311931 impls, 0 clqs
12.10/12.14	c (round 10) 4264 del vars, 11176 del conss, 1724 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312518 impls, 0 clqs
12.39/12.40	c (round 11) 4318 del vars, 11278 del conss, 1752 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313044 impls, 0 clqs
12.59/12.67	c (round 12) 4429 del vars, 11480 del conss, 1788 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314522 impls, 0 clqs
12.89/12.94	c (round 13) 4533 del vars, 11796 del conss, 1823 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4317962 impls, 0 clqs
13.10/13.20	c (round 14) 4575 del vars, 12039 del conss, 1857 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318428 impls, 0 clqs
13.39/13.47	c (round 15) 4632 del vars, 12158 del conss, 1887 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321218 impls, 0 clqs
13.69/13.73	c (round 16) 4661 del vars, 12286 del conss, 1913 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321458 impls, 0 clqs
13.89/13.98	c (round 17) 4712 del vars, 12384 del conss, 1939 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321954 impls, 0 clqs
14.20/14.24	c (round 18) 4775 del vars, 12546 del conss, 1970 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323036 impls, 0 clqs
14.49/14.50	c (round 19) 4843 del vars, 12728 del conss, 2001 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325306 impls, 0 clqs
14.69/14.76	c (round 20) 4872 del vars, 12873 del conss, 2026 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325454 impls, 0 clqs
14.99/15.01	c (round 21) 4914 del vars, 12961 del conss, 2052 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325596 impls, 0 clqs
15.19/15.27	c (round 22) 4978 del vars, 13101 del conss, 2083 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325879 impls, 0 clqs
15.49/15.53	c (round 23) 5036 del vars, 13274 del conss, 2109 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326795 impls, 0 clqs
15.69/15.78	c (round 24) 5071 del vars, 13411 del conss, 2135 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327427 impls, 0 clqs
15.99/16.03	c (round 25) 5142 del vars, 13554 del conss, 2169 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328126 impls, 0 clqs
16.18/16.29	c (round 26) 5201 del vars, 13737 del conss, 2201 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328702 impls, 0 clqs
16.49/16.55	c (round 27) 5264 del vars, 13935 del conss, 2242 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329446 impls, 0 clqs
16.78/16.80	c (round 28) 5283 del vars, 14033 del conss, 2253 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329650 impls, 0 clqs
16.99/17.05	c (round 29) 5295 del vars, 14079 del conss, 2260 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329990 impls, 0 clqs
17.28/17.30	c (round 30) 5307 del vars, 14115 del conss, 2265 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330402 impls, 0 clqs
17.50/17.55	c (round 31) 5312 del vars, 14146 del conss, 2270 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330404 impls, 0 clqs
17.89/17.98	c (round 32) 5322 del vars, 14194 del conss, 2280 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330470 impls, 0 clqs
18.19/18.24	c (round 33) 5384 del vars, 14238 del conss, 2287 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331344 impls, 0 clqs
18.39/18.49	c (round 34) 5395 del vars, 14370 del conss, 2297 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331626 impls, 0 clqs
18.70/18.74	c (round 35) 5445 del vars, 14434 del conss, 2311 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332625 impls, 0 clqs
18.89/18.99	c (round 36) 5489 del vars, 14572 del conss, 2327 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333101 impls, 0 clqs
19.19/19.25	c (round 37) 5544 del vars, 14744 del conss, 2360 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333819 impls, 0 clqs
19.49/19.50	c (round 38) 5561 del vars, 14833 del conss, 2369 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333983 impls, 0 clqs
19.70/19.75	c (round 39) 5573 del vars, 14875 del conss, 2376 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334123 impls, 0 clqs
19.99/20.00	c (round 40) 5585 del vars, 14911 del conss, 2381 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334535 impls, 0 clqs
20.19/20.25	c (round 41) 5590 del vars, 14942 del conss, 2386 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334537 impls, 0 clqs
20.58/20.68	c (round 42) 5600 del vars, 14990 del conss, 2396 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334603 impls, 0 clqs
20.89/20.93	c (round 43) 5662 del vars, 15034 del conss, 2403 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335481 impls, 0 clqs
21.08/21.18	c (round 44) 5673 del vars, 15166 del conss, 2413 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335763 impls, 0 clqs
21.38/21.44	c (round 45) 5722 del vars, 15229 del conss, 2427 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337348 impls, 0 clqs
21.59/21.69	c (round 46) 5767 del vars, 15366 del conss, 2443 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338388 impls, 0 clqs
21.90/21.94	c (round 47) 5822 del vars, 15540 del conss, 2476 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339314 impls, 0 clqs
22.09/22.19	c (round 48) 5839 del vars, 15629 del conss, 2485 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339570 impls, 0 clqs
22.39/22.44	c (round 49) 5851 del vars, 15671 del conss, 2492 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339716 impls, 0 clqs
22.58/22.69	c (round 50) 5863 del vars, 15707 del conss, 2497 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340128 impls, 0 clqs
22.89/22.94	c (round 51) 5868 del vars, 15738 del conss, 2502 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340130 impls, 0 clqs
23.29/23.37	c (round 52) 5878 del vars, 15786 del conss, 2512 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340196 impls, 0 clqs
23.59/23.62	c (round 53) 5940 del vars, 15830 del conss, 2519 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341070 impls, 0 clqs
23.79/23.87	c (round 54) 5951 del vars, 15962 del conss, 2529 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341352 impls, 0 clqs
24.09/24.12	c (round 55) 5974 del vars, 15999 del conss, 2542 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341396 impls, 0 clqs
24.29/24.37	c (round 56) 6043 del vars, 16107 del conss, 2558 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344558 impls, 0 clqs
24.58/24.63	c (round 57) 6098 del vars, 16331 del conss, 2591 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345150 impls, 0 clqs
24.79/24.87	c (round 58) 6116 del vars, 16420 del conss, 2600 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345342 impls, 0 clqs
25.09/25.12	c (round 59) 6131 del vars, 16466 del conss, 2609 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345496 impls, 0 clqs
25.29/25.37	c (round 60) 6140 del vars, 16516 del conss, 2618 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345572 impls, 0 clqs
25.88/25.99	c (round 61) 6148 del vars, 16541 del conss, 2626 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345582 impls, 0 clqs
28.69/28.77	c (round 62) 6154 del vars, 16620 del conss, 2632 chg bounds, 6612 chg sides, 13856 chg coeffs, 202159 upgd conss, 4345666 impls, 0 clqs
29.48/29.56	c presolving (63 rounds):
29.48/29.56	c  6154 deleted vars, 16620 deleted constraints, 2632 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients
29.48/29.56	c  4345666 implications, 0 cliques
29.48/29.56	c presolved problem has 70952 variables (70952 bin, 0 int, 0 impl, 0 cont) and 202159 constraints
29.48/29.56	c   13220 constraints of type <knapsack>
29.48/29.56	c  188939 constraints of type <logicor>
29.48/29.56	c transformed objective value is always integral (scale: 1)
29.48/29.56	c Presolving Time: 17.44
29.48/29.56	c - non default parameters ----------------------------------------------------------------------
29.48/29.56	c # SCIP version 1.2.1.2
29.48/29.56	c 
29.48/29.56	c # frequency for displaying node information lines
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 100]
29.48/29.56	c display/freq = 10000
29.48/29.56	c 
29.48/29.56	c # maximal time in seconds to run
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
29.48/29.56	c limits/time = 1795.73
29.48/29.56	c 
29.48/29.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
29.48/29.56	c limits/memory = 1620
29.48/29.56	c 
29.48/29.56	c # solving stops, if the given number of solutions were found (-1: no limit)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: -1]
29.48/29.56	c limits/solutions = 1
29.48/29.56	c 
29.48/29.56	c # maximal number of separation rounds per node (-1: unlimited)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 5]
29.48/29.56	c separating/maxrounds = 1
29.48/29.56	c 
29.48/29.56	c # maximal number of separation rounds in the root node (-1: unlimited)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: -1]
29.48/29.56	c separating/maxroundsroot = 5
29.48/29.56	c 
29.48/29.56	c # should presolving try to simplify inequalities
29.48/29.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
29.48/29.56	c constraints/linear/simplifyinequalities = TRUE
29.48/29.56	c 
29.48/29.56	c # should disaggregation of knapsack constraints be allowed in preprocessing?
29.48/29.56	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
29.48/29.56	c constraints/knapsack/disaggregation = FALSE
29.48/29.56	c 
29.48/29.56	c # should presolving try to simplify knapsacks
29.48/29.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
29.48/29.56	c constraints/knapsack/simplifyinequalities = TRUE
29.48/29.56	c 
29.48/29.56	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: -1]
29.48/29.56	c presolving/probing/maxrounds = 0
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/coefdiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/coefdiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/coefdiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 30]
29.48/29.56	c heuristics/crossover/freq = -1
29.48/29.56	c 
29.48/29.56	c # number of nodes added to the contingent of the total nodes
29.48/29.56	c # [type: longint, range: [0,9223372036854775807], default: 500]
29.48/29.56	c heuristics/crossover/nodesofs = 750
29.48/29.56	c 
29.48/29.56	c # number of nodes without incumbent change that heuristic should wait
29.48/29.56	c # [type: longint, range: [0,9223372036854775807], default: 200]
29.48/29.56	c heuristics/crossover/nwaitingnodes = 100
29.48/29.56	c 
29.48/29.56	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
29.48/29.56	c # [type: real, range: [0,1], default: 0.1]
29.48/29.56	c heuristics/crossover/nodesquot = 0.15
29.48/29.56	c 
29.48/29.56	c # minimum percentage of integer variables that have to be fixed 
29.48/29.56	c # [type: real, range: [0,1], default: 0.666]
29.48/29.56	c heuristics/crossover/minfixingrate = 0.5
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 20]
29.48/29.56	c heuristics/feaspump/freq = -1
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/feaspump/maxlpiterofs = 2000
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/fracdiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/fracdiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/fracdiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/guideddiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/guideddiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/guideddiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/intdiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/intshifting/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/linesearchdiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/linesearchdiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/linesearchdiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/nlp/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 20]
29.48/29.56	c heuristics/objpscostdiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to total iteration number
29.48/29.56	c # [type: real, range: [0,1], default: 0.01]
29.48/29.56	c heuristics/objpscostdiving/maxlpiterquot = 0.015
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/objpscostdiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/oneopt/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/pscostdiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/pscostdiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/pscostdiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 0]
29.48/29.56	c heuristics/rens/freq = -1
29.48/29.56	c 
29.48/29.56	c # minimum percentage of integer variables that have to be fixable 
29.48/29.56	c # [type: real, range: [0,1], default: 0.5]
29.48/29.56	c heuristics/rens/minfixingrate = 0.3
29.48/29.56	c 
29.48/29.56	c # number of nodes added to the contingent of the total nodes
29.48/29.56	c # [type: longint, range: [0,9223372036854775807], default: 500]
29.48/29.56	c heuristics/rens/nodesofs = 2000
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 20]
29.48/29.56	c heuristics/rootsoldiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
29.48/29.56	c heuristics/rootsoldiving/maxlpiterquot = 0.015
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/rootsoldiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/rounding/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/shifting/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/simplerounding/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 0]
29.48/29.56	c heuristics/trivial/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/trysol/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 10]
29.48/29.56	c heuristics/veclendiving/freq = -1
29.48/29.56	c 
29.48/29.56	c # maximal fraction of diving LP iterations compared to node LP iterations
29.48/29.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
29.48/29.56	c heuristics/veclendiving/maxlpiterquot = 0.075
29.48/29.56	c 
29.48/29.56	c # additional number of allowed LP iterations
29.48/29.56	c # [type: int, range: [0,2147483647], default: 1000]
29.48/29.56	c heuristics/veclendiving/maxlpiterofs = 1500
29.48/29.56	c 
29.48/29.56	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 1]
29.48/29.56	c heuristics/zirounding/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 0]
29.48/29.56	c separating/cmir/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: 0]
29.48/29.56	c separating/flowcover/freq = -1
29.48/29.56	c 
29.48/29.56	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
29.48/29.56	c # [type: int, range: [-1,2147483647], default: -1]
29.48/29.56	c separating/rapidlearning/freq = 0
29.48/29.56	c 
29.48/29.56	c -----------------------------------------------------------------------------------------------
29.48/29.56	c start solving
29.60/29.64	c 
602.31/602.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
602.31/602.52	c   589s|     1 |     0 | 35455 |     - | 545M|   0 |  20k|  70k| 202k|  70k| 202k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1485.18/1485.63	c  1450s|     1 |     0 | 60384 |     - | 546M|   0 |  22k|  70k| 202k|  70k| 202k| 205 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.00/1800.50	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-2666884-1276338545/watcher-2666884-1276338545 -o /tmp/evaluation-result-2666884-1276338545/solver-2666884-1276338545 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666884-1276338545.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9620
/proc/meminfo: memFree=1496560/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=7724 CPUtime=0
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 1116 0 0 0 0 0 0 0 20 0 1 0 9456293 7909376 1036 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 1931 1045 348 984 0 944 0

[startup+0.0192109 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9620
/proc/meminfo: memFree=1496560/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=9444 CPUtime=0.01
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 1648 0 0 0 1 0 0 0 20 0 1 0 9456293 9670656 1568 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 2361 1568 363 984 0 1374 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9444

[startup+0.10122 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9620
/proc/meminfo: memFree=1496560/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=14068 CPUtime=0.09
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 2799 0 0 0 9 0 0 0 20 0 1 0 9456293 14405632 2719 1992294400 4194304 8223781 140733442325232 18446744073709551615 5652241 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 3517 2719 363 984 0 2530 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14068

[startup+0.301242 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9620
/proc/meminfo: memFree=1496560/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=20660 CPUtime=0.29
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 4457 0 0 0 28 1 0 0 20 0 1 0 9456293 21155840 4377 1992294400 4194304 8223781 140733442325232 18446744073709551615 7210435 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 5165 4377 363 984 0 4178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20660

[startup+0.701286 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9620
/proc/meminfo: memFree=1496560/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=35064 CPUtime=0.69
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 8063 0 0 0 67 2 0 0 21 0 1 0 9456293 35905536 7983 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 8766 7983 363 984 0 7779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35064

[startup+1.50137 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9621
/proc/meminfo: memFree=1455880/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=60528 CPUtime=1.49
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 14426 0 0 0 144 5 0 0 23 0 1 0 9456293 61980672 14346 1992294400 4194304 8223781 140733442325232 18446744073709551615 7232400 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 15132 14346 363 984 0 14145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60528

[startup+3.10155 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9621
/proc/meminfo: memFree=1420540/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=113376 CPUtime=3.1
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 27608 0 0 0 299 11 0 0 25 0 1 0 9456293 116097024 27528 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9620/statm: 28344 27528 363 984 0 27357 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 113376

[startup+6.3019 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9621
/proc/meminfo: memFree=1144764/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=389808 CPUtime=6.29
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 95512 0 0 0 588 41 0 0 25 0 1 0 9456293 399163392 94965 1992294400 4194304 8223781 140733442325232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 97452 94965 444 984 0 96465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 389808

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 9621
/proc/meminfo: memFree=1006504/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=503908 CPUtime=12.69
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 126041 0 0 0 1095 174 0 0 25 0 1 0 9456293 516001792 122410 1992294400 4194304 8223781 140733442325232 18446744073709551615 5489894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 125977 122410 445 984 0 124990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 503908

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 9621
/proc/meminfo: memFree=1006504/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=503908 CPUtime=25.49
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 139151 0 0 0 1911 638 0 0 25 0 1 0 9456293 516001792 122413 1992294400 4194304 8223781 140733442325232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 125977 122413 445 984 0 124990 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 503908

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 9621
/proc/meminfo: memFree=701836/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=845140 CPUtime=51.06
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 264445 0 0 0 4332 774 0 0 25 0 1 0 9456293 865423360 198698 1992294400 4194304 8223781 140733442325232 18446744073709551615 6502710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 211285 198698 539 984 0 210298 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 845140

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 9623
/proc/meminfo: memFree=698612/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=855024 CPUtime=102.25
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 292757 0 0 0 9432 793 0 0 25 0 1 0 9456293 875544576 199502 1992294400 4194304 8223781 140733442325232 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 213756 199502 539 984 0 212769 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 855024

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9625
/proc/meminfo: memFree=697000/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=859344 CPUtime=162.23
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 321226 0 0 0 15409 814 0 0 25 0 1 0 9456293 879968256 199873 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 214836 199873 539 984 0 213849 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 859344

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9627
/proc/meminfo: memFree=695760/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=862424 CPUtime=222.21
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 349183 0 0 0 21390 831 0 0 25 0 1 0 9456293 883122176 200200 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 215606 200200 539 984 0 214619 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 862424

[startup+282.3 s]
/proc/loadavg: 1.15 1.02 1.01 2/107 9627
/proc/meminfo: memFree=695016/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=864456 CPUtime=282.2
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 380896 0 0 0 27370 850 0 0 25 0 1 0 9456293 885202944 200402 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216114 200402 539 984 0 215127 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 864456

[startup+342.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 9629
/proc/meminfo: memFree=694272/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=865568 CPUtime=342.18
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 410486 0 0 0 33349 869 0 0 25 0 1 0 9456293 886341632 200563 1992294400 4194304 8223781 140733442325232 18446744073709551615 6537735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216392 200563 539 984 0 215405 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 865568

[startup+402.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 9631
/proc/meminfo: memFree=693900/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=866424 CPUtime=402.17
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 439790 0 0 0 39328 889 0 0 25 0 1 0 9456293 887218176 200653 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216606 200653 539 984 0 215619 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 866424

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9633
/proc/meminfo: memFree=693652/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=867192 CPUtime=462.15
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 469486 0 0 0 45309 906 0 0 25 0 1 0 9456293 888004608 200686 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216798 200686 539 984 0 215811 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 867192

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9635
/proc/meminfo: memFree=693404/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=867960 CPUtime=522.14
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 500426 0 0 0 51292 922 0 0 25 0 1 0 9456293 888791040 200773 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216990 200773 539 984 0 216003 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 867960

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9635
/proc/meminfo: memFree=688816/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=868544 CPUtime=582.12
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 532968 0 0 0 57272 940 0 0 25 0 1 0 9456293 889389056 200785 1992294400 4194304 8223781 140733442325232 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 217136 200785 539 984 0 216149 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 868544

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9637
/proc/meminfo: memFree=695140/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=867340 CPUtime=642.12
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 2379530 0 0 0 62582 1630 0 0 25 0 1 0 9456293 888156160 200293 1992294400 4194304 8223781 140733442325232 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 216835 200293 553 984 0 215848 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 867340

[startup+702.301 s]

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

/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5437805 0 0 0 103282 2917 0 0 25 0 1 0 9456293 914456576 204373 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223256 204373 565 984 0 222269 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 893024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9651
/proc/meminfo: memFree=678524/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=893112 CPUtime=1121.97
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5471926 0 0 0 109264 2933 0 0 25 0 1 0 9456293 914546688 204392 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223278 204392 565 984 0 222291 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 893112

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9651
/proc/meminfo: memFree=678400/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=893280 CPUtime=1181.96
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5509164 0 0 0 115242 2954 0 0 25 0 1 0 9456293 914718720 204387 1992294400 4194304 8223781 140733442325232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223320 204387 565 984 0 222333 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 893280

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9653
/proc/meminfo: memFree=678400/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=893544 CPUtime=1241.94
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5549273 0 0 0 121220 2974 0 0 25 0 1 0 9456293 914989056 204379 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223386 204379 565 984 0 222399 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 893544

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9655
/proc/meminfo: memFree=678400/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=893696 CPUtime=1301.93
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5591431 0 0 0 127198 2995 0 0 25 0 1 0 9456293 915144704 204344 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223424 204344 565 984 0 222437 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 893696

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9657
/proc/meminfo: memFree=678400/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=893976 CPUtime=1361.91
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5643356 0 0 0 133169 3022 0 0 25 0 1 0 9456293 915431424 204356 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223494 204356 565 984 0 222507 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 893976

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9659
/proc/meminfo: memFree=678276/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=894168 CPUtime=1421.9
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5687927 0 0 0 139144 3046 0 0 25 0 1 0 9456293 915628032 204414 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223542 204414 565 984 0 222555 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 894168

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9659
/proc/meminfo: memFree=678276/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=894344 CPUtime=1481.88
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 5731770 0 0 0 145119 3069 0 0 25 0 1 0 9456293 915808256 204376 1992294400 4194304 8223781 140733442325232 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223586 204376 565 984 0 222599 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 894344

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9661
/proc/meminfo: memFree=676664/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=894100 CPUtime=1541.86
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 8403611 0 0 0 150169 4017 0 0 25 0 1 0 9456293 915558400 204389 1992294400 4194304 8223781 140733442325232 18446744073709551615 4667257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223921 204389 565 984 0 222934 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 894100

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9663
/proc/meminfo: memFree=676540/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=895684 CPUtime=1601.85
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11235407 0 0 0 155166 5019 0 0 25 0 1 0 9456293 917180416 204785 1992294400 4194304 8223781 140733442325232 18446744073709551615 7257532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 223921 204785 565 984 0 222934 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 895684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9665
/proc/meminfo: memFree=673812/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898548 CPUtime=1661.83
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11871985 0 0 0 160938 5245 0 0 25 0 1 0 9456293 920113152 205479 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224637 205479 565 984 0 223650 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 898548

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9667
/proc/meminfo: memFree=673564/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898572 CPUtime=1721.82
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11896165 0 0 0 166923 5259 0 0 25 0 1 0 9456293 920137728 205529 1992294400 4194304 8223781 140733442325232 18446744073709551615 6564834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224643 205529 565 984 0 223656 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 898572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9667
/proc/meminfo: memFree=673440/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898836 CPUtime=1781.8
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11925653 0 0 0 172906 5274 0 0 25 0 1 0 9456293 920408064 205479 1992294400 4194304 8223781 140733442325232 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224709 205479 565 984 0 223722 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 898836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9669
/proc/meminfo: memFree=673564/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898956 CPUtime=1800
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11933751 0 0 0 174722 5278 0 0 25 0 1 0 9456293 920530944 205469 1992294400 4194304 8223781 140733442325232 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224739 205469 565 984 0 223752 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 898956

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9620

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9670
/proc/meminfo: memFree=673556/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898956 CPUtime=1800.9
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11933759 0 0 0 174812 5278 0 0 25 0 1 0 9456293 920530944 205477 1992294400 4194304 8223781 140733442325232 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224739 205477 565 984 0 223752 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 898956

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9670
/proc/meminfo: memFree=673556/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898956 CPUtime=1801.69
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11933761 0 0 0 174891 5278 0 0 25 0 1 0 9456293 920530944 205479 1992294400 4194304 8223781 140733442325232 18446744073709551615 6359730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224739 205479 565 984 0 223752 0
Current children cumulated CPU time (s) 1801.69
Current children cumulated vsize (KiB) 898956

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9670
/proc/meminfo: memFree=673556/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898956 CPUtime=1801.89
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11933764 0 0 0 174911 5278 0 0 25 0 1 0 9456293 920530944 205482 1992294400 4194304 8223781 140733442325232 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224739 205482 565 984 0 223752 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 898956

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9670
/proc/meminfo: memFree=673556/2059040 swapFree=4192956/4192956
[pid=9620] ppid=9618 vsize=898956 CPUtime=1801.99
/proc/9620/stat : 9620 (pbscip.linux.x8) R 9618 9620 9595 0 -1 4202496 11933764 0 0 0 174921 5278 0 0 25 0 1 0 9456293 920530944 205482 1992294400 4194304 8223781 140733442325232 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9620/statm: 224739 205482 565 984 0 223752 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 898956

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.09
CPU user time (s): 1749.23
CPU system time (s): 52.865
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 924048

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

runsolver used 2.94755 second user time and 8.5427 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-12 12:29:05
IDJOB=2666884
IDBENCH=1481
IDSOLVER=1169
FILE ID=node009/2666884-1276338545
PBS_JOBID= 11173189
Free space on /tmp= 62436 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666884-1276338545/watcher-2666884-1276338545 -o /tmp/evaluation-result-2666884-1276338545/solver-2666884-1276338545 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666884-1276338545.opb -t 1800 -m 1800

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

MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8
RANDOM SEED=500298009

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1497088 kB
Buffers:        103048 kB
Cached:         329864 kB
SwapCached:          0 kB
Active:         186768 kB
Inactive:       305208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1497088 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12492 kB
Writeback:           0 kB
AnonPages:       59096 kB
Mapped:          15296 kB
Slab:            48224 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node009 at 2010-06-12 12:59:08