Trace number 3690512

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 SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? 1799 1799.28

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM3764cf8f4e2d3654f46ab0ec56ea8581
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 benchmark369.578
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3690512-1338016946.opb>
1.19/1.28	c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
1.19/1.28	c problem read in 1.28
1.29/1.30	c No objective function, only one solution is needed.
1.29/1.30	c presolving settings loaded
3.09/3.18	c presolving:
7.39/7.42	c (round 1) 6008 del vars, 9423 del conss, 0 add conss, 3237 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10333961 impls, 0 clqs
7.59/7.68	c (round 2) 6517 del vars, 17162 del conss, 0 add conss, 3539 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
7.79/7.81	c (round 3) 6521 del vars, 17479 del conss, 0 add conss, 3543 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
7.89/7.95	c (round 4) 6591 del vars, 17554 del conss, 0 add conss, 3551 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336079 impls, 0 clqs
7.99/8.09	c (round 5) 6663 del vars, 17762 del conss, 0 add conss, 3562 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336239 impls, 0 clqs
8.18/8.22	c (round 6) 6738 del vars, 17975 del conss, 0 add conss, 3576 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336941 impls, 0 clqs
8.28/8.36	c (round 7) 6815 del vars, 18195 del conss, 0 add conss, 3593 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337337 impls, 0 clqs
8.49/8.50	c (round 8) 6892 del vars, 18419 del conss, 0 add conss, 3610 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337602 impls, 0 clqs
8.59/8.63	c (round 9) 6970 del vars, 18648 del conss, 0 add conss, 3629 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337788 impls, 0 clqs
8.69/8.77	c (round 10) 7048 del vars, 18873 del conss, 0 add conss, 3651 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338004 impls, 0 clqs
8.88/8.90	c (round 11) 7152 del vars, 19157 del conss, 0 add conss, 3700 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338312 impls, 0 clqs
8.99/9.04	c (round 12) 7270 del vars, 19495 del conss, 0 add conss, 3764 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338856 impls, 0 clqs
9.08/9.17	c (round 13) 7372 del vars, 19790 del conss, 0 add conss, 3813 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339234 impls, 0 clqs
9.28/9.31	c (round 14) 7446 del vars, 20016 del conss, 0 add conss, 3835 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339396 impls, 0 clqs
9.39/9.44	c (round 15) 7514 del vars, 20218 del conss, 0 add conss, 3852 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339538 impls, 0 clqs
9.49/9.57	c (round 16) 7580 del vars, 20419 del conss, 0 add conss, 3868 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339694 impls, 0 clqs
9.68/9.71	c (round 17) 7646 del vars, 20616 del conss, 0 add conss, 3885 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339822 impls, 0 clqs
9.80/9.84	c (round 18) 7712 del vars, 20813 del conss, 0 add conss, 3903 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340020 impls, 0 clqs
9.90/9.97	c (round 19) 7778 del vars, 21010 del conss, 0 add conss, 3922 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340168 impls, 0 clqs
10.08/10.10	c (round 20) 7844 del vars, 21207 del conss, 0 add conss, 3942 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340364 impls, 0 clqs
10.19/10.23	c (round 21) 7910 del vars, 21404 del conss, 0 add conss, 3963 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340492 impls, 0 clqs
10.28/10.37	c (round 22) 7976 del vars, 21601 del conss, 0 add conss, 3985 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340620 impls, 0 clqs
10.49/10.50	c (round 23) 8042 del vars, 21798 del conss, 0 add conss, 4008 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340812 impls, 0 clqs
10.59/10.63	c (round 24) 8108 del vars, 21995 del conss, 0 add conss, 4032 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340940 impls, 0 clqs
10.69/10.76	c (round 25) 8174 del vars, 22192 del conss, 0 add conss, 4057 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341068 impls, 0 clqs
10.78/10.89	c (round 26) 8240 del vars, 22389 del conss, 0 add conss, 4083 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341196 impls, 0 clqs
11.00/11.02	c (round 27) 8306 del vars, 22586 del conss, 0 add conss, 4110 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341364 impls, 0 clqs
11.09/11.15	c (round 28) 8372 del vars, 22783 del conss, 0 add conss, 4138 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341536 impls, 0 clqs
11.19/11.28	c (round 29) 8454 del vars, 22996 del conss, 0 add conss, 4167 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10343048 impls, 0 clqs
11.39/11.41	c (round 30) 8536 del vars, 23241 del conss, 0 add conss, 4197 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10345752 impls, 0 clqs
11.49/11.55	c (round 31) 8618 del vars, 23486 del conss, 0 add conss, 4228 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10348328 impls, 0 clqs
11.59/11.68	c (round 32) 8700 del vars, 23731 del conss, 0 add conss, 4260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10350798 impls, 0 clqs
11.79/11.81	c (round 33) 8766 del vars, 23960 del conss, 0 add conss, 4293 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10352498 impls, 0 clqs
11.88/11.94	c (round 34) 8848 del vars, 24173 del conss, 0 add conss, 4327 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10355926 impls, 0 clqs
11.99/12.08	c (round 35) 8930 del vars, 24418 del conss, 0 add conss, 4362 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10356516 impls, 0 clqs
12.19/12.21	c (round 36) 9012 del vars, 24663 del conss, 0 add conss, 4398 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359546 impls, 0 clqs
12.29/12.34	c (round 37) 9049 del vars, 24844 del conss, 0 add conss, 4435 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359606 impls, 0 clqs
12.38/12.47	c (round 38) 9093 del vars, 24959 del conss, 0 add conss, 4475 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359796 impls, 0 clqs
12.59/12.60	c (round 39) 9148 del vars, 25098 del conss, 0 add conss, 4518 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360300 impls, 0 clqs
12.68/12.73	c (round 40) 9198 del vars, 25251 del conss, 0 add conss, 4565 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360493 impls, 0 clqs
12.78/12.87	c (round 41) 9268 del vars, 25415 del conss, 0 add conss, 4617 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10361285 impls, 0 clqs
12.99/13.00	c (round 42) 9350 del vars, 25626 del conss, 0 add conss, 4671 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10362483 impls, 0 clqs
13.09/13.13	c (round 43) 9434 del vars, 25868 del conss, 0 add conss, 4722 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10363443 impls, 0 clqs
13.20/13.27	c (round 44) 9510 del vars, 26094 del conss, 0 add conss, 4771 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10364787 impls, 0 clqs
13.38/13.40	c (round 45) 9576 del vars, 26320 del conss, 0 add conss, 4824 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10368127 impls, 0 clqs
13.48/13.54	c (round 46) 9695 del vars, 26601 del conss, 0 add conss, 4928 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10369066 impls, 0 clqs
13.59/13.67	c (round 47) 9914 del vars, 27048 del conss, 0 add conss, 5038 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10372815 impls, 0 clqs
13.79/13.81	c (round 48) 10047 del vars, 27579 del conss, 0 add conss, 5150 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10374641 impls, 0 clqs
13.89/13.94	c (round 49) 10106 del vars, 27850 del conss, 0 add conss, 5199 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10375769 impls, 0 clqs
13.99/14.07	c (round 50) 10134 del vars, 27980 del conss, 0 add conss, 5227 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376229 impls, 0 clqs
14.09/14.19	c (round 51) 10155 del vars, 28051 del conss, 0 add conss, 5244 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376709 impls, 0 clqs
14.29/14.32	c (round 52) 10172 del vars, 28107 del conss, 0 add conss, 5260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377003 impls, 0 clqs
14.49/14.54	c (round 53) 10192 del vars, 28177 del conss, 0 add conss, 5278 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377377 impls, 0 clqs
14.69/14.75	c (round 54) 10208 del vars, 28217 del conss, 0 add conss, 5294 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377489 impls, 0 clqs
15.19/15.29	c (round 55) 10224 del vars, 28265 del conss, 0 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377689 impls, 0 clqs
17.29/17.30	c (round 56) 10224 del vars, 28346 del conss, 0 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459162 upgd conss, 10377727 impls, 0 clqs
18.19/18.26	c (round 57) 10224 del vars, 28346 del conss, 0 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459400 upgd conss, 10377727 impls, 0 clqs
18.59/18.70	c (round 58) 10224 del vars, 28403 del conss, 0 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459400 upgd conss, 10377727 impls, 0 clqs
20.38/20.48	c (round 59) 10224 del vars, 467438 del conss, 146344 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459400 upgd conss, 10377727 impls, 0 clqs
26.40/26.41	c (round 60) 10704 del vars, 469680 del conss, 148577 add conss, 5310 chg bounds, 9399 chg sides, 19538 chg coeffs, 459400 upgd conss, 10727461 impls, 2 clqs
31.58/31.64	c (round 61) 10769 del vars, 469711 del conss, 148577 add conss, 5310 chg bounds, 9399 chg sides, 19554 chg coeffs, 459458 upgd conss, 10727699 impls, 2233 clqs
36.88/36.92	c (round 62) 10798 del vars, 469740 del conss, 148577 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459458 upgd conss, 10727699 impls, 2234 clqs
42.28/42.31	c (round 63) 10824 del vars, 470205 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459458 upgd conss, 10728317 impls, 2234 clqs
47.38/47.48	c (round 64) 10830 del vars, 470254 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
52.58/52.65	c (round 65) 10882 del vars, 470260 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19585 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
57.78/57.82	c (round 66) 10932 del vars, 470262 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19587 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
62.88/62.97	c (round 67) 10980 del vars, 470310 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
68.28/68.33	c (round 68) 10982 del vars, 470330 del conss, 149062 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
73.59/73.69	c (round 69) 10984 del vars, 470348 del conss, 149064 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459458 upgd conss, 10728317 impls, 2239 clqs
95.17/95.27	c (round 70) 11017 del vars, 470383 del conss, 149072 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459458 upgd conss, 10733211 impls, 2239 clqs
100.68/100.72	c presolving (71 rounds):
100.68/100.72	c  11021 deleted vars, 470391 deleted constraints, 149076 added constraints, 5310 tightened bounds, 0 added holes, 9399 changed sides, 19635 changed coefficients
100.68/100.72	c  10733225 implications, 2239 cliques
100.68/100.72	c presolved problem has 157090 variables (157090 bin, 0 int, 0 impl, 0 cont) and 166073 constraints
100.68/100.72	c   18798 constraints of type <knapsack>
100.68/100.72	c    3966 constraints of type <setppc>
100.68/100.72	c  143306 constraints of type <and>
100.68/100.72	c       3 constraints of type <logicor>
100.68/100.72	c transformed objective value is always integral (scale: 1)
100.68/100.72	c Presolving Time: 98.93
100.68/100.72	c - non default parameters ----------------------------------------------------------------------
100.68/100.72	c # SCIP version 2.1.1.4
100.68/100.72	c 
100.68/100.72	c # maximal time in seconds to run
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.68/100.72	c limits/time = 1797
100.68/100.72	c 
100.68/100.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.68/100.72	c limits/memory = 13950
100.68/100.72	c 
100.68/100.72	c # solving stops, if the given number of solutions were found (-1: no limit)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: -1]
100.68/100.72	c limits/solutions = 1
100.68/100.72	c 
100.68/100.72	c # maximal number of separation rounds per node (-1: unlimited)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 5]
100.68/100.72	c separating/maxrounds = 1
100.68/100.72	c 
100.68/100.72	c # maximal number of separation rounds in the root node (-1: unlimited)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: -1]
100.68/100.72	c separating/maxroundsroot = 5
100.68/100.72	c 
100.68/100.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
100.68/100.72	c # [type: int, range: [1,2], default: 1]
100.68/100.72	c timing/clocktype = 2
100.68/100.72	c 
100.68/100.72	c # belongs reading time to solving time?
100.68/100.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.68/100.72	c timing/reading = TRUE
100.68/100.72	c 
100.68/100.72	c # should disaggregation of knapsack constraints be allowed in preprocessing?
100.68/100.72	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
100.68/100.72	c constraints/knapsack/disaggregation = FALSE
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/coefdiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/coefdiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/coefdiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 30]
100.68/100.72	c heuristics/crossover/freq = -1
100.68/100.72	c 
100.68/100.72	c # number of nodes added to the contingent of the total nodes
100.68/100.72	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.68/100.72	c heuristics/crossover/nodesofs = 750
100.68/100.72	c 
100.68/100.72	c # number of nodes without incumbent change that heuristic should wait
100.68/100.72	c # [type: longint, range: [0,9223372036854775807], default: 200]
100.68/100.72	c heuristics/crossover/nwaitingnodes = 100
100.68/100.72	c 
100.68/100.72	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
100.68/100.72	c # [type: real, range: [0,1], default: 0.1]
100.68/100.72	c heuristics/crossover/nodesquot = 0.15
100.68/100.72	c 
100.68/100.72	c # minimum percentage of integer variables that have to be fixed 
100.68/100.72	c # [type: real, range: [0,1], default: 0.666]
100.68/100.72	c heuristics/crossover/minfixingrate = 0.5
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 20]
100.68/100.72	c heuristics/feaspump/freq = -1
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/feaspump/maxlpiterofs = 2000
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/fracdiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/fracdiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/fracdiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/guideddiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/guideddiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/guideddiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/intdiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/intshifting/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/linesearchdiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/linesearchdiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/linesearchdiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 20]
100.68/100.72	c heuristics/objpscostdiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to total iteration number
100.68/100.72	c # [type: real, range: [0,1], default: 0.01]
100.68/100.72	c heuristics/objpscostdiving/maxlpiterquot = 0.015
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/objpscostdiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/oneopt/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/pscostdiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/pscostdiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/pscostdiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c heuristics/rens/freq = -1
100.68/100.72	c 
100.68/100.72	c # minimum percentage of integer variables that have to be fixable 
100.68/100.72	c # [type: real, range: [0,1], default: 0.5]
100.68/100.72	c heuristics/rens/minfixingrate = 0.3
100.68/100.72	c 
100.68/100.72	c # number of nodes added to the contingent of the total nodes
100.68/100.72	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.68/100.72	c heuristics/rens/nodesofs = 2000
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 20]
100.68/100.72	c heuristics/rootsoldiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
100.68/100.72	c heuristics/rootsoldiving/maxlpiterquot = 0.015
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/rootsoldiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/rounding/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c heuristics/shiftandpropagate/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/shifting/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/simplerounding/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/subnlp/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c heuristics/trivial/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/trysol/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c heuristics/undercover/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 10]
100.68/100.72	c heuristics/veclendiving/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal fraction of diving LP iterations compared to node LP iterations
100.68/100.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.68/100.72	c heuristics/veclendiving/maxlpiterquot = 0.075
100.68/100.72	c 
100.68/100.72	c # additional number of allowed LP iterations
100.68/100.72	c # [type: int, range: [0,2147483647], default: 1000]
100.68/100.72	c heuristics/veclendiving/maxlpiterofs = 1500
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/zirounding/freq = -1
100.68/100.72	c 
100.68/100.72	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: -1]
100.68/100.72	c propagating/probing/maxprerounds = 0
100.68/100.72	c 
100.68/100.72	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c separating/cmir/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 0]
100.68/100.72	c separating/flowcover/freq = -1
100.68/100.72	c 
100.68/100.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: -1]
100.68/100.72	c separating/rapidlearning/freq = 0
100.68/100.72	c 
100.68/100.72	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
100.68/100.72	c # [type: int, range: [-1,2147483647], default: 1]
100.68/100.72	c heuristics/indoneopt/freq = -1
100.68/100.72	c 
100.68/100.72	c -----------------------------------------------------------------------------------------------
100.68/100.72	c start solving
100.68/100.76	c 
169.47/169.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
169.47/169.57	c   170s|     1 |     0 | 21481 |     - |1300M|   0 |  13k| 157k| 166k| 157k| 309k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
286.45/286.57	c   287s|     1 |     0 | 43807 |     - |1303M|   0 |  22k| 157k| 166k| 157k| 311k|2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
418.83/418.96	c   419s|     1 |     0 | 66565 |     - |1303M|   0 |  28k| 157k| 166k| 157k| 313k|4000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
612.09/612.29	c   612s|     1 |     0 | 93353 |     - |1304M|   0 |  37k| 157k| 166k| 157k| 315k|6000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
834.06/834.26	c   834s|     1 |     0 |120267 |     - |1304M|   0 |  41k| 157k| 166k| 157k| 317k|8000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1062.43/1062.62	c  1063s|     1 |     0 |146292 |     - |1304M|   0 |  47k| 157k| 166k| 157k| 319k|  10k|   0 |   0 | 0.000000e+00 |      --      |    Inf 
1235.80/1236.00	c  1236s|     1 |     2 |146292 |     - |1304M|   0 |  47k| 157k| 166k| 157k| 319k|  10k|   0 |  33 | 0.000000e+00 |      --      |    Inf 
1797.31/1797.66	c 
1797.31/1797.66	c SCIP Status        : solving was interrupted [time limit reached]
1797.31/1797.66	c Solving Time (sec) : 1797.64
1797.31/1797.66	c Solving Nodes      : 3
1797.31/1797.66	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.31/1797.66	c Dual Bound         : +0.00000000000000e+00
1797.31/1797.66	c Gap                : infinite
1797.31/1797.66	s UNKNOWN
1797.31/1797.66	c SCIP Status        : solving was interrupted [time limit reached]
1797.31/1797.66	c Total Time         :    1797.64
1797.31/1797.66	c   solving          :    1797.64
1797.31/1797.66	c   presolving       :      98.93 (included in solving)
1797.31/1797.66	c   reading          :       1.28 (included in solving)
1797.31/1797.66	c   copying          :       0.00 (0 times copied the problem)
1797.31/1797.66	c Original Problem   :
1797.31/1797.66	c   Problem name     : HOME/instance-3690512-1338016946.opb
1797.31/1797.66	c   Variables        : 168111 (168111 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.31/1797.66	c   Constraints      : 487525 initial, 487525 maximal
1797.31/1797.66	c   Objective sense  : minimize
1797.31/1797.66	c Presolved Problem  :
1797.31/1797.66	c   Problem name     : t_HOME/instance-3690512-1338016946.opb
1797.31/1797.66	c   Variables        : 157090 (157090 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.31/1797.66	c   Constraints      : 166073 initial, 166073 maximal
1797.31/1797.66	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.31/1797.66	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   trivial          :       0.63       0.00        127          0          0          0          0          0          0          0          0
1797.31/1797.66	c   dualfix          :       0.44       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   gateextraction   :       1.50       0.00          0          0          0          0          0     439035     146344          0          0
1797.31/1797.66	c   implics          :       2.16       0.00          0       4810          0          0          0          0          0          0          0
1797.31/1797.66	c   components       :       0.24       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   knapsack         :       0.32       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   setppc           :       1.04       0.00          0          1          0          0          0        141          0          0          0
1797.31/1797.66	c   and              :      79.36       0.00        150        612          0          0          0       2869       2732          0         97
1797.31/1797.66	c   linear           :      10.82       0.00       5303         18          0       5310          0      28346          0       9399      19538
1797.31/1797.66	c   logicor          :       0.58       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1797.31/1797.66	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.31/1797.66	c   integral         :          0          0          0          0          3          0          1          0          0          0          0          0          6
1797.31/1797.66	c   knapsack         :      18798      18798          1         29          0          0          0          0          0          0        200          0          0
1797.31/1797.66	c   setppc           :       3966       3966          1         29          0          0          0          0          0          2          0          0          0
1797.31/1797.66	c   and              :     143306     143306          7         29          0          0          0          0          0        900      95891          0          0
1797.31/1797.66	c   logicor          :          3          3          1          1          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.31/1797.66	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.31/1797.66	c   integral         :     504.35       0.00       0.00       0.00     504.35       0.00       0.00       0.00
1797.31/1797.66	c   knapsack         :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00
1797.31/1797.66	c   setppc           :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c   and              :       0.31       0.00       0.24       0.07       0.00       0.00       0.00       0.00
1797.31/1797.66	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.31/1797.66	c   rootredcost      :          0          0          0          0
1797.31/1797.66	c   pseudoobj        :          0          0          0          0
1797.31/1797.66	c   vbounds          :          0          0          0          0
1797.31/1797.66	c   redcost          :         10          0          0          0
1797.31/1797.66	c   probing          :          0          0          0          0
1797.31/1797.66	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.31/1797.66	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c   vbounds          :       0.02       0.02       0.00       0.00       0.00
1797.31/1797.66	c   redcost          :       0.05       0.00       0.00       0.05       0.00
1797.31/1797.66	c   probing          :       0.00       0.00       0.00       0.00       0.00
1797.31/1797.66	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.31/1797.66	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.31/1797.66	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.66	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.66	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.66	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.31/1797.66	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.31/1797.66	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.31/1797.66	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1797.31/1797.66	c   cut pool         :       0.00                     4          -          -       2955          -    (maximal pool size: 6640)
1797.31/1797.66	c   closecuts        :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   impliedbounds    :       0.05       0.00          1          0          0      10489          0
1797.31/1797.66	c   intobj           :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   gomory           :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   cgmip            :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   strongcg         :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   cmir             :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   flowcover        :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   clique           :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   mcf              :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1797.31/1797.66	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1797.31/1797.66	c   problem variables:       0.00          -          0          0
1797.31/1797.66	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.31/1797.66	c   relpscost        :     504.35       0.00          3          0          0          0          0          6
1797.31/1797.66	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   inference        :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c   random           :       0.00       0.00          0          0          0          0          0          0
1797.31/1797.66	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1797.31/1797.66	c   LP solutions     :       0.00          -          -          0
1797.31/1797.66	c   pseudo solutions :       0.00          -          -          0
1797.31/1797.66	c   smallcard        :       0.00       0.00          0          0
1797.31/1797.66	c   trivial          :       0.11       0.00          1          0
1797.31/1797.66	c   shiftandpropagate:       0.00       0.00          0          0
1797.31/1797.66	c   simplerounding   :       0.00       0.00          0          0
1797.31/1797.66	c   zirounding       :       0.00       0.00          0          0
1797.31/1797.66	c   rounding         :       0.00       0.00          0          0
1797.31/1797.66	c   shifting         :       0.00       0.00          0          0
1797.31/1797.66	c   intshifting      :       0.00       0.00          0          0
1797.31/1797.66	c   oneopt           :       0.00       0.00          0          0
1797.31/1797.66	c   twoopt           :       0.00       0.00          0          0
1797.31/1797.66	c   indtwoopt        :       0.00       0.00          0          0
1797.31/1797.66	c   indoneopt        :       0.00       0.00          0          0
1797.31/1797.66	c   fixandinfer      :       0.00       0.00          0          0
1797.31/1797.66	c   feaspump         :       0.00       0.00          0          0
1797.31/1797.66	c   clique           :       0.00       0.00          0          0
1797.31/1797.66	c   indrounding      :       0.00       0.00          0          0
1797.31/1797.66	c   indcoefdiving    :       0.00       0.00          0          0
1797.31/1797.66	c   coefdiving       :       0.00       0.00          0          0
1797.31/1797.66	c   pscostdiving     :       0.00       0.00          0          0
1797.31/1797.66	c   nlpdiving        :       0.00       0.00          0          0
1797.31/1797.66	c   fracdiving       :       0.00       0.00          0          0
1797.31/1797.66	c   veclendiving     :       0.00       0.00          0          0
1797.31/1797.66	c   intdiving        :       0.00       0.00          0          0
1797.31/1797.66	c   actconsdiving    :       0.00       0.00          0          0
1797.31/1797.66	c   objpscostdiving  :       0.00       0.00          0          0
1797.31/1797.66	c   rootsoldiving    :       0.00       0.00          0          0
1797.31/1797.66	c   linesearchdiving :       0.00       0.00          0          0
1797.31/1797.66	c   guideddiving     :       0.00       0.00          0          0
1797.31/1797.66	c   octane           :       0.00       0.00          0          0
1797.31/1797.66	c   rens             :       0.00       0.00          0          0
1797.31/1797.66	c   rins             :       0.00       0.00          0          0
1797.31/1797.66	c   localbranching   :       0.00       0.00          0          0
1797.31/1797.66	c   mutation         :       0.00       0.00          0          0
1797.31/1797.66	c   crossover        :       0.00       0.00          0          0
1797.31/1797.66	c   dins             :       0.00       0.00          0          0
1797.31/1797.66	c   vbounds          :       0.00       0.00          0          0
1797.31/1797.66	c   undercover       :       0.00       0.00          0          0
1797.31/1797.66	c   subnlp           :       0.00       0.00          0          0
1797.31/1797.66	c   trysol           :       0.00       0.00          0          0
1797.31/1797.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1797.31/1797.66	c   primal LP        :       0.14          1          0       0.00       0.00       0.14          1
1797.31/1797.66	c   dual LP          :    1184.67         10     175643   17564.30     148.26       0.00          0
1797.31/1797.66	c   lex dual LP      :       0.00          0          0       0.00          -
1797.31/1797.66	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1797.31/1797.66	c   diving/probing LP:       0.00          0          0       0.00          -
1797.31/1797.66	c   strong branching :     504.25         80      75137     939.21     149.01
1797.31/1797.66	c     (at root node) :          -         33      29687     899.61          -
1797.31/1797.66	c   conflict analysis:       0.00          0          0       0.00          -
1797.31/1797.66	c B&B Tree           :
1797.31/1797.66	c   number of runs   :          1
1797.31/1797.66	c   nodes            :          3
1797.31/1797.66	c   nodes (total)    :          3
1797.31/1797.66	c   nodes left       :          4
1797.31/1797.66	c   max depth        :          2
1797.31/1797.66	c   max depth (total):          2
1797.31/1797.66	c   backtracks       :          0 (0.0%)
1797.31/1797.66	c   delayed cutoffs  :          0
1797.31/1797.66	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.31/1797.66	c   avg switch length:       1.00
1797.31/1797.66	c   switching time   :       0.19
1797.31/1797.66	c Solution           :
1797.31/1797.66	c   Solutions found  :          0 (0 improvements)
1797.31/1797.66	c   Primal Bound     :          -
1797.31/1797.66	c   Dual Bound       : +0.00000000000000e+00
1797.31/1797.66	c   Gap              :   infinite
1797.31/1797.66	c   Root Dual Bound  : +0.00000000000000e+00
1797.31/1797.66	c   Root Iterations  :     146292
1798.91/1799.28	c Time complete: 1798.99.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3690512-1338016946/watcher-3690512-1338016946 -o /tmp/evaluation-result-3690512-1338016946/solver-3690512-1338016946 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690512-1338016946.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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: 0.37 0.08 0.03 3/176 7302
/proc/meminfo: memFree=28922156/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=10460 CPUtime=0 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 1 0 267820062 10711040 1306 33554432000 4194304 10173063 140733970950000 140737321159816 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 2615 1306 413 1460 0 1146 0

[startup+0.0258891 s]
/proc/loadavg: 0.37 0.08 0.03 3/176 7302
/proc/meminfo: memFree=28922156/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=16316 CPUtime=0.02 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 2843 0 0 0 2 0 0 0 20 0 1 0 267820062 16707584 2797 33554432000 4194304 10173063 140733970950000 140737321159816 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 4079 2797 413 1460 0 2610 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16316

[startup+0.100259 s]
/proc/loadavg: 0.37 0.08 0.03 3/176 7302
/proc/meminfo: memFree=28922156/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=34248 CPUtime=0.08 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 7316 0 0 0 8 0 0 0 20 0 1 0 267820062 35069952 7270 33554432000 4194304 10173063 140733970950000 140733970815176 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 8562 7270 413 1460 0 7093 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34248

[startup+0.300241 s]
/proc/loadavg: 0.37 0.08 0.03 3/176 7302
/proc/meminfo: memFree=28922156/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=78832 CPUtime=0.29 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 18429 0 0 0 27 2 0 0 20 0 1 0 267820062 80723968 18383 33554432000 4194304 10173063 140733970950000 140733970815176 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 19708 18383 413 1460 0 18239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78832

[startup+0.700237 s]
/proc/loadavg: 0.37 0.08 0.03 3/176 7302
/proc/meminfo: memFree=28922156/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=166848 CPUtime=0.69 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 40357 0 0 0 63 6 0 0 20 0 1 0 267820062 170852352 40311 33554432000 4194304 10173063 140733970950000 140733970815176 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 41712 40312 413 1460 0 40243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 166848

[startup+1.50024 s]
/proc/loadavg: 0.37 0.08 0.03 3/177 7303
/proc/meminfo: memFree=28699444/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=445884 CPUtime=1.48 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 109737 0 0 0 134 14 0 0 20 0 1 0 267820062 456585216 109651 33554432000 4194304 10173063 140733970950000 140733970815176 4900240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 111471 109651 465 1460 0 110002 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 445884

[startup+3.10027 s]
/proc/loadavg: 0.37 0.08 0.03 3/177 7303
/proc/meminfo: memFree=28311248/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=829424 CPUtime=3.09 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 228034 0 0 0 278 31 0 0 20 0 1 0 267820062 849330176 201725 33554432000 4194304 10173063 140733970950000 140733970947544 5898352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 207356 201725 524 1460 0 205887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 829424

[startup+6.30025 s]
/proc/loadavg: 0.50 0.11 0.04 3/177 7303
/proc/meminfo: memFree=27907700/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1120812 CPUtime=6.29 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 298484 0 0 0 571 58 0 0 20 0 1 0 267820062 1147711488 272686 33554432000 4194304 10173063 140733970950000 140733970947000 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 280203 272686 565 1460 0 278734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1120812

[startup+12.7002 s]
/proc/loadavg: 0.62 0.14 0.05 3/177 7303
/proc/meminfo: memFree=27781236/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1171408 CPUtime=12.68 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 311592 0 0 0 984 284 0 0 20 0 1 0 267820062 1199521792 285145 33554432000 4194304 10173063 140733970950000 140733970947624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 292852 285145 566 1460 0 291383 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1171408

[startup+25.5001 s]
/proc/loadavg: 0.92 0.23 0.08 3/177 7303
/proc/meminfo: memFree=27580916/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1383728 CPUtime=25.48 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 389272 0 0 0 2102 446 0 0 20 0 1 0 267820062 1416937472 334714 33554432000 4194304 10173063 140733970950000 140733970947256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 345932 334714 614 1460 0 344463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1383728

[startup+51.1002 s]
/proc/loadavg: 1.29 0.38 0.13 3/176 7303
/proc/meminfo: memFree=27581212/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1383728 CPUtime=51.08 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 389295 0 0 0 4638 470 0 0 20 0 1 0 267820062 1416937472 334737 33554432000 4194304 10173063 140733970950000 140733970947256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 345932 334737 616 1460 0 344463 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1383728

[startup+102.307 s]
/proc/loadavg: 1.69 0.62 0.22 3/177 7304
/proc/meminfo: memFree=27012916/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1971404 CPUtime=102.28 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 481646 0 0 0 9692 536 0 0 20 0 1 0 267820062 2018717696 476514 33554432000 4194304 10173063 140733970950000 140733970944200 7770379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 492851 476514 727 1460 0 491382 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1971404

[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.33 3/177 7342
/proc/meminfo: memFree=26906640/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2112608 CPUtime=162.27 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 495673 0 0 0 15682 545 0 0 20 0 1 0 267820062 2163310592 508140 33554432000 4194304 10173063 140733970950000 140733970943176 8039730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 528152 508140 766 1460 0 526683 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2112608

[startup+222.3 s]
/proc/loadavg: 2.02 1.09 0.44 3/177 7342
/proc/meminfo: memFree=26918084/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2067600 CPUtime=222.25 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 498969 0 0 0 21673 552 0 0 20 0 1 0 267820062 2117222400 505263 33554432000 4194304 10173063 140733970950000 140733970943176 8013456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 516900 505263 791 1460 0 515431 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2067600

[startup+282.3 s]
/proc/loadavg: 2.01 1.25 0.53 3/178 7343
/proc/meminfo: memFree=26908076/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2077332 CPUtime=282.24 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 499297 0 0 0 27667 557 0 0 20 0 1 0 267820062 2127187968 507635 33554432000 4194304 10173063 140733970950000 140733970943176 8047678 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 519333 507635 791 1460 0 517864 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2077332

[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.62 3/177 7343
/proc/meminfo: memFree=26897512/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2087084 CPUtime=342.24 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 499800 0 0 0 33661 563 0 0 20 0 1 0 267820062 2137174016 510281 33554432000 4194304 10173063 140733970950000 140733970943176 7595772 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 521771 510281 791 1460 0 520302 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2087084

[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.70 3/177 7344
/proc/meminfo: memFree=26868812/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2116292 CPUtime=402.22 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 500992 0 0 0 39655 567 0 0 20 0 1 0 267820062 2167083008 517094 33554432000 4194304 10173063 140733970950000 140733970942520 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 529073 517094 791 1460 0 527604 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2116292

[startup+462.3 s]
/proc/loadavg: 2.05 1.60 0.79 3/178 7347
/proc/meminfo: memFree=26854788/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2126356 CPUtime=462.21 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 501322 0 0 0 45648 573 0 0 20 0 1 0 267820062 2177388544 520027 33554432000 4194304 10173063 140733970950000 140733970942520 8063651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 531589 520027 791 1460 0 530120 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2126356

[startup+522.3 s]
/proc/loadavg: 2.02 1.67 0.86 3/177 7347
/proc/meminfo: memFree=26855028/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2126624 CPUtime=522.2 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 501401 0 0 0 51643 577 0 0 20 0 1 0 267820062 2177662976 520143 33554432000 4194304 10173063 140733970950000 140733970943176 8013232 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 531656 520143 791 1460 0 530187 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2126624

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.93 3/177 7347
/proc/meminfo: memFree=26854020/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2126912 CPUtime=582.2 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 501513 0 0 0 57638 582 0 0 20 0 1 0 267820062 2177957888 520255 33554432000 4194304 10173063 140733970950000 140733970943176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 531728 520255 791 1460 0 530259 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2126912

[startup+642.3 s]

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

/proc/meminfo: memFree=26770380/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1122.11 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503480 0 0 0 111591 620 0 0 20 0 1 0 267820062 2239758336 539157 33554432000 4194304 10173063 140733970950000 140733970943448 8024621 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539157 795 1460 0 545347 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2187264

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.46 3/177 7352
/proc/meminfo: memFree=26767268/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1182.1 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503480 0 0 0 117584 626 0 0 20 0 1 0 267820062 2239758336 539184 33554432000 4194304 10173063 140733970950000 140733970943832 8012037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539184 795 1460 0 545347 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2187264

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.49 3/177 7352
/proc/meminfo: memFree=26767144/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1242.1 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503485 0 0 0 123579 631 0 0 20 0 1 0 267820062 2239758336 539189 33554432000 4194304 10173063 140733970950000 140733970943256 7984376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539189 800 1460 0 545347 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2187264

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.52 3/177 7353
/proc/meminfo: memFree=26765532/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1302.09 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 129573 636 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943176 8007098 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2187264

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.55 3/177 7353
/proc/meminfo: memFree=26765904/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1362.07 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 135568 639 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943176 8013411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2187264

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.57 3/177 7353
/proc/meminfo: memFree=26764664/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1422.07 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 141565 642 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943448 8012679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2187264

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.60 3/177 7353
/proc/meminfo: memFree=26764664/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1482.06 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 147559 647 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943448 8012669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2187264

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.62 3/177 7353
/proc/meminfo: memFree=26764420/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1542.05 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 153554 651 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943496 8012644 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2187264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/177 7354
/proc/meminfo: memFree=26763056/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1602.04 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 159548 656 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943832 8012341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2187264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/178 7357
/proc/meminfo: memFree=26761432/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2187264 CPUtime=1662.03 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 503517 0 0 0 165543 660 0 0 20 0 1 0 267820062 2239758336 539221 33554432000 4194304 10173063 140733970950000 140733970943256 7971817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 546816 539221 800 1460 0 545347 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2187264

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.68 3/177 7357
/proc/meminfo: memFree=26767104/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2176736 CPUtime=1722.02 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504730 0 0 0 171536 666 0 0 20 0 1 0 267820062 2228977664 537720 33554432000 4194304 10173063 140733970950000 140733970943128 7910662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 544184 537720 800 1460 0 542715 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2176736

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.70 3/177 7357
/proc/meminfo: memFree=26766236/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2176736 CPUtime=1782.02 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504730 0 0 0 177530 672 0 0 20 0 1 0 267820062 2228977664 537720 33554432000 4194304 10173063 140733970950000 140733970942712 7594585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 544184 537720 800 1460 0 542715 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2176736

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 1.70 3/177 7357
/proc/meminfo: memFree=26766484/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2176736 CPUtime=1791.62 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504730 0 0 0 178490 672 0 0 20 0 1 0 267820062 2228977664 537720 33554432000 4194304 10173063 140733970950000 140733970943832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 544184 537720 800 1460 0 542715 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 2176736

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 1.70 3/177 7357
/proc/meminfo: memFree=26766484/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2176736 CPUtime=1794.82 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504730 0 0 0 178810 672 0 0 20 0 1 0 267820062 2228977664 537720 33554432000 4194304 10173063 140733970950000 140733970943544 7910496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 544184 537720 800 1460 0 542715 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 2176736

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 1.71 3/177 7357
/proc/meminfo: memFree=26766484/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2176736 CPUtime=1796.41 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504730 0 0 0 178969 672 0 0 20 0 1 0 267820062 2228977664 537720 33554432000 4194304 10173063 140733970950000 140733970942712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 544184 537720 800 1460 0 542715 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 2176736

[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 1.71 3/177 7357
/proc/meminfo: memFree=26766484/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2174008 CPUtime=1798.01 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504742 0 0 0 179129 672 0 0 20 0 1 0 267820062 2226184192 537050 33554432000 4194304 10173063 140733970950000 140733970949112 5284606 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 543502 537050 812 1460 0 542033 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 2174008

[startup+1798.7 s]
/proc/loadavg: 2.02 2.01 1.71 3/177 7357
/proc/meminfo: memFree=26772436/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=2143240 CPUtime=1798.41 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504743 0 0 0 179169 672 0 0 20 0 1 0 267820062 2194677760 529541 33554432000 4194304 10173063 140733970950000 140733970949112 7544992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 535810 529541 813 1460 0 534341 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 2143240

[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 1.71 3/177 7357
/proc/meminfo: memFree=26772436/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1623280 CPUtime=1798.81 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504745 0 0 0 179205 676 0 0 20 0 1 0 267820062 1662238720 400485 33554432000 4194304 10173063 140733970950000 140733970949176 7550179 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 405820 400485 815 1460 0 404351 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1623280

[startup+1799.2 s]
/proc/loadavg: 2.02 2.01 1.71 3/177 7357
/proc/meminfo: memFree=26772436/32873648 swapFree=6856/6856
[pid=7302] ppid=7300 vsize=1544408 CPUtime=1798.91 cores=1,3,5,7
/proc/7302/stat : 7302 (scip-2.1.1.4fix) R 7300 7302 7220 0 -1 4202496 504745 0 0 0 179214 677 0 0 20 0 1 0 267820062 1581473792 380767 33554432000 4194304 10173063 140733970950000 140733970949176 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7302/statm: 386102 380767 815 1460 0 384633 0
Current children cumulated CPU time (s) 1798.91
Current children cumulated vsize (KiB) 1544408

Child status: 0
Real time (s): 1799.28
CPU time (s): 1799
CPU user time (s): 1792.2
CPU system time (s): 6.80796
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 2218416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.2
system time used= 6.80797
maximum resident set size= 2181848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504758
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= 14
involuntary context switches= 1850

runsolver used 5.41418 second user time and 14.5578 second system time

The end

Launcher Data

Begin job on node125 at 2012-05-26 09:22:26
IDJOB=3690512
IDBENCH=1447
IDSOLVER=2270
FILE ID=node125/3690512-1338016946
RUNJOBID= node125-1338016934-7237
PBS_JOBID= 14624346
Free space on /tmp= 71260 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690512-1338016946/watcher-3690512-1338016946 -o /tmp/evaluation-result-3690512-1338016946/solver-3690512-1338016946 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690512-1338016946.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581
RANDOM SEED=604171689

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28922800 kB
Buffers:          228180 kB
Cached:          2892580 kB
SwapCached:            0 kB
Active:          1148380 kB
Inactive:        2024832 kB
Active(anon):      54860 kB
Inactive(anon):        0 kB
Active(file):    1093520 kB
Inactive(file):  2024832 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             44368 kB
Writeback:             0 kB
AnonPages:         59328 kB
Mapped:            17648 kB
Shmem:               200 kB
Slab:             640944 kB
SReclaimable:      84560 kB
SUnreclaim:       556384 kB
KernelStack:        1432 kB
PageTables:         4016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     167600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71248 MiB
End job on node125 at 2012-05-26 09:52:26