Trace number 3693640

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1798.57 1798.92

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-3693640-1338042721.opb>
1.29/1.30	c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
1.29/1.30	c problem read in 1.30
3.40/3.49	c presolving:
4.69/4.77	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
5.09/5.17	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.38/5.48	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.60/5.67	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
6.09/6.10	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.49/6.59	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.60/6.66	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.89/6.94	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.39/7.49	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.89/7.91	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
8.28/8.30	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.59/8.69	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.90/9.92	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
10.29/10.36	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.68/10.78	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
12.29/12.39	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.39/12.48	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.78/12.86	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.88/12.95	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.69/15.77	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
16.28/16.32	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
16.39/16.42	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.78/16.80	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.78/16.89	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
18.19/18.28	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.79/19.82	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
23.68/23.79	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
27.49/27.57	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
31.39/31.44	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
34.78/34.80	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
38.49/38.53	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
42.78/42.85	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
42.99/43.04	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
46.48/46.50	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
66.68/66.72	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
66.77/66.89	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
67.58/67.65	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
94.88/94.92	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
119.37/119.48	c    (119.5s) probing: 1000/194840 (0.5%) - 936 fixings, 0 aggregations, 5574918 implications, 0 bound changes
125.27/125.35	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
125.47/125.54	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
128.87/128.90	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
128.96/129.05	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
134.06/134.11	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
134.17/134.29	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
135.07/135.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
139.26/139.30	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
152.36/152.43	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
152.46/152.60	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
182.25/182.36	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
206.35/206.44	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
206.54/206.63	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
214.74/214.85	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
214.94/215.00	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
219.34/219.41	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
219.64/219.74	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
221.15/221.25	c    (221.2s) probing: 2000/194840 (1.0%) - 1196 fixings, 0 aggregations, 11096879 implications, 0 bound changes
221.34/221.49	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
221.54/221.63	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
237.65/237.75	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
238.03/238.10	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
238.34/238.48	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
238.44/238.59	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
267.43/267.56	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
293.63/293.70	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
310.13/310.22	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
310.42/310.58	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
312.23/312.39	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
312.43/312.55	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
317.12/317.27	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
317.52/317.62	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
319.32/319.40	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
319.92/320.00	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
320.03/320.14	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
340.22/340.33	c    (340.3s) probing: 3000/194840 (1.5%) - 1447 fixings, 0 aggregations, 17267212 implications, 0 bound changes
342.52/342.61	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
359.31/359.47	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
379.11/379.27	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
386.12/386.27	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
388.22/388.33	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
432.60/432.75	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
432.90/433.01	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
443.80/443.97	c    (444.0s) probing: 4000/194840 (2.1%) - 1578 fixings, 0 aggregations, 22401768 implications, 0 bound changes
485.80/485.97	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
502.70/502.85	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
543.47/543.69	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
561.17/561.30	c    (561.3s) probing: 5000/194840 (2.6%) - 1660 fixings, 0 aggregations, 28101564 implications, 0 bound changes
581.27/581.42	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
592.97/593.10	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
630.06/630.29	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
656.86/657.09	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
666.96/667.10	c    (667.1s) probing: 6000/194840 (3.1%) - 1764 fixings, 0 aggregations, 33514554 implications, 0 bound changes
695.45/695.60	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
736.96/737.18	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
745.35/745.51	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
781.95/782.14	c    (782.1s) probing: 7000/194840 (3.6%) - 1841 fixings, 0 aggregations, 39339580 implications, 0 bound changes
791.74/791.90	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
820.63/820.85	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
848.02/848.27	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
879.51/879.74	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
889.72/889.91	c    (889.9s) probing: 8000/194840 (4.1%) - 1928 fixings, 0 aggregations, 45009871 implications, 0 bound changes
895.60/895.81	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
911.20/911.41	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
940.00/940.20	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
970.60/970.83	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
975.89/976.12	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
984.79/985.07	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
997.29/997.58	c    (997.6s) probing: 9000/194840 (4.6%) - 2081 fixings, 0 aggregations, 50120675 implications, 0 bound changes
1019.09/1019.33	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
1049.88/1050.11	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
1055.08/1055.39	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
1089.47/1089.74	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
1109.47/1109.76	c    (1109.8s) probing: 10000/194840 (5.1%) - 2188 fixings, 0 aggregations, 55696458 implications, 0 bound changes
1131.26/1131.57	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
1139.67/1139.97	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
1184.76/1185.01	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
1215.96/1216.29	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
1220.25/1220.57	c    (1220.6s) probing: 11000/194840 (5.6%) - 2282 fixings, 0 aggregations, 61004314 implications, 0 bound changes
1229.95/1230.28	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
1277.14/1277.41	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
1301.65/1301.94	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
1330.04/1330.30	c    (1330.3s) probing: 12000/194840 (6.2%) - 2372 fixings, 0 aggregations, 66504358 implications, 0 bound changes
1332.73/1333.09	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
1370.03/1370.38	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
1376.03/1376.37	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
1398.62/1398.90	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
1429.12/1429.45	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
1442.82/1443.13	c    (1443.1s) probing: 13000/194840 (6.7%) - 2482 fixings, 0 aggregations, 72279657 implications, 0 bound changes
1457.71/1458.07	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
1465.11/1465.46	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
1486.80/1487.19	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
1517.10/1517.44	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
1545.20/1545.53	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
1552.40/1552.77	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
1553.40/1553.71	c    (1553.7s) probing: 14000/194840 (7.2%) - 2629 fixings, 0 aggregations, 77628424 implications, 0 bound changes
1574.09/1574.47	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
1604.28/1604.68	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.18/1632.51	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.08/1641.43	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
1669.17/1669.55	c    (1669.6s) probing: 15000/194840 (7.7%) - 2739 fixings, 0 aggregations, 83334606 implications, 0 bound changes
1692.37/1692.75	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
1733.06/1733.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
1749.46/1749.87	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
1791.94/1792.35	c    (1792.4s) probing: 16000/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes
1796.64/1797.06	c    (1797.1s) probing: 16040/194840 (8.2%) - 2818 fixings, 0 aggregations, 89480400 implications, 0 bound changes
1796.64/1797.06	c    (1797.1s) probing aborted: solving stopped
1796.85/1797.29	c presolving (129 rounds):
1796.85/1797.29	c  70166 deleted vars, 1268 deleted constraints, 0 added constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.85/1797.29	c  179618786 implications, 794 cliques
1796.85/1797.29	c presolved problem has 191978 variables (191978 bin, 0 int, 0 impl, 0 cont) and 9809 constraints
1796.85/1797.29	c     794 constraints of type <setppc>
1796.85/1797.29	c    9015 constraints of type <linear>
1796.85/1797.29	c transformed objective value is always integral (scale: 1)
1796.85/1797.29	c Presolving Time: 1795.40
1796.85/1797.29	c - non default parameters ----------------------------------------------------------------------
1796.85/1797.29	c # SCIP version 2.1.1.4
1796.85/1797.29	c 
1796.85/1797.29	c # maximal time in seconds to run
1796.85/1797.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.85/1797.29	c limits/time = 1797
1796.85/1797.29	c 
1796.85/1797.29	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.85/1797.29	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.85/1797.29	c limits/memory = 13950
1796.85/1797.29	c 
1796.85/1797.29	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.85/1797.29	c # [type: int, range: [1,2], default: 1]
1796.85/1797.29	c timing/clocktype = 2
1796.85/1797.29	c 
1796.85/1797.29	c # belongs reading time to solving time?
1796.85/1797.29	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.85/1797.29	c timing/reading = TRUE
1796.85/1797.29	c 
1796.85/1797.29	c -----------------------------------------------------------------------------------------------
1796.85/1797.29	c start solving
1796.95/1797.38	c 
1796.95/1797.38	c 
1796.95/1797.38	c SCIP Status        : solving was interrupted [time limit reached]
1796.95/1797.38	c Solving Time (sec) : 1797.38
1796.95/1797.38	c Solving Nodes      : 0
1796.95/1797.38	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.95/1797.38	c Dual Bound         : -1.00000000000000e+20
1796.95/1797.38	c Gap                : infinite
1796.95/1797.38	s UNKNOWN
1796.95/1797.38	c SCIP Status        : solving was interrupted [time limit reached]
1796.95/1797.38	c Total Time         :    1797.38
1796.95/1797.38	c   solving          :    1797.38
1796.95/1797.38	c   presolving       :    1795.40 (included in solving)
1796.95/1797.38	c   reading          :       1.30 (included in solving)
1796.95/1797.38	c   copying          :       0.00 (0 times copied the problem)
1796.95/1797.38	c Original Problem   :
1796.95/1797.38	c   Problem name     : HOME/instance-3693640-1338042721.opb
1796.95/1797.38	c   Variables        : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.95/1797.38	c   Constraints      : 11077 initial, 11077 maximal
1796.95/1797.38	c   Objective sense  : minimize
1796.95/1797.38	c Presolved Problem  :
1796.95/1797.38	c   Problem name     : t_HOME/instance-3693640-1338042721.opb
1796.95/1797.38	c   Variables        : 191978 (191978 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.95/1797.38	c   Constraints      : 9809 initial, 9809 maximal
1796.95/1797.38	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.95/1797.38	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   trivial          :       2.17       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   dualfix          :       1.64       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   implics          :       1.89       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   components       :       0.22       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   probing          :    1764.80       0.01       2818          0          0          0          0          0          0          0          0
1796.95/1797.38	c   setppc           :       9.94       0.00        396          0          0          0          0         16          0          0          0
1796.95/1797.38	c   linear           :      12.38       0.00      66952          0          0      66952          0       1252          0          0          0
1796.95/1797.38	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.95/1797.38	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.95/1797.38	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c   setppc           :        794        794          0      75608          0          0          0      55283       1841          0          0          0          0
1796.95/1797.38	c   linear           :       9015       9015          0      73767          0          0          0     520760         68          0          0          0          0
1796.95/1797.38	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.95/1797.38	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.95/1797.38	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.95/1797.38	c   setppc           :      20.84       0.00       0.00      20.73       0.00       0.00       0.00       0.11
1796.95/1797.38	c   linear           :     795.10       0.00       0.00     792.74       0.00       0.00       0.00       2.36
1796.95/1797.38	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.95/1797.38	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.95/1797.38	c   rootredcost      :          0          0          0          0
1796.95/1797.38	c   pseudoobj        :          0          0          0          0
1796.95/1797.38	c   vbounds          :          0          0          0          0
1796.95/1797.38	c   redcost          :          0          0          0          0
1796.95/1797.38	c   probing          :          0          0          0          0
1796.95/1797.38	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.95/1797.38	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.95/1797.38	c   pseudoobj        :       0.05       0.00       0.00       0.05       0.00
1796.95/1797.38	c   vbounds          :       0.11       0.05       0.00       0.06       0.00
1796.95/1797.38	c   redcost          :       0.02       0.00       0.00       0.02       0.00
1796.95/1797.38	c   probing          :    1764.81       0.01    1764.80       0.00       0.00
1796.95/1797.38	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.95/1797.38	c   propagation      :       4.52       1909          0          0        0.0          0        0.0          -
1796.95/1797.38	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.95/1797.38	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.95/1797.38	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.95/1797.38	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.95/1797.38	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.95/1797.38	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.95/1797.38	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.95/1797.38	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 0)
1796.95/1797.38	c   clique           :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   impliedbounds    :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.95/1797.38	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.95/1797.38	c   problem variables:       0.00          -          0          0
1796.95/1797.38	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.95/1797.38	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.95/1797.38	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.95/1797.38	c   LP solutions     :       0.00          -          -          0
1796.95/1797.38	c   pseudo solutions :       0.00          -          -          0
1796.95/1797.38	c   smallcard        :       0.00       0.00          0          0
1796.95/1797.38	c   trivial          :       0.38       0.00          1          0
1796.95/1797.38	c   shiftandpropagate:       0.00       0.00          0          0
1796.95/1797.38	c   simplerounding   :       0.00       0.00          0          0
1796.95/1797.38	c   zirounding       :       0.00       0.00          0          0
1796.95/1797.38	c   rounding         :       0.00       0.00          0          0
1796.95/1797.38	c   shifting         :       0.00       0.00          0          0
1796.95/1797.38	c   intshifting      :       0.00       0.00          0          0
1796.95/1797.38	c   oneopt           :       0.00       0.00          0          0
1796.95/1797.38	c   twoopt           :       0.00       0.00          0          0
1796.95/1797.38	c   indtwoopt        :       0.00       0.00          0          0
1796.95/1797.38	c   indoneopt        :       0.00       0.00          0          0
1796.95/1797.38	c   fixandinfer      :       0.00       0.00          0          0
1796.95/1797.38	c   feaspump         :       0.00       0.00          0          0
1796.95/1797.38	c   clique           :       0.00       0.00          0          0
1796.95/1797.38	c   indrounding      :       0.00       0.00          0          0
1796.95/1797.38	c   indcoefdiving    :       0.00       0.00          0          0
1796.95/1797.38	c   coefdiving       :       0.00       0.00          0          0
1796.95/1797.38	c   pscostdiving     :       0.00       0.00          0          0
1796.95/1797.38	c   nlpdiving        :       0.00       0.00          0          0
1796.95/1797.38	c   fracdiving       :       0.00       0.00          0          0
1796.95/1797.38	c   veclendiving     :       0.00       0.00          0          0
1796.95/1797.38	c   intdiving        :       0.00       0.00          0          0
1796.95/1797.38	c   actconsdiving    :       0.00       0.00          0          0
1796.95/1797.38	c   objpscostdiving  :       0.00       0.00          0          0
1796.95/1797.38	c   rootsoldiving    :       0.00       0.00          0          0
1796.95/1797.38	c   linesearchdiving :       0.00       0.00          0          0
1796.95/1797.38	c   guideddiving     :       0.00       0.00          0          0
1796.95/1797.38	c   octane           :       0.00       0.00          0          0
1796.95/1797.38	c   rens             :       0.00       0.00          0          0
1796.95/1797.38	c   rins             :       0.00       0.00          0          0
1796.95/1797.38	c   localbranching   :       0.00       0.00          0          0
1796.95/1797.38	c   mutation         :       0.00       0.00          0          0
1796.95/1797.38	c   crossover        :       0.00       0.00          0          0
1796.95/1797.38	c   dins             :       0.00       0.00          0          0
1796.95/1797.38	c   vbounds          :       0.00       0.00          0          0
1796.95/1797.38	c   undercover       :       0.00       0.00          0          0
1796.95/1797.38	c   subnlp           :       0.00       0.00          0          0
1796.95/1797.38	c   trysol           :       0.00       0.00          0          0
1796.95/1797.38	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.95/1797.38	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1796.95/1797.38	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
1796.95/1797.38	c   lex dual LP      :       0.00          0          0       0.00          -
1796.95/1797.38	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.95/1797.38	c   diving/probing LP:       0.00          0          0       0.00          -
1796.95/1797.38	c   strong branching :       0.00          0          0       0.00          -
1796.95/1797.38	c     (at root node) :          -          0          0       0.00          -
1796.95/1797.38	c   conflict analysis:       0.00          0          0       0.00          -
1796.95/1797.38	c B&B Tree           :
1796.95/1797.38	c   number of runs   :          1
1796.95/1797.38	c   nodes            :          0
1796.95/1797.38	c   nodes (total)    :          0
1796.95/1797.38	c   nodes left       :          1
1796.95/1797.38	c   max depth        :         -1
1796.95/1797.38	c   max depth (total):         -1
1796.95/1797.38	c   backtracks       :          0 (0.0%)
1796.95/1797.38	c   delayed cutoffs  :          0
1796.95/1797.38	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.95/1797.38	c   avg switch length:       0.00
1796.95/1797.38	c   switching time   :       0.00
1796.95/1797.38	c Solution           :
1796.95/1797.38	c   Solutions found  :          0 (0 improvements)
1796.95/1797.38	c   Primal Bound     :          -
1796.95/1797.38	c   Dual Bound       :          -
1796.95/1797.38	c   Gap              :   infinite
1796.95/1797.38	c   Root Dual Bound  :          -
1796.95/1797.38	c   Root Iterations  :          0
1798.55/1798.91	c Time complete: 1798.56.

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-3693640-1338042721/watcher-3693640-1338042721 -o /tmp/evaluation-result-3693640-1338042721/solver-3693640-1338042721 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693640-1338042721.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 14717
/proc/meminfo: memFree=29095696/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1528 0 0 0 0 0 0 0 20 0 1 0 270397050 11399168 1482 33554432000 4194304 10169799 140735553817200 140733534246936 8801104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2783 1482 403 1459 0 1315 0

[startup+0.101114 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14717
/proc/meminfo: memFree=29095696/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=76152 CPUtime=0.09 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 17807 0 0 0 6 3 0 0 20 0 1 0 270397050 77979648 17711 33554432000 4194304 10169799 140735553817200 140733534246936 7170938 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 19038 17711 403 1459 0 17570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 76152

[startup+0.200315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14717
/proc/meminfo: memFree=29095696/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=138280 CPUtime=0.19 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 33164 0 0 0 13 6 0 0 20 0 1 0 270397050 141598720 33068 33554432000 4194304 10169799 140735553817200 140735553683496 7170938 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 34570 33068 403 1459 0 33102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 138280

[startup+0.300312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14717
/proc/meminfo: memFree=29095696/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=195292 CPUtime=0.29 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 47360 0 0 0 21 8 0 0 20 0 1 0 270397050 199979008 47264 33554432000 4194304 10169799 140735553817200 140735553683496 7170938 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 48823 47264 403 1459 0 47355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 195292

[startup+0.700259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14717
/proc/meminfo: memFree=29095696/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=217048 CPUtime=0.69 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 52865 0 0 0 59 10 0 0 20 0 1 0 270397050 222257152 52769 33554432000 4194304 10169799 140735553817200 140735553683496 5985175 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 54262 52769 412 1459 0 52794 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 217048

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=28873464/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=419332 CPUtime=1.49 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 102890 0 0 0 131 18 0 0 20 0 1 0 270397050 429395968 102777 33554432000 4194304 10169799 140735553817200 140735553683528 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 104833 102816 458 1459 0 103365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 419332

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=28615668/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=601440 CPUtime=3.09 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 148532 0 0 0 284 25 0 0 20 0 1 0 270397050 615874560 148417 33554432000 4194304 10169799 140735553817200 140735553815800 8844041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 150360 148419 498 1459 0 148892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 601440

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=28422044/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=683976 CPUtime=6.29 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 172251 0 0 0 599 30 0 0 20 0 1 0 270397050 700391424 167437 33554432000 4194304 10169799 140735553817200 140735553815592 4799725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 170994 167437 569 1459 0 169526 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 683976

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14718
/proc/meminfo: memFree=28379288/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=734848 CPUtime=12.68 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 184749 0 0 0 1234 34 0 0 20 0 1 0 270397050 752484352 179844 33554432000 4194304 10169799 140735553817200 140735553814712 4799725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 183712 179844 595 1459 0 182244 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 734848

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14718
/proc/meminfo: memFree=28333388/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=783916 CPUtime=25.48 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 196158 0 0 0 2509 39 0 0 20 0 1 0 270397050 802729984 191253 33554432000 4194304 10169799 140735553817200 140735553814712 4950787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 195979 191253 595 1459 0 194511 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 783916

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14719
/proc/meminfo: memFree=28263420/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=855172 CPUtime=51.08 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 213430 0 0 0 5064 44 0 0 20 0 1 0 270397050 875696128 208525 33554432000 4194304 10169799 140735553817200 140735553815208 6915437 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 213793 208525 595 1459 0 212325 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 855172

[startup+102.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 14719
/proc/meminfo: memFree=28055780/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=1066028 CPUtime=102.28 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 264566 0 0 0 10173 55 0 0 20 0 1 0 270397050 1091612672 259661 33554432000 4194304 10169799 140735553817200 140735553815208 4257064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 266507 259661 595 1459 0 265039 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1066028

[startup+162.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 14719
/proc/meminfo: memFree=27814752/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=1305744 CPUtime=162.25 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 323828 0 0 0 16156 69 0 0 20 0 1 0 270397050 1337081856 320175 33554432000 4194304 10169799 140735553817200 140735553815208 7542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 326436 320175 596 1459 0 324968 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1305744

[startup+222.307 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 14719
/proc/meminfo: memFree=27559836/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=1557340 CPUtime=222.25 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 386271 0 0 0 22142 83 0 0 20 0 1 0 270397050 1594716160 382907 33554432000 4194304 10169799 140735553817200 140735553814712 4257082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 389335 382907 596 1459 0 387867 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1557340

[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 14719
/proc/meminfo: memFree=27334556/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=1782772 CPUtime=282.23 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 442604 0 0 0 28128 95 0 0 20 0 1 0 270397050 1825558528 439714 33554432000 4194304 10169799 140735553817200 140735553814712 5930475 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 445693 439714 596 1459 0 444225 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1782772

[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 14720
/proc/meminfo: memFree=27083484/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=2028156 CPUtime=342.22 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 503801 0 0 0 34111 111 0 0 20 0 1 0 270397050 2076831744 501190 33554432000 4194304 10169799 140735553817200 140735553814712 4433052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 507039 501190 596 1459 0 505571 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2028156

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14720
/proc/meminfo: memFree=26833528/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=2275908 CPUtime=402.21 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 565668 0 0 0 40097 124 0 0 20 0 1 0 270397050 2330529792 563293 33554432000 4194304 10169799 140735553817200 140735553814712 4477834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 568977 563293 596 1459 0 567509 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2275908

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14720
/proc/meminfo: memFree=26594608/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=2514392 CPUtime=462.2 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 623985 0 0 0 46083 137 0 0 20 0 1 0 270397050 2574737408 621859 33554432000 4194304 10169799 140735553817200 140735553814728 4433231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 628598 621859 596 1459 0 627130 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2514392

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 14723
/proc/meminfo: memFree=26371548/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=2745564 CPUtime=522.18 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 681531 0 0 0 52070 148 0 0 20 0 1 0 270397050 2811457536 679726 33554432000 4194304 10169799 140735553817200 140735553814712 4477834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 686391 679726 596 1459 0 684923 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 2745564

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14723
/proc/meminfo: memFree=26023576/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=3080380 CPUtime=582.17 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 764950 0 0 0 58056 161 0 0 20 0 1 0 270397050 3154309120 763634 33554432000 4194304 10169799 140735553817200 140735553814712 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 770095 763634 596 1459 0 768627 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 3080380

[startup+642.3 s]

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

/proc/meminfo: memFree=23556004/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=5445680 CPUtime=1122.07 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1352958 0 0 0 111930 277 0 0 20 0 1 0 270397050 5576376320 1352797 33554432000 4194304 10169799 140735553817200 140735553814728 6914970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1361420 1352797 596 1459 0 1359952 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 5445680

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14766
/proc/meminfo: memFree=23223348/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=5780136 CPUtime=1182.06 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1436356 0 0 0 117914 292 0 0 20 0 1 0 270397050 5918859264 1436608 33554432000 4194304 10169799 140735553817200 140735553814728 5868642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1445034 1436608 596 1459 0 1443566 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 5780136

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14766
/proc/meminfo: memFree=22950700/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=6048304 CPUtime=1242.05 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1503092 0 0 0 123900 305 0 0 20 0 1 0 270397050 6193463296 1503477 33554432000 4194304 10169799 140735553817200 140735553814728 8915438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1512076 1503477 596 1459 0 1510608 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 6048304

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14767
/proc/meminfo: memFree=22756296/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=6244028 CPUtime=1302.04 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1551746 0 0 0 129889 315 0 0 20 0 1 0 270397050 6393884672 1552217 33554432000 4194304 10169799 140735553817200 140735553815352 6895394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1561007 1552217 596 1459 0 1559539 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 6244028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14767
/proc/meminfo: memFree=22498156/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=6502652 CPUtime=1362.03 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1616103 0 0 0 135877 326 0 0 20 0 1 0 270397050 6658715648 1616791 33554432000 4194304 10169799 140735553817200 140735553814728 8918694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1625663 1616791 596 1459 0 1624195 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 6502652

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14767
/proc/meminfo: memFree=22118992/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=6877496 CPUtime=1422.03 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1709770 0 0 0 141856 347 0 0 20 0 1 0 270397050 7042555904 1710707 33554432000 4194304 10169799 140735553817200 140735553814728 4257064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1719374 1710707 596 1459 0 1717906 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 6877496

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14767
/proc/meminfo: memFree=21863332/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7131324 CPUtime=1482.01 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1773535 0 0 0 147841 360 0 0 20 0 1 0 270397050 7302475776 1774553 33554432000 4194304 10169799 140735553817200 140735553814728 4477834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1782831 1774553 596 1459 0 1781363 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 7131324

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14767
/proc/meminfo: memFree=21648096/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7348840 CPUtime=1542 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1827022 0 0 0 153829 371 0 0 20 0 1 0 270397050 7525212160 1828127 33554432000 4194304 10169799 140735553817200 140735553814728 8918776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1837210 1828127 596 1459 0 1835742 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 7348840

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 14768
/proc/meminfo: memFree=21498332/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7492576 CPUtime=1601.99 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1864071 0 0 0 159815 384 0 0 20 0 1 0 270397050 7672397824 1865304 33554432000 4194304 10169799 140735553817200 140735553815208 8915438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1873144 1865304 596 1459 0 1871676 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 7492576

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14768
/proc/meminfo: memFree=21330216/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7661632 CPUtime=1661.97 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 1906487 0 0 0 165803 394 0 0 20 0 1 0 270397050 7845511168 1907859 33554432000 4194304 10169799 140735553817200 140735553814712 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1915408 1907859 596 1459 0 1913940 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 7661632

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14771
/proc/meminfo: memFree=20856184/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8139264 CPUtime=1721.96 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2024857 0 0 0 171778 418 0 0 20 0 1 0 270397050 8334606336 2026334 33554432000 4194304 10169799 140735553817200 140735553814728 4480195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2034816 2026334 596 1459 0 2033348 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 8139264

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20707040/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8284628 CPUtime=1781.94 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2061414 0 0 0 177768 426 0 0 20 0 1 0 270397050 8483459072 2063003 33554432000 4194304 10169799 140735553817200 140735553814712 4257064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2071157 2063003 596 1459 0 2069689 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 8284628

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20667468/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8322136 CPUtime=1791.65 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2070978 0 0 0 178737 428 0 0 20 0 1 0 270397050 8521867264 2072573 33554432000 4194304 10169799 140735553817200 140735553814712 4484316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2080534 2072573 596 1459 0 2079066 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (KiB) 8322136

[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20654308/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8335292 CPUtime=1794.85 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2074223 0 0 0 179056 429 0 0 20 0 1 0 270397050 8535339008 2075818 33554432000 4194304 10169799 140735553817200 140735553814728 4481611 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2083823 2075818 596 1459 0 2082355 0
Current children cumulated CPU time (s) 1794.85
Current children cumulated vsize (KiB) 8335292

[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20648728/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8344364 CPUtime=1796.44 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2076339 0 0 0 179215 429 0 0 20 0 1 0 270397050 8544628736 2077934 33554432000 4194304 10169799 140735553817200 140735553814712 5864665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2086091 2077934 596 1459 0 2084623 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (KiB) 8344364

[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20638116/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8346836 CPUtime=1797.25 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2080343 0 0 0 179294 431 0 0 20 0 1 0 270397050 8547160064 2078295 33554432000 4194304 10169799 140735553817200 140735553815288 5865130 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2086709 2078295 649 1459 0 2085241 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (KiB) 8346836

[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20638116/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=8306120 CPUtime=1798.05 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2080343 0 0 0 179373 432 0 0 20 0 1 0 270397050 8505466880 2068151 33554432000 4194304 10169799 140735553817200 140735553816360 7542441 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 2076530 2068151 649 1459 0 2075062 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 8306120

[startup+1798.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20990152/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7648120 CPUtime=1798.45 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2080359 0 0 0 179390 455 0 0 20 0 1 0 270397050 7831674880 1012714 33554432000 4194304 10169799 140735553817200 140735553816360 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1912030 1012714 665 1459 0 1910562 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (KiB) 7648120

[startup+1798.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14794
/proc/meminfo: memFree=20990152/32873844 swapFree=6856/6856
[pid=14717] ppid=14715 vsize=7648120 CPUtime=1798.55 cores=1,3,5,7
/proc/14717/stat : 14717 (scip-2.1.1.4sfi) R 14715 14717 11551 0 -1 4202496 2080359 0 0 0 179390 465 0 0 20 0 1 0 270397050 7831674880 594331 33554432000 4194304 10169799 140735553817200 140735553816360 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14717/statm: 1912030 594331 665 1459 0 1910562 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 7648120

Child status: 0
Real time (s): 1798.92
CPU time (s): 1798.57
CPU user time (s): 1793.9
CPU system time (s): 4.66629
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 8354360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 4.66629
maximum resident set size= 8336560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2080361
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= 119
involuntary context switches= 1836

runsolver used 2.90256 second user time and 8.62569 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-26 16:32:01
IDJOB=3693640
IDBENCH=89871
IDSOLVER=2272
FILE ID=node144/3693640-1338042721
RUNJOBID= node144-1338028269-13523
PBS_JOBID= 14624331
Free space on /tmp= 71456 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-datt256.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693640-1338042721/watcher-3693640-1338042721 -o /tmp/evaluation-result-3693640-1338042721/solver-3693640-1338042721 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693640-1338042721.opb -t 1800 -m 15500

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

MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec
RANDOM SEED=1221289656

node144.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.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        29095968 kB
Buffers:          265312 kB
Cached:          2498744 kB
SwapCached:            0 kB
Active:           970100 kB
Inactive:        2031076 kB
Active(anon):     238576 kB
Inactive(anon):        0 kB
Active(file):     731524 kB
Inactive(file):  2031076 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31876 kB
Writeback:             0 kB
AnonPages:        242396 kB
Mapped:            17732 kB
Shmem:               200 kB
Slab:             637256 kB
SReclaimable:      79704 kB
SUnreclaim:       557552 kB
KernelStack:        1488 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     353348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71444 MiB
End job on node144 at 2012-05-26 17:02:00