Trace number 3741435

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)UNSAT 1142.34 1142.53

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.02/0.08	c SCIP version 1.1.0.7
0.02/0.08	c LP-Solver SoPlex 1.4.1
0.02/0.08	c user parameter file <scip.set> not found - using default parameters
0.02/0.08	c read problem <HOME/instance-3741435-1338771710.opb>
0.02/0.08	c original problem has 3208 variables (3208 bin, 0 int, 0 impl, 0 cont) and 4687 constraints
0.09/0.11	c start presolving problem
0.09/0.11	c presolving:
0.09/0.14	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.16	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.09/0.17	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.09/0.18	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.09/0.19	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.18/0.20	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.18/0.21	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.18/0.22	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.18/0.23	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.18/0.24	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.18/0.25	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.18/0.25	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.18/0.29	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.39/0.49	c (round 14) 423 del vars, 559 del conss, 421 chg bounds, 6424 chg sides, 14374 chg coeffs, 4191 upgd conss, 40700 impls, 721 clqs
0.59/0.69	c (round 15) 503 del vars, 1865 del conss, 421 chg bounds, 6424 chg sides, 15351 chg coeffs, 4191 upgd conss, 40848 impls, 702 clqs
0.88/0.93	c (round 16) 548 del vars, 2093 del conss, 421 chg bounds, 6493 chg sides, 16466 chg coeffs, 4191 upgd conss, 40860 impls, 705 clqs
1.09/1.17	c (round 17) 548 del vars, 2138 del conss, 421 chg bounds, 6493 chg sides, 17415 chg coeffs, 4191 upgd conss, 40860 impls, 705 clqs
1.29/1.39	c (round 18) 603 del vars, 2208 del conss, 421 chg bounds, 6493 chg sides, 18362 chg coeffs, 4191 upgd conss, 40860 impls, 698 clqs
1.69/1.74	c (round 19) 603 del vars, 2274 del conss, 421 chg bounds, 6574 chg sides, 19565 chg coeffs, 4191 upgd conss, 40860 impls, 701 clqs
2.09/2.11	c (round 20) 647 del vars, 2367 del conss, 421 chg bounds, 6574 chg sides, 20482 chg coeffs, 4191 upgd conss, 40888 impls, 695 clqs
2.39/2.48	c (round 21) 650 del vars, 2439 del conss, 421 chg bounds, 6636 chg sides, 21626 chg coeffs, 4191 upgd conss, 40888 impls, 697 clqs
2.88/2.93	c (round 22) 689 del vars, 2532 del conss, 421 chg bounds, 6636 chg sides, 22527 chg coeffs, 4191 upgd conss, 40916 impls, 687 clqs
3.30/3.37	c (round 23) 704 del vars, 2607 del conss, 421 chg bounds, 6706 chg sides, 23707 chg coeffs, 4191 upgd conss, 40916 impls, 689 clqs
3.69/3.78	c (round 24) 704 del vars, 2632 del conss, 421 chg bounds, 6742 chg sides, 25037 chg coeffs, 4191 upgd conss, 40916 impls, 725 clqs
4.19/4.28	c (round 25) 725 del vars, 2709 del conss, 421 chg bounds, 6798 chg sides, 26549 chg coeffs, 4191 upgd conss, 40916 impls, 778 clqs
4.69/4.76	c (round 26) 725 del vars, 2795 del conss, 421 chg bounds, 6836 chg sides, 27505 chg coeffs, 4191 upgd conss, 40916 impls, 780 clqs
5.19/5.29	c (round 27) 736 del vars, 2828 del conss, 421 chg bounds, 6836 chg sides, 28286 chg coeffs, 4191 upgd conss, 40916 impls, 778 clqs
5.79/5.84	c (round 28) 736 del vars, 2843 del conss, 421 chg bounds, 6878 chg sides, 29199 chg coeffs, 4191 upgd conss, 40916 impls, 779 clqs
6.29/6.35	c (round 29) 736 del vars, 2857 del conss, 421 chg bounds, 6878 chg sides, 29883 chg coeffs, 4191 upgd conss, 40916 impls, 779 clqs
6.79/6.85	c (round 30) 736 del vars, 2860 del conss, 421 chg bounds, 6878 chg sides, 30562 chg coeffs, 4191 upgd conss, 40916 impls, 779 clqs
7.29/7.36	c (round 31) 736 del vars, 2860 del conss, 421 chg bounds, 6878 chg sides, 31237 chg coeffs, 4191 upgd conss, 40916 impls, 779 clqs
7.89/7.90	c (round 32) 736 del vars, 2860 del conss, 421 chg bounds, 6878 chg sides, 31912 chg coeffs, 4191 upgd conss, 40916 impls, 779 clqs
8.39/8.48	c (round 33) 737 del vars, 2862 del conss, 421 chg bounds, 6878 chg sides, 32587 chg coeffs, 4191 upgd conss, 40938 impls, 778 clqs
8.98/9.07	c (round 34) 737 del vars, 2862 del conss, 421 chg bounds, 6878 chg sides, 33262 chg coeffs, 4191 upgd conss, 40938 impls, 778 clqs
9.68/9.71	c (round 35) 740 del vars, 2873 del conss, 421 chg bounds, 6878 chg sides, 33937 chg coeffs, 4191 upgd conss, 40960 impls, 775 clqs
10.29/10.37	c (round 36) 740 del vars, 2873 del conss, 421 chg bounds, 6878 chg sides, 34612 chg coeffs, 4191 upgd conss, 40960 impls, 775 clqs
11.00/11.05	c (round 37) 740 del vars, 2873 del conss, 421 chg bounds, 6878 chg sides, 35285 chg coeffs, 4191 upgd conss, 40960 impls, 775 clqs
11.69/11.76	c (round 38) 741 del vars, 2876 del conss, 421 chg bounds, 6878 chg sides, 35957 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
12.49/12.50	c (round 39) 741 del vars, 2876 del conss, 421 chg bounds, 6878 chg sides, 36629 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
13.19/13.25	c (round 40) 741 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 37301 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
13.99/14.01	c (round 41) 741 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 37731 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
14.48/14.52	c (round 42) 741 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 38149 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
14.98/15.02	c (round 43) 741 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 38358 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
15.18/15.28	c (round 44) 741 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 38534 chg coeffs, 4191 upgd conss, 40960 impls, 774 clqs
15.49/15.50	c (round 45) 856 del vars, 2877 del conss, 421 chg bounds, 6878 chg sides, 38534 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.49/15.54	c (round 46) 856 del vars, 3003 del conss, 421 chg bounds, 6878 chg sides, 38741 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.59/15.60	c (round 47) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 38941 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.59/15.63	c (round 48) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39131 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.59/15.67	c (round 49) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39312 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.69/15.71	c (round 50) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39483 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.69/15.76	c (round 51) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39645 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.79/15.81	c (round 52) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39798 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.79/15.87	c (round 53) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 39942 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.88/15.93	c (round 54) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40077 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.88/15.99	c (round 55) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40203 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
15.98/16.06	c (round 56) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40320 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.08/16.12	c (round 57) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40428 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.08/16.18	c (round 58) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40527 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.19/16.24	c (round 59) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40617 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.29/16.30	c (round 60) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40698 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.29/16.36	c (round 61) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40770 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.40/16.41	c (round 62) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40833 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.40/16.46	c (round 63) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40887 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.40/16.50	c (round 64) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40932 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.49/16.53	c (round 65) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40968 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.49/16.56	c (round 66) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 40995 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.49/16.59	c (round 67) 856 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 41013 chg coeffs, 4191 upgd conss, 40960 impls, 729 clqs
16.58/16.61	c (round 68) 967 del vars, 3005 del conss, 421 chg bounds, 6878 chg sides, 41022 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.58/16.65	c (round 69) 967 del vars, 3127 del conss, 421 chg bounds, 6878 chg sides, 41220 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.68/16.70	c (round 70) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 41407 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.68/16.73	c (round 71) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 41587 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.68/16.76	c (round 72) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 41759 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.78/16.80	c (round 73) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 41922 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.78/16.84	c (round 74) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42075 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.78/16.89	c (round 75) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42219 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.88/16.94	c (round 76) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42354 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.88/16.99	c (round 77) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42480 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.99/17.04	c (round 78) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42597 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
16.99/17.09	c (round 79) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42705 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.09/17.14	c (round 80) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42804 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.09/17.19	c (round 81) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42894 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.19/17.24	c (round 82) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 42975 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.19/17.29	c (round 83) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43047 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.28/17.33	c (round 84) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43110 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.28/17.37	c (round 85) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43164 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.38/17.41	c (round 86) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43209 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.38/17.44	c (round 87) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43245 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.38/17.47	c (round 88) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43272 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.38/17.49	c (round 89) 967 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43290 chg coeffs, 4191 upgd conss, 40960 impls, 684 clqs
17.50/17.50	c (round 90) 1074 del vars, 3129 del conss, 421 chg bounds, 6878 chg sides, 43299 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.50/17.54	c (round 91) 1074 del vars, 3248 del conss, 421 chg bounds, 6878 chg sides, 43477 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.50/17.59	c (round 92) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 43646 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.59/17.61	c (round 93) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 43801 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.59/17.63	c (round 94) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 43946 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.59/17.65	c (round 95) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44081 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.59/17.67	c (round 96) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44207 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.59/17.69	c (round 97) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44324 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.68/17.72	c (round 98) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44432 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.68/17.74	c (round 99) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44531 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.68/17.77	c (round 100) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44621 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.68/17.79	c (round 101) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44702 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.78/17.81	c (round 102) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44774 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.78/17.84	c (round 103) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44837 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.78/17.86	c (round 104) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44891 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.78/17.88	c (round 105) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44936 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.78/17.89	c (round 106) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44972 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.89/17.91	c (round 107) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 44999 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.89/17.92	c (round 108) 1074 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 45017 chg coeffs, 4191 upgd conss, 40960 impls, 638 clqs
17.89/17.98	c (round 109) 1124 del vars, 3249 del conss, 421 chg bounds, 6878 chg sides, 45026 chg coeffs, 4191 upgd conss, 40972 impls, 622 clqs
18.19/18.20	c (round 110) 1124 del vars, 3411 del conss, 421 chg bounds, 6878 chg sides, 45044 chg coeffs, 4191 upgd conss, 40972 impls, 622 clqs
18.39/18.40	c (round 111) 1124 del vars, 3425 del conss, 421 chg bounds, 6878 chg sides, 45062 chg coeffs, 4191 upgd conss, 40972 impls, 622 clqs
18.39/18.41	c (round 112) 1124 del vars, 3425 del conss, 421 chg bounds, 6878 chg sides, 45079 chg coeffs, 4191 upgd conss, 40972 impls, 622 clqs
18.48/18.59	c (round 113) 1174 del vars, 3425 del conss, 421 chg bounds, 6878 chg sides, 45086 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
18.78/18.84	c (round 114) 1174 del vars, 3582 del conss, 421 chg bounds, 6878 chg sides, 45482 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
18.98/19.05	c (round 115) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 45845 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.09/19.14	c (round 116) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 46177 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.19/19.24	c (round 117) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 46475 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.29/19.32	c (round 118) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 46736 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.39/19.40	c (round 119) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 46925 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.39/19.46	c (round 120) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 47095 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.49/19.53	c (round 121) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 47247 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.49/19.59	c (round 122) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 47382 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.59/19.64	c (round 123) 1174 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 47449 chg coeffs, 4191 upgd conss, 68524 impls, 616 clqs
19.89/19.98	c (round 124) 1224 del vars, 3596 del conss, 421 chg bounds, 6878 chg sides, 47449 chg coeffs, 4191 upgd conss, 141770 impls, 606 clqs
20.29/20.31	c (round 125) 1224 del vars, 3705 del conss, 421 chg bounds, 6895 chg sides, 48067 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
20.59/20.67	c (round 126) 1224 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 48523 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
20.79/20.87	c (round 127) 1224 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 48927 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
20.98/21.06	c (round 128) 1224 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 49150 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
21.09/21.15	c (round 129) 1224 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 49238 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
21.09/21.19	c (round 130) 1224 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 49310 chg coeffs, 4191 upgd conss, 141772 impls, 612 clqs
21.39/21.40	c (round 131) 1274 del vars, 3741 del conss, 421 chg bounds, 6895 chg sides, 49310 chg coeffs, 4191 upgd conss, 178894 impls, 589 clqs
21.69/21.74	c (round 132) 1274 del vars, 3832 del conss, 421 chg bounds, 6977 chg sides, 50745 chg coeffs, 4191 upgd conss, 178898 impls, 627 clqs
22.08/22.12	c (round 133) 1274 del vars, 3919 del conss, 421 chg bounds, 6983 chg sides, 51156 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
22.38/22.42	c (round 134) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 51451 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
22.48/22.56	c (round 135) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 51727 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
22.68/22.71	c (round 136) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 51993 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
22.78/22.85	c (round 137) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 52249 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
22.88/22.99	c (round 138) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 52495 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
23.09/23.13	c (round 139) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 52607 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
23.18/23.20	c (round 140) 1274 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 52658 chg coeffs, 4191 upgd conss, 178898 impls, 628 clqs
23.39/23.46	c (round 141) 1324 del vars, 3920 del conss, 421 chg bounds, 6983 chg sides, 52658 chg coeffs, 4191 upgd conss, 221790 impls, 608 clqs
23.79/23.80	c (round 142) 1324 del vars, 3976 del conss, 421 chg bounds, 7021 chg sides, 53583 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.10/24.17	c (round 143) 1324 del vars, 4045 del conss, 421 chg bounds, 7021 chg sides, 53890 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.29/24.32	c (round 144) 1324 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54128 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.39/24.43	c (round 145) 1324 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54361 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.49/24.55	c (round 146) 1324 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54589 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.59/24.67	c (round 147) 1324 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54762 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.69/24.77	c (round 148) 1324 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54873 chg coeffs, 4191 upgd conss, 221792 impls, 611 clqs
24.98/25.06	c (round 149) 1374 del vars, 4047 del conss, 421 chg bounds, 7021 chg sides, 54876 chg coeffs, 4191 upgd conss, 257192 impls, 596 clqs
25.29/25.39	c (round 150) 1374 del vars, 4141 del conss, 421 chg bounds, 7049 chg sides, 55589 chg coeffs, 4191 upgd conss, 257194 impls, 603 clqs
25.68/25.75	c (round 151) 1374 del vars, 4188 del conss, 421 chg bounds, 7050 chg sides, 55909 chg coeffs, 4191 upgd conss, 257194 impls, 603 clqs
25.78/25.89	c (round 152) 1374 del vars, 4189 del conss, 421 chg bounds, 7050 chg sides, 56115 chg coeffs, 4191 upgd conss, 257194 impls, 603 clqs
25.88/25.99	c (round 153) 1374 del vars, 4192 del conss, 421 chg bounds, 7050 chg sides, 56130 chg coeffs, 4191 upgd conss, 257194 impls, 603 clqs
26.19/26.30	c (round 154) 1424 del vars, 4192 del conss, 421 chg bounds, 7050 chg sides, 56132 chg coeffs, 4191 upgd conss, 306634 impls, 592 clqs
26.59/26.62	c (round 155) 1424 del vars, 4289 del conss, 421 chg bounds, 7111 chg sides, 57327 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
26.89/26.95	c (round 156) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 57555 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
26.99/27.05	c (round 157) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 57728 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.09/27.12	c (round 158) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 57883 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.09/27.19	c (round 159) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 58034 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.18/27.26	c (round 160) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 58176 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.28/27.32	c (round 161) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 58307 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.28/27.38	c (round 162) 1424 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 58337 chg coeffs, 4191 upgd conss, 306636 impls, 596 clqs
27.49/27.58	c    (27.3s) probing: 1000/2467 (40.5%) - 721 fixings, 0 aggregations, 122102 implications, 0 bound changes
27.58/27.68	c (round 163) 1474 del vars, 4368 del conss, 421 chg bounds, 7111 chg sides, 58344 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
27.89/27.99	c (round 164) 1474 del vars, 4488 del conss, 421 chg bounds, 7140 chg sides, 59017 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.19/28.27	c (round 165) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59216 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.29/28.37	c (round 166) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59290 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.41	c (round 167) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59354 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.44	c (round 168) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59394 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.46	c (round 169) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59431 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.48	c (round 170) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59450 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.49	c (round 171) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59463 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.49	c (round 172) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59472 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.39/28.50	c (round 173) 1474 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59481 chg coeffs, 4191 upgd conss, 344368 impls, 585 clqs
28.68/28.76	c (round 174) 1524 del vars, 4527 del conss, 421 chg bounds, 7140 chg sides, 59486 chg coeffs, 4191 upgd conss, 381528 impls, 576 clqs
28.98/29.06	c (round 175) 1524 del vars, 4670 del conss, 421 chg bounds, 7152 chg sides, 60032 chg coeffs, 4191 upgd conss, 381534 impls, 578 clqs
29.28/29.35	c (round 176) 1524 del vars, 4708 del conss, 421 chg bounds, 7176 chg sides, 60580 chg coeffs, 4191 upgd conss, 381534 impls, 579 clqs
29.49/29.55	c (round 177) 1524 del vars, 4710 del conss, 421 chg bounds, 7176 chg sides, 60607 chg coeffs, 4191 upgd conss, 381534 impls, 579 clqs
29.49/29.56	c (round 178) 1524 del vars, 4710 del conss, 421 chg bounds, 7176 chg sides, 60624 chg coeffs, 4191 upgd conss, 381534 impls, 579 clqs
29.49/29.57	c (round 179) 1524 del vars, 4710 del conss, 421 chg bounds, 7176 chg sides, 60639 chg coeffs, 4191 upgd conss, 381534 impls, 579 clqs
29.79/29.81	c (round 180) 1574 del vars, 4710 del conss, 421 chg bounds, 7176 chg sides, 60640 chg coeffs, 4191 upgd conss, 413646 impls, 564 clqs
30.09/30.10	c (round 181) 1574 del vars, 4843 del conss, 421 chg bounds, 7206 chg sides, 61440 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.29/30.38	c (round 182) 1574 del vars, 4892 del conss, 421 chg bounds, 7214 chg sides, 61831 chg coeffs, 4191 upgd conss, 413702 impls, 567 clqs
30.58/30.60	c (round 183) 1575 del vars, 4893 del conss, 421 chg bounds, 7214 chg sides, 61984 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.58/30.70	c (round 184) 1575 del vars, 4896 del conss, 421 chg bounds, 7214 chg sides, 62043 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.69/30.76	c (round 185) 1575 del vars, 4896 del conss, 421 chg bounds, 7214 chg sides, 62068 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.69/30.78	c (round 186) 1575 del vars, 4897 del conss, 421 chg bounds, 7214 chg sides, 62075 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.69/30.78	c (round 187) 1575 del vars, 4898 del conss, 421 chg bounds, 7214 chg sides, 62080 chg coeffs, 4191 upgd conss, 413702 impls, 566 clqs
30.89/30.95	c (round 188) 1625 del vars, 4898 del conss, 421 chg bounds, 7214 chg sides, 62083 chg coeffs, 4191 upgd conss, 435132 impls, 556 clqs
31.18/31.24	c (round 189) 1625 del vars, 5016 del conss, 421 chg bounds, 7236 chg sides, 62673 chg coeffs, 4191 upgd conss, 435176 impls, 558 clqs
31.48/31.52	c (round 190) 1635 del vars, 5060 del conss, 421 chg bounds, 7246 chg sides, 63059 chg coeffs, 4191 upgd conss, 435176 impls, 551 clqs
31.58/31.69	c (round 191) 1635 del vars, 5076 del conss, 421 chg bounds, 7247 chg sides, 63207 chg coeffs, 4191 upgd conss, 435176 impls, 552 clqs
31.79/31.88	c (round 192) 1635 del vars, 5079 del conss, 421 chg bounds, 7247 chg sides, 63375 chg coeffs, 4191 upgd conss, 435176 impls, 552 clqs
31.89/31.98	c (round 193) 1635 del vars, 5079 del conss, 421 chg bounds, 7247 chg sides, 63450 chg coeffs, 4191 upgd conss, 435176 impls, 552 clqs
31.98/32.02	c (round 194) 1635 del vars, 5081 del conss, 421 chg bounds, 7247 chg sides, 63451 chg coeffs, 4191 upgd conss, 435176 impls, 552 clqs
32.19/32.23	c (round 195) 1685 del vars, 5081 del conss, 421 chg bounds, 7247 chg sides, 63452 chg coeffs, 4191 upgd conss, 469584 impls, 549 clqs
32.49/32.51	c (round 196) 1685 del vars, 5175 del conss, 421 chg bounds, 7274 chg sides, 63801 chg coeffs, 4191 upgd conss, 469614 impls, 550 clqs
32.68/32.70	c (round 197) 1687 del vars, 5241 del conss, 421 chg bounds, 7293 chg sides, 64058 chg coeffs, 4191 upgd conss, 469614 impls, 549 clqs
32.68/32.79	c (round 198) 1687 del vars, 5247 del conss, 421 chg bounds, 7306 chg sides, 64382 chg coeffs, 4191 upgd conss, 469614 impls, 549 clqs
32.78/32.88	c (round 199) 1687 del vars, 5260 del conss, 421 chg bounds, 7306 chg sides, 64522 chg coeffs, 4191 upgd conss, 469614 impls, 549 clqs
32.89/32.95	c (round 200) 1687 del vars, 5260 del conss, 421 chg bounds, 7306 chg sides, 64536 chg coeffs, 4191 upgd conss, 469614 impls, 549 clqs
33.08/33.10	c (round 201) 1737 del vars, 5260 del conss, 421 chg bounds, 7306 chg sides, 64539 chg coeffs, 4191 upgd conss, 489052 impls, 548 clqs
33.28/33.37	c (round 202) 1737 del vars, 5330 del conss, 421 chg bounds, 7342 chg sides, 65022 chg coeffs, 4191 upgd conss, 489072 impls, 549 clqs
33.49/33.55	c (round 203) 1781 del vars, 5405 del conss, 421 chg bounds, 7351 chg sides, 65172 chg coeffs, 4191 upgd conss, 489072 impls, 539 clqs
33.58/33.66	c (round 204) 1781 del vars, 5417 del conss, 421 chg bounds, 7469 chg sides, 65991 chg coeffs, 4191 upgd conss, 489072 impls, 539 clqs
33.68/33.77	c (round 205) 1782 del vars, 5516 del conss, 421 chg bounds, 7469 chg sides, 66018 chg coeffs, 4191 upgd conss, 489072 impls, 537 clqs
33.68/33.79	c (round 206) 1782 del vars, 5519 del conss, 421 chg bounds, 7469 chg sides, 66026 chg coeffs, 4191 upgd conss, 489072 impls, 537 clqs
33.78/33.81	c (round 207) 1808 del vars, 5531 del conss, 421 chg bounds, 7469 chg sides, 66029 chg coeffs, 4191 upgd conss, 489072 impls, 530 clqs
33.78/33.84	c (round 208) 1808 del vars, 5537 del conss, 421 chg bounds, 7529 chg sides, 66399 chg coeffs, 4191 upgd conss, 489072 impls, 530 clqs
33.78/33.86	c (round 209) 1808 del vars, 5587 del conss, 421 chg bounds, 7529 chg sides, 66402 chg coeffs, 4191 upgd conss, 489072 impls, 530 clqs
33.78/33.86	c (round 210) 1808 del vars, 5593 del conss, 421 chg bounds, 7529 chg sides, 66402 chg coeffs, 4191 upgd conss, 489072 impls, 530 clqs
33.88/33.97	c (round 211) 1858 del vars, 5593 del conss, 421 chg bounds, 7529 chg sides, 66402 chg coeffs, 4191 upgd conss, 502528 impls, 527 clqs
34.09/34.18	c (round 212) 1858 del vars, 5608 del conss, 421 chg bounds, 7599 chg sides, 67158 chg coeffs, 4191 upgd conss, 502528 impls, 527 clqs
34.18/34.27	c (round 213) 1859 del vars, 5722 del conss, 421 chg bounds, 7613 chg sides, 67380 chg coeffs, 4191 upgd conss, 502528 impls, 526 clqs
34.18/34.29	c (round 214) 1859 del vars, 5725 del conss, 421 chg bounds, 7613 chg sides, 67383 chg coeffs, 4191 upgd conss, 502528 impls, 526 clqs
34.28/34.31	c (round 215) 1868 del vars, 5727 del conss, 421 chg bounds, 7613 chg sides, 67384 chg coeffs, 4191 upgd conss, 502528 impls, 524 clqs
34.28/34.33	c (round 216) 1868 del vars, 5730 del conss, 421 chg bounds, 7661 chg sides, 67544 chg coeffs, 4191 upgd conss, 502528 impls, 524 clqs
34.28/34.35	c (round 217) 1869 del vars, 5749 del conss, 421 chg bounds, 7661 chg sides, 67544 chg coeffs, 4191 upgd conss, 502528 impls, 523 clqs
34.28/34.35	c (round 218) 1869 del vars, 5752 del conss, 421 chg bounds, 7661 chg sides, 67544 chg coeffs, 4191 upgd conss, 502528 impls, 523 clqs
34.28/34.37	c (round 219) 1871 del vars, 5754 del conss, 421 chg bounds, 7661 chg sides, 67544 chg coeffs, 4191 upgd conss, 502528 impls, 522 clqs
34.28/34.39	c (round 220) 1871 del vars, 5762 del conss, 421 chg bounds, 7719 chg sides, 67637 chg coeffs, 4191 upgd conss, 502528 impls, 522 clqs
34.39/34.40	c (round 221) 1871 del vars, 5773 del conss, 421 chg bounds, 7719 chg sides, 67637 chg coeffs, 4191 upgd conss, 502528 impls, 522 clqs
34.49/34.52	c    (34.2s) probing: 2000/2467 (81.1%) - 1067 fixings, 0 aggregations, 199254 implications, 0 bound changes
34.49/34.56	c (round 222) 1921 del vars, 5773 del conss, 421 chg bounds, 7719 chg sides, 67637 chg coeffs, 4191 upgd conss, 519982 impls, 512 clqs
34.69/34.74	c (round 223) 1921 del vars, 5779 del conss, 421 chg bounds, 7855 chg sides, 68562 chg coeffs, 4191 upgd conss, 519982 impls, 512 clqs
34.78/34.82	c (round 224) 1921 del vars, 5946 del conss, 421 chg bounds, 7888 chg sides, 69052 chg coeffs, 4191 upgd conss, 519982 impls, 512 clqs
34.78/34.85	c (round 225) 1921 del vars, 5956 del conss, 421 chg bounds, 7888 chg sides, 69076 chg coeffs, 4191 upgd conss, 519982 impls, 512 clqs
34.78/34.86	c (round 226) 1921 del vars, 5956 del conss, 421 chg bounds, 7888 chg sides, 69093 chg coeffs, 4191 upgd conss, 519982 impls, 512 clqs
34.78/34.89	c (round 227) 1944 del vars, 5956 del conss, 421 chg bounds, 7888 chg sides, 69095 chg coeffs, 4191 upgd conss, 520598 impls, 489 clqs
34.98/35.06	c (round 228) 1944 del vars, 6002 del conss, 421 chg bounds, 7911 chg sides, 69427 chg coeffs, 4191 upgd conss, 520598 impls, 489 clqs
34.98/35.09	c (round 229) 1944 del vars, 6028 del conss, 421 chg bounds, 7914 chg sides, 69470 chg coeffs, 4191 upgd conss, 520598 impls, 489 clqs
34.98/35.09	c presolving (230 rounds):
34.98/35.09	c  1944 deleted vars, 6028 deleted constraints, 421 tightened bounds, 0 added holes, 7914 changed sides, 69470 changed coefficients
34.98/35.09	c  520598 implications, 489 cliques
34.98/35.09	c presolved problem has 1264 variables (1264 bin, 0 int, 0 impl, 0 cont) and 3095 constraints
34.98/35.09	c     380 constraints of type <knapsack>
34.98/35.09	c    1574 constraints of type <setppc>
34.98/35.09	c    1141 constraints of type <logicor>
34.98/35.09	c transformed objective value is always integral (scale: 1)
34.98/35.09	c Presolving Time: 34.76
34.98/35.09	c OPT-LIN
34.98/35.09	c -----------------------------------------------------------------------------------------------
34.98/35.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
34.98/35.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.98/35.09	c limits/memory = c 13950
34.98/35.09	c # maximal time in seconds to run
34.98/35.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.98/35.09	c limits/time = c 1791
34.98/35.09	c # frequency for displaying node information lines
34.98/35.09	c # [type: int, range: [-1,2147483647], default: 100]
34.98/35.09	c display/freq = c 10000
34.98/35.09	c -----------------------------------------------------------------------------------------------
34.98/35.09	c start solving problem
34.98/35.09	c 
35.59/35.67	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.59/35.67	c  35.4s|     1 |     0 |  2268 |  31M|   0 | 525 |1264 |3095 |3095 |1264 |3095 |   0 |   0 |   0 | 1.817333e+01 |      --      |    Inf 
40.98/41.05	c  40.7s|     1 |     0 |  9937 |  31M|   0 | 587 |1264 |3095 |3095 |1264 |3349 | 254 |   0 |   0 | 1.818462e+01 |      --      |    Inf 
41.98/42.05	c  41.7s|     1 |     0 | 11494 |  32M|   0 | 609 |1264 |3095 |3095 |1264 |3422 | 327 |   0 |   0 | 1.841379e+01 |      --      |    Inf 
43.68/43.72	c  43.3s|     1 |     0 | 14179 |  32M|   0 | 624 |1264 |3095 |3095 |1264 |3492 | 397 |   0 |   0 | 2.011688e+01 |      --      |    Inf 
44.39/44.48	c  44.1s|     1 |     0 | 15174 |  32M|   0 | 631 |1264 |3095 |3095 |1264 |3531 | 436 |   0 |   0 | 2.011688e+01 |      --      |    Inf 
45.09/45.15	c  44.8s|     1 |     0 | 15977 |  32M|   0 | 693 |1264 |3095 |3095 |1264 |3576 | 481 |   0 |   0 | 2.011688e+01 |      --      |    Inf 
45.98/46.08	c  45.7s|     1 |     0 | 17260 |  32M|   0 | 619 |1264 |3095 |3095 |1264 |3606 | 511 |   0 |   0 | 2.011688e+01 |      --      |    Inf 
47.68/47.79	c  47.4s|     1 |     0 | 19991 |  33M|   0 | 564 |1264 |3095 |3095 |1264 |3652 | 557 |   0 |   0 | 2.142857e+01 |      --      |    Inf 
48.58/48.60	c  48.2s|     1 |     0 | 21080 |  33M|   0 | 589 |1264 |3095 |3095 |1264 |3694 | 599 |   0 |   0 | 2.166667e+01 |      --      |    Inf 
50.98/51.06	c  50.6s|     1 |     0 | 25962 |  33M|   0 | 489 |1264 |3095 |3095 |1264 |3718 | 623 |   0 |   0 | 2.250163e+01 |      --      |    Inf 
52.18/52.29	c  51.9s|     1 |     0 | 27966 |  34M|   0 | 469 |1264 |3095 |3095 |1264 |3754 | 659 |   0 |   0 | 2.271667e+01 |      --      |    Inf 
53.18/53.23	c  52.8s|     1 |     0 | 29508 |  34M|   0 | 523 |1264 |3095 |3095 |1264 |3801 | 706 |   0 |   0 | 2.280769e+01 |      --      |    Inf 
55.07/55.19	c  54.7s|     1 |     0 | 33337 |  34M|   0 | 453 |1264 |3095 |3095 |1264 |3843 | 748 |   0 |   0 | 2.403249e+01 |      --      |    Inf 
57.58/57.61	c  57.2s|     1 |     0 | 36689 |  37M|   0 | 482 |1264 |3095 |3095 |1264 |3967 | 872 |   0 |   0 | 2.420974e+01 |      --      |    Inf 
60.38/60.42	c  60.0s|     1 |     0 | 41965 |  38M|   0 | 490 |1264 |3095 |3095 |1264 |4015 | 920 |   0 |   0 | 2.433209e+01 |      --      |    Inf 
61.77/61.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
61.77/61.86	c  61.4s|     1 |     0 | 44191 |  38M|   0 | 506 |1264 |3095 |3095 |1264 |4058 | 963 |   0 |   0 | 2.447359e+01 |      --      |    Inf 
62.98/63.09	c  62.6s|     1 |     0 | 46090 |  38M|   0 | 431 |1264 |3095 |3095 |1264 |3716 | 984 |   0 |   0 | 2.451520e+01 |      --      |    Inf 
63.97/64.02	c  63.5s|     1 |     0 | 47580 |  38M|   0 | 396 |1264 |3095 |3095 |1264 |3734 |1002 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
64.98/65.09	c  64.6s|     1 |     0 | 49408 |  38M|   0 | 516 |1264 |3095 |3095 |1264 |3762 |1030 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
66.18/66.22	c  65.7s|     1 |     0 | 51269 |  38M|   0 | 483 |1264 |3095 |3095 |1264 |3789 |1057 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
67.57/67.68	c  67.2s|     1 |     0 | 53638 |  39M|   0 | 474 |1264 |3095 |3095 |1264 |3809 |1077 |   0 |   0 | 2.537500e+01 |      --      |    Inf 
69.47/69.55	c  69.0s|     1 |     0 | 56987 |  41M|   0 | 396 |1264 |3095 |3095 |1264 |3842 |1110 |   0 |   0 | 2.904545e+01 |      --      |    Inf 
70.47/70.56	c  70.0s|     1 |     0 | 58787 |  41M|   0 | 368 |1264 |3095 |3095 |1264 |3658 |1136 |   0 |   0 | 2.909091e+01 |      --      |    Inf 
71.67/71.72	c  71.2s|     1 |     0 | 61037 |  41M|   0 | 323 |1264 |3095 |3095 |1264 |3677 |1155 |   0 |   0 | 2.909091e+01 |      --      |    Inf 
72.77/72.83	c  72.3s|     1 |     0 | 63259 |  41M|   0 | 387 |1264 |3095 |3095 |1264 |3705 |1183 |   0 |   0 | 2.915385e+01 |      --      |    Inf 
73.77/73.83	c  73.3s|     1 |     0 | 65155 |  41M|   0 | 346 |1264 |3095 |3095 |1264 |3721 |1199 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
75.37/75.41	c  74.9s|     1 |     0 | 68723 |  41M|   0 | 195 |1264 |3095 |3095 |1264 |3732 |1210 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
77.06/77.19	c  76.6s|     1 |     0 | 72416 |  41M|   0 | 352 |1264 |3095 |3095 |1264 |3754 |1232 |   0 |   0 | 3.000011e+01 |      --      |    Inf 
77.98/78.06	c  77.5s|     1 |     0 | 73798 |  41M|   0 | 332 |1264 |3095 |3095 |1264 |3585 |1312 |   0 |   0 | 3.000128e+01 |      --      |    Inf 
78.67/78.72	c  78.2s|     1 |     0 | 74633 |  41M|   0 | 318 |1264 |3095 |3095 |1264 |3625 |1352 |   0 |   0 | 3.000310e+01 |      --      |    Inf 
79.56/79.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.56/79.68	c  79.1s|     1 |     0 | 76197 |  41M|   0 | 319 |1264 |3095 |3095 |1264 |3642 |1369 |   0 |   0 | 3.000840e+01 |      --      |    Inf 
80.87/80.97	c  80.4s|     1 |     0 | 78248 |  44M|   0 | 361 |1264 |3095 |3095 |1264 |3671 |1398 |   0 |   0 | 3.009524e+01 |      --      |    Inf 
82.06/82.16	c  81.6s|     1 |     0 | 80627 |  44M|   0 | 359 |1264 |3095 |3095 |1264 |3710 |1437 |   0 |   0 | 3.028571e+01 |      --      |    Inf 
83.17/83.29	c  82.7s|     1 |     0 | 82787 |  44M|   0 | 376 |1264 |3095 |3095 |1264 |3747 |1474 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
83.86/83.99	c  83.4s|     1 |     0 | 84044 |  44M|   0 | 422 |1264 |3095 |3095 |1264 |3611 |1487 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
84.47/84.56	c  84.0s|     1 |     0 | 85050 |  44M|   0 | 411 |1264 |3095 |3095 |1264 |3623 |1499 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
85.27/85.34	c  84.8s|     1 |     0 | 86470 |  44M|   0 | 386 |1264 |3095 |3095 |1264 |3633 |1509 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
86.67/86.72	c  86.1s|     1 |     0 | 89464 |  44M|   0 | 251 |1264 |3095 |3095 |1264 |3647 |1523 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
87.77/87.81	c  87.2s|     1 |     0 | 91773 |  44M|   0 | 242 |1264 |3095 |3095 |1264 |3657 |1533 |   0 |   0 | 3.100000e+01 |      --      |    Inf 
98.77/98.89	c  98.3s|     1 |     2 | 91773 |  44M|   0 | 242 |1264 |3095 |3095 |1264 |3657 |1533 |   0 |  23 | 3.100000e+01 |      --      |    Inf 
1142.30/1142.51	c 
1142.30/1142.51	c SCIP Status        : problem is solved [infeasible]
1142.30/1142.51	c Solving Time (sec) : 1138.11
1142.30/1142.51	c Solving Nodes      : 3659
1142.30/1142.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1142.30/1142.51	c Dual Bound         : +1.00000000000000e+20
1142.30/1142.51	c Gap                : 0.00 %
1142.30/1142.51	c NODE         3659
1142.30/1142.51	c DUAL BOUND   1e+20
1142.30/1142.51	c PRIMAL BOUND 1e+20
1142.30/1142.51	c GAP          0
1142.30/1142.51	s UNSATISFIABLE
1142.30/1142.51	c SCIP Status        : problem is solved [infeasible]
1142.30/1142.51	c Solving Time       :    1138.11
1142.30/1142.51	c Original Problem   :
1142.30/1142.51	c   Problem name     : HOME/instance-3741435-1338771710.opb
1142.30/1142.51	c   Variables        : 3208 (3208 binary, 0 integer, 0 implicit integer, 0 continuous)
1142.30/1142.51	c   Constraints      : 4687 initial, 4687 maximal
1142.30/1142.51	c Presolved Problem  :
1142.30/1142.51	c   Problem name     : t_HOME/instance-3741435-1338771710.opb
1142.30/1142.51	c   Variables        : 1264 (1264 binary, 0 integer, 0 implicit integer, 0 continuous)
1142.30/1142.51	c   Constraints      : 3095 initial, 4662 maximal
1142.30/1142.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1142.30/1142.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1142.30/1142.51	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1142.30/1142.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1142.30/1142.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1142.30/1142.51	c   implics          :       0.01          0          0          0          0          0          0          0          0
1142.30/1142.51	c   probing          :       3.02       1106          0          0          0          0          0          0          0
1142.30/1142.51	c   knapsack         :      30.44          0          0          0          0          0       1928       4813      66369
1142.30/1142.51	c   setppc           :       0.96        415          0          0          0          0       3294          0          0
1142.30/1142.51	c   linear           :       0.14        421          2          0        421          0        496       3101       3101
1142.30/1142.51	c   logicor          :       0.11          0          0          0          0          0        310          0          0
1142.30/1142.51	c   root node        :          -          1          -          -          1          -          -          -          -
1142.30/1142.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1142.30/1142.51	c   integral         :          0          0          0       2091          0         10        354          0          0       3914
1142.30/1142.51	c   knapsack         :        380         38      37206          0          0        391     105196        263          0          0
1142.30/1142.51	c   setppc           :       1574         38      36815          0          0        869     162108          0          0          0
1142.30/1142.51	c   logicor          :       1141+        38      27537          0          0        305      90816          0          0          0
1142.30/1142.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1142.30/1142.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1142.30/1142.51	c   integral         :     400.10       0.00       0.00     400.10       0.00
1142.30/1142.51	c   knapsack         :       0.72       0.04       0.68       0.00       0.00
1142.30/1142.51	c   setppc           :       1.00       0.01       0.99       0.00       0.00
1142.30/1142.51	c   logicor          :       0.61       0.00       0.61       0.00       0.00
1142.30/1142.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1142.30/1142.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1142.30/1142.51	c   rootredcost      :       0.00          0          0          0
1142.30/1142.51	c   pseudoobj        :       0.00      25249          0          0
1142.30/1142.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1142.30/1142.51	c   propagation      :       0.15        842        833       5528       48.6        181       28.4          -
1142.30/1142.51	c   infeasible LP    :       0.43       1039        974       8333       73.9         86        9.5          0
1142.30/1142.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1142.30/1142.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1142.30/1142.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1142.30/1142.51	c   applied globally :          -          -          -       4656       36.6          -          -          -
1142.30/1142.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1142.30/1142.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1142.30/1142.51	c   cut pool         :       0.06         37          -          -        484          -    (maximal pool size: 3428)
1142.30/1142.51	c   redcost          :       0.03       2127          0          0          0          0
1142.30/1142.51	c   impliedbounds    :       0.05         38          0          0       2218          0
1142.30/1142.51	c   intobj           :       0.00          0          0          0          0          0
1142.30/1142.51	c   gomory           :       5.59         38          0          0       3092          0
1142.30/1142.51	c   strongcg         :       2.49         20          0          0       1911          0
1142.30/1142.51	c   cmir             :       0.19         10          0          0          3          0
1142.30/1142.51	c   flowcover        :       0.30         10          0          0        100          0
1142.30/1142.51	c   clique           :       1.18         38          0          0        359          0
1142.30/1142.51	c   zerohalf         :       0.00          0          0          0          0          0
1142.30/1142.51	c   mcf              :       0.00          1          0          0          0          0
1142.30/1142.51	c Pricers            :       Time      Calls       Vars
1142.30/1142.51	c   problem variables:       0.00          0          0
1142.30/1142.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1142.30/1142.51	c   relpscost        :     400.10       2091         10        354          0          0       3914
1142.30/1142.51	c   pscost           :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   inference        :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   mostinf          :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   leastinf         :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1142.30/1142.51	c   random           :       0.00          0          0          0          0          0          0
1142.30/1142.51	c Primal Heuristics  :       Time      Calls      Found
1142.30/1142.51	c   LP solutions     :       0.00          -          0
1142.30/1142.51	c   pseudo solutions :       0.00          -          0
1142.30/1142.51	c   oneopt           :       0.00          0          0
1142.30/1142.51	c   crossover        :       0.00          0          0
1142.30/1142.51	c   guideddiving     :       0.00          0          0
1142.30/1142.51	c   objpscostdiving  :       1.24          1          0
1142.30/1142.51	c   rootsoldiving    :       0.09          1          0
1142.30/1142.51	c   coefdiving       :       1.68          2          0
1142.30/1142.51	c   pscostdiving     :       0.43          2          0
1142.30/1142.51	c   fracdiving       :       1.27          2          0
1142.30/1142.51	c   veclendiving     :       0.55          2          0
1142.30/1142.51	c   linesearchdiving :       0.40          2          0
1142.30/1142.51	c   simplerounding   :       0.00          0          0
1142.30/1142.51	c   rounding         :       0.12        618          0
1142.30/1142.51	c   shifting         :       0.27        166          0
1142.30/1142.51	c   intshifting      :       0.00          0          0
1142.30/1142.51	c   fixandinfer      :       0.00          0          0
1142.30/1142.51	c   feaspump         :       4.21          2          0
1142.30/1142.51	c   intdiving        :       0.00          0          0
1142.30/1142.51	c   actconsdiving    :       0.00          0          0
1142.30/1142.51	c   octane           :       0.00          0          0
1142.30/1142.51	c   rens             :       0.06          1          0
1142.30/1142.51	c   rins             :       0.00          0          0
1142.30/1142.51	c   localbranching   :       0.00          0          0
1142.30/1142.51	c   mutation         :       0.00          0          0
1142.30/1142.51	c   dins             :       0.00          0          0
1142.30/1142.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1142.30/1142.51	c   primal LP        :       0.01          0          0       0.00       0.00
1142.30/1142.51	c   dual LP          :     678.79       3151    1880500     596.79    2770.37
1142.30/1142.51	c   barrier LP       :       0.00          0          0       0.00          -
1142.30/1142.51	c   diving/probing LP:       9.72        230      24319     105.73    2501.95
1142.30/1142.51	c   strong branching :     399.94       1486    1070456     720.36    2676.54
1142.30/1142.51	c     (at root node) :          -         23      23000    1000.00          -
1142.30/1142.51	c   conflict analysis:       0.00          0          0       0.00          -
1142.30/1142.51	c B&B Tree           :
1142.30/1142.51	c   number of runs   :          1
1142.30/1142.51	c   nodes            :       3659
1142.30/1142.51	c   nodes (total)    :       3659
1142.30/1142.51	c   nodes left       :          0
1142.30/1142.51	c   max depth        :         31
1142.30/1142.51	c   max depth (total):         31
1142.30/1142.51	c   backtracks       :        669 (18.3%)
1142.30/1142.51	c   delayed cutoffs  :        256
1142.30/1142.51	c   repropagations   :       5263 (65370 domain reductions, 166 cutoffs)
1142.30/1142.51	c   avg switch length:       5.23
1142.30/1142.51	c   switching time   :       0.88
1142.30/1142.51	c Solution           :
1142.30/1142.51	c   Solutions found  :          0 (0 improvements)
1142.30/1142.51	c   Primal Bound     : infeasible
1142.30/1142.51	c   Dual Bound       :          -
1142.30/1142.51	c   Gap              :       0.00 %
1142.30/1142.51	c   Root Dual Bound  : +3.10000000000000e+01
1142.30/1142.53	c Time complete: 1142.33.

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

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.02 2.02 2.00 3/178 14585
/proc/meminfo: memFree=25279396/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=9756 CPUtime=0 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 1795 0 0 0 0 0 0 0 20 0 1 0 343298242 9990144 1747 33554432000 4194304 7823515 140734662074432 140736668131464 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 2439 1747 354 887 0 1549 0

[startup+0.024312 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14585
/proc/meminfo: memFree=25279396/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=12148 CPUtime=0.02 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 2385 0 0 0 2 0 0 0 20 0 1 0 343298242 12439552 2337 33554432000 4194304 7823515 140734662074432 140736668131464 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 3037 2337 354 887 0 2147 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12148

[startup+0.100266 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14585
/proc/meminfo: memFree=25279396/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=23948 CPUtime=0.09 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 5632 0 0 0 9 0 0 0 20 0 1 0 343298242 24522752 5230 33554432000 4194304 7823515 140734662074432 140736668131464 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 5987 5235 375 887 0 5097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23948

[startup+0.300265 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14585
/proc/meminfo: memFree=25279396/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=44184 CPUtime=0.29 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 10518 0 0 0 26 3 0 0 20 0 1 0 343298242 45244416 10116 33554432000 4194304 7823515 140734662074432 140734662071368 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 11046 10116 446 887 0 10156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44184

[startup+0.700227 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14585
/proc/meminfo: memFree=25279396/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=46808 CPUtime=0.69 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 11191 0 0 0 66 3 0 0 20 0 1 0 343298242 47931392 10789 33554432000 4194304 7823515 140734662074432 140734662071368 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 11702 10789 450 887 0 10812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46808

[startup+1.50024 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14586
/proc/meminfo: memFree=25237832/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=46808 CPUtime=1.49 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 11209 0 0 0 145 4 0 0 20 0 1 0 343298242 47931392 10807 33554432000 4194304 7823515 140734662074432 140734662071720 5796521 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 11702 10807 450 887 0 10812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46808

[startup+3.10023 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14586
/proc/meminfo: memFree=25237444/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=47588 CPUtime=3.09 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 11380 0 0 0 304 5 0 0 20 0 1 0 343298242 48730112 10978 33554432000 4194304 7823515 140734662074432 140734662071720 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 11897 10978 450 887 0 11007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47588

[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14586
/proc/meminfo: memFree=25236452/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=48140 CPUtime=6.29 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 11518 0 0 0 624 5 0 0 20 0 1 0 343298242 49295360 11116 33554432000 4194304 7823515 140734662074432 140734662071720 4992373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 12035 11116 450 887 0 11145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48140

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 14586
/proc/meminfo: memFree=25234280/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=49452 CPUtime=12.69 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 11870 0 0 0 1263 6 0 0 20 0 1 0 343298242 50638848 11468 33554432000 4194304 7823515 140734662074432 140734662071720 4992373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 12363 11468 450 887 0 11473 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49452

[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 14586
/proc/meminfo: memFree=25224600/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=58756 CPUtime=25.48 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 14181 0 0 0 2534 14 0 0 20 0 1 0 343298242 60166144 13779 33554432000 4194304 7823515 140734662074432 140734662071720 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 14689 13779 461 887 0 13799 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58756

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14586
/proc/meminfo: memFree=25195820/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=89252 CPUtime=51.09 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 22422 0 0 0 5076 33 0 0 20 0 1 0 343298242 91394048 21296 33554432000 4194304 7823515 140734662074432 140734662070184 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 22313 21296 572 887 0 21423 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89252

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14586
/proc/meminfo: memFree=25177768/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105324 CPUtime=102.27 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30301 0 0 0 10174 53 0 0 20 0 1 0 343298242 107851776 25757 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26331 25757 577 887 0 25441 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 105324

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14586
/proc/meminfo: memFree=25177892/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105324 CPUtime=162.26 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30301 0 0 0 16152 74 0 0 20 0 1 0 343298242 107851776 25757 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26331 25757 577 887 0 25441 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 105324

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14586
/proc/meminfo: memFree=25177652/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105324 CPUtime=222.25 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30309 0 0 0 22132 93 0 0 20 0 1 0 343298242 107851776 25765 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26331 25765 583 887 0 25441 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 105324

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14587
/proc/meminfo: memFree=25177768/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105324 CPUtime=282.24 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30309 0 0 0 28113 111 0 0 20 0 1 0 343298242 107851776 25765 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26331 25765 583 887 0 25441 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 105324

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14587
/proc/meminfo: memFree=25177768/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105324 CPUtime=342.22 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30309 0 0 0 34092 130 0 0 20 0 1 0 343298242 107851776 25765 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26331 25765 583 887 0 25441 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 105324

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14587
/proc/meminfo: memFree=25176776/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105468 CPUtime=402.21 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 30344 0 0 0 40071 150 0 0 20 0 1 0 343298242 107999232 25800 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26367 25800 583 887 0 25477 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 105468

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14587
/proc/meminfo: memFree=25176156/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=105960 CPUtime=462.21 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 31101 0 0 0 46052 169 0 0 20 0 1 0 343298242 108503040 25923 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26490 25923 583 887 0 25600 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 105960

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14628
/proc/meminfo: memFree=25246132/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=107080 CPUtime=522.2 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 31340 0 0 0 52031 189 0 0 20 0 1 0 343298242 109649920 26162 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26770 26162 583 887 0 25880 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 107080

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14629
/proc/meminfo: memFree=25243376/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=107348 CPUtime=582.19 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 31390 0 0 0 58011 208 0 0 20 0 1 0 343298242 109924352 26210 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 26837 26210 583 887 0 25947 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 107348

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14629
/proc/meminfo: memFree=25243132/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=108300 CPUtime=642.18 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 31689 0 0 0 63988 230 0 0 20 0 1 0 343298242 110899200 26509 33554432000 4194304 7823515 140734662074432 140734662070184 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 27075 26509 583 887 0 26185 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 108300

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14629
/proc/meminfo: memFree=25238184/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=109444 CPUtime=702.17 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 32003 0 0 0 69965 252 0 0 20 0 1 0 343298242 112070656 26822 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 27361 26822 583 887 0 26471 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 109444

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14629
/proc/meminfo: memFree=25238104/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=110160 CPUtime=762.17 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 32169 0 0 0 75944 273 0 0 20 0 1 0 343298242 112803840 26988 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 27540 26988 583 887 0 26650 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 110160

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14629
/proc/meminfo: memFree=25238044/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=110616 CPUtime=822.15 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 32234 0 0 0 81922 293 0 0 20 0 1 0 343298242 113270784 27052 33554432000 4194304 7823515 140734662074432 140734662070120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 27654 27052 583 887 0 26764 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 110616

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14630
/proc/meminfo: memFree=25235860/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=112048 CPUtime=882.14 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 32518 0 0 0 87898 316 0 0 20 0 1 0 343298242 114737152 27336 33554432000 4194304 7823515 140734662074432 140734662069592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28012 27336 583 887 0 27122 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 112048

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14630
/proc/meminfo: memFree=25233256/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=112048 CPUtime=942.13 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 32611 0 0 0 93876 337 0 0 20 0 1 0 343298242 114737152 27429 33554432000 4194304 7823515 140734662074432 140734662069544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28012 27429 583 887 0 27122 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 112048

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 14630
/proc/meminfo: memFree=25232336/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=111848 CPUtime=1002.12 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 33860 0 0 0 99851 361 0 0 20 0 1 0 343298242 114532352 27366 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 27962 27366 583 887 0 27072 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 111848

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14630
/proc/meminfo: memFree=25232520/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113660 CPUtime=1062.12 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 34343 0 0 0 105830 382 0 0 20 0 1 0 343298242 116387840 27847 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28415 27847 583 887 0 27525 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 113660

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14633
/proc/meminfo: memFree=25228076/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1122.1 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 111806 404 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 113920

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

[startup+1126.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14633
/proc/meminfo: memFree=25228076/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1126.11 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 112204 407 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1126.11
Current children cumulated vsize (KiB) 113920

[startup+1132.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14633
/proc/meminfo: memFree=25228448/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1132.5 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 112841 409 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662069768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1132.5
Current children cumulated vsize (KiB) 113920

[startup+1139.1 s]
/proc/loadavg: 2.11 2.04 2.01 3/178 14633
/proc/meminfo: memFree=25227588/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1138.9 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 113479 411 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662070232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1138.9
Current children cumulated vsize (KiB) 113920

[startup+1140.71 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 14634
/proc/meminfo: memFree=25227828/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1140.51 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 113639 412 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662069128 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1140.51
Current children cumulated vsize (KiB) 113920

[startup+1141.5 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 14634
/proc/meminfo: memFree=25227828/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1141.31 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 113719 412 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662069128 6158687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1141.31
Current children cumulated vsize (KiB) 113920

[startup+1142.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 14634
/proc/meminfo: memFree=25227828/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1142.1 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 113798 412 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662070120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1142.1
Current children cumulated vsize (KiB) 113920

[startup+1142.5 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 14634
/proc/meminfo: memFree=25227828/32873648 swapFree=6852/6852
[pid=14585] ppid=14583 vsize=113920 CPUtime=1142.3 cores=0,2,4,6
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 12217 0 -1 4202496 35719 0 0 0 113818 412 0 0 20 0 1 0 343298242 116654080 27926 33554432000 4194304 7823515 140734662074432 140734662070120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14585/statm: 28480 27926 583 887 0 27590 0
Current children cumulated CPU time (s) 1142.3
Current children cumulated vsize (KiB) 113920

Child status: 0
Real time (s): 1142.53
CPU time (s): 1142.34
CPU user time (s): 1138.22
CPU system time (s): 4.12637
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 114528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1138.22
system time used= 4.12637
maximum resident set size= 116252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35724
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= 22
involuntary context switches= 1306

runsolver used 1.71574 second user time and 4.51931 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-04 03:01:50
IDJOB=3741435
IDBENCH=89857
IDSOLVER=2321
FILE ID=node112/3741435-1338771710
RUNJOBID= node112-1338748093-12233
PBS_JOBID= 14636784
Free space on /tmp= 71204 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1745726.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741435-1338771710/watcher-3741435-1338771710 -o /tmp/evaluation-result-3741435-1338771710/solver-3741435-1338771710 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741435-1338771710.opb

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

MD5SUM BENCH= 0b23fd4cef9a00c3517621c1b2c7d2fd
RANDOM SEED=103483536

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25279404 kB
Buffers:          555784 kB
Cached:          6005368 kB
SwapCached:            0 kB
Active:          1955156 kB
Inactive:        4770564 kB
Active(anon):     153520 kB
Inactive(anon):    10920 kB
Active(file):    1801636 kB
Inactive(file):  4759644 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10508 kB
Writeback:             0 kB
AnonPages:        244088 kB
Mapped:            16596 kB
Shmem:               200 kB
Slab:             731432 kB
SReclaimable:     175308 kB
SUnreclaim:       556124 kB
KernelStack:        1488 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     277928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71196 MiB
End job on node112 at 2012-06-04 03:20:52