Trace number 3692846

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedUNSAT 433.684 433.751

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
MD5SUMa985b0d4e6d576e8ad3098d78036fdc8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.12598
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6832
Total number of constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-3692846-1338027682.opb>
0.01/0.05	c original problem has 6832 variables (6832 bin, 0 int, 0 impl, 0 cont) and 19477 constraints
0.01/0.05	c problem read in 0.05
0.09/0.12	c presolving:
0.29/0.33	c (round 1) 690 del vars, 622 del conss, 0 add conss, 228 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375793 impls, 0 clqs
0.29/0.36	c (round 2) 708 del vars, 1724 del conss, 0 add conss, 241 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375941 impls, 0 clqs
0.29/0.38	c (round 3) 725 del vars, 1757 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376155 impls, 0 clqs
0.29/0.39	c (round 4) 726 del vars, 1783 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.38/0.41	c (round 5) 726 del vars, 1785 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.49/0.52	c (round 6) 726 del vars, 1799 del conss, 0 add conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 376237 impls, 0 clqs
0.58/0.66	c (round 7) 767 del vars, 18869 del conss, 5688 add conss, 281 chg bounds, 262 chg sides, 628 chg coeffs, 17686 upgd conss, 417786 impls, 0 clqs
0.58/0.68	c (round 8) 798 del vars, 18902 del conss, 5688 add conss, 281 chg bounds, 262 chg sides, 659 chg coeffs, 17700 upgd conss, 418800 impls, 6 clqs
0.69/0.72	c (round 9) 879 del vars, 19392 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 659 chg coeffs, 17700 upgd conss, 429933 impls, 6 clqs
0.69/0.73	c (round 10) 910 del vars, 19408 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 664 chg coeffs, 17716 upgd conss, 430035 impls, 478 clqs
0.69/0.75	c (round 11) 912 del vars, 19414 del conss, 6178 add conss, 281 chg bounds, 262 chg sides, 666 chg coeffs, 17716 upgd conss, 430035 impls, 479 clqs
0.69/0.78	c (round 12) 952 del vars, 19522 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 666 chg coeffs, 17716 upgd conss, 438819 impls, 478 clqs
0.69/0.79	c (round 13) 984 del vars, 19531 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 673 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.80	c (round 14) 989 del vars, 19564 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 674 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.82	c (round 15) 993 del vars, 19568 del conss, 6284 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
0.79/0.84	c (round 16) 998 del vars, 19600 del conss, 6316 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 438819 impls, 496 clqs
1.00/1.02	c (round 17) 1020 del vars, 19644 del conss, 6321 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 439519 impls, 496 clqs
1.19/1.20	c (round 18) 1020 del vars, 19649 del conss, 6321 add conss, 281 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 439519 impls, 496 clqs
1.39/1.45	c (round 19) 1059 del vars, 19649 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 678 chg coeffs, 17726 upgd conss, 515516 impls, 488 clqs
1.39/1.48	c (round 20) 1131 del vars, 19743 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 728 chg coeffs, 17736 upgd conss, 533708 impls, 486 clqs
1.49/1.50	c (round 21) 1162 del vars, 19749 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 732 chg coeffs, 17736 upgd conss, 534328 impls, 486 clqs
1.49/1.51	c (round 22) 1166 del vars, 19753 del conss, 6321 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 534328 impls, 486 clqs
1.49/1.54	c (round 23) 1174 del vars, 19832 del conss, 6400 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 486 clqs
1.69/1.72	c (round 24) 1174 del vars, 19840 del conss, 6408 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 554 clqs
1.78/1.89	c (round 25) 1174 del vars, 19843 del conss, 6408 add conss, 306 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 545206 impls, 555 clqs
2.39/2.44	c (round 26) 1200 del vars, 19843 del conss, 6408 add conss, 324 chg bounds, 262 chg sides, 736 chg coeffs, 17736 upgd conss, 1035092 impls, 552 clqs
2.39/2.48	c (round 27) 1215 del vars, 19858 del conss, 6408 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17740 upgd conss, 1044598 impls, 552 clqs
2.49/2.51	c (round 28) 1221 del vars, 19976 del conss, 6526 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1046370 impls, 552 clqs
2.59/2.68	c (round 29) 1221 del vars, 19983 del conss, 6533 add conss, 324 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1046370 impls, 662 clqs
2.88/2.98	c (round 30) 1279 del vars, 19983 del conss, 6533 add conss, 342 chg bounds, 262 chg sides, 748 chg coeffs, 17744 upgd conss, 1165328 impls, 657 clqs
2.99/3.00	c (round 31) 1315 del vars, 20026 del conss, 6533 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169340 impls, 657 clqs
2.99/3.03	c (round 32) 1319 del vars, 20068 del conss, 6573 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 657 clqs
3.09/3.20	c (round 33) 1319 del vars, 20075 del conss, 6577 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 683 clqs
3.30/3.37	c (round 34) 1319 del vars, 20079 del conss, 6577 add conss, 342 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1169632 impls, 684 clqs
3.59/3.61	c (round 35) 1347 del vars, 20079 del conss, 6577 add conss, 348 chg bounds, 262 chg sides, 778 chg coeffs, 17752 upgd conss, 1214282 impls, 681 clqs
3.59/3.63	c (round 36) 1353 del vars, 20086 del conss, 6577 add conss, 348 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1215814 impls, 681 clqs
3.79/3.80	c (round 37) 1353 del vars, 20093 del conss, 6584 add conss, 348 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1215814 impls, 681 clqs
4.18/4.22	c (round 38) 1378 del vars, 20093 del conss, 6584 add conss, 357 chg bounds, 262 chg sides, 782 chg coeffs, 17756 upgd conss, 1421087 impls, 672 clqs
4.30/4.31	c (round 39) 1408 del vars, 20141 del conss, 6584 add conss, 357 chg bounds, 262 chg sides, 796 chg coeffs, 17770 upgd conss, 1473817 impls, 672 clqs
4.30/4.37	c (round 40) 1436 del vars, 20209 del conss, 6645 add conss, 357 chg bounds, 262 chg sides, 797 chg coeffs, 17770 upgd conss, 1491197 impls, 667 clqs
4.30/4.40	c (round 41) 1441 del vars, 20214 del conss, 6645 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 719 clqs
4.49/4.57	c (round 42) 1441 del vars, 20223 del conss, 6654 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 719 clqs
4.68/4.74	c (round 43) 1441 del vars, 20224 del conss, 6654 add conss, 357 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1496493 impls, 723 clqs
5.08/5.16	c (round 44) 1466 del vars, 20224 del conss, 6654 add conss, 377 chg bounds, 262 chg sides, 799 chg coeffs, 17770 upgd conss, 1682833 impls, 716 clqs
5.08/5.20	c (round 45) 1480 del vars, 20238 del conss, 6654 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17772 upgd conss, 1688241 impls, 716 clqs
5.19/5.23	c (round 46) 1487 del vars, 20276 del conss, 6692 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1689605 impls, 716 clqs
5.29/5.40	c (round 47) 1487 del vars, 20283 del conss, 6699 add conss, 377 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1689605 impls, 745 clqs
5.69/5.72	c (round 48) 1581 del vars, 20283 del conss, 6699 add conss, 455 chg bounds, 262 chg sides, 806 chg coeffs, 17774 upgd conss, 1731103 impls, 732 clqs
5.69/5.77	c (round 49) 1613 del vars, 20322 del conss, 6699 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1745851 impls, 732 clqs
5.79/5.81	c (round 50) 1617 del vars, 20333 del conss, 6710 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1756957 impls, 732 clqs
5.98/6.01	c (round 51) 1633 del vars, 20356 del conss, 6715 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1759825 impls, 735 clqs
6.09/6.18	c (round 52) 1633 del vars, 20358 del conss, 6715 add conss, 455 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1759825 impls, 736 clqs
6.50/6.56	c (round 53) 1674 del vars, 20358 del conss, 6715 add conss, 487 chg bounds, 262 chg sides, 832 chg coeffs, 17824 upgd conss, 1817625 impls, 724 clqs
6.50/6.59	c (round 54) 1696 del vars, 20380 del conss, 6715 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1824995 impls, 724 clqs
6.60/6.63	c (round 55) 1702 del vars, 20389 del conss, 6722 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1833511 impls, 724 clqs
6.79/6.80	c (round 56) 1704 del vars, 20413 del conss, 6744 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1834527 impls, 728 clqs
6.89/6.98	c (round 57) 1704 del vars, 20414 del conss, 6744 add conss, 487 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 1834527 impls, 745 clqs
7.59/7.62	c (round 58) 1784 del vars, 20414 del conss, 6744 add conss, 505 chg bounds, 262 chg sides, 844 chg coeffs, 17840 upgd conss, 2039686 impls, 714 clqs
7.59/7.65	c (round 59) 1836 del vars, 20479 del conss, 6744 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2044752 impls, 714 clqs
7.59/7.67	c (round 60) 1839 del vars, 20507 del conss, 6771 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2045390 impls, 714 clqs
7.79/7.89	c (round 61) 1851 del vars, 20524 del conss, 6774 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2053862 impls, 737 clqs
7.99/8.07	c (round 62) 1851 del vars, 20527 del conss, 6774 add conss, 505 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2053862 impls, 738 clqs
8.89/8.93	c (round 63) 1876 del vars, 20527 del conss, 6774 add conss, 508 chg bounds, 262 chg sides, 872 chg coeffs, 17846 upgd conss, 2314811 impls, 736 clqs
8.89/8.96	c (round 64) 1879 del vars, 20584 del conss, 6825 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2315252 impls, 736 clqs
8.89/8.99	c (round 65) 1882 del vars, 20588 del conss, 6828 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2318376 impls, 778 clqs
9.19/9.21	c (round 66) 1892 del vars, 20601 del conss, 6829 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2327304 impls, 778 clqs
9.28/9.38	c (round 67) 1892 del vars, 20604 del conss, 6831 add conss, 509 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2327304 impls, 778 clqs
9.99/10.00	c (round 68) 1919 del vars, 20604 del conss, 6831 add conss, 521 chg bounds, 262 chg sides, 876 chg coeffs, 17848 upgd conss, 2443581 impls, 771 clqs
9.99/10.02	c (round 69) 1935 del vars, 20621 del conss, 6831 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445163 impls, 771 clqs
9.99/10.05	c (round 70) 1943 del vars, 20677 del conss, 6884 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 771 clqs
10.18/10.23	c (round 71) 1943 del vars, 20687 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 811 clqs
10.39/10.40	c (round 72) 1943 del vars, 20688 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 812 clqs
10.49/10.57	c (round 73) 1943 del vars, 20689 del conss, 6892 add conss, 521 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2445533 impls, 812 clqs
11.48/11.52	c (round 74) 2001 del vars, 20689 del conss, 6892 add conss, 528 chg bounds, 262 chg sides, 887 chg coeffs, 17852 upgd conss, 2651036 impls, 796 clqs
11.48/11.54	c (round 75) 2007 del vars, 20708 del conss, 6892 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2651614 impls, 796 clqs
11.48/11.57	c (round 76) 2017 del vars, 20759 del conss, 6940 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 796 clqs
11.48/11.59	c (round 77) 2019 del vars, 20770 del conss, 6950 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 833 clqs
11.69/11.77	c (round 78) 2019 del vars, 20772 del conss, 6952 add conss, 528 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2652478 impls, 834 clqs
12.39/12.45	c (round 79) 2044 del vars, 20772 del conss, 6952 add conss, 532 chg bounds, 262 chg sides, 893 chg coeffs, 17852 upgd conss, 2770954 impls, 824 clqs
12.39/12.47	c (round 80) 2060 del vars, 20792 del conss, 6952 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2773636 impls, 824 clqs
12.49/12.51	c (round 81) 2067 del vars, 20818 del conss, 6976 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 824 clqs
12.49/12.53	c (round 82) 2069 del vars, 20825 del conss, 6983 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 838 clqs
12.69/12.71	c (round 83) 2069 del vars, 20828 del conss, 6985 add conss, 532 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2775512 impls, 839 clqs
13.09/13.16	c    (13.2s) probing: 1000/6106 (16.4%) - 499 fixings, 117 aggregations, 215013 implications, 288 bound changes
13.09/13.17	c (round 84) 2094 del vars, 20828 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 902 chg coeffs, 17852 upgd conss, 2834498 impls, 831 clqs
13.09/13.19	c (round 85) 2100 del vars, 20838 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834578 impls, 831 clqs
13.09/13.20	c (round 86) 2107 del vars, 20843 del conss, 6985 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834578 impls, 824 clqs
13.19/13.23	c (round 87) 2115 del vars, 20872 del conss, 7007 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2834784 impls, 824 clqs
13.39/13.42	c (round 88) 2121 del vars, 20879 del conss, 7008 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2835344 impls, 837 clqs
13.48/13.59	c (round 89) 2121 del vars, 20883 del conss, 7012 add conss, 537 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2835344 impls, 837 clqs
14.19/14.21	c (round 90) 2146 del vars, 20883 del conss, 7012 add conss, 541 chg bounds, 262 chg sides, 907 chg coeffs, 17858 upgd conss, 2927918 impls, 836 clqs
14.19/14.23	c (round 91) 2152 del vars, 20896 del conss, 7012 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2930221 impls, 836 clqs
14.19/14.26	c (round 92) 2157 del vars, 20942 del conss, 7057 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2930253 impls, 837 clqs
14.49/14.52	c (round 93) 2175 del vars, 20965 del conss, 7061 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2931645 impls, 876 clqs
14.59/14.69	c (round 94) 2175 del vars, 20969 del conss, 7065 add conss, 542 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2931645 impls, 877 clqs
15.09/15.18	c (round 95) 2201 del vars, 20969 del conss, 7065 add conss, 550 chg bounds, 262 chg sides, 913 chg coeffs, 17862 upgd conss, 2970000 impls, 876 clqs
15.29/15.36	c (round 96) 2203 del vars, 21001 del conss, 7088 add conss, 550 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 2970118 impls, 876 clqs
15.48/15.54	c (round 97) 2203 del vars, 21002 del conss, 7088 add conss, 550 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 2970118 impls, 892 clqs
15.98/16.00	c (round 98) 2230 del vars, 21002 del conss, 7088 add conss, 566 chg bounds, 262 chg sides, 919 chg coeffs, 17866 upgd conss, 3024216 impls, 884 clqs
15.98/16.03	c (round 99) 2240 del vars, 21020 del conss, 7088 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3027966 impls, 884 clqs
15.98/16.06	c (round 100) 2246 del vars, 21057 del conss, 7125 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3029026 impls, 884 clqs
16.19/16.23	c (round 101) 2246 del vars, 21063 del conss, 7131 add conss, 566 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3029026 impls, 905 clqs
16.58/16.67	c (round 102) 2273 del vars, 21063 del conss, 7131 add conss, 578 chg bounds, 262 chg sides, 925 chg coeffs, 17868 upgd conss, 3066359 impls, 892 clqs
16.69/16.70	c (round 103) 2285 del vars, 21080 del conss, 7131 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3067735 impls, 892 clqs
16.69/16.73	c (round 104) 2289 del vars, 21119 del conss, 7168 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 892 clqs
16.89/16.90	c (round 105) 2289 del vars, 21125 del conss, 7173 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 916 clqs
16.99/17.07	c (round 106) 2289 del vars, 21127 del conss, 7173 add conss, 578 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3069021 impls, 918 clqs
17.59/17.61	c (round 107) 2316 del vars, 21127 del conss, 7173 add conss, 584 chg bounds, 262 chg sides, 931 chg coeffs, 17868 upgd conss, 3124507 impls, 914 clqs
17.59/17.63	c (round 108) 2324 del vars, 21140 del conss, 7173 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3125701 impls, 914 clqs
17.59/17.66	c (round 109) 2329 del vars, 21203 del conss, 7233 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 914 clqs
17.78/17.83	c (round 110) 2329 del vars, 21208 del conss, 7238 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 963 clqs
17.99/18.00	c (round 111) 2329 del vars, 21211 del conss, 7238 add conss, 584 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3126965 impls, 964 clqs
18.69/18.76	c (round 112) 2354 del vars, 21211 del conss, 7238 add conss, 587 chg bounds, 262 chg sides, 941 chg coeffs, 17870 upgd conss, 3205180 impls, 960 clqs
18.69/18.78	c (round 113) 2356 del vars, 21215 del conss, 7238 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 960 clqs
18.89/18.95	c (round 114) 2356 del vars, 21259 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 960 clqs
19.09/19.13	c (round 115) 2356 del vars, 21260 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 985 clqs
19.28/19.30	c (round 116) 2356 del vars, 21263 del conss, 7280 add conss, 587 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3205470 impls, 985 clqs
19.48/19.58	c    (19.6s) probing: 2000/6106 (32.8%) - 587 fixings, 188 aggregations, 314389 implications, 337 bound changes
19.99/20.01	c (round 117) 2382 del vars, 21263 del conss, 7280 add conss, 591 chg bounds, 262 chg sides, 942 chg coeffs, 17874 upgd conss, 3273708 impls, 975 clqs
19.99/20.07	c (round 118) 2393 del vars, 21277 del conss, 7280 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17874 upgd conss, 3277980 impls, 975 clqs
19.99/20.08	c (round 119) 2400 del vars, 21279 del conss, 7280 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3278218 impls, 972 clqs
20.18/20.26	c (round 120) 2401 del vars, 21317 del conss, 7317 add conss, 595 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3278944 impls, 973 clqs
20.80/20.86	c (round 121) 2428 del vars, 21317 del conss, 7317 add conss, 597 chg bounds, 262 chg sides, 946 chg coeffs, 17878 upgd conss, 3339570 impls, 982 clqs
20.80/20.89	c (round 122) 2442 del vars, 21331 del conss, 7317 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3341522 impls, 982 clqs
20.89/20.92	c (round 123) 2445 del vars, 21343 del conss, 7329 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3341588 impls, 982 clqs
21.09/21.10	c (round 124) 2447 del vars, 21348 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3342912 impls, 988 clqs
21.18/21.27	c (round 125) 2447 del vars, 21350 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3342912 impls, 988 clqs
21.49/21.53	c (round 126) 2472 del vars, 21350 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 947 chg coeffs, 17878 upgd conss, 3350844 impls, 975 clqs
21.49/21.56	c (round 127) 2490 del vars, 21366 del conss, 7332 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3352036 impls, 973 clqs
21.68/21.74	c (round 128) 2492 del vars, 21372 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3352044 impls, 973 clqs
22.49/22.51	c (round 129) 2517 del vars, 21372 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17896 upgd conss, 3441796 impls, 971 clqs
22.49/22.53	c (round 130) 2523 del vars, 21377 del conss, 7336 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3443944 impls, 970 clqs
22.49/22.56	c (round 131) 2526 del vars, 21414 del conss, 7372 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 971 clqs
22.68/22.73	c (round 132) 2526 del vars, 21417 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 992 clqs
22.88/22.90	c (round 133) 2526 del vars, 21425 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3444396 impls, 993 clqs
23.29/23.36	c (round 134) 2553 del vars, 21425 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 950 chg coeffs, 17906 upgd conss, 3470956 impls, 984 clqs
23.29/23.39	c (round 135) 2565 del vars, 21437 del conss, 7374 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475208 impls, 984 clqs
23.39/23.41	c (round 136) 2568 del vars, 21461 del conss, 7396 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475240 impls, 982 clqs
23.49/23.58	c (round 137) 2568 del vars, 21462 del conss, 7397 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3475240 impls, 993 clqs
24.29/24.30	c (round 138) 2593 del vars, 21462 del conss, 7397 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3542484 impls, 986 clqs
24.29/24.35	c (round 139) 2602 del vars, 21490 del conss, 7415 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 986 clqs
24.49/24.52	c (round 140) 2602 del vars, 21492 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 993 clqs
24.58/24.69	c (round 141) 2602 del vars, 21493 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3543346 impls, 993 clqs
25.19/25.24	c (round 142) 2627 del vars, 21493 del conss, 7417 add conss, 597 chg bounds, 262 chg sides, 953 chg coeffs, 17910 upgd conss, 3570996 impls, 982 clqs
25.19/25.28	c (round 143) 2645 del vars, 21515 del conss, 7417 add conss, 604 chg bounds, 262 chg sides, 961 chg coeffs, 17914 upgd conss, 3572783 impls, 982 clqs
25.29/25.31	c (round 144) 2659 del vars, 21522 del conss, 7417 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3573287 impls, 982 clqs
25.29/25.33	c (round 145) 2660 del vars, 21528 del conss, 7423 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575021 impls, 982 clqs
25.48/25.51	c (round 146) 2663 del vars, 21533 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575051 impls, 985 clqs
25.59/25.68	c (round 147) 2663 del vars, 21534 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3575051 impls, 986 clqs
25.89/25.92	c    (25.9s) probing: 3000/6106 (49.1%) - 724 fixings, 232 aggregations, 456869 implications, 343 bound changes
27.68/27.77	c (round 148) 2688 del vars, 21534 del conss, 7424 add conss, 604 chg bounds, 262 chg sides, 968 chg coeffs, 17932 upgd conss, 3733519 impls, 977 clqs
27.79/27.80	c (round 149) 2701 del vars, 21552 del conss, 7424 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17945 upgd conss, 3736456 impls, 977 clqs
27.79/27.82	c (round 150) 2704 del vars, 21586 del conss, 7457 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 976 clqs
27.88/27.99	c (round 151) 2704 del vars, 21587 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 1004 clqs
28.08/28.17	c (round 152) 2704 del vars, 21588 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3736970 impls, 1004 clqs
29.19/29.22	c    (29.2s) probing: 4000/6106 (65.5%) - 752 fixings, 251 aggregations, 595967 implications, 343 bound changes
29.59/29.64	c (round 153) 2729 del vars, 21588 del conss, 7458 add conss, 605 chg bounds, 262 chg sides, 972 chg coeffs, 17960 upgd conss, 3838852 impls, 993 clqs
29.59/29.66	c (round 154) 2733 del vars, 21600 del conss, 7458 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17972 upgd conss, 3838907 impls, 993 clqs
29.79/29.83	c (round 155) 2735 del vars, 21683 del conss, 7540 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3838907 impls, 992 clqs
29.99/30.00	c    (30.0s) probing cycle finished: starting next cycle
30.39/30.47	c    (30.5s) probing: 224/4097 (5.5%) - 774 fixings, 252 aggregations, 625550 implications, 343 bound changes
30.39/30.47	c    (30.5s) probing aborted: 50/50 successive totally useless probings
30.39/30.47	c (round 156) 2757 del vars, 21683 del conss, 7540 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3863149 impls, 1067 clqs
30.59/30.68	c (round 157) 2764 del vars, 21770 del conss, 7584 add conss, 606 chg bounds, 262 chg sides, 973 chg coeffs, 17986 upgd conss, 3863919 impls, 1067 clqs
30.80/30.85	c    (30.9s) probing: 229/4097 (5.6%) - 774 fixings, 252 aggregations, 625550 implications, 343 bound changes
30.80/30.85	c    (30.9s) probing aborted: 50/50 successive totally useless probings
30.80/30.86	c presolving (158 rounds):
30.80/30.86	c  2764 deleted vars, 21770 deleted constraints, 7584 added constraints, 606 tightened bounds, 0 added holes, 262 changed sides, 973 changed coefficients
30.80/30.86	c  3863919 implications, 1088 cliques
30.80/30.86	c presolved problem has 4068 variables (4068 bin, 0 int, 0 impl, 0 cont) and 4754 constraints
30.80/30.86	c     524 constraints of type <knapsack>
30.80/30.86	c    1569 constraints of type <setppc>
30.80/30.86	c    2655 constraints of type <and>
30.80/30.86	c       6 constraints of type <logicor>
30.80/30.86	c transformed objective value is always integral (scale: 1)
30.80/30.86	c Presolving Time: 30.78
30.80/30.86	c - non default parameters ----------------------------------------------------------------------
30.80/30.86	c # SCIP version 2.1.1.4
30.80/30.86	c 
30.80/30.86	c # maximal time in seconds to run
30.80/30.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.80/30.86	c limits/time = 1797
30.80/30.86	c 
30.80/30.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.80/30.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.80/30.86	c limits/memory = 13950
30.80/30.86	c 
30.80/30.86	c # default clock type (1: CPU user seconds, 2: wall clock time)
30.80/30.86	c # [type: int, range: [1,2], default: 1]
30.80/30.86	c timing/clocktype = 2
30.80/30.86	c 
30.80/30.86	c # belongs reading time to solving time?
30.80/30.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.80/30.86	c timing/reading = TRUE
30.80/30.86	c 
30.80/30.86	c -----------------------------------------------------------------------------------------------
30.80/30.86	c start solving
30.80/30.86	c 
30.99/31.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
30.99/31.02	c  31.0s|     1 |     0 |  1421 |     - |  86M|   0 | 884 |4068 |4773 |4068 |7409 |   0 |  19 |   0 | 0.000000e+00 |      --      |    Inf 
37.68/37.76	c  37.8s|     1 |     0 |  9818 |     - |  88M|   0 |1352 |4068 |4781 |4068 |9395 |1986 |  27 |   0 | 0.000000e+00 |      --      |    Inf 
38.48/38.54	c  38.5s|     1 |     0 | 11972 |     - |  90M|   0 |1690 |4068 |4781 |4068 |  11k|3986 |  27 |   0 | 0.000000e+00 |      --      |    Inf 
40.28/40.35	c  40.4s|     1 |     0 | 15183 |     - |  93M|   0 |1897 |4068 |4781 |4068 |  13k|5715 |  27 |   0 | 0.000000e+00 |      --      |    Inf 
45.18/45.26	c  45.3s|     1 |     0 | 20194 |     - |  94M|   0 |2264 |4068 |4781 |4068 |  14k|7332 |  27 |   0 | 0.000000e+00 |      --      |    Inf 
47.19/47.30	c  47.3s|     1 |     0 | 24144 |     - |  95M|   0 |2274 |4068 |4781 |4068 |  16k|9332 |  27 |   0 | 0.000000e+00 |      --      |    Inf 
54.78/54.89	c  54.9s|     1 |     0 | 28542 |     - |  96M|   0 |2499 |4068 |4781 |4068 |  18k|  10k|  27 |   0 | 0.000000e+00 |      --      |    Inf 
67.67/67.70	c  67.7s|     1 |     2 | 28542 |     - |  96M|   0 |2499 |4068 |4781 |4068 |  18k|  10k|  27 |  22 | 0.000000e+00 |      --      |    Inf 
134.57/134.62	c   135s|   100 |    10 | 74858 | 467.8 |  97M|  23 |   - |4068 |4918 |   0 |   0 |  13k| 164 | 330 | 0.000000e+00 |      --      |    Inf 
156.96/157.00	c   157s|   200 |    15 |117664 | 447.8 |  97M|  23 |   - |4068 |5068 |   0 |   0 |  15k| 314 | 369 | 0.000000e+00 |      --      |    Inf 
181.76/181.81	c   182s|   300 |    23 |166070 | 460.0 |  97M|  23 | 697 |4068 |5221 |4068 |  10k|  17k| 467 | 413 | 0.000000e+00 |      --      |    Inf 
204.66/204.74	c   205s|   400 |    14 |211098 | 457.5 |  97M|  23 |   - |4068 |5383 |   0 |   0 |  18k| 629 | 456 | 0.000000e+00 |      --      |    Inf 
222.35/222.42	c   222s|   500 |    13 |247220 | 438.2 |  97M|  23 |1074 |4068 |5520 |4068 |  10k|  20k| 766 | 488 | 0.000000e+00 |      --      |    Inf 
257.75/257.84	c   258s|   600 |     6 |308342 | 467.1 |  93M|  23 |   - |4068 |5529 |4068 |  10k|  23k| 936 | 589 | 0.000000e+00 |      --      |    Inf 
291.75/291.85	c   292s|   700 |    10 |372136 | 491.6 |  93M|  23 |1892 |4068 |5680 |4068 |  10k|  25k|1087 | 651 | 0.000000e+00 |      --      |    Inf 
324.04/324.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
324.04/324.16	c   324s|   800 |    12 |434396 | 508.0 |  93M|  23 |1098 |4068 |5834 |4068 |  10k|  27k|1243 | 725 | 0.000000e+00 |      --      |    Inf 
359.43/359.51	c   360s|   900 |     8 |493605 | 517.3 |  93M|  23 |1775 |4068 |5966 |4068 |  10k|  29k|1391 | 802 | 0.000000e+00 |      --      |    Inf 
385.33/385.43	c   385s|  1000 |     6 |542208 | 514.2 |  93M|  23 |1586 |4068 |6078 |4068 |  10k|  30k|1524 | 882 | 0.000000e+00 |      --      |    Inf 
404.93/405.05	c   405s|  1100 |     8 |580939 | 502.6 |  93M|  23 |   - |4068 |6238 |   0 |   0 |  32k|1710 | 931 | 0.000000e+00 |      --      |    Inf 
426.42/426.53	c   427s|  1200 |     7 |616818 | 490.6 |  93M|  23 |1307 |4068 |6280 |4068 |  10k|  33k|1846 | 993 | 0.000000e+00 |      --      |    Inf 
433.53/433.67	c 
433.53/433.67	c SCIP Status        : problem is solved [infeasible]
433.53/433.67	c Solving Time (sec) : 433.67
433.53/433.67	c Solving Nodes      : 1232
433.53/433.67	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
433.53/433.67	c Dual Bound         : +1.00000000000000e+20
433.53/433.67	c Gap                : 0.00 %
433.53/433.67	s UNSATISFIABLE
433.53/433.67	c SCIP Status        : problem is solved [infeasible]
433.53/433.67	c Total Time         :     433.67
433.53/433.67	c   solving          :     433.67
433.53/433.67	c   presolving       :      30.78 (included in solving)
433.53/433.67	c   reading          :       0.05 (included in solving)
433.53/433.67	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
433.53/433.67	c Original Problem   :
433.53/433.67	c   Problem name     : HOME/instance-3692846-1338027682.opb
433.53/433.67	c   Variables        : 6832 (6832 binary, 0 integer, 0 implicit integer, 0 continuous)
433.53/433.67	c   Constraints      : 19477 initial, 19477 maximal
433.53/433.67	c   Objective sense  : minimize
433.53/433.67	c Presolved Problem  :
433.53/433.67	c   Problem name     : t_HOME/instance-3692846-1338027682.opb
433.53/433.67	c   Variables        : 4068 (4068 binary, 0 integer, 0 implicit integer, 0 continuous)
433.53/433.67	c   Constraints      : 4754 initial, 6298 maximal
433.53/433.67	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
433.53/433.67	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   trivial          :       0.05       0.00         91          0          0          0          0          0          0          0          0
433.53/433.67	c   dualfix          :       0.03       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   gateextraction   :       0.06       0.00          0          0          0          0          0      17070       5688          0          0
433.53/433.67	c   implics          :       0.37       0.00          0        471          0          0          0          0          0          0          0
433.53/433.67	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   probing          :      13.43       0.00        774        252          0        343          0          0          0          0          0
433.53/433.67	c   knapsack         :       0.13       0.00          0          0          0          0          0          0          0          0          0
433.53/433.67	c   setppc           :       0.78       0.00          4        224          0          0          0        561          0          0          0
433.53/433.67	c   and              :      15.37       0.00         62        634          0          6          0       2340       1896          0        345
433.53/433.67	c   linear           :       0.33       0.00        248          4          0        248          0       1799          0        262        628
433.53/433.67	c   logicor          :       0.08       0.00          0          0          0          9          0          0          0          0          0
433.53/433.67	c   root node        :          -          -        103          -          -        103          -          -          -          -          -
433.53/433.67	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
433.53/433.67	c   integral         :          0          0          0          0        912          0          4          0          9        109          0          0       1732
433.53/433.67	c   knapsack         :        524        524          6      47478          0          0          3         84          8          0       1136          0          0
433.53/433.67	c   setppc           :       1569       1569          6      47470          0          0          0      47821        258     116722          0          0          0
433.53/433.67	c   and              :       2655       2655       2770      47212          0          0          0     115016        434     260055      30126          0          0
433.53/433.67	c   logicor          :          6+      1711          6      12474          0          0          0       5147         96       4095          8          0          0
433.53/433.67	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
433.53/433.67	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
433.53/433.67	c   integral         :     148.24       0.00       0.00       0.00     148.24       0.00       0.00       0.00
433.53/433.67	c   knapsack         :       0.47       0.00       0.02       0.45       0.00       0.00       0.00       0.00
433.53/433.67	c   setppc           :       1.39       0.00       0.00       1.34       0.00       0.00       0.00       0.06
433.53/433.67	c   and              :       4.61       0.00       1.10       3.38       0.00       0.00       0.00       0.12
433.53/433.67	c   logicor          :       0.13       0.00       0.00       0.12       0.00       0.00       0.00       0.01
433.53/433.67	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
433.53/433.67	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
433.53/433.67	c   rootredcost      :          0          0          0          0
433.53/433.67	c   pseudoobj        :          0          0          0          0
433.53/433.67	c   vbounds          :          0          0          0          0
433.53/433.67	c   redcost          :       2925          0          0          0
433.53/433.67	c   probing          :          0          0          0          0
433.53/433.67	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
433.53/433.67	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
433.53/433.67	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00
433.53/433.67	c   vbounds          :       0.04       0.00       0.00       0.04       0.00
433.53/433.67	c   redcost          :       0.19       0.00       0.00       0.19       0.00
433.53/433.67	c   probing          :      13.43       0.00      13.43       0.00       0.00
433.53/433.67	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
433.53/433.67	c   propagation      :       0.34        796        643       4122       30.5         74       15.8          -
433.53/433.67	c   infeasible LP    :       0.15        127        125        332       26.9         20       13.6          0
433.53/433.67	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
433.53/433.67	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
433.53/433.67	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
433.53/433.67	c   applied globally :          -          -          -       1892       22.1          -          -          -
433.53/433.67	c   applied locally  :          -          -          -          0        0.0          -          -          -
433.53/433.67	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
433.53/433.67	c   cut pool         :       0.00                     5          -          -        455          -    (maximal pool size: 12737)
433.53/433.67	c   closecuts        :       0.00       0.00          0          0          0          0          0
433.53/433.67	c   impliedbounds    :       0.09       0.00          6          0          0      16853          0
433.53/433.67	c   intobj           :       0.00       0.00          0          0          0          0          0
433.53/433.67	c   gomory           :       0.94       0.00          5          0          0        250          0
433.53/433.67	c   cgmip            :       0.00       0.00          0          0          0          0          0
433.53/433.67	c   strongcg         :       6.10       0.00          5          0          0       2112          0
433.53/433.67	c   cmir             :       0.30       0.00          4          0          0          0          0
433.53/433.67	c   flowcover        :       0.47       0.00          4          0          0        801          0
433.53/433.67	c   clique           :       4.97       0.00          4          0          0         35          0
433.53/433.67	c   zerohalf         :       0.00       0.00          0          0          0          0          0
433.53/433.67	c   mcf              :       0.00       0.00          1          0          0          0          0
433.53/433.67	c   oddcycle         :       0.00       0.00          0          0          0          0          0
433.53/433.67	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
433.53/433.67	c Pricers            :   ExecTime  SetupTime      Calls       Vars
433.53/433.67	c   problem variables:       0.00          -          0          0
433.53/433.67	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
433.53/433.67	c   relpscost        :     148.24       0.00        912          9        109          0          0       1732
433.53/433.67	c   pscost           :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   inference        :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c   random           :       0.00       0.00          0          0          0          0          0          0
433.53/433.67	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
433.53/433.67	c   LP solutions     :       0.00          -          -          0
433.53/433.67	c   pseudo solutions :       0.00          -          -          0
433.53/433.67	c   oneopt           :       0.01       0.00          0          0
433.53/433.67	c   crossover        :       0.00       0.00          0          0
433.53/433.67	c   intshifting      :       0.00       0.00          0          0
433.53/433.67	c   guideddiving     :       0.00       0.00          0          0
433.53/433.67	c   pscostdiving     :       4.26       0.00          3          0
433.53/433.67	c   fracdiving       :       5.28       0.00          3          0
433.53/433.67	c   veclendiving     :       3.69       0.00          3          0
433.53/433.67	c   linesearchdiving :       3.04       0.00          3          0
433.53/433.67	c   rootsoldiving    :       6.26       0.00          2          0
433.53/433.67	c   coefdiving       :       2.67       0.00          4          0
433.53/433.67	c   smallcard        :       0.00       0.00          0          0
433.53/433.67	c   trivial          :       0.00       0.00          2          0
433.53/433.67	c   shiftandpropagate:       0.07       0.00          1          0
433.53/433.67	c   simplerounding   :       0.00       0.00          0          0
433.53/433.67	c   zirounding       :       0.40       0.00          0          0
433.53/433.67	c   rounding         :       0.52       0.00        726          0
433.53/433.67	c   shifting         :       3.49       0.00        212          0
433.53/433.67	c   twoopt           :       0.00       0.00          0          0
433.53/433.67	c   indoneopt        :       0.00       0.00          0          0
433.53/433.67	c   indtwoopt        :       0.00       0.00          0          0
433.53/433.67	c   fixandinfer      :       0.00       0.00          0          0
433.53/433.67	c   feaspump         :       4.43       0.00          2          0
433.53/433.67	c   clique           :       0.00       0.00          0          0
433.53/433.67	c   indcoefdiving    :       0.00       0.00          0          0
433.53/433.67	c   indrounding      :       0.00       0.00          0          0
433.53/433.67	c   nlpdiving        :       0.00       0.00          0          0
433.53/433.67	c   intdiving        :       0.00       0.00          0          0
433.53/433.67	c   actconsdiving    :       0.00       0.00          0          0
433.53/433.67	c   objpscostdiving  :       5.19       0.00          2          0
433.53/433.67	c   octane           :       0.00       0.00          0          0
433.53/433.67	c   rens             :       0.04       0.00          0          0
433.53/433.67	c   rins             :       0.00       0.00          0          0
433.53/433.67	c   localbranching   :       0.00       0.00          0          0
433.53/433.67	c   mutation         :       0.00       0.00          0          0
433.53/433.67	c   dins             :       0.00       0.00          0          0
433.53/433.67	c   vbounds          :       0.00       0.00          0          0
433.53/433.67	c   undercover       :       0.56       0.00          1          0
433.53/433.67	c   subnlp           :       0.00       0.00          0          0
433.53/433.67	c   trysol           :       0.00       0.00          0          0
433.53/433.67	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
433.53/433.67	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
433.53/433.67	c   dual LP          :     190.40       2976     551478     185.68    2896.41       0.03          6
433.53/433.67	c   lex dual LP      :       0.00          0          0       0.00          -
433.53/433.67	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
433.53/433.67	c   diving/probing LP:      31.07       1809      89903      49.70    2893.18
433.53/433.67	c   strong branching :     147.89        993     401427     404.26    2714.41
433.53/433.67	c     (at root node) :          -         22      21394     972.45          -
433.53/433.67	c   conflict analysis:       0.00          0          0       0.00          -
433.53/433.67	c B&B Tree           :
433.53/433.67	c   number of runs   :          1
433.53/433.67	c   nodes            :       1232
433.53/433.67	c   nodes (total)    :       1232
433.53/433.67	c   nodes left       :          0
433.53/433.67	c   max depth        :         23
433.53/433.67	c   max depth (total):         23
433.53/433.67	c   backtracks       :        396 (32.1%)
433.53/433.67	c   delayed cutoffs  :        501
433.53/433.67	c   repropagations   :        960 (145776 domain reductions, 316 cutoffs)
433.53/433.67	c   avg switch length:       3.09
433.53/433.67	c   switching time   :       1.15
433.53/433.67	c Solution           :
433.53/433.67	c   Solutions found  :          0 (0 improvements)
433.53/433.67	c   Primal Bound     : infeasible
433.53/433.67	c   Dual Bound       :          -
433.53/433.67	c   Gap              :       0.00 %
433.53/433.67	c   Root Dual Bound  : +0.00000000000000e+00
433.53/433.67	c   Root Iterations  :      28542
433.63/433.75	c Time complete: 433.67.

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2447
/proc/meminfo: memFree=23237112/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=10420 CPUtime=0 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 1347 0 0 0 0 0 0 0 20 0 1 0 268893040 10670080 1302 33554432000 4194304 10169799 140733336895760 140734744584584 8883659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 2605 1302 409 1459 0 1137 0

[startup+0.0256749 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2447
/proc/meminfo: memFree=23237112/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=15448 CPUtime=0.01 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 2591 0 0 0 1 0 0 0 20 0 1 0 268893040 15818752 2546 33554432000 4194304 10169799 140733336895760 140734744584584 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 3862 2546 409 1459 0 2394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15448

[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2447
/proc/meminfo: memFree=23237112/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=47304 CPUtime=0.09 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 10281 0 0 0 7 2 0 0 20 0 1 0 268893040 48439296 10236 33554432000 4194304 10169799 140733336895760 140734744584584 4897504 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 11826 10236 498 1459 0 10358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47304

[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2447
/proc/meminfo: memFree=23237112/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=68268 CPUtime=0.29 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 15396 0 0 0 23 6 0 0 20 0 1 0 268893040 69906432 15351 33554432000 4194304 10169799 140733336895760 140733336893912 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 17067 15351 562 1459 0 15599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68268

[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2447
/proc/meminfo: memFree=23237112/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=84416 CPUtime=0.69 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 20722 0 0 0 49 20 0 0 20 0 1 0 268893040 86441984 19577 33554432000 4194304 10169799 140733336895760 140733336893912 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 21104 19577 624 1459 0 19636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84416

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2448
/proc/meminfo: memFree=23148692/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=89940 CPUtime=1.49 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 22094 0 0 0 80 69 0 0 20 0 1 0 268893040 92098560 20949 33554432000 4194304 10169799 140733336895760 140733336894168 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 22485 20949 629 1459 0 21017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89940

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2448
/proc/meminfo: memFree=23130588/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=112516 CPUtime=3.09 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 27558 0 0 0 158 151 0 0 20 0 1 0 268893040 115216384 26413 33554432000 4194304 10169799 140733336895760 140733336893272 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 28129 26413 629 1459 0 26661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112516

[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 2448
/proc/meminfo: memFree=23064092/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=125376 CPUtime=6.29 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 30650 0 0 0 291 338 0 0 20 0 1 0 268893040 128385024 29505 33554432000 4194304 10169799 140733336895760 140733336894168 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 31344 29505 629 1459 0 29876 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125376

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2448
/proc/meminfo: memFree=22980656/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=141992 CPUtime=12.69 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 34515 0 0 0 673 596 0 0 20 0 1 0 268893040 145399808 33370 33554432000 4194304 10169799 140733336895760 140733336893288 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 35498 33370 629 1459 0 34030 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141992

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 2448
/proc/meminfo: memFree=22861088/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=149916 CPUtime=25.48 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 36407 0 0 0 1373 1175 0 0 20 0 1 0 268893040 153513984 35262 33554432000 4194304 10169799 140733336895760 140733336892968 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 37479 35262 629 1459 0 36011 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149916

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 2448
/proc/meminfo: memFree=22739784/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=197892 CPUtime=51.08 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 52061 0 0 0 3717 1391 0 0 20 0 1 0 268893040 202641408 47336 33554432000 4194304 10169799 140733336895760 140733336891800 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 49473 47336 872 1459 0 48005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 197892

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2448
/proc/meminfo: memFree=22523508/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=199980 CPUtime=102.28 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 58417 0 0 0 8819 1409 0 0 20 0 1 0 268893040 204779520 47832 33554432000 4194304 10169799 140733336895760 140733336890456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 49995 47832 874 1459 0 48527 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 199980

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2449
/proc/meminfo: memFree=22208948/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=200432 CPUtime=162.26 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 58818 0 0 0 14791 1435 0 0 20 0 1 0 268893040 205242368 48233 33554432000 4194304 10169799 140733336895760 140733336890216 5119964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 50108 48233 875 1459 0 48640 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 200432

[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 2449
/proc/meminfo: memFree=21880004/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=204064 CPUtime=222.25 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 64585 0 0 0 20753 1472 0 0 20 0 1 0 268893040 208961536 49095 33554432000 4194304 10169799 140733336895760 140733336890536 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 51016 49095 875 1459 0 49548 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 204064

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2449
/proc/meminfo: memFree=21675556/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=207908 CPUtime=282.25 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 86976 0 0 0 26721 1504 0 0 20 0 1 0 268893040 212897792 49973 33554432000 4194304 10169799 140733336895760 140733336890168 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 51977 49973 875 1459 0 50509 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 207908

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2449
/proc/meminfo: memFree=21463668/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=211340 CPUtime=342.24 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 107812 0 0 0 32686 1538 0 0 20 0 1 0 268893040 216412160 50591 33554432000 4194304 10169799 140733336895760 140733336890360 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 52835 50591 875 1459 0 51367 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 211340

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2449
/proc/meminfo: memFree=21187176/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=215768 CPUtime=402.23 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 129117 0 0 0 38650 1573 0 0 20 0 1 0 268893040 220946432 52076 33554432000 4194304 10169799 140733336895760 140733336890264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 53942 52076 875 1459 0 52474 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 215768

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

[startup+409.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2449
/proc/meminfo: memFree=21128260/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=216196 CPUtime=409.43 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 130342 0 0 0 39364 1579 0 0 20 0 1 0 268893040 221384704 52205 33554432000 4194304 10169799 140733336895760 140733336890264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54049 52205 875 1459 0 52581 0
Current children cumulated CPU time (s) 409.43
Current children cumulated vsize (KiB) 216196

[startup+422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=21046280/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=217484 CPUtime=422.23 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133461 0 0 0 40636 1587 0 0 20 0 1 0 268893040 222703616 52505 33554432000 4194304 10169799 140733336895760 140733336890264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54371 52505 875 1459 0 52903 0
Current children cumulated CPU time (s) 422.23
Current children cumulated vsize (KiB) 217484

[startup+428.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=21026796/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=218032 CPUtime=428.63 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133598 0 0 0 41272 1591 0 0 20 0 1 0 268893040 223264768 52642 33554432000 4194304 10169799 140733336895760 140733336890216 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54508 52642 875 1459 0 53040 0
Current children cumulated CPU time (s) 428.63
Current children cumulated vsize (KiB) 218032

[startup+431.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=21009684/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=218032 CPUtime=431.82 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133599 0 0 0 41590 1592 0 0 20 0 1 0 268893040 223264768 52643 33554432000 4194304 10169799 140733336895760 140733336889000 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54508 52643 875 1459 0 53040 0
Current children cumulated CPU time (s) 431.82
Current children cumulated vsize (KiB) 218032

[startup+432.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=21003980/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=218032 CPUtime=432.62 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133599 0 0 0 41670 1592 0 0 20 0 1 0 268893040 223264768 52643 33554432000 4194304 10169799 140733336895760 140733336889000 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54508 52643 875 1459 0 53040 0
Current children cumulated CPU time (s) 432.62
Current children cumulated vsize (KiB) 218032

[startup+433.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=20996540/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=218500 CPUtime=433.43 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133601 0 0 0 41750 1593 0 0 20 0 1 0 268893040 223744000 52645 33554432000 4194304 10169799 140733336895760 140733336890552 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54625 52645 875 1459 0 53157 0
Current children cumulated CPU time (s) 433.43
Current children cumulated vsize (KiB) 218500

[startup+433.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2450
/proc/meminfo: memFree=20996540/32873844 swapFree=7608/7608
[pid=2447] ppid=2445 vsize=217088 CPUtime=433.63 cores=0,2,4,6
/proc/2447/stat : 2447 (scip-2.1.1.4sfi) R 2445 2447 30878 0 -1 4202496 133603 0 0 0 41770 1593 0 0 20 0 1 0 268893040 222298112 52294 33554432000 4194304 10169799 140733336895760 140733336890552 5280452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2447/statm: 54272 52294 877 1459 0 52804 0
Current children cumulated CPU time (s) 433.63
Current children cumulated vsize (KiB) 217088

Child status: 0
Real time (s): 433.751
CPU time (s): 433.684
CPU user time (s): 417.74
CPU system time (s): 15.9446
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 218500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.739
system time used= 15.9446
maximum resident set size= 210588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133605
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= 3
involuntary context switches= 449

runsolver used 0.843871 second user time and 1.84772 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-26 12:21:23
IDJOB=3692846
IDBENCH=1492
IDSOLVER=2272
FILE ID=node135/3692846-1338027682
RUNJOBID= node135-1338017247-31465
PBS_JOBID= 14624262
Free space on /tmp= 71492 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.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-3692846-1338027682/watcher-3692846-1338027682 -o /tmp/evaluation-result-3692846-1338027682/solver-3692846-1338027682 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692846-1338027682.opb -t 1800 -m 15500

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

MD5SUM BENCH= a985b0d4e6d576e8ad3098d78036fdc8
RANDOM SEED=172362005

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23237376 kB
Buffers:          247892 kB
Cached:          3695468 kB
SwapCached:            0 kB
Active:          5827604 kB
Inactive:        3022888 kB
Active(anon):    4909716 kB
Inactive(anon):        0 kB
Active(file):     917888 kB
Inactive(file):  3022888 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14000 kB
Writeback:             0 kB
AnonPages:       4914044 kB
Mapped:            16880 kB
Shmem:               212 kB
Slab:             637884 kB
SReclaimable:      80388 kB
SUnreclaim:       557496 kB
KernelStack:        1488 kB
PageTables:        13856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    5066576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1277952 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= 71480 MiB
End job on node135 at 2012-05-26 12:28:36