Trace number 3488793

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
SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.09 1802.05

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3488793-1307759414.opb>
1.19/1.26	c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
1.19/1.26	c problem read
1.19/1.26	c No objective function, only one solution is needed.
1.19/1.26	c presolving settings loaded
1.69/1.70	c presolving:
3.39/3.42	c (round 1) 3223 del vars, 4042 del conss, 0 add conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs
3.49/3.51	c (round 2) 3528 del vars, 8830 del conss, 0 add conss, 1625 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
3.49/3.55	c (round 3) 3532 del vars, 9068 del conss, 0 add conss, 1629 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
3.59/3.61	c (round 4) 3686 del vars, 9228 del conss, 0 add conss, 1635 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs
3.59/3.67	c (round 5) 3842 del vars, 9689 del conss, 0 add conss, 1644 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307994 impls, 0 clqs
3.69/3.72	c (round 6) 4000 del vars, 10155 del conss, 0 add conss, 1656 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs
3.69/3.77	c (round 7) 4160 del vars, 10625 del conss, 0 add conss, 1669 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309184 impls, 0 clqs
3.79/3.82	c (round 8) 4187 del vars, 10965 del conss, 0 add conss, 1684 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310077 impls, 0 clqs
3.79/3.86	c (round 9) 4234 del vars, 11062 del conss, 0 add conss, 1701 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4311931 impls, 0 clqs
3.89/3.90	c (round 10) 4264 del vars, 11176 del conss, 0 add conss, 1724 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312518 impls, 0 clqs
3.89/3.94	c (round 11) 4318 del vars, 11278 del conss, 0 add conss, 1752 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313044 impls, 0 clqs
3.89/3.98	c (round 12) 4429 del vars, 11480 del conss, 0 add conss, 1788 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314522 impls, 0 clqs
3.99/4.03	c (round 13) 4533 del vars, 11796 del conss, 0 add conss, 1823 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4317962 impls, 0 clqs
3.99/4.07	c (round 14) 4575 del vars, 12039 del conss, 0 add conss, 1857 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318428 impls, 0 clqs
4.09/4.12	c (round 15) 4632 del vars, 12158 del conss, 0 add conss, 1887 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321218 impls, 0 clqs
4.09/4.16	c (round 16) 4661 del vars, 12286 del conss, 0 add conss, 1913 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321458 impls, 0 clqs
4.09/4.20	c (round 17) 4712 del vars, 12384 del conss, 0 add conss, 1939 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321954 impls, 0 clqs
4.19/4.24	c (round 18) 4775 del vars, 12546 del conss, 0 add conss, 1970 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323036 impls, 0 clqs
4.19/4.28	c (round 19) 4843 del vars, 12728 del conss, 0 add conss, 2001 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325306 impls, 0 clqs
4.29/4.32	c (round 20) 4872 del vars, 12873 del conss, 0 add conss, 2026 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325454 impls, 0 clqs
4.29/4.36	c (round 21) 4914 del vars, 12961 del conss, 0 add conss, 2052 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325596 impls, 0 clqs
4.29/4.40	c (round 22) 4978 del vars, 13101 del conss, 0 add conss, 2083 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325879 impls, 0 clqs
4.40/4.44	c (round 23) 5036 del vars, 13274 del conss, 0 add conss, 2109 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326795 impls, 0 clqs
4.40/4.48	c (round 24) 5071 del vars, 13411 del conss, 0 add conss, 2135 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327427 impls, 0 clqs
4.49/4.52	c (round 25) 5142 del vars, 13554 del conss, 0 add conss, 2169 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328126 impls, 0 clqs
4.49/4.56	c (round 26) 5201 del vars, 13737 del conss, 0 add conss, 2201 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328702 impls, 0 clqs
4.59/4.60	c (round 27) 5264 del vars, 13935 del conss, 0 add conss, 2242 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329446 impls, 0 clqs
4.59/4.64	c (round 28) 5283 del vars, 14033 del conss, 0 add conss, 2253 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329650 impls, 0 clqs
4.59/4.67	c (round 29) 5295 del vars, 14079 del conss, 0 add conss, 2260 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329990 impls, 0 clqs
4.69/4.71	c (round 30) 5307 del vars, 14115 del conss, 0 add conss, 2265 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330402 impls, 0 clqs
4.69/4.75	c (round 31) 5312 del vars, 14146 del conss, 0 add conss, 2270 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330404 impls, 0 clqs
4.79/4.81	c (round 32) 5322 del vars, 14194 del conss, 0 add conss, 2280 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330470 impls, 0 clqs
4.79/4.85	c (round 33) 5384 del vars, 14238 del conss, 0 add conss, 2287 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331344 impls, 0 clqs
4.79/4.88	c (round 34) 5395 del vars, 14370 del conss, 0 add conss, 2297 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331626 impls, 0 clqs
4.89/4.92	c (round 35) 5445 del vars, 14434 del conss, 0 add conss, 2311 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332625 impls, 0 clqs
4.89/4.96	c (round 36) 5489 del vars, 14572 del conss, 0 add conss, 2327 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333101 impls, 0 clqs
4.99/5.00	c (round 37) 5544 del vars, 14744 del conss, 0 add conss, 2360 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333819 impls, 0 clqs
4.99/5.04	c (round 38) 5561 del vars, 14833 del conss, 0 add conss, 2369 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333983 impls, 0 clqs
4.99/5.08	c (round 39) 5573 del vars, 14875 del conss, 0 add conss, 2376 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334123 impls, 0 clqs
5.09/5.11	c (round 40) 5585 del vars, 14911 del conss, 0 add conss, 2381 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334535 impls, 0 clqs
5.09/5.15	c (round 41) 5590 del vars, 14942 del conss, 0 add conss, 2386 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334537 impls, 0 clqs
5.19/5.21	c (round 42) 5600 del vars, 14990 del conss, 0 add conss, 2396 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334603 impls, 0 clqs
5.19/5.25	c (round 43) 5662 del vars, 15034 del conss, 0 add conss, 2403 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335481 impls, 0 clqs
5.19/5.29	c (round 44) 5673 del vars, 15166 del conss, 0 add conss, 2413 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335763 impls, 0 clqs
5.29/5.33	c (round 45) 5722 del vars, 15229 del conss, 0 add conss, 2427 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337348 impls, 0 clqs
5.29/5.36	c (round 46) 5767 del vars, 15366 del conss, 0 add conss, 2443 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338388 impls, 0 clqs
5.39/5.40	c (round 47) 5822 del vars, 15540 del conss, 0 add conss, 2476 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339314 impls, 0 clqs
5.39/5.44	c (round 48) 5839 del vars, 15629 del conss, 0 add conss, 2485 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339570 impls, 0 clqs
5.39/5.48	c (round 49) 5851 del vars, 15671 del conss, 0 add conss, 2492 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339716 impls, 0 clqs
5.50/5.52	c (round 50) 5863 del vars, 15707 del conss, 0 add conss, 2497 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340128 impls, 0 clqs
5.50/5.55	c (round 51) 5868 del vars, 15738 del conss, 0 add conss, 2502 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340130 impls, 0 clqs
5.59/5.61	c (round 52) 5878 del vars, 15786 del conss, 0 add conss, 2512 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340196 impls, 0 clqs
5.59/5.65	c (round 53) 5940 del vars, 15830 del conss, 0 add conss, 2519 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341070 impls, 0 clqs
5.59/5.69	c (round 54) 5951 del vars, 15962 del conss, 0 add conss, 2529 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341352 impls, 0 clqs
5.69/5.73	c (round 55) 5974 del vars, 15999 del conss, 0 add conss, 2542 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341396 impls, 0 clqs
5.69/5.77	c (round 56) 6043 del vars, 16107 del conss, 0 add conss, 2558 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344558 impls, 0 clqs
5.79/5.81	c (round 57) 6098 del vars, 16331 del conss, 0 add conss, 2591 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345150 impls, 0 clqs
5.79/5.84	c (round 58) 6116 del vars, 16420 del conss, 0 add conss, 2600 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345342 impls, 0 clqs
5.79/5.88	c (round 59) 6131 del vars, 16466 del conss, 0 add conss, 2609 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345496 impls, 0 clqs
5.89/5.92	c (round 60) 6140 del vars, 16516 del conss, 0 add conss, 2618 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345572 impls, 0 clqs
5.89/6.00	c (round 61) 6148 del vars, 16541 del conss, 0 add conss, 2626 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345582 impls, 0 clqs
6.69/6.79	c (round 62) 6154 del vars, 16620 del conss, 0 add conss, 2632 chg bounds, 6612 chg sides, 13856 chg coeffs, 202159 upgd conss, 4345666 impls, 0 clqs
7.09/7.12	c presolving (63 rounds):
7.09/7.12	c  6154 deleted vars, 16620 deleted constraints, 0 added constraints, 2632 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients
7.09/7.12	c  4345666 implications, 0 cliques
7.09/7.12	c presolved problem has 70952 variables (70952 bin, 0 int, 0 impl, 0 cont) and 202159 constraints
7.09/7.12	c   13220 constraints of type <knapsack>
7.09/7.12	c  126180 constraints of type <setppc>
7.09/7.12	c   62759 constraints of type <logicor>
7.09/7.12	c transformed objective value is always integral (scale: 1)
7.09/7.12	c Presolving Time: 5.55
7.09/7.12	c - non default parameters ----------------------------------------------------------------------
7.09/7.12	c # SCIP version 2.0.1.5
7.09/7.12	c 
7.09/7.12	c # frequency for displaying node information lines
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 100]
7.09/7.12	c display/freq = 10000
7.09/7.12	c 
7.09/7.12	c # maximal time in seconds to run
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.09/7.12	c limits/time = 1797
7.09/7.12	c 
7.09/7.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.09/7.12	c limits/memory = 13950
7.09/7.12	c 
7.09/7.12	c # solving stops, if the given number of solutions were found (-1: no limit)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: -1]
7.09/7.12	c limits/solutions = 1
7.09/7.12	c 
7.09/7.12	c # maximal number of separation rounds per node (-1: unlimited)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 5]
7.09/7.12	c separating/maxrounds = 1
7.09/7.12	c 
7.09/7.12	c # maximal number of separation rounds in the root node (-1: unlimited)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: -1]
7.09/7.12	c separating/maxroundsroot = 5
7.09/7.12	c 
7.09/7.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.09/7.12	c # [type: int, range: [1,2], default: 1]
7.09/7.12	c timing/clocktype = 2
7.09/7.12	c 
7.09/7.12	c # belongs reading time to solving time?
7.09/7.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.12	c timing/reading = TRUE
7.09/7.12	c 
7.09/7.12	c # should presolving try to simplify inequalities
7.09/7.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.12	c constraints/linear/simplifyinequalities = TRUE
7.09/7.12	c 
7.09/7.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.09/7.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.12	c constraints/indicator/addCouplingCons = TRUE
7.09/7.12	c 
7.09/7.12	c # should disaggregation of knapsack constraints be allowed in preprocessing?
7.09/7.12	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
7.09/7.12	c constraints/knapsack/disaggregation = FALSE
7.09/7.12	c 
7.09/7.12	c # should presolving try to simplify knapsacks
7.09/7.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.09/7.12	c constraints/knapsack/simplifyinequalities = TRUE
7.09/7.12	c 
7.09/7.12	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: -1]
7.09/7.12	c presolving/probing/maxrounds = 0
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/coefdiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/coefdiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/coefdiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 30]
7.09/7.12	c heuristics/crossover/freq = -1
7.09/7.12	c 
7.09/7.12	c # number of nodes added to the contingent of the total nodes
7.09/7.12	c # [type: longint, range: [0,9223372036854775807], default: 500]
7.09/7.12	c heuristics/crossover/nodesofs = 750
7.09/7.12	c 
7.09/7.12	c # number of nodes without incumbent change that heuristic should wait
7.09/7.12	c # [type: longint, range: [0,9223372036854775807], default: 200]
7.09/7.12	c heuristics/crossover/nwaitingnodes = 100
7.09/7.12	c 
7.09/7.12	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
7.09/7.12	c # [type: real, range: [0,1], default: 0.1]
7.09/7.12	c heuristics/crossover/nodesquot = 0.15
7.09/7.12	c 
7.09/7.12	c # minimum percentage of integer variables that have to be fixed 
7.09/7.12	c # [type: real, range: [0,1], default: 0.666]
7.09/7.12	c heuristics/crossover/minfixingrate = 0.5
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 20]
7.09/7.12	c heuristics/feaspump/freq = -1
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/feaspump/maxlpiterofs = 2000
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/fracdiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/fracdiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/fracdiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/guideddiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/guideddiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/guideddiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/intdiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/intshifting/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/linesearchdiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/linesearchdiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/linesearchdiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 20]
7.09/7.12	c heuristics/objpscostdiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to total iteration number
7.09/7.12	c # [type: real, range: [0,1], default: 0.01]
7.09/7.12	c heuristics/objpscostdiving/maxlpiterquot = 0.015
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/objpscostdiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/oneopt/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/pscostdiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/pscostdiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/pscostdiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c heuristics/rens/freq = -1
7.09/7.12	c 
7.09/7.12	c # minimum percentage of integer variables that have to be fixable 
7.09/7.12	c # [type: real, range: [0,1], default: 0.5]
7.09/7.12	c heuristics/rens/minfixingrate = 0.3
7.09/7.12	c 
7.09/7.12	c # number of nodes added to the contingent of the total nodes
7.09/7.12	c # [type: longint, range: [0,9223372036854775807], default: 500]
7.09/7.12	c heuristics/rens/nodesofs = 2000
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 20]
7.09/7.12	c heuristics/rootsoldiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
7.09/7.12	c heuristics/rootsoldiving/maxlpiterquot = 0.015
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/rootsoldiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/rounding/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c heuristics/shiftandpropagate/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/shifting/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/simplerounding/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/subnlp/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c heuristics/trivial/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/trysol/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c heuristics/undercover/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 10]
7.09/7.12	c heuristics/veclendiving/freq = -1
7.09/7.12	c 
7.09/7.12	c # maximal fraction of diving LP iterations compared to node LP iterations
7.09/7.12	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.09/7.12	c heuristics/veclendiving/maxlpiterquot = 0.075
7.09/7.12	c 
7.09/7.12	c # additional number of allowed LP iterations
7.09/7.12	c # [type: int, range: [0,2147483647], default: 1000]
7.09/7.12	c heuristics/veclendiving/maxlpiterofs = 1500
7.09/7.12	c 
7.09/7.12	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 1]
7.09/7.12	c heuristics/zirounding/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c separating/cmir/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: 0]
7.09/7.12	c separating/flowcover/freq = -1
7.09/7.12	c 
7.09/7.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.09/7.12	c # [type: int, range: [-1,2147483647], default: -1]
7.09/7.12	c separating/rapidlearning/freq = 0
7.09/7.12	c 
7.09/7.12	c -----------------------------------------------------------------------------------------------
7.09/7.12	c start solving
7.09/7.14	c 
18.19/18.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.19/18.28	c  18.3s|     1 |     0 | 11109 |     - | 557M|   0 |7819 |  70k| 202k|  70k| 202k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
42.09/42.18	c  42.2s|     1 |     0 | 15100 |     - | 557M|   0 |9541 |  70k| 202k|  70k| 202k| 221 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
73.89/73.95	c  73.9s|     1 |     0 | 22814 |     - | 558M|   0 |  11k|  70k| 202k|  70k| 202k| 419 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
111.29/111.37	c   111s|     1 |     0 | 31937 |     - | 558M|   0 |  12k|  70k| 202k|  70k| 202k| 635 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
187.89/187.95	c   188s|     1 |     0 | 46099 |     - | 559M|   0 |  13k|  70k| 202k|  70k| 202k| 818 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
409.90/409.95	c   410s|     1 |     0 | 76055 |     - | 559M|   0 |  16k|  70k| 202k|  70k| 203k|1008 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
541.60/541.60	c   542s|     1 |     2 | 76055 |     - | 559M|   0 |  16k|  70k| 202k|  70k| 203k|1008 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1801.54/1801.58	c 
1801.54/1801.58	c SCIP Status        : solving was interrupted [user interrupt]
1801.54/1801.58	c Solving Time (sec) : 1801.57
1801.54/1801.58	c Solving Nodes      : 12
1801.54/1801.58	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.54/1801.58	c Dual Bound         : +0.00000000000000e+00
1801.54/1801.58	c Gap                : infinite
1801.54/1801.58	s UNKNOWN
1801.54/1801.58	c SCIP Status        : solving was interrupted [user interrupt]
1801.54/1801.58	c Total Time         :    1801.57
1801.54/1801.58	c   solving          :    1801.57
1801.54/1801.58	c   presolving       :       5.55 (included in solving)
1801.54/1801.58	c   reading          :       1.26 (included in solving)
1801.54/1801.58	c Original Problem   :
1801.54/1801.58	c   Problem name     : HOME/instance-3488793-1307759414.opb
1801.54/1801.58	c   Variables        : 77106 (77106 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.54/1801.58	c   Constraints      : 218779 initial, 218779 maximal
1801.54/1801.58	c Presolved Problem  :
1801.54/1801.58	c   Problem name     : t_HOME/instance-3488793-1307759414.opb
1801.54/1801.58	c   Variables        : 70952 (70952 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.54/1801.58	c   Constraints      : 202159 initial, 202159 maximal
1801.54/1801.58	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1801.54/1801.58	c   trivial          :       0.23         36          0          0          0          0          0          0          0          0
1801.54/1801.58	c   dualfix          :       0.21          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   implics          :       0.82          0       3477          0          0          0          0          0          0          0
1801.54/1801.58	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   knapsack         :       0.09          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   setppc           :       0.16          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   linear           :       3.65       2624         17          0       2632          0      16620          0       6612      13856
1801.54/1801.58	c   logicor          :       0.06          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c   root node        :          -          0          -          -          0          -          -          -          -          -
1801.54/1801.58	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1801.54/1801.58	c   integral         :          0          0          0         12          0          1          0          0          0          0          0         24
1801.54/1801.58	c   knapsack         :      13220          5         66          0          0          0          0          0          0       1004          0          0
1801.54/1801.58	c   setppc           :     126180          5         66          0          0          0          0          0      10150          0          0          0
1801.54/1801.58	c   logicor          :      62759          5         60          0          0          0          0          0       4128          0          0          0
1801.54/1801.58	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1801.54/1801.58	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1801.54/1801.58	c   integral         :     951.18       0.00       0.00     951.18       0.00       0.00       0.00
1801.54/1801.58	c   knapsack         :       0.04       0.01       0.03       0.00       0.00       0.00       0.00
1801.54/1801.58	c   setppc           :       0.25       0.03       0.22       0.00       0.00       0.00       0.00
1801.54/1801.58	c   logicor          :       0.06       0.02       0.05       0.00       0.00       0.00       0.00
1801.54/1801.58	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1801.54/1801.58	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1801.54/1801.58	c   vbounds          :          0          0          0          0
1801.54/1801.58	c   rootredcost      :          0          0          0          0
1801.54/1801.58	c   pseudoobj        :          0          0          0          0
1801.54/1801.58	c Propagator Timings :  TotalTime  Propagate    Resprop
1801.54/1801.58	c   vbounds          :       0.00       0.00       0.00
1801.54/1801.58	c   rootredcost      :       0.00       0.00       0.00
1801.54/1801.58	c   pseudoobj        :       0.00       0.00       0.00
1801.54/1801.58	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.54/1801.58	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1801.54/1801.58	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.54/1801.58	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.54/1801.58	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.54/1801.58	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.54/1801.58	c   applied globally :          -          -          -          0        0.0          -          -          -
1801.54/1801.58	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.54/1801.58	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.54/1801.58	c   cut pool         :       0.00          4          -          -        350          -    (maximal pool size: 2112)
1801.54/1801.58	c   redcost          :       0.04         16          0          0          0          0
1801.54/1801.58	c   impliedbounds    :       0.08          5          0          0          0          0
1801.54/1801.58	c   intobj           :       0.00          0          0          0          0          0
1801.54/1801.58	c   gomory           :      62.91          5          0          0       2500          0
1801.54/1801.58	c   cgmip            :       0.00          0          0          0          0          0
1801.54/1801.58	c   closecuts        :       0.00          0          0          0          0          0
1801.54/1801.58	c   strongcg         :      67.90          5          0          0       2500          0
1801.54/1801.58	c   cmir             :       0.00          0          0          0          0          0
1801.54/1801.58	c   flowcover        :       0.00          0          0          0          0          0
1801.54/1801.58	c   clique           :       6.02          5          0          0         37          0
1801.54/1801.58	c   zerohalf         :       0.00          0          0          0          0          0
1801.54/1801.58	c   mcf              :       3.99          1          0          0          0          0
1801.54/1801.58	c   oddcycle         :       0.00          0          0          0          0          0
1801.54/1801.58	c   rapidlearning    :       0.00          0          0          0          0          0
1801.54/1801.58	c Pricers            :       Time      Calls       Vars
1801.54/1801.58	c   problem variables:       0.00          0          0
1801.54/1801.58	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.54/1801.58	c   relpscost        :     951.18         12          0          0          0          0         24
1801.54/1801.58	c   pscost           :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   inference        :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   mostinf          :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   leastinf         :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.54/1801.58	c   random           :       0.00          0          0          0          0          0          0
1801.54/1801.58	c Primal Heuristics  :       Time      Calls      Found
1801.54/1801.58	c   LP solutions     :       0.00          -          0
1801.54/1801.58	c   pseudo solutions :       0.00          -          0
1801.54/1801.58	c   trivial          :       0.05          1          0
1801.54/1801.58	c   shiftandpropagate:       0.00          0          0
1801.54/1801.58	c   simplerounding   :       0.00          0          0
1801.54/1801.58	c   zirounding       :       0.00          0          0
1801.54/1801.58	c   rounding         :       0.00          0          0
1801.54/1801.58	c   shifting         :       0.00          0          0
1801.54/1801.58	c   intshifting      :       0.00          0          0
1801.54/1801.58	c   oneopt           :       0.00          0          0
1801.54/1801.58	c   twoopt           :       0.00          0          0
1801.54/1801.58	c   fixandinfer      :       0.00          0          0
1801.54/1801.58	c   feaspump         :       0.00          0          0
1801.54/1801.58	c   clique           :       0.00          0          0
1801.54/1801.58	c   coefdiving       :       0.00          0          0
1801.54/1801.58	c   pscostdiving     :       0.00          0          0
1801.54/1801.58	c   fracdiving       :       0.00          0          0
1801.54/1801.58	c   veclendiving     :       0.00          0          0
1801.54/1801.58	c   intdiving        :       0.00          0          0
1801.54/1801.58	c   actconsdiving    :       0.00          0          0
1801.54/1801.58	c   objpscostdiving  :       0.00          0          0
1801.54/1801.58	c   rootsoldiving    :       0.00          0          0
1801.54/1801.58	c   linesearchdiving :       0.00          0          0
1801.54/1801.58	c   guideddiving     :       0.00          0          0
1801.54/1801.58	c   octane           :       0.00          0          0
1801.54/1801.58	c   rens             :       0.00          0          0
1801.54/1801.58	c   rins             :       0.00          0          0
1801.54/1801.58	c   localbranching   :       0.00          0          0
1801.54/1801.58	c   mutation         :       0.00          0          0
1801.54/1801.58	c   crossover        :       0.00          0          0
1801.54/1801.58	c   dins             :       0.00          0          0
1801.54/1801.58	c   vbounds          :       0.00          0          0
1801.54/1801.58	c   undercover       :       0.00          0          0
1801.54/1801.58	c   subnlp           :       0.00          0          0
1801.54/1801.58	c   trysol           :       0.00          0          0
1801.54/1801.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.54/1801.58	c   primal LP        :       0.07          0          0       0.00       0.00
1801.54/1801.58	c   dual LP          :     700.75         17     153530    9031.18     219.09
1801.54/1801.58	c   lex dual LP      :       0.00          0          0       0.00          -
1801.54/1801.58	c   barrier LP       :       0.00          0          0       0.00          -
1801.54/1801.58	c   diving/probing LP:       0.00          0          0       0.00          -
1801.54/1801.58	c   strong branching :     951.02        222     199549     898.87     209.83
1801.54/1801.58	c     (at root node) :          -         33      32993     999.79          -
1801.54/1801.58	c   conflict analysis:       0.00          0          0       0.00          -
1801.54/1801.58	c B&B Tree           :
1801.54/1801.58	c   number of runs   :          1
1801.54/1801.58	c   nodes            :         12
1801.54/1801.58	c   nodes (total)    :         12
1801.54/1801.58	c   nodes left       :         13
1801.54/1801.58	c   max depth        :          9
1801.54/1801.58	c   max depth (total):          9
1801.54/1801.58	c   backtracks       :          0 (0.0%)
1801.54/1801.58	c   delayed cutoffs  :          0
1801.54/1801.58	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1801.54/1801.58	c   avg switch length:       1.17
1801.54/1801.58	c   switching time   :       0.12
1801.54/1801.58	c Solution           :
1801.54/1801.58	c   Solutions found  :          0 (0 improvements)
1801.54/1801.58	c   Primal Bound     :          -
1801.54/1801.58	c   Dual Bound       : +0.00000000000000e+00
1801.54/1801.58	c   Gap              :   infinite
1801.54/1801.58	c   Root Dual Bound  : +0.00000000000000e+00
1801.54/1801.58	c   Root Iterations  :      76055

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488793-1307759414/watcher-3488793-1307759414 -o /tmp/evaluation-result-3488793-1307759414/solver-3488793-1307759414 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488793-1307759414.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.11 2.50 3/178 1137
/proc/meminfo: memFree=31112284/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=7620 CPUtime=0 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 891 0 0 0 0 0 0 0 25 0 1 0 887539622 7802880 845 33554432000 4194304 9016284 140736635365632 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 1905 858 189 1178 0 723 0

[startup+0.0418601 s]
/proc/loadavg: 2.00 2.11 2.50 3/178 1137
/proc/meminfo: memFree=31112284/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=18724 CPUtime=0.03 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 3664 0 0 0 3 0 0 0 25 0 1 0 887539622 19173376 3618 33554432000 4194304 9016284 140736635365632 18446744073709551615 4445508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 4681 3618 357 1178 0 3499 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18724

[startup+0.100853 s]
/proc/loadavg: 2.00 2.11 2.50 3/178 1137
/proc/meminfo: memFree=31112284/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=25820 CPUtime=0.09 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 5436 0 0 0 9 0 0 0 25 0 1 0 887539622 26439680 5390 33554432000 4194304 9016284 140736635365632 18446744073709551615 6151376 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 6455 5390 357 1178 0 5273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25820

[startup+0.30082 s]
/proc/loadavg: 2.00 2.11 2.50 3/178 1137
/proc/meminfo: memFree=31112284/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=48508 CPUtime=0.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 11123 0 0 0 28 1 0 0 25 0 1 0 887539622 49672192 11077 33554432000 4194304 9016284 140736635365632 18446744073709551615 7842362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 12127 11077 357 1178 0 10945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48508

[startup+0.700717 s]
/proc/loadavg: 2.00 2.11 2.50 3/178 1137
/proc/meminfo: memFree=31112284/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=94428 CPUtime=0.69 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 22578 0 0 0 67 2 0 0 25 0 1 0 887539622 96694272 22532 33554432000 4194304 9016284 140736635365632 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 23607 22532 357 1178 0 22425 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94428

[startup+1.50058 s]
/proc/loadavg: 2.00 2.11 2.50 3/179 1138
/proc/meminfo: memFree=30988920/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=316152 CPUtime=1.49 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 77772 0 0 0 139 10 0 0 25 0 1 0 887539622 323739648 77726 33554432000 4194304 9016284 140736635365632 18446744073709551615 7867901 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 79038 77726 411 1178 0 77856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 316152

[startup+3.10033 s]
/proc/loadavg: 2.00 2.11 2.50 3/179 1138
/proc/meminfo: memFree=30714136/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=509772 CPUtime=3.09 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 123561 0 0 0 295 14 0 0 25 0 1 0 887539622 522006528 123515 33554432000 4194304 9016284 140736635365632 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 127443 123515 490 1178 0 126261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509772

[startup+6.30075 s]
/proc/loadavg: 2.08 2.12 2.50 3/179 1138
/proc/meminfo: memFree=30609860/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=535824 CPUtime=6.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 137646 0 0 0 614 15 0 0 25 0 1 0 887539622 548683776 130153 33554432000 4194304 9016284 140736635365632 18446744073709551615 7851336 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 133956 130153 505 1178 0 132774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 535824

[startup+12.7006 s]
/proc/loadavg: 2.08 2.12 2.50 4/179 1138
/proc/meminfo: memFree=30228180/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=936204 CPUtime=12.69 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 251380 0 0 0 1243 26 0 0 25 0 1 0 887539622 958672896 221639 33554432000 4194304 9016284 140736635365632 18446744073709551615 7227746 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 234051 221639 1119 1178 0 232869 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 936204

[startup+25.5003 s]
/proc/loadavg: 2.06 2.11 2.49 3/179 1139
/proc/meminfo: memFree=30192340/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=965148 CPUtime=25.49 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 260201 0 0 0 2521 28 0 0 25 0 1 0 887539622 988311552 230134 33554432000 4194304 9016284 140736635365632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 241287 230134 1099 1178 0 240105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 965148

[startup+51.1008 s]
/proc/loadavg: 2.04 2.10 2.47 3/179 1140
/proc/meminfo: memFree=30178388/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=965148 CPUtime=51.09 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 263294 0 0 0 5078 31 0 0 25 0 1 0 887539622 988311552 232580 33554432000 4194304 9016284 140736635365632 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 241287 232580 839 1178 0 240105 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 965148

[startup+102.307 s]
/proc/loadavg: 2.01 2.08 2.45 3/179 1141
/proc/meminfo: memFree=30160392/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=967412 CPUtime=102.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 266690 0 0 0 10193 36 0 0 25 0 1 0 887539622 990629888 235975 33554432000 4194304 9016284 140736635365632 18446744073709551615 6855073 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 241853 235975 838 1178 0 240671 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 967412

[startup+162.301 s]
/proc/loadavg: 2.00 2.07 2.42 3/179 1142
/proc/meminfo: memFree=30139896/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=978556 CPUtime=162.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 269374 0 0 0 16186 43 0 0 25 0 1 0 887539622 1002041344 238655 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 244639 238655 834 1178 0 243457 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 978556

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.39 3/179 1144
/proc/meminfo: memFree=30132664/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=978556 CPUtime=222.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 269404 0 0 0 22180 49 0 0 25 0 1 0 887539622 1002041344 238685 33554432000 4194304 9016284 140736635365632 18446744073709551615 7876071 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 244639 238685 834 1178 0 243457 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 978556

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.36 3/179 1146
/proc/meminfo: memFree=30104596/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=991260 CPUtime=282.29 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 273869 0 0 0 28176 53 0 0 25 0 1 0 887539622 1015050240 243091 33554432000 4194304 9016284 140736635365632 18446744073709551615 7191200 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 247815 243091 998 1178 0 246633 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 991260

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.34 3/179 1147
/proc/meminfo: memFree=30096360/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=991260 CPUtime=342.3 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 273936 0 0 0 34172 58 0 0 25 0 1 0 887539622 1015050240 243091 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181431 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 247815 243091 931 1178 0 246633 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 991260

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.31 3/179 1149
/proc/meminfo: memFree=30087656/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=991260 CPUtime=402.3 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 273967 0 0 0 40168 62 0 0 25 0 1 0 887539622 1015050240 243091 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 247815 243091 900 1178 0 246633 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 991260

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.29 3/179 1150
/proc/meminfo: memFree=30074456/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=997612 CPUtime=462.3 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 274067 0 0 0 46164 66 0 0 25 0 1 0 887539622 1021554688 243124 33554432000 4194304 9016284 140736635365632 18446744073709551615 7080750 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 249403 243124 834 1178 0 248221 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 997612

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.27 3/179 1152
/proc/meminfo: memFree=30070340/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=997612 CPUtime=522.3 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 274067 0 0 0 52159 71 0 0 25 0 1 0 887539622 1021554688 243124 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181026 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 249403 243124 834 1178 0 248221 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 997612

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/179 1154
/proc/meminfo: memFree=30060648/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=997612 CPUtime=582.31 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 274107 0 0 0 58154 77 0 0 25 0 1 0 887539622 1021554688 243164 33554432000 4194304 9016284 140736635365632 18446744073709551615 7227408 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 249403 243164 839 1178 0 248221 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 997612

[startup+642.301 s]

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

/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 274125 0 0 0 100123 109 0 0 25 0 1 0 887539622 1021554688 243182 33554432000 4194304 9016284 140736635365632 18446744073709551615 7180687 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 249403 243182 839 1178 0 248221 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 997612

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/179 1166
/proc/meminfo: memFree=29989844/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1001384 CPUtime=1062.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 276614 0 0 0 106119 113 0 0 25 0 1 0 887539622 1025417216 245671 33554432000 4194304 9016284 140736635365632 18446744073709551615 7124303 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 250346 245671 839 1178 0 249164 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1001384

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/179 1168
/proc/meminfo: memFree=29981616/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1001384 CPUtime=1122.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 276619 0 0 0 112117 115 0 0 25 0 1 0 887539622 1025417216 245676 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 250346 245676 839 1178 0 249164 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1001384

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 1170
/proc/meminfo: memFree=29975876/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1007840 CPUtime=1182.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 276703 0 0 0 118113 119 0 0 25 0 1 0 887539622 1032028160 245760 33554432000 4194304 9016284 140736635365632 18446744073709551615 7156447 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 251960 245760 839 1178 0 250778 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1007840

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 1171
/proc/meminfo: memFree=29970260/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1242.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277061 0 0 0 124108 124 0 0 25 0 1 0 887539622 1034522624 246118 33554432000 4194304 9016284 140736635365632 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246118 839 1178 0 251387 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1010276

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 1173
/proc/meminfo: memFree=29968480/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1302.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277071 0 0 0 130103 129 0 0 25 0 1 0 887539622 1034522624 246128 33554432000 4194304 9016284 140736635365632 18446744073709551615 7180913 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246128 839 1178 0 251387 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1010276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1174
/proc/meminfo: memFree=29962960/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1362.32 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277116 0 0 0 136098 134 0 0 25 0 1 0 887539622 1034522624 246173 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246173 839 1178 0 251387 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1010276

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.09 3/179 1290
/proc/meminfo: memFree=30372436/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1422.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277116 0 0 0 142094 139 0 0 25 0 1 0 887539622 1034522624 246173 33554432000 4194304 9016284 140736635365632 18446744073709551615 7156476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246173 839 1178 0 251387 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1010276

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.08 3/179 1292
/proc/meminfo: memFree=30378736/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1482.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277146 0 0 0 148089 144 0 0 25 0 1 0 887539622 1034522624 246203 33554432000 4194304 9016284 140736635365632 18446744073709551615 7178496 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246203 839 1178 0 251387 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1010276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 1293
/proc/meminfo: memFree=30378848/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1542.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277151 0 0 0 154085 148 0 0 25 0 1 0 887539622 1034522624 246208 33554432000 4194304 9016284 140736635365632 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246208 839 1178 0 251387 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1010276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 1295
/proc/meminfo: memFree=30378928/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1602.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277152 0 0 0 160079 154 0 0 25 0 1 0 887539622 1034522624 246209 33554432000 4194304 9016284 140736635365632 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246209 839 1178 0 251387 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1010276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 1296
/proc/meminfo: memFree=30378868/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1662.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277153 0 0 0 166074 159 0 0 25 0 1 0 887539622 1034522624 246210 33554432000 4194304 9016284 140736635365632 18446744073709551615 7180391 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246210 839 1178 0 251387 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1010276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 1298
/proc/meminfo: memFree=30377936/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1722.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277153 0 0 0 172070 163 0 0 25 0 1 0 887539622 1034522624 246210 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246210 839 1178 0 251387 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1010276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 1300
/proc/meminfo: memFree=30378000/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1782.33 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277153 0 0 0 178067 166 0 0 25 0 1 0 887539622 1034522624 246210 33554432000 4194304 9016284 140736635365632 18446744073709551615 7179585 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246210 839 1178 0 251387 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1010276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 1300
/proc/meminfo: memFree=30377856/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1800.04 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277153 0 0 0 179836 168 0 0 25 0 1 0 887539622 1034522624 246210 33554432000 4194304 9016284 140736635365632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246210 839 1178 0 251387 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1010276

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1137

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 1301
/proc/meminfo: memFree=30377848/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1801.44 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277153 0 0 0 179976 168 0 0 25 0 1 0 887539622 1034522624 246210 33554432000 4194304 9016284 140736635365632 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246210 839 1178 0 251387 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1010276

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 1301
/proc/meminfo: memFree=30377848/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1010276 CPUtime=1801.84 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277160 0 0 0 180016 168 0 0 18 0 1 0 887539622 1034522624 246216 33554432000 4194304 9016284 140736635365632 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 252569 246216 844 1178 0 251387 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1010276

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 1301
/proc/meminfo: memFree=30377848/32951124 swapFree=67063272/67111528
[pid=1137] ppid=1135 vsize=1007744 CPUtime=1802.04 cores=0,2,4,6
/proc/1137/stat : 1137 (scip-2.0.1.4b_2) R 1135 1137 965 0 -1 4202496 277161 0 0 0 180036 168 0 0 18 0 1 0 887539622 1031929856 245584 33554432000 4194304 9016284 140736635365632 18446744073709551615 5517768 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1137/statm: 251936 245584 845 1178 0 250754 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1007744

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.09
CPU user time (s): 1800.37
CPU system time (s): 1.71974
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1010276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.37
system time used= 1.71974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277161
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= 4
involuntary context switches= 2771

runsolver used 3.10153 second user time and 6.72398 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-11 04:30:15
IDJOB=3488793
IDBENCH=1481
IDSOLVER=1979
FILE ID=node132/3488793-1307759414
RUNJOBID= node132-1307758991-983
PBS_JOBID= 13550862
Free space on /tmp= 74076 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488793-1307759414/watcher-3488793-1307759414 -o /tmp/evaluation-result-3488793-1307759414/solver-3488793-1307759414 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488793-1307759414.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8
RANDOM SEED=1174165074

node132.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31112844 kB
Buffers:        248012 kB
Cached:         974680 kB
SwapCached:       9968 kB
Active:         972188 kB
Inactive:       658708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31112844 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:           24608 kB
Writeback:           0 kB
AnonPages:      405248 kB
Mapped:          12160 kB
Slab:           143004 kB
PageTables:       4956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   583384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74060 MiB
End job on node132 at 2011-06-11 05:00:17