Trace number 3692847

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 fixed? 1796.87 1797.18

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
MD5SUM4d33d3f14b2660aefc9b3a640617db34
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.418935
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11476
Total number of constraints33090
Number of constraints which are clauses32382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints708
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-3692847-1338025356.opb>
0.05/0.09	c original problem has 11476 variables (11476 bin, 0 int, 0 impl, 0 cont) and 33090 constraints
0.05/0.09	c problem read in 0.09
0.18/0.23	c presolving:
0.49/0.57	c (round 1) 935 del vars, 767 del conss, 0 add conss, 276 chg bounds, 354 chg sides, 810 chg coeffs, 0 upgd conss, 643966 impls, 0 clqs
0.59/0.60	c (round 2) 968 del vars, 2335 del conss, 0 add conss, 295 chg bounds, 354 chg sides, 810 chg coeffs, 0 upgd conss, 644092 impls, 0 clqs
0.59/0.61	c (round 3) 988 del vars, 2375 del conss, 0 add conss, 303 chg bounds, 354 chg sides, 810 chg coeffs, 0 upgd conss, 644408 impls, 0 clqs
0.59/0.62	c (round 4) 989 del vars, 2405 del conss, 0 add conss, 303 chg bounds, 354 chg sides, 810 chg coeffs, 0 upgd conss, 644500 impls, 0 clqs
0.69/0.77	c (round 5) 989 del vars, 2422 del conss, 0 add conss, 303 chg bounds, 354 chg sides, 810 chg coeffs, 30668 upgd conss, 644500 impls, 0 clqs
0.88/0.98	c (round 6) 1017 del vars, 32309 del conss, 9960 add conss, 320 chg bounds, 354 chg sides, 810 chg coeffs, 30671 upgd conss, 647547 impls, 0 clqs
0.99/1.02	c (round 7) 1027 del vars, 32323 del conss, 9960 add conss, 320 chg bounds, 354 chg sides, 820 chg coeffs, 30683 upgd conss, 648187 impls, 6 clqs
0.99/1.09	c (round 8) 1129 del vars, 33065 del conss, 10702 add conss, 320 chg bounds, 354 chg sides, 820 chg coeffs, 30683 upgd conss, 668161 impls, 7 clqs
1.09/1.13	c (round 9) 1196 del vars, 33081 del conss, 10702 add conss, 320 chg bounds, 354 chg sides, 834 chg coeffs, 30711 upgd conss, 675031 impls, 747 clqs
1.09/1.16	c (round 10) 1209 del vars, 33093 del conss, 10702 add conss, 320 chg bounds, 354 chg sides, 846 chg coeffs, 30711 upgd conss, 675201 impls, 748 clqs
1.09/1.19	c (round 11) 1213 del vars, 33099 del conss, 10702 add conss, 320 chg bounds, 354 chg sides, 850 chg coeffs, 30711 upgd conss, 675201 impls, 748 clqs
1.18/1.25	c (round 12) 1279 del vars, 33247 del conss, 10848 add conss, 320 chg bounds, 354 chg sides, 850 chg coeffs, 30711 upgd conss, 687203 impls, 747 clqs
1.18/1.27	c (round 13) 1323 del vars, 33260 del conss, 10848 add conss, 320 chg bounds, 354 chg sides, 861 chg coeffs, 30721 upgd conss, 687203 impls, 780 clqs
1.28/1.30	c (round 14) 1333 del vars, 33284 del conss, 10848 add conss, 320 chg bounds, 354 chg sides, 866 chg coeffs, 30721 upgd conss, 687203 impls, 780 clqs
1.28/1.33	c (round 15) 1338 del vars, 33307 del conss, 10848 add conss, 320 chg bounds, 354 chg sides, 871 chg coeffs, 30721 upgd conss, 687203 impls, 780 clqs
1.28/1.37	c (round 16) 1343 del vars, 33361 del conss, 10902 add conss, 320 chg bounds, 354 chg sides, 871 chg coeffs, 30721 upgd conss, 687207 impls, 780 clqs
1.39/1.46	c (round 17) 1373 del vars, 33422 del conss, 10907 add conss, 320 chg bounds, 354 chg sides, 871 chg coeffs, 30721 upgd conss, 690099 impls, 780 clqs
1.48/1.55	c (round 18) 1373 del vars, 33427 del conss, 10907 add conss, 320 chg bounds, 354 chg sides, 871 chg coeffs, 30721 upgd conss, 690099 impls, 780 clqs
1.68/1.71	c (round 19) 1412 del vars, 33427 del conss, 10907 add conss, 358 chg bounds, 354 chg sides, 871 chg coeffs, 30721 upgd conss, 776807 impls, 780 clqs
1.68/1.74	c (round 20) 1438 del vars, 33453 del conss, 10907 add conss, 358 chg bounds, 354 chg sides, 897 chg coeffs, 30737 upgd conss, 780341 impls, 780 clqs
1.78/1.82	c (round 21) 1438 del vars, 33534 del conss, 10988 add conss, 358 chg bounds, 354 chg sides, 897 chg coeffs, 30737 upgd conss, 780341 impls, 780 clqs
1.98/2.07	c (round 22) 1465 del vars, 33534 del conss, 10988 add conss, 369 chg bounds, 354 chg sides, 897 chg coeffs, 30737 upgd conss, 895970 impls, 846 clqs
2.09/2.13	c (round 23) 1544 del vars, 33625 del conss, 10988 add conss, 369 chg bounds, 354 chg sides, 944 chg coeffs, 30753 upgd conss, 915262 impls, 844 clqs
2.09/2.16	c (round 24) 1592 del vars, 33637 del conss, 10988 add conss, 369 chg bounds, 354 chg sides, 954 chg coeffs, 30753 upgd conss, 915262 impls, 845 clqs
2.09/2.18	c (round 25) 1596 del vars, 33641 del conss, 10988 add conss, 369 chg bounds, 354 chg sides, 958 chg coeffs, 30753 upgd conss, 915262 impls, 845 clqs
2.19/2.24	c (round 26) 1603 del vars, 33709 del conss, 11056 add conss, 369 chg bounds, 354 chg sides, 958 chg coeffs, 30753 upgd conss, 927478 impls, 845 clqs
2.19/2.27	c (round 27) 1623 del vars, 33717 del conss, 11056 add conss, 369 chg bounds, 354 chg sides, 966 chg coeffs, 30761 upgd conss, 928282 impls, 904 clqs
2.28/2.35	c (round 28) 1623 del vars, 33726 del conss, 11063 add conss, 369 chg bounds, 354 chg sides, 966 chg coeffs, 30761 upgd conss, 928282 impls, 905 clqs
2.39/2.43	c (round 29) 1623 del vars, 33729 del conss, 11063 add conss, 369 chg bounds, 354 chg sides, 966 chg coeffs, 30761 upgd conss, 928282 impls, 905 clqs
2.68/2.76	c (round 30) 1655 del vars, 33729 del conss, 11063 add conss, 393 chg bounds, 354 chg sides, 966 chg coeffs, 30761 upgd conss, 1110692 impls, 895 clqs
2.78/2.81	c (round 31) 1682 del vars, 33750 del conss, 11063 add conss, 393 chg bounds, 354 chg sides, 977 chg coeffs, 30783 upgd conss, 1125506 impls, 895 clqs
2.78/2.83	c (round 32) 1684 del vars, 33752 del conss, 11063 add conss, 393 chg bounds, 354 chg sides, 979 chg coeffs, 30783 upgd conss, 1127356 impls, 895 clqs
2.78/2.88	c (round 33) 1691 del vars, 33850 del conss, 11160 add conss, 393 chg bounds, 354 chg sides, 979 chg coeffs, 30783 upgd conss, 1128156 impls, 895 clqs
2.89/2.91	c (round 34) 1699 del vars, 33851 del conss, 11160 add conss, 393 chg bounds, 354 chg sides, 980 chg coeffs, 30783 upgd conss, 1128156 impls, 975 clqs
2.89/2.94	c (round 35) 1706 del vars, 33858 del conss, 11160 add conss, 393 chg bounds, 354 chg sides, 985 chg coeffs, 30783 upgd conss, 1129916 impls, 975 clqs
2.89/2.98	c (round 36) 1707 del vars, 33862 del conss, 11164 add conss, 393 chg bounds, 354 chg sides, 985 chg coeffs, 30783 upgd conss, 1131150 impls, 975 clqs
2.98/3.06	c (round 37) 1707 del vars, 33863 del conss, 11165 add conss, 393 chg bounds, 354 chg sides, 985 chg coeffs, 30783 upgd conss, 1131150 impls, 977 clqs
3.38/3.42	c (round 38) 1733 del vars, 33863 del conss, 11165 add conss, 412 chg bounds, 354 chg sides, 985 chg coeffs, 30783 upgd conss, 1428395 impls, 976 clqs
3.38/3.45	c (round 39) 1748 del vars, 33878 del conss, 11165 add conss, 412 chg bounds, 354 chg sides, 999 chg coeffs, 30797 upgd conss, 1432211 impls, 976 clqs
3.49/3.50	c (round 40) 1751 del vars, 33964 del conss, 11251 add conss, 412 chg bounds, 354 chg sides, 999 chg coeffs, 30797 upgd conss, 1432211 impls, 976 clqs
3.49/3.53	c (round 41) 1757 del vars, 33964 del conss, 11251 add conss, 412 chg bounds, 354 chg sides, 999 chg coeffs, 30797 upgd conss, 1432211 impls, 1054 clqs
3.49/3.56	c (round 42) 1763 del vars, 33970 del conss, 11251 add conss, 412 chg bounds, 354 chg sides, 1004 chg coeffs, 30797 upgd conss, 1432633 impls, 1054 clqs
3.58/3.64	c (round 43) 1763 del vars, 33971 del conss, 11252 add conss, 412 chg bounds, 354 chg sides, 1004 chg coeffs, 30797 upgd conss, 1432633 impls, 1054 clqs
4.19/4.29	c (round 44) 1797 del vars, 33971 del conss, 11252 add conss, 432 chg bounds, 354 chg sides, 1004 chg coeffs, 30797 upgd conss, 1863649 impls, 1052 clqs
4.29/4.37	c (round 45) 1815 del vars, 33989 del conss, 11252 add conss, 432 chg bounds, 354 chg sides, 1020 chg coeffs, 30813 upgd conss, 1876579 impls, 1052 clqs
4.39/4.42	c (round 46) 1819 del vars, 34042 del conss, 11305 add conss, 432 chg bounds, 354 chg sides, 1020 chg coeffs, 30817 upgd conss, 1877703 impls, 1053 clqs
4.39/4.45	c (round 47) 1825 del vars, 34042 del conss, 11305 add conss, 432 chg bounds, 354 chg sides, 1020 chg coeffs, 30817 upgd conss, 1877703 impls, 1096 clqs
4.39/4.48	c (round 48) 1831 del vars, 34048 del conss, 11305 add conss, 432 chg bounds, 354 chg sides, 1026 chg coeffs, 30817 upgd conss, 1878183 impls, 1096 clqs
4.49/4.55	c (round 49) 1831 del vars, 34054 del conss, 11311 add conss, 432 chg bounds, 354 chg sides, 1026 chg coeffs, 30817 upgd conss, 1878183 impls, 1096 clqs
4.78/4.86	c (round 50) 1885 del vars, 34054 del conss, 11311 add conss, 435 chg bounds, 354 chg sides, 1026 chg coeffs, 30817 upgd conss, 2082756 impls, 1093 clqs
4.88/4.90	c (round 51) 1930 del vars, 34103 del conss, 11311 add conss, 435 chg bounds, 354 chg sides, 1063 chg coeffs, 30829 upgd conss, 2087874 impls, 1093 clqs
4.88/4.95	c (round 52) 1934 del vars, 34167 del conss, 11373 add conss, 435 chg bounds, 354 chg sides, 1063 chg coeffs, 30829 upgd conss, 2088178 impls, 1093 clqs
4.98/5.04	c (round 53) 1934 del vars, 34173 del conss, 11377 add conss, 435 chg bounds, 354 chg sides, 1063 chg coeffs, 30829 upgd conss, 2088178 impls, 1149 clqs
5.09/5.12	c (round 54) 1934 del vars, 34178 del conss, 11377 add conss, 435 chg bounds, 354 chg sides, 1063 chg coeffs, 30829 upgd conss, 2088178 impls, 1150 clqs
6.09/6.14	c (round 55) 2005 del vars, 34178 del conss, 11377 add conss, 449 chg bounds, 354 chg sides, 1063 chg coeffs, 30829 upgd conss, 2757140 impls, 1135 clqs
6.19/6.29	c (round 56) 2043 del vars, 34238 del conss, 11377 add conss, 449 chg bounds, 354 chg sides, 1086 chg coeffs, 30843 upgd conss, 2769530 impls, 1135 clqs
6.29/6.38	c (round 57) 2062 del vars, 34270 del conss, 11409 add conss, 449 chg bounds, 354 chg sides, 1086 chg coeffs, 30843 upgd conss, 2778756 impls, 1134 clqs
6.39/6.41	c (round 58) 2068 del vars, 34270 del conss, 11409 add conss, 449 chg bounds, 354 chg sides, 1086 chg coeffs, 30843 upgd conss, 2778756 impls, 1156 clqs
6.39/6.45	c (round 59) 2074 del vars, 34276 del conss, 11409 add conss, 449 chg bounds, 354 chg sides, 1088 chg coeffs, 30843 upgd conss, 2780504 impls, 1156 clqs
6.39/6.49	c (round 60) 2075 del vars, 34286 del conss, 11419 add conss, 449 chg bounds, 354 chg sides, 1088 chg coeffs, 30843 upgd conss, 2781202 impls, 1156 clqs
6.49/6.58	c (round 61) 2075 del vars, 34289 del conss, 11421 add conss, 449 chg bounds, 354 chg sides, 1088 chg coeffs, 30843 upgd conss, 2781202 impls, 1157 clqs
7.28/7.32	c (round 62) 2107 del vars, 34289 del conss, 11421 add conss, 464 chg bounds, 354 chg sides, 1088 chg coeffs, 30843 upgd conss, 3183385 impls, 1154 clqs
7.38/7.44	c (round 63) 2129 del vars, 34311 del conss, 11421 add conss, 464 chg bounds, 354 chg sides, 1106 chg coeffs, 30849 upgd conss, 3192003 impls, 1154 clqs
7.48/7.52	c (round 64) 2143 del vars, 34355 del conss, 11464 add conss, 464 chg bounds, 354 chg sides, 1106 chg coeffs, 30849 upgd conss, 3198469 impls, 1153 clqs
7.48/7.56	c (round 65) 2145 del vars, 34356 del conss, 11464 add conss, 464 chg bounds, 354 chg sides, 1106 chg coeffs, 30849 upgd conss, 3199431 impls, 1185 clqs
7.59/7.65	c (round 66) 2146 del vars, 34372 del conss, 11479 add conss, 464 chg bounds, 354 chg sides, 1106 chg coeffs, 30849 upgd conss, 3200393 impls, 1185 clqs
8.09/8.17	c (round 67) 2295 del vars, 34372 del conss, 11479 add conss, 550 chg bounds, 354 chg sides, 1106 chg coeffs, 30849 upgd conss, 3267386 impls, 1174 clqs
8.29/8.37	c (round 68) 2349 del vars, 34433 del conss, 11479 add conss, 550 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3300276 impls, 1174 clqs
8.38/8.45	c (round 69) 2355 del vars, 34444 del conss, 11490 add conss, 550 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3313996 impls, 1174 clqs
8.58/8.61	c (round 70) 2375 del vars, 34472 del conss, 11496 add conss, 550 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3317832 impls, 1175 clqs
8.58/8.69	c (round 71) 2375 del vars, 34474 del conss, 11498 add conss, 550 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3317832 impls, 1175 clqs
8.69/8.78	c (round 72) 2375 del vars, 34476 del conss, 11498 add conss, 550 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3317832 impls, 1176 clqs
9.49/9.55	c (round 73) 2434 del vars, 34476 del conss, 11498 add conss, 592 chg bounds, 354 chg sides, 1153 chg coeffs, 30929 upgd conss, 3454192 impls, 1160 clqs
9.59/9.65	c (round 74) 2465 del vars, 34507 del conss, 11498 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3473370 impls, 1160 clqs
9.68/9.79	c (round 75) 2472 del vars, 34514 del conss, 11502 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3548770 impls, 1161 clqs
9.79/9.84	c (round 76) 2473 del vars, 34543 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3548770 impls, 1163 clqs
9.79/9.87	c (round 77) 2475 del vars, 34543 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3548770 impls, 1182 clqs
9.89/9.96	c (round 78) 2479 del vars, 34547 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3550594 impls, 1182 clqs
9.99/10.04	c (round 79) 2479 del vars, 34548 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3550594 impls, 1182 clqs
11.18/11.24	c (round 80) 2504 del vars, 34548 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1171 chg coeffs, 30953 upgd conss, 3864140 impls, 1180 clqs
11.28/11.31	c (round 81) 2512 del vars, 34558 del conss, 11531 add conss, 592 chg bounds, 354 chg sides, 1179 chg coeffs, 30953 upgd conss, 3865766 impls, 1180 clqs
11.28/11.37	c (round 82) 2516 del vars, 34610 del conss, 11583 add conss, 592 chg bounds, 354 chg sides, 1179 chg coeffs, 30953 upgd conss, 3873738 impls, 1180 clqs
11.48/11.55	c (round 83) 2529 del vars, 34630 del conss, 11587 add conss, 592 chg bounds, 354 chg sides, 1179 chg coeffs, 30953 upgd conss, 3887480 impls, 1224 clqs
11.58/11.63	c (round 84) 2529 del vars, 34631 del conss, 11587 add conss, 592 chg bounds, 354 chg sides, 1179 chg coeffs, 30953 upgd conss, 3887480 impls, 1224 clqs
12.18/12.29	c (round 85) 2610 del vars, 34631 del conss, 11587 add conss, 617 chg bounds, 354 chg sides, 1179 chg coeffs, 30953 upgd conss, 4089696 impls, 1186 clqs
12.28/12.33	c (round 86) 2681 del vars, 34713 del conss, 11587 add conss, 617 chg bounds, 354 chg sides, 1217 chg coeffs, 30959 upgd conss, 4098002 impls, 1186 clqs
12.38/12.41	c (round 87) 2681 del vars, 34727 del conss, 11600 add conss, 617 chg bounds, 354 chg sides, 1217 chg coeffs, 30959 upgd conss, 4098002 impls, 1186 clqs
13.48/13.57	c (round 88) 2724 del vars, 34727 del conss, 11600 add conss, 640 chg bounds, 354 chg sides, 1217 chg coeffs, 30959 upgd conss, 4384947 impls, 1188 clqs
13.59/13.60	c (round 89) 2751 del vars, 34756 del conss, 11600 add conss, 640 chg bounds, 354 chg sides, 1237 chg coeffs, 30963 upgd conss, 4386155 impls, 1188 clqs
13.59/13.65	c (round 90) 2754 del vars, 34832 del conss, 11674 add conss, 640 chg bounds, 354 chg sides, 1237 chg coeffs, 30963 upgd conss, 4386195 impls, 1189 clqs
13.68/13.75	c (round 91) 2758 del vars, 34840 del conss, 11677 add conss, 640 chg bounds, 354 chg sides, 1237 chg coeffs, 30963 upgd conss, 4386493 impls, 1248 clqs
13.79/13.83	c (round 92) 2758 del vars, 34844 del conss, 11677 add conss, 640 chg bounds, 354 chg sides, 1237 chg coeffs, 30963 upgd conss, 4386493 impls, 1249 clqs
15.08/15.16	c (round 93) 2812 del vars, 34844 del conss, 11677 add conss, 649 chg bounds, 354 chg sides, 1237 chg coeffs, 30963 upgd conss, 4725402 impls, 1242 clqs
15.18/15.24	c (round 94) 2823 del vars, 34856 del conss, 11677 add conss, 649 chg bounds, 354 chg sides, 1242 chg coeffs, 30963 upgd conss, 4736616 impls, 1242 clqs
15.18/15.29	c (round 95) 2826 del vars, 34892 del conss, 11713 add conss, 649 chg bounds, 354 chg sides, 1242 chg coeffs, 30963 upgd conss, 4736630 impls, 1242 clqs
15.28/15.37	c (round 96) 2826 del vars, 34896 del conss, 11716 add conss, 649 chg bounds, 354 chg sides, 1242 chg coeffs, 30963 upgd conss, 4736630 impls, 1272 clqs
15.58/15.68	c (round 97) 2872 del vars, 34896 del conss, 11716 add conss, 649 chg bounds, 354 chg sides, 1242 chg coeffs, 30963 upgd conss, 4757174 impls, 1271 clqs
15.68/15.71	c (round 98) 2877 del vars, 34903 del conss, 11716 add conss, 649 chg bounds, 354 chg sides, 1247 chg coeffs, 30967 upgd conss, 4757216 impls, 1271 clqs
15.68/15.79	c (round 99) 2878 del vars, 34905 del conss, 11717 add conss, 649 chg bounds, 354 chg sides, 1247 chg coeffs, 30967 upgd conss, 4757276 impls, 1271 clqs
17.69/17.76	c (round 100) 2905 del vars, 34905 del conss, 11717 add conss, 656 chg bounds, 354 chg sides, 1247 chg coeffs, 30967 upgd conss, 5243161 impls, 1270 clqs
17.78/17.81	c (round 101) 2909 del vars, 34914 del conss, 11717 add conss, 656 chg bounds, 354 chg sides, 1255 chg coeffs, 30967 upgd conss, 5243523 impls, 1270 clqs
17.98/18.02	c (round 102) 2917 del vars, 34977 del conss, 11772 add conss, 656 chg bounds, 354 chg sides, 1255 chg coeffs, 30967 upgd conss, 5249179 impls, 1270 clqs
21.18/21.29	c (round 103) 2943 del vars, 34977 del conss, 11772 add conss, 665 chg bounds, 354 chg sides, 1255 chg coeffs, 30967 upgd conss, 5803312 impls, 1306 clqs
21.38/21.41	c (round 104) 2959 del vars, 35059 del conss, 11844 add conss, 668 chg bounds, 354 chg sides, 1258 chg coeffs, 30977 upgd conss, 5806139 impls, 1305 clqs
21.49/21.50	c (round 105) 2970 del vars, 35081 del conss, 11863 add conss, 668 chg bounds, 354 chg sides, 1258 chg coeffs, 30977 upgd conss, 5816887 impls, 1366 clqs
21.78/21.82	c (round 106) 2986 del vars, 35108 del conss, 11868 add conss, 668 chg bounds, 354 chg sides, 1258 chg coeffs, 30977 upgd conss, 5821171 impls, 1369 clqs
22.88/22.95	c (round 107) 3015 del vars, 35108 del conss, 11868 add conss, 681 chg bounds, 354 chg sides, 1258 chg coeffs, 30977 upgd conss, 6044064 impls, 1357 clqs
23.09/23.19	c (round 108) 3031 del vars, 35178 del conss, 11908 add conss, 681 chg bounds, 354 chg sides, 1258 chg coeffs, 30985 upgd conss, 6045278 impls, 1357 clqs
23.18/23.28	c (round 109) 3031 del vars, 35186 del conss, 11916 add conss, 681 chg bounds, 354 chg sides, 1258 chg coeffs, 30985 upgd conss, 6045278 impls, 1388 clqs
23.28/23.36	c (round 110) 3031 del vars, 35187 del conss, 11916 add conss, 681 chg bounds, 354 chg sides, 1258 chg coeffs, 30985 upgd conss, 6045278 impls, 1395 clqs
24.39/24.43	c    (24.4s) probing: 1000/10487 (9.5%) - 756 fixings, 129 aggregations, 501023 implications, 376 bound changes
26.49/26.56	c (round 111) 3061 del vars, 35187 del conss, 11916 add conss, 702 chg bounds, 354 chg sides, 1258 chg coeffs, 30985 upgd conss, 6731213 impls, 1388 clqs
26.59/26.69	c (round 112) 3070 del vars, 35205 del conss, 11916 add conss, 702 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6742075 impls, 1388 clqs
26.69/26.77	c (round 113) 3082 del vars, 35256 del conss, 11964 add conss, 702 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6743713 impls, 1389 clqs
26.78/26.81	c (round 114) 3084 del vars, 35268 del conss, 11976 add conss, 702 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6743713 impls, 1426 clqs
26.88/26.90	c (round 115) 3084 del vars, 35270 del conss, 11978 add conss, 702 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6743713 impls, 1427 clqs
26.88/26.98	c (round 116) 3084 del vars, 35272 del conss, 11978 add conss, 702 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6743713 impls, 1427 clqs
28.59/28.69	c (round 117) 3109 del vars, 35272 del conss, 11978 add conss, 715 chg bounds, 354 chg sides, 1267 chg coeffs, 30993 upgd conss, 6964192 impls, 1413 clqs
28.78/28.80	c (round 118) 3129 del vars, 35296 del conss, 11978 add conss, 715 chg bounds, 354 chg sides, 1276 chg coeffs, 31001 upgd conss, 6974425 impls, 1413 clqs
28.78/28.87	c (round 119) 3151 del vars, 35330 del conss, 12006 add conss, 715 chg bounds, 354 chg sides, 1276 chg coeffs, 31001 upgd conss, 6978063 impls, 1407 clqs
28.88/28.95	c (round 120) 3151 del vars, 35335 del conss, 12009 add conss, 715 chg bounds, 354 chg sides, 1276 chg coeffs, 31001 upgd conss, 6978063 impls, 1421 clqs
30.08/30.10	c (round 121) 3176 del vars, 35335 del conss, 12009 add conss, 721 chg bounds, 354 chg sides, 1276 chg coeffs, 31001 upgd conss, 7151802 impls, 1418 clqs
30.08/30.13	c (round 122) 3177 del vars, 35347 del conss, 12009 add conss, 721 chg bounds, 354 chg sides, 1277 chg coeffs, 31003 upgd conss, 7151808 impls, 1418 clqs
30.08/30.19	c (round 123) 3180 del vars, 35405 del conss, 12066 add conss, 721 chg bounds, 354 chg sides, 1277 chg coeffs, 31003 upgd conss, 7151886 impls, 1418 clqs
30.18/30.24	c (round 124) 3182 del vars, 35412 del conss, 12069 add conss, 721 chg bounds, 354 chg sides, 1277 chg coeffs, 31003 upgd conss, 7151886 impls, 1457 clqs
30.28/30.32	c (round 125) 3182 del vars, 35414 del conss, 12071 add conss, 721 chg bounds, 354 chg sides, 1277 chg coeffs, 31003 upgd conss, 7151886 impls, 1458 clqs
31.28/31.37	c (round 126) 3210 del vars, 35414 del conss, 12071 add conss, 738 chg bounds, 354 chg sides, 1277 chg coeffs, 31003 upgd conss, 7257316 impls, 1444 clqs
31.38/31.48	c (round 127) 3225 del vars, 35438 del conss, 12071 add conss, 738 chg bounds, 354 chg sides, 1283 chg coeffs, 31007 upgd conss, 7265708 impls, 1444 clqs
31.48/31.53	c (round 128) 3229 del vars, 35495 del conss, 12126 add conss, 738 chg bounds, 354 chg sides, 1283 chg coeffs, 31007 upgd conss, 7266072 impls, 1444 clqs
31.58/31.61	c (round 129) 3229 del vars, 35499 del conss, 12130 add conss, 738 chg bounds, 354 chg sides, 1283 chg coeffs, 31007 upgd conss, 7266072 impls, 1481 clqs
32.89/32.98	c (round 130) 3265 del vars, 35499 del conss, 12130 add conss, 738 chg bounds, 354 chg sides, 1283 chg coeffs, 31007 upgd conss, 7432362 impls, 1479 clqs
32.99/33.05	c (round 131) 3276 del vars, 35514 del conss, 12130 add conss, 738 chg bounds, 354 chg sides, 1293 chg coeffs, 31007 upgd conss, 7437830 impls, 1479 clqs
33.48/33.55	c (round 132) 3296 del vars, 35587 del conss, 12183 add conss, 738 chg bounds, 354 chg sides, 1293 chg coeffs, 31007 upgd conss, 7439210 impls, 1479 clqs
35.19/35.23	c (round 133) 3322 del vars, 35587 del conss, 12183 add conss, 747 chg bounds, 354 chg sides, 1293 chg coeffs, 31007 upgd conss, 7640309 impls, 1526 clqs
35.19/35.29	c (round 134) 3324 del vars, 35596 del conss, 12183 add conss, 747 chg bounds, 354 chg sides, 1300 chg coeffs, 31011 upgd conss, 7641851 impls, 1526 clqs
35.28/35.34	c (round 135) 3331 del vars, 35649 del conss, 12235 add conss, 747 chg bounds, 354 chg sides, 1300 chg coeffs, 31011 upgd conss, 7641913 impls, 1527 clqs
35.48/35.56	c (round 136) 3339 del vars, 35665 del conss, 12242 add conss, 747 chg bounds, 354 chg sides, 1300 chg coeffs, 31011 upgd conss, 7644737 impls, 1567 clqs
35.58/35.64	c (round 137) 3339 del vars, 35666 del conss, 12243 add conss, 747 chg bounds, 354 chg sides, 1300 chg coeffs, 31011 upgd conss, 7644737 impls, 1567 clqs
35.68/35.74	c    (35.7s) probing: 2000/10487 (19.1%) - 856 fixings, 196 aggregations, 736489 implications, 441 bound changes
37.18/37.20	c (round 138) 3366 del vars, 35666 del conss, 12243 add conss, 756 chg bounds, 354 chg sides, 1300 chg coeffs, 31011 upgd conss, 7768668 impls, 1566 clqs
37.18/37.29	c (round 139) 3366 del vars, 35699 del conss, 12266 add conss, 756 chg bounds, 354 chg sides, 1309 chg coeffs, 31015 upgd conss, 7768798 impls, 1566 clqs
38.08/38.15	c (round 140) 3392 del vars, 35699 del conss, 12266 add conss, 759 chg bounds, 354 chg sides, 1309 chg coeffs, 31015 upgd conss, 7863054 impls, 1574 clqs
38.18/38.20	c (round 141) 3404 del vars, 35718 del conss, 12266 add conss, 759 chg bounds, 354 chg sides, 1318 chg coeffs, 31015 upgd conss, 7865904 impls, 1574 clqs
38.18/38.28	c (round 142) 3404 del vars, 35766 del conss, 12313 add conss, 759 chg bounds, 354 chg sides, 1318 chg coeffs, 31015 upgd conss, 7865904 impls, 1574 clqs
38.27/38.37	c (round 143) 3404 del vars, 35767 del conss, 12313 add conss, 759 chg bounds, 354 chg sides, 1318 chg coeffs, 31015 upgd conss, 7865904 impls, 1608 clqs
39.08/39.19	c (round 144) 3429 del vars, 35767 del conss, 12313 add conss, 761 chg bounds, 354 chg sides, 1318 chg coeffs, 31015 upgd conss, 7925934 impls, 1594 clqs
39.18/39.25	c (round 145) 3446 del vars, 35791 del conss, 12313 add conss, 761 chg bounds, 354 chg sides, 1325 chg coeffs, 31015 upgd conss, 7933700 impls, 1594 clqs
39.28/39.31	c (round 146) 3449 del vars, 35803 del conss, 12324 add conss, 761 chg bounds, 354 chg sides, 1325 chg coeffs, 31015 upgd conss, 7934304 impls, 1594 clqs
39.28/39.40	c (round 147) 3449 del vars, 35806 del conss, 12327 add conss, 761 chg bounds, 354 chg sides, 1325 chg coeffs, 31015 upgd conss, 7934304 impls, 1601 clqs
39.88/39.95	c (round 148) 3474 del vars, 35806 del conss, 12327 add conss, 763 chg bounds, 354 chg sides, 1325 chg coeffs, 31015 upgd conss, 7961738 impls, 1596 clqs
39.88/39.98	c (round 149) 3479 del vars, 35814 del conss, 12327 add conss, 763 chg bounds, 354 chg sides, 1330 chg coeffs, 31017 upgd conss, 7961864 impls, 1596 clqs
39.98/40.06	c (round 150) 3479 del vars, 35835 del conss, 12341 add conss, 763 chg bounds, 354 chg sides, 1330 chg coeffs, 31017 upgd conss, 7961864 impls, 1596 clqs
41.48/41.56	c (round 151) 3504 del vars, 35835 del conss, 12341 add conss, 771 chg bounds, 354 chg sides, 1330 chg coeffs, 31017 upgd conss, 8116238 impls, 1603 clqs
41.58/41.65	c (round 152) 3508 del vars, 35845 del conss, 12341 add conss, 771 chg bounds, 354 chg sides, 1338 chg coeffs, 31017 upgd conss, 8118168 impls, 1603 clqs
41.68/41.71	c (round 153) 3520 del vars, 35940 del conss, 12436 add conss, 771 chg bounds, 354 chg sides, 1338 chg coeffs, 31017 upgd conss, 8118428 impls, 1603 clqs
41.68/41.79	c (round 154) 3520 del vars, 35952 del conss, 12448 add conss, 771 chg bounds, 354 chg sides, 1338 chg coeffs, 31017 upgd conss, 8118428 impls, 1683 clqs
43.18/43.23	c (round 155) 3552 del vars, 35952 del conss, 12448 add conss, 773 chg bounds, 354 chg sides, 1338 chg coeffs, 31017 upgd conss, 8243854 impls, 1672 clqs
43.18/43.28	c (round 156) 3568 del vars, 35974 del conss, 12448 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8247274 impls, 1672 clqs
43.28/43.36	c (round 157) 3568 del vars, 36034 del conss, 12504 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8247274 impls, 1672 clqs
44.37/44.47	c    (44.5s) probing: 3000/10487 (28.6%) - 967 fixings, 253 aggregations, 903640 implications, 467 bound changes
45.28/45.35	c (round 158) 3594 del vars, 36034 del conss, 12504 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8444108 impls, 1718 clqs
45.38/45.40	c (round 159) 3597 del vars, 36114 del conss, 12584 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8444168 impls, 1718 clqs
45.38/45.48	c (round 160) 3597 del vars, 36118 del conss, 12587 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8444168 impls, 1776 clqs
48.08/48.10	c (round 161) 3624 del vars, 36118 del conss, 12587 add conss, 773 chg bounds, 354 chg sides, 1352 chg coeffs, 31017 upgd conss, 8666600 impls, 1773 clqs
48.18/48.20	c (round 162) 3631 del vars, 36126 del conss, 12587 add conss, 773 chg bounds, 354 chg sides, 1356 chg coeffs, 31017 upgd conss, 8669032 impls, 1773 clqs
48.18/48.25	c (round 163) 3633 del vars, 36231 del conss, 12692 add conss, 773 chg bounds, 354 chg sides, 1356 chg coeffs, 31017 upgd conss, 8669100 impls, 1773 clqs
48.28/48.33	c (round 164) 3633 del vars, 36234 del conss, 12694 add conss, 773 chg bounds, 354 chg sides, 1356 chg coeffs, 31017 upgd conss, 8669100 impls, 1858 clqs
49.98/50.08	c (round 165) 3659 del vars, 36234 del conss, 12694 add conss, 774 chg bounds, 354 chg sides, 1356 chg coeffs, 31017 upgd conss, 8793035 impls, 1848 clqs
50.18/50.21	c (round 166) 3672 del vars, 36247 del conss, 12694 add conss, 774 chg bounds, 354 chg sides, 1359 chg coeffs, 31017 upgd conss, 8796845 impls, 1848 clqs
50.18/50.27	c (round 167) 3674 del vars, 36261 del conss, 12707 add conss, 774 chg bounds, 354 chg sides, 1359 chg coeffs, 31019 upgd conss, 8796857 impls, 1848 clqs
50.28/50.35	c (round 168) 3674 del vars, 36263 del conss, 12709 add conss, 774 chg bounds, 354 chg sides, 1359 chg coeffs, 31019 upgd conss, 8796857 impls, 1855 clqs
51.18/51.25	c (round 169) 3699 del vars, 36263 del conss, 12709 add conss, 774 chg bounds, 354 chg sides, 1359 chg coeffs, 31019 upgd conss, 8850743 impls, 1843 clqs
51.28/51.34	c (round 170) 3713 del vars, 36277 del conss, 12709 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31019 upgd conss, 8852851 impls, 1843 clqs
51.37/51.41	c (round 171) 3717 del vars, 36290 del conss, 12722 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31019 upgd conss, 8852971 impls, 1843 clqs
51.37/51.49	c (round 172) 3717 del vars, 36294 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31019 upgd conss, 8852971 impls, 1849 clqs
52.27/52.35	c    (52.3s) probing: 4000/10487 (38.1%) - 1037 fixings, 294 aggregations, 1088999 implications, 468 bound changes
52.37/52.48	c (round 173) 3742 del vars, 36294 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31019 upgd conss, 8935375 impls, 1833 clqs
52.58/52.60	c (round 174) 3760 del vars, 36310 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31037 upgd conss, 8938403 impls, 1831 clqs
52.58/52.68	c (round 175) 3762 del vars, 36312 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31037 upgd conss, 8938543 impls, 1831 clqs
53.18/53.25	c (round 176) 3787 del vars, 36312 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31037 upgd conss, 8969987 impls, 1817 clqs
53.28/53.35	c (round 177) 3805 del vars, 36326 del conss, 12726 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31055 upgd conss, 8973461 impls, 1813 clqs
53.38/53.45	c (round 178) 3809 del vars, 36331 del conss, 12727 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31055 upgd conss, 8973825 impls, 1813 clqs
53.88/53.95	c (round 179) 3834 del vars, 36331 del conss, 12727 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31055 upgd conss, 9008647 impls, 1797 clqs
53.98/54.04	c (round 180) 3852 del vars, 36347 del conss, 12727 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31073 upgd conss, 9011325 impls, 1795 clqs
54.07/54.14	c (round 181) 3854 del vars, 36349 del conss, 12727 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31073 upgd conss, 9011649 impls, 1796 clqs
56.28/56.38	c (round 182) 3879 del vars, 36349 del conss, 12727 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31073 upgd conss, 9227755 impls, 1791 clqs
56.47/56.51	c (round 183) 3884 del vars, 36397 del conss, 12770 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31073 upgd conss, 9230141 impls, 1791 clqs
57.58/57.67	c (round 184) 3909 del vars, 36397 del conss, 12770 add conss, 774 chg bounds, 354 chg sides, 1361 chg coeffs, 31073 upgd conss, 9303647 impls, 1807 clqs
57.68/57.74	c (round 185) 3917 del vars, 36405 del conss, 12770 add conss, 774 chg bounds, 354 chg sides, 1365 chg coeffs, 31073 upgd conss, 9307741 impls, 1807 clqs
57.78/57.82	c (round 186) 3917 del vars, 36431 del conss, 12794 add conss, 774 chg bounds, 354 chg sides, 1365 chg coeffs, 31073 upgd conss, 9307741 impls, 1807 clqs
58.18/58.22	c (round 187) 3942 del vars, 36431 del conss, 12794 add conss, 774 chg bounds, 354 chg sides, 1365 chg coeffs, 31073 upgd conss, 9312223 impls, 1811 clqs
58.29/58.32	c (round 188) 3954 del vars, 36443 del conss, 12794 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31073 upgd conss, 9325461 impls, 1811 clqs
58.29/58.36	c (round 189) 3957 del vars, 36456 del conss, 12806 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31073 upgd conss, 9326431 impls, 1811 clqs
58.37/58.44	c (round 190) 3957 del vars, 36459 del conss, 12809 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31073 upgd conss, 9326431 impls, 1812 clqs
60.58/60.64	c (round 191) 3982 del vars, 36459 del conss, 12809 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31073 upgd conss, 9494343 impls, 1807 clqs
60.68/60.74	c (round 192) 3987 del vars, 36469 del conss, 12809 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31093 upgd conss, 9495597 impls, 1806 clqs
60.78/60.83	c (round 193) 3990 del vars, 36477 del conss, 12816 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31093 upgd conss, 9514223 impls, 1806 clqs
60.88/60.96	c (round 194) 3994 del vars, 36482 del conss, 12817 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31093 upgd conss, 9515383 impls, 1810 clqs
60.98/61.04	c (round 195) 3994 del vars, 36484 del conss, 12819 add conss, 774 chg bounds, 354 chg sides, 1366 chg coeffs, 31093 upgd conss, 9515383 impls, 1811 clqs
61.17/61.21	c (round 196) 4032 del vars, 36484 del conss, 12819 add conss, 775 chg bounds, 354 chg sides, 1366 chg coeffs, 31093 upgd conss, 9517816 impls, 1793 clqs
61.17/61.25	c (round 197) 4063 del vars, 36525 del conss, 12819 add conss, 775 chg bounds, 354 chg sides, 1382 chg coeffs, 31093 upgd conss, 9524908 impls, 1793 clqs
61.28/61.33	c (round 198) 4063 del vars, 36532 del conss, 12823 add conss, 775 chg bounds, 354 chg sides, 1382 chg coeffs, 31094 upgd conss, 9524908 impls, 1793 clqs
61.37/61.41	c (round 199) 4063 del vars, 36532 del conss, 12823 add conss, 775 chg bounds, 354 chg sides, 1382 chg coeffs, 31095 upgd conss, 9524908 impls, 1796 clqs
62.47/62.60	c    (62.6s) probing: 5000/10487 (47.7%) - 1213 fixings, 336 aggregations, 1341448 implications, 469 bound changes
63.18/63.20	c (round 200) 4088 del vars, 36532 del conss, 12823 add conss, 775 chg bounds, 354 chg sides, 1382 chg coeffs, 31095 upgd conss, 9603322 impls, 1791 clqs
63.18/63.28	c (round 201) 4098 del vars, 36543 del conss, 12823 add conss, 775 chg bounds, 354 chg sides, 1387 chg coeffs, 31107 upgd conss, 9608260 impls, 1791 clqs
63.27/63.32	c (round 202) 4100 del vars, 36559 del conss, 12839 add conss, 775 chg bounds, 354 chg sides, 1387 chg coeffs, 31107 upgd conss, 9608300 impls, 1791 clqs
63.38/63.41	c (round 203) 4102 del vars, 36563 del conss, 12841 add conss, 775 chg bounds, 354 chg sides, 1387 chg coeffs, 31107 upgd conss, 9608344 impls, 1797 clqs
63.38/63.49	c (round 204) 4102 del vars, 36564 del conss, 12841 add conss, 775 chg bounds, 354 chg sides, 1387 chg coeffs, 31107 upgd conss, 9608344 impls, 1798 clqs
66.27/66.38	c (round 205) 4127 del vars, 36564 del conss, 12841 add conss, 775 chg bounds, 354 chg sides, 1387 chg coeffs, 31107 upgd conss, 9776126 impls, 1787 clqs
66.37/66.46	c (round 206) 4142 del vars, 36586 del conss, 12841 add conss, 776 chg bounds, 354 chg sides, 1395 chg coeffs, 31113 upgd conss, 9780625 impls, 1787 clqs
66.47/66.51	c (round 207) 4144 del vars, 36621 del conss, 12876 add conss, 776 chg bounds, 354 chg sides, 1395 chg coeffs, 31113 upgd conss, 9787165 impls, 1787 clqs
66.47/66.60	c (round 208) 4145 del vars, 36624 del conss, 12877 add conss, 776 chg bounds, 354 chg sides, 1395 chg coeffs, 31113 upgd conss, 9787165 impls, 1816 clqs
66.57/66.67	c (round 209) 4145 del vars, 36625 del conss, 12877 add conss, 776 chg bounds, 354 chg sides, 1395 chg coeffs, 31113 upgd conss, 9787165 impls, 1817 clqs
69.88/69.94	c (round 210) 4170 del vars, 36625 del conss, 12877 add conss, 776 chg bounds, 354 chg sides, 1395 chg coeffs, 31113 upgd conss, 9989447 impls, 1812 clqs
69.98/70.03	c (round 211) 4176 del vars, 36635 del conss, 12877 add conss, 776 chg bounds, 354 chg sides, 1400 chg coeffs, 31135 upgd conss, 9993959 impls, 1812 clqs
70.08/70.12	c (round 212) 4177 del vars, 36663 del conss, 12904 add conss, 776 chg bounds, 354 chg sides, 1400 chg coeffs, 31135 upgd conss, 9994051 impls, 1812 clqs
72.07/72.14	c    (72.1s) probing: 6000/10487 (57.2%) - 1261 fixings, 362 aggregations, 1629133 implications, 469 bound changes
72.97/73.08	c (round 213) 4202 del vars, 36663 del conss, 12904 add conss, 776 chg bounds, 354 chg sides, 1400 chg coeffs, 31135 upgd conss, 10158601 impls, 1829 clqs
73.07/73.16	c (round 214) 4212 del vars, 36676 del conss, 12904 add conss, 776 chg bounds, 354 chg sides, 1404 chg coeffs, 31163 upgd conss, 10162899 impls, 1829 clqs
73.17/73.24	c (round 215) 4212 del vars, 36697 del conss, 12925 add conss, 776 chg bounds, 354 chg sides, 1404 chg coeffs, 31163 upgd conss, 10162899 impls, 1830 clqs
76.28/76.37	c (round 216) 4237 del vars, 36697 del conss, 12925 add conss, 776 chg bounds, 354 chg sides, 1404 chg coeffs, 31163 upgd conss, 10340277 impls, 1837 clqs
76.38/76.47	c (round 217) 4248 del vars, 36715 del conss, 12925 add conss, 776 chg bounds, 354 chg sides, 1407 chg coeffs, 31187 upgd conss, 10345975 impls, 1837 clqs
76.47/76.53	c (round 218) 4249 del vars, 36736 del conss, 12946 add conss, 776 chg bounds, 354 chg sides, 1407 chg coeffs, 31187 upgd conss, 10350399 impls, 1838 clqs
76.57/76.60	c (round 219) 4249 del vars, 36737 del conss, 12947 add conss, 776 chg bounds, 354 chg sides, 1407 chg coeffs, 31187 upgd conss, 10350399 impls, 1852 clqs
76.57/76.68	c (round 220) 4249 del vars, 36738 del conss, 12947 add conss, 776 chg bounds, 354 chg sides, 1407 chg coeffs, 31187 upgd conss, 10350399 impls, 1853 clqs
78.08/78.18	c (round 221) 4274 del vars, 36738 del conss, 12947 add conss, 776 chg bounds, 354 chg sides, 1407 chg coeffs, 31187 upgd conss, 10410151 impls, 1838 clqs
78.27/78.31	c (round 222) 4280 del vars, 36754 del conss, 12947 add conss, 777 chg bounds, 354 chg sides, 1407 chg coeffs, 31203 upgd conss, 10412084 impls, 1838 clqs
78.37/78.40	c (round 223) 4282 del vars, 36755 del conss, 12947 add conss, 777 chg bounds, 354 chg sides, 1407 chg coeffs, 31221 upgd conss, 10412084 impls, 1837 clqs
79.27/79.38	c (round 224) 4308 del vars, 36755 del conss, 12947 add conss, 777 chg bounds, 354 chg sides, 1407 chg coeffs, 31221 upgd conss, 10439412 impls, 1821 clqs
79.47/79.57	c (round 225) 4315 del vars, 36787 del conss, 12963 add conss, 778 chg bounds, 354 chg sides, 1407 chg coeffs, 31223 upgd conss, 10440697 impls, 1821 clqs
79.57/79.66	c (round 226) 4317 del vars, 36788 del conss, 12963 add conss, 778 chg bounds, 354 chg sides, 1407 chg coeffs, 31223 upgd conss, 10440697 impls, 1820 clqs
81.77/81.86	c    (81.9s) probing: 7000/10487 (66.7%) - 1338 fixings, 388 aggregations, 1897120 implications, 469 bound changes
83.17/83.24	c (round 227) 4345 del vars, 36788 del conss, 12963 add conss, 778 chg bounds, 354 chg sides, 1407 chg coeffs, 31223 upgd conss, 10631923 impls, 1803 clqs
83.17/83.29	c (round 228) 4356 del vars, 36806 del conss, 12963 add conss, 778 chg bounds, 354 chg sides, 1408 chg coeffs, 31223 upgd conss, 10632631 impls, 1803 clqs
83.27/83.37	c (round 229) 4356 del vars, 36919 del conss, 13076 add conss, 778 chg bounds, 354 chg sides, 1408 chg coeffs, 31223 upgd conss, 10632631 impls, 1803 clqs
83.37/83.46	c    (83.5s) probing cycle finished: starting next cycle
85.07/85.19	c (round 230) 4381 del vars, 36919 del conss, 13076 add conss, 778 chg bounds, 354 chg sides, 1408 chg coeffs, 31223 upgd conss, 10717161 impls, 1896 clqs
85.17/85.24	c (round 231) 4384 del vars, 36946 del conss, 13076 add conss, 778 chg bounds, 354 chg sides, 1410 chg coeffs, 31253 upgd conss, 10717547 impls, 1896 clqs
85.27/85.32	c (round 232) 4384 del vars, 37028 del conss, 13158 add conss, 778 chg bounds, 354 chg sides, 1410 chg coeffs, 31253 upgd conss, 10717547 impls, 1896 clqs
86.28/86.32	c    (86.3s) probing: 457/7120 (6.4%) - 1391 fixings, 390 aggregations, 1987464 implications, 469 bound changes
86.28/86.32	c    (86.3s) probing aborted: 50/50 successive totally useless probings
86.28/86.32	c (round 233) 4407 del vars, 37028 del conss, 13158 add conss, 778 chg bounds, 354 chg sides, 1410 chg coeffs, 31253 upgd conss, 10730683 impls, 1966 clqs
86.47/86.56	c (round 234) 4415 del vars, 37102 del conss, 13182 add conss, 778 chg bounds, 354 chg sides, 1410 chg coeffs, 31253 upgd conss, 10731739 impls, 1966 clqs
86.57/86.65	c    (86.6s) probing: 462/7120 (6.5%) - 1391 fixings, 390 aggregations, 1987464 implications, 469 bound changes
86.57/86.65	c    (86.6s) probing aborted: 50/50 successive totally useless probings
86.57/86.65	c presolving (235 rounds):
86.57/86.65	c  4415 deleted vars, 37102 deleted constraints, 13182 added constraints, 778 tightened bounds, 0 added holes, 354 changed sides, 1410 changed coefficients
86.57/86.65	c  10731739 implications, 1967 cliques
86.57/86.65	c presolved problem has 7061 variables (7061 bin, 0 int, 0 impl, 0 cont) and 8167 constraints
86.57/86.65	c     708 constraints of type <knapsack>
86.57/86.65	c    2765 constraints of type <setppc>
86.57/86.65	c    4687 constraints of type <and>
86.57/86.65	c       7 constraints of type <logicor>
86.57/86.65	c transformed objective value is always integral (scale: 1)
86.57/86.65	c Presolving Time: 86.52
86.57/86.65	c - non default parameters ----------------------------------------------------------------------
86.57/86.65	c # SCIP version 2.1.1.4
86.57/86.65	c 
86.57/86.65	c # maximal time in seconds to run
86.57/86.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
86.57/86.65	c limits/time = 1797
86.57/86.65	c 
86.57/86.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
86.57/86.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
86.57/86.65	c limits/memory = 13950
86.57/86.65	c 
86.57/86.65	c # default clock type (1: CPU user seconds, 2: wall clock time)
86.57/86.65	c # [type: int, range: [1,2], default: 1]
86.57/86.65	c timing/clocktype = 2
86.57/86.65	c 
86.57/86.65	c # belongs reading time to solving time?
86.57/86.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
86.57/86.65	c timing/reading = TRUE
86.57/86.65	c 
86.57/86.65	c -----------------------------------------------------------------------------------------------
86.57/86.65	c start solving
86.57/86.66	c 
86.97/87.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
86.97/87.01	c  87.0s|     1 |     0 |  1936 |     - | 216M|   0 |1232 |7061 |8184 |7061 |  12k|   0 |  17 |   0 | 0.000000e+00 |      --      |    Inf 
92.07/92.15	c  92.1s|     1 |     0 | 15016 |     - | 219M|   0 |2189 |7061 |8216 |7061 |  14k|2000 |  49 |   0 | 0.000000e+00 |      --      |    Inf 
94.28/94.30	c  94.3s|     1 |     0 | 19328 |     - | 221M|   0 |2714 |7061 |8216 |7061 |  16k|4000 |  49 |   0 | 0.000000e+00 |      --      |    Inf 
98.27/98.35	c  98.3s|     1 |     0 | 26121 |     - | 223M|   0 |3275 |7061 |8216 |7061 |  18k|6000 |  49 |   0 | 0.000000e+00 |      --      |    Inf 
102.97/103.08	c   103s|     1 |     0 | 32141 |     - | 225M|   0 |3524 |7061 |8216 |7061 |  20k|8000 |  49 |   0 | 0.000000e+00 |      --      |    Inf 
105.77/105.85	c   106s|     1 |     0 | 36128 |     - | 227M|   0 |3787 |7061 |8216 |7061 |  22k|  10k|  49 |   0 | 0.000000e+00 |      --      |    Inf 
109.07/109.18	c   109s|     1 |     0 | 40425 |     - | 228M|   0 |3606 |7061 |8216 |7061 |  24k|  12k|  49 |   0 | 0.000000e+00 |      --      |    Inf 
122.57/122.65	c   123s|     1 |     2 | 40425 |     - | 228M|   0 |3606 |7061 |8216 |7061 |  24k|  12k|  49 |  18 | 0.000000e+00 |      --      |    Inf 
265.24/265.31	c   265s|   100 |    31 |150118 |1108.0 | 229M|  35 |1215 |7061 |8512 |7061 |  17k|  16k| 345 | 279 | 0.000000e+00 |      --      |    Inf 
285.74/285.83	c   286s|   200 |    13 |171771 | 660.0 | 229M|  35 |   - |7061 |8735 |   0 |   0 |  17k| 568 | 300 | 0.000000e+00 |      --      |    Inf 
361.93/362.03	c   362s|   300 |    40 |264075 | 748.0 | 229M|  35 |1449 |7061 |8860 |7061 |  17k|  22k| 693 | 397 | 0.000000e+00 |      --      |    Inf 
409.63/409.72	c   410s|   400 |    19 |323994 | 710.7 | 229M|  35 |2367 |7061 |9088 |7061 |  17k|  24k| 921 | 465 | 0.000000e+00 |      --      |    Inf 
431.32/431.41	c   431s|   500 |    32 |350662 | 621.7 | 230M|  35 |1559 |7061 |9309 |7061 |  18k|  25k|1143 | 502 | 0.000000e+00 |      --      |    Inf 
462.62/462.72	c   463s|   600 |    20 |394345 | 590.9 | 229M|  35 |1798 |7061 |9495 |7061 |  17k|  26k|1329 | 550 | 0.000000e+00 |      --      |    Inf 
498.11/498.21	c   498s|   700 |    14 |444386 | 577.9 | 229M|  35 |   - |7061 |9695 |   0 |   0 |  27k|1529 | 614 | 0.000000e+00 |      --      |    Inf 
550.91/551.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
550.91/551.04	c   551s|   800 |    19 |510063 | 587.8 | 230M|  35 |1778 |7061 |9860 |7061 |  17k|  29k|1698 | 689 | 0.000000e+00 |      --      |    Inf 
582.70/582.83	c   583s|   900 |    18 |554599 | 571.9 | 230M|  35 |2163 |7061 |  10k|7061 |  17k|  30k|1947 | 729 | 0.000000e+00 |      --      |    Inf 
624.89/625.08	c   625s|  1000 |    17 |606276 | 566.4 | 230M|  35 |   - |7061 |  10k|   0 |   0 |  32k|2111 | 809 | 0.000000e+00 |      --      |    Inf 
676.49/676.62	c   677s|  1100 |    14 |673547 | 576.1 | 230M|  35 |2374 |7061 |  10k|7061 |  17k|  35k|2294 | 884 | 0.000000e+00 |      --      |    Inf 
749.47/749.65	c   750s|  1200 |    21 |779742 | 616.6 | 230M|  35 |1329 |7061 |9947 |7061 |  17k|  39k|2460 | 964 | 0.000000e+00 |      --      |    Inf 
791.36/791.55	c   792s|  1300 |    21 |833376 | 610.4 | 230M|  35 |1214 |7061 |  10k|7061 |  17k|  40k|2707 |1005 | 0.000000e+00 |      --      |    Inf 
827.16/827.38	c   827s|  1400 |    24 |875726 | 597.1 | 230M|  35 |1676 |7061 |  10k|7061 |  17k|  42k|2839 |1060 | 0.000000e+00 |      --      |    Inf 
854.65/854.84	c   855s|  1500 |    26 |916029 | 584.1 | 230M|  35 |1736 |7061 |  10k|7061 |  17k|  43k|3069 |1092 | 0.000000e+00 |      --      |    Inf 
883.65/883.84	c   884s|  1600 |    24 |954915 | 571.9 | 230M|  35 | 426 |7061 |  10k|7061 |  17k|  45k|3302 |1139 | 0.000000e+00 |      --      |    Inf 
922.85/923.00	c   923s|  1700 |    25 |  1015k| 573.7 | 230M|  35 |1533 |7061 |  10k|7061 |  17k|  46k|3532 |1186 | 0.000000e+00 |      --      |    Inf 
996.73/996.99	c   997s|  1800 |    30 |  1109k| 594.1 | 230M|  35 |2071 |7061 |  10k|7061 |  17k|  51k|3686 |1300 | 0.000000e+00 |      --      |    Inf 
1047.13/1047.38	c  1047s|  1900 |    28 |  1172k| 596.1 | 231M|  35 |   - |7061 |  10k|   0 |   0 |  53k|3905 |1371 | 0.000000e+00 |      --      |    Inf 
1084.92/1085.18	c  1085s|  2000 |    29 |  1223k| 591.8 | 231M|  35 |1429 |7061 |  10k|7061 |  17k|  54k|4119 |1418 | 0.000000e+00 |      --      |    Inf 
1118.52/1118.77	c  1119s|  2100 |    24 |  1263k| 582.6 | 231M|  35 |   - |7061 |  10k|   0 |   0 |  55k|4293 |1464 | 0.000000e+00 |      --      |    Inf 
1174.51/1174.74	c  1175s|  2200 |    37 |  1329k| 586.3 | 231M|  35 |2185 |7061 |  11k|7061 |  17k|  57k|4491 |1529 | 0.000000e+00 |      --      |    Inf 
1222.70/1222.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1222.70/1222.95	c  1223s|  2300 |    29 |  1396k| 589.7 | 231M|  35 |   - |7061 |  11k|   0 |   0 |  59k|4696 |1585 | 0.000000e+00 |      --      |    Inf 
1258.79/1259.06	c  1259s|  2400 |    30 |  1437k| 582.5 | 231M|  35 |1968 |7061 |  11k|7061 |  17k|  61k|4896 |1630 | 0.000000e+00 |      --      |    Inf 
1331.28/1331.51	c  1332s|  2500 |    27 |  1521k| 592.7 | 231M|  35 |2427 |7061 |  11k|7061 |  18k|  64k|5109 |1730 | 0.000000e+00 |      --      |    Inf 
1387.76/1388.04	c  1388s|  2600 |    23 |  1594k| 597.8 | 231M|  35 |2227 |7061 |  11k|7061 |  17k|  65k|5398 |1797 | 0.000000e+00 |      --      |    Inf 
1440.54/1440.83	c  1441s|  2700 |    22 |  1676k| 606.1 | 231M|  35 |2081 |7061 |  11k|7061 |  17k|  68k|5567 |1864 | 0.000000e+00 |      --      |    Inf 
1487.13/1487.45	c  1487s|  2800 |    19 |  1734k| 605.2 | 231M|  35 |2068 |7061 |  11k|7061 |  17k|  69k|5744 |1939 | 0.000000e+00 |      --      |    Inf 
1529.42/1529.77	c  1530s|  2900 |    20 |  1793k| 604.6 | 231M|  35 |   - |7061 |  11k|   0 |   0 |  71k|5909 |2005 | 0.000000e+00 |      --      |    Inf 
1571.12/1571.44	c  1571s|  3000 |    24 |  1849k| 603.3 | 231M|  35 |1365 |7061 |  11k|7061 |  18k|  73k|6064 |2065 | 0.000000e+00 |      --      |    Inf 
1598.62/1598.98	c  1599s|  3100 |    34 |  1884k| 595.2 | 231M|  35 | 801 |7061 |  12k|7061 |  17k|  74k|6233 |2110 | 0.000000e+00 |      --      |    Inf 
1636.21/1636.51	c  1637s|  3200 |    21 |  1940k| 594.0 | 231M|  35 |1698 |7061 |  12k|7061 |  18k|  75k|6433 |2175 | 0.000000e+00 |      --      |    Inf 
1664.81/1665.14	c  1665s|  3300 |    22 |  1976k| 587.0 | 231M|  35 | 971 |7061 |  12k|7061 |  17k|  77k|6604 |2220 | 0.000000e+00 |      --      |    Inf 
1702.90/1703.29	c  1703s|  3400 |    22 |  2025k| 584.1 | 231M|  35 |2577 |7061 |  12k|7061 |  17k|  79k|6771 |2295 | 0.000000e+00 |      --      |    Inf 
1740.39/1740.70	c  1741s|  3500 |    21 |  2080k| 583.0 | 231M|  35 |   - |7061 |  12k|   0 |   0 |  82k|6933 |2346 | 0.000000e+00 |      --      |    Inf 
1774.79/1775.15	c  1775s|  3600 |    18 |  2129k| 580.6 | 231M|  35 |   - |7061 |  12k|   0 |   0 |  83k|7101 |2391 | 0.000000e+00 |      --      |    Inf 
1796.69/1797.01	c 
1796.69/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.01	c Solving Time (sec) : 1797.00
1796.69/1797.01	c Solving Nodes      : 3655
1796.69/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01	c Dual Bound         : +0.00000000000000e+00
1796.69/1797.01	c Gap                : infinite
1796.69/1797.01	s UNKNOWN
1796.69/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.01	c Total Time         :    1797.00
1796.69/1797.01	c   solving          :    1797.00
1796.69/1797.01	c   presolving       :      86.52 (included in solving)
1796.69/1797.01	c   reading          :       0.09 (included in solving)
1796.69/1797.01	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.01	c Original Problem   :
1796.69/1797.01	c   Problem name     : HOME/instance-3692847-1338025356.opb
1796.69/1797.01	c   Variables        : 11476 (11476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 33090 initial, 33090 maximal
1796.69/1797.01	c   Objective sense  : minimize
1796.69/1797.01	c Presolved Problem  :
1796.69/1797.01	c   Problem name     : t_HOME/instance-3692847-1338025356.opb
1796.69/1797.01	c   Variables        : 7061 (7061 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 8167 initial, 12218 maximal
1796.69/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   trivial          :       0.21       0.00        135          0          0          0          0          0          0          0          0
1796.69/1797.01	c   dualfix          :       0.09       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   gateextraction   :       0.16       0.00          0          0          0          0          0      29887       9960          0          0
1796.69/1797.01	c   implics          :       1.75       0.00          0        671          0          0          0          0          0          0          0
1796.69/1797.01	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   probing          :      67.07       0.00       1391        390          0        469          0          0          0          0          0
1796.69/1797.01	c   knapsack         :       0.22       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   setppc           :       2.44       0.00          4        372          0          0          0        821          0          0          0
1796.69/1797.01	c   and              :      13.66       0.00        135       1010          0          5          0       3972       3222          0        600
1796.69/1797.01	c   linear           :       0.43       0.00        303          4          0        303          0       2422          0        354        810
1796.69/1797.01	c   logicor          :       0.09       0.00          0          0          0          1          0          0          0          0          0
1796.69/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.69/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   integral         :          0          0          0          0       2662          0          4          0         12        203          0          0       5152
1796.69/1797.01	c   knapsack         :        708        708          6     119706          0          1          3        288         26         82       1200          0          0
1796.69/1797.01	c   setppc           :       2765       2765          6     119680          0          1          0     206668        793     471949          0          0          0
1796.69/1797.01	c   and              :       4687       4687       8316     118887          0          1          0     542716       1259     948538     116072          0          0
1796.69/1797.01	c   logicor          :          7+      4058          6      37378          0          1          0      27488        272      20142          7          0          0
1796.69/1797.01	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.69/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.01	c   integral         :     560.56       0.00       0.00       0.00     560.56       0.00       0.00       0.00
1796.69/1797.01	c   knapsack         :       1.71       0.00       0.02       1.69       0.00       0.00       0.00       0.00
1796.69/1797.01	c   setppc           :       6.68       0.00       0.00       6.52       0.00       0.00       0.00       0.16
1796.69/1797.01	c   and              :      23.94       0.00       7.63      15.98       0.00       0.00       0.00       0.33
1796.69/1797.01	c   logicor          :       0.56       0.00       0.00       0.51       0.00       0.00       0.00       0.06
1796.69/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.01	c   rootredcost      :          0          0          0          0
1796.69/1797.01	c   pseudoobj        :          0          0          0          0
1796.69/1797.01	c   vbounds          :          0          0          0          0
1796.69/1797.01	c   redcost          :       8822          0          0          0
1796.69/1797.01	c   probing          :          0          0          0          0
1796.69/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.01	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1796.69/1797.01	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00
1796.69/1797.01	c   vbounds          :       0.03       0.00       0.00       0.03       0.00
1796.69/1797.01	c   redcost          :       1.10       0.00       0.00       1.10       0.00
1796.69/1797.01	c   probing          :      67.07       0.00      67.07       0.00       0.00
1796.69/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.01	c   propagation      :       0.96       2350       1793      16351       51.5        292       21.4          -
1796.69/1797.01	c   infeasible LP    :       0.70        233        233        411       18.3         31       18.1          0
1796.69/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.01	c   applied globally :          -          -          -       7200       37.8          -          -          -
1796.69/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.01	c   cut pool         :       0.01                     5          -          -       3507          -    (maximal pool size: 20115)
1796.69/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   impliedbounds    :       0.27       0.00          6          0          0      33475          0
1796.69/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   gomory           :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   strongcg         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   clique           :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   mcf              :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.01	c   problem variables:       0.00          -          0          0
1796.69/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   relpscost        :     560.55       0.00       2662         12        203          0          0       5152
1796.69/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.69/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.01	c   LP solutions     :       0.00          -          -          0
1796.69/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.01	c   oneopt           :       0.01       0.00          0          0
1796.69/1797.01	c   crossover        :       0.00       0.00          0          0
1796.69/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.69/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.01	c   veclendiving     :       4.91       0.00          6          0
1796.69/1797.01	c   linesearchdiving :      10.91       0.00          6          0
1796.69/1797.01	c   objpscostdiving  :      34.95       0.00          3          0
1796.69/1797.01	c   feaspump         :      28.29       0.00          3          0
1796.69/1797.01	c   coefdiving       :      12.17       0.00          7          0
1796.69/1797.01	c   pscostdiving     :      16.57       0.00          7          0
1796.69/1797.01	c   fracdiving       :      26.39       0.00          7          0
1796.69/1797.01	c   rootsoldiving    :      13.18       0.00          4          0
1796.69/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.01	c   trivial          :       0.01       0.00          2          0
1796.69/1797.01	c   shiftandpropagate:       0.17       0.00          1          0
1796.69/1797.01	c   simplerounding   :       0.01       0.00          0          0
1796.69/1797.01	c   zirounding       :       2.53       0.00          0          0
1796.69/1797.01	c   rounding         :       3.01       0.00       1249          0
1796.69/1797.01	c   shifting         :      11.49       0.00        358          0
1796.69/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.01	c   indoneopt        :       0.01       0.00          0          0
1796.69/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.69/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.01	c   clique           :       0.00       0.00          0          0
1796.69/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.69/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   octane           :       0.00       0.00          0          0
1796.69/1797.01	c   rens             :       0.06       0.00          0          0
1796.69/1797.01	c   rins             :       0.00       0.00          0          0
1796.69/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.01	c   mutation         :       0.00       0.00          0          0
1796.69/1797.01	c   dins             :       0.00       0.00          0          0
1796.69/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.01	c   undercover       :       1.24       0.00          1          0
1796.69/1797.01	c   subnlp           :       0.00       0.00          0          0
1796.69/1797.01	c   trysol           :       0.01       0.00          0          0
1796.69/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.01	c   primal LP        :       0.01          1          0       0.00       0.00       0.01          1
1796.69/1797.01	c   dual LP          :     918.16       8863    1912312     216.06    2082.77       0.13         12
1796.69/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.01	c   diving/probing LP:     128.72       3911     246125      62.93    1912.07
1796.69/1797.01	c   strong branching :     558.83       2421    1081686     446.79    1935.62
1796.69/1797.01	c     (at root node) :          -         18      18000    1000.00          -
1796.69/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.01	c B&B Tree           :
1796.69/1797.01	c   number of runs   :          1
1796.69/1797.01	c   nodes            :       3655
1796.69/1797.01	c   nodes (total)    :       3655
1796.69/1797.01	c   nodes left       :         16
1796.69/1797.01	c   max depth        :         35
1796.69/1797.01	c   max depth (total):         35
1796.69/1797.01	c   backtracks       :       1168 (32.0%)
1796.69/1797.01	c   delayed cutoffs  :       1484
1796.69/1797.01	c   repropagations   :       2531 (463129 domain reductions, 973 cutoffs)
1796.69/1797.01	c   avg switch length:       3.09
1796.69/1797.01	c   switching time   :       4.33
1796.69/1797.01	c Solution           :
1796.69/1797.01	c   Solutions found  :          0 (0 improvements)
1796.69/1797.01	c   Primal Bound     :          -
1796.69/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.69/1797.01	c   Gap              :   infinite
1796.69/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.69/1797.01	c   Root Iterations  :      40425
1796.79/1797.17	c Time complete: 1796.86.

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8672
/proc/meminfo: memFree=26561848/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=6328 CPUtime=0 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 268660120 6479872 283 33554432000 4194304 10169799 140735497622048 140736191064424 8797266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 1582 284 209 1459 0 114 0

[startup+0.0652331 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8672
/proc/meminfo: memFree=26561848/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=23944 CPUtime=0.05 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 4746 0 0 0 5 0 0 0 20 0 1 0 268660120 24518656 4700 33554432000 4194304 10169799 140735497622048 140736191064424 4195336 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 5986 4700 409 1459 0 4518 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23944

[startup+0.100371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8672
/proc/meminfo: memFree=26561848/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=30288 CPUtime=0.09 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 6058 0 0 0 8 1 0 0 20 0 1 0 268660120 31014912 6013 33554432000 4194304 10169799 140735497622048 140736191064424 8844157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 7572 6033 452 1459 0 6104 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30288

[startup+0.300315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8672
/proc/meminfo: memFree=26561848/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=87820 CPUtime=0.28 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 20186 0 0 0 25 3 0 0 20 0 1 0 268660120 89927680 20073 33554432000 4194304 10169799 140735497622048 140736191064424 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 21955 20073 561 1459 0 20487 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87820

[startup+0.700321 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8672
/proc/meminfo: memFree=26561848/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=110100 CPUtime=0.69 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 26348 0 0 0 60 9 0 0 20 0 1 0 268660120 112742400 25588 33554432000 4194304 10169799 140735497622048 140735497620200 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 27525 25588 575 1459 0 26057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110100

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26448140/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=123872 CPUtime=1.48 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 31049 0 0 0 133 15 0 0 20 0 1 0 268660120 126844928 29184 33554432000 4194304 10169799 140735497622048 140735497620456 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 30968 29184 624 1459 0 29500 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 123872

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26435864/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=140924 CPUtime=3.09 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 35361 0 0 0 269 40 0 0 20 0 1 0 268660120 144306176 33447 33554432000 4194304 10169799 140735497622048 140735497620456 7546913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 35231 33447 629 1459 0 33763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140924

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26392196/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=195212 CPUtime=6.29 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 48376 0 0 0 563 66 0 0 20 0 1 0 268660120 199897088 46462 33554432000 4194304 10169799 140735497622048 140735497619560 8844137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 48803 46462 629 1459 0 47335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195212

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26343436/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=213876 CPUtime=12.68 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 52578 0 0 0 1156 112 0 0 20 0 1 0 268660120 219009024 50664 33554432000 4194304 10169799 140735497622048 140735497620824 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 53469 50664 629 1459 0 52001 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 213876

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26300500/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=260112 CPUtime=25.48 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 63350 0 0 0 2390 158 0 0 20 0 1 0 268660120 266354688 61436 33554432000 4194304 10169799 140735497622048 140735497619576 7433752 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 65028 61436 629 1459 0 63560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 260112

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8673
/proc/meminfo: memFree=26257936/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=299748 CPUtime=51.08 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 73587 0 0 0 4851 257 0 0 20 0 1 0 268660120 306941952 71673 33554432000 4194304 10169799 140735497622048 140735497619576 4257157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 74937 71673 629 1459 0 73469 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 299748

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8673
/proc/meminfo: memFree=26158284/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=102.27 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 100956 0 0 0 9826 401 0 0 20 0 1 0 268660120 407105536 96687 33554432000 4194304 10169799 140735497622048 140735497616504 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96687 856 1459 0 97923 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 397564

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8673
/proc/meminfo: memFree=26141808/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=162.26 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101158 0 0 0 15809 417 0 0 20 0 1 0 268660120 407105536 96885 33554432000 4194304 10169799 140735497622048 140735497616504 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96885 858 1459 0 97923 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 397564

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8674
/proc/meminfo: memFree=26121616/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=222.26 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 21791 435 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497617032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 397564

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8674
/proc/meminfo: memFree=26137576/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=282.24 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 27770 454 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497616456 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 397564

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 8674
/proc/meminfo: memFree=26137596/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=342.24 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 33753 471 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497616648 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 397564

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8674
/proc/meminfo: memFree=26116272/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=402.22 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 39734 488 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497615848 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 397564

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8677
/proc/meminfo: memFree=26123544/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=462.22 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 45716 506 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497616840 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 397564

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8677
/proc/meminfo: memFree=26120932/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=397564 CPUtime=522.21 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101159 0 0 0 51699 522 0 0 20 0 1 0 268660120 407105536 96886 33554432000 4194304 10169799 140735497622048 140735497615720 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 99391 96886 859 1459 0 97923 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 397564

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8678
/proc/meminfo: memFree=26115520/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=400484 CPUtime=582.2 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 101857 0 0 0 57677 543 0 0 20 0 1 0 268660120 410095616 97584 33554432000 4194304 10169799 140735497622048 140735497616504 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 100121 97584 859 1459 0 98653 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 400484

[startup+642.3 s]

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

/proc/meminfo: memFree=26090964/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=418044 CPUtime=1062.12 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 193112 0 0 0 105503 709 0 0 20 0 1 0 268660120 428077056 102001 33554432000 4194304 10169799 140735497622048 140735497616456 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 104511 102001 859 1459 0 103043 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 418044

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 8705
/proc/meminfo: memFree=26087140/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=419884 CPUtime=1122.12 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 203167 0 0 0 111479 733 0 0 20 0 1 0 268660120 429961216 102361 33554432000 4194304 10169799 140735497622048 140735497616456 8044567 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 104971 102361 859 1459 0 103503 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 419884

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8706
/proc/meminfo: memFree=26104804/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=421284 CPUtime=1182.11 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 211459 0 0 0 117461 750 0 0 20 0 1 0 268660120 431394816 102636 33554432000 4194304 10169799 140735497622048 140735497617032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 105321 102636 859 1459 0 103853 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 421284

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8744
/proc/meminfo: memFree=27969604/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=421684 CPUtime=1242.1 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 225981 0 0 0 123438 772 0 0 20 0 1 0 268660120 431804416 102478 33554432000 4194304 10169799 140735497622048 140735497616648 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 105421 102478 859 1459 0 103953 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 421684

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8744
/proc/meminfo: memFree=27892552/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=423756 CPUtime=1302.09 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 250904 0 0 0 129414 795 0 0 20 0 1 0 268660120 433926144 103288 33554432000 4194304 10169799 140735497622048 140735497617032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 105939 103288 859 1459 0 104471 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 423756

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8744
/proc/meminfo: memFree=27554476/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=426516 CPUtime=1362.08 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 282433 0 0 0 135382 826 0 0 20 0 1 0 268660120 436752384 104942 33554432000 4194304 10169799 140735497622048 140735497616184 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 106629 104942 859 1459 0 105161 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 426516

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8744
/proc/meminfo: memFree=26942008/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=430268 CPUtime=1422.05 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 284920 0 0 0 141358 847 0 0 20 0 1 0 268660120 440594432 106245 33554432000 4194304 10169799 140735497622048 140735497616312 8044613 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 107567 106245 862 1459 0 106099 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 430268

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=26348096/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=430536 CPUtime=1482.03 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 296510 0 0 0 147329 874 0 0 20 0 1 0 268660120 440868864 106351 33554432000 4194304 10169799 140735497622048 140735497616456 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 107634 106351 862 1459 0 106166 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 430536

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=25743996/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=435336 CPUtime=1542.02 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 302603 0 0 0 153306 896 0 0 20 0 1 0 268660120 445784064 107698 33554432000 4194304 10169799 140735497622048 140735497617032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 108834 107698 862 1459 0 107366 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 435336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8745
/proc/meminfo: memFree=25273768/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=436464 CPUtime=1602.01 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 311919 0 0 0 159281 920 0 0 20 0 1 0 268660120 446939136 108046 33554432000 4194304 10169799 140735497622048 140735497616504 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 109116 108046 862 1459 0 107648 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 436464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8748
/proc/meminfo: memFree=24759764/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=437336 CPUtime=1662.01 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 343941 0 0 0 165256 945 0 0 20 0 1 0 268660120 447832064 108120 33554432000 4194304 10169799 140735497622048 140735497619672 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 109334 108120 862 1459 0 107866 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 437336

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8748
/proc/meminfo: memFree=24602396/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=439976 CPUtime=1721.99 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 352838 0 0 0 171234 965 0 0 20 0 1 0 268660120 450535424 108924 33554432000 4194304 10169799 140735497622048 140735497616872 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 109994 108924 862 1459 0 108526 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 439976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24476812/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1781.98 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357747 0 0 0 177210 988 0 0 20 0 1 0 268660120 452075520 109093 33554432000 4194304 10169799 140735497622048 140735497616552 7658996 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109093 862 1459 0 108902 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 441480

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24471712/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1785.18 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357750 0 0 0 177529 989 0 0 20 0 1 0 268660120 452075520 109096 33554432000 4194304 10169799 140735497622048 140735497616840 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109096 862 1459 0 108902 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 441480

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24461792/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1791.59 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357885 0 0 0 178167 992 0 0 20 0 1 0 268660120 452075520 109231 33554432000 4194304 10169799 140735497622048 140735497616648 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109231 862 1459 0 108902 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 441480

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24456940/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1794.79 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357886 0 0 0 178486 993 0 0 20 0 1 0 268660120 452075520 109232 33554432000 4194304 10169799 140735497622048 140735497616552 8030557 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109232 862 1459 0 108902 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 441480

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24456940/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1795.58 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357886 0 0 0 178565 993 0 0 20 0 1 0 268660120 452075520 109232 33554432000 4194304 10169799 140735497622048 140735497616552 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109232 862 1459 0 108902 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 441480

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24453344/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=441480 CPUtime=1796.39 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357886 0 0 0 178645 994 0 0 20 0 1 0 268660120 452075520 109232 33554432000 4194304 10169799 140735497622048 140735497616456 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 110370 109232 862 1459 0 108902 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 441480

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=24453344/32873844 swapFree=7900/7900
[pid=8672] ppid=8670 vsize=439676 CPUtime=1796.79 cores=1,3,5,7
/proc/8672/stat : 8672 (scip-2.1.1.4sfi) R 8670 8672 6871 0 -1 4202496 357888 0 0 0 178685 994 0 0 20 0 1 0 268660120 450228224 108783 33554432000 4194304 10169799 140735497622048 140735497616456 7547381 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8672/statm: 109919 108783 864 1459 0 108451 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 439676

Child status: 0
Real time (s): 1797.18
CPU time (s): 1796.87
CPU user time (s): 1786.92
CPU system time (s): 9.95449
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 442172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.92
system time used= 9.95449
maximum resident set size= 437608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357890
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= 36
involuntary context switches= 1849

runsolver used 2.90956 second user time and 7.63584 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-26 11:42:36
IDJOB=3692847
IDBENCH=1459
IDSOLVER=2272
FILE ID=node137/3692847-1338025356
RUNJOBID= node137-1338017245-7421
PBS_JOBID= 14624260
Free space on /tmp= 71236 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.rf9.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-3692847-1338025356/watcher-3692847-1338025356 -o /tmp/evaluation-result-3692847-1338025356/solver-3692847-1338025356 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692847-1338025356.opb -t 1800 -m 15500

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

MD5SUM BENCH= 4d33d3f14b2660aefc9b3a640617db34
RANDOM SEED=1571157087

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26562492 kB
Buffers:          248964 kB
Cached:          2815668 kB
SwapCached:        22060 kB
Active:          3404972 kB
Inactive:        2113336 kB
Active(anon):    2433360 kB
Inactive(anon):    22680 kB
Active(file):     971612 kB
Inactive(file):  2090656 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:             14452 kB
Writeback:             0 kB
AnonPages:       2440528 kB
Mapped:            12872 kB
Shmem:                 0 kB
Slab:             647056 kB
SReclaimable:      88128 kB
SUnreclaim:       558928 kB
KernelStack:        1480 kB
PageTables:         8788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2685100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 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= 71248 MiB
End job on node137 at 2012-05-26 12:12:33