Trace number 3692474

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 E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1798.64 1798.98

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: 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-3692474-1338042324.opb>
1.29/1.35	c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
1.29/1.35	c problem read in 1.35
3.30/3.32	c presolving:
4.49/4.55	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.88/4.93	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.24	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.41	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.83	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.31	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.29/6.38	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.59/6.66	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.09/7.18	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.49/7.58	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.89/7.97	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.35	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.48/9.52	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.90/9.96	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.29/10.37	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.89/11.92	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
12.00/12.01	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.29/12.39	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.39/12.48	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.19/15.21	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.68/15.75	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.84	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.22	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.30	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.60/17.65	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.12	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.95	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.59/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.29/41.35	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.48/41.53	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.90	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.18/64.23	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.38/64.40	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.08/65.13	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.17/91.26	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
114.67/114.71	c    (114.7s) probing: 1000/194840 (0.5%) - 936 fixings, 0 aggregations, 5574918 implications, 0 bound changes
120.26/120.31	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
120.46/120.50	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
123.67/123.72	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
123.76/123.87	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
128.57/128.70	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
128.76/128.87	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
129.56/129.69	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
133.66/133.71	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
146.26/146.33	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
146.36/146.49	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
175.06/175.14	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
198.45/198.57	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
198.65/198.75	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
206.66/206.78	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
206.85/206.93	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
211.16/211.25	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
211.45/211.57	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
212.95/213.06	c    (213.1s) probing: 2000/194840 (1.0%) - 1196 fixings, 0 aggregations, 11096879 implications, 0 bound changes
213.15/213.29	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
213.35/213.44	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
228.94/229.06	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
229.35/229.41	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
229.64/229.78	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
229.75/229.88	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
257.94/258.01	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
283.33/283.49	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
299.43/299.56	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
299.83/299.93	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
301.63/301.70	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
301.73/301.85	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
306.33/306.42	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
306.63/306.76	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
308.33/308.48	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
308.94/309.08	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
309.13/309.22	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
328.63/328.78	c    (328.8s) probing: 3000/194840 (1.5%) - 1447 fixings, 0 aggregations, 17267212 implications, 0 bound changes
330.82/331.00	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
347.33/347.41	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
366.33/366.49	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
373.22/373.33	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
375.22/375.34	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
418.51/418.61	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
418.71/418.87	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
429.41/429.58	c    (429.6s) probing: 4000/194840 (2.1%) - 1578 fixings, 0 aggregations, 22401768 implications, 0 bound changes
470.10/470.25	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
486.49/486.68	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
526.19/526.34	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
543.30/543.46	c    (543.5s) probing: 5000/194840 (2.6%) - 1660 fixings, 0 aggregations, 28101564 implications, 0 bound changes
562.89/563.01	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
574.28/574.43	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
610.38/610.56	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
636.07/636.26	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
645.87/646.03	c    (646.0s) probing: 6000/194840 (3.1%) - 1764 fixings, 0 aggregations, 33514554 implications, 0 bound changes
673.77/673.96	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
715.05/715.22	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
723.25/723.47	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
759.55/759.73	c    (759.7s) probing: 7000/194840 (3.6%) - 1841 fixings, 0 aggregations, 39339580 implications, 0 bound changes
769.24/769.44	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
797.94/798.16	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
825.14/825.31	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
856.33/856.54	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
866.43/866.62	c    (866.6s) probing: 8000/194840 (4.1%) - 1928 fixings, 0 aggregations, 45009871 implications, 0 bound changes
872.23/872.48	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
887.73/887.98	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
916.32/916.58	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
946.72/946.97	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
952.01/952.23	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
960.92/961.13	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
973.32/973.55	c    (973.5s) probing: 9000/194840 (4.6%) - 2081 fixings, 0 aggregations, 50120675 implications, 0 bound changes
994.91/995.15	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
1025.41/1025.63	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
1030.60/1030.89	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
1064.80/1065.02	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
1084.70/1084.91	c    (1084.9s) probing: 10000/194840 (5.1%) - 2188 fixings, 0 aggregations, 55696458 implications, 0 bound changes
1106.29/1106.56	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
1114.69/1114.92	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
1159.38/1159.60	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
1190.37/1190.65	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
1194.67/1194.91	c    (1194.9s) probing: 11000/194840 (5.6%) - 2282 fixings, 0 aggregations, 61004314 implications, 0 bound changes
1204.29/1204.56	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
1251.07/1251.35	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
1275.47/1275.78	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
1303.65/1303.93	c    (1303.9s) probing: 12000/194840 (6.2%) - 2372 fixings, 0 aggregations, 66504358 implications, 0 bound changes
1306.36/1306.70	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
1343.45/1343.72	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
1349.45/1349.70	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
1371.75/1372.09	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
1402.15/1402.43	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
1415.73/1416.02	c    (1416.0s) probing: 13000/194840 (6.7%) - 2482 fixings, 0 aggregations, 72279657 implications, 0 bound changes
1430.53/1430.87	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
1437.92/1438.24	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
1459.52/1459.83	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
1489.61/1489.90	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
1517.51/1517.82	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
1524.71/1525.03	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
1525.61/1525.96	c    (1526.0s) probing: 14000/194840 (7.2%) - 2629 fixings, 0 aggregations, 77628424 implications, 0 bound changes
1546.21/1546.59	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
1576.31/1576.62	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
1603.90/1604.28	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
1612.79/1613.17	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
1640.79/1641.15	c    (1641.2s) probing: 15000/194840 (7.7%) - 2739 fixings, 0 aggregations, 83334606 implications, 0 bound changes
1663.89/1664.23	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
1704.37/1704.74	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
1720.77/1721.12	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
1762.97/1763.37	c    (1763.4s) probing: 16000/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes
1786.56/1786.99	c (round 129) 70173 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 181526874 impls, 794 clqs
1796.65/1797.03	c    (1797.0s) probing: 16282/194840 (8.4%) - 2838 fixings, 0 aggregations, 90879570 implications, 0 bound changes
1796.65/1797.03	c    (1797.0s) probing aborted: solving stopped
1796.85/1797.26	c presolving (130 rounds):
1796.85/1797.26	c  70186 deleted vars, 1268 deleted constraints, 0 added constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.85/1797.26	c  182417808 implications, 794 cliques
1796.85/1797.26	c presolved problem has 191958 variables (191958 bin, 0 int, 0 impl, 0 cont) and 9809 constraints
1796.85/1797.26	c     794 constraints of type <setppc>
1796.85/1797.26	c    9015 constraints of type <linear>
1796.85/1797.26	c transformed objective value is always integral (scale: 1)
1796.85/1797.26	c Presolving Time: 1794.83
1796.85/1797.26	c - non default parameters ----------------------------------------------------------------------
1796.85/1797.26	c # SCIP version 2.1.1.4
1796.85/1797.26	c 
1796.85/1797.26	c # maximal time in seconds to run
1796.85/1797.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.85/1797.26	c limits/time = 1797
1796.85/1797.26	c 
1796.85/1797.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.85/1797.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.85/1797.26	c limits/memory = 13950
1796.85/1797.26	c 
1796.85/1797.26	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.85/1797.26	c # [type: int, range: [1,2], default: 1]
1796.85/1797.26	c timing/clocktype = 2
1796.85/1797.26	c 
1796.85/1797.26	c # belongs reading time to solving time?
1796.85/1797.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.85/1797.26	c timing/reading = TRUE
1796.85/1797.26	c 
1796.85/1797.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.85/1797.26	c # [type: int, range: [-1,2147483647], default: -1]
1796.85/1797.26	c separating/rapidlearning/freq = 0
1796.85/1797.26	c 
1796.85/1797.26	c -----------------------------------------------------------------------------------------------
1796.85/1797.26	c start solving
1796.96/1797.35	c 
1796.96/1797.35	c 
1796.96/1797.35	c SCIP Status        : solving was interrupted [time limit reached]
1796.96/1797.35	c Solving Time (sec) : 1797.35
1796.96/1797.35	c Solving Nodes      : 0
1796.96/1797.35	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.96/1797.35	c Dual Bound         : -1.00000000000000e+20
1796.96/1797.35	c Gap                : infinite
1796.96/1797.35	s UNKNOWN
1796.96/1797.35	c SCIP Status        : solving was interrupted [time limit reached]
1796.96/1797.35	c Total Time         :    1797.35
1796.96/1797.35	c   solving          :    1797.35
1796.96/1797.35	c   presolving       :    1794.83 (included in solving)
1796.96/1797.35	c   reading          :       1.35 (included in solving)
1796.96/1797.35	c   copying          :       0.00 (0 times copied the problem)
1796.96/1797.35	c Original Problem   :
1796.96/1797.35	c   Problem name     : HOME/instance-3692474-1338042324.opb
1796.96/1797.35	c   Variables        : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.35	c   Constraints      : 11077 initial, 11077 maximal
1796.96/1797.35	c   Objective sense  : minimize
1796.96/1797.35	c Presolved Problem  :
1796.96/1797.35	c   Problem name     : t_HOME/instance-3692474-1338042324.opb
1796.96/1797.35	c   Variables        : 191958 (191958 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.35	c   Constraints      : 9809 initial, 9809 maximal
1796.96/1797.35	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.96/1797.35	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   trivial          :       2.16       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   dualfix          :       1.63       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   implics          :       1.87       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   components       :       0.22       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   probing          :    1764.86       0.01       2838          0          0          0          0          0          0          0          0
1796.96/1797.35	c   setppc           :       9.99       0.00        396          0          0          0          0         16          0          0          0
1796.96/1797.35	c   linear           :      12.47       0.48      66952          0          0      66952          0       1252          0          0          0
1796.96/1797.35	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.96/1797.35	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.96/1797.35	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c   setppc           :        794        794          0      76839          0          0          0      55752       1861          0          0          0          0
1796.96/1797.35	c   linear           :       9015       9015          0      74978          0          0          0     524786         68          0          0          0          0
1796.96/1797.35	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.96/1797.35	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.96/1797.35	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.96/1797.35	c   setppc           :      20.83       0.00       0.00      20.71       0.00       0.00       0.00       0.12
1796.96/1797.35	c   linear           :     797.84       0.48       0.00     794.98       0.00       0.00       0.00       2.38
1796.96/1797.35	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.96/1797.35	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.96/1797.35	c   rootredcost      :          0          0          0          0
1796.96/1797.35	c   pseudoobj        :          0          0          0          0
1796.96/1797.35	c   vbounds          :          0          0          0          0
1796.96/1797.35	c   redcost          :          0          0          0          0
1796.96/1797.35	c   probing          :          0          0          0          0
1796.96/1797.35	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.96/1797.35	c   rootredcost      :       0.05       0.00       0.00       0.05       0.00
1796.96/1797.35	c   pseudoobj        :       0.06       0.00       0.00       0.06       0.00
1796.96/1797.35	c   vbounds          :       0.10       0.05       0.00       0.06       0.00
1796.96/1797.35	c   redcost          :       0.03       0.00       0.00       0.03       0.00
1796.96/1797.35	c   probing          :    1764.87       0.01    1764.86       0.00       0.00
1796.96/1797.35	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.96/1797.35	c   propagation      :       4.57       1929          0          0        0.0          0        0.0          -
1796.96/1797.35	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.35	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.35	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.35	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.96/1797.35	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.96/1797.35	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.96/1797.35	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.96/1797.35	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.96/1797.35	c   clique           :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.96/1797.35	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.96/1797.35	c   problem variables:       0.00          -          0          0
1796.96/1797.35	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.96/1797.35	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.96/1797.35	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.96/1797.35	c   LP solutions     :       0.00          -          -          0
1796.96/1797.35	c   pseudo solutions :       0.00          -          -          0
1796.96/1797.35	c   smallcard        :       0.00       0.00          0          0
1796.96/1797.35	c   trivial          :       0.41       0.00          1          0
1796.96/1797.35	c   shiftandpropagate:       0.00       0.00          0          0
1796.96/1797.35	c   simplerounding   :       0.00       0.00          0          0
1796.96/1797.35	c   zirounding       :       0.00       0.00          0          0
1796.96/1797.35	c   rounding         :       0.00       0.00          0          0
1796.96/1797.35	c   shifting         :       0.00       0.00          0          0
1796.96/1797.35	c   intshifting      :       0.00       0.00          0          0
1796.96/1797.35	c   oneopt           :       0.00       0.00          0          0
1796.96/1797.35	c   twoopt           :       0.00       0.00          0          0
1796.96/1797.35	c   indtwoopt        :       0.00       0.00          0          0
1796.96/1797.35	c   indoneopt        :       0.00       0.00          0          0
1796.96/1797.35	c   fixandinfer      :       0.00       0.00          0          0
1796.96/1797.35	c   feaspump         :       0.00       0.00          0          0
1796.96/1797.35	c   clique           :       0.00       0.00          0          0
1796.96/1797.35	c   indrounding      :       0.00       0.00          0          0
1796.96/1797.35	c   indcoefdiving    :       0.00       0.00          0          0
1796.96/1797.35	c   coefdiving       :       0.00       0.00          0          0
1796.96/1797.35	c   pscostdiving     :       0.00       0.00          0          0
1796.96/1797.35	c   nlpdiving        :       0.00       0.00          0          0
1796.96/1797.35	c   fracdiving       :       0.00       0.00          0          0
1796.96/1797.35	c   veclendiving     :       0.00       0.00          0          0
1796.96/1797.35	c   intdiving        :       0.00       0.00          0          0
1796.96/1797.35	c   actconsdiving    :       0.00       0.00          0          0
1796.96/1797.35	c   objpscostdiving  :       0.00       0.00          0          0
1796.96/1797.35	c   rootsoldiving    :       0.00       0.00          0          0
1796.96/1797.35	c   linesearchdiving :       0.00       0.00          0          0
1796.96/1797.35	c   guideddiving     :       0.00       0.00          0          0
1796.96/1797.35	c   octane           :       0.00       0.00          0          0
1796.96/1797.35	c   rens             :       0.00       0.00          0          0
1796.96/1797.35	c   rins             :       0.00       0.00          0          0
1796.96/1797.35	c   localbranching   :       0.00       0.00          0          0
1796.96/1797.35	c   mutation         :       0.00       0.00          0          0
1796.96/1797.35	c   crossover        :       0.00       0.00          0          0
1796.96/1797.35	c   dins             :       0.00       0.00          0          0
1796.96/1797.35	c   vbounds          :       0.00       0.00          0          0
1796.96/1797.35	c   undercover       :       0.00       0.00          0          0
1796.96/1797.35	c   subnlp           :       0.00       0.00          0          0
1796.96/1797.35	c   trysol           :       0.00       0.00          0          0
1796.96/1797.35	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.96/1797.35	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.96/1797.35	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
1796.96/1797.35	c   lex dual LP      :       0.00          0          0       0.00          -
1796.96/1797.35	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.96/1797.35	c   diving/probing LP:       0.00          0          0       0.00          -
1796.96/1797.35	c   strong branching :       0.00          0          0       0.00          -
1796.96/1797.35	c     (at root node) :          -          0          0       0.00          -
1796.96/1797.35	c   conflict analysis:       0.00          0          0       0.00          -
1796.96/1797.35	c B&B Tree           :
1796.96/1797.35	c   number of runs   :          1
1796.96/1797.35	c   nodes            :          0
1796.96/1797.35	c   nodes (total)    :          0
1796.96/1797.35	c   nodes left       :          1
1796.96/1797.35	c   max depth        :         -1
1796.96/1797.35	c   max depth (total):         -1
1796.96/1797.35	c   backtracks       :          0 (0.0%)
1796.96/1797.35	c   delayed cutoffs  :          0
1796.96/1797.35	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.96/1797.35	c   avg switch length:       0.00
1796.96/1797.35	c   switching time   :       0.00
1796.96/1797.35	c Solution           :
1796.96/1797.35	c   Solutions found  :          0 (0 improvements)
1796.96/1797.35	c   Primal Bound     :          -
1796.96/1797.35	c   Dual Bound       :          -
1796.96/1797.35	c   Gap              :   infinite
1796.96/1797.35	c   Root Dual Bound  :          -
1796.96/1797.35	c   Root Iterations  :          0
1798.55/1798.98	c Time complete: 1798.64.

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-3692474-1338042324/watcher-3692474-1338042324 -o /tmp/evaluation-result-3692474-1338042324/solver-3692474-1338042324 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692474-1338042324.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.03 2.02 2.00 3/176 10488
/proc/meminfo: memFree=28580308/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=12024 CPUtime=0 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1808 0 0 0 0 0 0 0 20 0 1 0 270357044 12312576 1763 33554432000 4194304 10219143 140735591915760 140733789144328 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 3006 1770 398 1471 0 1526 0

[startup+0.028296 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10488
/proc/meminfo: memFree=28580308/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=29884 CPUtime=0.02 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 6147 0 0 0 1 1 0 0 20 0 1 0 270357044 30601216 6095 33554432000 4194304 10219143 140735591915760 140733789144328 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 7471 6125 413 1471 0 5991 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29884

[startup+0.100331 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10488
/proc/meminfo: memFree=28580308/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=82288 CPUtime=0.08 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 19370 0 0 0 6 2 0 0 20 0 1 0 270357044 84262912 19273 33554432000 4194304 10219143 140735591915760 140733789144328 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 20572 19273 413 1471 0 19092 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 82288

[startup+0.300253 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10488
/proc/meminfo: memFree=28580308/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=207884 CPUtime=0.29 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 50559 0 0 0 21 8 0 0 20 0 1 0 270357044 212873216 50462 33554432000 4194304 10219143 140735591915760 140735591781048 5966327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 51971 50462 416 1471 0 50491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 207884

[startup+0.700269 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 10488
/proc/meminfo: memFree=28580308/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=219708 CPUtime=0.69 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 53528 0 0 0 60 9 0 0 20 0 1 0 270357044 224980992 53431 33554432000 4194304 10219143 140735591915760 140735591781048 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 54927 53431 421 1471 0 53447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 219708

[startup+1.50025 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10489
/proc/meminfo: memFree=28357720/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=373448 CPUtime=1.48 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 91403 0 0 0 135 13 0 0 20 0 1 0 270357044 382410752 91307 33554432000 4194304 10219143 140735591915760 140735591780936 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 93362 91345 468 1471 0 91882 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 373448

[startup+3.10028 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10489
/proc/meminfo: memFree=28064948/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=634288 CPUtime=3.09 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 155255 0 0 0 285 24 0 0 20 0 1 0 270357044 649510912 155158 33554432000 4194304 10219143 140735591915760 140735591913016 5705760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 158572 155158 527 1471 0 157092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 634288

[startup+6.30028 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10489
/proc/meminfo: memFree=27916392/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=678352 CPUtime=6.29 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 169291 0 0 0 602 27 0 0 20 0 1 0 270357044 694632448 165898 33554432000 4194304 10219143 140735591915760 140735591912760 7421569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 169588 165898 573 1471 0 168108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 678352

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10489
/proc/meminfo: memFree=27872920/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=727324 CPUtime=12.69 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 181323 0 0 0 1236 33 0 0 20 0 1 0 270357044 744779776 177840 33554432000 4194304 10219143 140735591915760 140735591913000 4823460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 181831 177840 599 1471 0 180351 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 727324

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10489
/proc/meminfo: memFree=27820524/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=777160 CPUtime=25.49 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 193038 0 0 0 2510 39 0 0 20 0 1 0 270357044 795811840 189555 33554432000 4194304 10219143 140735591915760 140735591912136 6899557 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 194290 189555 599 1471 0 192810 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 777160

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10490
/proc/meminfo: memFree=27744776/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=854960 CPUtime=51.08 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 211777 0 0 0 5062 46 0 0 20 0 1 0 270357044 875479040 208355 33554432000 4194304 10219143 140735591915760 140735591912120 4482119 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 213740 208355 599 1471 0 212260 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 854960

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10490
/proc/meminfo: memFree=27528440/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=1072436 CPUtime=102.28 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 265135 0 0 0 10171 57 0 0 20 0 1 0 270357044 1098174464 262063 33554432000 4194304 10219143 140735591915760 140735591912136 4823396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 268109 262063 599 1471 0 266629 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1072436

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10490
/proc/meminfo: memFree=27271908/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=1329144 CPUtime=162.26 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 328290 0 0 0 16155 71 0 0 20 0 1 0 270357044 1361043456 325655 33554432000 4194304 10219143 140735591915760 140735591912120 4261637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 332286 325655 599 1471 0 330806 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1329144

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10490
/proc/meminfo: memFree=27020836/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=1579212 CPUtime=222.25 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 390043 0 0 0 22139 86 0 0 20 0 1 0 270357044 1617113088 387727 33554432000 4194304 10219143 140735591915760 140735591911080 4480634 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 394803 387727 599 1471 0 393323 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1579212

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10493
/proc/meminfo: memFree=26785244/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=1829556 CPUtime=282.23 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 452460 0 0 0 28124 99 0 0 20 0 1 0 270357044 1873465344 450354 33554432000 4194304 10219143 140735591915760 140735591912120 8965728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 457389 450354 599 1471 0 455909 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1829556

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10493
/proc/meminfo: memFree=26525020/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=2080020 CPUtime=342.23 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 515478 0 0 0 34109 114 0 0 20 0 1 0 270357044 2129940480 513626 33554432000 4194304 10219143 140735591915760 140735591912136 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 520005 513626 599 1471 0 518525 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2080020

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10494
/proc/meminfo: memFree=26310900/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=2296388 CPUtime=402.21 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 569006 0 0 0 40093 128 0 0 20 0 1 0 270357044 2351501312 567418 33554432000 4194304 10219143 140735591915760 140735591912120 4487147 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 574097 567418 599 1471 0 572617 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2296388

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10494
/proc/meminfo: memFree=26016676/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=2590720 CPUtime=462.2 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 641689 0 0 0 46079 141 0 0 20 0 1 0 270357044 2652897280 640594 33554432000 4194304 10219143 140735591915760 140735591912136 6901419 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 647680 640594 599 1471 0 646200 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2590720

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 10494
/proc/meminfo: memFree=25754328/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=2856580 CPUtime=522.19 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 707735 0 0 0 52063 156 0 0 20 0 1 0 270357044 2925137920 707092 33554432000 4194304 10219143 140735591915760 140735591912136 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 714145 707092 599 1471 0 712665 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 2856580

[startup+582.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/178 10496
/proc/meminfo: memFree=25503852/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=3099980 CPUtime=582.18 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 768576 0 0 0 58050 168 0 0 20 0 1 0 270357044 3174379520 768416 33554432000 4194304 10219143 140735591915760 140735591912120 6899466 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 774995 768416 599 1471 0 773515 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3099980

[startup+642.3 s]

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

/proc/meminfo: memFree=23255412/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=5347956 CPUtime=1062.1 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1327722 0 0 0 105936 274 0 0 20 0 1 0 270357044 5476306944 1328222 33554432000 4194304 10219143 140735591915760 140735591912136 4480634 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1336989 1328222 599 1471 0 1335509 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 5347956

[startup+1122.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 10501
/proc/meminfo: memFree=23087172/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=5514584 CPUtime=1122.09 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1369342 0 0 0 111923 286 0 0 20 0 1 0 270357044 5646934016 1370044 33554432000 4194304 10219143 140735591915760 140735591912136 4480634 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1378646 1370044 599 1471 0 1377166 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 5514584

[startup+1182.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/177 10501
/proc/meminfo: memFree=22622696/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=5982528 CPUtime=1182.08 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1485004 0 0 0 117902 306 0 0 20 0 1 0 270357044 6126108672 1485792 33554432000 4194304 10219143 140735591915760 140735591912120 8962382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1495632 1485792 599 1471 0 1494152 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 5982528

[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 10501
/proc/meminfo: memFree=22456688/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=6148552 CPUtime=1242.07 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1526403 0 0 0 123893 314 0 0 20 0 1 0 270357044 6296117248 1527433 33554432000 4194304 10219143 140735591915760 140735591911080 4261730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1537138 1527433 599 1471 0 1535658 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 6148552

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 10502
/proc/meminfo: memFree=22252240/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=6348956 CPUtime=1302.06 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1576534 0 0 0 129881 325 0 0 20 0 1 0 270357044 6501330944 1577811 33554432000 4194304 10219143 140735591915760 140735591912120 4484426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1587239 1577811 599 1471 0 1585759 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 6348956

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 10502
/proc/meminfo: memFree=21988148/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=6622384 CPUtime=1362.05 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1644130 0 0 0 135865 340 0 0 20 0 1 0 270357044 6781321216 1645502 33554432000 4194304 10219143 140735591915760 140735591912136 8967264 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1655596 1645502 599 1471 0 1654116 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 6622384

[startup+1422.31 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 10502
/proc/meminfo: memFree=21523052/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7078608 CPUtime=1422.04 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1758443 0 0 0 141844 360 0 0 20 0 1 0 270357044 7248494592 1759912 33554432000 4194304 10219143 140735591915760 140735591912136 5933959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1769652 1759912 599 1471 0 1768172 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 7078608

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/178 10505
/proc/meminfo: memFree=21366336/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7240548 CPUtime=1482.02 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1798715 0 0 0 147831 371 0 0 20 0 1 0 270357044 7414321152 1800304 33554432000 4194304 10219143 140735591915760 140735591912136 5934037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1810137 1800304 599 1471 0 1808657 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 7240548

[startup+1542.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 10505
/proc/meminfo: memFree=21233320/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7367928 CPUtime=1542.01 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1831006 0 0 0 153820 381 0 0 20 0 1 0 270357044 7544758272 1832753 33554432000 4194304 10219143 140735591915760 140735591912120 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1841982 1832753 599 1471 0 1840502 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 7367928

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 10506
/proc/meminfo: memFree=21038544/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7565320 CPUtime=1601.99 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1879987 0 0 0 159806 393 0 0 20 0 1 0 270357044 7746887680 1881860 33554432000 4194304 10219143 140735591915760 140735591912136 4435852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1891330 1881860 599 1471 0 1889850 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 7565320

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 10506
/proc/meminfo: memFree=20723612/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7879500 CPUtime=1661.98 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 1958395 0 0 0 165789 409 0 0 20 0 1 0 270357044 8068608000 1960402 33554432000 4194304 10219143 140735591915760 140735591912136 8930603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1969875 1960402 599 1471 0 1968395 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 7879500

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 10506
/proc/meminfo: memFree=20425420/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8171844 CPUtime=1721.97 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2031876 0 0 0 171772 425 0 0 20 0 1 0 270357044 8367968256 2033905 33554432000 4194304 10219143 140735591915760 140735591912120 4480634 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2042961 2033905 599 1471 0 2041481 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 8171844

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20105188/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8394172 CPUtime=1781.95 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2087125 0 0 0 177758 437 0 0 20 0 1 0 270357044 8595632128 2089172 33554432000 4194304 10219143 140735591915760 140735591912136 4435852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2098543 2089172 599 1471 0 2097063 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 8394172

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20084216/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8413128 CPUtime=1791.56 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2091904 0 0 0 178717 439 0 0 20 0 1 0 270357044 8615043072 2093959 33554432000 4194304 10219143 140735591915760 140735591912136 4480761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2103282 2093959 599 1471 0 2101802 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 8413128

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20080496/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8417076 CPUtime=1794.76 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2092730 0 0 0 179037 439 0 0 20 0 1 0 270357044 8619085824 2094785 33554432000 4194304 10219143 140735591915760 140735591912136 5953914 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2104269 2094785 599 1471 0 2102789 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 8417076

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20079752/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8417076 CPUtime=1796.35 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2093008 0 0 0 179196 439 0 0 20 0 1 0 270357044 8619085824 2095063 33554432000 4194304 10219143 140735591915760 140735591912120 4261637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2104269 2095063 599 1471 0 2102789 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 8417076

[startup+1798.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20088680/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=8388104 CPUtime=1797.95 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2095708 0 0 0 179354 441 0 0 20 0 1 0 270357044 8589418496 2087375 33554432000 4194304 10219143 140735591915760 140735591914952 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 2097026 2087375 646 1471 0 2095546 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 8388104

[startup+1798.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20143844/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7695992 CPUtime=1798.36 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2095721 0 0 0 179388 448 0 0 20 0 1 0 270357044 7880695808 1557000 33554432000 4194304 10219143 140735591915760 140735591914952 9221482 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1923998 1556502 659 1471 0 1922518 0
Current children cumulated CPU time (s) 1798.36
Current children cumulated vsize (KiB) 7695992

[startup+1798.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10544
/proc/meminfo: memFree=20143844/32873844 swapFree=6080/6080
[pid=10488] ppid=10486 vsize=7695992 CPUtime=1798.55 cores=1,3,5,7
/proc/10488/stat : 10488 (scip-2.1.1.4exp) R 10486 10488 8502 0 -1 4202496 2095721 0 0 0 179388 467 0 0 20 0 1 0 270357044 7880695808 726051 33554432000 4194304 10219143 140735591915760 140735591914952 9221482 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10488/statm: 1923998 726051 659 1471 0 1922518 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 7695992

Child status: 0
Real time (s): 1798.98
CPU time (s): 1798.64
CPU user time (s): 1793.88
CPU system time (s): 4.76028
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 8421368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 4.76028
maximum resident set size= 8396300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2095723
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= 111
involuntary context switches= 1831

runsolver used 3.78942 second user time and 9.64853 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-26 16:25:25
IDJOB=3692474
IDBENCH=89871
IDSOLVER=2271
FILE ID=node139/3692474-1338042324
RUNJOBID= node139-1338029658-9614
PBS_JOBID= 14624336
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec
RANDOM SEED=1190226237

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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:        28580688 kB
Buffers:          264848 kB
Cached:          3142468 kB
SwapCached:            0 kB
Active:           725872 kB
Inactive:        2766940 kB
Active(anon):      77016 kB
Inactive(anon):    11120 kB
Active(file):     648856 kB
Inactive(file):  2755820 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31832 kB
Writeback:             0 kB
AnonPages:         91472 kB
Mapped:            17252 kB
Shmem:               200 kB
Slab:             656344 kB
SReclaimable:      98868 kB
SUnreclaim:       557476 kB
KernelStack:        1456 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     202428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71592 MiB
End job on node139 at 2012-05-26 16:55:24