Trace number 3692835

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 779.249 779.367

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
MD5SUM35e445ac209f1522afc5b57d4ebf6731
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.097985
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7578
Total number of constraints21401
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
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-3692835-1338026903.opb>
0.00/0.06	c original problem has 7578 variables (7578 bin, 0 int, 0 impl, 0 cont) and 21401 constraints
0.00/0.06	c problem read in 0.06
0.09/0.13	c presolving:
0.28/0.36	c (round 1) 1250 del vars, 1917 del conss, 0 add conss, 530 chg bounds, 450 chg sides, 932 chg coeffs, 0 upgd conss, 420742 impls, 0 clqs
0.39/0.40	c (round 2) 1252 del vars, 3420 del conss, 0 add conss, 532 chg bounds, 450 chg sides, 932 chg coeffs, 0 upgd conss, 420894 impls, 0 clqs
0.49/0.52	c (round 3) 1252 del vars, 3426 del conss, 0 add conss, 532 chg bounds, 450 chg sides, 932 chg coeffs, 17987 upgd conss, 420894 impls, 0 clqs
0.69/0.70	c (round 4) 1252 del vars, 3430 del conss, 0 add conss, 532 chg bounds, 450 chg sides, 932 chg coeffs, 17987 upgd conss, 420894 impls, 0 clqs
0.69/0.70	c (round 5) 1432 del vars, 20441 del conss, 5668 add conss, 575 chg bounds, 450 chg sides, 932 chg coeffs, 17987 upgd conss, 422647 impls, 0 clqs
0.69/0.70	c (round 6) 1551 del vars, 20575 del conss, 5668 add conss, 575 chg bounds, 450 chg sides, 1051 chg coeffs, 18047 upgd conss, 433549 impls, 6 clqs
0.69/0.71	c (round 7) 1570 del vars, 20588 del conss, 5668 add conss, 575 chg bounds, 450 chg sides, 1054 chg coeffs, 18049 upgd conss, 433639 impls, 7 clqs
0.69/0.72	c (round 8) 1578 del vars, 20596 del conss, 5668 add conss, 575 chg bounds, 450 chg sides, 1062 chg coeffs, 18049 upgd conss, 433639 impls, 7 clqs
0.69/0.75	c (round 9) 1662 del vars, 20992 del conss, 6064 add conss, 575 chg bounds, 450 chg sides, 1062 chg coeffs, 18049 upgd conss, 437369 impls, 7 clqs
0.69/0.78	c (round 10) 1676 del vars, 21084 del conss, 6147 add conss, 575 chg bounds, 450 chg sides, 1070 chg coeffs, 18049 upgd conss, 438253 impls, 401 clqs
0.79/0.80	c (round 11) 1682 del vars, 21104 del conss, 6164 add conss, 575 chg bounds, 450 chg sides, 1071 chg coeffs, 18049 upgd conss, 438751 impls, 409 clqs
0.79/0.82	c (round 12) 1687 del vars, 21119 del conss, 6174 add conss, 575 chg bounds, 450 chg sides, 1071 chg coeffs, 18049 upgd conss, 438765 impls, 413 clqs
0.79/0.84	c (round 13) 1689 del vars, 21145 del conss, 6178 add conss, 575 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 438801 impls, 417 clqs
0.79/0.86	c (round 14) 1690 del vars, 21147 del conss, 6180 add conss, 575 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 438867 impls, 417 clqs
0.99/1.05	c (round 15) 1696 del vars, 21154 del conss, 6181 add conss, 575 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 439369 impls, 417 clqs
0.99/1.07	c (round 16) 1697 del vars, 21155 del conss, 6181 add conss, 575 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 439369 impls, 417 clqs
1.19/1.25	c (round 17) 1697 del vars, 21156 del conss, 6182 add conss, 575 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 439369 impls, 417 clqs
1.39/1.48	c (round 18) 1734 del vars, 21156 del conss, 6182 add conss, 603 chg bounds, 450 chg sides, 1072 chg coeffs, 18049 upgd conss, 513213 impls, 407 clqs
1.49/1.50	c (round 19) 1755 del vars, 21180 del conss, 6182 add conss, 603 chg bounds, 450 chg sides, 1085 chg coeffs, 18071 upgd conss, 517183 impls, 407 clqs
1.49/1.52	c (round 20) 1767 del vars, 21241 del conss, 6243 add conss, 603 chg bounds, 450 chg sides, 1085 chg coeffs, 18071 upgd conss, 517665 impls, 407 clqs
1.68/1.70	c (round 21) 1768 del vars, 21255 del conss, 6255 add conss, 603 chg bounds, 450 chg sides, 1085 chg coeffs, 18071 upgd conss, 518635 impls, 462 clqs
1.79/1.88	c (round 22) 1768 del vars, 21257 del conss, 6255 add conss, 603 chg bounds, 450 chg sides, 1085 chg coeffs, 18071 upgd conss, 518635 impls, 463 clqs
2.49/2.53	c (round 23) 1795 del vars, 21257 del conss, 6255 add conss, 605 chg bounds, 450 chg sides, 1085 chg coeffs, 18071 upgd conss, 1001222 impls, 461 clqs
2.49/2.55	c (round 24) 1806 del vars, 21274 del conss, 6255 add conss, 605 chg bounds, 450 chg sides, 1096 chg coeffs, 18071 upgd conss, 1007454 impls, 461 clqs
2.59/2.60	c (round 25) 1840 del vars, 21489 del conss, 6469 add conss, 605 chg bounds, 450 chg sides, 1096 chg coeffs, 18073 upgd conss, 1016004 impls, 461 clqs
2.69/2.78	c (round 26) 1841 del vars, 21527 del conss, 6503 add conss, 605 chg bounds, 450 chg sides, 1096 chg coeffs, 18073 upgd conss, 1016022 impls, 666 clqs
2.89/2.96	c (round 27) 1841 del vars, 21528 del conss, 6503 add conss, 605 chg bounds, 450 chg sides, 1096 chg coeffs, 18073 upgd conss, 1016022 impls, 666 clqs
3.09/3.14	c (round 28) 1841 del vars, 21529 del conss, 6503 add conss, 605 chg bounds, 450 chg sides, 1096 chg coeffs, 18073 upgd conss, 1016022 impls, 666 clqs
3.29/3.37	c (round 29) 1959 del vars, 21529 del conss, 6503 add conss, 610 chg bounds, 450 chg sides, 1096 chg coeffs, 18073 upgd conss, 1017772 impls, 596 clqs
3.39/3.42	c (round 30) 2019 del vars, 21612 del conss, 6503 add conss, 610 chg bounds, 450 chg sides, 1104 chg coeffs, 18085 upgd conss, 1042190 impls, 596 clqs
3.59/3.60	c (round 31) 2023 del vars, 21635 del conss, 6521 add conss, 610 chg bounds, 450 chg sides, 1104 chg coeffs, 18085 upgd conss, 1042322 impls, 596 clqs
3.69/3.78	c (round 32) 2023 del vars, 21637 del conss, 6521 add conss, 610 chg bounds, 450 chg sides, 1104 chg coeffs, 18085 upgd conss, 1042322 impls, 612 clqs
3.99/4.03	c (round 33) 2085 del vars, 21637 del conss, 6521 add conss, 610 chg bounds, 450 chg sides, 1104 chg coeffs, 18085 upgd conss, 1072998 impls, 604 clqs
3.99/4.07	c (round 34) 2116 del vars, 21679 del conss, 6521 add conss, 610 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1083632 impls, 604 clqs
4.09/4.11	c (round 35) 2127 del vars, 21707 del conss, 6542 add conss, 610 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1096890 impls, 603 clqs
4.29/4.32	c (round 36) 2176 del vars, 21770 del conss, 6553 add conss, 610 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1109454 impls, 618 clqs
4.39/4.50	c (round 37) 2181 del vars, 21786 del conss, 6557 add conss, 610 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1110482 impls, 619 clqs
4.59/4.67	c (round 38) 2181 del vars, 21793 del conss, 6557 add conss, 610 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1110482 impls, 622 clqs
5.79/5.82	c (round 39) 2206 del vars, 21793 del conss, 6557 add conss, 614 chg bounds, 450 chg sides, 1135 chg coeffs, 18100 upgd conss, 1492496 impls, 613 clqs
5.79/5.86	c (round 40) 2212 del vars, 21885 del conss, 6640 add conss, 614 chg bounds, 450 chg sides, 1135 chg coeffs, 18101 upgd conss, 1496264 impls, 613 clqs
5.99/6.04	c (round 41) 2218 del vars, 21903 del conss, 6646 add conss, 614 chg bounds, 450 chg sides, 1135 chg coeffs, 18102 upgd conss, 1497468 impls, 689 clqs
6.60/6.69	c (round 42) 2243 del vars, 21903 del conss, 6646 add conss, 623 chg bounds, 450 chg sides, 1135 chg coeffs, 18102 upgd conss, 1623765 impls, 676 clqs
6.69/6.71	c (round 43) 2245 del vars, 21935 del conss, 6669 add conss, 623 chg bounds, 450 chg sides, 1136 chg coeffs, 18102 upgd conss, 1623863 impls, 676 clqs
6.79/6.89	c (round 44) 2246 del vars, 21944 del conss, 6671 add conss, 623 chg bounds, 450 chg sides, 1136 chg coeffs, 18102 upgd conss, 1624071 impls, 689 clqs
7.19/7.23	c (round 45) 2274 del vars, 21944 del conss, 6671 add conss, 629 chg bounds, 450 chg sides, 1136 chg coeffs, 18102 upgd conss, 1657101 impls, 673 clqs
7.39/7.43	c (round 46) 2278 del vars, 21973 del conss, 6686 add conss, 629 chg bounds, 450 chg sides, 1136 chg coeffs, 18108 upgd conss, 1663231 impls, 673 clqs
7.59/7.61	c (round 47) 2278 del vars, 21976 del conss, 6686 add conss, 629 chg bounds, 450 chg sides, 1136 chg coeffs, 18108 upgd conss, 1663231 impls, 677 clqs
8.29/8.38	c (round 48) 2303 del vars, 21976 del conss, 6686 add conss, 631 chg bounds, 450 chg sides, 1136 chg coeffs, 18108 upgd conss, 1903119 impls, 670 clqs
8.39/8.40	c (round 49) 2308 del vars, 21985 del conss, 6686 add conss, 631 chg bounds, 450 chg sides, 1138 chg coeffs, 18108 upgd conss, 1905247 impls, 670 clqs
8.39/8.44	c (round 50) 2322 del vars, 22070 del conss, 6771 add conss, 631 chg bounds, 450 chg sides, 1138 chg coeffs, 18108 upgd conss, 1910159 impls, 670 clqs
8.39/8.46	c (round 51) 2323 del vars, 22085 del conss, 6785 add conss, 631 chg bounds, 450 chg sides, 1138 chg coeffs, 18108 upgd conss, 1910197 impls, 743 clqs
8.59/8.64	c (round 52) 2323 del vars, 22086 del conss, 6786 add conss, 631 chg bounds, 450 chg sides, 1138 chg coeffs, 18108 upgd conss, 1910197 impls, 744 clqs
8.80/8.81	c    (8.8s) probing: 1000/6326 (15.8%) - 449 fixings, 78 aggregations, 161586 implications, 99 bound changes
9.59/9.62	c (round 53) 2348 del vars, 22086 del conss, 6786 add conss, 635 chg bounds, 450 chg sides, 1138 chg coeffs, 18108 upgd conss, 2142207 impls, 737 clqs
9.59/9.63	c (round 54) 2349 del vars, 22091 del conss, 6786 add conss, 635 chg bounds, 450 chg sides, 1139 chg coeffs, 18108 upgd conss, 2142299 impls, 737 clqs
9.59/9.67	c (round 55) 2357 del vars, 22154 del conss, 6846 add conss, 635 chg bounds, 450 chg sides, 1139 chg coeffs, 18108 upgd conss, 2142605 impls, 737 clqs
9.79/9.87	c (round 56) 2361 del vars, 22167 del conss, 6854 add conss, 635 chg bounds, 450 chg sides, 1139 chg coeffs, 18108 upgd conss, 2143509 impls, 787 clqs
9.99/10.05	c (round 57) 2361 del vars, 22169 del conss, 6856 add conss, 635 chg bounds, 450 chg sides, 1139 chg coeffs, 18108 upgd conss, 2143509 impls, 788 clqs
11.19/11.24	c (round 58) 2388 del vars, 22169 del conss, 6856 add conss, 635 chg bounds, 450 chg sides, 1139 chg coeffs, 18108 upgd conss, 2415275 impls, 785 clqs
11.19/11.28	c (round 59) 2398 del vars, 22263 del conss, 6944 add conss, 635 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2419403 impls, 785 clqs
11.48/11.54	c (round 60) 2416 del vars, 22296 del conss, 6954 add conss, 635 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2421731 impls, 857 clqs
11.69/11.72	c (round 61) 2416 del vars, 22297 del conss, 6955 add conss, 635 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2421731 impls, 858 clqs
12.39/12.40	c (round 62) 2441 del vars, 22297 del conss, 6955 add conss, 638 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2514524 impls, 850 clqs
12.39/12.43	c (round 63) 2446 del vars, 22315 del conss, 6970 add conss, 638 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2515288 impls, 850 clqs
12.58/12.64	c (round 64) 2453 del vars, 22333 del conss, 6975 add conss, 638 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2518168 impls, 858 clqs
12.78/12.81	c (round 65) 2453 del vars, 22335 del conss, 6977 add conss, 638 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2518168 impls, 858 clqs
12.89/12.99	c (round 66) 2453 del vars, 22336 del conss, 6977 add conss, 638 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2518168 impls, 859 clqs
13.59/13.67	c    (13.7s) probing: 2000/6326 (31.6%) - 464 fixings, 146 aggregations, 305035 implications, 106 bound changes
14.49/14.54	c (round 67) 2479 del vars, 22336 del conss, 6977 add conss, 642 chg bounds, 450 chg sides, 1142 chg coeffs, 18108 upgd conss, 2775268 impls, 851 clqs
14.59/14.65	c (round 68) 2504 del vars, 22491 del conss, 7123 add conss, 647 chg bounds, 450 chg sides, 1143 chg coeffs, 18112 upgd conss, 2790173 impls, 851 clqs
14.78/14.83	c (round 69) 2507 del vars, 22526 del conss, 7138 add conss, 647 chg bounds, 450 chg sides, 1143 chg coeffs, 18112 upgd conss, 2790185 impls, 983 clqs
14.98/15.01	c (round 70) 2507 del vars, 22529 del conss, 7138 add conss, 647 chg bounds, 450 chg sides, 1143 chg coeffs, 18112 upgd conss, 2790185 impls, 983 clqs
15.99/16.09	c (round 71) 2532 del vars, 22529 del conss, 7138 add conss, 647 chg bounds, 450 chg sides, 1143 chg coeffs, 18112 upgd conss, 2901331 impls, 981 clqs
16.08/16.13	c (round 72) 2536 del vars, 22606 del conss, 7211 add conss, 649 chg bounds, 450 chg sides, 1145 chg coeffs, 18112 upgd conss, 2909261 impls, 981 clqs
16.28/16.33	c (round 73) 2544 del vars, 22620 del conss, 7213 add conss, 649 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 2910741 impls, 1039 clqs
16.49/16.50	c (round 74) 2544 del vars, 22624 del conss, 7213 add conss, 649 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 2910741 impls, 1039 clqs
16.59/16.69	c (round 75) 2544 del vars, 22626 del conss, 7213 add conss, 649 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 2910741 impls, 1039 clqs
17.19/17.24	c    (17.2s) probing: 3000/6326 (47.4%) - 477 fixings, 183 aggregations, 399767 implications, 111 bound changes
19.58/19.62	c    (19.6s) probing: 4000/6326 (63.2%) - 478 fixings, 199 aggregations, 507877 implications, 112 bound changes
21.18/21.24	c (round 76) 2569 del vars, 22626 del conss, 7213 add conss, 651 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 3316289 impls, 1039 clqs
21.38/21.43	c (round 77) 2569 del vars, 22751 del conss, 7334 add conss, 651 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 3316289 impls, 1039 clqs
22.99/23.08	c    (23.1s) probing: 5000/6326 (79.0%) - 478 fixings, 217 aggregations, 655262 implications, 112 bound changes
23.28/23.34	c    (23.3s) probing: 5168/6326 (81.7%) - 483 fixings, 219 aggregations, 659173 implications, 112 bound changes
23.28/23.34	c    (23.3s) probing aborted: 50/50 successive totally useless probings
23.28/23.35	c (round 78) 2591 del vars, 22751 del conss, 7334 add conss, 651 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 3435281 impls, 1155 clqs
23.49/23.53	c (round 79) 2592 del vars, 22833 del conss, 7376 add conss, 651 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 3435293 impls, 1153 clqs
23.69/23.71	c (round 80) 2592 del vars, 22840 del conss, 7376 add conss, 651 chg bounds, 450 chg sides, 1145 chg coeffs, 18116 upgd conss, 3435293 impls, 1190 clqs
23.79/23.89	c    (23.9s) probing: 5173/6326 (81.8%) - 483 fixings, 219 aggregations, 659173 implications, 112 bound changes
23.79/23.89	c    (23.9s) probing aborted: 50/50 successive totally useless probings
23.79/23.89	c presolving (81 rounds):
23.79/23.89	c  2592 deleted vars, 22840 deleted constraints, 7376 added constraints, 651 tightened bounds, 0 added holes, 450 changed sides, 1145 changed coefficients
23.79/23.89	c  3435293 implications, 1190 cliques
23.79/23.89	c presolved problem has 4986 variables (4986 bin, 0 int, 0 impl, 0 cont) and 5598 constraints
23.79/23.89	c     900 constraints of type <knapsack>
23.79/23.89	c    1487 constraints of type <setppc>
23.79/23.89	c    3205 constraints of type <and>
23.79/23.89	c       6 constraints of type <logicor>
23.79/23.89	c transformed objective value is always integral (scale: 1)
23.79/23.89	c Presolving Time: 23.81
23.79/23.89	c - non default parameters ----------------------------------------------------------------------
23.79/23.89	c # SCIP version 2.1.1.4
23.79/23.89	c 
23.79/23.89	c # maximal time in seconds to run
23.79/23.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.79/23.89	c limits/time = 1797
23.79/23.89	c 
23.79/23.89	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.79/23.89	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.79/23.89	c limits/memory = 13950
23.79/23.89	c 
23.79/23.89	c # default clock type (1: CPU user seconds, 2: wall clock time)
23.79/23.89	c # [type: int, range: [1,2], default: 1]
23.79/23.89	c timing/clocktype = 2
23.79/23.89	c 
23.79/23.89	c # belongs reading time to solving time?
23.79/23.89	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.79/23.89	c timing/reading = TRUE
23.79/23.89	c 
23.79/23.89	c -----------------------------------------------------------------------------------------------
23.79/23.89	c start solving
23.79/23.89	c 
23.99/24.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.99/24.03	c  24.0s|     1 |     0 |  1152 |     - | 105M|   0 | 910 |4986 |5664 |4986 |8803 |   0 |  66 |   0 | 0.000000e+00 |      --      |    Inf 
33.79/33.87	c  33.9s|     1 |     0 | 10093 |     - | 106M|   0 |1426 |4986 |5681 |4986 |  10k|1406 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
34.68/34.73	c  34.7s|     1 |     0 | 12071 |     - | 108M|   0 |1685 |4986 |5681 |4986 |  11k|2770 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
36.29/36.32	c  36.3s|     1 |     0 | 15467 |     - | 109M|   0 |1949 |4986 |5681 |4986 |  13k|4269 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
37.69/37.70	c  37.7s|     1 |     0 | 18312 |     - | 110M|   0 |2318 |4986 |5681 |4986 |  15k|6269 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
40.89/40.94	c  40.9s|     1 |     0 | 22890 |     - | 112M|   0 |2456 |4986 |5681 |4986 |  17k|8269 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
48.69/48.74	c  48.7s|     1 |     0 | 29769 |     - | 113M|   0 |2597 |4986 |5681 |4986 |  18k|  10k|  83 |   0 | 0.000000e+00 |      --      |    Inf 
60.18/60.28	c  60.3s|     1 |     2 | 29769 |     - | 113M|   0 |2597 |4986 |5681 |4986 |  18k|  10k|  83 |  18 | 0.000000e+00 |      --      |    Inf 
132.67/132.76	c   133s|   100 |    48 | 74595 | 452.8 | 114M|  41 | 972 |4986 |5772 |4986 |  11k|  13k| 174 | 360 | 0.000000e+00 |      --      |    Inf 
137.77/137.87	c   138s|   200 |    43 | 82717 | 266.1 | 114M|  41 | 983 |4986 |5921 |4986 |  11k|  13k| 323 | 376 | 0.000000e+00 |      --      |    Inf 
148.67/148.72	c   149s|   300 |    34 |102427 | 243.0 | 114M|  41 | 997 |4986 |6085 |4986 |  11k|  14k| 487 | 392 | 0.000000e+00 |      --      |    Inf 
177.36/177.48	c   177s|   400 |    72 |150671 | 303.0 | 114M|  47 | 974 |4986 |6288 |4986 |  11k|  15k| 690 | 456 | 0.000000e+00 |      --      |    Inf 
200.56/200.61	c   201s|   500 |    44 |195576 | 332.3 | 114M|  47 |1024 |4986 |6416 |4986 |  12k|  16k| 818 | 537 | 0.000000e+00 |      --      |    Inf 
214.96/215.00	c   215s|   600 |    68 |215825 | 310.6 | 114M|  63 | 325 |4986 |6477 |4986 |  12k|  17k| 879 | 584 | 0.000000e+00 |      --      |    Inf 
230.75/230.84	c   231s|   700 |    60 |239608 | 300.2 | 114M|  82 | 754 |4986 |6568 |4986 |  12k|  18k| 970 | 647 | 0.000000e+00 |      --      |    Inf 
236.96/237.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
236.96/237.06	c   237s|   800 |    68 |247463 | 272.5 | 115M|  90 |1396 |4986 |6644 |4986 |  12k|  18k|1046 | 679 | 0.000000e+00 |      --      |    Inf 
262.75/262.81	c   263s|   900 |   157 |296003 | 296.1 | 115M|  90 |1099 |4986 |6785 |4986 |  12k|  19k|1187 | 774 | 0.000000e+00 |      --      |    Inf 
278.54/278.61	c   279s|  1000 |   241 |319947 | 290.5 | 116M|  90 | 610 |4986 |7006 |4986 |  12k|  19k|1408 | 855 | 0.000000e+00 |      --      |    Inf 
293.15/293.28	c   293s|  1100 |   270 |345292 | 287.1 | 116M|  90 |   - |4986 |7097 |   0 |   0 |  19k|1499 | 932 | 0.000000e+00 |      --      |    Inf 
302.64/302.76	c   303s|  1200 |   253 |360394 | 275.8 | 116M|  90 | 969 |4986 |7273 |4986 |  12k|  20k|1675 | 994 | 0.000000e+00 |      --      |    Inf 
312.45/312.58	c   313s|  1300 |   186 |377172 | 267.4 | 116M|  90 | 893 |4986 |7422 |4986 |  12k|  20k|1824 |1062 | 0.000000e+00 |      --      |    Inf 
320.34/320.43	c   320s|  1400 |   124 |389079 | 256.8 | 116M|  90 | 688 |4986 |7476 |4986 |  12k|  21k|1878 |1118 | 0.000000e+00 |      --      |    Inf 
329.94/330.09	c   330s|  1500 |    69 |403712 | 249.5 | 115M|  90 |1519 |4986 |7690 |4986 |  11k|  21k|2092 |1148 | 0.000000e+00 |      --      |    Inf 
347.44/347.58	c   348s|  1600 |    13 |430300 | 250.5 | 115M|  90 |1434 |4986 |7760 |4986 |  12k|  22k|2162 |1264 | 0.000000e+00 |      --      |    Inf 
364.34/364.45	c   364s|  1700 |    21 |452849 | 249.0 | 115M|  90 |1450 |4986 |7861 |4986 |  12k|  23k|2272 |1339 | 0.000000e+00 |      --      |    Inf 
368.44/368.55	c   369s|  1800 |   112 |460747 | 239.6 | 115M|  91 | 302 |4986 |7927 |4986 |  12k|  23k|2341 |1361 | 0.000000e+00 |      --      |    Inf 
381.33/381.49	c   381s|  1900 |    38 |480057 | 237.1 | 115M|  99 |1025 |4986 |7985 |4986 |  12k|  23k|2409 |1431 | 0.000000e+00 |      --      |    Inf 
397.73/397.85	c   398s|  2000 |    16 |505374 | 237.9 | 115M|  99 |1374 |4986 |8273 |4986 |  12k|  24k|2716 |1513 | 0.000000e+00 |      --      |    Inf 
410.82/410.94	c   411s|  2100 |    15 |525005 | 235.9 | 115M|  99 |1203 |4986 |8308 |4986 |  12k|  24k|2770 |1576 | 0.000000e+00 |      --      |    Inf 
439.33/439.48	c   439s|  2200 |    45 |572155 | 246.7 | 115M|  99 | 953 |4986 |8355 |4986 |  12k|  25k|2910 |1695 | 0.000000e+00 |      --      |    Inf 
460.52/460.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
460.52/460.68	c   461s|  2300 |    12 |604004 | 249.8 | 115M|  99 |   - |4986 |8436 |   0 |   0 |  26k|3071 |1789 | 0.000000e+00 |      --      |    Inf 
488.91/489.09	c   489s|  2400 |    12 |644319 | 256.2 | 115M|  99 |1410 |4986 |8294 |4986 |  12k|  28k|3214 |1901 | 0.000000e+00 |      --      |    Inf 
518.51/518.69	c   519s|  2500 |     7 |692102 | 265.0 | 115M|  99 |2223 |4986 |8155 |4986 |  12k|  29k|3384 |2035 | 0.000000e+00 |      --      |    Inf 
535.51/535.62	c   536s|  2600 |    17 |718153 | 264.9 | 115M|  99 |1045 |4986 |8126 |4986 |  12k|  30k|3495 |2105 | 0.000000e+00 |      --      |    Inf 
548.40/548.52	c   549s|  2700 |    47 |738846 | 262.7 | 115M|  99 | 684 |4986 |8190 |4986 |  11k|  31k|3600 |2167 | 0.000000e+00 |      --      |    Inf 
555.70/555.85	c   556s|  2800 |    37 |751376 | 257.8 | 115M|  99 | 962 |4986 |8240 |4986 |  11k|  31k|3705 |2195 | 0.000000e+00 |      --      |    Inf 
576.10/576.25	c   576s|  2900 |    19 |783051 | 259.8 | 115M|  99 |1126 |4986 |8335 |4986 |  11k|  32k|3857 |2281 | 0.000000e+00 |      --      |    Inf 
590.71/590.87	c   591s|  3000 |    17 |806079 | 258.9 | 115M|  99 |1181 |4986 |8400 |4986 |  12k|  33k|3968 |2351 | 0.000000e+00 |      --      |    Inf 
605.01/605.17	c   605s|  3100 |    39 |827647 | 257.5 | 115M|  99 |   - |4986 |8476 |   0 |   0 |  33k|4074 |2413 | 0.000000e+00 |      --      |    Inf 
610.29/610.47	c   610s|  3200 |    25 |837606 | 252.5 | 115M|  99 |1160 |4986 |8556 |4986 |  12k|  33k|4190 |2458 | 0.000000e+00 |      --      |    Inf 
620.41/620.56	c   621s|  3300 |    13 |855242 | 250.2 | 115M|  99 |1597 |4986 |8635 |4986 |  11k|  34k|4325 |2513 | 0.000000e+00 |      --      |    Inf 
629.10/629.25	c   629s|  3400 |    15 |870110 | 247.2 | 115M|  99 |   - |4986 |8730 |   0 |   0 |  34k|4446 |2566 | 0.000000e+00 |      --      |    Inf 
638.50/638.60	c   639s|  3500 |    16 |888704 | 245.5 | 115M|  99 |   - |4986 |8793 |   0 |   0 |  35k|4554 |2608 | 0.000000e+00 |      --      |    Inf 
645.79/645.95	c   646s|  3600 |    32 |899423 | 241.6 | 115M|  99 | 796 |4986 |8840 |4986 |  11k|  35k|4625 |2635 | 0.000000e+00 |      --      |    Inf 
657.69/657.84	c   658s|  3700 |    15 |916861 | 239.8 | 115M|  99 |   - |4986 |8901 |   0 |   0 |  35k|4737 |2688 | 0.000000e+00 |      --      |    Inf 
665.09/665.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
665.09/665.21	c   665s|  3800 |    14 |928329 | 236.5 | 115M|  99 |   - |4986 |9079 |   0 |   0 |  36k|4931 |2716 | 0.000000e+00 |      --      |    Inf 
674.49/674.66	c   675s|  3900 |     9 |941661 | 233.9 | 115M|  99 |1484 |4986 |9132 |4986 |  12k|  36k|5066 |2761 | 0.000000e+00 |      --      |    Inf 
684.68/684.83	c   685s|  4000 |    16 |958033 | 232.1 | 115M|  99 |1455 |4986 |9173 |4986 |  12k|  37k|5203 |2813 | 0.000000e+00 |      --      |    Inf 
696.79/696.90	c   697s|  4100 |    16 |975744 | 230.8 | 115M|  99 |1088 |4986 |9185 |4986 |  11k|  38k|5320 |2865 | 0.000000e+00 |      --      |    Inf 
702.58/702.71	c   703s|  4200 |    15 |984353 | 227.3 | 115M|  99 |   - |4986 |9241 |   0 |   0 |  38k|5425 |2892 | 0.000000e+00 |      --      |    Inf 
718.68/718.87	c   719s|  4300 |    10 |  1009k| 228.0 | 115M|  99 |1646 |4986 |9302 |4986 |  11k|  39k|5579 |2974 | 0.000000e+00 |      --      |    Inf 
732.68/732.87	c   733s|  4400 |    13 |  1031k| 227.7 | 115M|  99 |1151 |4986 |9384 |4986 |  12k|  39k|5699 |3026 | 0.000000e+00 |      --      |    Inf 
748.98/749.11	c   749s|  4500 |    13 |  1055k| 228.0 | 116M|  99 |   - |4986 |9488 |   0 |   0 |  40k|5875 |3102 | 0.000000e+00 |      --      |    Inf 
762.47/762.69	c   763s|  4600 |     9 |  1077k| 227.8 | 115M|  99 |1394 |4986 |9419 |4986 |  11k|  41k|5988 |3161 | 0.000000e+00 |      --      |    Inf 
776.37/776.51	c   777s|  4700 |     9 |  1097k| 227.2 | 115M|  99 |1517 |4986 |9389 |4986 |  11k|  42k|6102 |3226 | 0.000000e+00 |      --      |    Inf 
779.08/779.28	c 
779.08/779.28	c SCIP Status        : problem is solved [infeasible]
779.08/779.28	c Solving Time (sec) : 779.28
779.08/779.28	c Solving Nodes      : 4734
779.08/779.28	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
779.08/779.28	c Dual Bound         : +1.00000000000000e+20
779.08/779.28	c Gap                : 0.00 %
779.08/779.28	s UNSATISFIABLE
779.08/779.28	c SCIP Status        : problem is solved [infeasible]
779.08/779.28	c Total Time         :     779.28
779.08/779.28	c   solving          :     779.28
779.08/779.28	c   presolving       :      23.81 (included in solving)
779.08/779.28	c   reading          :       0.06 (included in solving)
779.08/779.28	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
779.08/779.28	c Original Problem   :
779.08/779.28	c   Problem name     : HOME/instance-3692835-1338026903.opb
779.08/779.28	c   Variables        : 7578 (7578 binary, 0 integer, 0 implicit integer, 0 continuous)
779.08/779.28	c   Constraints      : 21401 initial, 21401 maximal
779.08/779.28	c   Objective sense  : minimize
779.08/779.28	c Presolved Problem  :
779.08/779.28	c   Problem name     : t_HOME/instance-3692835-1338026903.opb
779.08/779.28	c   Variables        : 4986 (4986 binary, 0 integer, 0 implicit integer, 0 continuous)
779.08/779.28	c   Constraints      : 5598 initial, 9498 maximal
779.08/779.28	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
779.08/779.28	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   trivial          :       0.03       0.00         12          0          0          0          0          0          0          0          0
779.08/779.28	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   gateextraction   :       0.05       0.00          0          0          0          0          0      17011       5668          0          0
779.08/779.28	c   implics          :       0.19       0.00          0        716          0          0          0          0          0          0          0
779.08/779.28	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   probing          :      13.52       0.00        483        219          0        112          0          0          0          0          0
779.08/779.28	c   knapsack         :       0.10       0.00          0          0          0          0          0          0          0          0          0
779.08/779.28	c   setppc           :       0.34       0.00          0         82          0          0          0        349          0          0          0
779.08/779.28	c   and              :       9.06       0.00         11        533          0          7          0       2052       1708          0        213
779.08/779.28	c   linear           :       0.32       0.00        532          4          0        532          0       3426          0        450        932
779.08/779.28	c   logicor          :       0.06       0.00          0          0          0          0          0          2          0          0          0
779.08/779.28	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
779.08/779.28	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
779.08/779.28	c   integral         :          0          0          0          0       4013          0          4          0         65        226          0          0       7728
779.08/779.28	c   knapsack         :        900        900          6     100757          0          0          3       5565        371      11789       1201          0          0
779.08/779.28	c   setppc           :       1487       1487          6     100386          0          0          0      92431        412     170037          0          0          0
779.08/779.28	c   and              :       3205       3205       8870      99974          0          0          0     182961        763     317403      40483          0          0
779.08/779.28	c   logicor          :          6+      3906          6      27796          0          0          0      18057        280      12630         23          0          0
779.08/779.28	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
779.08/779.28	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
779.08/779.28	c   integral         :     260.88       0.00       0.00       0.00     260.88       0.00       0.00       0.00
779.08/779.28	c   knapsack         :       1.99       0.00       0.02       1.96       0.00       0.00       0.00       0.01
779.08/779.28	c   setppc           :       2.39       0.00       0.00       2.28       0.00       0.00       0.00       0.11
779.08/779.28	c   and              :       9.99       0.00       4.46       5.33       0.00       0.00       0.00       0.20
779.08/779.28	c   logicor          :       0.43       0.00       0.00       0.39       0.00       0.00       0.00       0.04
779.08/779.28	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
779.08/779.28	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
779.08/779.28	c   rootredcost      :          0          0          0          0
779.08/779.28	c   pseudoobj        :          0          0          0          0
779.08/779.28	c   vbounds          :          0          0          0          0
779.08/779.28	c   redcost          :       9255          0          0          0
779.08/779.28	c   probing          :          0          0          0          0
779.08/779.28	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
779.08/779.28	c   rootredcost      :       0.09       0.00       0.00       0.09       0.00
779.08/779.28	c   pseudoobj        :       0.09       0.00       0.00       0.09       0.00
779.08/779.28	c   vbounds          :       0.09       0.00       0.00       0.09       0.00
779.08/779.28	c   redcost          :       0.71       0.00       0.00       0.71       0.00
779.08/779.28	c   probing          :      13.52       0.00      13.52       0.00       0.00
779.08/779.28	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
779.08/779.28	c   propagation      :       0.66       1826       1714      12784       34.2        361       14.3          -
779.08/779.28	c   infeasible LP    :       0.64        496        496        894       17.3         42       11.6          0
779.08/779.28	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
779.08/779.28	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
779.08/779.28	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
779.08/779.28	c   applied globally :          -          -          -       6158       21.4          -          -          -
779.08/779.28	c   applied locally  :          -          -          -          0        0.0          -          -          -
779.08/779.28	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
779.08/779.28	c   cut pool         :       0.00                     5          -          -        672          -    (maximal pool size: 12157)
779.08/779.28	c   closecuts        :       0.00       0.00          0          0          0          0          0
779.08/779.28	c   impliedbounds    :       0.09       0.00          6          0          0      16369          0
779.08/779.28	c   intobj           :       0.00       0.00          0          0          0          0          0
779.08/779.28	c   gomory           :       0.43       0.00          5          0          0        250          0
779.08/779.28	c   cgmip            :       0.00       0.00          0          0          0          0          0
779.08/779.28	c   strongcg         :       4.36       0.00          5          0          0       2473          0
779.08/779.28	c   cmir             :       0.30       0.00          4          0          0          0          0
779.08/779.28	c   flowcover        :       0.45       0.00          4          0          0        801          0
779.08/779.28	c   clique           :       6.87       0.00          3          0          0         26          0
779.08/779.28	c   zerohalf         :       0.00       0.00          0          0          0          0          0
779.08/779.28	c   mcf              :       0.00       0.00          1          0          0          0          0
779.08/779.28	c   oddcycle         :       0.00       0.00          0          0          0          0          0
779.08/779.28	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
779.08/779.28	c Pricers            :   ExecTime  SetupTime      Calls       Vars
779.08/779.28	c   problem variables:       0.00          -          0          0
779.08/779.28	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
779.08/779.28	c   relpscost        :     260.87       0.00       4013         65        226          0          0       7728
779.08/779.28	c   pscost           :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   inference        :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c   random           :       0.00       0.00          0          0          0          0          0          0
779.08/779.28	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
779.08/779.28	c   LP solutions     :       0.00          -          -          0
779.08/779.28	c   pseudo solutions :       0.00          -          -          0
779.08/779.28	c   oneopt           :       0.02       0.00          0          0
779.08/779.28	c   crossover        :       0.01       0.00          0          0
779.08/779.28	c   guideddiving     :       0.00       0.00          0          0
779.08/779.28	c   rootsoldiving    :       6.68       0.00          4          0
779.08/779.28	c   veclendiving     :      12.35       0.00         15          0
779.08/779.28	c   objpscostdiving  :       5.43       0.00          8          0
779.08/779.28	c   coefdiving       :      20.18       0.00         16          0
779.08/779.28	c   linesearchdiving :      11.34       0.00         16          0
779.08/779.28	c   pscostdiving     :      12.79       0.00         16          0
779.08/779.28	c   fracdiving       :      17.21       0.00         16          0
779.08/779.28	c   smallcard        :       0.00       0.00          0          0
779.08/779.28	c   trivial          :       0.01       0.00          2          0
779.08/779.28	c   shiftandpropagate:       0.06       0.00          1          0
779.08/779.28	c   simplerounding   :       0.01       0.00          0          0
779.08/779.28	c   zirounding       :       1.73       0.00          0          0
779.08/779.28	c   rounding         :       1.10       0.00       1307          0
779.08/779.28	c   shifting         :       4.18       0.00        372          0
779.08/779.28	c   intshifting      :       0.00       0.00          0          0
779.08/779.28	c   twoopt           :       0.00       0.00          0          0
779.08/779.28	c   indoneopt        :       0.02       0.00          0          0
779.08/779.28	c   indtwoopt        :       0.00       0.00          0          0
779.08/779.28	c   fixandinfer      :       0.00       0.00          0          0
779.08/779.28	c   feaspump         :       6.75       0.00          5          0
779.08/779.28	c   clique           :       0.00       0.00          0          0
779.08/779.28	c   indcoefdiving    :       0.00       0.00          0          0
779.08/779.28	c   indrounding      :       0.00       0.00          0          0
779.08/779.28	c   nlpdiving        :       0.00       0.00          0          0
779.08/779.28	c   intdiving        :       0.00       0.00          0          0
779.08/779.28	c   actconsdiving    :       0.00       0.00          0          0
779.08/779.28	c   octane           :       0.00       0.00          0          0
779.08/779.28	c   rens             :       0.03       0.00          0          0
779.08/779.28	c   rins             :       0.00       0.00          0          0
779.08/779.28	c   localbranching   :       0.00       0.00          0          0
779.08/779.28	c   mutation         :       0.00       0.00          0          0
779.08/779.28	c   dins             :       0.00       0.00          0          0
779.08/779.28	c   vbounds          :       0.00       0.00          0          0
779.08/779.28	c   undercover       :       0.66       0.00          1          0
779.08/779.28	c   subnlp           :       0.01       0.00          0          0
779.08/779.28	c   trysol           :       0.01       0.00          0          0
779.08/779.28	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
779.08/779.28	c   primal LP        :       0.01          1          0       0.00          -       0.01          1
779.08/779.28	c   dual LP          :     346.67       9340     919080      98.59    2651.17       0.09         18
779.08/779.28	c   lex dual LP      :       0.00          0          0       0.00          -
779.08/779.28	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
779.08/779.28	c   diving/probing LP:      73.95       7478     182611      24.42    2469.50
779.08/779.28	c   strong branching :     259.52       3239     581899     179.65    2242.21
779.08/779.28	c     (at root node) :          -         18      17754     986.33          -
779.08/779.28	c   conflict analysis:       0.00          0          0       0.00          -
779.08/779.28	c B&B Tree           :
779.08/779.28	c   number of runs   :          1
779.08/779.28	c   nodes            :       4734
779.08/779.28	c   nodes (total)    :       4734
779.08/779.28	c   nodes left       :          0
779.08/779.28	c   max depth        :         99
779.08/779.28	c   max depth (total):         99
779.08/779.28	c   backtracks       :        915 (19.3%)
779.08/779.28	c   delayed cutoffs  :       2995
779.08/779.28	c   repropagations   :       3843 (154766 domain reductions, 728 cutoffs)
779.08/779.28	c   avg switch length:       3.36
779.08/779.28	c   switching time   :       1.97
779.08/779.28	c Solution           :
779.08/779.28	c   Solutions found  :          0 (0 improvements)
779.08/779.28	c   Primal Bound     : infeasible
779.08/779.28	c   Dual Bound       :          -
779.08/779.28	c   Gap              :       0.00 %
779.08/779.28	c   Root Dual Bound  : +0.00000000000000e+00
779.08/779.28	c   Root Iterations  :      29769
779.18/779.36	c Time complete: 779.24.

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-3692835-1338026903/watcher-3692835-1338026903 -o /tmp/evaluation-result-3692835-1338026903/solver-3692835-1338026903 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692835-1338026903.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.08 2.04 2.01 2/178 2401
/proc/meminfo: memFree=27263724/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=10304 CPUtime=0 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 1307 0 0 0 0 0 0 0 20 0 1 0 268815078 10551296 1262 33554432000 4194304 10169799 140736902195584 140734073094712 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 2576 1263 409 1459 0 1108 0

[startup+0.1024 s]
/proc/loadavg: 2.08 2.04 2.01 2/178 2401
/proc/meminfo: memFree=27263724/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=47400 CPUtime=0.09 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 10160 0 0 0 8 1 0 0 20 0 1 0 268815078 48537600 10116 33554432000 4194304 10169799 140736902195584 140734073094712 7543003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 11850 10149 498 1459 0 10382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47400

[startup+0.200323 s]
/proc/loadavg: 2.08 2.04 2.01 2/178 2401
/proc/meminfo: memFree=27263724/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=65444 CPUtime=0.19 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 14740 0 0 0 16 3 0 0 20 0 1 0 268815078 67014656 14695 33554432000 4194304 10169799 140736902195584 140734073094712 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 16361 14695 562 1459 0 14893 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 65444

[startup+0.300299 s]
/proc/loadavg: 2.08 2.04 2.01 2/178 2401
/proc/meminfo: memFree=27263724/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=72856 CPUtime=0.28 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 16592 0 0 0 23 5 0 0 20 0 1 0 268815078 74604544 16547 33554432000 4194304 10169799 140736902195584 140734073094712 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 18214 16547 562 1459 0 16746 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72856

[startup+0.700324 s]
/proc/loadavg: 2.08 2.04 2.01 2/178 2401
/proc/meminfo: memFree=27263724/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=85064 CPUtime=0.69 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 21215 0 0 0 52 17 0 0 20 0 1 0 268815078 87105536 19768 33554432000 4194304 10169799 140736902195584 140734073094712 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 21266 19768 624 1459 0 19798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85064

[startup+1.50021 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 2402
/proc/meminfo: memFree=27184852/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=88104 CPUtime=1.49 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 21974 0 0 0 82 67 0 0 20 0 1 0 268815078 90218496 20527 33554432000 4194304 10169799 140736902195584 140736902193992 6895081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 22026 20527 624 1459 0 20558 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88104

[startup+3.1003 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 2402
/proc/meminfo: memFree=27178016/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=109176 CPUtime=3.09 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 27024 0 0 0 153 156 0 0 20 0 1 0 268815078 111796224 25577 33554432000 4194304 10169799 140736902195584 140736902193992 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 27294 25577 624 1459 0 25826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109176

[startup+6.30023 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 2402
/proc/meminfo: memFree=27157416/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=117196 CPUtime=6.29 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 29054 0 0 0 317 312 0 0 20 0 1 0 268815078 120008704 27607 33554432000 4194304 10169799 140736902195584 140736902193992 5295925 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 29299 27607 624 1459 0 27831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117196

[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 2402
/proc/meminfo: memFree=27120980/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=142204 CPUtime=12.69 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 35295 0 0 0 732 537 0 0 20 0 1 0 268815078 145616896 33848 33554432000 4194304 10169799 140736902195584 140736902193096 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 35551 33848 629 1459 0 34083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142204

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 2402
/proc/meminfo: memFree=27060744/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=184884 CPUtime=25.49 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 46085 0 0 0 1770 779 0 0 20 0 1 0 268815078 189321216 44269 33554432000 4194304 10169799 140736902195584 140736902187896 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 46221 44269 795 1459 0 44753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 184884

[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2402
/proc/meminfo: memFree=26992192/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228116 CPUtime=51.08 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 56233 0 0 0 4230 878 0 0 20 0 1 0 268815078 233590784 55080 33554432000 4194304 10169799 140736902195584 140736902190232 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57029 55080 873 1459 0 55561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 228116

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 2405
/proc/meminfo: memFree=26969020/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228116 CPUtime=102.28 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 56235 0 0 0 9332 896 0 0 20 0 1 0 268815078 233590784 55082 33554432000 4194304 10169799 140736902195584 140736902189864 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57029 55082 874 1459 0 55561 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 228116

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2405
/proc/meminfo: memFree=26614872/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228116 CPUtime=162.26 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 56235 0 0 0 15272 954 0 0 20 0 1 0 268815078 233590784 55082 33554432000 4194304 10169799 140736902195584 140736902190376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57029 55082 874 1459 0 55561 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 228116

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2405
/proc/meminfo: memFree=25966520/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228324 CPUtime=222.26 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 56304 0 0 0 21206 1020 0 0 20 0 1 0 268815078 233803776 55151 33554432000 4194304 10169799 140736902195584 140736902189864 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57081 55151 874 1459 0 55613 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 228324

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2406
/proc/meminfo: memFree=25677904/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228324 CPUtime=282.25 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 56304 0 0 0 27136 1089 0 0 20 0 1 0 268815078 233803776 55151 33554432000 4194304 10169799 140736902195584 140736902190280 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57081 55151 874 1459 0 55613 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 228324

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2406
/proc/meminfo: memFree=25284924/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=228932 CPUtime=342.24 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 105603 0 0 0 33050 1174 0 0 20 0 1 0 268815078 234426368 55019 33554432000 4194304 10169799 140736902195584 140736902189480 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57233 55019 874 1459 0 55765 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 228932

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2406
/proc/meminfo: memFree=24933412/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=230316 CPUtime=402.22 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 174476 0 0 0 38973 1249 0 0 20 0 1 0 268815078 235843584 55300 33554432000 4194304 10169799 140736902195584 140736902190088 8044557 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57579 55300 874 1459 0 56111 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 230316

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2406
/proc/meminfo: memFree=24172576/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=231652 CPUtime=462.22 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 242360 0 0 0 44899 1323 0 0 20 0 1 0 268815078 237211648 55745 33554432000 4194304 10169799 140736902195584 140736902189672 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57913 55745 874 1459 0 56445 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 231652

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2406
/proc/meminfo: memFree=23892364/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=233908 CPUtime=522.21 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 285015 0 0 0 50843 1378 0 0 20 0 1 0 268815078 239521792 56167 33554432000 4194304 10169799 140736902195584 140736902189992 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 58477 56167 874 1459 0 57009 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 233908

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2406
/proc/meminfo: memFree=23760332/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=233904 CPUtime=582.2 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 352129 0 0 0 56764 1456 0 0 20 0 1 0 268815078 239517696 56477 33554432000 4194304 10169799 140736902195584 140736902190040 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 58476 56477 874 1459 0 57008 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 233904

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2407
/proc/meminfo: memFree=23620240/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=234524 CPUtime=642.19 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 441902 0 0 0 62671 1548 0 0 20 0 1 0 268815078 240152576 56410 33554432000 4194304 10169799 140736902195584 140736902190040 5120223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 58631 56410 874 1459 0 57163 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 234524

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2410
/proc/meminfo: memFree=23304680/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=236160 CPUtime=702.18 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 643957 0 0 0 68552 1666 0 0 20 0 1 0 268815078 241827840 56842 33554432000 4194304 10169799 140736902195584 140736902190376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59040 56842 874 1459 0 57572 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 236160

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23082756/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=238268 CPUtime=762.18 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 835018 0 0 0 74483 1735 0 0 20 0 1 0 268815078 243986432 56963 33554432000 4194304 10169799 140736902195584 140736902189992 8035745 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59567 56975 874 1459 0 58099 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 238268

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

[startup+768 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23071208/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=238616 CPUtime=767.87 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 848361 0 0 0 75045 1742 0 0 20 0 1 0 268815078 244342784 57432 33554432000 4194304 10169799 140736902195584 140736902192664 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59654 57432 874 1459 0 58186 0
Current children cumulated CPU time (s) 767.87
Current children cumulated vsize (KiB) 238616

[startup+774.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23061024/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=238708 CPUtime=774.28 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 869853 0 0 0 75679 1749 0 0 20 0 1 0 268815078 244436992 57658 33554432000 4194304 10169799 140736902195584 140736902189992 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59677 57658 874 1459 0 58209 0
Current children cumulated CPU time (s) 774.28
Current children cumulated vsize (KiB) 238708

[startup+777.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23053708/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=239008 CPUtime=777.47 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 879175 0 0 0 75994 1753 0 0 20 0 1 0 268815078 244744192 57553 33554432000 4194304 10169799 140736902195584 140736902190376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59752 57553 874 1459 0 58284 0
Current children cumulated CPU time (s) 777.47
Current children cumulated vsize (KiB) 239008

[startup+778.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23035604/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=238640 CPUtime=778.27 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 880099 0 0 0 76074 1753 0 0 20 0 1 0 268815078 244367360 57460 33554432000 4194304 10169799 140736902195584 140736902190184 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59660 57460 874 1459 0 58192 0
Current children cumulated CPU time (s) 778.27
Current children cumulated vsize (KiB) 238640

[startup+778.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23026800/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=239000 CPUtime=778.68 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 880539 0 0 0 76114 1754 0 0 20 0 1 0 268815078 244736000 57379 33554432000 4194304 10169799 140736902195584 140736902190184 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59750 57379 874 1459 0 58282 0
Current children cumulated CPU time (s) 778.68
Current children cumulated vsize (KiB) 239000

[startup+779.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23026800/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=239000 CPUtime=779.08 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 880863 0 0 0 76153 1755 0 0 20 0 1 0 268815078 244736000 57703 33554432000 4194304 10169799 140736902195584 140736902190376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 59750 57703 874 1459 0 58282 0
Current children cumulated CPU time (s) 779.08
Current children cumulated vsize (KiB) 239000

[startup+779.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2410
/proc/meminfo: memFree=23026800/32873844 swapFree=7608/7608
[pid=2401] ppid=2399 vsize=229240 CPUtime=779.18 cores=0,2,4,6
/proc/2401/stat : 2401 (scip-2.1.1.4sfi) R 2399 2401 30878 0 -1 4202496 880879 0 0 0 76163 1755 0 0 20 0 1 0 268815078 234741760 55434 33554432000 4194304 10169799 140736902195584 140736902190376 7413155 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2401/statm: 57310 55434 876 1459 0 55842 0
Current children cumulated CPU time (s) 779.18
Current children cumulated vsize (KiB) 229240

Child status: 0
Real time (s): 779.367
CPU time (s): 779.249
CPU user time (s): 761.68
CPU system time (s): 17.5683
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 239924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 761.68
system time used= 17.5683
maximum resident set size= 232240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 880881
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= 815

runsolver used 1.18882 second user time and 3.08153 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-26 12:08:23
IDJOB=3692835
IDBENCH=1476
IDSOLVER=2272
FILE ID=node135/3692835-1338026903
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-dlx1c.rwmem1.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-3692835-1338026903/watcher-3692835-1338026903 -o /tmp/evaluation-result-3692835-1338026903/solver-3692835-1338026903 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692835-1338026903.opb -t 1800 -m 15500

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

MD5SUM BENCH= 35e445ac209f1522afc5b57d4ebf6731
RANDOM SEED=1167323037

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:        27263724 kB
Buffers:          247556 kB
Cached:          3695384 kB
SwapCached:            0 kB
Active:          1808696 kB
Inactive:        3022804 kB
Active(anon):     891228 kB
Inactive(anon):        0 kB
Active(file):     917468 kB
Inactive(file):  3022804 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14368 kB
Writeback:             0 kB
AnonPages:        896448 kB
Mapped:            16912 kB
Shmem:               212 kB
Slab:             638084 kB
SReclaimable:      80388 kB
SUnreclaim:       557696 kB
KernelStack:        1464 kB
PageTables:         5908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1021284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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:21:22