Trace number 3741439

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 solverUNSAT 356.432 356.498

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1745726.opb
MD5SUM0b23fd4cef9a00c3517621c1b2c7d2fd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.942856
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3208
Total number of constraints4687
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)467
Number of constraints which are nor clauses,nor cardinality constraints2768
Minimum length of a constraint1
Maximum length of a constraint398
Number of terms in the objective function 33
Biggest coefficient in the objective function 33
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 561
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2000
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 10732
Number of bits of the biggest sum of numbers14
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-3741439-1338754572.opb>
0.09/0.10	c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.09/0.12	c presolving:
0.09/0.16	c (round 1) 146 del vars, 10 del conss, 146 chg bounds, 2744 chg sides, 2744 chg coeffs, 0 upgd conss, 68 impls, 441 clqs
0.09/0.19	c (round 2) 166 del vars, 40 del conss, 166 chg bounds, 2822 chg sides, 2822 chg coeffs, 0 upgd conss, 74 impls, 439 clqs
0.19/0.20	c (round 3) 217 del vars, 149 del conss, 216 chg bounds, 2831 chg sides, 2831 chg coeffs, 0 upgd conss, 198 impls, 432 clqs
0.19/0.21	c (round 4) 266 del vars, 233 del conss, 264 chg bounds, 2879 chg sides, 2879 chg coeffs, 0 upgd conss, 312 impls, 432 clqs
0.19/0.23	c (round 5) 307 del vars, 304 del conss, 305 chg bounds, 2929 chg sides, 2929 chg coeffs, 0 upgd conss, 420 impls, 432 clqs
0.19/0.24	c (round 6) 344 del vars, 370 del conss, 342 chg bounds, 2980 chg sides, 2980 chg coeffs, 0 upgd conss, 526 impls, 432 clqs
0.19/0.25	c (round 7) 372 del vars, 421 del conss, 370 chg bounds, 3030 chg sides, 3030 chg coeffs, 0 upgd conss, 722 impls, 432 clqs
0.19/0.26	c (round 8) 391 del vars, 452 del conss, 389 chg bounds, 3059 chg sides, 3059 chg coeffs, 0 upgd conss, 798 impls, 432 clqs
0.19/0.27	c (round 9) 406 del vars, 472 del conss, 404 chg bounds, 3074 chg sides, 3074 chg coeffs, 0 upgd conss, 828 impls, 432 clqs
0.19/0.28	c (round 10) 417 del vars, 488 del conss, 415 chg bounds, 3086 chg sides, 3086 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.29	c (round 11) 423 del vars, 496 del conss, 421 chg bounds, 3095 chg sides, 3095 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.19/0.29	c (round 12) 423 del vars, 496 del conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 0 upgd conss, 886 impls, 432 clqs
0.29/0.34	c (round 13) 423 del vars, 496 del conss, 421 chg bounds, 3101 chg sides, 3101 chg coeffs, 4191 upgd conss, 886 impls, 432 clqs
0.59/0.67	c (round 14) 514 del vars, 1015 del conss, 421 chg bounds, 3723 chg sides, 10677 chg coeffs, 4191 upgd conss, 40716 impls, 688 clqs
0.99/1.09	c (round 15) 632 del vars, 2108 del conss, 421 chg bounds, 5592 chg sides, 18057 chg coeffs, 4191 upgd conss, 44194 impls, 1610 clqs
1.39/1.40	c (round 16) 632 del vars, 2968 del conss, 421 chg bounds, 6473 chg sides, 21546 chg coeffs, 4191 upgd conss, 44226 impls, 2363 clqs
1.59/1.65	c (round 17) 675 del vars, 3145 del conss, 421 chg bounds, 6566 chg sides, 22837 chg coeffs, 4191 upgd conss, 44226 impls, 2411 clqs
1.89/1.96	c (round 18) 675 del vars, 3207 del conss, 421 chg bounds, 6626 chg sides, 23817 chg coeffs, 4191 upgd conss, 44226 impls, 2418 clqs
2.29/2.31	c (round 19) 708 del vars, 3941 del conss, 421 chg bounds, 6626 chg sides, 24628 chg coeffs, 4191 upgd conss, 44226 impls, 2398 clqs
2.59/2.66	c (round 20) 708 del vars, 3963 del conss, 421 chg bounds, 6694 chg sides, 25642 chg coeffs, 4191 upgd conss, 44226 impls, 2404 clqs
2.99/3.01	c (round 21) 729 del vars, 4007 del conss, 421 chg bounds, 6694 chg sides, 26435 chg coeffs, 4191 upgd conss, 44226 impls, 2390 clqs
3.29/3.35	c (round 22) 729 del vars, 4017 del conss, 421 chg bounds, 6732 chg sides, 27351 chg coeffs, 4191 upgd conss, 44226 impls, 2393 clqs
3.69/3.72	c (round 23) 740 del vars, 4054 del conss, 421 chg bounds, 6732 chg sides, 28135 chg coeffs, 4191 upgd conss, 44226 impls, 2398 clqs
4.09/4.13	c (round 24) 740 del vars, 4063 del conss, 421 chg bounds, 6774 chg sides, 29067 chg coeffs, 4191 upgd conss, 44226 impls, 2405 clqs
4.39/4.49	c (round 25) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 29837 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
4.79/4.87	c (round 26) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 30605 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
5.19/5.27	c (round 27) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 31366 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
5.59/5.69	c (round 28) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 32069 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
6.09/6.11	c (round 29) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 32744 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
6.49/6.54	c (round 30) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 33419 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
6.89/6.99	c (round 31) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 34094 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
7.39/7.47	c (round 32) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 34769 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
7.89/7.97	c (round 33) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 35444 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
8.49/8.50	c (round 34) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 36119 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
8.99/9.06	c (round 35) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 36794 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
9.59/9.63	c (round 36) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 37469 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
10.19/10.23	c (round 37) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 38142 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
10.79/10.86	c (round 38) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 38814 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
11.49/11.51	c (round 39) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 39486 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
12.09/12.18	c (round 40) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 40158 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
12.79/12.87	c (round 41) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 40588 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
13.29/13.32	c (round 42) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 41010 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
13.69/13.77	c (round 43) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 41219 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
13.89/13.99	c (round 44) 740 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 41404 chg coeffs, 4191 upgd conss, 44226 impls, 2412 clqs
14.19/14.21	c (round 45) 859 del vars, 4087 del conss, 421 chg bounds, 6774 chg sides, 41404 chg coeffs, 4191 upgd conss, 44226 impls, 2362 clqs
14.69/14.75	c (round 46) 859 del vars, 4157 del conss, 421 chg bounds, 6774 chg sides, 42053 chg coeffs, 4191 upgd conss, 44226 impls, 2362 clqs
15.29/15.32	c (round 47) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 42690 chg coeffs, 4191 upgd conss, 44226 impls, 2364 clqs
15.79/15.83	c (round 48) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 42908 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
15.89/15.91	c (round 49) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43089 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
15.89/15.96	c (round 50) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43260 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
15.99/16.01	c (round 51) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43422 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
15.99/16.07	c (round 52) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43575 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.09/16.13	c (round 53) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43719 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.09/16.19	c (round 54) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43854 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.19/16.26	c (round 55) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 43980 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.29/16.32	c (round 56) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44097 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.29/16.39	c (round 57) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44205 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.39/16.45	c (round 58) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44304 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.49/16.51	c (round 59) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44394 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.49/16.58	c (round 60) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44475 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.59/16.63	c (round 61) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44547 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.59/16.69	c (round 62) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44610 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.69/16.74	c (round 63) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44664 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.69/16.78	c (round 64) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44709 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.79/16.82	c (round 65) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44745 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.79/16.85	c (round 66) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44772 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.79/16.88	c (round 67) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44790 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.89/16.90	c (round 68) 859 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44799 chg coeffs, 4191 upgd conss, 44226 impls, 2365 clqs
16.89/16.91	c (round 69) 968 del vars, 4158 del conss, 421 chg bounds, 6774 chg sides, 44799 chg coeffs, 4191 upgd conss, 44226 impls, 2323 clqs
16.89/16.97	c (round 70) 968 del vars, 4223 del conss, 421 chg bounds, 6774 chg sides, 44997 chg coeffs, 4191 upgd conss, 44226 impls, 2323 clqs
16.99/17.04	c (round 71) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45184 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
16.99/17.08	c (round 72) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45364 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.09/17.12	c (round 73) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45536 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.09/17.17	c (round 74) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45699 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.19/17.22	c (round 75) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45852 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.19/17.28	c (round 76) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 45996 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.29/17.33	c (round 77) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46131 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.29/17.39	c (round 78) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46257 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.39/17.45	c (round 79) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46374 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.49/17.51	c (round 80) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46482 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.49/17.56	c (round 81) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46581 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.59/17.62	c (round 82) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46671 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.59/17.67	c (round 83) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46752 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.69/17.72	c (round 84) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46824 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.69/17.77	c (round 85) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46887 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.79/17.82	c (round 86) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46941 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.79/17.85	c (round 87) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 46986 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.79/17.89	c (round 88) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 47022 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.89/17.92	c (round 89) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 47049 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.89/17.94	c (round 90) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 47067 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.89/17.96	c (round 91) 968 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 47076 chg coeffs, 4191 upgd conss, 44226 impls, 2328 clqs
17.89/17.97	c (round 92) 1073 del vars, 4225 del conss, 421 chg bounds, 6774 chg sides, 47076 chg coeffs, 4191 upgd conss, 44226 impls, 2286 clqs
17.99/18.01	c (round 93) 1073 del vars, 4286 del conss, 421 chg bounds, 6774 chg sides, 47254 chg coeffs, 4191 upgd conss, 44226 impls, 2286 clqs
17.99/18.07	c (round 94) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 47423 chg coeffs, 4191 upgd conss, 44226 impls, 2295 clqs
18.08/18.10	c (round 95) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 47577 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.08/18.13	c (round 96) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 47722 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.08/18.16	c (round 97) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 47857 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.08/18.19	c (round 98) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 47983 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.18/18.22	c (round 99) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48100 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.18/18.25	c (round 100) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48208 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.18/18.29	c (round 101) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48307 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.28/18.32	c (round 102) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48397 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.28/18.35	c (round 103) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48478 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.28/18.38	c (round 104) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48550 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.38/18.41	c (round 105) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48613 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.38/18.44	c (round 106) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48667 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.38/18.46	c (round 107) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48712 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.38/18.48	c (round 108) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48748 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.48/18.50	c (round 109) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48775 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.48/18.52	c (round 110) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48793 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.48/18.53	c (round 111) 1073 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48802 chg coeffs, 4191 upgd conss, 44226 impls, 2302 clqs
18.59/18.62	c (round 112) 1123 del vars, 4287 del conss, 421 chg bounds, 6774 chg sides, 48802 chg coeffs, 4191 upgd conss, 45024 impls, 2164 clqs
18.78/18.87	c (round 113) 1123 del vars, 4346 del conss, 421 chg bounds, 6774 chg sides, 48871 chg coeffs, 4191 upgd conss, 45024 impls, 2164 clqs
18.98/19.09	c (round 114) 1123 del vars, 4378 del conss, 421 chg bounds, 6774 chg sides, 48889 chg coeffs, 4191 upgd conss, 45024 impls, 2182 clqs
19.18/19.25	c (round 115) 1123 del vars, 4378 del conss, 421 chg bounds, 6774 chg sides, 48903 chg coeffs, 4191 upgd conss, 45024 impls, 2200 clqs
19.58/19.63	c (round 116) 1173 del vars, 4378 del conss, 421 chg bounds, 6774 chg sides, 48910 chg coeffs, 4191 upgd conss, 71738 impls, 2095 clqs
19.88/19.90	c (round 117) 1173 del vars, 4433 del conss, 421 chg bounds, 6774 chg sides, 49307 chg coeffs, 4191 upgd conss, 71738 impls, 2102 clqs
20.08/20.17	c (round 118) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 49671 chg coeffs, 4191 upgd conss, 71738 impls, 2118 clqs
20.38/20.41	c (round 119) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 50000 chg coeffs, 4191 upgd conss, 71738 impls, 2128 clqs
20.58/20.66	c (round 120) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 50296 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
20.89/20.91	c (round 121) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 50557 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
20.98/21.00	c (round 122) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 50784 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
20.98/21.09	c (round 123) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 50936 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
21.08/21.15	c (round 124) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 51071 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
21.18/21.21	c (round 125) 1173 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 51138 chg coeffs, 4191 upgd conss, 71738 impls, 2131 clqs
21.89/21.93	c (round 126) 1223 del vars, 4458 del conss, 421 chg bounds, 6774 chg sides, 51138 chg coeffs, 4191 upgd conss, 194350 impls, 2014 clqs
22.18/22.29	c (round 127) 1223 del vars, 4509 del conss, 421 chg bounds, 6774 chg sides, 51620 chg coeffs, 4191 upgd conss, 194352 impls, 2017 clqs
22.68/22.70	c (round 128) 1224 del vars, 4532 del conss, 421 chg bounds, 6777 chg sides, 52129 chg coeffs, 4191 upgd conss, 194352 impls, 2021 clqs
22.99/23.09	c (round 129) 1224 del vars, 4534 del conss, 421 chg bounds, 6777 chg sides, 52562 chg coeffs, 4191 upgd conss, 194352 impls, 2022 clqs
23.28/23.36	c (round 130) 1224 del vars, 4534 del conss, 421 chg bounds, 6777 chg sides, 52967 chg coeffs, 4191 upgd conss, 194352 impls, 2022 clqs
23.48/23.58	c (round 131) 1224 del vars, 4534 del conss, 421 chg bounds, 6777 chg sides, 53200 chg coeffs, 4191 upgd conss, 194352 impls, 2022 clqs
23.68/23.70	c (round 132) 1224 del vars, 4534 del conss, 421 chg bounds, 6777 chg sides, 53323 chg coeffs, 4191 upgd conss, 194352 impls, 2022 clqs
24.09/24.18	c (round 133) 1274 del vars, 4534 del conss, 421 chg bounds, 6777 chg sides, 53323 chg coeffs, 4191 upgd conss, 239558 impls, 1921 clqs
24.58/24.61	c (round 134) 1274 del vars, 4585 del conss, 421 chg bounds, 6799 chg sides, 53844 chg coeffs, 4191 upgd conss, 239562 impls, 1954 clqs
24.98/25.05	c (round 135) 1274 del vars, 4641 del conss, 421 chg bounds, 6827 chg sides, 54597 chg coeffs, 4191 upgd conss, 239562 impls, 1983 clqs
25.38/25.47	c (round 136) 1274 del vars, 4648 del conss, 421 chg bounds, 6831 chg sides, 54960 chg coeffs, 4191 upgd conss, 239562 impls, 1986 clqs
25.58/25.69	c (round 137) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 55252 chg coeffs, 4191 upgd conss, 239562 impls, 1987 clqs
25.88/25.90	c (round 138) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 55534 chg coeffs, 4191 upgd conss, 239562 impls, 1988 clqs
26.08/26.12	c (round 139) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 55734 chg coeffs, 4191 upgd conss, 239562 impls, 1989 clqs
26.18/26.29	c (round 140) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 55860 chg coeffs, 4191 upgd conss, 239562 impls, 1989 clqs
26.29/26.36	c (round 141) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 55985 chg coeffs, 4191 upgd conss, 239562 impls, 1989 clqs
26.39/26.44	c (round 142) 1274 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 56109 chg coeffs, 4191 upgd conss, 239562 impls, 1989 clqs
26.68/26.78	c (round 143) 1324 del vars, 4649 del conss, 421 chg bounds, 6831 chg sides, 56109 chg coeffs, 4191 upgd conss, 260058 impls, 1886 clqs
27.08/27.19	c (round 144) 1324 del vars, 4670 del conss, 421 chg bounds, 6845 chg sides, 56766 chg coeffs, 4191 upgd conss, 260060 impls, 1890 clqs
27.58/27.63	c (round 145) 1324 del vars, 4709 del conss, 421 chg bounds, 6846 chg sides, 57253 chg coeffs, 4191 upgd conss, 260060 impls, 1892 clqs
27.98/28.00	c (round 146) 1324 del vars, 4710 del conss, 421 chg bounds, 6846 chg sides, 57535 chg coeffs, 4191 upgd conss, 260060 impls, 1893 clqs
28.18/28.20	c (round 147) 1324 del vars, 4714 del conss, 421 chg bounds, 6846 chg sides, 57814 chg coeffs, 4191 upgd conss, 260060 impls, 1894 clqs
28.38/28.41	c (round 148) 1324 del vars, 4714 del conss, 421 chg bounds, 6846 chg sides, 57964 chg coeffs, 4191 upgd conss, 260060 impls, 1894 clqs
28.49/28.51	c (round 149) 1324 del vars, 4714 del conss, 421 chg bounds, 6846 chg sides, 58038 chg coeffs, 4191 upgd conss, 260060 impls, 1894 clqs
28.68/28.75	c (round 150) 1374 del vars, 4714 del conss, 421 chg bounds, 6846 chg sides, 58038 chg coeffs, 4191 upgd conss, 270374 impls, 1828 clqs
29.08/29.16	c (round 151) 1374 del vars, 4743 del conss, 421 chg bounds, 6873 chg sides, 58696 chg coeffs, 4191 upgd conss, 270378 impls, 1834 clqs
29.48/29.59	c (round 152) 1374 del vars, 4808 del conss, 421 chg bounds, 6874 chg sides, 58890 chg coeffs, 4191 upgd conss, 270378 impls, 1839 clqs
29.78/29.88	c (round 153) 1374 del vars, 4813 del conss, 421 chg bounds, 6874 chg sides, 58890 chg coeffs, 4191 upgd conss, 270378 impls, 1841 clqs
29.98/30.01	c (round 154) 1374 del vars, 4818 del conss, 421 chg bounds, 6874 chg sides, 58890 chg coeffs, 4191 upgd conss, 270378 impls, 1841 clqs
30.28/30.33	c (round 155) 1424 del vars, 4818 del conss, 421 chg bounds, 6874 chg sides, 58890 chg coeffs, 4191 upgd conss, 295796 impls, 1779 clqs
30.69/30.72	c (round 156) 1424 del vars, 4842 del conss, 421 chg bounds, 6924 chg sides, 59981 chg coeffs, 4191 upgd conss, 295798 impls, 1787 clqs
31.08/31.11	c (round 157) 1424 del vars, 4914 del conss, 421 chg bounds, 6925 chg sides, 60471 chg coeffs, 4191 upgd conss, 295798 impls, 1792 clqs
31.38/31.49	c (round 158) 1424 del vars, 4920 del conss, 421 chg bounds, 6927 chg sides, 60944 chg coeffs, 4191 upgd conss, 295798 impls, 1795 clqs
31.79/31.81	c (round 159) 1424 del vars, 4920 del conss, 421 chg bounds, 6927 chg sides, 60965 chg coeffs, 4191 upgd conss, 295798 impls, 1796 clqs
32.28/32.34	c (round 160) 1474 del vars, 4920 del conss, 421 chg bounds, 6927 chg sides, 60966 chg coeffs, 4191 upgd conss, 329226 impls, 1715 clqs
32.68/32.71	c (round 161) 1474 del vars, 4944 del conss, 421 chg bounds, 6976 chg sides, 62054 chg coeffs, 4191 upgd conss, 329226 impls, 1716 clqs
32.98/33.07	c (round 162) 1474 del vars, 5015 del conss, 421 chg bounds, 6976 chg sides, 62334 chg coeffs, 4191 upgd conss, 329226 impls, 1722 clqs
33.28/33.36	c (round 163) 1474 del vars, 5015 del conss, 421 chg bounds, 6976 chg sides, 62470 chg coeffs, 4191 upgd conss, 329226 impls, 1722 clqs
33.38/33.45	c (round 164) 1474 del vars, 5015 del conss, 421 chg bounds, 6976 chg sides, 62587 chg coeffs, 4191 upgd conss, 329226 impls, 1722 clqs
33.48/33.55	c    (33.5s) probing: 1000/2468 (40.5%) - 740 fixings, 0 aggregations, 122391 implications, 0 bound changes
33.88/33.91	c (round 165) 1524 del vars, 5015 del conss, 421 chg bounds, 6976 chg sides, 62591 chg coeffs, 4191 upgd conss, 361840 impls, 1629 clqs
34.18/34.26	c (round 166) 1524 del vars, 5048 del conss, 421 chg bounds, 7017 chg sides, 63575 chg coeffs, 4191 upgd conss, 361842 impls, 1634 clqs
34.58/34.64	c (round 167) 1524 del vars, 5110 del conss, 421 chg bounds, 7018 chg sides, 63979 chg coeffs, 4191 upgd conss, 361842 impls, 1641 clqs
34.88/34.98	c (round 168) 1524 del vars, 5111 del conss, 421 chg bounds, 7018 chg sides, 64160 chg coeffs, 4191 upgd conss, 361842 impls, 1642 clqs
35.08/35.17	c (round 169) 1524 del vars, 5111 del conss, 421 chg bounds, 7018 chg sides, 64201 chg coeffs, 4191 upgd conss, 361842 impls, 1642 clqs
35.08/35.19	c (round 170) 1524 del vars, 5111 del conss, 421 chg bounds, 7018 chg sides, 64230 chg coeffs, 4191 upgd conss, 361842 impls, 1642 clqs
35.18/35.21	c (round 171) 1524 del vars, 5111 del conss, 421 chg bounds, 7018 chg sides, 64250 chg coeffs, 4191 upgd conss, 361842 impls, 1642 clqs
35.59/35.61	c (round 172) 1574 del vars, 5111 del conss, 421 chg bounds, 7018 chg sides, 64255 chg coeffs, 4191 upgd conss, 397526 impls, 1544 clqs
35.89/35.96	c (round 173) 1574 del vars, 5167 del conss, 421 chg bounds, 7048 chg sides, 65067 chg coeffs, 4191 upgd conss, 397562 impls, 1548 clqs
36.29/36.33	c (round 174) 1576 del vars, 5213 del conss, 421 chg bounds, 7054 chg sides, 65423 chg coeffs, 4191 upgd conss, 397562 impls, 1552 clqs
36.59/36.67	c (round 175) 1576 del vars, 5218 del conss, 421 chg bounds, 7059 chg sides, 65503 chg coeffs, 4191 upgd conss, 397562 impls, 1554 clqs
36.69/36.76	c (round 176) 1576 del vars, 5223 del conss, 421 chg bounds, 7059 chg sides, 65509 chg coeffs, 4191 upgd conss, 397562 impls, 1554 clqs
36.69/36.77	c (round 177) 1576 del vars, 5225 del conss, 421 chg bounds, 7059 chg sides, 65509 chg coeffs, 4191 upgd conss, 397562 impls, 1554 clqs
37.18/37.20	c (round 178) 1626 del vars, 5225 del conss, 421 chg bounds, 7059 chg sides, 65509 chg coeffs, 4191 upgd conss, 436756 impls, 1472 clqs
37.48/37.54	c (round 179) 1626 del vars, 5276 del conss, 421 chg bounds, 7087 chg sides, 66221 chg coeffs, 4191 upgd conss, 436784 impls, 1478 clqs
37.88/37.90	c (round 180) 1631 del vars, 5337 del conss, 421 chg bounds, 7102 chg sides, 66639 chg coeffs, 4191 upgd conss, 436784 impls, 1483 clqs
38.18/38.25	c (round 181) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 66890 chg coeffs, 4191 upgd conss, 436784 impls, 1484 clqs
38.39/38.47	c (round 182) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67043 chg coeffs, 4191 upgd conss, 436784 impls, 1485 clqs
38.49/38.59	c (round 183) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67190 chg coeffs, 4191 upgd conss, 436784 impls, 1485 clqs
38.58/38.68	c (round 184) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67316 chg coeffs, 4191 upgd conss, 436784 impls, 1485 clqs
38.68/38.76	c (round 185) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67347 chg coeffs, 4191 upgd conss, 436784 impls, 1485 clqs
38.68/38.79	c (round 186) 1631 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67355 chg coeffs, 4191 upgd conss, 436784 impls, 1485 clqs
39.08/39.14	c (round 187) 1681 del vars, 5343 del conss, 421 chg bounds, 7107 chg sides, 67359 chg coeffs, 4191 upgd conss, 466584 impls, 1451 clqs
39.38/39.48	c (round 188) 1681 del vars, 5406 del conss, 421 chg bounds, 7144 chg sides, 67976 chg coeffs, 4191 upgd conss, 466606 impls, 1466 clqs
39.78/39.84	c (round 189) 1709 del vars, 5482 del conss, 421 chg bounds, 7151 chg sides, 68226 chg coeffs, 4191 upgd conss, 466606 impls, 1460 clqs
40.08/40.13	c (round 190) 1709 del vars, 5486 del conss, 421 chg bounds, 7229 chg sides, 68943 chg coeffs, 4191 upgd conss, 466606 impls, 1460 clqs
40.28/40.30	c (round 191) 1709 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69109 chg coeffs, 4191 upgd conss, 466606 impls, 1470 clqs
40.38/40.49	c (round 192) 1709 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69253 chg coeffs, 4191 upgd conss, 466606 impls, 1472 clqs
40.59/40.65	c (round 193) 1709 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69307 chg coeffs, 4191 upgd conss, 466606 impls, 1473 clqs
40.69/40.76	c (round 194) 1709 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69339 chg coeffs, 4191 upgd conss, 466606 impls, 1473 clqs
40.69/40.78	c (round 195) 1709 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69347 chg coeffs, 4191 upgd conss, 466606 impls, 1473 clqs
41.08/41.11	c (round 196) 1759 del vars, 5556 del conss, 421 chg bounds, 7231 chg sides, 69348 chg coeffs, 4191 upgd conss, 496860 impls, 1457 clqs
41.38/41.42	c (round 197) 1759 del vars, 5575 del conss, 421 chg bounds, 7295 chg sides, 70234 chg coeffs, 4191 upgd conss, 496880 impls, 1460 clqs
41.58/41.70	c (round 198) 1805 del vars, 5683 del conss, 421 chg bounds, 7300 chg sides, 70478 chg coeffs, 4191 upgd conss, 496880 impls, 1452 clqs
41.98/42.00	c (round 199) 1805 del vars, 5693 del conss, 421 chg bounds, 7412 chg sides, 71539 chg coeffs, 4191 upgd conss, 496880 impls, 1455 clqs
42.18/42.28	c (round 200) 1808 del vars, 5806 del conss, 421 chg bounds, 7412 chg sides, 71722 chg coeffs, 4191 upgd conss, 496880 impls, 1462 clqs
42.38/42.49	c (round 201) 1808 del vars, 5809 del conss, 421 chg bounds, 7412 chg sides, 71882 chg coeffs, 4191 upgd conss, 496880 impls, 1466 clqs
42.68/42.71	c (round 202) 1817 del vars, 5812 del conss, 421 chg bounds, 7412 chg sides, 72019 chg coeffs, 4191 upgd conss, 496880 impls, 1466 clqs
42.89/42.92	c (round 203) 1817 del vars, 5813 del conss, 421 chg bounds, 7460 chg sides, 72303 chg coeffs, 4191 upgd conss, 496880 impls, 1467 clqs
43.08/43.13	c (round 204) 1818 del vars, 5830 del conss, 421 chg bounds, 7460 chg sides, 72364 chg coeffs, 4191 upgd conss, 496880 impls, 1470 clqs
43.18/43.26	c (round 205) 1818 del vars, 5831 del conss, 421 chg bounds, 7460 chg sides, 72412 chg coeffs, 4191 upgd conss, 496880 impls, 1471 clqs
43.38/43.46	c (round 206) 1825 del vars, 5840 del conss, 421 chg bounds, 7460 chg sides, 72422 chg coeffs, 4191 upgd conss, 496880 impls, 1470 clqs
43.58/43.68	c (round 207) 1825 del vars, 5847 del conss, 421 chg bounds, 7515 chg sides, 72575 chg coeffs, 4191 upgd conss, 496880 impls, 1471 clqs
43.78/43.87	c (round 208) 1825 del vars, 5862 del conss, 421 chg bounds, 7515 chg sides, 72577 chg coeffs, 4191 upgd conss, 496880 impls, 1474 clqs
44.08/44.10	c (round 209) 1875 del vars, 5862 del conss, 421 chg bounds, 7515 chg sides, 72577 chg coeffs, 4191 upgd conss, 510826 impls, 1471 clqs
44.28/44.36	c (round 210) 1875 del vars, 5871 del conss, 421 chg bounds, 7634 chg sides, 73427 chg coeffs, 4191 upgd conss, 510826 impls, 1473 clqs
44.48/44.53	c (round 211) 1875 del vars, 5970 del conss, 421 chg bounds, 7640 chg sides, 73553 chg coeffs, 4191 upgd conss, 510826 impls, 1492 clqs
44.68/44.78	c (round 212) 1879 del vars, 5980 del conss, 421 chg bounds, 7640 chg sides, 73563 chg coeffs, 4191 upgd conss, 510830 impls, 1478 clqs
44.88/44.96	c (round 213) 1879 del vars, 5983 del conss, 421 chg bounds, 7649 chg sides, 73830 chg coeffs, 4191 upgd conss, 510830 impls, 1479 clqs
44.99/45.09	c (round 214) 1879 del vars, 5997 del conss, 421 chg bounds, 7649 chg sides, 73902 chg coeffs, 4191 upgd conss, 510832 impls, 1481 clqs
45.18/45.26	c (round 215) 1881 del vars, 5999 del conss, 421 chg bounds, 7650 chg sides, 74035 chg coeffs, 4191 upgd conss, 510832 impls, 1471 clqs
45.38/45.40	c (round 216) 1881 del vars, 6001 del conss, 421 chg bounds, 7653 chg sides, 74168 chg coeffs, 4191 upgd conss, 510832 impls, 1471 clqs
45.48/45.55	c (round 217) 1881 del vars, 6006 del conss, 421 chg bounds, 7653 chg sides, 74212 chg coeffs, 4191 upgd conss, 510832 impls, 1471 clqs
45.48/45.58	c (round 218) 1881 del vars, 6006 del conss, 421 chg bounds, 7653 chg sides, 74216 chg coeffs, 4191 upgd conss, 510832 impls, 1471 clqs
45.68/45.75	c    (45.7s) probing: 2000/2468 (81.0%) - 1059 fixings, 0 aggregations, 201637 implications, 0 bound changes
45.78/45.81	c (round 219) 1931 del vars, 6006 del conss, 421 chg bounds, 7653 chg sides, 74216 chg coeffs, 4191 upgd conss, 528096 impls, 1457 clqs
45.98/46.05	c (round 220) 1931 del vars, 6097 del conss, 421 chg bounds, 7777 chg sides, 75059 chg coeffs, 4191 upgd conss, 528096 impls, 1458 clqs
46.09/46.13	c (round 221) 1931 del vars, 6182 del conss, 421 chg bounds, 7803 chg sides, 75449 chg coeffs, 4191 upgd conss, 528096 impls, 1467 clqs
46.19/46.29	c (round 222) 1931 del vars, 6182 del conss, 421 chg bounds, 7803 chg sides, 75473 chg coeffs, 4191 upgd conss, 528096 impls, 1469 clqs
46.28/46.39	c (round 223) 1931 del vars, 6182 del conss, 421 chg bounds, 7803 chg sides, 75491 chg coeffs, 4191 upgd conss, 528096 impls, 1469 clqs
46.38/46.40	c (round 224) 1931 del vars, 6182 del conss, 421 chg bounds, 7803 chg sides, 75495 chg coeffs, 4191 upgd conss, 528096 impls, 1469 clqs
46.38/46.42	c (round 225) 1949 del vars, 6182 del conss, 421 chg bounds, 7803 chg sides, 75495 chg coeffs, 4191 upgd conss, 528120 impls, 1451 clqs
46.58/46.63	c (round 226) 1949 del vars, 6219 del conss, 421 chg bounds, 7821 chg sides, 75726 chg coeffs, 4191 upgd conss, 528120 impls, 1451 clqs
46.58/46.65	c (round 227) 1949 del vars, 6236 del conss, 421 chg bounds, 7821 chg sides, 75726 chg coeffs, 4191 upgd conss, 528120 impls, 1452 clqs
46.68/46.71	c presolving (228 rounds):
46.68/46.71	c  1949 deleted vars, 6236 deleted constraints, 421 tightened bounds, 0 added holes, 7821 changed sides, 75726 changed coefficients
46.68/46.71	c  528120 implications, 1452 cliques
46.68/46.71	c presolved problem has 1259 variables (1259 bin, 0 int, 0 impl, 0 cont) and 2447 constraints
46.68/46.71	c     372 constraints of type <knapsack>
46.68/46.71	c     949 constraints of type <setppc>
46.68/46.71	c    1126 constraints of type <logicor>
46.68/46.71	c transformed objective value is always integral (scale: 1)
46.68/46.71	c Presolving Time: 46.59
46.68/46.71	c - non default parameters ----------------------------------------------------------------------
46.68/46.71	c # SCIP version 1.2.1.3
46.68/46.71	c 
46.68/46.71	c # frequency for displaying node information lines
46.68/46.71	c # [type: int, range: [-1,2147483647], default: 100]
46.68/46.71	c display/freq = 10000
46.68/46.71	c 
46.68/46.71	c # maximal time in seconds to run
46.68/46.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.68/46.71	c limits/time = 1789.91
46.68/46.71	c 
46.68/46.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
46.68/46.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.68/46.71	c limits/memory = 13950
46.68/46.71	c 
46.68/46.71	c # default clock type (1: CPU user seconds, 2: wall clock time)
46.68/46.71	c # [type: int, range: [1,2], default: 1]
46.68/46.71	c timing/clocktype = 2
46.68/46.71	c 
46.68/46.71	c # should presolving try to simplify inequalities
46.68/46.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.68/46.71	c constraints/linear/simplifyinequalities = TRUE
46.68/46.71	c 
46.68/46.71	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
46.68/46.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.68/46.71	c constraints/indicator/addCouplingCons = TRUE
46.68/46.71	c 
46.68/46.71	c # should presolving try to simplify knapsacks
46.68/46.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.68/46.71	c constraints/knapsack/simplifyinequalities = TRUE
46.68/46.71	c 
46.68/46.71	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
46.68/46.71	c # [type: int, range: [-1,2147483647], default: -1]
46.68/46.71	c separating/rapidlearning/freq = 0
46.68/46.71	c 
46.68/46.71	c -----------------------------------------------------------------------------------------------
46.68/46.71	c start solving
46.68/46.71	c 
47.08/47.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.08/47.14	c  47.0s|     1 |     0 |  2144 |     - |  31M|   0 | 477 |1259 |2447 |1259 |2447 |   0 |   0 |   0 | 1.817568e+01 |      --      |    Inf 
56.28/56.30	c  56.2s|     1 |     0 | 13711 |     - |  33M|   0 | 544 |1259 |3263 |1259 |2660 | 215 |   0 |   0 | 1.818750e+01 |      --      |    Inf 
57.28/57.38	c  57.3s|     1 |     0 | 15796 |     - |  33M|   0 | 483 |1259 |3263 |1259 |2734 | 289 |   0 |   0 | 2.044444e+01 |      --      |    Inf 
58.38/58.41	c  58.3s|     1 |     0 | 17819 |     - |  33M|   0 | 542 |1259 |3262 |1259 |2754 | 345 |   0 |   0 | 2.287500e+01 |      --      |    Inf 
59.18/59.22	c  59.1s|     1 |     0 | 19287 |     - |  33M|   0 | 556 |1259 |3262 |1259 |2807 | 398 |   0 |   0 | 2.377778e+01 |      --      |    Inf 
60.78/60.81	c  60.7s|     1 |     0 | 22873 |     - |  33M|   0 | 584 |1259 |3262 |1259 |2856 | 447 |   0 |   0 | 2.400252e+01 |      --      |    Inf 
63.28/63.39	c  63.3s|     1 |     0 | 29039 |     - |  33M|   0 | 611 |1259 |3262 |1259 |2889 | 480 |   0 |   0 | 2.401730e+01 |      --      |    Inf 
65.18/65.27	c  65.2s|     1 |     0 | 32478 |     - |  37M|   0 | 556 |1259 |3262 |1259 |2984 | 575 |   0 |   0 | 2.414527e+01 |      --      |    Inf 
67.18/67.27	c  67.2s|     1 |     0 | 36703 |     - |  39M|   0 | 516 |1259 |3262 |1259 |3107 | 698 |   0 |   0 | 2.434919e+01 |      --      |    Inf 
69.88/69.99	c  69.9s|     1 |     0 | 41138 |     - |  40M|   0 | 559 |1259 |3262 |1259 |3147 | 738 |   0 |   0 | 2.507980e+01 |      --      |    Inf 
72.48/72.53	c  72.4s|     1 |     0 | 44784 |     - |  43M|   0 | 489 |1259 |3262 |1259 |3171 | 762 |   0 |   0 | 2.536364e+01 |      --      |    Inf 
73.69/73.79	c  73.7s|     1 |     0 | 47287 |     - |  43M|   0 | 457 |1259 |3262 |1259 |3205 | 796 |   0 |   0 | 2.545366e+01 |      --      |    Inf 
75.58/75.69	c  75.6s|     1 |     0 | 51252 |     - |  44M|   0 | 439 |1259 |3262 |1259 |3227 | 818 |   0 |   0 | 2.549817e+01 |      --      |    Inf 
76.98/77.04	c  76.9s|     1 |     0 | 53745 |     - |  44M|   0 | 534 |1259 |3262 |1259 |3261 | 852 |   0 |   0 | 2.551438e+01 |      --      |    Inf 
78.77/78.88	c  78.8s|     1 |     0 | 57437 |     - |  45M|   0 | 546 |1259 |3262 |1259 |3299 | 890 |   0 |   0 | 2.566667e+01 |      --      |    Inf 
80.48/80.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.48/80.58	c  80.5s|     1 |     0 | 60682 |     - |  45M|   0 | 471 |1259 |3262 |1259 |3065 | 913 |   0 |   0 | 2.602632e+01 |      --      |    Inf 
82.87/82.92	c  82.8s|     1 |     0 | 64958 |     - |  47M|   0 | 441 |1259 |3262 |1259 |3105 | 953 |   0 |   0 | 2.700000e+01 |      --      |    Inf 
84.48/84.54	c  84.4s|     1 |     0 | 67600 |     - |  49M|   0 | 484 |1259 |3262 |1259 |3127 | 975 |   0 |   0 | 2.700000e+01 |      --      |    Inf 
85.58/85.69	c  85.6s|     1 |     0 | 69864 |     - |  49M|   0 | 525 |1259 |3262 |1259 |3163 |1011 |   0 |   0 | 2.700000e+01 |      --      |    Inf 
86.47/86.52	c  86.4s|     1 |     0 | 71238 |     - |  49M|   0 | 557 |1259 |3262 |1259 |3186 |1034 |   0 |   0 | 2.700000e+01 |      --      |    Inf 
87.67/87.71	c  87.6s|     1 |     0 | 73414 |     - |  49M|   0 | 495 |1259 |3262 |1259 |3208 |1056 |   0 |   0 | 2.700000e+01 |      --      |    Inf 
90.37/90.49	c  90.4s|     1 |     0 | 79673 |     - |  49M|   0 | 472 |1259 |3262 |1259 |2916 |1079 |   0 |   0 | 2.788033e+01 |      --      |    Inf 
91.98/92.05	c  92.0s|     1 |     0 | 82967 |     - |  52M|   0 | 489 |1259 |3262 |1259 |2937 |1100 |   0 |   0 | 2.852901e+01 |      --      |    Inf 
93.07/93.10	c  93.0s|     1 |     0 | 85364 |     - |  52M|   0 | 460 |1259 |3262 |1259 |2971 |1134 |   0 |   0 | 2.857708e+01 |      --      |    Inf 
94.07/94.14	c  94.0s|     1 |     0 | 87505 |     - |  52M|   0 | 414 |1259 |3262 |1259 |2992 |1155 |   0 |   0 | 2.872727e+01 |      --      |    Inf 
95.17/95.24	c  95.1s|     1 |     0 | 89924 |     - |  52M|   0 | 364 |1259 |3262 |1259 |3021 |1184 |   0 |   0 | 2.872727e+01 |      --      |    Inf 
95.97/96.00	c  95.9s|     1 |     0 | 91588 |     - |  52M|   0 | 496 |1259 |3262 |1259 |3049 |1212 |   0 |   0 | 2.875511e+01 |      --      |    Inf 
98.77/98.89	c  98.8s|     1 |     0 | 98025 |     - |  53M|   0 | 454 |1259 |3262 |1259 |2938 |1231 |   0 |   0 | 2.892824e+01 |      --      |    Inf 
101.08/101.11	c   101s|     1 |     0 |103024 |     - |  53M|   0 | 423 |1259 |3262 |1259 |2959 |1252 |   0 |   0 | 2.917474e+01 |      --      |    Inf 
102.58/102.63	c   103s|     1 |     0 |106321 |     - |  53M|   0 | 450 |1259 |3262 |1259 |2984 |1277 |   0 |   0 | 2.949363e+01 |      --      |    Inf 
105.27/105.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
105.27/105.39	c   105s|     1 |     0 |112719 |     - |  54M|   0 | 475 |1259 |3262 |1259 |3010 |1303 |   0 |   0 | 2.976739e+01 |      --      |    Inf 
107.58/107.69	c   108s|     1 |     0 |117882 |     - |  54M|   0 | 243 |1259 |3262 |1259 |3032 |1325 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
110.87/110.91	c   111s|     1 |     0 |125696 |     - |  54M|   0 | 421 |1259 |3262 |1259 |3057 |1350 |   0 |   0 | 3.000052e+01 |      --      |    Inf 
111.47/111.56	c   111s|     1 |     0 |127379 |     - |  54M|   0 | 424 |1259 |3262 |1259 |3026 |1422 |   0 |   0 | 3.000260e+01 |      --      |    Inf 
112.57/112.64	c   113s|     1 |     0 |130376 |     - |  54M|   0 | 423 |1259 |3262 |1259 |3061 |1457 |   0 |   0 | 3.002187e+01 |      --      |    Inf 
113.27/113.38	c   113s|     1 |     0 |131818 |     - |  54M|   0 | 428 |1259 |3262 |1259 |3075 |1471 |   0 |   0 | 3.002252e+01 |      --      |    Inf 
114.87/114.96	c   115s|     1 |     0 |135388 |     - |  54M|   0 | 437 |1259 |3262 |1259 |3083 |1479 |   0 |   0 | 3.004590e+01 |      --      |    Inf 
115.87/115.91	c   116s|     1 |     0 |137253 |     - |  54M|   0 | 469 |1259 |3262 |1259 |3108 |1504 |   0 |   0 | 3.005796e+01 |      --      |    Inf 
117.07/117.12	c   117s|     1 |     0 |139926 |     - |  54M|   0 | 426 |1259 |3262 |1259 |3120 |1516 |   0 |   0 | 3.006238e+01 |      --      |    Inf 
117.97/118.00	c   118s|     1 |     0 |141886 |     - |  54M|   0 | 475 |1259 |3262 |1259 |3003 |1532 |   0 |   0 | 3.007244e+01 |      --      |    Inf 
118.68/118.74	c   119s|     1 |     0 |143185 |     - |  54M|   0 | 445 |1259 |3262 |1259 |3015 |1544 |   0 |   0 | 3.007245e+01 |      --      |    Inf 
119.37/119.47	c   119s|     1 |     0 |144236 |     - |  54M|   0 | 451 |1259 |3262 |1259 |3028 |1557 |   0 |   0 | 3.007297e+01 |      --      |    Inf 
119.67/119.76	c   120s|     1 |     0 |144766 |     - |  54M|   0 | 433 |1259 |3262 |1259 |3037 |1566 |   0 |   0 | 3.007355e+01 |      --      |    Inf 
120.87/120.92	c   121s|     1 |     0 |147286 |     - |  54M|   0 | 459 |1259 |3262 |1259 |3043 |1572 |   0 |   0 | 3.008456e+01 |      --      |    Inf 
121.37/121.41	c   121s|     1 |     0 |148352 |     - |  54M|   0 | 463 |1259 |3262 |1259 |3051 |1580 |   0 |   0 | 3.009418e+01 |      --      |    Inf 
122.57/122.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
122.57/122.64	c   123s|     1 |     0 |151410 |     - |  54M|   0 | 471 |1259 |3262 |1259 |2890 |1597 |   0 |   0 | 3.014461e+01 |      --      |    Inf 
123.27/123.34	c   123s|     1 |     0 |152861 |     - |  54M|   0 | 467 |1259 |3262 |1259 |2908 |1615 |   0 |   0 | 3.016137e+01 |      --      |    Inf 
124.28/124.30	c   124s|     1 |     0 |154942 |     - |  54M|   0 | 466 |1259 |3262 |1259 |2918 |1625 |   0 |   0 | 3.020850e+01 |      --      |    Inf 
126.97/127.05	c   127s|     1 |     0 |161527 |     - |  54M|   0 | 416 |1259 |3262 |1259 |2952 |1659 |   0 |   0 | 3.063307e+01 |      --      |    Inf 
128.37/128.44	c   128s|     1 |     0 |165197 |     - |  54M|   0 | 403 |1259 |3262 |1259 |2990 |1697 |   0 |   0 | 3.065644e+01 |      --      |    Inf 
129.67/129.78	c   130s|     1 |     0 |167927 |     - |  54M|   0 | 430 |1259 |3262 |1259 |3031 |1738 |   0 |   0 | 3.068512e+01 |      --      |    Inf 
130.37/130.42	c   130s|     1 |     0 |169316 |     - |  54M|   0 | 419 |1259 |3262 |1259 |3020 |1766 |   0 |   0 | 3.068512e+01 |      --      |    Inf 
130.97/131.08	c   131s|     1 |     0 |170660 |     - |  54M|   0 | 379 |1259 |3262 |1259 |3033 |1779 |   0 |   0 | 3.068512e+01 |      --      |    Inf 
131.47/131.56	c   131s|     1 |     0 |171661 |     - |  54M|   0 | 377 |1259 |3262 |1259 |3049 |1795 |   0 |   0 | 3.068512e+01 |      --      |    Inf 
132.37/132.42	c   132s|     1 |     0 |173497 |     - |  54M|   0 | 381 |1259 |3262 |1259 |3062 |1808 |   0 |   0 | 3.070537e+01 |      --      |    Inf 
132.77/132.84	c   133s|     1 |     0 |174317 |     - |  54M|   0 | 391 |1259 |3262 |1259 |3073 |1819 |   0 |   0 | 3.070557e+01 |      --      |    Inf 
133.17/133.21	c   133s|     1 |     0 |174826 |     - |  54M|   0 | 433 |1259 |3262 |1259 |3079 |1825 |   0 |   0 | 3.070557e+01 |      --      |    Inf 
133.56/133.67	c   134s|     1 |     0 |175454 |     - |  54M|   0 | 432 |1259 |3262 |1259 |3019 |1829 |   0 |   0 | 3.070557e+01 |      --      |    Inf 
133.96/134.01	c   134s|     1 |     0 |175722 |     - |  55M|   0 | 428 |1259 |3262 |1259 |3022 |1832 |   0 |   0 | 3.070557e+01 |      --      |    Inf 
134.17/134.27	c   134s|     1 |     0 |176118 |     - |  55M|   0 | 425 |1259 |3262 |1259 |3024 |1834 |   0 |   0 | 3.070557e+01 |      --      |    Inf 
140.86/140.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
140.86/140.99	c   141s|     1 |     2 |176118 |     - |  55M|   0 | 425 |1259 |3262 |1259 |3024 |1834 |   0 |  17 | 3.070557e+01 |      --      |    Inf 
356.33/356.46	c 
356.33/356.46	c SCIP Status        : problem is solved [infeasible]
356.33/356.46	c Solving Time (sec) : 356.36
356.33/356.46	c Solving Nodes      : 343
356.33/356.46	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
356.33/356.46	c Dual Bound         : +1.00000000000000e+20
356.33/356.46	c Gap                : 0.00 %
356.33/356.46	s UNSATISFIABLE
356.33/356.46	c SCIP Status        : problem is solved [infeasible]
356.33/356.46	c Solving Time       :     356.36
356.33/356.46	c Original Problem   :
356.33/356.46	c   Problem name     : HOME/instance-3741439-1338754572.opb
356.33/356.46	c   Variables        : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
356.33/356.46	c   Constraints      : 4687 initial, 4687 maximal
356.33/356.46	c Presolved Problem  :
356.33/356.46	c   Problem name     : t_HOME/instance-3741439-1338754572.opb
356.33/356.46	c   Variables        : 1259 (1259 binary, 0 integer, 0 implicit integer, 0 continuous)
356.33/356.46	c   Constraints      : 2447 initial, 3533 maximal
356.33/356.46	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
356.33/356.46	c   trivial          :       0.02          0          0          0          0          0          0          0          0
356.33/356.46	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
356.33/356.46	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
356.33/356.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
356.33/356.46	c   implics          :       0.03          0          0          0          0          0          0          0          0
356.33/356.46	c   probing          :       4.86       1101          0          0          0          0          0          0          0
356.33/356.46	c   knapsack         :      39.65         63          0          0          0          0       1936       4717      72625
356.33/356.46	c   setppc           :       1.40        362          0          0          0          0       3706          3          0
356.33/356.46	c   linear           :       0.18        421          2          0        421          0        496       3101       3101
356.33/356.46	c   logicor          :       0.25          0          0          0          0          0         98          0          0
356.33/356.46	c   root node        :          -          6          -          -          6          -          -          -          -
356.33/356.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
356.33/356.46	c   integral         :          0          0          0        202          0          0         27          0          0        380
356.33/356.46	c   knapsack         :        372         60      14033          0          0        251       6635        691          0          0
356.33/356.46	c   setppc           :        949         60      13782          0          0        509       9506          0          0          0
356.33/356.46	c   linear           :          0+        59       1919          0          0          1        480         64          0          0
356.33/356.46	c   logicor          :       1126+        60      11769          0          0         38       7072          0          0          0
356.33/356.46	c   countsols        :          0          0          0          0          0          0          0          0          0          0
356.33/356.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
356.33/356.46	c   integral         :     123.28       0.00       0.00     123.28       0.00
356.33/356.46	c   knapsack         :       2.29       0.26       2.03       0.00       0.00
356.33/356.46	c   setppc           :       0.47       0.01       0.46       0.00       0.00
356.33/356.46	c   linear           :       0.07       0.02       0.05       0.00       0.00
356.33/356.46	c   logicor          :       0.24       0.01       0.24       0.00       0.00
356.33/356.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00
356.33/356.46	c Propagators        :       Time      Calls    Cutoffs    DomReds
356.33/356.46	c   vbounds          :       0.01          2          0          0
356.33/356.46	c   rootredcost      :       0.01          0          0          0
356.33/356.46	c   pseudoobj        :       0.01       2046          1          0
356.33/356.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
356.33/356.46	c   propagation      :       0.02         83         82        310       43.7         11       24.6          -
356.33/356.46	c   infeasible LP    :       0.07        104        100        517      105.1          1       10.0          0
356.33/356.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
356.33/356.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
356.33/356.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
356.33/356.46	c   applied globally :          -          -          -        357       33.1          -          -          -
356.33/356.46	c   applied locally  :          -          -          -          0        0.0          -          -          -
356.33/356.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
356.33/356.46	c   cut pool         :       0.23         58          -          -        881          -    (maximal pool size: 4420)
356.33/356.46	c   redcost          :       0.01        261          0          4          0          0
356.33/356.46	c   impliedbounds    :       0.12         59          0          0       2326          0
356.33/356.46	c   intobj           :       0.00          0          0          0          0          0
356.33/356.46	c   cgmip            :       0.00          0          0          0          0          0
356.33/356.46	c   gomory           :       8.50         59          0          0       2067          0
356.33/356.46	c   strongcg         :       3.03         20          0          0       3224          0
356.33/356.46	c   cmir             :       0.12         10          0          0          1          0
356.33/356.46	c   flowcover        :       0.23         10          0          0        119          0
356.33/356.46	c   clique           :       2.16         59          0          0        554          0
356.33/356.46	c   zerohalf         :       0.00          0          0          0          0          0
356.33/356.46	c   mcf              :       0.00          1          0          0          0          0
356.33/356.46	c   rapidlearning    :       2.06          1          0          3          0        827
356.33/356.46	c Pricers            :       Time      Calls       Vars
356.33/356.46	c   problem variables:       0.00          0          0
356.33/356.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
356.33/356.46	c   relpscost        :     123.28        202          0         27          0          0        380
356.33/356.46	c   pscost           :       0.00          0          0          0          0          0          0
356.33/356.46	c   inference        :       0.00          0          0          0          0          0          0
356.33/356.46	c   mostinf          :       0.00          0          0          0          0          0          0
356.33/356.46	c   leastinf         :       0.00          0          0          0          0          0          0
356.33/356.46	c   fullstrong       :       0.00          0          0          0          0          0          0
356.33/356.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
356.33/356.46	c   random           :       0.00          0          0          0          0          0          0
356.33/356.46	c Primal Heuristics  :       Time      Calls      Found
356.33/356.46	c   LP solutions     :       0.00          -          0
356.33/356.46	c   pseudo solutions :       0.00          -          0
356.33/356.46	c   oneopt           :       0.00          0          0
356.33/356.46	c   crossover        :       0.00          0          0
356.33/356.46	c   fracdiving       :       0.00          0          0
356.33/356.46	c   veclendiving     :       0.00          0          0
356.33/356.46	c   objpscostdiving  :       0.00          0          0
356.33/356.46	c   rootsoldiving    :       0.00          0          0
356.33/356.46	c   linesearchdiving :       0.00          0          0
356.33/356.46	c   guideddiving     :       0.00          0          0
356.33/356.46	c   coefdiving       :       0.31          1          0
356.33/356.46	c   pscostdiving     :       0.01          1          0
356.33/356.46	c   feaspump         :       5.07          1          0
356.33/356.46	c   trivial          :       0.00          2          0
356.33/356.46	c   simplerounding   :       0.00          0          0
356.33/356.46	c   zirounding       :       0.01        190          0
356.33/356.46	c   rounding         :       0.05        171          0
356.33/356.46	c   shifting         :       0.13         83          0
356.33/356.46	c   intshifting      :       0.00          0          0
356.33/356.46	c   twoopt           :       0.00          0          0
356.33/356.46	c   fixandinfer      :       0.00          0          0
356.33/356.46	c   intdiving        :       0.00          0          0
356.33/356.46	c   actconsdiving    :       0.00          0          0
356.33/356.46	c   octane           :       0.00          0          0
356.33/356.46	c   rens             :       1.31          1          0
356.33/356.46	c   rins             :       0.00          0          0
356.33/356.46	c   localbranching   :       0.00          0          0
356.33/356.46	c   mutation         :       0.00          0          0
356.33/356.46	c   dins             :       0.00          0          0
356.33/356.46	c   undercover       :       0.00          0          0
356.33/356.46	c   nlp              :       0.00          0          0
356.33/356.46	c   trysol           :       0.00          0          0
356.33/356.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
356.33/356.46	c   primal LP        :       0.02          0          0       0.00       0.00
356.33/356.46	c   dual LP          :     161.98        366     479838    1311.03    2962.39
356.33/356.46	c   lex dual LP      :       0.00          0          0       0.00          -
356.33/356.46	c   barrier LP       :       0.00          0          0       0.00          -
356.33/356.46	c   diving/probing LP:       5.39         14      10723     765.93    1991.07
356.33/356.46	c   strong branching :     123.26        478     358739     750.50    2910.42
356.33/356.46	c     (at root node) :          -         17      13498     794.00          -
356.33/356.46	c   conflict analysis:       0.00          0          0       0.00          -
356.33/356.46	c B&B Tree           :
356.33/356.46	c   number of runs   :          1
356.33/356.46	c   nodes            :        343
356.33/356.46	c   nodes (total)    :        343
356.33/356.46	c   nodes left       :          0
356.33/356.46	c   max depth        :         21
356.33/356.46	c   max depth (total):         21
356.33/356.46	c   backtracks       :         78 (22.7%)
356.33/356.46	c   delayed cutoffs  :         38
356.33/356.46	c   repropagations   :        382 (3587 domain reductions, 32 cutoffs)
356.33/356.46	c   avg switch length:       3.70
356.33/356.46	c   switching time   :       0.11
356.33/356.46	c Solution           :
356.33/356.46	c   Solutions found  :          0 (0 improvements)
356.33/356.46	c   Primal Bound     : infeasible
356.33/356.46	c   Dual Bound       :          -
356.33/356.46	c   Gap              :       0.00 %
356.33/356.46	c   Root Dual Bound  : +3.07055669663101e+01
356.33/356.46	c   Root Iterations  :     176118
356.33/356.49	c Time complete: 356.42.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 11526
/proc/meminfo: memFree=27556640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 341524254 8101888 1067 33554432000 4194304 8395647 140736385954304 140734354650216 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 1978 1076 365 1026 0 948 0

[startup+0.029492 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 11526
/proc/meminfo: memFree=27556640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=13960 CPUtime=0.02 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 2745 0 0 0 2 0 0 0 20 0 1 0 341524254 14295040 2692 33554432000 4194304 8395647 140736385954304 140734354650216 7385355 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 3490 2692 393 1026 0 2460 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13960

[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 11526
/proc/meminfo: memFree=27556640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=16916 CPUtime=0.09 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 3481 0 0 0 9 0 0 0 20 0 1 0 341524254 17321984 3428 33554432000 4194304 8395647 140736385954304 140734354650216 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 4229 3428 393 1026 0 3199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16916

[startup+0.300296 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 11526
/proc/meminfo: memFree=27556640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=39596 CPUtime=0.29 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 9257 0 0 0 29 0 0 0 20 0 1 0 341524254 40546304 8850 33554432000 4194304 8395647 140736385954304 140736385951016 18446744073699066008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 9899 8850 474 1026 0 8869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39596

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 11526
/proc/meminfo: memFree=27556640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=48668 CPUtime=0.69 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 11550 0 0 0 68 1 0 0 20 0 1 0 341524254 49836032 11143 33554432000 4194304 8395647 140736385954304 140736385951016 4954441 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 12167 11143 499 1026 0 11137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48668

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11527
/proc/meminfo: memFree=27514340/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=49060 CPUtime=1.49 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 11643 0 0 0 148 1 0 0 20 0 1 0 341524254 50237440 11236 33554432000 4194304 8395647 140736385954304 140736385950104 4955699 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 12265 11236 499 1026 0 11235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49060

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11527
/proc/meminfo: memFree=27513596/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=49192 CPUtime=3.09 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 11676 0 0 0 308 1 0 0 20 0 1 0 341524254 50372608 11269 33554432000 4194304 8395647 140736385954304 140736385950104 4954367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 12298 11269 499 1026 0 11268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49192

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11527
/proc/meminfo: memFree=27512348/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=50244 CPUtime=6.29 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 11940 0 0 0 628 1 0 0 20 0 1 0 341524254 51449856 11533 33554432000 4194304 8395647 140736385954304 140736385950104 4954718 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 12561 11533 500 1026 0 11531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50244

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11527
/proc/meminfo: memFree=27509372/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=52532 CPUtime=12.69 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 12536 0 0 0 1268 1 0 0 20 0 1 0 341524254 53792768 12129 33554432000 4194304 8395647 140736385954304 140736385950104 4954457 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 13133 12129 500 1026 0 12103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52532

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 11527
/proc/meminfo: memFree=27501932/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=60452 CPUtime=25.48 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 14500 0 0 0 2547 1 0 0 20 0 1 0 341524254 61902848 14093 33554432000 4194304 8395647 140736385954304 140736385950104 4954367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 15113 14093 509 1026 0 14083 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60452

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 11527
/proc/meminfo: memFree=27484324/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=78152 CPUtime=51.08 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 19057 0 0 0 5105 3 0 0 20 0 1 0 341524254 80027648 18603 33554432000 4194304 8395647 140736385954304 140736385948872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 19538 18603 590 1026 0 18508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78152

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11527
/proc/meminfo: memFree=27450844/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=111116 CPUtime=102.27 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 27376 0 0 0 10200 27 0 0 20 0 1 0 341524254 113782784 26816 33554432000 4194304 8395647 140736385954304 140736385949864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 27779 26816 638 1026 0 26749 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 111116

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 11527
/proc/meminfo: memFree=27447768/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=162.26 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32401 0 0 0 16176 50 0 0 20 0 1 0 341524254 116174848 27559 33554432000 4194304 8395647 140736385954304 140736385949176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27559 641 1026 0 27333 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 113452

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 11527
/proc/meminfo: memFree=27447640/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=222.25 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32416 0 0 0 22151 74 0 0 20 0 1 0 341524254 116174848 27666 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27666 642 1026 0 27333 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 113452

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 11530
/proc/meminfo: memFree=27446400/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=282.23 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 28128 95 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 113452

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444972/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=342.22 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 34103 119 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 113452

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

[startup+345.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444724/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=345.42 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 34421 121 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949816 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 345.42
Current children cumulated vsize (KiB) 113452

[startup+351.9 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=351.83 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35060 123 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 351.83
Current children cumulated vsize (KiB) 113452

[startup+353.5 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=353.43 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35218 125 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949816 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 353.43
Current children cumulated vsize (KiB) 113452

[startup+355.1 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=355.02 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35377 125 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 355.02
Current children cumulated vsize (KiB) 113452

[startup+355.9 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=355.82 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35457 125 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 355.82
Current children cumulated vsize (KiB) 113452

[startup+356.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=356.23 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35497 126 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 356.23
Current children cumulated vsize (KiB) 113452

[startup+356.407 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 11531
/proc/meminfo: memFree=27444600/32873844 swapFree=7128/7128
[pid=11526] ppid=11524 vsize=113452 CPUtime=356.33 cores=1,3,5,7
/proc/11526/stat : 11526 (pbscip.linux.x8) R 11524 11526 11206 0 -1 4202496 32418 0 0 0 35507 126 0 0 20 0 1 0 341524254 116174848 27668 33554432000 4194304 8395647 140736385954304 140736385949432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11526/statm: 28363 27668 642 1026 0 27333 0
Current children cumulated CPU time (s) 356.33
Current children cumulated vsize (KiB) 113452

Child status: 0
Real time (s): 356.498
CPU time (s): 356.432
CPU user time (s): 355.168
CPU system time (s): 1.26381
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 131988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.168
system time used= 1.26381
maximum resident set size= 126516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32423
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= 18
involuntary context switches= 367

runsolver used 0.575912 second user time and 1.38679 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 22:16:12
IDJOB=3741439
IDBENCH=89857
IDSOLVER=2326
FILE ID=node105/3741439-1338754572
RUNJOBID= node105-1338749876-11223
PBS_JOBID= 14636807
Free space on /tmp= 71264 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-ns1745726.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-3741439-1338754572/watcher-3741439-1338754572 -o /tmp/evaluation-result-3741439-1338754572/solver-3741439-1338754572 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741439-1338754572.opb -t 1800 -m 15500

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

MD5SUM BENCH= 0b23fd4cef9a00c3517621c1b2c7d2fd
RANDOM SEED=396657797

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27556640 kB
Buffers:          565488 kB
Cached:          3621740 kB
SwapCached:         1700 kB
Active:          1318776 kB
Inactive:        3114724 kB
Active(anon):     242432 kB
Inactive(anon):     4800 kB
Active(file):    1076344 kB
Inactive(file):  3109924 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             11128 kB
Writeback:             0 kB
AnonPages:        250480 kB
Mapped:            11568 kB
Shmem:                 0 kB
Slab:             742468 kB
SReclaimable:     184192 kB
SUnreclaim:       558276 kB
KernelStack:        1456 kB
PageTables:         4192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     367248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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= 71256 MiB
End job on node105 at 2012-06-03 22:22:09