Trace number 3691678

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 SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1798.72 1799.02

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: 947bdb7-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-3691678-1338028690.opb>
1.38/1.48	c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
1.38/1.48	c problem read in 1.48
1.49/1.73	c No objective function, only one solution is needed.
1.49/1.73	c presolving settings loaded
2.58/2.64	c presolving:
6.88/6.96	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.18/7.26	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.38/7.42	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.48/7.59	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.68/7.76	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
7.89/7.93	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.08/8.10	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.18/8.27	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.38/8.44	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.58/8.61	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.68/8.78	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.88/8.95	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.09/9.12	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.18/9.29	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.38/9.45	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.58/9.62	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.69/9.78	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.88/9.95	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
10.08/10.11	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.18/10.28	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.38/10.44	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.58/10.61	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.69/10.77	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.88/10.94	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.98/11.10	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
11.19/11.26	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.38/11.43	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.48/11.59	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.69/11.75	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.88/11.92	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.98/12.08	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
12.19/12.25	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
12.38/12.41	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
12.48/12.58	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
12.68/12.75	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.88/12.91	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.99/13.08	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
13.18/13.24	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
13.39/13.41	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
13.49/13.57	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
13.68/13.73	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
13.88/13.90	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.98/14.07	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
14.18/14.23	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
14.28/14.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
14.49/14.57	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
14.68/14.74	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
14.89/14.90	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
14.98/15.07	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
15.18/15.23	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
15.28/15.39	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
15.49/15.55	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
15.78/15.83	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
16.09/16.10	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
16.69/16.75	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
18.79/18.90	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
19.78/19.87	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
20.28/20.32	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
22.09/22.17	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
28.38/28.43	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
33.88/33.93	c (round 61) 10769 del vars, 469711 del conss, 148577 add conss, 5310 chg bounds, 9399 chg sides, 19554 chg coeffs, 459429 upgd conss, 10727643 impls, 2233 clqs
39.38/39.42	c (round 62) 10798 del vars, 469740 del conss, 148577 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459429 upgd conss, 10727699 impls, 2234 clqs
45.08/45.11	c (round 63) 10824 del vars, 470205 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459429 upgd conss, 10728317 impls, 2234 clqs
50.48/50.57	c (round 64) 10830 del vars, 470254 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19583 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
55.98/56.04	c (round 65) 10882 del vars, 470260 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19585 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
61.48/61.50	c (round 66) 10932 del vars, 470262 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19587 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
66.88/66.96	c (round 67) 10980 del vars, 470310 del conss, 149042 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
72.58/72.61	c (round 68) 10982 del vars, 470330 del conss, 149062 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
78.18/78.26	c (round 69) 10984 del vars, 470348 del conss, 149064 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459429 upgd conss, 10728317 impls, 2239 clqs
100.86/100.99	c (round 70) 11017 del vars, 470383 del conss, 149072 add conss, 5310 chg bounds, 9399 chg sides, 19635 chg coeffs, 459429 upgd conss, 10733211 impls, 2239 clqs
106.67/106.74	c presolving (71 rounds):
106.67/106.74	c  11021 deleted vars, 470391 deleted constraints, 149076 added constraints, 5310 tightened bounds, 0 added holes, 9399 changed sides, 19635 changed coefficients
106.67/106.74	c  10733225 implications, 2239 cliques
106.67/106.74	c presolved problem has 157090 variables (157090 bin, 0 int, 0 impl, 0 cont) and 166073 constraints
106.67/106.74	c   18798 constraints of type <knapsack>
106.67/106.74	c    3966 constraints of type <setppc>
106.67/106.74	c  143306 constraints of type <and>
106.67/106.74	c       3 constraints of type <logicor>
106.67/106.74	c transformed objective value is always integral (scale: 1)
106.67/106.74	c Presolving Time: 104.44
106.67/106.74	c - non default parameters ----------------------------------------------------------------------
106.67/106.74	c # SCIP version 2.1.1.4
106.67/106.74	c 
106.67/106.74	c # maximal time in seconds to run
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
106.67/106.74	c limits/time = 1797
106.67/106.74	c 
106.67/106.74	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
106.67/106.74	c limits/memory = 13950
106.67/106.74	c 
106.67/106.74	c # solving stops, if the given number of solutions were found (-1: no limit)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: -1]
106.67/106.74	c limits/solutions = 1
106.67/106.74	c 
106.67/106.74	c # maximal number of separation rounds per node (-1: unlimited)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 5]
106.67/106.74	c separating/maxrounds = 1
106.67/106.74	c 
106.67/106.74	c # maximal number of separation rounds in the root node (-1: unlimited)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: -1]
106.67/106.74	c separating/maxroundsroot = 5
106.67/106.74	c 
106.67/106.74	c # default clock type (1: CPU user seconds, 2: wall clock time)
106.67/106.74	c # [type: int, range: [1,2], default: 1]
106.67/106.74	c timing/clocktype = 2
106.67/106.74	c 
106.67/106.74	c # belongs reading time to solving time?
106.67/106.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
106.67/106.74	c timing/reading = TRUE
106.67/106.74	c 
106.67/106.74	c # should disaggregation of knapsack constraints be allowed in preprocessing?
106.67/106.74	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
106.67/106.74	c constraints/knapsack/disaggregation = FALSE
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/coefdiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/coefdiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/coefdiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 30]
106.67/106.74	c heuristics/crossover/freq = -1
106.67/106.74	c 
106.67/106.74	c # number of nodes added to the contingent of the total nodes
106.67/106.74	c # [type: longint, range: [0,9223372036854775807], default: 500]
106.67/106.74	c heuristics/crossover/nodesofs = 750
106.67/106.74	c 
106.67/106.74	c # number of nodes without incumbent change that heuristic should wait
106.67/106.74	c # [type: longint, range: [0,9223372036854775807], default: 200]
106.67/106.74	c heuristics/crossover/nwaitingnodes = 100
106.67/106.74	c 
106.67/106.74	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
106.67/106.74	c # [type: real, range: [0,1], default: 0.1]
106.67/106.74	c heuristics/crossover/nodesquot = 0.15
106.67/106.74	c 
106.67/106.74	c # minimum percentage of integer variables that have to be fixed 
106.67/106.74	c # [type: real, range: [0,1], default: 0.666]
106.67/106.74	c heuristics/crossover/minfixingrate = 0.5
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 20]
106.67/106.74	c heuristics/feaspump/freq = -1
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/feaspump/maxlpiterofs = 2000
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/fracdiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/fracdiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/fracdiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/guideddiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/guideddiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/guideddiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/intdiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/intshifting/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/linesearchdiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/linesearchdiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/linesearchdiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 20]
106.67/106.74	c heuristics/objpscostdiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to total iteration number
106.67/106.74	c # [type: real, range: [0,1], default: 0.01]
106.67/106.74	c heuristics/objpscostdiving/maxlpiterquot = 0.015
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/objpscostdiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/oneopt/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/pscostdiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/pscostdiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/pscostdiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c heuristics/rens/freq = -1
106.67/106.74	c 
106.67/106.74	c # minimum percentage of integer variables that have to be fixable 
106.67/106.74	c # [type: real, range: [0,1], default: 0.5]
106.67/106.74	c heuristics/rens/minfixingrate = 0.3
106.67/106.74	c 
106.67/106.74	c # number of nodes added to the contingent of the total nodes
106.67/106.74	c # [type: longint, range: [0,9223372036854775807], default: 500]
106.67/106.74	c heuristics/rens/nodesofs = 2000
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 20]
106.67/106.74	c heuristics/rootsoldiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
106.67/106.74	c heuristics/rootsoldiving/maxlpiterquot = 0.015
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/rootsoldiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/rounding/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c heuristics/shiftandpropagate/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/shifting/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/simplerounding/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/subnlp/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c heuristics/trivial/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/trysol/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c heuristics/undercover/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 10]
106.67/106.74	c heuristics/veclendiving/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal fraction of diving LP iterations compared to node LP iterations
106.67/106.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
106.67/106.74	c heuristics/veclendiving/maxlpiterquot = 0.075
106.67/106.74	c 
106.67/106.74	c # additional number of allowed LP iterations
106.67/106.74	c # [type: int, range: [0,2147483647], default: 1000]
106.67/106.74	c heuristics/veclendiving/maxlpiterofs = 1500
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/zirounding/freq = -1
106.67/106.74	c 
106.67/106.74	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: -1]
106.67/106.74	c propagating/probing/maxprerounds = 0
106.67/106.74	c 
106.67/106.74	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c separating/cmir/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 0]
106.67/106.74	c separating/flowcover/freq = -1
106.67/106.74	c 
106.67/106.74	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: -1]
106.67/106.74	c separating/rapidlearning/freq = 0
106.67/106.74	c 
106.67/106.74	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
106.67/106.74	c # [type: int, range: [-1,2147483647], default: 1]
106.67/106.74	c heuristics/indoneopt/freq = -1
106.67/106.74	c 
106.67/106.74	c -----------------------------------------------------------------------------------------------
106.67/106.74	c start solving
106.67/106.78	c 
178.15/178.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
178.15/178.20	c   178s|     1 |     0 | 21481 |     - |1370M|   0 |  13k| 157k| 166k| 157k| 309k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
298.84/298.96	c   299s|     1 |     0 | 43807 |     - |1373M|   0 |  22k| 157k| 166k| 157k| 311k|2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
434.21/434.37	c   434s|     1 |     0 | 66565 |     - |1373M|   0 |  28k| 157k| 166k| 157k| 313k|4000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
633.69/633.89	c   634s|     1 |     0 | 93370 |     - |1374M|   0 |  36k| 157k| 166k| 157k| 315k|6000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
867.75/867.96	c   868s|     1 |     0 |121287 |     - |1374M|   0 |  41k| 157k| 166k| 157k| 317k|8000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1077.21/1077.46	c  1077s|     1 |     0 |145966 |     - |1374M|   0 |  46k| 157k| 166k| 157k| 319k|  10k|   0 |   0 | 0.000000e+00 |      --      |    Inf 
1278.18/1278.45	c  1278s|     1 |     2 |145966 |     - |1374M|   0 |  46k| 157k| 166k| 157k| 319k|  10k|   0 |  33 | 0.000000e+00 |      --      |    Inf 
1796.90/1797.30	c 
1796.90/1797.30	c SCIP Status        : solving was interrupted [time limit reached]
1796.90/1797.30	c Solving Time (sec) : 1797.28
1796.90/1797.30	c Solving Nodes      : 3
1796.90/1797.30	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.90/1797.30	c Dual Bound         : +0.00000000000000e+00
1796.90/1797.30	c Gap                : infinite
1796.90/1797.30	s UNKNOWN
1796.90/1797.30	c SCIP Status        : solving was interrupted [time limit reached]
1796.90/1797.30	c Total Time         :    1797.28
1796.90/1797.30	c   solving          :    1797.28
1796.90/1797.30	c   presolving       :     104.44 (included in solving)
1796.90/1797.30	c   reading          :       1.48 (included in solving)
1796.90/1797.30	c   copying          :       0.00 (0 times copied the problem)
1796.90/1797.30	c Original Problem   :
1796.90/1797.30	c   Problem name     : HOME/instance-3691678-1338028690.opb
1796.90/1797.30	c   Variables        : 168111 (168111 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.90/1797.30	c   Constraints      : 487525 initial, 487525 maximal
1796.90/1797.30	c   Objective sense  : minimize
1796.90/1797.30	c Presolved Problem  :
1796.90/1797.30	c   Problem name     : t_HOME/instance-3691678-1338028690.opb
1796.90/1797.30	c   Variables        : 157090 (157090 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.30	c   Constraints      : 166073 initial, 166073 maximal
1797.00/1797.30	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.00/1797.30	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   trivial          :       0.67       0.00        127          0          0          0          0          0          0          0          0
1797.00/1797.30	c   dualfix          :       0.46       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   gateextraction   :       1.59       0.00          0          0          0          0          0     439035     146344          0          0
1797.00/1797.30	c   implics          :       2.26       0.00          0       4810          0          0          0          0          0          0          0
1797.00/1797.30	c   components       :       0.25       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   knapsack         :       0.34       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   setppc           :       1.06       0.00          0          1          0          0          0        141          0          0          0
1797.00/1797.30	c   and              :      83.62       0.00        150        612          0          0          0       2869       2732          0         97
1797.00/1797.30	c   linear           :      12.78       0.23       5303         18          0       5310          0      28346          0       9399      19538
1797.00/1797.30	c   logicor          :       0.59       0.00          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1797.00/1797.30	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.00/1797.30	c   integral         :          0          0          0          0          3          0          1          0          0          0          0          0          6
1797.00/1797.30	c   knapsack         :      18798      18798          1         44          0          0          0          0          0          0        200          0          0
1797.00/1797.30	c   setppc           :       3966       3966          1         44          0          0          0          0          0          1          0          0          0
1797.00/1797.30	c   and              :     143306     143306          7         44          0          0          0          0          0        696      93046          0          0
1797.00/1797.30	c   logicor          :          3          3          1          1          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.00/1797.30	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.00/1797.30	c   integral         :     477.53       0.00       0.00       0.00     477.53       0.00       0.00       0.00
1797.00/1797.30	c   knapsack         :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00
1797.00/1797.30	c   setppc           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00
1797.00/1797.30	c   and              :       0.35       0.00       0.25       0.10       0.00       0.00       0.00       0.00
1797.00/1797.30	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.00/1797.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.00/1797.30	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.00/1797.30	c   rootredcost      :          0          0          0          0
1797.00/1797.30	c   pseudoobj        :          0          0          0          0
1797.00/1797.30	c   vbounds          :          0          0          0          0
1797.00/1797.30	c   redcost          :         10          0          0          0
1797.00/1797.30	c   probing          :          0          0          0          0
1797.00/1797.30	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.00/1797.30	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1797.00/1797.30	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1797.00/1797.30	c   vbounds          :       0.02       0.02       0.00       0.00       0.00
1797.00/1797.30	c   redcost          :       0.06       0.00       0.00       0.06       0.00
1797.00/1797.30	c   probing          :       0.00       0.00       0.00       0.00       0.00
1797.00/1797.30	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.00/1797.30	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.00/1797.30	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.30	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.30	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.30	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.00/1797.30	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.00/1797.30	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.00/1797.30	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1797.00/1797.30	c   cut pool         :       0.00                     4          -          -       2810          -    (maximal pool size: 6640)
1797.00/1797.30	c   closecuts        :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   impliedbounds    :       0.05       0.00          1          0          0      10489          0
1797.00/1797.30	c   intobj           :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   gomory           :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   cgmip            :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   strongcg         :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   cmir             :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   flowcover        :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   clique           :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   mcf              :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1797.00/1797.30	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1797.00/1797.30	c   problem variables:       0.00          -          0          0
1797.00/1797.30	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.00/1797.30	c   relpscost        :     477.53       0.00          3          0          0          0          0          6
1797.00/1797.30	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   inference        :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c   random           :       0.00       0.00          0          0          0          0          0          0
1797.00/1797.30	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1797.00/1797.30	c   LP solutions     :       0.00          -          -          0
1797.00/1797.30	c   pseudo solutions :       0.00          -          -          0
1797.00/1797.30	c   smallcard        :       0.00       0.00          0          0
1797.00/1797.30	c   trivial          :       0.11       0.00          1          0
1797.00/1797.30	c   shiftandpropagate:       0.00       0.00          0          0
1797.00/1797.30	c   simplerounding   :       0.00       0.00          0          0
1797.00/1797.30	c   zirounding       :       0.00       0.00          0          0
1797.00/1797.30	c   rounding         :       0.00       0.00          0          0
1797.00/1797.30	c   shifting         :       0.00       0.00          0          0
1797.00/1797.30	c   intshifting      :       0.00       0.00          0          0
1797.00/1797.30	c   oneopt           :       0.00       0.00          0          0
1797.00/1797.30	c   twoopt           :       0.00       0.00          0          0
1797.00/1797.30	c   indtwoopt        :       0.00       0.00          0          0
1797.00/1797.30	c   indoneopt        :       0.00       0.00          0          0
1797.00/1797.30	c   fixandinfer      :       0.00       0.00          0          0
1797.00/1797.30	c   feaspump         :       0.00       0.00          0          0
1797.00/1797.30	c   clique           :       0.00       0.00          0          0
1797.00/1797.30	c   indrounding      :       0.00       0.00          0          0
1797.00/1797.30	c   indcoefdiving    :       0.00       0.00          0          0
1797.00/1797.30	c   coefdiving       :       0.00       0.00          0          0
1797.00/1797.30	c   pscostdiving     :       0.00       0.00          0          0
1797.00/1797.30	c   nlpdiving        :       0.00       0.00          0          0
1797.00/1797.30	c   fracdiving       :       0.00       0.00          0          0
1797.00/1797.30	c   veclendiving     :       0.00       0.00          0          0
1797.00/1797.30	c   intdiving        :       0.00       0.00          0          0
1797.00/1797.30	c   actconsdiving    :       0.00       0.00          0          0
1797.00/1797.30	c   objpscostdiving  :       0.00       0.00          0          0
1797.00/1797.30	c   rootsoldiving    :       0.00       0.00          0          0
1797.00/1797.30	c   linesearchdiving :       0.00       0.00          0          0
1797.00/1797.30	c   guideddiving     :       0.00       0.00          0          0
1797.00/1797.30	c   octane           :       0.00       0.00          0          0
1797.00/1797.30	c   rens             :       0.00       0.00          0          0
1797.00/1797.30	c   rins             :       0.00       0.00          0          0
1797.00/1797.30	c   localbranching   :       0.00       0.00          0          0
1797.00/1797.30	c   mutation         :       0.00       0.00          0          0
1797.00/1797.30	c   crossover        :       0.00       0.00          0          0
1797.00/1797.30	c   dins             :       0.00       0.00          0          0
1797.00/1797.30	c   vbounds          :       0.00       0.00          0          0
1797.00/1797.30	c   undercover       :       0.00       0.00          0          0
1797.00/1797.30	c   subnlp           :       0.00       0.00          0          0
1797.00/1797.30	c   trysol           :       0.00       0.00          0          0
1797.00/1797.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1797.00/1797.30	c   primal LP        :       0.28          1          0       0.00       0.00       0.28          1
1797.00/1797.30	c   dual LP          :    1204.80         10     177944   17794.40     147.70       0.00          0
1797.00/1797.30	c   lex dual LP      :       0.00          0          0       0.00          -
1797.00/1797.30	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1797.00/1797.30	c   diving/probing LP:       0.00          0          0       0.00          -
1797.00/1797.30	c   strong branching :     477.43         70      66261     946.59     138.79
1797.00/1797.30	c     (at root node) :          -         33      30580     926.67          -
1797.00/1797.30	c   conflict analysis:       0.00          0          0       0.00          -
1797.00/1797.30	c B&B Tree           :
1797.00/1797.30	c   number of runs   :          1
1797.00/1797.30	c   nodes            :          3
1797.00/1797.30	c   nodes (total)    :          3
1797.00/1797.30	c   nodes left       :          4
1797.00/1797.30	c   max depth        :          2
1797.00/1797.30	c   max depth (total):          2
1797.00/1797.30	c   backtracks       :          0 (0.0%)
1797.00/1797.30	c   delayed cutoffs  :          0
1797.00/1797.30	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.00/1797.30	c   avg switch length:       1.00
1797.00/1797.30	c   switching time   :       0.33
1797.00/1797.30	c Solution           :
1797.00/1797.30	c   Solutions found  :          0 (0 improvements)
1797.00/1797.30	c   Primal Bound     :          -
1797.00/1797.30	c   Dual Bound       : +0.00000000000000e+00
1797.00/1797.30	c   Gap              :   infinite
1797.00/1797.30	c   Root Dual Bound  : +0.00000000000000e+00
1797.00/1797.30	c   Root Iterations  :     145966
1798.70/1799.01	c Time complete: 1798.72.

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-3691678-1338028690/watcher-3691678-1338028690 -o /tmp/evaluation-result-3691678-1338028690/solver-3691678-1338028690 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691678-1338028690.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: 1.90 1.56 1.72 3/176 30682
/proc/meminfo: memFree=29357764/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=12556 CPUtime=0 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 1879 0 0 0 0 0 0 0 20 0 1 0 268997633 12857344 1834 33554432000 4194304 10219143 140736864568016 140735217870744 8844210 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 3139 1847 419 1471 0 1659 0

[startup+0.072725 s]
/proc/loadavg: 1.90 1.56 1.72 3/176 30682
/proc/meminfo: memFree=29357764/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=30544 CPUtime=0.07 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 6378 0 0 0 6 1 0 0 20 0 1 0 268997633 31277056 6333 33554432000 4194304 10219143 140736864568016 140735217870744 4499325 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 7636 6333 419 1471 0 6156 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30544

[startup+0.100266 s]
/proc/loadavg: 1.90 1.56 1.72 3/176 30682
/proc/meminfo: memFree=29357764/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=37320 CPUtime=0.09 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 8074 0 0 0 8 1 0 0 20 0 1 0 268997633 38215680 8029 33554432000 4194304 10219143 140736864568016 140735217870744 7154912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 9330 8029 419 1471 0 7850 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37320

[startup+0.300219 s]
/proc/loadavg: 1.90 1.56 1.72 3/176 30682
/proc/meminfo: memFree=29357764/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=86188 CPUtime=0.29 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 20280 0 0 0 26 3 0 0 20 0 1 0 268997633 88256512 20235 33554432000 4194304 10219143 140736864568016 140735217870744 7124135 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 21547 20235 419 1471 0 20067 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86188

[startup+0.70022 s]
/proc/loadavg: 1.90 1.56 1.72 3/176 30682
/proc/meminfo: memFree=29357764/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=182692 CPUtime=0.69 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 44355 0 0 0 62 7 0 0 20 0 1 0 268997633 187076608 44310 33554432000 4194304 10219143 140736864568016 140736864433192 4971920 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 45673 44310 419 1471 0 44193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182692

[startup+1.50022 s]
/proc/loadavg: 1.90 1.56 1.72 3/177 30683
/proc/meminfo: memFree=29112228/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=349500 CPUtime=1.49 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 85723 0 0 0 136 13 0 0 20 0 1 0 268997633 357888000 85678 33554432000 4194304 10219143 140736864568016 140736864433192 8891101 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 87375 85703 464 1471 0 85895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 349500

[startup+3.10022 s]
/proc/loadavg: 2.15 1.62 1.74 3/177 30683
/proc/meminfo: memFree=28557436/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=899772 CPUtime=3.09 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 220496 0 0 0 274 35 0 0 20 0 1 0 268997633 921366528 220379 33554432000 4194304 10219143 140736864568016 140736864565464 7594231 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 224943 220379 566 1471 0 223463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 899772

[startup+6.30022 s]
/proc/loadavg: 2.15 1.62 1.74 3/177 30683
/proc/meminfo: memFree=28259704/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1173360 CPUtime=6.28 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 287147 0 0 0 566 62 0 0 20 0 1 0 268997633 1201520640 287203 33554432000 4194304 10219143 140736864568016 140736864565016 5360628 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 293340 287203 566 1471 0 291860 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1173360

[startup+12.7002 s]
/proc/loadavg: 2.13 1.63 1.74 3/177 30683
/proc/meminfo: memFree=28191024/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1191672 CPUtime=12.68 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 291793 0 0 0 1002 266 0 0 20 0 1 0 268997633 1220272128 291592 33554432000 4194304 10219143 140736864568016 140736864565016 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 297918 291592 567 1471 0 296438 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1191672

[startup+25.5064 s]
/proc/loadavg: 2.11 1.64 1.74 3/177 30683
/proc/meminfo: memFree=27986204/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1406104 CPUtime=25.48 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 371099 0 0 0 2077 471 0 0 20 0 1 0 268997633 1439850496 342664 33554432000 4194304 10219143 140736864568016 140736864565256 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 351526 342664 613 1471 0 350046 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1406104

[startup+51.1002 s]
/proc/loadavg: 2.07 1.67 1.74 3/176 30683
/proc/meminfo: memFree=27984932/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1406104 CPUtime=51.07 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 371123 0 0 0 4616 491 0 0 20 0 1 0 268997633 1439850496 343050 33554432000 4194304 10219143 140736864568016 140736864565256 8890985 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 351526 343050 615 1471 0 350046 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1406104

[startup+102.3 s]
/proc/loadavg: 2.08 1.74 1.76 3/177 30684
/proc/meminfo: memFree=27966056/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1419716 CPUtime=102.27 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 371972 0 0 0 9687 540 0 0 20 0 1 0 268997633 1453789184 347577 33554432000 4194304 10219143 140736864568016 140736864565256 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 354929 347577 616 1471 0 353449 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1419716

[startup+162.3 s]
/proc/loadavg: 2.07 1.80 1.78 3/178 30687
/proc/meminfo: memFree=27292968/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2130068 CPUtime=162.26 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 478340 0 0 0 15655 571 0 0 20 0 1 0 268997633 2181189632 515738 33554432000 4194304 10219143 140736864568016 140736864561656 8000500 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 532517 515738 760 1471 0 531037 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2130068

[startup+222.3 s]
/proc/loadavg: 2.02 1.83 1.79 3/177 30687
/proc/meminfo: memFree=27303856/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2090152 CPUtime=222.25 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 480705 0 0 0 21649 576 0 0 20 0 1 0 268997633 2140315648 513078 33554432000 4194304 10219143 140736864568016 140736864561192 8051272 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 522538 513078 783 1471 0 521058 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2090152

[startup+282.3 s]
/proc/loadavg: 2.04 1.87 1.81 3/177 30687
/proc/meminfo: memFree=27295080/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2092312 CPUtime=282.24 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 481178 0 0 0 27644 580 0 0 20 0 1 0 268997633 2142527488 515365 33554432000 4194304 10219143 140736864568016 140736864561192 8051309 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 523078 515365 783 1471 0 521598 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2092312

[startup+342.307 s]
/proc/loadavg: 2.01 1.89 1.82 3/177 30687
/proc/meminfo: memFree=27268240/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2121884 CPUtime=342.23 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 481701 0 0 0 33637 586 0 0 20 0 1 0 268997633 2172809216 522020 33554432000 4194304 10219143 140736864568016 140736864561688 8057394 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 530471 522020 783 1471 0 528991 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2121884

[startup+402.3 s]
/proc/loadavg: 2.00 1.91 1.82 3/177 30688
/proc/meminfo: memFree=27267152/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2121884 CPUtime=402.23 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 481701 0 0 0 39634 589 0 0 20 0 1 0 268997633 2172809216 522200 33554432000 4194304 10219143 140736864568016 140736864561192 8057619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 530471 522200 783 1471 0 528991 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2121884

[startup+462.3 s]
/proc/loadavg: 2.00 1.92 1.83 3/177 30688
/proc/meminfo: memFree=27241808/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2139992 CPUtime=462.21 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 483684 0 0 0 45627 594 0 0 20 0 1 0 268997633 2191351808 527760 33554432000 4194304 10219143 140736864568016 140736864561368 7639976 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 534998 527760 783 1471 0 533518 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2139992

[startup+522.3 s]
/proc/loadavg: 2.00 1.93 1.84 3/177 30688
/proc/meminfo: memFree=27241096/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2139992 CPUtime=522.2 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 483705 0 0 0 51622 598 0 0 20 0 1 0 268997633 2191351808 527781 33554432000 4194304 10219143 140736864568016 140736864561688 8057386 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 534998 527781 783 1471 0 533518 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2139992

[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.84 3/177 30688
/proc/meminfo: memFree=27239976/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2139992 CPUtime=582.19 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 483739 0 0 0 57617 602 0 0 20 0 1 0 268997633 2191351808 527815 33554432000 4194304 10219143 140736864568016 140736864561192 8057244 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30682/statm: 534998 527815 783 1471 0 533518 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2139992

[startup+642.3 s]

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

/proc/meminfo: memFree=27206428/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2156300 CPUtime=1122.1 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 489867 0 0 0 111576 634 0 0 20 0 1 0 268997633 2208051200 531482 33554432000 4194304 10219143 140736864568016 140736864561464 8107859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 539075 531482 786 1471 0 537595 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2156300

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30693
/proc/meminfo: memFree=27206144/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2156300 CPUtime=1182.09 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 489870 0 0 0 117572 637 0 0 20 0 1 0 268997633 2208051200 531570 33554432000 4194304 10219143 140736864568016 140736864561848 7638819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 539075 531570 786 1471 0 537595 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2156300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30693
/proc/meminfo: memFree=27203868/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2156300 CPUtime=1242.08 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 489870 0 0 0 123567 641 0 0 20 0 1 0 268997633 2208051200 532036 33554432000 4194304 10219143 140736864568016 140736864561464 8091364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 539075 532036 786 1471 0 537595 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2156300

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30694
/proc/meminfo: memFree=27188360/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2184876 CPUtime=1302.07 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 492660 0 0 0 129561 646 0 0 20 0 1 0 268997633 2237313024 535773 33554432000 4194304 10219143 140736864568016 140736864561272 8028672 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 546219 535773 789 1471 0 544739 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2184876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 30697
/proc/meminfo: memFree=27187732/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2184876 CPUtime=1362.06 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 492709 0 0 0 135556 650 0 0 20 0 1 0 268997633 2237313024 535822 33554432000 4194304 10219143 140736864568016 140736864561192 8028584 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 546219 535822 789 1471 0 544739 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2184876

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 30720
/proc/meminfo: memFree=27214792/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2146784 CPUtime=1422.05 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 497333 0 0 0 141550 655 0 0 20 0 1 0 268997633 2198306816 529087 33554432000 4194304 10219143 140736864568016 140736864561848 8028595 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 536696 529087 789 1471 0 535216 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2146784

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30720
/proc/meminfo: memFree=27224604/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2136660 CPUtime=1482.04 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 507484 0 0 0 147540 664 0 0 20 0 1 0 268997633 2187939840 526591 33554432000 4194304 10219143 140736864568016 140736864561464 8051272 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 534165 526591 789 1471 0 532685 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2136660

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30720
/proc/meminfo: memFree=27224668/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2136660 CPUtime=1542.05 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 520043 0 0 0 153531 674 0 0 20 0 1 0 268997633 2187939840 526594 33554432000 4194304 10219143 140736864568016 140736864561464 7750260 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 534165 526594 789 1471 0 532685 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2136660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30721
/proc/meminfo: memFree=27243904/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2106652 CPUtime=1602.03 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 531211 0 0 0 159519 684 0 0 20 0 1 0 268997633 2157211648 521510 33554432000 4194304 10219143 140736864568016 140736864561144 8051297 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 526663 521510 789 1471 0 525183 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2106652

[startup+1662.31 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 30759
/proc/meminfo: memFree=26341144/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2206756 CPUtime=1662.02 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 538103 0 0 0 165511 691 0 0 20 0 1 0 268997633 2259718144 543606 33554432000 4194304 10219143 140736864568016 140736864561368 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 551689 543606 789 1471 0 550209 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2206756

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.92 3/177 30759
/proc/meminfo: memFree=25694220/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2188148 CPUtime=1722.01 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 539164 0 0 0 171506 695 0 0 20 0 1 0 268997633 2240663552 539251 33554432000 4194304 10219143 140736864568016 140736864561192 8057656 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 547037 539251 789 1471 0 545557 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2188148

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25681600/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2188148 CPUtime=1782.01 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 539232 0 0 0 177503 698 0 0 20 0 1 0 268997633 2240663552 541874 33554432000 4194304 10219143 140736864568016 140736864561192 8891081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 547037 541874 789 1471 0 545557 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2188148

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

[startup+1792.11 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25670912/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2198972 CPUtime=1791.8 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 539882 0 0 0 178482 698 0 0 20 0 1 0 268997633 2251747328 544559 33554432000 4194304 10219143 140736864568016 140736864561848 8107866 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 549743 544559 789 1471 0 548263 0
Current children cumulated CPU time (s) 1791.8
Current children cumulated vsize (KiB) 2198972

[startup+1795.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25742008/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2137164 CPUtime=1795 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 539934 0 0 0 178802 698 0 0 20 0 1 0 268997633 2188455936 526703 33554432000 4194304 10219143 140736864568016 140736864561464 8028562 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 534291 526703 789 1471 0 532811 0
Current children cumulated CPU time (s) 1795
Current children cumulated vsize (KiB) 2137164

[startup+1796.9 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25733568/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2147780 CPUtime=1796.6 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 540087 0 0 0 178961 699 0 0 20 0 1 0 268997633 2199326720 528900 33554432000 4194304 10219143 140736864568016 140736864561848 8028562 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 536945 528900 789 1471 0 535465 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 2147780

[startup+1797.7 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25712904/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2168348 CPUtime=1797.4 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 540638 0 0 0 179041 699 0 0 20 0 1 0 268997633 2220388352 534050 33554432000 4194304 10219143 140736864568016 140736864567080 5123963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 542087 534050 797 1471 0 540607 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 2168348

[startup+1798.5 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25712904/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=2114776 CPUtime=1798.2 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 540641 0 0 0 179120 700 0 0 20 0 1 0 268997633 2165530624 520842 33554432000 4194304 10219143 140736864568016 140736864567064 7589385 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 528694 520842 800 1471 0 527214 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 2114776

[startup+1798.9 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25791212/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=1345992 CPUtime=1798.6 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 540641 0 0 0 179155 705 0 0 20 0 1 0 268997633 1378295808 332469 33554432000 4194304 10219143 140736864568016 140736864567064 5346468 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 336498 332469 800 1471 0 335018 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 1345992

[startup+1799 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 30759
/proc/meminfo: memFree=25791212/32873844 swapFree=7100/7100
[pid=30682] ppid=30680 vsize=994944 CPUtime=1798.7 cores=0,2,4,6
/proc/30682/stat : 30682 (scip-2.1.1.4exp) R 30680 30682 29021 0 -1 4202496 540652 0 0 0 179163 707 0 0 20 0 1 0 268997633 1018822656 247860 33554432000 4194304 10219143 140736864568016 140736864567064 9036791 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30682/statm: 248694 247800 811 1471 0 247214 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 994944

Child status: 0
Real time (s): 1799.02
CPU time (s): 1798.72
CPU user time (s): 1791.63
CPU system time (s): 7.09192
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 2206756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.63
system time used= 7.09192
maximum resident set size= 2178240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540654
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= 21
involuntary context switches= 2232

runsolver used 3.67644 second user time and 9.89749 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-26 12:38:11
IDJOB=3691678
IDBENCH=1447
IDSOLVER=2271
FILE ID=node102/3691678-1338028690
RUNJOBID= node102-1338028547-30350
PBS_JOBID= 14624369
Free space on /tmp= 71532 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp 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.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691678-1338028690/watcher-3691678-1338028690 -o /tmp/evaluation-result-3691678-1338028690/solver-3691678-1338028690 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691678-1338028690.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581
RANDOM SEED=890370234

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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.91
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		: 2667.178
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.91
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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:       32873844 kB
MemFree:        29358028 kB
Buffers:          234484 kB
Cached:          2418092 kB
SwapCached:            0 kB
Active:           988532 kB
Inactive:        1757136 kB
Active(anon):      95244 kB
Inactive(anon):        0 kB
Active(file):     893288 kB
Inactive(file):  1757136 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             30268 kB
Writeback:             0 kB
AnonPages:         99732 kB
Mapped:            17672 kB
Shmem:               200 kB
Slab:             632072 kB
SReclaimable:      74440 kB
SUnreclaim:       557632 kB
KernelStack:        1440 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     206348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71504 MiB
End job on node102 at 2012-05-26 13:08:10