Trace number 3691308

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? 1798.54 1798.91

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-datt256.opb
MD5SUMeff0b252efd7ad849119636cdcc0cdec
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables262144
Total number of constraints11077
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)516
Number of constraints which are nor clauses,nor cardinality constraints10561
Minimum length of a constraint1
Maximum length of a constraint57840
Number of terms in the objective function 262144
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 262144
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 262144
Number of bits of the biggest sum of numbers19
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-3691308-1338024504.opb>
1.18/1.26	c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
1.18/1.26	c problem read in 1.27
3.30/3.34	c presolving:
4.59/4.60	c (round 1) 57844 del vars, 5 del conss, 0 add conss, 57844 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 512 clqs
4.89/4.98	c (round 2) 61468 del vars, 1107 del conss, 0 add conss, 61468 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 710 clqs
5.19/5.29	c (round 3) 65510 del vars, 1200 del conss, 0 add conss, 65510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 726 clqs
5.39/5.46	c (round 4) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 750 clqs
5.79/5.88	c (round 5) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 750 clqs
6.29/6.36	c (round 6) 67112 del vars, 1252 del conss, 0 add conss, 66856 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
6.39/6.43	c (round 7) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
6.69/6.71	c (round 8) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 0 impls, 774 clqs
7.19/7.23	c (round 9) 67399 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 114546 impls, 774 clqs
7.60/7.63	c (round 10) 67488 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 190644 impls, 774 clqs
7.98/8.01	c (round 11) 67577 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 259156 impls, 774 clqs
8.29/8.39	c (round 12) 67666 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 320458 impls, 774 clqs
9.49/9.57	c (round 13) 67696 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 412608 impls, 774 clqs
9.98/10.00	c (round 14) 67724 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 443850 impls, 774 clqs
10.39/10.41	c (round 15) 67749 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 488596 impls, 774 clqs
11.88/11.96	c (round 16) 67797 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 618984 impls, 773 clqs
11.99/12.05	c (round 17) 67797 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 618984 impls, 773 clqs
12.39/12.43	c (round 18) 67823 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 626412 impls, 772 clqs
12.48/12.51	c (round 19) 67823 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 626412 impls, 772 clqs
15.18/15.24	c (round 20) 67848 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 865390 impls, 772 clqs
15.69/15.78	c (round 21) 67886 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 909400 impls, 771 clqs
15.79/15.87	c (round 22) 67886 del vars, 1263 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 909400 impls, 771 clqs
16.19/16.24	c (round 23) 67912 del vars, 1263 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 916714 impls, 770 clqs
16.29/16.32	c (round 24) 67912 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 916714 impls, 770 clqs
17.59/17.66	c (round 25) 67937 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1042812 impls, 770 clqs
19.09/19.14	c (round 26) 67965 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1119184 impls, 770 clqs
22.88/22.97	c (round 27) 67990 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1315398 impls, 770 clqs
26.58/26.62	c (round 28) 68015 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1538632 impls, 770 clqs
30.29/30.37	c (round 29) 68040 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1773022 impls, 770 clqs
33.58/33.61	c (round 30) 68065 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1960728 impls, 770 clqs
37.08/37.17	c (round 31) 68090 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2177542 impls, 770 clqs
41.28/41.36	c (round 32) 68115 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2489308 impls, 770 clqs
41.49/41.54	c (round 33) 68115 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 2489308 impls, 774 clqs
44.88/44.94	c (round 34) 68140 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 2768066 impls, 774 clqs
64.48/64.54	c (round 35) 68165 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 5240382 impls, 774 clqs
64.68/64.71	c (round 36) 68165 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 5240382 impls, 776 clqs
65.38/65.44	c (round 37) 68197 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 5293608 impls, 776 clqs
91.97/92.00	c (round 38) 68222 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 8640622 impls, 776 clqs
115.77/115.90	c    (115.9s) probing: 1000/194840 (0.5%) - 936 fixings, 0 aggregations, 5574918 implications, 0 bound changes
121.57/121.63	c (round 39) 68247 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 12378034 impls, 776 clqs
121.76/121.81	c (round 40) 68247 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 789 upgd conss, 12378034 impls, 777 clqs
124.96/125.09	c (round 41) 68272 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 789 upgd conss, 12651852 impls, 777 clqs
125.17/125.24	c (round 42) 68272 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 790 upgd conss, 12651852 impls, 778 clqs
130.07/130.13	c (round 43) 68297 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 790 upgd conss, 13024730 impls, 778 clqs
130.27/130.31	c (round 44) 68297 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13024730 impls, 784 clqs
131.07/131.14	c (round 45) 68329 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13072718 impls, 784 clqs
135.17/135.22	c (round 46) 68354 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13390288 impls, 784 clqs
147.96/148.07	c (round 47) 68379 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 14914132 impls, 784 clqs
148.17/148.22	c (round 48) 68379 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 14914132 impls, 786 clqs
177.25/177.37	c (round 49) 68404 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 18552666 impls, 786 clqs
201.04/201.16	c (round 50) 68429 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 21508452 impls, 786 clqs
201.25/201.34	c (round 51) 68429 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 799 upgd conss, 21508452 impls, 787 clqs
209.34/209.48	c (round 52) 68454 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 799 upgd conss, 22412928 impls, 787 clqs
209.54/209.64	c (round 53) 68454 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 800 upgd conss, 22412928 impls, 788 clqs
213.93/214.00	c (round 54) 68479 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 800 upgd conss, 22710738 impls, 788 clqs
214.23/214.33	c (round 55) 68479 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 791 clqs
215.74/215.82	c    (215.8s) probing: 2000/194840 (1.0%) - 1196 fixings, 0 aggregations, 11096879 implications, 0 bound changes
215.94/216.06	c (round 56) 68504 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 791 clqs
216.13/216.20	c (round 57) 68526 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 790 clqs
231.83/231.97	c (round 58) 68551 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 24385086 impls, 790 clqs
232.23/232.32	c (round 59) 68551 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24385086 impls, 791 clqs
232.53/232.69	c (round 60) 68576 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24402382 impls, 790 clqs
232.63/232.79	c (round 61) 68576 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24402382 impls, 790 clqs
261.12/261.23	c (round 62) 68601 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 27531318 impls, 790 clqs
286.82/286.99	c (round 63) 68626 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 30349524 impls, 790 clqs
303.02/303.18	c (round 64) 68651 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 32067938 impls, 790 clqs
303.42/303.55	c (round 65) 68651 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 791 clqs
305.21/305.33	c (round 66) 68676 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 791 clqs
305.31/305.48	c (round 67) 68698 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 790 clqs
309.91/310.06	c (round 68) 68723 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32367184 impls, 790 clqs
310.32/310.40	c (round 69) 68723 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32367184 impls, 793 clqs
312.01/312.15	c (round 70) 68748 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32446258 impls, 793 clqs
312.62/312.75	c (round 71) 68773 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32471560 impls, 792 clqs
312.72/312.88	c (round 72) 68773 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32471560 impls, 792 clqs
332.61/332.71	c    (332.7s) probing: 3000/194840 (1.5%) - 1447 fixings, 0 aggregations, 17267212 implications, 0 bound changes
334.81/334.96	c (round 73) 68798 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 35353170 impls, 792 clqs
351.40/351.57	c (round 74) 68823 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 37414482 impls, 792 clqs
370.70/370.89	c (round 75) 68848 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 39887150 impls, 792 clqs
377.61/377.79	c (round 76) 68873 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 40658452 impls, 792 clqs
379.70/379.82	c (round 77) 68898 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 40745510 impls, 792 clqs
423.30/423.50	c (round 78) 68923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 44306486 impls, 792 clqs
423.59/423.75	c (round 79) 68923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 44306486 impls, 794 clqs
434.39/434.58	c    (434.6s) probing: 4000/194840 (2.1%) - 1578 fixings, 0 aggregations, 22401768 implications, 0 bound changes
475.57/475.72	c (round 80) 68948 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 49558438 impls, 794 clqs
492.18/492.33	c (round 81) 68973 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 50928480 impls, 794 clqs
532.27/532.48	c (round 82) 68998 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 55053996 impls, 794 clqs
549.66/549.82	c    (549.8s) probing: 5000/194840 (2.6%) - 1660 fixings, 0 aggregations, 28101564 implications, 0 bound changes
569.36/569.56	c (round 83) 69023 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 58876638 impls, 794 clqs
580.96/581.15	c (round 84) 69048 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 59894672 impls, 794 clqs
617.55/617.75	c (round 85) 69073 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 63957180 impls, 794 clqs
643.64/643.86	c (round 86) 69098 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 66707342 impls, 794 clqs
653.55/653.75	c    (653.7s) probing: 6000/194840 (3.1%) - 1764 fixings, 0 aggregations, 33514554 implications, 0 bound changes
681.94/682.11	c (round 87) 69123 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 70591924 impls, 794 clqs
723.93/724.13	c (round 88) 69148 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 74862566 impls, 794 clqs
732.33/732.54	c (round 89) 69173 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 75471330 impls, 794 clqs
769.32/769.54	c    (769.5s) probing: 7000/194840 (3.6%) - 1841 fixings, 0 aggregations, 39339580 implications, 0 bound changes
779.21/779.43	c (round 90) 69198 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 80312908 impls, 794 clqs
808.70/808.98	c (round 91) 69223 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 83253722 impls, 794 clqs
836.50/836.74	c (round 92) 69248 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 86124540 impls, 794 clqs
868.09/868.34	c (round 93) 69273 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 89521842 impls, 794 clqs
878.29/878.53	c    (878.5s) probing: 8000/194840 (4.1%) - 1928 fixings, 0 aggregations, 45009871 implications, 0 bound changes
884.20/884.44	c (round 94) 69298 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 91096006 impls, 794 clqs
899.88/900.14	c (round 95) 69323 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 92553594 impls, 794 clqs
928.78/929.08	c (round 96) 69348 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 95440436 impls, 794 clqs
959.58/959.85	c (round 97) 69373 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 98559526 impls, 794 clqs
964.88/965.15	c (round 98) 69398 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 98834756 impls, 794 clqs
973.88/974.14	c (round 99) 69423 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 99612818 impls, 794 clqs
986.38/986.70	c    (986.7s) probing: 9000/194840 (4.6%) - 2081 fixings, 0 aggregations, 50120675 implications, 0 bound changes
1008.57/1008.89	c (round 100) 69448 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 103102088 impls, 794 clqs
1040.27/1040.54	c (round 101) 69473 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 106229972 impls, 794 clqs
1045.77/1046.06	c (round 102) 69498 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 106491000 impls, 794 clqs
1080.46/1080.77	c (round 103) 69523 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 109995922 impls, 794 clqs
1100.65/1100.91	c    (1100.9s) probing: 10000/194840 (5.1%) - 2188 fixings, 0 aggregations, 55696458 implications, 0 bound changes
1122.65/1122.90	c (round 104) 69548 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 114288974 impls, 794 clqs
1131.05/1131.35	c (round 105) 69573 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 114878648 impls, 794 clqs
1176.45/1176.79	c (round 106) 69598 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 119387782 impls, 794 clqs
1208.34/1208.64	c (round 107) 69623 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 122428522 impls, 794 clqs
1212.64/1212.95	c    (1212.9s) probing: 11000/194840 (5.6%) - 2282 fixings, 0 aggregations, 61004314 implications, 0 bound changes
1222.44/1222.75	c (round 108) 69648 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 123537590 impls, 794 clqs
1270.33/1270.65	c (round 109) 69673 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 128336156 impls, 794 clqs
1295.02/1295.34	c (round 110) 69698 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 130625918 impls, 794 clqs
1323.51/1323.87	c    (1323.9s) probing: 12000/194840 (6.2%) - 2372 fixings, 0 aggregations, 66504358 implications, 0 bound changes
1326.32/1326.68	c (round 111) 69723 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 133953294 impls, 794 clqs
1364.31/1364.63	c (round 112) 69748 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 138009714 impls, 794 clqs
1370.31/1370.66	c (round 113) 69773 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 138362868 impls, 794 clqs
1393.11/1393.46	c (round 114) 69798 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 140640058 impls, 794 clqs
1424.30/1424.66	c (round 115) 69823 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 143785550 impls, 794 clqs
1438.29/1438.61	c    (1438.6s) probing: 13000/194840 (6.7%) - 2482 fixings, 0 aggregations, 72279657 implications, 0 bound changes
1453.60/1453.96	c (round 116) 69848 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 146732084 impls, 794 clqs
1461.19/1461.55	c (round 117) 69873 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 147199168 impls, 794 clqs
1483.39/1483.80	c (round 118) 69898 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 149406468 impls, 794 clqs
1514.48/1514.85	c (round 119) 69923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 152521916 impls, 794 clqs
1543.27/1543.65	c (round 120) 69948 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 155421602 impls, 794 clqs
1550.68/1551.07	c (round 121) 69973 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 155866910 impls, 794 clqs
1551.68/1552.03	c    (1552.0s) probing: 14000/194840 (7.2%) - 2629 fixings, 0 aggregations, 77628424 implications, 0 bound changes
1572.87/1573.26	c (round 122) 69998 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 158056708 impls, 794 clqs
1603.86/1604.23	c (round 123) 70023 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 161161450 impls, 794 clqs
1632.35/1632.72	c (round 124) 70048 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 164020120 impls, 794 clqs
1641.46/1641.87	c (round 125) 70073 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 164599534 impls, 794 clqs
1670.35/1670.77	c    (1670.8s) probing: 15000/194840 (7.7%) - 2739 fixings, 0 aggregations, 83334606 implications, 0 bound changes
1694.24/1694.63	c (round 126) 70098 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 169640090 impls, 794 clqs
1736.04/1736.44	c (round 127) 70123 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 173585742 impls, 794 clqs
1752.94/1753.35	c (round 128) 70148 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 174874660 impls, 794 clqs
1796.53/1796.99	c    (1797.0s) probing: 16000/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes
1796.63/1797.03	c    (1797.0s) probing: 16001/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes
1796.63/1797.03	c    (1797.0s) probing aborted: solving stopped
1796.83/1797.27	c presolving (129 rounds):
1796.83/1797.27	c  70164 deleted vars, 1268 deleted constraints, 0 added constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.83/1797.27	c  179150152 implications, 794 cliques
1796.83/1797.27	c presolved problem has 191980 variables (191980 bin, 0 int, 0 impl, 0 cont) and 9809 constraints
1796.83/1797.27	c     794 constraints of type <setppc>
1796.83/1797.27	c    9015 constraints of type <linear>
1796.83/1797.27	c transformed objective value is always integral (scale: 1)
1796.83/1797.27	c Presolving Time: 1795.44
1796.83/1797.27	c - non default parameters ----------------------------------------------------------------------
1796.83/1797.27	c # SCIP version 2.1.1.4
1796.83/1797.27	c 
1796.83/1797.27	c # maximal time in seconds to run
1796.83/1797.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.83/1797.27	c limits/time = 1797
1796.83/1797.27	c 
1796.83/1797.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.83/1797.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.83/1797.27	c limits/memory = 13950
1796.83/1797.27	c 
1796.83/1797.27	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.83/1797.27	c # [type: int, range: [1,2], default: 1]
1796.83/1797.27	c timing/clocktype = 2
1796.83/1797.27	c 
1796.83/1797.27	c # belongs reading time to solving time?
1796.83/1797.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.83/1797.27	c timing/reading = TRUE
1796.83/1797.27	c 
1796.83/1797.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.83/1797.27	c # [type: int, range: [-1,2147483647], default: -1]
1796.83/1797.27	c separating/rapidlearning/freq = 0
1796.83/1797.27	c 
1796.83/1797.27	c -----------------------------------------------------------------------------------------------
1796.83/1797.27	c start solving
1796.93/1797.36	c 
1796.93/1797.36	c 
1796.93/1797.36	c SCIP Status        : solving was interrupted [time limit reached]
1796.93/1797.36	c Solving Time (sec) : 1797.36
1796.93/1797.36	c Solving Nodes      : 0
1796.93/1797.36	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.93/1797.36	c Dual Bound         : -1.00000000000000e+20
1796.93/1797.36	c Gap                : infinite
1796.93/1797.36	s UNKNOWN
1796.93/1797.36	c SCIP Status        : solving was interrupted [time limit reached]
1796.93/1797.36	c Total Time         :    1797.36
1796.93/1797.36	c   solving          :    1797.36
1796.93/1797.36	c   presolving       :    1795.44 (included in solving)
1796.93/1797.36	c   reading          :       1.27 (included in solving)
1796.93/1797.36	c   copying          :       0.00 (0 times copied the problem)
1796.93/1797.36	c Original Problem   :
1796.93/1797.36	c   Problem name     : HOME/instance-3691308-1338024504.opb
1796.93/1797.36	c   Variables        : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.93/1797.36	c   Constraints      : 11077 initial, 11077 maximal
1796.93/1797.36	c   Objective sense  : minimize
1796.93/1797.36	c Presolved Problem  :
1796.93/1797.36	c   Problem name     : t_HOME/instance-3691308-1338024504.opb
1796.93/1797.36	c   Variables        : 191980 (191980 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.93/1797.36	c   Constraints      : 9809 initial, 9809 maximal
1796.93/1797.36	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.93/1797.36	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   trivial          :       2.14       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   dualfix          :       1.62       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   implics          :       1.86       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   components       :       0.22       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   probing          :    1765.18       0.01       2816          0          0          0          0          0          0          0          0
1796.93/1797.36	c   setppc           :       9.90       0.00        396          0          0          0          0         16          0          0          0
1796.93/1797.36	c   linear           :      12.27       0.00      66952          0          0      66952          0       1252          0          0          0
1796.93/1797.36	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.93/1797.36	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.93/1797.36	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c   setppc           :        794        794          0      75406          0          0          0      55277       1839          0          0          0          0
1796.93/1797.36	c   linear           :       9015       9015          0      73567          0          0          0     520640         68          0          0          0          0
1796.93/1797.36	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.93/1797.36	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.93/1797.36	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.93/1797.36	c   setppc           :      20.81       0.00       0.00      20.69       0.00       0.00       0.00       0.12
1796.93/1797.36	c   linear           :     794.57       0.00       0.00     792.20       0.00       0.00       0.00       2.36
1796.93/1797.36	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.93/1797.36	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.93/1797.36	c   rootredcost      :          0          0          0          0
1796.93/1797.36	c   pseudoobj        :          0          0          0          0
1796.93/1797.36	c   vbounds          :          0          0          0          0
1796.93/1797.36	c   redcost          :          0          0          0          0
1796.93/1797.36	c   probing          :          0          0          0          0
1796.93/1797.36	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.93/1797.36	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.93/1797.36	c   pseudoobj        :       0.06       0.00       0.00       0.06       0.00
1796.93/1797.36	c   vbounds          :       0.10       0.05       0.00       0.05       0.00
1796.93/1797.36	c   redcost          :       0.03       0.00       0.00       0.03       0.00
1796.93/1797.36	c   probing          :    1765.18       0.01    1765.18       0.00       0.00
1796.93/1797.36	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.93/1797.36	c   propagation      :       4.53       1907          0          0        0.0          0        0.0          -
1796.93/1797.36	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.93/1797.36	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.93/1797.36	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.93/1797.36	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.93/1797.36	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.93/1797.36	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.93/1797.36	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.93/1797.36	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.93/1797.36	c   clique           :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.93/1797.36	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.93/1797.36	c   problem variables:       0.00          -          0          0
1796.93/1797.36	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.93/1797.36	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.93/1797.36	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.93/1797.36	c   LP solutions     :       0.00          -          -          0
1796.93/1797.36	c   pseudo solutions :       0.00          -          -          0
1796.93/1797.36	c   smallcard        :       0.00       0.00          0          0
1796.93/1797.36	c   trivial          :       0.37       0.00          1          0
1796.93/1797.36	c   shiftandpropagate:       0.00       0.00          0          0
1796.93/1797.36	c   simplerounding   :       0.00       0.00          0          0
1796.93/1797.36	c   zirounding       :       0.00       0.00          0          0
1796.93/1797.36	c   rounding         :       0.00       0.00          0          0
1796.93/1797.36	c   shifting         :       0.00       0.00          0          0
1796.93/1797.36	c   intshifting      :       0.00       0.00          0          0
1796.93/1797.36	c   oneopt           :       0.00       0.00          0          0
1796.93/1797.36	c   twoopt           :       0.00       0.00          0          0
1796.93/1797.36	c   indtwoopt        :       0.00       0.00          0          0
1796.93/1797.36	c   indoneopt        :       0.00       0.00          0          0
1796.93/1797.36	c   fixandinfer      :       0.00       0.00          0          0
1796.93/1797.36	c   feaspump         :       0.00       0.00          0          0
1796.93/1797.36	c   clique           :       0.00       0.00          0          0
1796.93/1797.36	c   indrounding      :       0.00       0.00          0          0
1796.93/1797.36	c   indcoefdiving    :       0.00       0.00          0          0
1796.93/1797.36	c   coefdiving       :       0.00       0.00          0          0
1796.93/1797.36	c   pscostdiving     :       0.00       0.00          0          0
1796.93/1797.36	c   nlpdiving        :       0.00       0.00          0          0
1796.93/1797.36	c   fracdiving       :       0.00       0.00          0          0
1796.93/1797.36	c   veclendiving     :       0.00       0.00          0          0
1796.93/1797.36	c   intdiving        :       0.00       0.00          0          0
1796.93/1797.36	c   actconsdiving    :       0.00       0.00          0          0
1796.93/1797.36	c   objpscostdiving  :       0.00       0.00          0          0
1796.93/1797.36	c   rootsoldiving    :       0.00       0.00          0          0
1796.93/1797.36	c   linesearchdiving :       0.00       0.00          0          0
1796.93/1797.36	c   guideddiving     :       0.00       0.00          0          0
1796.93/1797.36	c   octane           :       0.00       0.00          0          0
1796.93/1797.36	c   rens             :       0.00       0.00          0          0
1796.93/1797.36	c   rins             :       0.00       0.00          0          0
1796.93/1797.36	c   localbranching   :       0.00       0.00          0          0
1796.93/1797.36	c   mutation         :       0.00       0.00          0          0
1796.93/1797.36	c   crossover        :       0.00       0.00          0          0
1796.93/1797.36	c   dins             :       0.00       0.00          0          0
1796.93/1797.36	c   vbounds          :       0.00       0.00          0          0
1796.93/1797.36	c   undercover       :       0.00       0.00          0          0
1796.93/1797.36	c   subnlp           :       0.00       0.00          0          0
1796.93/1797.36	c   trysol           :       0.00       0.00          0          0
1796.93/1797.36	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.93/1797.36	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.93/1797.36	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
1796.93/1797.36	c   lex dual LP      :       0.00          0          0       0.00          -
1796.93/1797.36	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.93/1797.36	c   diving/probing LP:       0.00          0          0       0.00          -
1796.93/1797.36	c   strong branching :       0.00          0          0       0.00          -
1796.93/1797.36	c     (at root node) :          -          0          0       0.00          -
1796.93/1797.36	c   conflict analysis:       0.00          0          0       0.00          -
1796.93/1797.36	c B&B Tree           :
1796.93/1797.36	c   number of runs   :          1
1796.93/1797.36	c   nodes            :          0
1796.93/1797.36	c   nodes (total)    :          0
1796.93/1797.36	c   nodes left       :          1
1796.93/1797.36	c   max depth        :         -1
1796.93/1797.36	c   max depth (total):         -1
1796.93/1797.36	c   backtracks       :          0 (0.0%)
1796.93/1797.36	c   delayed cutoffs  :          0
1796.93/1797.36	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.93/1797.36	c   avg switch length:       0.00
1796.93/1797.36	c   switching time   :       0.00
1796.93/1797.36	c Solution           :
1796.93/1797.36	c   Solutions found  :          0 (0 improvements)
1796.93/1797.36	c   Primal Bound     :          -
1796.93/1797.36	c   Dual Bound       :          -
1796.93/1797.36	c   Gap              :   infinite
1796.93/1797.36	c   Root Dual Bound  :          -
1796.93/1797.36	c   Root Iterations  :          0
1798.53/1798.90	c Time complete: 1798.54.

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-3691308-1338024504/watcher-3691308-1338024504 -o /tmp/evaluation-result-3691308-1338024504/solver-3691308-1338024504 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691308-1338024504.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: 2.00 2.00 2.00 3/176 7846
/proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1531 0 0 0 0 0 0 0 20 0 1 0 268574804 11403264 1486 33554432000 4194304 10173063 140735765073456 140735764938296 7173662 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2784 1486 408 1460 0 1315 0

[startup+0.0828371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7846
/proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=65328 CPUtime=0.07 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 15093 0 0 0 5 2 0 0 20 0 1 0 268574804 66895872 14999 33554432000 4194304 10173063 140735765073456 140735764938296 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 16332 15021 408 1460 0 14863 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 65328

[startup+0.100358 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7846
/proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=77180 CPUtime=0.09 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 17882 0 0 0 6 3 0 0 20 0 1 0 268574804 79032320 17789 33554432000 4194304 10173063 140735765073456 140735764938296 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 19295 17825 408 1460 0 17826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 77180

[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7846
/proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=197344 CPUtime=0.28 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 47903 0 0 0 21 7 0 0 20 0 1 0 268574804 202080256 47808 33554432000 4194304 10173063 140735765073456 140735764938296 7173674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 49592 47827 408 1460 0 48123 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 197344

[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7846
/proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=218076 CPUtime=0.69 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 53125 0 0 0 61 8 0 0 20 0 1 0 268574804 223309824 53030 33554432000 4194304 10173063 140735765073456 140735764938632 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 54519 53030 416 1460 0 53050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 218076

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27922332/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=457684 CPUtime=1.49 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 112728 0 0 0 131 18 0 0 20 0 1 0 268574804 468668416 112614 33554432000 4194304 10173063 140735765073456 140735764938632 4941840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 114421 112614 468 1460 0 112952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 457684

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27661312/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=645368 CPUtime=3.09 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 161150 0 0 0 283 26 0 0 20 0 1 0 268574804 660856832 157958 33554432000 4194304 10173063 140735765073456 140735765069192 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 161342 157958 523 1460 0 159873 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 645368

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27468300/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=684988 CPUtime=6.29 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 172554 0 0 0 599 30 0 0 20 0 1 0 268574804 701427712 167741 33554432000 4194304 10173063 140735765073456 140735765070456 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 171247 167741 575 1460 0 169778 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 684988

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27421576/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=735108 CPUtime=12.68 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 184842 0 0 0 1234 34 0 0 20 0 1 0 268574804 752750592 179938 33554432000 4194304 10173063 140735765073456 140735765069816 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 183777 179938 604 1460 0 182308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 735108

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27374704/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=784944 CPUtime=25.48 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 196573 0 0 0 2509 39 0 0 20 0 1 0 268574804 803782656 191669 33554432000 4194304 10173063 140735765073456 140735765069816 7430733 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 196236 191669 604 1460 0 194767 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 784944

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7847
/proc/meminfo: memFree=27301356/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=862744 CPUtime=51.08 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 215307 0 0 0 5063 45 0 0 20 0 1 0 268574804 883449856 210403 33554432000 4194304 10173063 140735765073456 140735765070312 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 215686 210403 604 1460 0 214217 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 862744

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7851
/proc/meminfo: memFree=27087780/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=1078364 CPUtime=102.28 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 267854 0 0 0 10172 56 0 0 20 0 1 0 268574804 1104244736 263387 33554432000 4194304 10173063 140735765073456 140735765069832 4436154 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 269591 263387 604 1460 0 268122 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1078364

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7851
/proc/meminfo: memFree=26840948/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=1327876 CPUtime=162.26 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 329419 0 0 0 16156 70 0 0 20 0 1 0 268574804 1359745024 325975 33554432000 4194304 10173063 140735765073456 140735765069816 4953507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 331969 325975 605 1460 0 330500 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1327876

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7851
/proc/meminfo: memFree=26587520/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=1576116 CPUtime=222.23 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 391112 0 0 0 22139 84 0 0 20 0 1 0 268574804 1613942784 388086 33554432000 4194304 10173063 140735765073456 140735765069816 5298612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 394029 388086 605 1460 0 392560 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1576116

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7852
/proc/meminfo: memFree=26357520/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=1811952 CPUtime=282.22 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 449379 0 0 0 28127 95 0 0 20 0 1 0 268574804 1855438848 446653 33554432000 4194304 10173063 140735765073456 140735765069816 5933835 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 452988 446653 605 1460 0 451519 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1811952

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7852
/proc/meminfo: memFree=26093932/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=2068652 CPUtime=342.2 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 514296 0 0 0 34110 110 0 0 20 0 1 0 268574804 2118299648 511799 33554432000 4194304 10173063 140735765073456 140735765069816 5871378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 517163 511799 605 1460 0 515694 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2068652

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7853
/proc/meminfo: memFree=25867544/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=2296184 CPUtime=402.2 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 570431 0 0 0 40096 124 0 0 20 0 1 0 268574804 2351292416 568192 33554432000 4194304 10173063 140735765073456 140735765069816 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 574046 568192 605 1460 0 572577 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 2296184

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7854
/proc/meminfo: memFree=25596748/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=2567088 CPUtime=462.18 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 637388 0 0 0 46081 137 0 0 20 0 1 0 268574804 2628698112 635374 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 641772 635374 605 1460 0 640303 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 2567088

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7854
/proc/meminfo: memFree=25342948/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=2824728 CPUtime=522.17 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 701348 0 0 0 52068 149 0 0 20 0 1 0 268574804 2892521472 699865 33554432000 4194304 10173063 140735765073456 140735765069816 8921470 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 706182 699865 605 1460 0 704713 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 2824728

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7854
/proc/meminfo: memFree=25063108/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=3095944 CPUtime=582.16 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 769176 0 0 0 58055 161 0 0 20 0 1 0 268574804 3170246656 768100 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 773986 768100 605 1460 0 772517 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 3095944

[startup+642.3 s]

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

/proc/meminfo: memFree=22848444/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=5296292 CPUtime=1062.06 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1316032 0 0 0 105935 271 0 0 20 0 1 0 268574804 5423403008 1315831 33554432000 4194304 10173063 140735765073456 140735765069832 8921508 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1324073 1315831 605 1460 0 1322604 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 5296292

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7859
/proc/meminfo: memFree=22667060/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=5478892 CPUtime=1122.05 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1361294 0 0 0 111925 280 0 0 20 0 1 0 268574804 5610385408 1361444 33554432000 4194304 10173063 140735765073456 140735765069816 4953527 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1369723 1361444 605 1460 0 1368254 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 5478892

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7859
/proc/meminfo: memFree=22307240/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=5849236 CPUtime=1182.04 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1453527 0 0 0 117907 297 0 0 20 0 1 0 268574804 5989617664 1453853 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1462309 1453853 605 1460 0 1460840 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 5849236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7859
/proc/meminfo: memFree=22069064/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=6067464 CPUtime=1242.03 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1508319 0 0 0 123896 307 0 0 20 0 1 0 268574804 6213083136 1508733 33554432000 4194304 10173063 140735765073456 140735765069816 4953507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1516866 1508733 605 1460 0 1515397 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 6067464

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7863
/proc/meminfo: memFree=21887648/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=6247572 CPUtime=1302.03 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1552605 0 0 0 129886 317 0 0 20 0 1 0 268574804 6397513728 1553227 33554432000 4194304 10173063 140735765073456 140735765069816 4480563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1561893 1553227 605 1460 0 1560424 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 6247572

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7863
/proc/meminfo: memFree=21597548/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=6536916 CPUtime=1362.01 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1624372 0 0 0 135869 332 0 0 20 0 1 0 268574804 6693801984 1625206 33554432000 4194304 10173063 140735765073456 140735765069832 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1634229 1625206 605 1460 0 1632760 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 6536916

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7901
/proc/meminfo: memFree=21236196/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=6908924 CPUtime=1422 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1717653 0 0 0 141849 351 0 0 20 0 1 0 268574804 7074738176 1718621 33554432000 4194304 10173063 140735765073456 140735765069832 6919514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1727231 1718621 605 1460 0 1725762 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 6908924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7901
/proc/meminfo: memFree=20994672/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7143372 CPUtime=1481.99 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1776478 0 0 0 147833 366 0 0 20 0 1 0 268574804 7314812928 1777532 33554432000 4194304 10173063 140735765073456 140735765069816 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1785843 1777532 605 1460 0 1784374 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 7143372

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7901
/proc/meminfo: memFree=20789356/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7348844 CPUtime=1541.97 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1827129 0 0 0 153819 378 0 0 20 0 1 0 268574804 7525216256 1828310 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1837211 1828310 605 1460 0 1835742 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 7348844

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7902
/proc/meminfo: memFree=20638288/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7492580 CPUtime=1601.96 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1864055 0 0 0 159807 389 0 0 20 0 1 0 268574804 7672401920 1865362 33554432000 4194304 10173063 140735765073456 140735765069832 5298612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1873145 1865362 605 1460 0 1871676 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 7492580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=20487532/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7648416 CPUtime=1661.96 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1903313 0 0 0 165794 402 0 0 20 0 1 0 268574804 7831977984 1904744 33554432000 4194304 10173063 140735765073456 140735765069832 4435961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1912104 1904744 605 1460 0 1910635 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 7648416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=20013836/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8132176 CPUtime=1721.93 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2022876 0 0 0 171768 425 0 0 20 0 1 0 268574804 8327348224 2024452 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2033044 2024452 605 1460 0 2031575 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 8132176

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19860272/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8270488 CPUtime=1781.93 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2058188 0 0 0 177759 434 0 0 20 0 1 0 268574804 8468979712 2059773 33554432000 4194304 10173063 140735765073456 140735765069816 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2067622 2059773 605 1460 0 2066153 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 8270488

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19829628/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8302856 CPUtime=1791.53 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2065935 0 0 0 178717 436 0 0 20 0 1 0 268574804 8502124544 2067521 33554432000 4194304 10173063 140735765073456 140735765069816 4261730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2075714 2067521 605 1460 0 2074245 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 8302856

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19818220/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8314976 CPUtime=1794.73 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2068734 0 0 0 179036 437 0 0 20 0 1 0 268574804 8514535424 2070320 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2078744 2070320 605 1460 0 2077275 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 8314976

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19811772/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8322140 CPUtime=1796.32 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2070962 0 0 0 179195 437 0 0 20 0 1 0 268574804 8521871360 2072548 33554432000 4194304 10173063 140735765073456 140735765069816 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2080535 2072548 605 1460 0 2079066 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 8322140

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19810284/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=8288204 CPUtime=1797.93 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075153 0 0 0 179354 439 0 0 20 0 1 0 268574804 8487120896 2063986 33554432000 4194304 10173063 140735765073456 140735765072680 5885479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 2072051 2063986 658 1460 0 2070582 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 8288204

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19846792/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7648124 CPUtime=1798.33 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075168 0 0 0 179381 452 0 0 20 0 1 0 268574804 7831678976 1394450 33554432000 4194304 10173063 140735765073456 140735765072728 9177290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1912031 1393939 673 1460 0 1910562 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 7648124

[startup+1798.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7902
/proc/meminfo: memFree=19846792/32873844 swapFree=7616/7616
[pid=7846] ppid=7844 vsize=7648124 CPUtime=1798.53 cores=1,3,5,7
/proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075168 0 0 0 179381 472 0 0 20 0 1 0 268574804 7831678976 567990 33554432000 4194304 10173063 140735765073456 140735765072728 9177290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7846/statm: 1912031 567990 673 1460 0 1910562 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (KiB) 7648124

Child status: 0
Real time (s): 1798.91
CPU time (s): 1798.54
CPU user time (s): 1793.81
CPU system time (s): 4.73428
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 8332176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 4.73428
maximum resident set size= 8315776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2075171
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= 127
involuntary context switches= 1832

runsolver used 2.6496 second user time and 8.95064 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-26 11:28:25
IDJOB=3691308
IDBENCH=89871
IDSOLVER=2270
FILE ID=node141/3691308-1338024504
RUNJOBID= node141-1338016921-6494
PBS_JOBID= 14624334
Free space on /tmp= 71476 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-datt256.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-3691308-1338024504/watcher-3691308-1338024504 -o /tmp/evaluation-result-3691308-1338024504/solver-3691308-1338024504 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691308-1338024504.opb -t 1800 -m 15500

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

MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec
RANDOM SEED=1817048773

node141.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.744
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	: 5333.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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	: 5331.91
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.744
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.92
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.744
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:        28143332 kB
Buffers:          251004 kB
Cached:          3524412 kB
SwapCached:            0 kB
Active:           815876 kB
Inactive:        3136600 kB
Active(anon):     179784 kB
Inactive(anon):        0 kB
Active(file):     636092 kB
Inactive(file):  3136600 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31868 kB
Writeback:             0 kB
AnonPages:        254192 kB
Mapped:            17588 kB
Shmem:               200 kB
Slab:             639268 kB
SReclaimable:      81664 kB
SUnreclaim:       557604 kB
KernelStack:        1448 kB
PageTables:         4540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     294396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 71464 MiB
End job on node141 at 2012-05-26 11:58:24