Trace number 3692844

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1798.87 1799.19

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM3764cf8f4e2d3654f46ab0ec56ea8581
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark369.578
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3692844-1338024941.opb>
1.39/1.40	c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
1.39/1.40	c problem read in 1.40
3.79/3.82	c presolving:
9.49/9.54	c (round 1) 6008 del vars, 9423 del conss, 0 add conss, 3237 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10333961 impls, 0 clqs
10.09/10.16	c (round 2) 6517 del vars, 17162 del conss, 0 add conss, 3539 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
10.48/10.59	c (round 3) 6521 del vars, 17479 del conss, 0 add conss, 3543 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
10.99/11.02	c (round 4) 6591 del vars, 17554 del conss, 0 add conss, 3551 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336079 impls, 0 clqs
11.39/11.45	c (round 5) 6663 del vars, 17762 del conss, 0 add conss, 3562 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336239 impls, 0 clqs
11.79/11.88	c (round 6) 6738 del vars, 17975 del conss, 0 add conss, 3576 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336941 impls, 0 clqs
12.29/12.32	c (round 7) 6815 del vars, 18195 del conss, 0 add conss, 3593 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337337 impls, 0 clqs
12.68/12.75	c (round 8) 6892 del vars, 18419 del conss, 0 add conss, 3610 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337602 impls, 0 clqs
13.09/13.19	c (round 9) 6970 del vars, 18648 del conss, 0 add conss, 3629 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337788 impls, 0 clqs
13.59/13.62	c (round 10) 7048 del vars, 18873 del conss, 0 add conss, 3651 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338004 impls, 0 clqs
13.99/14.06	c (round 11) 7152 del vars, 19157 del conss, 0 add conss, 3700 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338312 impls, 0 clqs
14.38/14.49	c (round 12) 7270 del vars, 19495 del conss, 0 add conss, 3764 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338856 impls, 0 clqs
14.89/14.92	c (round 13) 7372 del vars, 19790 del conss, 0 add conss, 3813 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339234 impls, 0 clqs
15.29/15.35	c (round 14) 7446 del vars, 20016 del conss, 0 add conss, 3835 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339396 impls, 0 clqs
15.69/15.77	c (round 15) 7514 del vars, 20218 del conss, 0 add conss, 3852 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339538 impls, 0 clqs
16.18/16.20	c (round 16) 7580 del vars, 20419 del conss, 0 add conss, 3868 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339694 impls, 0 clqs
16.59/16.63	c (round 17) 7646 del vars, 20616 del conss, 0 add conss, 3885 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339822 impls, 0 clqs
16.98/17.05	c (round 18) 7712 del vars, 20813 del conss, 0 add conss, 3903 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340020 impls, 0 clqs
17.38/17.48	c (round 19) 7778 del vars, 21010 del conss, 0 add conss, 3922 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340168 impls, 0 clqs
17.89/17.91	c (round 20) 7844 del vars, 21207 del conss, 0 add conss, 3942 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340364 impls, 0 clqs
18.28/18.33	c (round 21) 7910 del vars, 21404 del conss, 0 add conss, 3963 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340492 impls, 0 clqs
18.69/18.76	c (round 22) 7976 del vars, 21601 del conss, 0 add conss, 3985 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340620 impls, 0 clqs
19.09/19.18	c (round 23) 8042 del vars, 21798 del conss, 0 add conss, 4008 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340812 impls, 0 clqs
19.58/19.61	c (round 24) 8108 del vars, 21995 del conss, 0 add conss, 4032 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340940 impls, 0 clqs
19.99/20.03	c (round 25) 8174 del vars, 22192 del conss, 0 add conss, 4057 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341068 impls, 0 clqs
20.39/20.45	c (round 26) 8240 del vars, 22389 del conss, 0 add conss, 4083 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341196 impls, 0 clqs
20.80/20.88	c (round 27) 8306 del vars, 22586 del conss, 0 add conss, 4110 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341364 impls, 0 clqs
21.29/21.31	c (round 28) 8372 del vars, 22783 del conss, 0 add conss, 4138 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341536 impls, 0 clqs
21.69/21.73	c (round 29) 8454 del vars, 22996 del conss, 0 add conss, 4167 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10343048 impls, 0 clqs
22.09/22.16	c (round 30) 8536 del vars, 23241 del conss, 0 add conss, 4197 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10345752 impls, 0 clqs
22.48/22.58	c (round 31) 8618 del vars, 23486 del conss, 0 add conss, 4228 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10348328 impls, 0 clqs
22.99/23.00	c (round 32) 8700 del vars, 23731 del conss, 0 add conss, 4260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10350798 impls, 0 clqs
23.39/23.42	c (round 33) 8766 del vars, 23960 del conss, 0 add conss, 4293 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10352498 impls, 0 clqs
23.79/23.85	c (round 34) 8848 del vars, 24173 del conss, 0 add conss, 4327 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10355926 impls, 0 clqs
24.19/24.27	c (round 35) 8930 del vars, 24418 del conss, 0 add conss, 4362 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10356516 impls, 0 clqs
24.69/24.70	c (round 36) 9012 del vars, 24663 del conss, 0 add conss, 4398 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359546 impls, 0 clqs
25.09/25.12	c (round 37) 9049 del vars, 24844 del conss, 0 add conss, 4435 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359606 impls, 0 clqs
25.48/25.55	c (round 38) 9093 del vars, 24959 del conss, 0 add conss, 4475 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359796 impls, 0 clqs
25.89/25.97	c (round 39) 9148 del vars, 25098 del conss, 0 add conss, 4518 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360300 impls, 0 clqs
26.29/26.39	c (round 40) 9198 del vars, 25251 del conss, 0 add conss, 4565 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360493 impls, 0 clqs
26.79/26.81	c (round 41) 9268 del vars, 25415 del conss, 0 add conss, 4617 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10361285 impls, 0 clqs
27.19/27.23	c (round 42) 9350 del vars, 25626 del conss, 0 add conss, 4671 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10362483 impls, 0 clqs
27.58/27.66	c (round 43) 9434 del vars, 25868 del conss, 0 add conss, 4722 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10363443 impls, 0 clqs
27.98/28.09	c (round 44) 9510 del vars, 26094 del conss, 0 add conss, 4771 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10364787 impls, 0 clqs
28.49/28.52	c (round 45) 9576 del vars, 26320 del conss, 0 add conss, 4824 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10368127 impls, 0 clqs
28.89/28.94	c (round 46) 9695 del vars, 26601 del conss, 0 add conss, 4928 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10369066 impls, 0 clqs
29.28/29.37	c (round 47) 9914 del vars, 27048 del conss, 0 add conss, 5038 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10372815 impls, 0 clqs
29.69/29.79	c (round 48) 10047 del vars, 27579 del conss, 0 add conss, 5150 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10374641 impls, 0 clqs
30.18/30.21	c (round 49) 10106 del vars, 27850 del conss, 0 add conss, 5199 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10375769 impls, 0 clqs
30.58/30.63	c (round 50) 10134 del vars, 27980 del conss, 0 add conss, 5227 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376229 impls, 0 clqs
30.99/31.04	c (round 51) 10155 del vars, 28051 del conss, 0 add conss, 5244 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376709 impls, 0 clqs
31.39/31.46	c (round 52) 10172 del vars, 28107 del conss, 0 add conss, 5260 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377003 impls, 0 clqs
33.79/33.81	c (round 53) 11150 del vars, 28177 del conss, 0 add conss, 5464 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10444598 impls, 0 clqs
34.48/34.52	c (round 54) 11402 del vars, 31074 del conss, 0 add conss, 5464 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10455812 impls, 0 clqs
34.88/34.94	c (round 55) 11402 del vars, 31578 del conss, 0 add conss, 5464 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10455812 impls, 0 clqs
38.58/38.69	c (round 56) 11402 del vars, 31692 del conss, 0 add conss, 5464 chg bounds, 9399 chg sides, 19538 chg coeffs, 455953 upgd conss, 10455812 impls, 0 clqs
40.18/40.24	c (round 57) 11402 del vars, 31725 del conss, 0 add conss, 5464 chg bounds, 9399 chg sides, 19538 chg coeffs, 455970 upgd conss, 10455812 impls, 0 clqs
44.19/44.27	c (round 58) 12622 del vars, 467476 del conss, 145249 add conss, 5678 chg bounds, 9399 chg sides, 19538 chg coeffs, 455970 upgd conss, 10515509 impls, 0 clqs
49.78/49.80	c (round 59) 12970 del vars, 467938 del conss, 145249 add conss, 5678 chg bounds, 9399 chg sides, 19887 chg coeffs, 456220 upgd conss, 10521255 impls, 3 clqs
55.78/55.87	c (round 60) 13452 del vars, 470209 del conss, 147506 add conss, 5678 chg bounds, 9399 chg sides, 19888 chg coeffs, 456220 upgd conss, 10842589 impls, 4 clqs
61.08/61.10	c (round 61) 13510 del vars, 470243 del conss, 147506 add conss, 5678 chg bounds, 9399 chg sides, 19908 chg coeffs, 456272 upgd conss, 10842639 impls, 2257 clqs
66.28/66.33	c (round 62) 13532 del vars, 470265 del conss, 147506 add conss, 5678 chg bounds, 9399 chg sides, 19930 chg coeffs, 456272 upgd conss, 10842639 impls, 2258 clqs
71.88/71.90	c (round 63) 13560 del vars, 470729 del conss, 147968 add conss, 5678 chg bounds, 9399 chg sides, 19931 chg coeffs, 456272 upgd conss, 10843257 impls, 2258 clqs
77.08/77.11	c (round 64) 13565 del vars, 470779 del conss, 147968 add conss, 5678 chg bounds, 9399 chg sides, 19931 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
82.27/82.32	c (round 65) 13614 del vars, 470784 del conss, 147968 add conss, 5678 chg bounds, 9399 chg sides, 19932 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
87.48/87.55	c (round 66) 13662 del vars, 470784 del conss, 147968 add conss, 5678 chg bounds, 9399 chg sides, 19932 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
92.67/92.74	c (round 67) 13710 del vars, 470832 del conss, 147968 add conss, 5678 chg bounds, 9399 chg sides, 19980 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
98.18/98.28	c (round 68) 13712 del vars, 470852 del conss, 147988 add conss, 5678 chg bounds, 9399 chg sides, 19980 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
103.77/103.82	c (round 69) 13714 del vars, 470870 del conss, 147990 add conss, 5678 chg bounds, 9399 chg sides, 19980 chg coeffs, 456272 upgd conss, 10843257 impls, 2263 clqs
115.88/115.90	c (round 70) 14310 del vars, 470874 del conss, 147994 add conss, 5782 chg bounds, 9399 chg sides, 19980 chg coeffs, 456272 upgd conss, 10873249 impls, 2261 clqs
120.98/121.05	c (round 71) 14502 del vars, 471123 del conss, 147994 add conss, 5782 chg bounds, 9399 chg sides, 20172 chg coeffs, 456504 upgd conss, 10878835 impls, 2261 clqs
126.47/126.53	c (round 72) 14511 del vars, 471139 del conss, 148010 add conss, 5782 chg bounds, 9399 chg sides, 20172 chg coeffs, 456504 upgd conss, 10879079 impls, 2261 clqs
132.17/132.28	c (round 73) 14538 del vars, 471175 del conss, 148019 add conss, 5782 chg bounds, 9399 chg sides, 20172 chg coeffs, 456504 upgd conss, 10884749 impls, 2272 clqs
137.87/137.99	c (round 74) 14542 del vars, 471192 del conss, 148023 add conss, 5782 chg bounds, 9399 chg sides, 20172 chg coeffs, 456504 upgd conss, 10884763 impls, 2273 clqs
144.08/144.16	c (round 75) 14571 del vars, 471196 del conss, 148023 add conss, 5789 chg bounds, 9399 chg sides, 20172 chg coeffs, 456504 upgd conss, 10904784 impls, 2276 clqs
149.17/149.29	c (round 76) 14579 del vars, 471204 del conss, 148023 add conss, 5789 chg bounds, 9399 chg sides, 20180 chg coeffs, 456526 upgd conss, 10904794 impls, 2276 clqs
155.47/155.55	c (round 77) 14641 del vars, 471204 del conss, 148023 add conss, 5805 chg bounds, 9399 chg sides, 20180 chg coeffs, 456526 upgd conss, 10926150 impls, 2275 clqs
160.58/160.67	c (round 78) 14656 del vars, 471263 del conss, 148023 add conss, 5805 chg bounds, 9399 chg sides, 20195 chg coeffs, 456534 upgd conss, 10926150 impls, 2275 clqs
172.16/172.22	c (round 79) 14692 del vars, 471272 del conss, 148032 add conss, 5809 chg bounds, 9399 chg sides, 20195 chg coeffs, 456536 upgd conss, 10939220 impls, 2275 clqs
177.26/177.34	c (round 80) 14700 del vars, 471283 del conss, 148032 add conss, 5809 chg bounds, 9399 chg sides, 20203 chg coeffs, 456564 upgd conss, 10939248 impls, 2279 clqs
183.36/183.47	c (round 81) 14739 del vars, 471283 del conss, 148032 add conss, 5810 chg bounds, 9399 chg sides, 20203 chg coeffs, 456564 upgd conss, 10956781 impls, 2279 clqs
188.46/188.59	c (round 82) 14745 del vars, 471289 del conss, 148032 add conss, 5810 chg bounds, 9399 chg sides, 20209 chg coeffs, 456594 upgd conss, 10956811 impls, 2279 clqs
194.76/194.85	c (round 83) 14774 del vars, 471289 del conss, 148032 add conss, 5815 chg bounds, 9399 chg sides, 20209 chg coeffs, 456594 upgd conss, 10965958 impls, 2278 clqs
199.86/199.99	c (round 84) 14790 del vars, 471325 del conss, 148032 add conss, 5815 chg bounds, 9399 chg sides, 20225 chg coeffs, 456628 upgd conss, 10966100 impls, 2278 clqs
210.26/210.34	c (round 85) 14844 del vars, 471326 del conss, 148033 add conss, 5833 chg bounds, 9399 chg sides, 20225 chg coeffs, 456628 upgd conss, 11139972 impls, 2278 clqs
215.36/215.47	c (round 86) 14865 del vars, 471351 del conss, 148033 add conss, 5833 chg bounds, 9399 chg sides, 20246 chg coeffs, 456668 upgd conss, 11139976 impls, 2278 clqs
221.55/221.61	c (round 87) 14905 del vars, 471356 del conss, 148038 add conss, 5840 chg bounds, 9399 chg sides, 20246 chg coeffs, 456668 upgd conss, 11157615 impls, 2279 clqs
226.65/226.71	c (round 88) 14923 del vars, 471376 del conss, 148038 add conss, 5840 chg bounds, 9399 chg sides, 20264 chg coeffs, 456708 upgd conss, 11157655 impls, 2279 clqs
238.66/238.72	c (round 89) 14988 del vars, 471377 del conss, 148039 add conss, 5863 chg bounds, 9399 chg sides, 20264 chg coeffs, 456708 upgd conss, 11201036 impls, 2279 clqs
243.75/243.84	c (round 90) 15015 del vars, 471424 del conss, 148039 add conss, 5863 chg bounds, 9399 chg sides, 20291 chg coeffs, 456724 upgd conss, 11201060 impls, 2279 clqs
249.45/249.52	c (round 91) 15015 del vars, 471437 del conss, 148052 add conss, 5863 chg bounds, 9399 chg sides, 20291 chg coeffs, 456724 upgd conss, 11201060 impls, 2279 clqs
255.65/255.76	c (round 92) 15047 del vars, 471437 del conss, 148052 add conss, 5877 chg bounds, 9399 chg sides, 20291 chg coeffs, 456724 upgd conss, 11231344 impls, 2279 clqs
260.75/260.88	c (round 93) 15063 del vars, 471453 del conss, 148052 add conss, 5877 chg bounds, 9399 chg sides, 20307 chg coeffs, 456756 upgd conss, 11231344 impls, 2279 clqs
268.25/268.33	c (round 94) 15095 del vars, 471453 del conss, 148052 add conss, 5883 chg bounds, 9399 chg sides, 20307 chg coeffs, 456756 upgd conss, 11279600 impls, 2279 clqs
273.35/273.43	c (round 95) 15111 del vars, 471473 del conss, 148052 add conss, 5883 chg bounds, 9399 chg sides, 20323 chg coeffs, 456784 upgd conss, 11279628 impls, 2279 clqs
280.15/280.20	c (round 96) 15143 del vars, 471473 del conss, 148052 add conss, 5892 chg bounds, 9399 chg sides, 20323 chg coeffs, 456784 upgd conss, 11346951 impls, 2278 clqs
285.25/285.31	c (round 97) 15159 del vars, 471490 del conss, 148052 add conss, 5892 chg bounds, 9399 chg sides, 20339 chg coeffs, 456802 upgd conss, 11347193 impls, 2278 clqs
291.85/291.90	c (round 98) 15185 del vars, 471497 del conss, 148059 add conss, 5894 chg bounds, 9399 chg sides, 20339 chg coeffs, 456802 upgd conss, 11382007 impls, 2278 clqs
296.85/296.99	c (round 99) 15198 del vars, 471512 del conss, 148059 add conss, 5894 chg bounds, 9399 chg sides, 20352 chg coeffs, 456824 upgd conss, 11382061 impls, 2280 clqs
303.24/303.34	c (round 100) 15249 del vars, 471514 del conss, 148060 add conss, 5920 chg bounds, 9399 chg sides, 20352 chg coeffs, 456824 upgd conss, 11416923 impls, 2280 clqs
308.34/308.44	c (round 101) 15274 del vars, 471545 del conss, 148060 add conss, 5920 chg bounds, 9399 chg sides, 20377 chg coeffs, 456848 upgd conss, 11416943 impls, 2280 clqs
314.04/314.10	c (round 102) 15274 del vars, 471556 del conss, 148071 add conss, 5920 chg bounds, 9399 chg sides, 20377 chg coeffs, 456848 upgd conss, 11416943 impls, 2280 clqs
320.74/320.88	c (round 103) 15299 del vars, 471556 del conss, 148071 add conss, 5935 chg bounds, 9399 chg sides, 20377 chg coeffs, 456848 upgd conss, 11447408 impls, 2279 clqs
325.84/325.98	c (round 104) 15311 del vars, 471572 del conss, 148071 add conss, 5935 chg bounds, 9399 chg sides, 20388 chg coeffs, 456868 upgd conss, 11447408 impls, 2279 clqs
338.23/338.39	c (round 105) 15341 del vars, 471574 del conss, 148073 add conss, 5943 chg bounds, 9399 chg sides, 20388 chg coeffs, 456868 upgd conss, 11601322 impls, 2279 clqs
343.33/343.48	c (round 106) 15350 del vars, 471589 del conss, 148073 add conss, 5943 chg bounds, 9399 chg sides, 20397 chg coeffs, 456888 upgd conss, 11601342 impls, 2280 clqs
358.13/358.24	c (round 107) 15378 del vars, 471597 del conss, 148081 add conss, 5955 chg bounds, 9399 chg sides, 20397 chg coeffs, 456888 upgd conss, 11760846 impls, 2280 clqs
363.23/363.33	c (round 108) 15386 del vars, 471610 del conss, 148081 add conss, 5955 chg bounds, 9399 chg sides, 20405 chg coeffs, 456904 upgd conss, 11760854 impls, 2281 clqs
384.73/384.87	c (round 109) 15416 del vars, 471619 del conss, 148090 add conss, 5964 chg bounds, 9399 chg sides, 20405 chg coeffs, 456904 upgd conss, 12098125 impls, 2282 clqs
389.82/389.94	c (round 110) 15422 del vars, 471636 del conss, 148090 add conss, 5964 chg bounds, 9399 chg sides, 20411 chg coeffs, 456908 upgd conss, 12098125 impls, 2283 clqs
407.93/408.04	c (round 111) 15466 del vars, 471646 del conss, 148099 add conss, 5974 chg bounds, 9399 chg sides, 20411 chg coeffs, 456908 upgd conss, 12340464 impls, 2283 clqs
413.02/413.12	c (round 112) 15481 del vars, 471676 del conss, 148099 add conss, 5974 chg bounds, 9399 chg sides, 20426 chg coeffs, 456914 upgd conss, 12340464 impls, 2285 clqs
418.61/418.78	c (round 113) 15482 del vars, 471691 del conss, 148113 add conss, 5974 chg bounds, 9399 chg sides, 20426 chg coeffs, 456914 upgd conss, 12340482 impls, 2285 clqs
426.63/426.77	c (round 114) 15525 del vars, 471691 del conss, 148113 add conss, 6010 chg bounds, 9399 chg sides, 20426 chg coeffs, 456914 upgd conss, 12492536 impls, 2288 clqs
431.72/431.86	c (round 115) 15543 del vars, 471710 del conss, 148113 add conss, 6010 chg bounds, 9399 chg sides, 20445 chg coeffs, 456954 upgd conss, 12492536 impls, 2288 clqs
443.72/443.88	c (round 116) 15589 del vars, 471732 del conss, 148135 add conss, 6031 chg bounds, 9399 chg sides, 20445 chg coeffs, 456954 upgd conss, 12560689 impls, 2289 clqs
448.81/448.97	c (round 117) 15601 del vars, 471745 del conss, 148135 add conss, 6031 chg bounds, 9399 chg sides, 20458 chg coeffs, 456982 upgd conss, 12560689 impls, 2295 clqs
461.11/461.22	c (round 118) 15638 del vars, 471761 del conss, 148151 add conss, 6046 chg bounds, 9399 chg sides, 20458 chg coeffs, 456982 upgd conss, 12690830 impls, 2295 clqs
472.21/472.36	c (round 119) 15687 del vars, 471786 del conss, 148164 add conss, 6076 chg bounds, 9399 chg sides, 20470 chg coeffs, 456984 upgd conss, 12740505 impls, 2298 clqs
477.32/477.45	c (round 120) 15703 del vars, 471803 del conss, 148164 add conss, 6076 chg bounds, 9399 chg sides, 20487 chg coeffs, 457018 upgd conss, 12740505 impls, 2299 clqs
497.21/497.39	c (round 121) 15736 del vars, 471811 del conss, 148171 add conss, 6089 chg bounds, 9399 chg sides, 20487 chg coeffs, 457018 upgd conss, 13046076 impls, 2299 clqs
502.31/502.46	c (round 122) 15745 del vars, 471822 del conss, 148171 add conss, 6089 chg bounds, 9399 chg sides, 20496 chg coeffs, 457030 upgd conss, 13046082 impls, 2302 clqs
507.81/507.90	c (round 123) 15752 del vars, 471839 del conss, 148187 add conss, 6089 chg bounds, 9399 chg sides, 20496 chg coeffs, 457030 upgd conss, 13046456 impls, 2302 clqs
517.91/518.06	c (round 124) 15804 del vars, 471846 del conss, 148194 add conss, 6106 chg bounds, 9399 chg sides, 20496 chg coeffs, 457030 upgd conss, 13201723 impls, 2309 clqs
523.00/523.14	c (round 125) 15820 del vars, 471867 del conss, 148194 add conss, 6106 chg bounds, 9399 chg sides, 20515 chg coeffs, 457064 upgd conss, 13201729 impls, 2309 clqs
528.60/528.79	c (round 126) 15820 del vars, 471882 del conss, 148204 add conss, 6106 chg bounds, 9399 chg sides, 20515 chg coeffs, 457064 upgd conss, 13201729 impls, 2309 clqs
539.10/539.29	c (round 127) 15850 del vars, 471883 del conss, 148204 add conss, 6116 chg bounds, 9399 chg sides, 20515 chg coeffs, 457064 upgd conss, 13358777 impls, 2311 clqs
544.20/544.36	c (round 128) 15857 del vars, 471895 del conss, 148204 add conss, 6116 chg bounds, 9399 chg sides, 20522 chg coeffs, 457070 upgd conss, 13358777 impls, 2311 clqs
549.91/550.01	c (round 129) 15857 del vars, 471908 del conss, 148217 add conss, 6116 chg bounds, 9399 chg sides, 20522 chg coeffs, 457070 upgd conss, 13358777 impls, 2311 clqs
560.40/560.53	c (round 130) 15899 del vars, 471908 del conss, 148217 add conss, 6128 chg bounds, 9399 chg sides, 20522 chg coeffs, 457070 upgd conss, 13499497 impls, 2314 clqs
565.50/565.61	c (round 131) 15912 del vars, 471927 del conss, 148217 add conss, 6128 chg bounds, 9399 chg sides, 20535 chg coeffs, 457100 upgd conss, 13501495 impls, 2314 clqs
575.50/575.65	c (round 132) 15960 del vars, 471928 del conss, 148218 add conss, 6130 chg bounds, 9399 chg sides, 20535 chg coeffs, 457100 upgd conss, 13673571 impls, 2314 clqs
580.60/580.73	c (round 133) 15982 del vars, 471951 del conss, 148218 add conss, 6130 chg bounds, 9399 chg sides, 20557 chg coeffs, 457128 upgd conss, 13673591 impls, 2314 clqs
586.00/586.15	c (round 134) 15985 del vars, 471961 del conss, 148228 add conss, 6130 chg bounds, 9399 chg sides, 20557 chg coeffs, 457128 upgd conss, 13673599 impls, 2314 clqs
607.29/607.43	c (round 135) 16272 del vars, 471967 del conss, 148233 add conss, 6132 chg bounds, 9399 chg sides, 20557 chg coeffs, 457128 upgd conss, 13938963 impls, 2314 clqs
612.29/612.49	c (round 136) 16310 del vars, 472007 del conss, 148233 add conss, 6132 chg bounds, 9399 chg sides, 20595 chg coeffs, 457128 upgd conss, 13939169 impls, 2315 clqs
617.99/618.11	c (round 137) 16312 del vars, 472021 del conss, 148244 add conss, 6132 chg bounds, 9399 chg sides, 20595 chg coeffs, 457128 upgd conss, 13939197 impls, 2315 clqs
625.28/625.42	c (round 138) 17241 del vars, 472023 del conss, 148244 add conss, 6132 chg bounds, 9399 chg sides, 20595 chg coeffs, 457128 upgd conss, 13960517 impls, 2315 clqs
630.29/630.49	c (round 139) 17471 del vars, 472261 del conss, 148244 add conss, 6132 chg bounds, 9399 chg sides, 20825 chg coeffs, 457128 upgd conss, 13961359 impls, 2315 clqs
637.29/637.45	c (round 140) 17936 del vars, 472264 del conss, 148246 add conss, 6132 chg bounds, 9399 chg sides, 20825 chg coeffs, 457128 upgd conss, 13994887 impls, 2315 clqs
642.19/642.38	c (round 141) 18051 del vars, 472383 del conss, 148246 add conss, 6132 chg bounds, 9399 chg sides, 20940 chg coeffs, 457128 upgd conss, 13995087 impls, 2315 clqs
653.88/654.05	c (round 142) 18077 del vars, 472385 del conss, 148247 add conss, 6135 chg bounds, 9399 chg sides, 20940 chg coeffs, 457128 upgd conss, 14231650 impls, 2315 clqs
658.78/658.95	c (round 143) 18086 del vars, 472398 del conss, 148247 add conss, 6135 chg bounds, 9399 chg sides, 20949 chg coeffs, 457132 upgd conss, 14231666 impls, 2315 clqs
663.97/664.17	c (round 144) 18090 del vars, 472410 del conss, 148259 add conss, 6135 chg bounds, 9399 chg sides, 20949 chg coeffs, 457132 upgd conss, 14231688 impls, 2315 clqs
677.48/677.61	c (round 145) 18122 del vars, 472413 del conss, 148259 add conss, 6145 chg bounds, 9399 chg sides, 20952 chg coeffs, 457132 upgd conss, 14325123 impls, 2315 clqs
682.27/682.49	c (round 146) 18131 del vars, 472425 del conss, 148259 add conss, 6145 chg bounds, 9399 chg sides, 20962 chg coeffs, 457142 upgd conss, 14325123 impls, 2315 clqs
687.77/687.94	c (round 147) 18131 del vars, 472434 del conss, 148268 add conss, 6145 chg bounds, 9399 chg sides, 20962 chg coeffs, 457142 upgd conss, 14325123 impls, 2315 clqs
700.07/700.26	c (round 148) 18200 del vars, 472436 del conss, 148268 add conss, 6189 chg bounds, 9399 chg sides, 20962 chg coeffs, 457142 upgd conss, 14574105 impls, 2316 clqs
704.98/705.14	c (round 149) 18227 del vars, 472468 del conss, 148268 add conss, 6189 chg bounds, 9399 chg sides, 20991 chg coeffs, 457196 upgd conss, 14574107 impls, 2316 clqs
710.27/710.41	c (round 150) 18248 del vars, 472478 del conss, 148278 add conss, 6189 chg bounds, 9399 chg sides, 20991 chg coeffs, 457196 upgd conss, 14611379 impls, 2316 clqs
725.87/726.06	c (round 151) 18279 del vars, 472480 del conss, 148278 add conss, 6200 chg bounds, 9399 chg sides, 20993 chg coeffs, 457196 upgd conss, 14804718 impls, 2318 clqs
730.76/730.93	c (round 152) 18292 del vars, 472493 del conss, 148278 add conss, 6200 chg bounds, 9399 chg sides, 21006 chg coeffs, 457222 upgd conss, 14804718 impls, 2318 clqs
735.97/736.12	c (round 153) 18295 del vars, 472516 del conss, 148301 add conss, 6200 chg bounds, 9399 chg sides, 21006 chg coeffs, 457222 upgd conss, 14804718 impls, 2318 clqs
748.26/748.44	c (round 154) 18326 del vars, 472520 del conss, 148301 add conss, 6205 chg bounds, 9399 chg sides, 21009 chg coeffs, 457222 upgd conss, 14936223 impls, 2318 clqs
764.66/764.84	c (round 155) 18399 del vars, 472541 del conss, 148315 add conss, 6224 chg bounds, 9399 chg sides, 21014 chg coeffs, 457224 upgd conss, 15260768 impls, 2318 clqs
769.56/769.70	c (round 156) 18425 del vars, 472571 del conss, 148315 add conss, 6224 chg bounds, 9399 chg sides, 21042 chg coeffs, 457262 upgd conss, 15260768 impls, 2319 clqs
774.76/774.93	c (round 157) 18442 del vars, 472588 del conss, 148332 add conss, 6224 chg bounds, 9399 chg sides, 21042 chg coeffs, 457262 upgd conss, 15292718 impls, 2320 clqs
791.56/791.78	c (round 158) 18488 del vars, 472591 del conss, 148332 add conss, 6234 chg bounds, 9399 chg sides, 21044 chg coeffs, 457262 upgd conss, 15543716 impls, 2322 clqs
796.46/796.64	c (round 159) 18499 del vars, 472605 del conss, 148332 add conss, 6234 chg bounds, 9399 chg sides, 21058 chg coeffs, 457296 upgd conss, 15543716 impls, 2322 clqs
801.67/801.81	c (round 160) 18500 del vars, 472627 del conss, 148354 add conss, 6234 chg bounds, 9399 chg sides, 21058 chg coeffs, 457296 upgd conss, 15543716 impls, 2322 clqs
814.06/814.27	c (round 161) 18953 del vars, 472629 del conss, 148354 add conss, 6234 chg bounds, 9399 chg sides, 21059 chg coeffs, 457296 upgd conss, 15592908 impls, 2325 clqs
818.95/819.13	c (round 162) 19079 del vars, 472757 del conss, 148354 add conss, 6234 chg bounds, 9399 chg sides, 21185 chg coeffs, 457300 upgd conss, 15593122 impls, 2325 clqs
825.05/825.22	c (round 163) 19300 del vars, 472761 del conss, 148358 add conss, 6234 chg bounds, 9399 chg sides, 21185 chg coeffs, 457300 upgd conss, 15609854 impls, 2325 clqs
829.85/830.04	c (round 164) 19361 del vars, 472823 del conss, 148358 add conss, 6234 chg bounds, 9399 chg sides, 21246 chg coeffs, 457300 upgd conss, 15610028 impls, 2325 clqs
840.35/840.58	c (round 165) 19394 del vars, 472824 del conss, 148359 add conss, 6243 chg bounds, 9399 chg sides, 21246 chg coeffs, 457300 upgd conss, 15822679 impls, 2325 clqs
845.14/845.38	c (round 166) 19408 del vars, 472841 del conss, 148359 add conss, 6243 chg bounds, 9399 chg sides, 21260 chg coeffs, 457324 upgd conss, 15822915 impls, 2325 clqs
850.35/850.52	c (round 167) 19412 del vars, 472849 del conss, 148367 add conss, 6243 chg bounds, 9399 chg sides, 21260 chg coeffs, 457324 upgd conss, 15822915 impls, 2325 clqs
861.54/861.70	c (round 168) 19446 del vars, 472852 del conss, 148367 add conss, 6251 chg bounds, 9399 chg sides, 21263 chg coeffs, 457324 upgd conss, 15932093 impls, 2325 clqs
866.34/866.50	c (round 169) 19457 del vars, 472865 del conss, 148367 add conss, 6251 chg bounds, 9399 chg sides, 21275 chg coeffs, 457328 upgd conss, 15932095 impls, 2325 clqs
871.64/871.87	c (round 170) 19458 del vars, 472879 del conss, 148380 add conss, 6251 chg bounds, 9399 chg sides, 21275 chg coeffs, 457328 upgd conss, 15932101 impls, 2325 clqs
886.14/886.31	c (round 171) 19484 del vars, 472881 del conss, 148380 add conss, 6252 chg bounds, 9399 chg sides, 21275 chg coeffs, 457328 upgd conss, 16318886 impls, 2325 clqs
900.34/900.51	c (round 172) 19525 del vars, 472903 del conss, 148392 add conss, 6272 chg bounds, 9399 chg sides, 21284 chg coeffs, 457328 upgd conss, 16471970 impls, 2325 clqs
905.14/905.32	c (round 173) 19537 del vars, 472915 del conss, 148392 add conss, 6272 chg bounds, 9399 chg sides, 21296 chg coeffs, 457338 upgd conss, 16471978 impls, 2325 clqs
910.44/910.67	c (round 174) 19537 del vars, 472925 del conss, 148402 add conss, 6272 chg bounds, 9399 chg sides, 21296 chg coeffs, 457338 upgd conss, 16471978 impls, 2325 clqs
918.64/918.80	c (round 175) 19800 del vars, 472925 del conss, 148402 add conss, 6272 chg bounds, 9399 chg sides, 21296 chg coeffs, 457338 upgd conss, 16607278 impls, 2325 clqs
923.44/923.64	c (round 176) 19878 del vars, 473007 del conss, 148402 add conss, 6272 chg bounds, 9399 chg sides, 21374 chg coeffs, 457338 upgd conss, 16607508 impls, 2325 clqs
935.84/936.02	c (round 177) 19903 del vars, 473012 del conss, 148406 add conss, 6281 chg bounds, 9399 chg sides, 21374 chg coeffs, 457338 upgd conss, 16909499 impls, 2325 clqs
950.03/950.29	c (round 178) 19983 del vars, 473032 del conss, 148420 add conss, 6333 chg bounds, 9399 chg sides, 21380 chg coeffs, 457338 upgd conss, 17084303 impls, 2325 clqs
954.93/955.11	c (round 179) 20016 del vars, 473066 del conss, 148420 add conss, 6333 chg bounds, 9399 chg sides, 21414 chg coeffs, 457398 upgd conss, 17084763 impls, 2326 clqs
960.23/960.45	c (round 180) 20017 del vars, 473075 del conss, 148428 add conss, 6333 chg bounds, 9399 chg sides, 21414 chg coeffs, 457398 upgd conss, 17084797 impls, 2326 clqs
969.93/970.15	c (round 181) 20050 del vars, 473075 del conss, 148428 add conss, 6343 chg bounds, 9399 chg sides, 21414 chg coeffs, 457398 upgd conss, 17251157 impls, 2327 clqs
974.73/974.95	c (round 182) 20064 del vars, 473091 del conss, 148428 add conss, 6343 chg bounds, 9399 chg sides, 21428 chg coeffs, 457414 upgd conss, 17251481 impls, 2327 clqs
980.03/980.28	c (round 183) 20064 del vars, 473099 del conss, 148436 add conss, 6343 chg bounds, 9399 chg sides, 21428 chg coeffs, 457414 upgd conss, 17251481 impls, 2327 clqs
989.42/989.66	c (round 184) 20106 del vars, 473100 del conss, 148436 add conss, 6362 chg bounds, 9399 chg sides, 21428 chg coeffs, 457414 upgd conss, 17519490 impls, 2327 clqs
994.23/994.48	c (round 185) 20125 del vars, 473119 del conss, 148436 add conss, 6362 chg bounds, 9399 chg sides, 21447 chg coeffs, 457434 upgd conss, 17519928 impls, 2327 clqs
999.33/999.58	c (round 186) 20126 del vars, 473132 del conss, 148449 add conss, 6362 chg bounds, 9399 chg sides, 21447 chg coeffs, 457434 upgd conss, 17519950 impls, 2327 clqs
1011.32/1011.52	c (round 187) 20154 del vars, 473134 del conss, 148450 add conss, 6380 chg bounds, 9399 chg sides, 21447 chg coeffs, 457434 upgd conss, 17805112 impls, 2328 clqs
1016.12/1016.31	c (round 188) 20165 del vars, 473147 del conss, 148450 add conss, 6380 chg bounds, 9399 chg sides, 21458 chg coeffs, 457442 upgd conss, 17805790 impls, 2329 clqs
1021.42/1021.65	c (round 189) 20165 del vars, 473156 del conss, 148458 add conss, 6380 chg bounds, 9399 chg sides, 21458 chg coeffs, 457442 upgd conss, 17805790 impls, 2329 clqs
1036.82/1037.02	c (round 190) 20434 del vars, 473156 del conss, 148458 add conss, 6396 chg bounds, 9399 chg sides, 21458 chg coeffs, 457442 upgd conss, 18177672 impls, 2329 clqs
1041.62/1041.85	c (round 191) 20473 del vars, 473196 del conss, 148458 add conss, 6396 chg bounds, 9399 chg sides, 21497 chg coeffs, 457442 upgd conss, 18371060 impls, 2329 clqs
1046.92/1047.17	c (round 192) 20473 del vars, 473206 del conss, 148468 add conss, 6396 chg bounds, 9399 chg sides, 21497 chg coeffs, 457442 upgd conss, 18371060 impls, 2329 clqs
1061.52/1061.78	c (round 193) 20503 del vars, 473206 del conss, 148468 add conss, 6404 chg bounds, 9399 chg sides, 21497 chg coeffs, 457442 upgd conss, 18770474 impls, 2329 clqs
1066.31/1066.57	c (round 194) 20518 del vars, 473223 del conss, 148468 add conss, 6404 chg bounds, 9399 chg sides, 21512 chg coeffs, 457446 upgd conss, 18770476 impls, 2329 clqs
1071.61/1071.88	c (round 195) 20518 del vars, 473236 del conss, 148481 add conss, 6404 chg bounds, 9399 chg sides, 21512 chg coeffs, 457446 upgd conss, 18770476 impls, 2329 clqs
1080.51/1080.73	c (round 196) 20768 del vars, 473238 del conss, 148481 add conss, 6404 chg bounds, 9399 chg sides, 21512 chg coeffs, 457446 upgd conss, 18890656 impls, 2329 clqs
1085.21/1085.48	c (round 197) 20801 del vars, 473272 del conss, 148481 add conss, 6404 chg bounds, 9399 chg sides, 21545 chg coeffs, 457446 upgd conss, 18890720 impls, 2329 clqs
1103.31/1103.50	c (round 198) 20826 del vars, 473273 del conss, 148482 add conss, 6414 chg bounds, 9399 chg sides, 21545 chg coeffs, 457446 upgd conss, 19583858 impls, 2329 clqs
1120.50/1120.70	c (round 199) 20866 del vars, 473302 del conss, 148498 add conss, 6420 chg bounds, 9399 chg sides, 21556 chg coeffs, 457448 upgd conss, 20039170 impls, 2329 clqs
1125.21/1125.48	c (round 200) 20881 del vars, 473317 del conss, 148498 add conss, 6420 chg bounds, 9399 chg sides, 21571 chg coeffs, 457472 upgd conss, 20053750 impls, 2330 clqs
1135.20/1135.44	c (round 201) 20908 del vars, 473318 del conss, 148499 add conss, 6425 chg bounds, 9399 chg sides, 21571 chg coeffs, 457472 upgd conss, 20377905 impls, 2330 clqs
1140.00/1140.21	c (round 202) 20920 del vars, 473330 del conss, 148499 add conss, 6425 chg bounds, 9399 chg sides, 21583 chg coeffs, 457496 upgd conss, 20392485 impls, 2330 clqs
1150.91/1151.16	c (round 203) 20959 del vars, 473333 del conss, 148502 add conss, 6427 chg bounds, 9399 chg sides, 21583 chg coeffs, 457496 upgd conss, 20765419 impls, 2331 clqs
1155.70/1155.95	c (round 204) 20977 del vars, 473351 del conss, 148502 add conss, 6427 chg bounds, 9399 chg sides, 21601 chg coeffs, 457510 upgd conss, 20779947 impls, 2331 clqs
1161.00/1161.25	c (round 205) 20977 del vars, 473365 del conss, 148516 add conss, 6427 chg bounds, 9399 chg sides, 21601 chg coeffs, 457510 upgd conss, 20779947 impls, 2331 clqs
1210.49/1210.73	c (round 206) 21003 del vars, 473367 del conss, 148516 add conss, 6445 chg bounds, 9399 chg sides, 21601 chg coeffs, 457510 upgd conss, 30773077 impls, 2330 clqs
1215.30/1215.51	c (round 207) 21015 del vars, 473379 del conss, 148516 add conss, 6445 chg bounds, 9399 chg sides, 21612 chg coeffs, 457514 upgd conss, 30775593 impls, 2330 clqs
1220.59/1220.84	c (round 208) 21015 del vars, 473415 del conss, 148552 add conss, 6445 chg bounds, 9399 chg sides, 21612 chg coeffs, 457514 upgd conss, 30775593 impls, 2330 clqs
1233.69/1233.97	c (round 209) 21293 del vars, 473415 del conss, 148552 add conss, 6445 chg bounds, 9399 chg sides, 21612 chg coeffs, 457514 upgd conss, 31172831 impls, 2353 clqs
1238.49/1238.79	c (round 210) 21336 del vars, 473460 del conss, 148552 add conss, 6445 chg bounds, 9399 chg sides, 21655 chg coeffs, 457514 upgd conss, 31221757 impls, 2353 clqs
1243.79/1244.09	c (round 211) 21336 del vars, 473473 del conss, 148565 add conss, 6445 chg bounds, 9399 chg sides, 21655 chg coeffs, 457514 upgd conss, 31221757 impls, 2353 clqs
1253.69/1253.98	c (round 212) 21546 del vars, 473474 del conss, 148565 add conss, 6445 chg bounds, 9399 chg sides, 21655 chg coeffs, 457514 upgd conss, 31442003 impls, 2355 clqs
1258.48/1258.75	c (round 213) 21604 del vars, 473536 del conss, 148565 add conss, 6445 chg bounds, 9399 chg sides, 21713 chg coeffs, 457514 upgd conss, 31442005 impls, 2355 clqs
1316.58/1316.88	c (round 214) 21636 del vars, 473537 del conss, 148566 add conss, 6445 chg bounds, 9399 chg sides, 21713 chg coeffs, 457514 upgd conss, 39841913 impls, 2355 clqs
1321.38/1321.66	c (round 215) 21649 del vars, 473551 del conss, 148566 add conss, 6445 chg bounds, 9399 chg sides, 21726 chg coeffs, 457522 upgd conss, 39860199 impls, 2355 clqs
1326.57/1326.88	c (round 216) 21657 del vars, 473672 del conss, 148687 add conss, 6445 chg bounds, 9399 chg sides, 21726 chg coeffs, 457522 upgd conss, 39860199 impls, 2355 clqs
1406.46/1406.80	c    (1406.8s) probing: 1000/157919 (0.6%) - 8109 fixings, 108 aggregations, 7326580 implications, 1170 bound changes
1408.96/1409.22	c (round 217) 21696 del vars, 473679 del conss, 148687 add conss, 6452 chg bounds, 9399 chg sides, 21733 chg coeffs, 457522 upgd conss, 50551710 impls, 2456 clqs
1428.16/1428.40	c (round 218) 21959 del vars, 473899 del conss, 148898 add conss, 6452 chg bounds, 9399 chg sides, 21742 chg coeffs, 457527 upgd conss, 50749506 impls, 2456 clqs
1433.06/1433.32	c (round 219) 21999 del vars, 473943 del conss, 148898 add conss, 6452 chg bounds, 9399 chg sides, 21782 chg coeffs, 457532 upgd conss, 50890354 impls, 2648 clqs
1438.36/1438.60	c (round 220) 21999 del vars, 473952 del conss, 148906 add conss, 6452 chg bounds, 9399 chg sides, 21782 chg coeffs, 457532 upgd conss, 50890354 impls, 2649 clqs
1471.85/1472.12	c (round 221) 22256 del vars, 473952 del conss, 148906 add conss, 6455 chg bounds, 9399 chg sides, 21782 chg coeffs, 457532 upgd conss, 58295237 impls, 2655 clqs
1476.74/1477.02	c (round 222) 22294 del vars, 473993 del conss, 148906 add conss, 6455 chg bounds, 9399 chg sides, 21820 chg coeffs, 457532 upgd conss, 58320111 impls, 2655 clqs
1482.05/1482.31	c (round 223) 22295 del vars, 474031 del conss, 148943 add conss, 6455 chg bounds, 9399 chg sides, 21820 chg coeffs, 457532 upgd conss, 58321505 impls, 2655 clqs
1489.55/1489.81	c (round 224) 22531 del vars, 474031 del conss, 148943 add conss, 6455 chg bounds, 9399 chg sides, 21820 chg coeffs, 457532 upgd conss, 58567297 impls, 2684 clqs
1494.55/1494.88	c (round 225) 22564 del vars, 474075 del conss, 148943 add conss, 6455 chg bounds, 9399 chg sides, 21852 chg coeffs, 457532 upgd conss, 58755783 impls, 2684 clqs
1523.44/1523.75	c (round 226) 22817 del vars, 474078 del conss, 148946 add conss, 6459 chg bounds, 9399 chg sides, 21852 chg coeffs, 457532 upgd conss, 62972783 impls, 2684 clqs
1528.44/1528.75	c (round 227) 22852 del vars, 474115 del conss, 148946 add conss, 6459 chg bounds, 9399 chg sides, 21887 chg coeffs, 457532 upgd conss, 63067067 impls, 2685 clqs
1533.64/1533.96	c (round 228) 22852 del vars, 474203 del conss, 149034 add conss, 6459 chg bounds, 9399 chg sides, 21887 chg coeffs, 457532 upgd conss, 63067067 impls, 2685 clqs
1549.34/1549.68	c (round 229) 22877 del vars, 474203 del conss, 149034 add conss, 6459 chg bounds, 9399 chg sides, 21887 chg coeffs, 457532 upgd conss, 66355725 impls, 2770 clqs
1667.49/1667.89	c (round 230) 23143 del vars, 474240 del conss, 149062 add conss, 6464 chg bounds, 9399 chg sides, 21896 chg coeffs, 457532 upgd conss, 92781330 impls, 2770 clqs
1672.59/1672.90	c (round 231) 23178 del vars, 474280 del conss, 149062 add conss, 6464 chg bounds, 9399 chg sides, 21931 chg coeffs, 457532 upgd conss, 92842918 impls, 2785 clqs
1677.79/1678.13	c (round 232) 23178 del vars, 474507 del conss, 149289 add conss, 6464 chg bounds, 9399 chg sides, 21931 chg coeffs, 457532 upgd conss, 92842918 impls, 2785 clqs
1688.20/1688.54	c (round 233) 23424 del vars, 474507 del conss, 149289 add conss, 6464 chg bounds, 9399 chg sides, 21931 chg coeffs, 457532 upgd conss, 92981810 impls, 3001 clqs
1693.09/1693.44	c (round 234) 23459 del vars, 474546 del conss, 149289 add conss, 6464 chg bounds, 9399 chg sides, 21966 chg coeffs, 457532 upgd conss, 93099308 impls, 3001 clqs
1699.58/1699.94	c (round 235) 23493 del vars, 474552 del conss, 149295 add conss, 6472 chg bounds, 9399 chg sides, 21966 chg coeffs, 457532 upgd conss, 93138290 impls, 3001 clqs
1704.29/1704.66	c (round 236) 23512 del vars, 474572 del conss, 149295 add conss, 6472 chg bounds, 9399 chg sides, 21985 chg coeffs, 457548 upgd conss, 93153244 impls, 3003 clqs
1764.18/1764.52	c (round 237) 23544 del vars, 474586 del conss, 149308 add conss, 6480 chg bounds, 9399 chg sides, 21985 chg coeffs, 457548 upgd conss, 96257056 impls, 3004 clqs
1797.08/1797.48	c    (1797.4s) probing: 1530/157919 (1.0%) - 9683 fixings, 120 aggregations, 10010615 implications, 1202 bound changes
1797.08/1797.48	c    (1797.4s) probing aborted: solving stopped
1797.08/1797.48	c (round 238) 23554 del vars, 474691 del conss, 149401 add conss, 6480 chg bounds, 9399 chg sides, 21994 chg coeffs, 457552 upgd conss, 99715450 impls, 3004 clqs
1797.08/1797.48	c presolving (238 rounds):
1797.08/1797.48	c  23554 deleted vars, 474691 deleted constraints, 149401 added constraints, 6480 tightened bounds, 0 added holes, 9399 changed sides, 21994 changed coefficients
1797.08/1797.48	c  99715450 implications, 3004 cliques
1797.08/1797.48	c presolving was interrupted.
1797.08/1797.48	c Presolving Time: 1795.46
1797.08/1797.48	c - non default parameters ----------------------------------------------------------------------
1797.08/1797.48	c # SCIP version 2.1.1.4
1797.08/1797.48	c 
1797.08/1797.48	c # maximal time in seconds to run
1797.08/1797.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.08/1797.48	c limits/time = 1797
1797.08/1797.48	c 
1797.08/1797.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.08/1797.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.08/1797.48	c limits/memory = 13950
1797.08/1797.48	c 
1797.08/1797.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.08/1797.48	c # [type: int, range: [1,2], default: 1]
1797.08/1797.48	c timing/clocktype = 2
1797.08/1797.48	c 
1797.08/1797.48	c # belongs reading time to solving time?
1797.08/1797.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.08/1797.48	c timing/reading = TRUE
1797.08/1797.48	c 
1797.08/1797.48	c -----------------------------------------------------------------------------------------------
1797.08/1797.48	c start solving
1797.17/1797.59	c presolving:
1797.17/1797.59	c presolving (238 rounds):
1797.17/1797.59	c  23554 deleted vars, 474691 deleted constraints, 149401 added constraints, 6480 tightened bounds, 0 added holes, 9399 changed sides, 21994 changed coefficients
1797.17/1797.59	c  99715450 implications, 3004 cliques
1797.17/1797.59	c presolving was interrupted.
1797.17/1797.59	c Presolving Time: 1795.57
1797.17/1797.59	c 
1797.17/1797.59	c SCIP Status        : solving was interrupted [time limit reached]
1797.17/1797.59	c Solving Time (sec) : 1797.56
1797.17/1797.59	c Solving Nodes      : 0
1797.17/1797.59	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.17/1797.59	s UNKNOWN
1797.17/1797.59	c SCIP Status        : solving was interrupted [time limit reached]
1797.17/1797.59	c Total Time         :    1797.56
1797.17/1797.59	c   solving          :    1797.56
1797.17/1797.59	c   presolving       :    1795.57 (included in solving)
1797.17/1797.59	c   reading          :       1.40 (included in solving)
1797.17/1797.59	c   copying          :       0.00 (0 times copied the problem)
1797.17/1797.59	c Original Problem   :
1797.17/1797.59	c   Problem name     : HOME/instance-3692844-1338024941.opb
1797.17/1797.59	c   Variables        : 168111 (168111 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.59	c   Constraints      : 487525 initial, 487525 maximal
1797.17/1797.59	c   Objective sense  : minimize
1797.17/1797.59	c Presolved Problem  :
1797.17/1797.59	c   Problem name     : t_HOME/instance-3692844-1338024941.opb
1797.17/1797.59	c   Variables        : 144557 (144557 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.59	c   Constraints      : 154603 initial, 154603 maximal
1797.17/1797.59	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.17/1797.59	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   trivial          :       3.23       0.00        124          0          0          0          0          0          0          0          0
1797.17/1797.59	c   dualfix          :       2.26       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   gateextraction   :       2.32       0.00          0          0          0          0          0     435751     145249          0          0
1797.17/1797.59	c   implics          :      13.53       0.00          0       5062          0          0          0          0          0          0          0
1797.17/1797.59	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   probing          :     683.40       0.00       9683        120          0       1202          0          0          0          0          0
1797.17/1797.59	c   pseudoboolean    :       0.00       1.10          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   knapsack         :       4.95       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   setppc           :       3.40       0.00          0          4          0          0          0        575          0          0          0
1797.17/1797.59	c   and              :    1050.45       0.00        197       3075          0          0          0       6673       4152          0       2456
1797.17/1797.59	c   linear           :      27.90       0.00       5271         18          0       5278          0      31692          0       9399      19538
1797.17/1797.59	c   logicor          :       1.21       0.00          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1797.17/1797.59	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1797.17/1797.59	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   pseudoboolean    :          0+    487525          0          0          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   knapsack         :          0+     18798          0      35926          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   setppc           :          0+    291782          0      35926          0          0          0         26          2          0          0          0          0
1797.17/1797.59	c   and              :          0+    145245          0      35924          0          0          0        635         34          0          0          0          0
1797.17/1797.59	c   linear           :          0+    487525          0         46          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   logicor          :          0+    145390          0        755          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1797.17/1797.59	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1797.17/1797.59	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.59	c   pseudoboolean    :       1.10       1.10       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.59	c   knapsack         :      32.52       0.00       0.00      32.52       0.00       0.00       0.00       0.00
1797.17/1797.59	c   setppc           :      11.30       0.00       0.00      11.30       0.00       0.00       0.00       0.00
1797.17/1797.59	c   and              :     380.32       0.00       0.00     380.32       0.00       0.00       0.00       0.00
1797.17/1797.59	c   linear           :       0.78       0.00       0.00       0.78       0.00       0.00       0.00       0.00
1797.17/1797.59	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.59	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.17/1797.59	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1797.17/1797.59	c   rootredcost      :          0          0          0          0
1797.17/1797.59	c   pseudoobj        :          0          0          0          0
1797.17/1797.59	c   vbounds          :          0          0          0          0
1797.17/1797.59	c   redcost          :          0          0          0          0
1797.17/1797.59	c   probing          :          0          0          0          0
1797.17/1797.59	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1797.17/1797.59	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00
1797.17/1797.59	c   pseudoobj        :       0.05       0.00       0.00       0.05       0.00
1797.17/1797.59	c   vbounds          :       0.05       0.00       0.00       0.05       0.00
1797.17/1797.59	c   redcost          :       0.03       0.00       0.00       0.03       0.00
1797.17/1797.59	c   probing          :     683.40       0.00     683.40       0.00       0.00
1797.17/1797.59	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.17/1797.59	c   propagation      :       0.00         36          0          0        0.0          0        0.0          -
1797.17/1797.59	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.59	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.59	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.17/1797.59	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.17/1797.59	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.17/1797.59	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.77/1799.18	c Time complete: 1798.86.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692844-1338024941/watcher-3692844-1338024941 -o /tmp/evaluation-result-3692844-1338024941/solver-3692844-1338024941 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692844-1338024941.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: 1.87 1.97 1.99 3/178 2057
/proc/meminfo: memFree=25641996/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=10112 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 1 0 268618907 10354688 1237 33554432000 4194304 10169799 140735809823024 140735809689016 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 2528 1237 409 1459 0 1060 0

[startup+0.0938501 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 2057
/proc/meminfo: memFree=25641996/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=30072 CPUtime=0.08 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 6268 0 0 0 7 1 0 0 20 0 1 0 268618907 30793728 6223 33554432000 4194304 10169799 140735809823024 140735809689016 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 7518 6223 409 1459 0 6050 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30072

[startup+0.100335 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 2057
/proc/meminfo: memFree=25641996/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=31680 CPUtime=0.09 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 6676 0 0 0 8 1 0 0 20 0 1 0 268618907 32440320 6631 33554432000 4194304 10169799 140735809823024 140735809689016 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 7920 6631 409 1459 0 6452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31680

[startup+0.300321 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 2057
/proc/meminfo: memFree=25641996/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=72984 CPUtime=0.28 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 16996 0 0 0 25 3 0 0 20 0 1 0 268618907 74735616 16951 33554432000 4194304 10169799 140735809823024 140735809689016 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 18246 16951 409 1459 0 16778 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72984

[startup+0.70031 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 2057
/proc/meminfo: memFree=25641996/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=152240 CPUtime=0.69 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 36764 0 0 0 62 7 0 0 20 0 1 0 268618907 155893760 36719 33554432000 4194304 10169799 140735809823024 140735809689352 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 38060 36719 409 1459 0 36592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 152240

[startup+1.5003 s]
/proc/loadavg: 1.87 1.97 1.99 3/179 2058
/proc/meminfo: memFree=25438752/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=337264 CPUtime=1.49 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 82557 0 0 0 134 15 0 0 20 0 1 0 268618907 345358336 82502 33554432000 4194304 10169799 140735809823024 140735809689352 7393228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 84316 82504 453 1459 0 82848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 337264

[startup+3.10034 s]
/proc/loadavg: 1.87 1.97 1.99 3/179 2058
/proc/meminfo: memFree=25013144/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=805996 CPUtime=3.09 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 197484 0 0 0 277 32 0 0 20 0 1 0 268618907 825339904 197341 33554432000 4194304 10169799 140735809823024 140735809819992 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 201499 197379 497 1459 0 200031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 805996

[startup+6.30029 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24731412/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1010388 CPUtime=6.29 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 271265 0 0 0 533 96 0 0 20 0 1 0 268618907 1034637312 245468 33554432000 4194304 10169799 140735809823024 140735809821176 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 252597 245468 560 1459 0 251129 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1010388

[startup+12.7003 s]
/proc/loadavg: 1.89 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24515516/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1171408 CPUtime=12.68 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 311566 0 0 0 887 381 0 0 20 0 1 0 268618907 1199521792 285120 33554432000 4194304 10169799 140735809823024 140735809821176 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 292852 285120 561 1459 0 291384 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1171408

[startup+25.5003 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24507860/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1171408 CPUtime=25.48 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 311587 0 0 0 1210 1338 0 0 20 0 1 0 268618907 1199521792 285141 33554432000 4194304 10169799 140735809823024 140735809821176 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 292852 285141 561 1459 0 291384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1171408

[startup+51.1002 s]
/proc/loadavg: 1.94 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24288200/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1406436 CPUtime=51.08 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 391248 0 0 0 3005 2103 0 0 20 0 1 0 268618907 1440190464 341480 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 351609 341480 623 1459 0 350141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1406436

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 2059
/proc/meminfo: memFree=24293832/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1406436 CPUtime=102.28 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 391266 0 0 0 8065 2163 0 0 20 0 1 0 268618907 1440190464 341498 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 351609 341498 623 1459 0 350141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1406436

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 2059
/proc/meminfo: memFree=24245636/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1420288 CPUtime=162.27 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 392883 0 0 0 13904 2323 0 0 20 0 1 0 268618907 1454374912 344963 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 355072 344963 623 1459 0 353604 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1420288

[startup+222.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/179 2098
/proc/meminfo: memFree=26703556/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1424932 CPUtime=222.26 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 394243 0 0 0 19753 2473 0 0 20 0 1 0 268618907 1459130368 346323 33554432000 4194304 10169799 140735809823024 140735809821816 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 356233 346323 623 1459 0 354765 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1424932

[startup+282.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/180 2139
/proc/meminfo: memFree=26472940/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1425956 CPUtime=282.25 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 394563 0 0 0 25607 2618 0 0 20 0 1 0 268618907 1460178944 347322 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 356489 347322 623 1459 0 355021 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1425956

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 2139
/proc/meminfo: memFree=26372848/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1430692 CPUtime=342.23 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 395807 0 0 0 31468 2755 0 0 20 0 1 0 268618907 1465028608 348812 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 357673 348812 623 1459 0 356205 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1430692

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 2139
/proc/meminfo: memFree=26355260/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1450548 CPUtime=402.23 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 398314 0 0 0 37389 2834 0 0 20 0 1 0 268618907 1485361152 353362 33554432000 4194304 10169799 140735809823024 140735809820552 6124200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 362637 353362 623 1459 0 361169 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1450548

[startup+462.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 2140
/proc/meminfo: memFree=26331368/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1467232 CPUtime=462.21 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 399584 0 0 0 43255 2966 0 0 20 0 1 0 268618907 1502445568 359126 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 366808 359126 623 1459 0 365340 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1467232

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2140
/proc/meminfo: memFree=26321812/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1475244 CPUtime=522.2 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 400058 0 0 0 49166 3054 0 0 20 0 1 0 268618907 1510649856 361478 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 368811 361478 623 1459 0 367343 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1475244

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2140
/proc/meminfo: memFree=26302740/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1489544 CPUtime=582.19 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 401592 0 0 0 55031 3188 0 0 20 0 1 0 268618907 1525293056 366264 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 372386 366264 623 1459 0 370918 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1489544

[startup+642.3 s]

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

/proc/meminfo: memFree=26162548/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1615040 CPUtime=1062.12 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 415331 0 0 0 102256 3956 0 0 20 0 1 0 268618907 1653800960 398606 33554432000 4194304 10169799 140735809823024 140735809820536 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 403760 398606 628 1459 0 402292 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1615040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2145
/proc/meminfo: memFree=26128668/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1647508 CPUtime=1122.1 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 420951 0 0 0 108159 4051 0 0 20 0 1 0 268618907 1687048192 405759 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 411877 405759 628 1459 0 410409 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1647508

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2183
/proc/meminfo: memFree=26393864/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=1684468 CPUtime=1182.09 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 424529 0 0 0 114053 4156 0 0 20 0 1 0 268618907 1724895232 414958 33554432000 4194304 10169799 140735809823024 140735809820536 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 421117 414958 628 1459 0 419649 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1684468

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 2183
/proc/meminfo: memFree=26009516/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2074960 CPUtime=1242.08 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 518377 0 0 0 119979 4229 0 0 20 0 1 0 268618907 2124759040 510850 33554432000 4194304 10169799 140735809823024 140735809821432 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 518740 510850 628 1459 0 517272 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2074960

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2259
/proc/meminfo: memFree=25584000/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2264360 CPUtime=1302.08 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 564220 0 0 0 125876 4332 0 0 20 0 1 0 268618907 2318704640 557204 33554432000 4194304 10169799 140735809823024 140735809820536 6124200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 566090 557204 628 1459 0 564622 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2264360

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2260
/proc/meminfo: memFree=25423296/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2346660 CPUtime=1362.07 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 584877 0 0 0 131849 4358 0 0 20 0 1 0 268618907 2402979840 577861 33554432000 4194304 10169799 140735809823024 140735809820536 6124221 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 586665 577861 628 1459 0 585197 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2346660

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 2260
/proc/meminfo: memFree=25096308/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2624524 CPUtime=1422.06 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 654475 0 0 0 137823 4383 0 0 20 0 1 0 268618907 2687512576 647459 33554432000 4194304 10169799 140735809823024 140735809820536 6124221 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 656131 647459 629 1459 0 654663 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2624524

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 2263
/proc/meminfo: memFree=24761136/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2870364 CPUtime=1482.05 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 712126 0 0 0 143724 4481 0 0 20 0 1 0 268618907 2939252736 709311 33554432000 4194304 10169799 140735809823024 140735809821432 6895394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 717591 709311 629 1459 0 716123 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2870364

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 2285
/proc/meminfo: memFree=24638680/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2980884 CPUtime=1542.03 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 736356 0 0 0 149605 4598 0 0 20 0 1 0 268618907 3052425216 737332 33554432000 4194304 10169799 140735809823024 140735809820552 8918765 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 745221 737332 629 1459 0 743753 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2980884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2285
/proc/meminfo: memFree=24322280/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3299860 CPUtime=1602.01 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 813208 0 0 0 155552 4649 0 0 20 0 1 0 268618907 3379056640 816263 33554432000 4194304 10169799 140735809823024 140735809819496 8920230 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 824965 816263 629 1459 0 823497 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3299860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2286
/proc/meminfo: memFree=23942496/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3681540 CPUtime=1661.99 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 907911 0 0 0 161533 4666 0 0 20 0 1 0 268618907 3769896960 910973 33554432000 4194304 10169799 140735809823024 140735809820552 6124226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 920385 910973 629 1459 0 918917 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 3681540

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 2286
/proc/meminfo: memFree=23887716/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3737268 CPUtime=1721.98 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 919762 0 0 0 167355 4843 0 0 20 0 1 0 268618907 3826962432 924896 33554432000 4194304 10169799 140735809823024 140735809820552 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 934317 924896 629 1459 0 932849 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3737268

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23803160/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3819048 CPUtime=1781.97 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 938267 0 0 0 173294 4903 0 0 20 0 1 0 268618907 3910705152 945468 33554432000 4194304 10169799 140735809823024 140735809820552 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 954762 945468 629 1459 0 953294 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3819048

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23774624/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3847836 CPUtime=1791.58 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 945461 0 0 0 174253 4905 0 0 20 0 1 0 268618907 3940184064 952667 33554432000 4194304 10169799 140735809823024 140735809819288 6124230 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 961959 952667 629 1459 0 960491 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 3847836

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23763332/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3858868 CPUtime=1794.78 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 948147 0 0 0 174572 4906 0 0 20 0 1 0 268618907 3951480832 955353 33554432000 4194304 10169799 140735809823024 140735809820536 6124226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 964717 955353 629 1459 0 963249 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 3858868

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23762960/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3863896 CPUtime=1796.37 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 949304 0 0 0 174730 4907 0 0 20 0 1 0 268618907 3956629504 956510 33554432000 4194304 10169799 140735809823024 140735809820536 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 965974 956510 629 1459 0 964506 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 3863896

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23748328/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3844460 CPUtime=1797.97 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 954232 0 0 0 174890 4907 0 0 20 0 1 0 268618907 3936727040 951632 33554432000 4194304 10169799 140735809823024 140735809822312 5892107 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 961115 951632 644 1459 0 959647 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 3844460

[startup+1798.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23779144/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=3761624 CPUtime=1798.37 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 954232 0 0 0 174928 4909 0 0 20 0 1 0 268618907 3851902976 930923 33554432000 4194304 10169799 140735809823024 140735809822248 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 940406 930923 644 1459 0 938938 0
Current children cumulated CPU time (s) 1798.37
Current children cumulated vsize (KiB) 3761624

[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2287
/proc/meminfo: memFree=23779144/32873844 swapFree=7608/7608
[pid=2057] ppid=2055 vsize=2340128 CPUtime=1798.77 cores=1,3,5,7
/proc/2057/stat : 2057 (scip-2.1.1.4sfi) R 2055 2057 30878 0 -1 4202496 954260 0 0 0 174957 4920 0 0 20 0 1 0 268618907 2396291072 499624 33554432000 4194304 10169799 140735809823024 140735809822248 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2057/statm: 585032 499624 672 1459 0 583564 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 2340128

Child status: 0
Real time (s): 1799.19
CPU time (s): 1798.87
CPU user time (s): 1749.58
CPU system time (s): 49.2915
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 3881888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.58
system time used= 49.2915
maximum resident set size= 3845712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954262
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= 68
involuntary context switches= 1844

runsolver used 3.04254 second user time and 8.47371 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-26 11:35:41
IDJOB=3692844
IDBENCH=1447
IDSOLVER=2272
FILE ID=node135/3692844-1338024941
RUNJOBID= node135-1338017247-31466
PBS_JOBID= 14624262
Free space on /tmp= 71452 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692844-1338024941/watcher-3692844-1338024941 -o /tmp/evaluation-result-3692844-1338024941/solver-3692844-1338024941 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692844-1338024941.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3764cf8f4e2d3654f46ab0ec56ea8581
RANDOM SEED=1909749886

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25642268 kB
Buffers:          245624 kB
Cached:          3736024 kB
SwapCached:            0 kB
Active:          3425092 kB
Inactive:        3019376 kB
Active(anon):    2465300 kB
Inactive(anon):        0 kB
Active(file):     959792 kB
Inactive(file):  3019376 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             30668 kB
Writeback:             0 kB
AnonPages:       2472612 kB
Mapped:            17828 kB
Shmem:               212 kB
Slab:             640080 kB
SReclaimable:      81740 kB
SUnreclaim:       558340 kB
KernelStack:        1464 kB
PageTables:         9052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2715296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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= 71468 MiB
End job on node135 at 2012-05-26 12:05:40