Trace number 3741395

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.22 1790.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
MD5SUM8188d71a03844e125aafcd8487c80120
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark226.602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7982
Total number of constraints11063
Number of constraints which are clauses2420
Number of constraints which are cardinality constraints (but not clauses)1207
Number of constraints which are nor clauses,nor cardinality constraints7436
Minimum length of a constraint1
Maximum length of a constraint662
Number of terms in the objective function 55
Biggest coefficient in the objective function 55
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 1540
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 22480
Number of bits of the biggest sum of numbers15
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3741395-1338753838.opb>
0.29/0.36	c original problem has 7982 variables (7982 bin, 0 int, 0 impl, 0 cont) and 11063 constraints
0.29/0.36	c problem read
0.29/0.36	c presolving settings loaded
0.38/0.45	c presolving:
0.49/0.58	c (round 1) 122 del vars, 6 del conss, 122 chg bounds, 7326 chg sides, 7326 chg coeffs, 0 upgd conss, 112 impls, 1192 clqs
0.59/0.67	c (round 2) 142 del vars, 33 del conss, 142 chg bounds, 7458 chg sides, 7458 chg coeffs, 0 upgd conss, 158 impls, 1190 clqs
0.69/0.73	c (round 3) 214 del vars, 163 del conss, 212 chg bounds, 7467 chg sides, 7467 chg coeffs, 0 upgd conss, 394 impls, 1179 clqs
0.78/0.88	c (round 4) 282 del vars, 269 del conss, 280 chg bounds, 7535 chg sides, 7535 chg coeffs, 0 upgd conss, 564 impls, 1179 clqs
0.78/0.88	c (round 5) 339 del vars, 353 del conss, 337 chg bounds, 7605 chg sides, 7605 chg coeffs, 0 upgd conss, 730 impls, 1179 clqs
0.89/0.90	c (round 6) 390 del vars, 433 del conss, 388 chg bounds, 7675 chg sides, 7675 chg coeffs, 0 upgd conss, 896 impls, 1179 clqs
0.89/0.96	c (round 7) 430 del vars, 496 del conss, 428 chg bounds, 7739 chg sides, 7739 chg coeffs, 0 upgd conss, 1122 impls, 1179 clqs
0.99/1.01	c (round 8) 459 del vars, 538 del conss, 457 chg bounds, 7777 chg sides, 7777 chg coeffs, 0 upgd conss, 1214 impls, 1179 clqs
0.99/1.06	c (round 9) 482 del vars, 567 del conss, 480 chg bounds, 7802 chg sides, 7802 chg coeffs, 0 upgd conss, 1234 impls, 1179 clqs
1.09/1.10	c (round 10) 499 del vars, 588 del conss, 497 chg bounds, 7822 chg sides, 7822 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.09/1.15	c (round 11) 509 del vars, 599 del conss, 507 chg bounds, 7837 chg sides, 7837 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.09/1.16	c (round 12) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 0 upgd conss, 1272 impls, 1179 clqs
1.19/1.29	c (round 13) 509 del vars, 599 del conss, 507 chg bounds, 7847 chg sides, 7847 chg coeffs, 10464 upgd conss, 1272 impls, 1179 clqs
4.18/4.27	c (round 14) 509 del vars, 1119 del conss, 507 chg bounds, 9117 chg sides, 31176 chg coeffs, 10464 upgd conss, 84828 impls, 1708 clqs
6.38/6.42	c (round 15) 623 del vars, 1533 del conss, 507 chg bounds, 12127 chg sides, 46446 chg coeffs, 10464 upgd conss, 91388 impls, 4645 clqs
9.89/9.98	c (round 16) 726 del vars, 7229 del conss, 507 chg bounds, 15263 chg sides, 58511 chg coeffs, 10464 upgd conss, 91468 impls, 4901 clqs
13.88/13.91	c (round 17) 726 del vars, 7336 del conss, 507 chg bounds, 15638 chg sides, 62186 chg coeffs, 10464 upgd conss, 91468 impls, 4906 clqs
16.39/16.50	c (round 18) 817 del vars, 7572 del conss, 507 chg bounds, 15638 chg sides, 65081 chg coeffs, 10464 upgd conss, 91468 impls, 4844 clqs
20.58/20.66	c (round 19) 817 del vars, 7655 del conss, 507 chg bounds, 16002 chg sides, 68708 chg coeffs, 10464 upgd conss, 91468 impls, 4848 clqs
23.48/23.56	c (round 20) 897 del vars, 7847 del conss, 507 chg bounds, 16002 chg sides, 71559 chg coeffs, 10464 upgd conss, 91468 impls, 4799 clqs
28.49/28.51	c (round 21) 897 del vars, 7919 del conss, 507 chg bounds, 16430 chg sides, 75294 chg coeffs, 10464 upgd conss, 91468 impls, 4803 clqs
31.89/31.92	c (round 22) 965 del vars, 8105 del conss, 507 chg bounds, 16430 chg sides, 78101 chg coeffs, 10464 upgd conss, 91468 impls, 4757 clqs
36.78/36.88	c (round 23) 965 del vars, 8164 del conss, 507 chg bounds, 16799 chg sides, 81685 chg coeffs, 10464 upgd conss, 91468 impls, 4760 clqs
40.49/40.55	c (round 24) 1020 del vars, 8308 del conss, 507 chg bounds, 16799 chg sides, 84459 chg coeffs, 10464 upgd conss, 91468 impls, 4731 clqs
46.09/46.19	c (round 25) 1020 del vars, 8352 del conss, 507 chg bounds, 17216 chg sides, 88124 chg coeffs, 10464 upgd conss, 91468 impls, 4734 clqs
50.19/50.23	c (round 26) 1020 del vars, 8488 del conss, 507 chg bounds, 17216 chg sides, 90812 chg coeffs, 10464 upgd conss, 91468 impls, 4734 clqs
53.98/54.04	c (round 27) 1021 del vars, 8490 del conss, 507 chg bounds, 17216 chg sides, 93396 chg coeffs, 10464 upgd conss, 91468 impls, 4732 clqs
57.88/57.92	c (round 28) 1021 del vars, 8491 del conss, 507 chg bounds, 17216 chg sides, 95980 chg coeffs, 10464 upgd conss, 91468 impls, 4732 clqs
61.98/62.03	c (round 29) 1021 del vars, 8491 del conss, 507 chg bounds, 17216 chg sides, 97972 chg coeffs, 10464 upgd conss, 91468 impls, 4732 clqs
65.38/65.41	c (round 30) 1067 del vars, 8660 del conss, 507 chg bounds, 17216 chg sides, 98762 chg coeffs, 10464 upgd conss, 91468 impls, 4487 clqs
66.68/66.75	c (round 31) 1271 del vars, 8870 del conss, 507 chg bounds, 17216 chg sides, 98773 chg coeffs, 10464 upgd conss, 91468 impls, 4437 clqs
66.68/66.79	c (round 32) 1327 del vars, 8890 del conss, 507 chg bounds, 17219 chg sides, 98836 chg coeffs, 10464 upgd conss, 91512 impls, 4426 clqs
70.68/70.70	c (round 33) 1376 del vars, 8898 del conss, 507 chg bounds, 17219 chg sides, 100429 chg coeffs, 10464 upgd conss, 156800 impls, 4434 clqs
72.38/72.44	c (round 34) 1415 del vars, 9011 del conss, 507 chg bounds, 17844 chg sides, 104268 chg coeffs, 10464 upgd conss, 157758 impls, 4983 clqs
77.38/77.45	c (round 35) 1415 del vars, 9556 del conss, 507 chg bounds, 18570 chg sides, 106552 chg coeffs, 10464 upgd conss, 157758 impls, 4988 clqs
80.29/80.33	c (round 36) 1415 del vars, 10117 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 5020 clqs
82.18/82.23	c (round 37) 1417 del vars, 10138 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 5016 clqs
82.18/82.24	c (round 38) 1417 del vars, 10140 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 5016 clqs
82.49/82.51	c (round 39) 1437 del vars, 10156 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 4992 clqs
82.49/82.59	c (round 40) 1437 del vars, 10176 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 4992 clqs
82.88/82.93	c (round 41) 1471 del vars, 10195 del conss, 507 chg bounds, 18602 chg sides, 107064 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
84.48/84.51	c (round 42) 1471 del vars, 10206 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
84.78/84.88	c (round 43) 1471 del vars, 10308 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
84.88/84.96	c (round 44) 1471 del vars, 10311 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
84.98/85.04	c (round 45) 1471 del vars, 10314 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
85.08/85.13	c (round 46) 1471 del vars, 10317 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
85.18/85.21	c (round 47) 1471 del vars, 10320 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
85.18/85.29	c (round 48) 1471 del vars, 10322 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
85.28/85.37	c (round 49) 1471 del vars, 10324 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157758 impls, 4986 clqs
85.38/85.47	c (round 50) 1521 del vars, 10324 del conss, 507 chg bounds, 18912 chg sides, 107980 chg coeffs, 10464 upgd conss, 157762 impls, 4951 clqs
86.98/87.05	c (round 51) 1521 del vars, 10354 del conss, 507 chg bounds, 18981 chg sides, 110286 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
88.58/88.60	c (round 52) 1521 del vars, 10406 del conss, 507 chg bounds, 18981 chg sides, 112036 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
89.88/89.90	c (round 53) 1521 del vars, 10406 del conss, 507 chg bounds, 18981 chg sides, 113786 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
91.38/91.47	c (round 54) 1521 del vars, 10430 del conss, 507 chg bounds, 18981 chg sides, 115536 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
92.98/93.09	c (round 55) 1521 del vars, 10430 del conss, 507 chg bounds, 18981 chg sides, 117284 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
94.78/94.83	c (round 56) 1521 del vars, 10430 del conss, 507 chg bounds, 18981 chg sides, 118577 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
95.88/95.93	c (round 57) 1521 del vars, 10430 del conss, 507 chg bounds, 18981 chg sides, 119869 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
97.18/97.21	c (round 58) 1521 del vars, 10438 del conss, 507 chg bounds, 18981 chg sides, 121161 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
98.48/98.58	c (round 59) 1521 del vars, 10438 del conss, 507 chg bounds, 18981 chg sides, 122453 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
100.08/100.14	c (round 60) 1521 del vars, 10448 del conss, 507 chg bounds, 18981 chg sides, 123745 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
101.68/101.76	c (round 61) 1521 del vars, 10448 del conss, 507 chg bounds, 18981 chg sides, 125037 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
103.48/103.51	c (round 62) 1521 del vars, 10450 del conss, 507 chg bounds, 18981 chg sides, 126329 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
105.28/105.36	c (round 63) 1521 del vars, 10457 del conss, 507 chg bounds, 18981 chg sides, 127607 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
107.17/107.26	c (round 64) 1521 del vars, 10457 del conss, 507 chg bounds, 18981 chg sides, 128494 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
108.57/108.65	c (round 65) 1521 del vars, 10459 del conss, 507 chg bounds, 18981 chg sides, 129310 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
109.98/110.01	c (round 66) 1521 del vars, 10461 del conss, 507 chg bounds, 18981 chg sides, 130126 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
111.27/111.36	c (round 67) 1521 del vars, 10462 del conss, 507 chg bounds, 18981 chg sides, 130865 chg coeffs, 10464 upgd conss, 157762 impls, 5019 clqs
112.57/112.62	c (round 68) 1667 del vars, 10462 del conss, 507 chg bounds, 18981 chg sides, 130865 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
114.07/114.11	c (round 69) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 132141 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
115.38/115.46	c (round 70) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 133408 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
116.67/116.71	c (round 71) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 134636 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
117.97/118.00	c (round 72) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 135414 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
118.57/118.68	c (round 73) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 136183 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
119.37/119.43	c (round 74) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 136943 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
120.17/120.25	c (round 75) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 137694 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
121.07/121.15	c (round 76) 1667 del vars, 10568 del conss, 507 chg bounds, 18981 chg sides, 138436 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
122.08/122.15	c (round 77) 1667 del vars, 10571 del conss, 507 chg bounds, 18981 chg sides, 139167 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
123.08/123.18	c (round 78) 1667 del vars, 10571 del conss, 507 chg bounds, 18981 chg sides, 139889 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
124.18/124.22	c (round 79) 1667 del vars, 10571 del conss, 507 chg bounds, 18981 chg sides, 140371 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
124.87/124.95	c (round 80) 1667 del vars, 10571 del conss, 507 chg bounds, 18981 chg sides, 140623 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
125.28/125.31	c (round 81) 1667 del vars, 10571 del conss, 507 chg bounds, 18981 chg sides, 140812 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
125.47/125.58	c (round 82) 1667 del vars, 10575 del conss, 507 chg bounds, 18981 chg sides, 140812 chg coeffs, 10464 upgd conss, 157856 impls, 4912 clqs
125.57/125.62	c (round 83) 1798 del vars, 10575 del conss, 507 chg bounds, 18981 chg sides, 140812 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
125.77/125.87	c (round 84) 1798 del vars, 10675 del conss, 507 chg bounds, 18981 chg sides, 141157 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
125.97/126.08	c (round 85) 1798 del vars, 10676 del conss, 507 chg bounds, 18981 chg sides, 141496 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.17/126.20	c (round 86) 1798 del vars, 10676 del conss, 507 chg bounds, 18981 chg sides, 141828 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.27/126.31	c (round 87) 1798 del vars, 10676 del conss, 507 chg bounds, 18981 chg sides, 142152 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.38/126.45	c (round 88) 1798 del vars, 10676 del conss, 507 chg bounds, 18981 chg sides, 142467 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.57/126.60	c (round 89) 1798 del vars, 10676 del conss, 507 chg bounds, 18981 chg sides, 142773 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.67/126.78	c (round 90) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 143070 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
126.87/126.96	c (round 91) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 143358 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
127.07/127.16	c (round 92) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 143637 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
127.27/127.36	c (round 93) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 143907 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
127.48/127.58	c (round 94) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 144168 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
127.77/127.81	c (round 95) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 144420 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
127.97/128.05	c (round 96) 1798 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 144663 chg coeffs, 10464 upgd conss, 157856 impls, 4858 clqs
128.17/128.28	c (round 97) 1943 del vars, 10722 del conss, 507 chg bounds, 18981 chg sides, 144708 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
128.47/128.57	c (round 98) 1943 del vars, 10832 del conss, 507 chg bounds, 18981 chg sides, 145130 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
128.77/128.81	c (round 99) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 145548 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
128.97/129.00	c (round 100) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 145961 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
129.17/129.23	c (round 101) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 146369 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
129.47/129.51	c (round 102) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 146771 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
129.78/129.85	c (round 103) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 147166 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
130.17/130.25	c (round 104) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 147553 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
130.57/130.69	c (round 105) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 147931 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
131.07/131.17	c (round 106) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 148300 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
131.57/131.69	c (round 107) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 148660 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
132.17/132.21	c (round 108) 1943 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 149011 chg coeffs, 10464 upgd conss, 157856 impls, 4844 clqs
132.67/132.76	c (round 109) 2085 del vars, 10836 del conss, 507 chg bounds, 18981 chg sides, 149011 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
132.87/132.99	c (round 110) 2085 del vars, 10946 del conss, 507 chg bounds, 18981 chg sides, 149401 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
133.17/133.22	c (round 111) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 149785 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
133.27/133.36	c (round 112) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 150162 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
133.47/133.56	c (round 113) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 150531 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
133.67/133.79	c (round 114) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 150891 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
133.97/134.07	c (round 115) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 151242 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
134.27/134.39	c (round 116) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 151584 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
134.67/134.75	c (round 117) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 151917 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
135.07/135.14	c (round 118) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 152241 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
135.47/135.56	c (round 119) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 152556 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
135.97/136.00	c (round 120) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 152862 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
136.38/136.44	c (round 121) 2085 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 153006 chg coeffs, 10464 upgd conss, 157856 impls, 4786 clqs
136.87/136.90	c (round 122) 2135 del vars, 10947 del conss, 507 chg bounds, 18981 chg sides, 153006 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
138.77/138.84	c (round 123) 2135 del vars, 11011 del conss, 507 chg bounds, 18981 chg sides, 153709 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
139.87/139.94	c (round 124) 2135 del vars, 11011 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
140.67/140.71	c (round 125) 2135 del vars, 11028 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
140.67/140.73	c (round 126) 2135 del vars, 11038 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
140.67/140.74	c (round 127) 2135 del vars, 11040 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
140.67/140.75	c (round 128) 2135 del vars, 11042 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 158510 impls, 4704 clqs
141.57/141.63	c (round 129) 2185 del vars, 11042 del conss, 507 chg bounds, 18981 chg sides, 154195 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
143.17/143.28	c (round 130) 2185 del vars, 11093 del conss, 507 chg bounds, 18981 chg sides, 154717 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
144.07/144.17	c (round 131) 2185 del vars, 11093 del conss, 507 chg bounds, 18981 chg sides, 155203 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
144.47/144.51	c (round 132) 2185 del vars, 11103 del conss, 507 chg bounds, 18981 chg sides, 155653 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
144.67/144.80	c (round 133) 2185 del vars, 11111 del conss, 507 chg bounds, 18981 chg sides, 156077 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
144.96/145.10	c (round 134) 2185 del vars, 11113 del conss, 507 chg bounds, 18981 chg sides, 156467 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
145.36/145.41	c (round 135) 2185 del vars, 11113 del conss, 507 chg bounds, 18981 chg sides, 156825 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
145.66/145.73	c (round 136) 2185 del vars, 11113 del conss, 507 chg bounds, 18981 chg sides, 157089 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
145.86/145.99	c (round 137) 2185 del vars, 11113 del conss, 507 chg bounds, 18981 chg sides, 157330 chg coeffs, 10464 upgd conss, 222008 impls, 4636 clqs
146.76/146.85	c (round 138) 2235 del vars, 11113 del conss, 507 chg bounds, 18981 chg sides, 157330 chg coeffs, 10464 upgd conss, 250706 impls, 4566 clqs
148.66/148.76	c (round 139) 2235 del vars, 11160 del conss, 507 chg bounds, 18981 chg sides, 157474 chg coeffs, 10464 upgd conss, 250706 impls, 4566 clqs
148.96/149.05	c (round 140) 2245 del vars, 11168 del conss, 507 chg bounds, 18981 chg sides, 157474 chg coeffs, 10464 upgd conss, 250706 impls, 4554 clqs
148.96/149.09	c (round 141) 2245 del vars, 11177 del conss, 507 chg bounds, 18981 chg sides, 157474 chg coeffs, 10464 upgd conss, 250706 impls, 4554 clqs
149.86/149.90	c (round 142) 2295 del vars, 11177 del conss, 507 chg bounds, 18981 chg sides, 157474 chg coeffs, 10464 upgd conss, 295594 impls, 4491 clqs
151.67/151.80	c (round 143) 2295 del vars, 11242 del conss, 507 chg bounds, 18981 chg sides, 157600 chg coeffs, 10464 upgd conss, 295594 impls, 4491 clqs
157.27/157.31	c (round 144) 2345 del vars, 11242 del conss, 507 chg bounds, 18981 chg sides, 157600 chg coeffs, 10464 upgd conss, 775140 impls, 4433 clqs
159.16/159.29	c (round 145) 2345 del vars, 11287 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 775140 impls, 4434 clqs
159.96/160.04	c (round 146) 2345 del vars, 11309 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 775140 impls, 4434 clqs
160.06/160.15	c (round 147) 2345 del vars, 11341 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 775140 impls, 4434 clqs
160.06/160.16	c (round 148) 2345 del vars, 11345 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 775140 impls, 4434 clqs
160.06/160.18	c (round 149) 2345 del vars, 11353 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 775140 impls, 4434 clqs
160.76/160.83	c    (160.5s) probing: 1000/6511 (15.4%) - 874 fixings, 0 aggregations, 293186 implications, 0 bound changes
162.67/162.71	c (round 150) 2395 del vars, 11353 del conss, 507 chg bounds, 18991 chg sides, 157835 chg coeffs, 10464 upgd conss, 929376 impls, 4389 clqs
164.66/164.73	c (round 151) 2395 del vars, 11400 del conss, 507 chg bounds, 19053 chg sides, 158465 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
166.56/166.66	c (round 152) 2404 del vars, 11436 del conss, 507 chg bounds, 19053 chg sides, 158526 chg coeffs, 10464 upgd conss, 929380 impls, 4425 clqs
167.16/167.23	c (round 153) 2404 del vars, 11444 del conss, 507 chg bounds, 19226 chg sides, 158864 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
167.56/167.68	c (round 154) 2404 del vars, 11466 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
167.66/167.73	c (round 155) 2404 del vars, 11479 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
167.66/167.77	c (round 156) 2404 del vars, 11492 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
167.76/167.82	c (round 157) 2404 del vars, 11499 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
167.76/167.83	c (round 158) 2404 del vars, 11501 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 929380 impls, 4426 clqs
171.57/171.63	c (round 159) 2454 del vars, 11501 del conss, 507 chg bounds, 19226 chg sides, 158873 chg coeffs, 10464 upgd conss, 1125010 impls, 4384 clqs
173.56/173.70	c (round 160) 2454 del vars, 11540 del conss, 507 chg bounds, 19283 chg sides, 159499 chg coeffs, 10464 upgd conss, 1125014 impls, 4405 clqs
175.56/175.63	c (round 161) 2454 del vars, 11594 del conss, 507 chg bounds, 19285 chg sides, 159525 chg coeffs, 10464 upgd conss, 1125014 impls, 4407 clqs
181.16/181.20	c (round 162) 2504 del vars, 11594 del conss, 507 chg bounds, 19285 chg sides, 159525 chg coeffs, 10464 upgd conss, 1397272 impls, 4361 clqs
183.16/183.22	c (round 163) 2504 del vars, 11637 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1397276 impls, 4377 clqs
184.96/185.06	c (round 164) 2504 del vars, 11707 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1397276 impls, 4377 clqs
185.06/185.11	c (round 165) 2504 del vars, 11711 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1397276 impls, 4377 clqs
185.06/185.15	c (round 166) 2504 del vars, 11725 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1397276 impls, 4377 clqs
185.06/185.16	c (round 167) 2504 del vars, 11726 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1397276 impls, 4377 clqs
185.77/185.84	c    (185.5s) probing: 2000/6511 (30.7%) - 1017 fixings, 0 aggregations, 582586 implications, 0 bound changes
191.26/191.36	c (round 168) 2554 del vars, 11726 del conss, 507 chg bounds, 19353 chg sides, 160217 chg coeffs, 10464 upgd conss, 1762632 impls, 4309 clqs
193.26/193.31	c (round 169) 2554 del vars, 11776 del conss, 507 chg bounds, 19390 chg sides, 160604 chg coeffs, 10464 upgd conss, 1762636 impls, 4325 clqs
194.96/195.05	c (round 170) 2554 del vars, 11788 del conss, 507 chg bounds, 19390 chg sides, 160604 chg coeffs, 10464 upgd conss, 1762636 impls, 4325 clqs
200.95/201.09	c (round 171) 2604 del vars, 11788 del conss, 507 chg bounds, 19390 chg sides, 160604 chg coeffs, 10464 upgd conss, 2123860 impls, 4257 clqs
202.95/203.01	c (round 172) 2604 del vars, 11842 del conss, 507 chg bounds, 19424 chg sides, 160983 chg coeffs, 10464 upgd conss, 2123864 impls, 4273 clqs
204.65/204.76	c (round 173) 2604 del vars, 11852 del conss, 507 chg bounds, 19424 chg sides, 160983 chg coeffs, 10464 upgd conss, 2123864 impls, 4273 clqs
204.75/204.82	c (round 174) 2604 del vars, 11855 del conss, 507 chg bounds, 19424 chg sides, 160983 chg coeffs, 10464 upgd conss, 2123864 impls, 4273 clqs
204.75/204.86	c (round 175) 2604 del vars, 11897 del conss, 507 chg bounds, 19424 chg sides, 160983 chg coeffs, 10464 upgd conss, 2123864 impls, 4273 clqs
205.24/205.31	c    (204.9s) probing: 3000/6511 (46.1%) - 1120 fixings, 0 aggregations, 884184 implications, 0 bound changes
208.64/208.71	c (round 176) 2654 del vars, 11897 del conss, 507 chg bounds, 19424 chg sides, 160983 chg coeffs, 10464 upgd conss, 2348158 impls, 4206 clqs
210.54/210.61	c (round 177) 2654 del vars, 11946 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2348162 impls, 4222 clqs
212.25/212.32	c (round 178) 2654 del vars, 11953 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2348162 impls, 4222 clqs
212.25/212.38	c (round 179) 2654 del vars, 11957 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2348162 impls, 4222 clqs
212.34/212.41	c (round 180) 2654 del vars, 11967 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2348162 impls, 4222 clqs
212.34/212.42	c (round 181) 2654 del vars, 11973 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2348162 impls, 4222 clqs
214.54/214.62	c (round 182) 2704 del vars, 11973 del conss, 507 chg bounds, 19455 chg sides, 161343 chg coeffs, 10464 upgd conss, 2467588 impls, 4156 clqs
216.34/216.49	c (round 183) 2704 del vars, 12019 del conss, 507 chg bounds, 19475 chg sides, 161559 chg coeffs, 10464 upgd conss, 2467592 impls, 4168 clqs
218.14/218.22	c (round 184) 2704 del vars, 12024 del conss, 507 chg bounds, 19475 chg sides, 161559 chg coeffs, 10464 upgd conss, 2467592 impls, 4168 clqs
218.14/218.26	c (round 185) 2704 del vars, 12026 del conss, 507 chg bounds, 19475 chg sides, 161559 chg coeffs, 10464 upgd conss, 2467592 impls, 4168 clqs
220.34/220.47	c (round 186) 2754 del vars, 12026 del conss, 507 chg bounds, 19475 chg sides, 161559 chg coeffs, 10464 upgd conss, 2572856 impls, 4106 clqs
222.24/222.34	c (round 187) 2754 del vars, 12072 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2572860 impls, 4110 clqs
223.94/224.04	c (round 188) 2754 del vars, 12078 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2572860 impls, 4110 clqs
223.94/224.09	c (round 189) 2754 del vars, 12079 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2572860 impls, 4110 clqs
224.04/224.11	c (round 190) 2754 del vars, 12085 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2572860 impls, 4110 clqs
224.04/224.13	c (round 191) 2754 del vars, 12091 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2572860 impls, 4110 clqs
225.54/225.60	c (round 192) 2804 del vars, 12091 del conss, 507 chg bounds, 19490 chg sides, 161706 chg coeffs, 10464 upgd conss, 2636780 impls, 4048 clqs
227.34/227.45	c (round 193) 2804 del vars, 12136 del conss, 507 chg bounds, 19504 chg sides, 161845 chg coeffs, 10464 upgd conss, 2636784 impls, 4054 clqs
229.03/229.17	c (round 194) 2804 del vars, 12141 del conss, 507 chg bounds, 19504 chg sides, 161845 chg coeffs, 10464 upgd conss, 2636784 impls, 4054 clqs
229.13/229.22	c (round 195) 2804 del vars, 12144 del conss, 507 chg bounds, 19504 chg sides, 161845 chg coeffs, 10464 upgd conss, 2636784 impls, 4054 clqs
229.74/229.89	c    (229.5s) probing: 4000/6511 (61.4%) - 1333 fixings, 0 aggregations, 1093442 implications, 0 bound changes
230.73/230.87	c (round 196) 2854 del vars, 12144 del conss, 507 chg bounds, 19504 chg sides, 161845 chg coeffs, 10464 upgd conss, 2701762 impls, 3995 clqs
232.63/232.71	c (round 197) 2854 del vars, 12196 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2701766 impls, 4000 clqs
234.03/234.18	c (round 198) 2854 del vars, 12201 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2701766 impls, 4000 clqs
234.14/234.23	c (round 199) 2854 del vars, 12204 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2701766 impls, 4000 clqs
234.14/234.25	c (round 200) 2854 del vars, 12210 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2701766 impls, 4000 clqs
234.14/234.26	c (round 201) 2854 del vars, 12213 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2701766 impls, 4000 clqs
236.13/236.21	c (round 202) 2904 del vars, 12213 del conss, 507 chg bounds, 19516 chg sides, 161967 chg coeffs, 10464 upgd conss, 2779926 impls, 3948 clqs
237.93/238.01	c (round 203) 2904 del vars, 12266 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2779926 impls, 3949 clqs
238.23/238.32	c (round 204) 2904 del vars, 12275 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2779926 impls, 3949 clqs
238.23/238.36	c (round 205) 2904 del vars, 12276 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2779926 impls, 3949 clqs
238.23/238.37	c (round 206) 2904 del vars, 12277 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2779926 impls, 3949 clqs
238.23/238.39	c (round 207) 2904 del vars, 12279 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2779926 impls, 3949 clqs
240.33/240.49	c (round 208) 2954 del vars, 12279 del conss, 507 chg bounds, 19523 chg sides, 162080 chg coeffs, 10464 upgd conss, 2866362 impls, 3899 clqs
242.23/242.31	c (round 209) 2954 del vars, 12342 del conss, 507 chg bounds, 19537 chg sides, 162248 chg coeffs, 10464 upgd conss, 2866366 impls, 3911 clqs
243.83/243.91	c (round 210) 2972 del vars, 12360 del conss, 507 chg bounds, 19537 chg sides, 162248 chg coeffs, 10464 upgd conss, 2866366 impls, 3907 clqs
244.23/244.37	c (round 211) 2972 del vars, 12379 del conss, 507 chg bounds, 19751 chg sides, 162744 chg coeffs, 10464 upgd conss, 2866366 impls, 3908 clqs
244.73/244.82	c (round 212) 2972 del vars, 12395 del conss, 507 chg bounds, 19751 chg sides, 162744 chg coeffs, 10464 upgd conss, 2866366 impls, 3908 clqs
246.93/247.00	c (round 213) 3022 del vars, 12395 del conss, 507 chg bounds, 19751 chg sides, 162744 chg coeffs, 10464 upgd conss, 2955942 impls, 3860 clqs
248.74/248.81	c (round 214) 3022 del vars, 12450 del conss, 507 chg bounds, 19764 chg sides, 162884 chg coeffs, 10464 upgd conss, 2955946 impls, 3873 clqs
250.04/250.16	c (round 215) 3042 del vars, 12477 del conss, 507 chg bounds, 19764 chg sides, 162884 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.44/250.58	c (round 216) 3042 del vars, 12481 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.64/250.71	c (round 217) 3042 del vars, 12532 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.64/250.76	c (round 218) 3042 del vars, 12534 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.74/250.81	c (round 219) 3042 del vars, 12536 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.74/250.86	c (round 220) 3042 del vars, 12538 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.84/250.91	c (round 221) 3042 del vars, 12540 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.84/250.96	c (round 222) 3042 del vars, 12542 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.94/251.01	c (round 223) 3042 del vars, 12544 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
250.94/251.07	c (round 224) 3042 del vars, 12546 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
251.04/251.12	c (round 225) 3042 del vars, 12547 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
251.04/251.15	c (round 226) 3042 del vars, 12580 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 2955946 impls, 3863 clqs
252.43/252.52	c (round 227) 3116 del vars, 12580 del conss, 507 chg bounds, 19946 chg sides, 163294 chg coeffs, 10464 upgd conss, 3005796 impls, 3756 clqs
254.13/254.29	c (round 228) 3116 del vars, 12661 del conss, 507 chg bounds, 19957 chg sides, 163413 chg coeffs, 10464 upgd conss, 3005798 impls, 3770 clqs
255.33/255.45	c (round 229) 3136 del vars, 12687 del conss, 507 chg bounds, 19957 chg sides, 163413 chg coeffs, 10464 upgd conss, 3005798 impls, 3748 clqs
256.14/256.28	c (round 230) 3136 del vars, 12708 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3748 clqs
256.33/256.46	c (round 231) 3138 del vars, 12714 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
256.43/256.54	c (round 232) 3138 del vars, 12716 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
256.53/256.65	c (round 233) 3138 del vars, 12722 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
256.63/256.76	c (round 234) 3138 del vars, 12729 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
256.73/256.84	c (round 235) 3138 del vars, 12735 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
256.73/256.88	c (round 236) 3138 del vars, 12776 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3005798 impls, 3744 clqs
259.83/259.93	c    (259.6s) probing: 5000/6511 (76.8%) - 1636 fixings, 0 aggregations, 1269077 implications, 0 bound changes
259.93/260.09	c (round 237) 3188 del vars, 12776 del conss, 507 chg bounds, 20117 chg sides, 163621 chg coeffs, 10464 upgd conss, 3131290 impls, 3714 clqs
261.74/261.82	c (round 238) 3188 del vars, 12817 del conss, 507 chg bounds, 20154 chg sides, 164081 chg coeffs, 10464 upgd conss, 3131308 impls, 3719 clqs
262.84/262.92	c (round 239) 3188 del vars, 12867 del conss, 507 chg bounds, 20160 chg sides, 164149 chg coeffs, 10464 upgd conss, 3131308 impls, 3721 clqs
263.73/263.83	c (round 240) 3188 del vars, 12870 del conss, 507 chg bounds, 20160 chg sides, 164149 chg coeffs, 10464 upgd conss, 3131308 impls, 3723 clqs
266.03/266.12	c (round 241) 3238 del vars, 12870 del conss, 507 chg bounds, 20160 chg sides, 164149 chg coeffs, 10464 upgd conss, 3178024 impls, 3696 clqs
267.73/267.83	c (round 242) 3238 del vars, 12903 del conss, 507 chg bounds, 20200 chg sides, 164667 chg coeffs, 10464 upgd conss, 3178042 impls, 3700 clqs
268.83/268.93	c (round 243) 3238 del vars, 12975 del conss, 507 chg bounds, 20218 chg sides, 164866 chg coeffs, 10464 upgd conss, 3178042 impls, 3701 clqs
269.33/269.45	c (round 244) 3238 del vars, 12977 del conss, 507 chg bounds, 20218 chg sides, 164866 chg coeffs, 10464 upgd conss, 3178042 impls, 3702 clqs
271.03/271.18	c (round 245) 3288 del vars, 12977 del conss, 507 chg bounds, 20218 chg sides, 164866 chg coeffs, 10464 upgd conss, 3233036 impls, 3687 clqs
272.73/272.87	c (round 246) 3288 del vars, 13008 del conss, 507 chg bounds, 20261 chg sides, 165425 chg coeffs, 10464 upgd conss, 3233054 impls, 3688 clqs
273.53/273.61	c (round 247) 3288 del vars, 13098 del conss, 507 chg bounds, 20288 chg sides, 165713 chg coeffs, 10464 upgd conss, 3233054 impls, 3690 clqs
274.03/274.15	c (round 248) 3288 del vars, 13100 del conss, 507 chg bounds, 20288 chg sides, 165713 chg coeffs, 10464 upgd conss, 3233054 impls, 3690 clqs
274.63/274.71	c (round 249) 3338 del vars, 13100 del conss, 507 chg bounds, 20288 chg sides, 165713 chg coeffs, 10464 upgd conss, 3248274 impls, 3672 clqs
276.83/276.95	c (round 250) 3338 del vars, 13128 del conss, 507 chg bounds, 20720 chg sides, 166741 chg coeffs, 10464 upgd conss, 3248292 impls, 3675 clqs
278.13/278.24	c (round 251) 3340 del vars, 13236 del conss, 507 chg bounds, 20726 chg sides, 166807 chg coeffs, 10464 upgd conss, 3248292 impls, 3670 clqs
278.13/278.27	c (round 252) 3340 del vars, 13238 del conss, 507 chg bounds, 20726 chg sides, 166807 chg coeffs, 10464 upgd conss, 3248292 impls, 3670 clqs
278.32/278.41	c (round 253) 3348 del vars, 13255 del conss, 507 chg bounds, 20726 chg sides, 166807 chg coeffs, 10464 upgd conss, 3248292 impls, 3667 clqs
278.62/278.72	c (round 254) 3348 del vars, 13256 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3667 clqs
278.82/278.94	c (round 255) 3349 del vars, 13303 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
278.82/278.95	c (round 256) 3349 del vars, 13304 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
278.92/279.09	c (round 257) 3349 del vars, 13323 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
279.02/279.13	c (round 258) 3349 del vars, 13325 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
279.02/279.15	c (round 259) 3349 del vars, 13332 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
279.02/279.16	c (round 260) 3349 del vars, 13336 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3248292 impls, 3664 clqs
280.43/280.56	c (round 261) 3399 del vars, 13336 del conss, 507 chg bounds, 20897 chg sides, 167096 chg coeffs, 10464 upgd conss, 3329654 impls, 3653 clqs
282.22/282.33	c (round 262) 3399 del vars, 13354 del conss, 507 chg bounds, 21124 chg sides, 167907 chg coeffs, 10464 upgd conss, 3329654 impls, 3654 clqs
282.82/282.94	c (round 263) 3399 del vars, 13449 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.32/283.42	c (round 264) 3399 del vars, 13454 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.32/283.46	c (round 265) 3399 del vars, 13459 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.42/283.51	c (round 266) 3399 del vars, 13463 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.42/283.55	c (round 267) 3399 del vars, 13467 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.52/283.60	c (round 268) 3399 del vars, 13471 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.52/283.65	c (round 269) 3399 del vars, 13475 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.52/283.69	c (round 270) 3399 del vars, 13479 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.63/283.74	c (round 271) 3399 del vars, 13483 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.63/283.78	c (round 272) 3399 del vars, 13485 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.63/283.80	c (round 273) 3399 del vars, 13488 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
283.73/283.81	c (round 274) 3399 del vars, 13489 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3329654 impls, 3655 clqs
284.12/284.24	c (round 275) 3449 del vars, 13489 del conss, 507 chg bounds, 21140 chg sides, 168083 chg coeffs, 10464 upgd conss, 3338380 impls, 3649 clqs
285.83/285.95	c (round 276) 3449 del vars, 13497 del conss, 507 chg bounds, 21301 chg sides, 168819 chg coeffs, 10464 upgd conss, 3338380 impls, 3649 clqs
286.22/286.33	c (round 277) 3451 del vars, 13606 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3338380 impls, 3640 clqs
286.22/286.35	c (round 278) 3451 del vars, 13609 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3338380 impls, 3640 clqs
286.32/286.48	c (round 279) 3451 del vars, 13634 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3338380 impls, 3640 clqs
286.42/286.52	c (round 280) 3451 del vars, 13646 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3338380 impls, 3640 clqs
286.42/286.53	c (round 281) 3451 del vars, 13648 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3338380 impls, 3640 clqs
286.62/286.71	c    (286.4s) probing: 6000/6511 (92.2%) - 1931 fixings, 0 aggregations, 1342797 implications, 0 bound changes
286.62/286.72	c (round 282) 3494 del vars, 13648 del conss, 507 chg bounds, 21304 chg sides, 168852 chg coeffs, 10464 upgd conss, 3339214 impls, 3601 clqs
288.13/288.24	c (round 283) 3494 del vars, 13737 del conss, 507 chg bounds, 21379 chg sides, 169366 chg coeffs, 10464 upgd conss, 3339214 impls, 3601 clqs
288.32/288.43	c (round 284) 3494 del vars, 13816 del conss, 507 chg bounds, 21388 chg sides, 169465 chg coeffs, 10464 upgd conss, 3339214 impls, 3601 clqs
288.32/288.47	c (round 285) 3494 del vars, 13817 del conss, 507 chg bounds, 21388 chg sides, 169465 chg coeffs, 10464 upgd conss, 3339214 impls, 3601 clqs
288.32/288.48	c presolving (286 rounds):
288.32/288.48	c  3494 deleted vars, 13817 deleted constraints, 507 tightened bounds, 0 added holes, 21388 changed sides, 169465 changed coefficients
288.32/288.48	c  3339214 implications, 3601 cliques
288.32/288.48	c presolved problem has 4488 variables (4488 bin, 0 int, 0 impl, 0 cont) and 7038 constraints
288.32/288.48	c    1414 constraints of type <knapsack>
288.32/288.48	c    3611 constraints of type <setppc>
288.32/288.48	c    2013 constraints of type <logicor>
288.32/288.48	c transformed objective value is always integral (scale: 1)
288.32/288.48	c Presolving Time: 288.04
288.32/288.48	c - non default parameters ----------------------------------------------------------------------
288.32/288.48	c # SCIP version 1.2.1.3
288.32/288.48	c 
288.32/288.48	c # frequency for displaying node information lines
288.32/288.48	c # [type: int, range: [-1,2147483647], default: 100]
288.32/288.48	c display/freq = 10000
288.32/288.48	c 
288.32/288.48	c # maximal time in seconds to run
288.32/288.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
288.32/288.48	c limits/time = 1789.65
288.32/288.48	c 
288.32/288.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
288.32/288.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
288.32/288.48	c limits/memory = 13950
288.32/288.48	c 
288.32/288.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
288.32/288.48	c # [type: int, range: [1,2], default: 1]
288.32/288.48	c timing/clocktype = 2
288.32/288.48	c 
288.32/288.48	c # should presolving try to simplify inequalities
288.32/288.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
288.32/288.48	c constraints/linear/simplifyinequalities = TRUE
288.32/288.48	c 
288.32/288.48	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
288.32/288.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
288.32/288.48	c constraints/indicator/addCouplingCons = TRUE
288.32/288.48	c 
288.32/288.48	c # should presolving try to simplify knapsacks
288.32/288.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
288.32/288.48	c constraints/knapsack/simplifyinequalities = TRUE
288.32/288.48	c 
288.32/288.48	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
288.32/288.48	c # [type: int, range: [-1,2147483647], default: -1]
288.32/288.48	c separating/rapidlearning/freq = 0
288.32/288.48	c 
288.32/288.48	c -----------------------------------------------------------------------------------------------
288.32/288.48	c start solving
288.32/288.48	c 
289.33/289.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
289.33/289.47	c   289s|     1 |     0 |  2527 |     - | 152M|   0 | 817 |4488 |7038 |4488 |7038 |   0 |   0 |   0 | 1.205920e+01 |      --      |    Inf 
335.82/335.99	c   336s|     1 |     0 | 28908 |     - | 152M|   0 | 791 |4488 |7038 |4488 |7305 | 267 |   0 |   0 | 1.209834e+01 |      --      |    Inf 
341.82/341.95	c   342s|     1 |     0 | 34488 |     - | 153M|   0 | 934 |4488 |7038 |4488 |7468 | 430 |   0 |   0 | 1.209834e+01 |      --      |    Inf 
356.11/356.24	c   356s|     1 |     0 | 47982 |     - | 153M|   0 | 871 |4488 |7038 |4488 |7646 | 608 |   0 |   0 | 1.305405e+01 |      --      |    Inf 
363.11/363.27	c   363s|     1 |     0 | 54597 |     - | 153M|   0 | 871 |4488 |7038 |4488 |7727 | 689 |   0 |   0 | 1.305405e+01 |      --      |    Inf 
370.41/370.54	c   370s|     1 |     0 | 61265 |     - | 153M|   0 | 917 |4488 |7038 |4488 |7768 | 730 |   0 |   0 | 1.305405e+01 |      --      |    Inf 
377.11/377.25	c   377s|     1 |     0 | 67373 |     - | 153M|   0 | 992 |4488 |7038 |4488 |7803 | 765 |   0 |   0 | 1.305405e+01 |      --      |    Inf 
387.81/387.94	c   388s|     1 |     0 | 76679 |     - | 153M|   0 | 832 |4488 |7038 |4488 |7826 | 788 |   0 |   0 | 1.407692e+01 |      --      |    Inf 
440.70/440.84	c   440s|     1 |     0 |113795 |     - | 155M|   0 |1165 |4488 |7038 |4488 |7936 | 898 |   0 |   0 | 1.743243e+01 |      --      |    Inf 
513.09/513.23	c   513s|     1 |     0 |173945 |     - | 155M|   0 | 728 |4488 |7038 |4488 |8059 |1021 |   0 |   0 | 1.753968e+01 |      --      |    Inf 
519.99/520.19	c   520s|     1 |     0 |180806 |     - | 160M|   0 | 841 |4488 |7038 |4488 |8157 |1119 |   0 |   0 | 1.754098e+01 |      --      |    Inf 
542.68/542.81	c   542s|     1 |     0 |198980 |     - | 161M|   0 | 818 |4488 |7038 |4488 |8247 |1209 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
584.38/584.56	c   584s|     1 |     0 |233517 |     - | 161M|   0 | 794 |4488 |7038 |4488 |8349 |1311 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
624.58/624.79	c   624s|     1 |     0 |265047 |     - | 161M|   0 | 867 |4488 |7038 |4488 |8433 |1395 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
662.86/663.08	c   663s|     1 |     0 |295399 |     - | 161M|   0 | 721 |4488 |7038 |4488 |7989 |1485 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
708.26/708.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
708.26/708.47	c   708s|     1 |     0 |333377 |     - | 161M|   0 | 702 |4488 |7038 |4488 |8050 |1546 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
757.54/757.72	c   757s|     1 |     0 |374976 |     - | 161M|   0 | 743 |4488 |7038 |4488 |8099 |1595 |   0 |   0 | 1.846809e+01 |      --      |    Inf 
770.34/770.54	c   770s|     1 |     2 |374976 |     - | 161M|   0 | 743 |4488 |7038 |4488 |8099 |1595 |   0 |  11 | 1.846809e+01 |      --      |    Inf 
1790.09/1790.42	c 
1790.09/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1790.09/1790.42	c Solving Time (sec) : 1790.05
1790.09/1790.42	c Solving Nodes      : 46
1790.09/1790.42	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.09/1790.42	c Dual Bound         : +1.85166666666667e+01
1790.09/1790.42	c Gap                : infinite
1790.09/1790.42	s UNKNOWN
1790.09/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1790.09/1790.42	c Solving Time       :    1790.05
1790.09/1790.42	c Original Problem   :
1790.09/1790.42	c   Problem name     : HOME/instance-3741395-1338753838.opb
1790.09/1790.42	c   Variables        : 7982 (7982 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.42	c   Constraints      : 11063 initial, 11063 maximal
1790.09/1790.42	c Presolved Problem  :
1790.09/1790.42	c   Problem name     : t_HOME/instance-3741395-1338753838.opb
1790.09/1790.42	c   Variables        : 4488 (4488 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.09/1790.42	c   Constraints      : 7038 initial, 7264 maximal
1790.09/1790.42	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.09/1790.42	c   trivial          :       0.07          0          0          0          0          0          0          0          0
1790.09/1790.42	c   dualfix          :       0.04          0          0          0          0          0          0          0          0
1790.09/1790.42	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.09/1790.42	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.09/1790.42	c   implics          :       0.15          0          0          0          0          0          0          0          0
1790.09/1790.42	c   probing          :      58.69       1931          0          0          0          0          0          0          0
1790.09/1790.42	c   knapsack         :     216.94         54          0          0          0          0       5296      13541     161618
1790.09/1790.42	c   setppc           :      10.38       1000          0          0          0          0       7737          0          0
1790.09/1790.42	c   linear           :       0.68        507          2          0        507          0        599       7847       7847
1790.09/1790.42	c   logicor          :       0.59          0          0          0          0          0        185          0          0
1790.09/1790.42	c   root node        :          -          0          -          -          0          -          -          -          -
1790.09/1790.42	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.09/1790.42	c   integral         :          0          0          0         45          0          0          0          0          0         90
1790.09/1790.42	c   knapsack         :       1414         16      43727          0          0        336       2253        366          0          0
1790.09/1790.42	c   setppc           :       3611         16      43391          0          0        741       5794          0          0          0
1790.09/1790.42	c   logicor          :       2013+        16      36408          0          0         53       1195          0          0          0
1790.09/1790.42	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1790.09/1790.42	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.09/1790.42	c   integral         :     346.01       0.00       0.00     346.01       0.00
1790.09/1790.42	c   knapsack         :      33.96       0.83      33.13       0.00       0.00
1790.09/1790.42	c   setppc           :       4.64       0.00       4.63       0.00       0.00
1790.09/1790.42	c   logicor          :       0.82       0.00       0.82       0.00       0.00
1790.09/1790.42	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.09/1790.42	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.09/1790.42	c   vbounds          :       0.03          2          0          0
1790.09/1790.42	c   rootredcost      :       0.03          0          0          0
1790.09/1790.42	c   pseudoobj        :       0.03       1377          0          0
1790.09/1790.42	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.09/1790.42	c   propagation      :       0.01         20         20        103      197.7         19        9.1          -
1790.09/1790.42	c   infeasible LP    :       0.05         18         17        259      313.0          8       14.6          0
1790.09/1790.42	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.09/1790.42	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.09/1790.42	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.09/1790.42	c   applied globally :          -          -          -        240      189.7          -          -          -
1790.09/1790.42	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.09/1790.42	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.09/1790.42	c   cut pool         :       0.01         15          -          -        167          -    (maximal pool size: 2568)
1790.09/1790.42	c   redcost          :       0.00         60          0          0          0          0
1790.09/1790.42	c   impliedbounds    :       0.11         16          0          0       2552          0
1790.09/1790.42	c   intobj           :       0.00          0          0          0          0          0
1790.09/1790.42	c   cgmip            :       0.00          0          0          0          0          0
1790.09/1790.42	c   gomory           :       6.95         16          0          0       1212          0
1790.09/1790.42	c   strongcg         :       6.85         16          0          0       1188          0
1790.09/1790.42	c   cmir             :       0.49         10          0          0          1          0
1790.09/1790.42	c   flowcover        :       0.82         10          0          0         62          0
1790.09/1790.42	c   clique           :       8.43         16          0          0        150          0
1790.09/1790.42	c   zerohalf         :       0.00          0          0          0          0          0
1790.09/1790.42	c   mcf              :       0.01          1          0          0          0          0
1790.09/1790.42	c   rapidlearning    :       7.83          1          0          0          0          0
1790.09/1790.42	c Pricers            :       Time      Calls       Vars
1790.09/1790.42	c   problem variables:       0.00          0          0
1790.09/1790.42	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.09/1790.42	c   relpscost        :     346.01         45          0          0          0          0         90
1790.09/1790.42	c   pscost           :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   inference        :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   mostinf          :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   leastinf         :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.09/1790.42	c   random           :       0.00          0          0          0          0          0          0
1790.09/1790.42	c Primal Heuristics  :       Time      Calls      Found
1790.09/1790.42	c   LP solutions     :       0.00          -          0
1790.09/1790.42	c   pseudo solutions :       0.00          -          0
1790.09/1790.42	c   oneopt           :       0.00          0          0
1790.09/1790.42	c   crossover        :       0.00          0          0
1790.09/1790.42	c   guideddiving     :       0.00          0          0
1790.09/1790.42	c   coefdiving       :      40.29          1          0
1790.09/1790.42	c   pscostdiving     :     129.05          1          0
1790.09/1790.42	c   fracdiving       :     271.38          1          0
1790.09/1790.42	c   veclendiving     :       5.60          1          0
1790.09/1790.42	c   objpscostdiving  :      28.88          1          0
1790.09/1790.42	c   rootsoldiving    :       3.48          1          0
1790.09/1790.42	c   trivial          :       0.01          2          0
1790.09/1790.42	c   simplerounding   :       0.00          0          0
1790.09/1790.42	c   zirounding       :       0.01         45          0
1790.09/1790.42	c   rounding         :       0.04         61          0
1790.09/1790.42	c   shifting         :       0.09         20          0
1790.09/1790.42	c   intshifting      :       0.00          0          0
1790.09/1790.42	c   twoopt           :       0.00          0          0
1790.09/1790.42	c   fixandinfer      :       0.00          0          0
1790.09/1790.42	c   feaspump         :      26.11          1          0
1790.09/1790.42	c   intdiving        :       0.00          0          0
1790.09/1790.42	c   actconsdiving    :       0.00          0          0
1790.09/1790.42	c   linesearchdiving :       5.05          1          0
1790.09/1790.42	c   octane           :       0.00          0          0
1790.09/1790.42	c   rens             :       0.17          1          0
1790.09/1790.42	c   rins             :       0.00          0          0
1790.09/1790.42	c   localbranching   :       0.00          0          0
1790.09/1790.42	c   mutation         :       0.00          0          0
1790.09/1790.42	c   dins             :       0.00          0          0
1790.09/1790.42	c   undercover       :       0.00          0          0
1790.09/1790.42	c   nlp              :       0.00          0          0
1790.09/1790.42	c   trysol           :       0.00          0          0
1790.09/1790.42	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.09/1790.42	c   primal LP        :       0.02          0          0       0.00       0.00
1790.09/1790.42	c   dual LP          :     613.00         62     577391    9312.76     941.92
1790.09/1790.42	c   lex dual LP      :       0.00          0          0       0.00          -
1790.09/1790.42	c   barrier LP       :       0.00          0          0       0.00          -
1790.09/1790.42	c   diving/probing LP:     508.14        701     588975     840.19    1159.07
1790.09/1790.42	c   strong branching :     346.00        437     411535     941.73    1189.41
1790.09/1790.42	c     (at root node) :          -         11      11000    1000.00          -
1790.09/1790.42	c   conflict analysis:       0.00          0          0       0.00          -
1790.09/1790.42	c B&B Tree           :
1790.09/1790.42	c   number of runs   :          1
1790.09/1790.42	c   nodes            :         46
1790.09/1790.42	c   nodes (total)    :         46
1790.09/1790.42	c   nodes left       :         45
1790.09/1790.42	c   max depth        :         13
1790.09/1790.42	c   max depth (total):         13
1790.09/1790.42	c   backtracks       :          7 (15.2%)
1790.09/1790.42	c   delayed cutoffs  :          0
1790.09/1790.42	c   repropagations   :          2 (1 domain reductions, 0 cutoffs)
1790.09/1790.42	c   avg switch length:       2.17
1790.09/1790.42	c   switching time   :       0.04
1790.09/1790.42	c Solution           :
1790.09/1790.42	c   Solutions found  :          0 (0 improvements)
1790.09/1790.42	c   Primal Bound     :          -
1790.09/1790.42	c   Dual Bound       : +1.85166666666667e+01
1790.09/1790.42	c   Gap              :   infinite
1790.09/1790.42	c   Root Dual Bound  : +1.84680851063830e+01
1790.09/1790.42	c   Root Iterations  :     374976
1790.19/1790.52	c Time complete: 1790.21.

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

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.05 2.00 2/176 19250
/proc/meminfo: memFree=27575240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 1632 0 0 0 0 0 0 0 20 0 1 0 341509444 10211328 1578 33554432000 4194304 8395647 140736565221424 140733418429016 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 2493 1590 374 1026 0 1463 0

[startup+0.06657 s]
/proc/loadavg: 2.04 2.05 2.00 2/176 19250
/proc/meminfo: memFree=27575240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=20892 CPUtime=0.06 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 4476 0 0 0 5 1 0 0 20 0 1 0 341509444 21393408 4422 33554432000 4194304 8395647 140736565221424 140733418429016 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 5223 4422 393 1026 0 4193 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20892

[startup+0.100317 s]
/proc/loadavg: 2.04 2.05 2.00 2/176 19250
/proc/meminfo: memFree=27575240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=21756 CPUtime=0.09 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 4694 0 0 0 8 1 0 0 20 0 1 0 341509444 22278144 4640 33554432000 4194304 8395647 140736565221424 140733418429016 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 5439 4640 393 1026 0 4409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21756

[startup+0.300251 s]
/proc/loadavg: 2.04 2.05 2.00 2/176 19250
/proc/meminfo: memFree=27575240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=27952 CPUtime=0.29 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 6207 0 0 0 28 1 0 0 20 0 1 0 341509444 28622848 6153 33554432000 4194304 8395647 140736565221424 140736565086632 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 6988 6153 393 1026 0 5958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27952

[startup+0.700284 s]
/proc/loadavg: 2.04 2.05 2.00 2/176 19250
/proc/meminfo: memFree=27575240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=99124 CPUtime=0.69 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 23963 0 0 0 65 4 0 0 20 0 1 0 341509444 101502976 23555 33554432000 4194304 8395647 140736565221424 140736565086632 6077723 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 24781 23555 470 1026 0 23751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99124

[startup+1.50024 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 19251
/proc/meminfo: memFree=27475148/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=132420 CPUtime=1.48 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 32341 0 0 0 143 5 0 0 20 0 1 0 341509444 135598080 31933 33554432000 4194304 8395647 140736565221424 140736565217400 4954718 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 33105 31933 493 1026 0 32075 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132420

[startup+3.10024 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 19251
/proc/meminfo: memFree=27448240/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=133264 CPUtime=3.08 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 32573 0 0 0 303 5 0 0 20 0 1 0 341509444 136462336 32165 33554432000 4194304 8395647 140736565221424 140736565215656 6074097 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 33316 32165 496 1026 0 32286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133264

[startup+6.30028 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 19251
/proc/meminfo: memFree=27444024/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=137644 CPUtime=6.28 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 33675 0 0 0 623 5 0 0 20 0 1 0 341509444 140947456 33267 33554432000 4194304 8395647 140736565221424 140736565218440 5220655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 34411 33267 499 1026 0 33381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 137644

[startup+12.7002 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 19251
/proc/meminfo: memFree=27443048/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=137644 CPUtime=12.68 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 33677 0 0 0 1263 5 0 0 20 0 1 0 341509444 140947456 33269 33554432000 4194304 8395647 140736565221424 140736565217224 4955797 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 34411 33269 499 1026 0 33381 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 137644

[startup+25.5002 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 19251
/proc/meminfo: memFree=27441668/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=138092 CPUtime=25.48 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 33789 0 0 0 2543 5 0 0 20 0 1 0 341509444 141406208 33381 33554432000 4194304 8395647 140736565221424 140736565217224 4483001 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 34523 33381 499 1026 0 33493 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138092

[startup+51.1002 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 19251
/proc/meminfo: memFree=27438896/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=140848 CPUtime=51.09 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 34478 0 0 0 5103 6 0 0 20 0 1 0 341509444 144228352 34070 33554432000 4194304 8395647 140736565221424 140736565217224 4954457 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 35212 34070 499 1026 0 34182 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140848

[startup+102.306 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 19252
/proc/meminfo: memFree=27437144/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=142148 CPUtime=102.28 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 34831 0 0 0 10222 6 0 0 20 0 1 0 341509444 145559552 34423 33554432000 4194304 8395647 140736565221424 140736565217224 4954457 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 35537 34423 508 1026 0 34507 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 142148

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 19252
/proc/meminfo: memFree=27411156/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=166952 CPUtime=162.26 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 40974 0 0 0 16219 7 0 0 20 0 1 0 341509444 170958848 40566 33554432000 4194304 8395647 140736565221424 140736565217496 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 41738 40566 513 1026 0 40708 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 166952

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 19252
/proc/meminfo: memFree=27361832/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=214360 CPUtime=222.24 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 52619 0 0 0 22214 10 0 0 20 0 1 0 341509444 219504640 52631 33554432000 4194304 8395647 140736565221424 140736565217224 4954710 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 53590 52631 513 1026 0 52560 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 214360

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19252
/proc/meminfo: memFree=27341896/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=232904 CPUtime=282.22 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 57512 0 0 0 28211 11 0 0 20 0 1 0 341509444 238493696 57534 33554432000 4194304 8395647 140736565221424 140736565217224 4954406 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 58226 57534 513 1026 0 57196 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 232904

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 19252
/proc/meminfo: memFree=27295508/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=282072 CPUtime=342.22 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 84485 0 0 0 34196 26 0 0 20 0 1 0 341509444 288841728 69358 33554432000 4194304 8395647 140736565221424 140736565216616 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 70518 69358 634 1026 0 69488 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 282072

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19256
/proc/meminfo: memFree=27288928/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=290816 CPUtime=402.2 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 86119 0 0 0 40185 35 0 0 20 0 1 0 341509444 297795584 70992 33554432000 4194304 8395647 140736565221424 140736565216584 6707999 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 72704 70992 634 1026 0 71674 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 290816

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 19257
/proc/meminfo: memFree=27282356/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=296744 CPUtime=462.2 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 87925 0 0 0 46176 44 0 0 20 0 1 0 341509444 303865856 72717 33554432000 4194304 8395647 140736565221424 140736565216936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 74186 72717 634 1026 0 73156 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 296744

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19295
/proc/meminfo: memFree=27507356/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=299320 CPUtime=522.19 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 88621 0 0 0 52167 52 0 0 20 0 1 0 341509444 306503680 73413 33554432000 4194304 8395647 140736565221424 140736565216888 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 74830 73413 634 1026 0 73800 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 299320

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19333
/proc/meminfo: memFree=26719460/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=308768 CPUtime=582.18 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 90612 0 0 0 58158 60 0 0 20 0 1 0 341509444 316178432 75398 33554432000 4194304 8395647 140736565221424 140736565216552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 77192 75398 634 1026 0 76162 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 308768

[startup+642.3 s]

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

/proc/meminfo: memFree=26218644/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307116 CPUtime=1002.1 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 100937 0 0 0 100081 129 0 0 20 0 1 0 341509444 314486784 75169 33554432000 4194304 8395647 140736565221424 140736565216296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76779 75169 642 1026 0 75749 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 307116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19338
/proc/meminfo: memFree=26211196/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307116 CPUtime=1062.1 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 100937 0 0 0 106071 139 0 0 20 0 1 0 341509444 314486784 75169 33554432000 4194304 8395647 140736565221424 140736565216632 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76779 75169 642 1026 0 75749 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 307116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19338
/proc/meminfo: memFree=26211412/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307116 CPUtime=1122.09 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 100937 0 0 0 112058 151 0 0 20 0 1 0 341509444 314486784 75169 33554432000 4194304 8395647 140736565221424 140736565216632 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76779 75169 642 1026 0 75749 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 307116

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19338
/proc/meminfo: memFree=26209988/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307116 CPUtime=1182.08 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101099 0 0 0 118047 161 0 0 20 0 1 0 341509444 314486784 75331 33554432000 4194304 8395647 140736565221424 140736565216680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76779 75331 642 1026 0 75749 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 307116

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19338
/proc/meminfo: memFree=26207672/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1242.07 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 124039 168 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 307820

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19338
/proc/meminfo: memFree=26203528/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1302.07 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 130030 177 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216664 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 307820

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19339
/proc/meminfo: memFree=26200176/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1362.05 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 136019 186 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565217048 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 307820

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19339
/proc/meminfo: memFree=26200452/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1422.05 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 142010 195 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216664 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 307820

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19339
/proc/meminfo: memFree=26199972/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1482.04 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 147999 205 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216664 6693785 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 307820

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19339
/proc/meminfo: memFree=26200096/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1542.02 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 153989 213 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216664 6697363 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 307820

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19342
/proc/meminfo: memFree=26199840/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1602.02 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 159980 222 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 307820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199904/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1662 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 165965 235 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 307820

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199656/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1721.99 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 171954 245 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 307820

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1781.98 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 177938 260 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 307820

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 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1785.19 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 178258 261 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 307820

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1788.38 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 178577 261 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216552 6721251 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 307820

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1789.18 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 178657 261 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216296 6728478 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 307820

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=307820 CPUtime=1789.99 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101273 0 0 0 178737 262 0 0 20 0 1 0 341509444 315207680 75505 33554432000 4194304 8395647 140736565221424 140736565216680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 76955 75505 642 1026 0 75925 0
Current children cumulated CPU time (s) 1789.99
Current children cumulated vsize (KiB) 307820

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19343
/proc/meminfo: memFree=26199160/32873844 swapFree=7632/7632
[pid=19250] ppid=19248 vsize=296108 CPUtime=1790.19 cores=0,2,4,6
/proc/19250/stat : 19250 (pbscip.linux.x8) R 19248 19250 18846 0 -1 4202496 101275 0 0 0 178757 262 0 0 20 0 1 0 341509444 303214592 72613 33554432000 4194304 8395647 140736565221424 140736565216680 6345173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19250/statm: 74027 72613 644 1026 0 72997 0
Current children cumulated CPU time (s) 1790.19
Current children cumulated vsize (KiB) 296108

Child status: 0
Real time (s): 1790.53
CPU time (s): 1790.22
CPU user time (s): 1787.6
CPU system time (s): 2.6266
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 342096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.6
system time used= 2.6266
maximum resident set size= 338012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101278
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= 55
involuntary context switches= 2005

runsolver used 2.73858 second user time and 7.05093 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 22:03:58
IDJOB=3741395
IDBENCH=89852
IDSOLVER=2326
FILE ID=node130/3741395-1338753838
RUNJOBID= node130-1338748441-18862
PBS_JOBID= 14636787
Free space on /tmp= 70968 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741395-1338753838/watcher-3741395-1338753838 -o /tmp/evaluation-result-3741395-1338753838/solver-3741395-1338753838 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741395-1338753838.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=710374570

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27575512 kB
Buffers:         1693580 kB
Cached:          2448932 kB
SwapCached:         4316 kB
Active:          2690748 kB
Inactive:        1738016 kB
Active(anon):     274284 kB
Inactive(anon):     8188 kB
Active(file):    2416464 kB
Inactive(file):  1729828 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099288 kB
Dirty:             13624 kB
Writeback:             0 kB
AnonPages:        370536 kB
Mapped:            12396 kB
Shmem:                 4 kB
Slab:             729548 kB
SReclaimable:     170908 kB
SUnreclaim:       558640 kB
KernelStack:        1472 kB
PageTables:         4568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     416708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 70944 MiB
End job on node130 at 2012-06-03 22:33:49