Trace number 3692843

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1796.88 1797.2

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUMb2fe1642a1ae97e0b20cfe37f07bcc49
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 benchmark60.24
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
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-3692843-1338027219.opb>
0.08/0.16	c original problem has 21380 variables (21380 bin, 0 int, 0 impl, 0 cont) and 60984 constraints
0.08/0.16	c problem read in 0.17
0.29/0.38	c presolving:
1.00/1.01	c (round 1) 1318 del vars, 807 del conss, 0 add conss, 265 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
1.10/1.11	c (round 2) 1320 del vars, 3047 del conss, 0 add conss, 267 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113375 impls, 0 clqs
1.10/1.16	c (round 3) 1356 del vars, 3137 del conss, 0 add conss, 303 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.18/1.21	c (round 4) 1360 del vars, 3143 del conss, 0 add conss, 307 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113553 impls, 0 clqs
1.18/1.26	c (round 5) 1366 del vars, 3154 del conss, 0 add conss, 313 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113567 impls, 0 clqs
1.29/1.31	c (round 6) 1370 del vars, 3168 del conss, 0 add conss, 317 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113603 impls, 0 clqs
1.29/1.36	c (round 7) 1374 del vars, 3178 del conss, 0 add conss, 321 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113631 impls, 0 clqs
1.39/1.41	c (round 8) 1378 del vars, 3188 del conss, 0 add conss, 325 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113663 impls, 0 clqs
1.39/1.46	c (round 9) 1382 del vars, 3198 del conss, 0 add conss, 329 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113699 impls, 0 clqs
1.49/1.51	c (round 10) 1386 del vars, 3208 del conss, 0 add conss, 333 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113739 impls, 0 clqs
1.49/1.56	c (round 11) 1390 del vars, 3218 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113783 impls, 0 clqs
1.59/1.61	c (round 12) 1390 del vars, 3226 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 0 upgd conss, 1113823 impls, 0 clqs
1.89/1.96	c (round 13) 1390 del vars, 3235 del conss, 0 add conss, 337 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1113823 impls, 0 clqs
2.49/2.57	c (round 14) 5398 del vars, 58688 del conss, 18482 add conss, 585 chg bounds, 1078 chg sides, 2254 chg coeffs, 57764 upgd conss, 1134222 impls, 0 clqs
2.69/2.71	c (round 15) 7098 del vars, 60616 del conss, 18482 add conss, 585 chg bounds, 1078 chg sides, 4048 chg coeffs, 58157 upgd conss, 1182858 impls, 0 clqs
2.79/2.85	c (round 16) 7371 del vars, 61668 del conss, 19529 add conss, 585 chg bounds, 1078 chg sides, 4050 chg coeffs, 58157 upgd conss, 1262367 impls, 0 clqs
2.89/2.90	c (round 17) 7376 del vars, 61811 del conss, 19529 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1262367 impls, 1012 clqs
2.89/2.98	c (round 18) 7379 del vars, 62093 del conss, 19798 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1266651 impls, 1013 clqs
3.19/3.26	c (round 19) 7582 del vars, 62396 del conss, 19801 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1311123 impls, 1014 clqs
3.48/3.50	c (round 20) 7584 del vars, 62399 del conss, 19802 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1311151 impls, 1014 clqs
3.48/3.58	c (round 21) 7612 del vars, 62403 del conss, 19804 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1320219 impls, 1014 clqs
3.59/3.65	c (round 22) 7614 del vars, 62443 del conss, 19844 add conss, 585 chg bounds, 1078 chg sides, 4052 chg coeffs, 58395 upgd conss, 1320219 impls, 1016 clqs
3.59/3.70	c (round 23) 7616 del vars, 62445 del conss, 19844 add conss, 585 chg bounds, 1078 chg sides, 4054 chg coeffs, 58395 upgd conss, 1320341 impls, 1027 clqs
3.89/3.96	c (round 24) 7748 del vars, 62445 del conss, 19844 add conss, 628 chg bounds, 1078 chg sides, 4054 chg coeffs, 58395 upgd conss, 1327350 impls, 1027 clqs
3.98/4.02	c (round 25) 7814 del vars, 62512 del conss, 19844 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331264 impls, 1027 clqs
3.98/4.09	c (round 26) 7819 del vars, 62516 del conss, 19848 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331608 impls, 1027 clqs
4.29/4.31	c (round 27) 7819 del vars, 62521 del conss, 19853 add conss, 628 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1331608 impls, 1028 clqs
4.49/4.58	c (round 28) 7850 del vars, 62521 del conss, 19853 add conss, 643 chg bounds, 1078 chg sides, 4120 chg coeffs, 58473 upgd conss, 1339669 impls, 1028 clqs
4.58/4.63	c (round 29) 7868 del vars, 62540 del conss, 19853 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1340385 impls, 1028 clqs
4.69/4.70	c (round 30) 7873 del vars, 62545 del conss, 19858 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1341771 impls, 1028 clqs
4.89/4.92	c (round 31) 7873 del vars, 62550 del conss, 19863 add conss, 643 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1341771 impls, 1029 clqs
5.40/5.40	c (round 32) 7998 del vars, 62550 del conss, 19863 add conss, 649 chg bounds, 1078 chg sides, 4138 chg coeffs, 58491 upgd conss, 1646318 impls, 1029 clqs
5.40/5.45	c (round 33) 8036 del vars, 62596 del conss, 19863 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1646834 impls, 1029 clqs
5.49/5.55	c (round 34) 8046 del vars, 62671 del conss, 19937 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1659004 impls, 1029 clqs
5.69/5.78	c (round 35) 8046 del vars, 62681 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 1659004 impls, 1093 clqs
6.28/6.35	c (round 36) 8176 del vars, 62681 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4176 chg coeffs, 58491 upgd conss, 2016630 impls, 1094 clqs
6.28/6.39	c (round 37) 8208 del vars, 62718 del conss, 19947 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017090 impls, 1094 clqs
6.39/6.46	c (round 38) 8210 del vars, 62751 del conss, 19980 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017094 impls, 1094 clqs
6.59/6.69	c (round 39) 8210 del vars, 62753 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2017094 impls, 1125 clqs
7.39/7.47	c (round 40) 8263 del vars, 62753 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4208 chg coeffs, 58491 upgd conss, 2432230 impls, 1125 clqs
7.49/7.51	c (round 41) 8277 del vars, 62769 del conss, 19982 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432388 impls, 1125 clqs
7.49/7.58	c (round 42) 8280 del vars, 62823 del conss, 20036 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432562 impls, 1125 clqs
7.78/7.81	c (round 43) 8280 del vars, 62826 del conss, 20039 add conss, 649 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 2432562 impls, 1178 clqs
8.80/8.87	c (round 44) 8306 del vars, 62826 del conss, 20039 add conss, 653 chg bounds, 1078 chg sides, 4222 chg coeffs, 58491 upgd conss, 3110514 impls, 1171 clqs
8.88/8.94	c (round 45) 8342 del vars, 62867 del conss, 20039 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3118800 impls, 1171 clqs
9.09/9.11	c (round 46) 8427 del vars, 62872 del conss, 20044 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3128708 impls, 1171 clqs
9.09/9.19	c (round 47) 8433 del vars, 62999 del conss, 20171 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3129108 impls, 1174 clqs
9.39/9.42	c (round 48) 8433 del vars, 63005 del conss, 20177 add conss, 653 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3129108 impls, 1217 clqs
9.69/9.73	c (round 49) 8631 del vars, 63005 del conss, 20177 add conss, 701 chg bounds, 1078 chg sides, 4251 chg coeffs, 58501 upgd conss, 3132100 impls, 1155 clqs
9.90/9.98	c (round 50) 8765 del vars, 63161 del conss, 20177 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3315200 impls, 1155 clqs
9.99/10.06	c (round 51) 8791 del vars, 63162 del conss, 20178 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3316366 impls, 1155 clqs
10.19/10.29	c (round 52) 8791 del vars, 63188 del conss, 20204 add conss, 701 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3316366 impls, 1155 clqs
10.59/10.69	c (round 53) 8863 del vars, 63188 del conss, 20204 add conss, 729 chg bounds, 1078 chg sides, 4323 chg coeffs, 58633 upgd conss, 3330591 impls, 1153 clqs
10.79/10.80	c (round 54) 8905 del vars, 63241 del conss, 20204 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3342381 impls, 1153 clqs
10.90/10.93	c (round 55) 8918 del vars, 63264 del conss, 20219 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3373925 impls, 1153 clqs
11.18/11.27	c (round 56) 8962 del vars, 63327 del conss, 20232 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3397739 impls, 1157 clqs
11.39/11.49	c (round 57) 8962 del vars, 63353 del conss, 20250 add conss, 729 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3397739 impls, 1157 clqs
11.99/12.01	c (round 58) 9140 del vars, 63353 del conss, 20250 add conss, 746 chg bounds, 1078 chg sides, 4364 chg coeffs, 58667 upgd conss, 3405899 impls, 1171 clqs
12.29/12.32	c (round 59) 9258 del vars, 63511 del conss, 20250 add conss, 746 chg bounds, 1078 chg sides, 4480 chg coeffs, 58757 upgd conss, 3460181 impls, 1171 clqs
12.39/12.46	c (round 60) 9296 del vars, 63579 del conss, 20262 add conss, 746 chg bounds, 1078 chg sides, 4491 chg coeffs, 58757 upgd conss, 3467568 impls, 1164 clqs
12.49/12.55	c (round 61) 9415 del vars, 63632 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4513 chg coeffs, 58781 upgd conss, 3493222 impls, 1153 clqs
12.59/12.60	c (round 62) 9466 del vars, 63654 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4524 chg coeffs, 58821 upgd conss, 3497838 impls, 1145 clqs
12.59/12.66	c (round 63) 9491 del vars, 63679 del conss, 20262 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3505280 impls, 1146 clqs
12.69/12.74	c (round 64) 9497 del vars, 63704 del conss, 20278 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3510470 impls, 1146 clqs
13.09/13.13	c (round 65) 9584 del vars, 63802 del conss, 20284 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1146 clqs
13.29/13.36	c (round 66) 9584 del vars, 63860 del conss, 20340 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1146 clqs
13.49/13.57	c (round 67) 9584 del vars, 63865 del conss, 20340 add conss, 756 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3544114 impls, 1201 clqs
13.89/13.93	c (round 68) 9715 del vars, 63866 del conss, 20340 add conss, 793 chg bounds, 1078 chg sides, 4541 chg coeffs, 58821 upgd conss, 3550746 impls, 1157 clqs
13.99/14.01	c (round 69) 9779 del vars, 63953 del conss, 20340 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58951 upgd conss, 3569250 impls, 1157 clqs
14.09/14.10	c (round 70) 9795 del vars, 63963 del conss, 20342 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58951 upgd conss, 3578569 impls, 1158 clqs
14.09/14.16	c (round 71) 9799 del vars, 63982 del conss, 20358 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3580735 impls, 1159 clqs
14.39/14.40	c (round 72) 9811 del vars, 63995 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3584953 impls, 1159 clqs
14.79/14.83	c (round 73) 9836 del vars, 63995 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4573 chg coeffs, 58957 upgd conss, 3621067 impls, 1154 clqs
14.79/14.87	c (round 74) 9840 del vars, 64013 del conss, 20359 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58963 upgd conss, 3621067 impls, 1154 clqs
14.88/14.94	c (round 75) 9848 del vars, 64025 del conss, 20363 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3625277 impls, 1154 clqs
15.09/15.16	c (round 76) 9854 del vars, 64040 del conss, 20371 add conss, 793 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3626551 impls, 1157 clqs
15.78/15.87	c (round 77) 9901 del vars, 64040 del conss, 20371 add conss, 806 chg bounds, 1078 chg sides, 4577 chg coeffs, 58968 upgd conss, 3748636 impls, 1150 clqs
15.89/15.94	c (round 78) 9927 del vars, 64072 del conss, 20371 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3754966 impls, 1150 clqs
15.98/16.03	c (round 79) 9938 del vars, 64093 del conss, 20385 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3769636 impls, 1150 clqs
15.98/16.09	c (round 80) 9939 del vars, 64104 del conss, 20396 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1160 clqs
16.29/16.31	c (round 81) 9939 del vars, 64105 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1161 clqs
16.50/16.53	c (round 82) 9939 del vars, 64111 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3773440 impls, 1161 clqs
16.79/16.86	c (round 83) 9968 del vars, 64111 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4603 chg coeffs, 59000 upgd conss, 3790607 impls, 1159 clqs
16.89/16.90	c (round 84) 9990 del vars, 64144 del conss, 20397 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 3790675 impls, 1159 clqs
17.09/17.11	c (round 85) 9990 del vars, 64150 del conss, 20401 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 3790675 impls, 1159 clqs
17.99/18.05	c (round 86) 10016 del vars, 64150 del conss, 20401 add conss, 806 chg bounds, 1078 chg sides, 4625 chg coeffs, 59016 upgd conss, 4116918 impls, 1152 clqs
17.99/18.09	c (round 87) 10020 del vars, 64158 del conss, 20401 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4116918 impls, 1152 clqs
18.08/18.15	c (round 88) 10027 del vars, 64195 del conss, 20434 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4118090 impls, 1152 clqs
18.29/18.37	c (round 89) 10027 del vars, 64203 del conss, 20441 add conss, 806 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4118090 impls, 1179 clqs
18.70/18.75	c (round 90) 10056 del vars, 64203 del conss, 20441 add conss, 808 chg bounds, 1079 chg sides, 4630 chg coeffs, 59016 upgd conss, 4142816 impls, 1178 clqs
18.70/18.79	c (round 91) 10076 del vars, 64235 del conss, 20441 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59016 upgd conss, 4142968 impls, 1178 clqs
18.79/18.87	c (round 92) 10080 del vars, 64242 del conss, 20445 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4154162 impls, 1178 clqs
18.99/19.08	c (round 93) 10080 del vars, 64249 del conss, 20449 add conss, 808 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4154162 impls, 1178 clqs
19.59/19.61	c (round 94) 10121 del vars, 64249 del conss, 20449 add conss, 809 chg bounds, 1079 chg sides, 4650 chg coeffs, 59018 upgd conss, 4276580 impls, 1174 clqs
19.59/19.65	c (round 95) 10151 del vars, 64292 del conss, 20449 add conss, 809 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4276964 impls, 1174 clqs
19.79/19.87	c (round 96) 10151 del vars, 64300 del conss, 20451 add conss, 809 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4276964 impls, 1174 clqs
20.39/20.44	c (round 97) 10233 del vars, 64300 del conss, 20451 add conss, 823 chg bounds, 1079 chg sides, 4680 chg coeffs, 59020 upgd conss, 4356477 impls, 1159 clqs
20.48/20.59	c (round 98) 10286 del vars, 64361 del conss, 20451 add conss, 824 chg bounds, 1079 chg sides, 4725 chg coeffs, 59052 upgd conss, 4399678 impls, 1159 clqs
20.59/20.64	c (round 99) 10288 del vars, 64369 del conss, 20451 add conss, 824 chg bounds, 1079 chg sides, 4726 chg coeffs, 59086 upgd conss, 4400154 impls, 1159 clqs
20.69/20.77	c (round 100) 10309 del vars, 64385 del conss, 20463 add conss, 824 chg bounds, 1079 chg sides, 4728 chg coeffs, 59086 upgd conss, 4412740 impls, 1157 clqs
20.79/20.81	c (round 101) 10315 del vars, 64390 del conss, 20463 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4413698 impls, 1163 clqs
20.89/20.91	c (round 102) 10323 del vars, 64441 del conss, 20479 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4425454 impls, 1163 clqs
21.29/21.31	c (round 103) 10396 del vars, 64529 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
21.49/21.52	c (round 104) 10396 del vars, 64536 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
21.68/21.73	c (round 105) 10396 del vars, 64540 del conss, 20487 add conss, 824 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4473370 impls, 1163 clqs
22.00/22.09	c (round 106) 10438 del vars, 64540 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4731 chg coeffs, 59088 upgd conss, 4482608 impls, 1158 clqs
22.29/22.30	c (round 107) 10525 del vars, 64626 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4804 chg coeffs, 59198 upgd conss, 4506154 impls, 1154 clqs
22.29/22.36	c (round 108) 10667 del vars, 64668 del conss, 20487 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4529916 impls, 1130 clqs
22.38/22.46	c (round 109) 10690 del vars, 64683 del conss, 20498 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4543268 impls, 1126 clqs
22.49/22.52	c (round 110) 10692 del vars, 64732 del conss, 20513 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4543268 impls, 1133 clqs
22.78/22.82	c (round 111) 10724 del vars, 64767 del conss, 20515 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1133 clqs
22.99/23.03	c (round 112) 10724 del vars, 64773 del conss, 20521 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1133 clqs
23.19/23.25	c (round 113) 10724 del vars, 64777 del conss, 20521 add conss, 830 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4564598 impls, 1138 clqs
23.69/23.72	c (round 114) 10759 del vars, 64778 del conss, 20521 add conss, 831 chg bounds, 1079 chg sides, 4812 chg coeffs, 59206 upgd conss, 4609878 impls, 1128 clqs
23.69/23.76	c (round 115) 10776 del vars, 64811 del conss, 20521 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59206 upgd conss, 4611734 impls, 1128 clqs
23.78/23.84	c (round 116) 10786 del vars, 64822 del conss, 20526 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59210 upgd conss, 4617148 impls, 1128 clqs
23.98/24.07	c (round 117) 10795 del vars, 64841 del conss, 20536 add conss, 831 chg bounds, 1079 chg sides, 4825 chg coeffs, 59214 upgd conss, 4620662 impls, 1131 clqs
24.49/24.52	c (round 118) 10830 del vars, 64842 del conss, 20536 add conss, 841 chg bounds, 1079 chg sides, 4825 chg coeffs, 59214 upgd conss, 4705433 impls, 1129 clqs
24.59/24.60	c (round 119) 10855 del vars, 64875 del conss, 20536 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4721429 impls, 1129 clqs
24.69/24.70	c (round 120) 10862 del vars, 64947 del conss, 20594 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4744311 impls, 1129 clqs
24.69/24.76	c (round 121) 10863 del vars, 64962 del conss, 20601 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4744311 impls, 1184 clqs
25.09/25.13	c (round 122) 10897 del vars, 65002 del conss, 20602 add conss, 841 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4773755 impls, 1185 clqs
25.39/25.43	c (round 123) 10929 del vars, 65003 del conss, 20602 add conss, 842 chg bounds, 1079 chg sides, 4849 chg coeffs, 59231 upgd conss, 4807110 impls, 1183 clqs
25.39/25.46	c (round 124) 10945 del vars, 65026 del conss, 20602 add conss, 842 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4807326 impls, 1183 clqs
25.59/25.67	c (round 125) 10945 del vars, 65027 del conss, 20603 add conss, 842 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4807326 impls, 1183 clqs
26.08/26.10	c (round 126) 10997 del vars, 65027 del conss, 20603 add conss, 855 chg bounds, 1079 chg sides, 4865 chg coeffs, 59233 upgd conss, 4902176 impls, 1176 clqs
26.19/26.21	c (round 127) 11035 del vars, 65077 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4899 chg coeffs, 59273 upgd conss, 4923096 impls, 1176 clqs
26.29/26.30	c (round 128) 11102 del vars, 65111 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4919 chg coeffs, 59327 upgd conss, 4935583 impls, 1158 clqs
26.29/26.36	c (round 129) 11173 del vars, 65143 del conss, 20603 add conss, 856 chg bounds, 1079 chg sides, 4923 chg coeffs, 59327 upgd conss, 4953889 impls, 1146 clqs
26.48/26.57	c (round 130) 11191 del vars, 65171 del conss, 20625 add conss, 856 chg bounds, 1079 chg sides, 4925 chg coeffs, 59327 upgd conss, 5078197 impls, 1145 clqs
26.58/26.62	c (round 131) 11198 del vars, 65174 del conss, 20625 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5079481 impls, 1155 clqs
26.58/26.68	c (round 132) 11203 del vars, 65239 del conss, 20644 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5079637 impls, 1156 clqs
27.08/27.19	c (round 133) 11271 del vars, 65318 del conss, 20649 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1162 clqs
27.28/27.40	c (round 134) 11271 del vars, 65347 del conss, 20677 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1162 clqs
27.58/27.61	c (round 135) 11271 del vars, 65356 del conss, 20677 add conss, 856 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5145693 impls, 1189 clqs
29.19/29.28	c (round 136) 11296 del vars, 65356 del conss, 20677 add conss, 863 chg bounds, 1079 chg sides, 4927 chg coeffs, 59331 upgd conss, 5798693 impls, 1180 clqs
29.28/29.32	c (round 137) 11314 del vars, 65382 del conss, 20677 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5801625 impls, 1180 clqs
29.59/29.63	c (round 138) 11480 del vars, 65487 del conss, 20776 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844275 impls, 1180 clqs
29.59/29.69	c (round 139) 11495 del vars, 65663 del conss, 20952 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1272 clqs
29.69/29.75	c (round 140) 11499 del vars, 65678 del conss, 20967 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
29.79/29.80	c (round 141) 11501 del vars, 65682 del conss, 20971 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
29.98/30.01	c (round 142) 11501 del vars, 65684 del conss, 20973 add conss, 863 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 5844651 impls, 1283 clqs
31.59/31.64	c (round 143) 11527 del vars, 65684 del conss, 20973 add conss, 868 chg bounds, 1079 chg sides, 4940 chg coeffs, 59331 upgd conss, 6485864 impls, 1280 clqs
31.59/31.69	c (round 144) 11531 del vars, 65694 del conss, 20973 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6486224 impls, 1280 clqs
31.79/31.90	c (round 145) 11603 del vars, 65900 del conss, 21172 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6505802 impls, 1280 clqs
31.89/31.96	c (round 146) 11610 del vars, 65974 del conss, 21244 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6508604 impls, 1460 clqs
32.08/32.16	c (round 147) 11610 del vars, 65982 del conss, 21251 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 6508604 impls, 1461 clqs
34.49/34.51	c (round 148) 11635 del vars, 65982 del conss, 21251 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7092454 impls, 1459 clqs
34.58/34.62	c (round 149) 11658 del vars, 66082 del conss, 21349 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7097480 impls, 1459 clqs
34.78/34.83	c (round 150) 11658 del vars, 66105 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7097480 impls, 1554 clqs
35.28/35.36	c (round 151) 11683 del vars, 66105 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7119806 impls, 1539 clqs
35.48/35.58	c (round 152) 11683 del vars, 66121 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7119806 impls, 1539 clqs
36.99/37.07	c (round 153) 11713 del vars, 66121 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4941 chg coeffs, 59331 upgd conss, 7313802 impls, 1538 clqs
37.09/37.11	c (round 154) 11728 del vars, 66143 del conss, 21372 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7314058 impls, 1538 clqs
37.09/37.17	c (round 155) 11740 del vars, 66173 del conss, 21399 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7315506 impls, 1538 clqs
37.29/37.38	c (round 156) 11740 del vars, 66185 del conss, 21411 add conss, 868 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7315506 impls, 1561 clqs
38.28/38.30	c    (38.3s) probing: 1000/19990 (5.0%) - 5348 fixings, 343 aggregations, 790924 implications, 519 bound changes
40.59/40.62	c (round 157) 11766 del vars, 66185 del conss, 21411 add conss, 869 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7946767 impls, 1560 clqs
40.78/40.84	c (round 158) 11809 del vars, 66383 del conss, 21608 add conss, 869 chg bounds, 1079 chg sides, 4955 chg coeffs, 59331 upgd conss, 7961165 impls, 1560 clqs
40.88/40.94	c (round 159) 11818 del vars, 66429 del conss, 21651 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 7969487 impls, 1733 clqs
41.09/41.19	c (round 160) 11832 del vars, 66454 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 7972941 impls, 1735 clqs
43.18/43.23	c (round 161) 11860 del vars, 66455 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4956 chg coeffs, 59331 upgd conss, 8162011 impls, 1734 clqs
43.28/43.30	c (round 162) 11875 del vars, 66474 del conss, 21662 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8162697 impls, 1733 clqs
43.38/43.42	c (round 163) 11894 del vars, 66609 del conss, 21792 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8178165 impls, 1733 clqs
43.58/43.63	c (round 164) 11894 del vars, 66629 del conss, 21811 add conss, 869 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8178165 impls, 1847 clqs
46.09/46.12	c (round 165) 11920 del vars, 66629 del conss, 21811 add conss, 873 chg bounds, 1079 chg sides, 4968 chg coeffs, 59331 upgd conss, 8511845 impls, 1842 clqs
46.09/46.17	c (round 166) 11930 del vars, 66650 del conss, 21811 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8513233 impls, 1842 clqs
46.28/46.34	c (round 167) 11961 del vars, 66807 del conss, 21968 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8532949 impls, 1842 clqs
46.48/46.55	c (round 168) 11961 del vars, 66838 del conss, 21999 add conss, 873 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8532949 impls, 1982 clqs
47.38/47.47	c    (47.5s) probing: 2000/19990 (10.0%) - 5372 fixings, 408 aggregations, 1050464 implications, 524 bound changes
50.48/50.53	c (round 169) 11986 del vars, 66838 del conss, 21999 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8980426 impls, 1966 clqs
50.59/50.63	c (round 170) 12001 del vars, 67029 del conss, 22184 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8986100 impls, 1966 clqs
50.78/50.84	c (round 171) 12001 del vars, 67055 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 8986100 impls, 2136 clqs
54.08/54.16	c (round 172) 12027 del vars, 67055 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4972 chg coeffs, 59331 upgd conss, 9261240 impls, 2123 clqs
54.18/54.20	c (round 173) 12028 del vars, 67062 del conss, 22196 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9261246 impls, 2123 clqs
54.28/54.37	c (round 174) 12044 del vars, 67145 del conss, 22265 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9268983 impls, 2123 clqs
54.48/54.58	c (round 175) 12044 del vars, 67161 del conss, 22280 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9268983 impls, 2189 clqs
55.68/55.75	c (round 176) 12071 del vars, 67162 del conss, 22280 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9312211 impls, 2172 clqs
55.78/55.82	c (round 177) 12073 del vars, 67199 del conss, 22299 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9314147 impls, 2172 clqs
55.99/56.03	c (round 178) 12073 del vars, 67205 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9314147 impls, 2186 clqs
57.18/57.25	c    (57.2s) probing: 3000/19990 (15.0%) - 5382 fixings, 485 aggregations, 1322681 implications, 527 bound changes
57.38/57.45	c (round 179) 12099 del vars, 67205 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4973 chg coeffs, 59331 upgd conss, 9406955 impls, 2173 clqs
57.38/57.48	c (round 180) 12100 del vars, 67211 del conss, 22301 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9406957 impls, 2173 clqs
57.48/57.56	c (round 181) 12104 del vars, 67241 del conss, 22317 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9408695 impls, 2173 clqs
57.68/57.77	c (round 182) 12104 del vars, 67245 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9408695 impls, 2185 clqs
60.68/60.73	c (round 183) 12129 del vars, 67245 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4974 chg coeffs, 59331 upgd conss, 9582077 impls, 2169 clqs
60.78/60.80	c (round 184) 12131 del vars, 67250 del conss, 22321 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9582081 impls, 2169 clqs
60.88/60.90	c (round 185) 12143 del vars, 67306 del conss, 22361 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9588215 impls, 2169 clqs
61.08/61.11	c (round 186) 12143 del vars, 67330 del conss, 22373 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9588215 impls, 2194 clqs
62.08/62.15	c (round 187) 12168 del vars, 67330 del conss, 22373 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9606869 impls, 2170 clqs
62.18/62.24	c (round 188) 12174 del vars, 67384 del conss, 22403 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9609119 impls, 2170 clqs
62.38/62.44	c (round 189) 12174 del vars, 67408 del conss, 22409 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9609119 impls, 2182 clqs
64.28/64.34	c    (64.3s) probing: 3788/19990 (18.9%) - 5396 fixings, 544 aggregations, 1439521 implications, 527 bound changes
64.28/64.34	c    (64.3s) probing aborted: 50/50 successive totally useless probings
64.28/64.34	c (round 190) 12190 del vars, 67408 del conss, 22409 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9683445 impls, 2166 clqs
64.38/64.43	c (round 191) 12194 del vars, 67463 del conss, 22448 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9686367 impls, 2166 clqs
64.58/64.63	c (round 192) 12194 del vars, 67479 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9686367 impls, 2193 clqs
65.58/65.64	c    (65.6s) probing: 3972/19990 (19.9%) - 5403 fixings, 544 aggregations, 1449358 implications, 527 bound changes
65.58/65.64	c    (65.6s) probing aborted: 50/50 successive totally useless probings
65.58/65.64	c (round 193) 12201 del vars, 67479 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4975 chg coeffs, 59331 upgd conss, 9710115 impls, 2192 clqs
65.58/65.69	c (round 194) 12203 del vars, 67488 del conss, 22452 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59331 upgd conss, 9710123 impls, 2191 clqs
65.78/65.80	c (round 195) 12206 del vars, 67495 del conss, 22453 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59331 upgd conss, 9710203 impls, 2188 clqs
65.98/66.04	c (round 196) 12212 del vars, 67501 del conss, 22454 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59335 upgd conss, 9710383 impls, 2187 clqs
66.17/66.24	c (round 197) 12212 del vars, 67507 del conss, 22455 add conss, 876 chg bounds, 1079 chg sides, 4976 chg coeffs, 59335 upgd conss, 9710383 impls, 2187 clqs
66.38/66.47	c    (66.5s) probing: 3977/19990 (19.9%) - 5403 fixings, 544 aggregations, 1449358 implications, 527 bound changes
66.38/66.47	c    (66.5s) probing aborted: 50/50 successive totally useless probings
66.38/66.49	c presolving (198 rounds):
66.38/66.49	c  12212 deleted vars, 67507 deleted constraints, 22455 added constraints, 876 tightened bounds, 0 added holes, 1079 changed sides, 4976 changed coefficients
66.38/66.49	c  9710383 implications, 2187 cliques
66.38/66.49	c presolved problem has 9168 variables (9168 bin, 0 int, 0 impl, 0 cont) and 11170 constraints
66.38/66.49	c    2155 constraints of type <knapsack>
66.38/66.49	c    3480 constraints of type <setppc>
66.38/66.49	c    5535 constraints of type <and>
66.38/66.49	c transformed objective value is always integral (scale: 1)
66.38/66.49	c Presolving Time: 66.26
66.38/66.49	c - non default parameters ----------------------------------------------------------------------
66.38/66.49	c # SCIP version 2.1.1.4
66.38/66.49	c 
66.38/66.49	c # maximal time in seconds to run
66.38/66.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
66.38/66.49	c limits/time = 1797
66.38/66.49	c 
66.38/66.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
66.38/66.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
66.38/66.49	c limits/memory = 13950
66.38/66.49	c 
66.38/66.49	c # default clock type (1: CPU user seconds, 2: wall clock time)
66.38/66.49	c # [type: int, range: [1,2], default: 1]
66.38/66.49	c timing/clocktype = 2
66.38/66.49	c 
66.38/66.49	c # belongs reading time to solving time?
66.38/66.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
66.38/66.49	c timing/reading = TRUE
66.38/66.49	c 
66.38/66.49	c -----------------------------------------------------------------------------------------------
66.38/66.49	c start solving
66.48/66.50	c 
66.99/67.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.99/67.06	c  67.1s|     1 |     0 |  2104 |     - | 245M|   0 |1547 |9168 |  11k|9168 |  16k|   0 |  87 |   0 | 0.000000e+00 |      --      |    Inf 
91.37/91.49	c  91.5s|     1 |     0 | 14809 |     - | 248M|   0 |2271 |9168 |  11k|9168 |  18k|2000 | 106 |   0 | 0.000000e+00 |      --      |    Inf 
92.78/92.89	c  92.9s|     1 |     0 | 18271 |     - | 250M|   0 |3060 |9168 |  11k|9168 |  20k|4000 | 106 |   0 | 0.000000e+00 |      --      |    Inf 
95.58/95.66	c  95.7s|     1 |     0 | 23003 |     - | 251M|   0 |3563 |9168 |  11k|9168 |  22k|6000 | 106 |   0 | 0.000000e+00 |      --      |    Inf 
98.57/98.68	c  98.7s|     1 |     0 | 27880 |     - | 253M|   0 |3938 |9168 |  11k|9168 |  24k|8000 | 106 |   0 | 0.000000e+00 |      --      |    Inf 
101.37/101.45	c   101s|     1 |     0 | 31739 |     - | 255M|   0 |4121 |9168 |  11k|9168 |  26k|  10k| 106 |   0 | 0.000000e+00 |      --      |    Inf 
103.87/103.92	c   104s|     1 |     0 | 35436 |     - | 256M|   0 |4031 |9168 |  11k|9168 |  28k|  12k| 106 |   0 | 0.000000e+00 |      --      |    Inf 
113.87/113.90	c   114s|     1 |     2 | 35436 |     - | 256M|   0 |4031 |9168 |  11k|9168 |  28k|  12k| 106 |  18 | 0.000000e+00 |      --      |    Inf 
385.61/385.76	c   386s|   100 |    90 |269032 |2359.6 | 258M|  46 |1436 |9168 |  11k|9168 |  21k|  16k| 579 | 363 | 0.000000e+00 |      --      |    Inf 
415.61/415.79	c   416s|   200 |   176 |294898 |1303.8 | 259M|  73 | 771 |9168 |  12k|9168 |  21k|  16k| 845 | 410 | 0.000000e+00 |      --      |    Inf 
425.70/425.81	c   426s|   300 |   174 |303925 | 898.0 | 260M|  90 |1038 |9168 |  12k|9168 |  21k|  16k|1009 | 474 | 0.000000e+00 |      --      |    Inf 
485.19/485.34	c   485s|   400 |   210 |364931 | 825.8 | 260M|  90 |   - |9168 |  12k|   0 |   0 |  19k|1107 | 639 | 0.000000e+00 |      --      |    Inf 
497.29/497.41	c   497s|   500 |   214 |377725 | 685.9 | 260M|  90 |1030 |9168 |  12k|9168 |  21k|  20k|1221 | 735 | 0.000000e+00 |      --      |    Inf 
508.59/508.70	c   509s|   600 |   223 |390793 | 593.3 | 261M|  90 |1244 |9168 |  12k|9168 |  21k|  20k|1457 | 808 | 0.000000e+00 |      --      |    Inf 
520.79/520.93	c   521s|   700 |   211 |403133 | 526.0 | 261M|  90 |1225 |9168 |  12k|9168 |  21k|  21k|1677 | 887 | 0.000000e+00 |      --      |    Inf 
533.59/533.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
533.59/533.77	c   534s|   800 |   221 |416248 | 476.6 | 261M|  90 |1401 |9168 |  12k|9168 |  21k|  21k|1867 | 950 | 0.000000e+00 |      --      |    Inf 
542.39/542.52	c   543s|   900 |   225 |424394 | 432.7 | 261M|  90 |1459 |9168 |  12k|9168 |  21k|  21k|1955 | 996 | 0.000000e+00 |      --      |    Inf 
555.18/555.31	c   555s|  1000 |   225 |436427 | 401.4 | 261M|  90 |   - |9168 |  12k|   0 |   0 |  21k|2052 |1086 | 0.000000e+00 |      --      |    Inf 
564.68/564.82	c   565s|  1100 |   220 |445619 | 373.2 | 261M|  90 |1220 |9168 |  12k|9168 |  21k|  22k|2199 |1131 | 0.000000e+00 |      --      |    Inf 
574.97/575.13	c   575s|  1200 |   210 |455625 | 350.4 | 261M|  90 |1434 |9168 |  12k|9168 |  21k|  22k|2347 |1191 | 0.000000e+00 |      --      |    Inf 
589.57/589.79	c   590s|  1300 |   112 |471194 | 335.5 | 260M|  90 |1333 |9168 |  12k|9168 |  21k|  23k|2422 |1257 | 0.000000e+00 |      --      |    Inf 
604.47/604.64	c   605s|  1400 |   104 |486063 | 322.1 | 260M|  90 |   - |9168 |  12k|   0 |   0 |  23k|2548 |1317 | 0.000000e+00 |      --      |    Inf 
636.36/636.52	c   637s|  1500 |   134 |518805 | 322.5 | 260M|  90 |1538 |9168 |  12k|9168 |  21k|  24k|2803 |1363 | 0.000000e+00 |      --      |    Inf 
661.66/661.86	c   662s|  1600 |   116 |544437 | 318.3 | 260M|  90 |1422 |9168 |  12k|9168 |  21k|  25k|3046 |1443 | 0.000000e+00 |      --      |    Inf 
680.95/681.16	c   681s|  1700 |    93 |565125 | 311.8 | 260M|  90 |1611 |9168 |  12k|9168 |  21k|  26k|3116 |1548 | 0.000000e+00 |      --      |    Inf 
699.46/699.67	c   700s|  1800 |   150 |582786 | 304.3 | 260M|  90 | 979 |9168 |  12k|9168 |  21k|  26k|3309 |1608 | 0.000000e+00 |      --      |    Inf 
710.95/711.14	c   711s|  1900 |   134 |593164 | 293.7 | 260M|  90 |1231 |9168 |  13k|9168 |  21k|  27k|3395 |1654 | 0.000000e+00 |      --      |    Inf 
717.55/717.76	c   718s|  2000 |   120 |598912 | 281.9 | 260M|  90 |   - |9168 |  13k|   0 |   0 |  27k|3539 |1685 | 0.000000e+00 |      --      |    Inf 
733.14/733.37	c   733s|  2100 |   125 |616057 | 276.6 | 260M|  90 |1520 |9168 |  13k|9168 |  21k|  28k|3641 |1762 | 0.000000e+00 |      --      |    Inf 
748.14/748.36	c   748s|  2200 |   117 |629550 | 270.2 | 260M|  90 |   - |9168 |  13k|   0 |   0 |  28k|3721 |1837 | 0.000000e+00 |      --      |    Inf 
760.14/760.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
760.14/760.39	c   760s|  2300 |   121 |641861 | 263.8 | 260M|  90 |1235 |9168 |  13k|9168 |  21k|  29k|3803 |1887 | 0.000000e+00 |      --      |    Inf 
776.95/777.15	c   777s|  2400 |   100 |658894 | 259.9 | 260M|  90 |1142 |9168 |  13k|9168 |  21k|  29k|3859 |1982 | 0.000000e+00 |      --      |    Inf 
787.64/787.80	c   788s|  2500 |   135 |677197 | 256.8 | 260M|  90 |1051 |9168 |  13k|9168 |  21k|  30k|3932 |2011 | 0.000000e+00 |      --      |    Inf 
796.44/796.65	c   797s|  2600 |   185 |689589 | 251.7 | 261M|  90 | 933 |9168 |  13k|9168 |  21k|  30k|3997 |2056 | 0.000000e+00 |      --      |    Inf 
832.94/833.17	c   833s|  2700 |   164 |728661 | 256.8 | 261M|  90 |1296 |9168 |  13k|9168 |  21k|  31k|4142 |2148 | 0.000000e+00 |      --      |    Inf 
851.93/852.18	c   852s|  2800 |   171 |746090 | 253.9 | 261M|  90 |1089 |9168 |  13k|9168 |  21k|  31k|4277 |2241 | 0.000000e+00 |      --      |    Inf 
861.03/861.21	c   861s|  2900 |   189 |755725 | 248.5 | 261M|  90 |   - |9168 |  13k|   0 |   0 |  32k|4357 |2300 | 0.000000e+00 |      --      |    Inf 
871.93/872.17	c   872s|  3000 |   203 |768076 | 244.3 | 261M|  90 | 874 |9168 |  13k|9168 |  21k|  32k|4483 |2372 | 0.000000e+00 |      --      |    Inf 
882.62/882.88	c   883s|  3100 |   247 |777890 | 239.6 | 262M|  90 |1055 |9168 |  13k|9168 |  21k|  32k|4576 |2457 | 0.000000e+00 |      --      |    Inf 
892.43/892.63	c   893s|  3200 |   231 |786354 | 234.7 | 262M|  90 | 971 |9168 |  13k|9168 |  21k|  33k|4656 |2527 | 0.000000e+00 |      --      |    Inf 
905.13/905.34	c   905s|  3300 |   128 |798782 | 231.4 | 261M|  90 |   - |9168 |  13k|   0 |   0 |  33k|4744 |2659 | 0.000000e+00 |      --      |    Inf 
940.92/941.16	c   941s|  3400 |   105 |842934 | 237.6 | 260M|  90 |2670 |9168 |  13k|9168 |  21k|  34k|4849 |2757 | 0.000000e+00 |      --      |    Inf 
972.22/972.49	c   972s|  3500 |   112 |876187 | 240.3 | 260M|  90 |1391 |9168 |  13k|9168 |  21k|  35k|4972 |2869 | 0.000000e+00 |      --      |    Inf 
1010.41/1010.66	c  1011s|  3600 |   113 |911840 | 243.5 | 261M|  90 |2600 |9168 |  13k|9168 |  21k|  36k|5129 |2955 | 0.000000e+00 |      --      |    Inf 
1039.50/1039.75	c  1040s|  3700 |   138 |943262 | 245.4 | 261M|  90 |2930 |9168 |  13k|9168 |  21k|  36k|5281 |3027 | 0.000000e+00 |      --      |    Inf 
1062.59/1062.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1062.59/1062.86	c  1063s|  3800 |   176 |969546 | 245.9 | 262M|  90 | 697 |9168 |  13k|9168 |  22k|  37k|5351 |3108 | 0.000000e+00 |      --      |    Inf 
1072.31/1072.51	c  1073s|  3900 |   191 |976901 | 241.5 | 262M|  90 |   - |9168 |  14k|   0 |   0 |  38k|5585 |3134 | 0.000000e+00 |      --      |    Inf 
1087.60/1087.82	c  1088s|  4000 |   195 |990545 | 238.8 | 262M|  90 |1095 |9168 |  14k|9168 |  22k|  38k|5879 |3185 | 0.000000e+00 |      --      |    Inf 
1097.90/1098.14	c  1098s|  4100 |   164 |  1001k| 235.8 | 262M|  90 |1586 |9168 |  14k|9168 |  22k|  39k|6142 |3222 | 0.000000e+00 |      --      |    Inf 
1109.89/1110.14	c  1110s|  4200 |   192 |  1014k| 233.1 | 263M|  90 |   - |9168 |  14k|   0 |   0 |  39k|6268 |3280 | 0.000000e+00 |      --      |    Inf 
1117.89/1118.19	c  1118s|  4300 |   196 |  1021k| 229.3 | 263M|  90 | 933 |9168 |  14k|9168 |  22k|  39k|6487 |3329 | 0.000000e+00 |      --      |    Inf 
1127.59/1127.87	c  1128s|  4400 |   224 |  1031k| 226.4 | 263M|  90 |1225 |9168 |  14k|9168 |  22k|  39k|6679 |3363 | 0.000000e+00 |      --      |    Inf 
1136.78/1137.05	c  1137s|  4500 |   225 |  1040k| 223.3 | 263M|  90 |1305 |9168 |  14k|9168 |  22k|  40k|6924 |3407 | 0.000000e+00 |      --      |    Inf 
1143.79/1144.04	c  1144s|  4600 |   236 |  1048k| 220.2 | 264M|  90 |1062 |9168 |  14k|9168 |  22k|  40k|7168 |3424 | 0.000000e+00 |      --      |    Inf 
1151.68/1151.97	c  1152s|  4700 |   224 |  1055k| 217.2 | 264M|  90 |1208 |9168 |  14k|9168 |  22k|  40k|7350 |3455 | 0.000000e+00 |      --      |    Inf 
1164.69/1164.92	c  1165s|  4800 |   194 |  1066k| 214.9 | 263M|  90 |2193 |9168 |  14k|9168 |  21k|  40k|7481 |3497 | 0.000000e+00 |      --      |    Inf 
1169.09/1169.38	c  1169s|  4900 |   270 |  1070k| 211.4 | 264M| 103 | 583 |9168 |  14k|9168 |  21k|  41k|7508 |3497 | 0.000000e+00 |      --      |    Inf 
1178.99/1179.26	c  1179s|  5000 |   215 |  1079k| 208.8 | 264M| 123 |2208 |9168 |  14k|9168 |  21k|  41k|7575 |3544 | 0.000000e+00 |      --      |    Inf 
1190.78/1191.01	c  1191s|  5100 |   256 |  1093k| 207.5 | 264M| 123 |2638 |9168 |  14k|9168 |  21k|  41k|7618 |3572 | 0.000000e+00 |      --      |    Inf 
1205.98/1206.23	c  1206s|  5200 |   265 |  1109k| 206.6 | 264M| 123 |2053 |9168 |  14k|9168 |  21k|  42k|7691 |3642 | 0.000000e+00 |      --      |    Inf 
1222.48/1222.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1222.48/1222.73	c  1223s|  5300 |   135 |  1134k| 207.4 | 262M| 123 |1496 |9168 |  14k|9168 |  21k|  42k|7803 |3698 | 0.000000e+00 |      --      |    Inf 
1237.57/1237.82	c  1238s|  5400 |   119 |  1150k| 206.5 | 262M| 123 |1158 |9168 |  14k|9168 |  22k|  43k|7877 |3767 | 0.000000e+00 |      --      |    Inf 
1263.06/1263.34	c  1263s|  5500 |   152 |  1177k| 207.8 | 262M| 123 |1473 |9168 |  14k|9168 |  21k|  44k|7953 |3878 | 0.000000e+00 |      --      |    Inf 
1279.66/1279.93	c  1280s|  5600 |   169 |  1194k| 207.1 | 262M| 123 |2875 |9168 |  14k|9168 |  21k|  45k|8025 |3947 | 0.000000e+00 |      --      |    Inf 
1290.46/1290.72	c  1291s|  5700 |   186 |  1208k| 205.8 | 263M| 123 |1741 |9168 |  14k|9168 |  21k|  45k|8134 |3974 | 0.000000e+00 |      --      |    Inf 
1306.57/1306.89	c  1307s|  5800 |   211 |  1227k| 205.6 | 263M| 123 |1129 |9168 |  14k|9168 |  21k|  46k|8232 |4047 | 0.000000e+00 |      --      |    Inf 
1317.26/1317.57	c  1318s|  5900 |   212 |  1239k| 204.2 | 263M| 123 |1326 |9168 |  14k|9168 |  21k|  46k|8373 |4113 | 0.000000e+00 |      --      |    Inf 
1330.96/1331.26	c  1331s|  6000 |   241 |  1253k| 203.1 | 264M| 123 |1197 |9168 |  14k|9168 |  21k|  47k|8459 |4222 | 0.000000e+00 |      --      |    Inf 
1344.96/1345.27	c  1345s|  6100 |   215 |  1268k| 202.1 | 263M| 123 |1473 |9168 |  15k|9168 |  21k|  48k|8615 |4325 | 0.000000e+00 |      --      |    Inf 
1358.85/1359.17	c  1359s|  6200 |   239 |  1283k| 201.4 | 264M| 123 |1363 |9168 |  15k|9168 |  21k|  48k|8723 |4390 | 0.000000e+00 |      --      |    Inf 
1379.94/1380.21	c  1380s|  6300 |   228 |  1305k| 201.7 | 264M| 123 |1691 |9168 |  15k|9168 |  21k|  50k|8840 |4503 | 0.000000e+00 |      --      |    Inf 
1399.95/1400.22	c  1400s|  6400 |   243 |  1330k| 202.3 | 264M| 123 |2721 |9168 |  15k|9168 |  21k|  51k|8969 |4582 | 0.000000e+00 |      --      |    Inf 
1426.04/1426.34	c  1426s|  6500 |   214 |  1360k| 204.0 | 264M| 123 |   - |9168 |  15k|   0 |   0 |  52k|9115 |4688 | 0.000000e+00 |      --      |    Inf 
1443.03/1443.36	c  1443s|  6600 |   156 |  1381k| 203.9 | 263M| 123 |1488 |9168 |  15k|9168 |  22k|  53k|9210 |4777 | 0.000000e+00 |      --      |    Inf 
1454.63/1454.95	c  1455s|  6700 |   177 |  1392k| 202.6 | 263M| 123 |   - |9168 |  15k|   0 |   0 |  53k|9322 |4826 | 0.000000e+00 |      --      |    Inf 
1466.73/1467.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1466.73/1467.04	c  1467s|  6800 |   166 |  1405k| 201.5 | 263M| 123 |1272 |9168 |  15k|9168 |  22k|  54k|9518 |4869 | 0.000000e+00 |      --      |    Inf 
1481.52/1481.81	c  1482s|  6900 |   197 |  1418k| 200.4 | 263M| 123 |   - |9168 |  15k|   0 |   0 |  54k|9642 |4917 | 0.000000e+00 |      --      |    Inf 
1493.13/1493.43	c  1493s|  7000 |   151 |  1429k| 199.1 | 263M| 123 |1497 |9168 |  15k|9168 |  22k|  55k|9809 |4968 | 0.000000e+00 |      --      |    Inf 
1507.42/1507.71	c  1508s|  7100 |   188 |  1444k| 198.5 | 263M| 123 |2442 |9168 |  15k|9168 |  21k|  55k|9859 |5023 | 0.000000e+00 |      --      |    Inf 
1533.52/1533.81	c  1534s|  7200 |   246 |  1477k| 200.4 | 264M| 123 |1134 |9168 |  15k|9168 |  21k|  57k|9954 |5109 | 0.000000e+00 |      --      |    Inf 
1547.01/1547.34	c  1547s|  7300 |   247 |  1494k| 199.9 | 264M| 123 |1648 |9168 |  15k|9168 |  21k|  57k|  10k|5167 | 0.000000e+00 |      --      |    Inf 
1561.32/1561.62	c  1562s|  7400 |   249 |  1512k| 199.6 | 264M| 123 |1543 |9168 |  15k|9168 |  21k|  58k|  10k|5232 | 0.000000e+00 |      --      |    Inf 
1570.81/1571.17	c  1571s|  7500 |   255 |  1523k| 198.4 | 265M| 123 |1578 |9168 |  15k|9168 |  21k|  59k|  10k|5292 | 0.000000e+00 |      --      |    Inf 
1597.92/1598.26	c  1598s|  7600 |   234 |  1558k| 200.4 | 265M| 123 |1711 |9168 |  15k|9168 |  21k|  60k|  10k|5430 | 0.000000e+00 |      --      |    Inf 
1613.01/1613.33	c  1613s|  7700 |   237 |  1578k| 200.4 | 265M| 123 |1755 |9168 |  15k|9168 |  21k|  61k|  10k|5494 | 0.000000e+00 |      --      |    Inf 
1626.31/1626.65	c  1627s|  7800 |   234 |  1596k| 200.1 | 265M| 123 |   - |9168 |  15k|   0 |   0 |  62k|  10k|5572 | 0.000000e+00 |      --      |    Inf 
1641.60/1641.96	c  1642s|  7900 |   247 |  1614k| 199.9 | 265M| 123 |   - |9168 |  15k|   0 |   0 |  63k|  10k|5700 | 0.000000e+00 |      --      |    Inf 
1651.91/1652.24	c  1652s|  8000 |   244 |  1626k| 198.9 | 265M| 123 |1467 |9168 |  15k|9168 |  21k|  64k|  11k|5791 | 0.000000e+00 |      --      |    Inf 
1664.40/1664.79	c  1665s|  8100 |   278 |  1641k| 198.3 | 265M| 123 |1359 |9168 |  16k|9168 |  21k|  64k|  11k|5861 | 0.000000e+00 |      --      |    Inf 
1672.10/1672.45	c  1672s|  8200 |   285 |  1647k| 196.6 | 266M| 123 |   - |9168 |  16k|   0 |   0 |  64k|  11k|5939 | 0.000000e+00 |      --      |    Inf 
1681.80/1682.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1681.80/1682.12	c  1682s|  8300 |   261 |  1657k| 195.5 | 266M| 123 |1529 |9168 |  16k|9168 |  21k|  65k|  11k|6002 | 0.000000e+00 |      --      |    Inf 
1690.89/1691.22	c  1691s|  8400 |   258 |  1667k| 194.3 | 266M| 123 |1655 |9168 |  16k|9168 |  21k|  65k|  11k|6063 | 0.000000e+00 |      --      |    Inf 
1699.59/1699.91	c  1700s|  8500 |   251 |  1676k| 193.1 | 266M| 123 |1582 |9168 |  16k|9168 |  21k|  66k|  12k|6100 | 0.000000e+00 |      --      |    Inf 
1710.20/1710.54	c  1711s|  8600 |   271 |  1688k| 192.2 | 266M| 123 |1558 |9168 |  16k|9168 |  21k|  66k|  12k|6172 | 0.000000e+00 |      --      |    Inf 
1719.69/1720.02	c  1720s|  8700 |   287 |  1699k| 191.3 | 266M| 123 |   - |9168 |  17k|   0 |   0 |  67k|  12k|6220 | 0.000000e+00 |      --      |    Inf 
1728.49/1728.87	c  1729s|  8800 |   283 |  1708k| 190.2 | 266M| 123 |1736 |9168 |  16k|9168 |  21k|  67k|  12k|6273 | 0.000000e+00 |      --      |    Inf 
1740.99/1741.36	c  1741s|  8900 |   286 |  1722k| 189.5 | 266M| 123 |   - |9168 |  17k|   0 |   0 |  67k|  12k|6367 | 0.000000e+00 |      --      |    Inf 
1752.39/1752.73	c  1753s|  9000 |   280 |  1735k| 188.9 | 266M| 123 |1657 |9168 |  16k|9168 |  21k|  68k|  12k|6439 | 0.000000e+00 |      --      |    Inf 
1763.00/1763.35	c  1763s|  9100 |   281 |  1746k| 188.1 | 266M| 123 |1599 |9168 |  16k|9168 |  21k|  68k|  12k|6523 | 0.000000e+00 |      --      |    Inf 
1771.48/1771.86	c  1772s|  9200 |   277 |  1755k| 187.0 | 266M| 123 |1570 |9168 |  16k|9168 |  21k|  69k|  12k|6583 | 0.000000e+00 |      --      |    Inf 
1791.59/1791.98	c  1792s|  9300 |   295 |  1789k| 188.7 | 267M| 123 |1803 |9168 |  16k|9168 |  21k|  70k|  13k|6652 | 0.000000e+00 |      --      |    Inf 
1796.68/1797.02	c 
1796.68/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.02	c Solving Time (sec) : 1797.02
1796.68/1797.02	c Solving Nodes      : 9342
1796.68/1797.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.68/1797.02	c Dual Bound         : +0.00000000000000e+00
1796.68/1797.02	c Gap                : infinite
1796.68/1797.02	s UNKNOWN
1796.68/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.02	c Total Time         :    1797.02
1796.68/1797.02	c   solving          :    1797.02
1796.68/1797.02	c   presolving       :      66.26 (included in solving)
1796.68/1797.02	c   reading          :       0.17 (included in solving)
1796.68/1797.02	c   copying          :       0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.02	c Original Problem   :
1796.68/1797.02	c   Problem name     : HOME/instance-3692843-1338027219.opb
1796.68/1797.02	c   Variables        : 21380 (21380 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 60984 initial, 60984 maximal
1796.68/1797.02	c   Objective sense  : minimize
1796.68/1797.02	c Presolved Problem  :
1796.68/1797.02	c   Problem name     : t_HOME/instance-3692843-1338027219.opb
1796.68/1797.02	c   Variables        : 9168 (9168 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 11170 initial, 17043 maximal
1796.68/1797.02	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.02	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   trivial          :       0.17       0.00        249          0          0          0          0          0          0          0          0
1796.68/1797.02	c   dualfix          :       0.09       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   gateextraction   :       0.14       0.00          0          0          0          0          0      55453      18482          0          0
1796.68/1797.02	c   implics          :       1.12       0.00          0       1054          0          0          0          0          0          0          0
1796.68/1797.02	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   probing          :      35.23       0.00       5403        544          0        527          0          0          0          0          0
1796.68/1797.02	c   knapsack         :       0.53       0.00          0          0          0          0          0          1          0          1          1
1796.68/1797.02	c   setppc           :       1.63       0.00          0        245          0          0          0       1320          0          0          0
1796.68/1797.02	c   and              :      25.48       0.00        110       4265          0          1          0       7294       3973          0       2721
1796.68/1797.02	c   linear           :       1.35       0.00        337          5          0        337          0       3235          0       1078       2254
1796.68/1797.02	c   logicor          :       0.13       0.01          0          0          0         11          0        204          0          0          0
1796.68/1797.02	c   root node        :          -          -         19          -          -         19          -          -          -          -          -
1796.68/1797.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   integral         :          0          0          0          0       7753          0          4          0         22        743          0          0      14948
1796.68/1797.02	c   knapsack         :       2155       2155          6     131319          0         13          3      55897       1374     152927       1203          0          0
1796.68/1797.02	c   setppc           :       3480       3480          6     129945          0         13          0     158964        533     208793          0          0          0
1796.68/1797.02	c   and              :       5535       5535      16601     129412          0          1          0     313854       1311     413505      76648          0          0
1796.68/1797.02	c   logicor          :          0+      5897          6      40549          0          1          0      52874        785      27110         11          0          0
1796.68/1797.02	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.68/1797.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.68/1797.02	c   integral         :     587.66       0.00       0.00       0.00     587.66       0.00       0.00       0.00
1796.68/1797.02	c   knapsack         :       5.99       0.00       0.02       5.88       0.00       0.00       0.00       0.08
1796.68/1797.02	c   setppc           :       5.11       0.00       0.00       4.93       0.00       0.00       0.00       0.18
1796.68/1797.02	c   and              :      24.39       0.00      13.00      11.05       0.00       0.00       0.00       0.34
1796.68/1797.02	c   logicor          :       0.85       0.01       0.00       0.73       0.00       0.00       0.00       0.11
1796.68/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.68/1797.02	c   rootredcost      :          0          0          0          0
1796.68/1797.02	c   pseudoobj        :          0          0          0          0
1796.68/1797.02	c   vbounds          :          0          0          0          0
1796.68/1797.02	c   redcost          :      17230          0          0          0
1796.68/1797.02	c   probing          :          0          0          0          0
1796.68/1797.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.68/1797.02	c   rootredcost      :       0.12       0.00       0.00       0.12       0.00
1796.68/1797.02	c   pseudoobj        :       0.12       0.00       0.00       0.12       0.00
1796.68/1797.02	c   vbounds          :       0.11       0.00       0.00       0.11       0.00
1796.68/1797.02	c   redcost          :       2.45       0.00       0.00       2.45       0.00
1796.68/1797.02	c   probing          :      35.23       0.00      35.23       0.00       0.00
1796.68/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.02	c   propagation      :       1.42       4003       3986      35708       47.8       1586       17.0          -
1796.68/1797.02	c   infeasible LP    :       1.07        469        469       1110       63.2         52       19.8          0
1796.68/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.02	c   applied globally :          -          -          -      13104       28.5          -          -          -
1796.68/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.02	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.02	c   cut pool         :       0.00                     5          -          -        639          -    (maximal pool size: 17642)
1796.68/1797.02	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   impliedbounds    :       0.19       0.00          6          0          0      30389          0
1796.68/1797.02	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   gomory           :       0.04       0.00          1          0          0         50          0
1796.68/1797.02	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   strongcg         :       0.11       0.00          1          0          0        500          0
1796.68/1797.02	c   cmir             :       0.12       0.00          1          0          0          0          0
1796.68/1797.02	c   flowcover        :       0.17       0.00          1          0          0        200          0
1796.68/1797.02	c   clique           :      18.55       0.00          1          0          0          8          0
1796.68/1797.02	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   mcf              :       0.02       0.00          1          0          0          0          0
1796.68/1797.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.68/1797.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.68/1797.02	c   problem variables:       0.00          -          0          0
1796.68/1797.02	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   relpscost        :     587.63       0.00       7753         22        743          0          0      14948
1796.68/1797.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.68/1797.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.68/1797.02	c   LP solutions     :       0.00          -          -          0
1796.68/1797.02	c   pseudo solutions :       0.00          -          -          0
1796.68/1797.02	c   oneopt           :       0.03       0.00          0          0
1796.68/1797.02	c   crossover        :       0.01       0.00          0          0
1796.68/1797.02	c   guideddiving     :       0.00       0.00          0          0
1796.68/1797.02	c   intshifting      :       0.00       0.00          0          0
1796.68/1797.02	c   objpscostdiving  :      53.49       0.00          2          0
1796.68/1797.02	c   rootsoldiving    :      19.90       0.00          5          0
1796.68/1797.02	c   feaspump         :      15.20       0.00          5          0
1796.68/1797.02	c   fracdiving       :      41.07       0.00         16          0
1796.68/1797.02	c   veclendiving     :      23.89       0.00         16          0
1796.68/1797.02	c   linesearchdiving :      26.68       0.00         17          0
1796.68/1797.02	c   coefdiving       :      52.37       0.00         17          0
1796.68/1797.02	c   pscostdiving     :      29.22       0.00         17          0
1796.68/1797.02	c   smallcard        :       0.00       0.00          0          0
1796.68/1797.02	c   trivial          :       0.02       0.00          2          0
1796.68/1797.02	c   shiftandpropagate:       0.34       0.00          1          0
1796.68/1797.02	c   simplerounding   :       0.02       0.00          0          0
1796.68/1797.02	c   zirounding       :       4.44       0.00          0          0
1796.68/1797.02	c   rounding         :       3.14       0.00       1811          0
1796.68/1797.02	c   shifting         :      12.44       0.00        554          0
1796.68/1797.02	c   twoopt           :       0.00       0.00          0          0
1796.68/1797.02	c   indtwoopt        :       0.00       0.00          0          0
1796.68/1797.02	c   indoneopt        :       0.03       0.00          0          0
1796.68/1797.02	c   fixandinfer      :       0.00       0.00          0          0
1796.68/1797.02	c   clique           :       0.00       0.00          0          0
1796.68/1797.02	c   indcoefdiving    :       0.00       0.00          0          0
1796.68/1797.02	c   indrounding      :       0.00       0.00          0          0
1796.68/1797.02	c   nlpdiving        :       0.00       0.00          0          0
1796.68/1797.02	c   intdiving        :       0.00       0.00          0          0
1796.68/1797.02	c   actconsdiving    :       0.00       0.00          0          0
1796.68/1797.02	c   octane           :       0.00       0.00          0          0
1796.68/1797.02	c   rens             :       0.20       0.00          1          0
1796.68/1797.02	c   rins             :       0.00       0.00          0          0
1796.68/1797.02	c   localbranching   :       0.00       0.00          0          0
1796.68/1797.02	c   mutation         :       0.00       0.00          0          0
1796.68/1797.02	c   dins             :       0.00       0.00          0          0
1796.68/1797.02	c   vbounds          :       0.00       0.00          0          0
1796.68/1797.02	c   undercover       :       1.43       0.00          1          0
1796.68/1797.02	c   subnlp           :       0.01       0.00          0          0
1796.68/1797.02	c   trysol           :       0.03       0.00          0          0
1796.68/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.68/1797.02	c   primal LP        :       0.01          1          0       0.00       0.00       0.01          1
1796.68/1797.02	c   dual LP          :     736.42      17275    1458521      84.50    1980.56       0.13         14
1796.68/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.68/1797.02	c   diving/probing LP:     223.67       8987     335954      37.38    1502.02
1796.68/1797.02	c   strong branching :     583.65       6675     849343     127.24    1455.24
1796.68/1797.02	c     (at root node) :          -         18      13810     767.22          -
1796.68/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.02	c B&B Tree           :
1796.68/1797.02	c   number of runs   :          1
1796.68/1797.02	c   nodes            :       9342
1796.68/1797.02	c   nodes (total)    :       9342
1796.68/1797.02	c   nodes left       :        291
1796.68/1797.02	c   max depth        :        123
1796.68/1797.02	c   max depth (total):        123
1796.68/1797.02	c   backtracks       :       1886 (20.2%)
1796.68/1797.02	c   delayed cutoffs  :       5318
1796.68/1797.02	c   repropagations   :       9609 (245119 domain reductions, 1666 cutoffs)
1796.68/1797.02	c   avg switch length:       3.74
1796.68/1797.02	c   switching time   :       5.69
1796.68/1797.02	c Solution           :
1796.68/1797.02	c   Solutions found  :          0 (0 improvements)
1796.68/1797.02	c   Primal Bound     :          -
1796.68/1797.02	c   Dual Bound       : +0.00000000000000e+00
1796.68/1797.02	c   Gap              :   infinite
1796.68/1797.02	c   Root Dual Bound  : +0.00000000000000e+00
1796.68/1797.02	c   Root Iterations  :      35436
1796.78/1797.19	c Time complete: 1796.87.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6428
/proc/meminfo: memFree=28951368/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=10456 CPUtime=0 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 1347 0 0 0 0 0 0 0 20 0 1 0 268846691 10706944 1302 33554432000 4194304 10169799 140734925944272 140734925810264 8883659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 2614 1302 409 1459 0 1146 0

[startup+0.027907 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6428
/proc/meminfo: memFree=28951368/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=16576 CPUtime=0.02 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 2870 0 0 0 2 0 0 0 20 0 1 0 268846691 16973824 2825 33554432000 4194304 10169799 140734925944272 140734925810264 9174538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 4144 2825 409 1459 0 2676 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16576

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6428
/proc/meminfo: memFree=28951368/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=32032 CPUtime=0.08 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 6765 0 0 0 8 0 0 0 20 0 1 0 268846691 32800768 6720 33554432000 4194304 10169799 140734925944272 140734925810264 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 8008 6720 409 1459 0 6540 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32032

[startup+0.300277 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6428
/proc/meminfo: memFree=28951368/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=103372 CPUtime=0.29 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 24308 0 0 0 26 3 0 0 20 0 1 0 268846691 105852928 24213 33554432000 4194304 10169799 140734925944272 140734925810264 4933777 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 25843 24213 498 1459 0 24375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 103372

[startup+0.700269 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6428
/proc/meminfo: memFree=28951368/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=151744 CPUtime=0.69 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 38410 0 0 0 55 14 0 0 20 0 1 0 268846691 155385856 35802 33554432000 4194304 10169799 140734925944272 140734925810264 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 37936 35802 562 1459 0 36468 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 151744

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6429
/proc/meminfo: memFree=28794020/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=169972 CPUtime=1.49 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 43212 0 0 0 90 59 0 0 20 0 1 0 268846691 174051328 40347 33554432000 4194304 10169799 140734925944272 140734925942424 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 42493 40347 562 1459 0 41025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169972

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6429
/proc/meminfo: memFree=28768848/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=210860 CPUtime=3.09 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 55577 0 0 0 213 96 0 0 20 0 1 0 268846691 215920640 50771 33554432000 4194304 10169799 140734925944272 140734925942680 7431218 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 52715 50771 629 1459 0 51247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210860

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6429
/proc/meminfo: memFree=28733616/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=242836 CPUtime=6.28 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 62574 0 0 0 374 254 0 0 20 0 1 0 268846691 248664064 57768 33554432000 4194304 10169799 140734925944272 140734925942680 7433736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 60709 57768 629 1459 0 59241 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 242836

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6429
/proc/meminfo: memFree=28692660/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=270936 CPUtime=12.69 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 69855 0 0 0 817 452 0 0 20 0 1 0 268846691 277438464 65049 33554432000 4194304 10169799 140734925944272 140734925941800 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 67734 65049 629 1459 0 66266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 270936

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6429
/proc/meminfo: memFree=28682964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=280440 CPUtime=25.48 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 72299 0 0 0 1567 981 0 0 20 0 1 0 268846691 287170560 67493 33554432000 4194304 10169799 140734925944272 140734925942680 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 70110 67493 631 1459 0 68642 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 280440

[startup+51.1002 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 6429
/proc/meminfo: memFree=28592288/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=373908 CPUtime=51.08 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 95486 0 0 0 3708 1400 0 0 20 0 1 0 268846691 382881792 90680 33554432000 4194304 10169799 140734925944272 140734925942680 4257180 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 93477 90680 631 1459 0 92009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 373908

[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 6505
/proc/meminfo: memFree=28570480/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=476812 CPUtime=102.28 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 122537 0 0 0 8379 1849 0 0 20 0 1 0 268846691 488255488 117329 33554432000 4194304 10169799 140734925944272 140734925941912 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 119203 117329 868 1459 0 117735 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 476812

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 6506
/proc/meminfo: memFree=28564740/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=482188 CPUtime=162.26 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 134454 0 0 0 14361 1865 0 0 20 0 1 0 268846691 493760512 118716 33554432000 4194304 10169799 140734925944272 140734925938872 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 120547 118716 872 1459 0 119079 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 482188

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6506
/proc/meminfo: memFree=28558444/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=482188 CPUtime=222.25 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 134455 0 0 0 20347 1878 0 0 20 0 1 0 268846691 493760512 119165 33554432000 4194304 10169799 140734925944272 140734925938712 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 120547 119165 873 1459 0 119079 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 482188

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6506
/proc/meminfo: memFree=28554260/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=482188 CPUtime=282.23 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 134475 0 0 0 26332 1891 0 0 20 0 1 0 268846691 493760512 119432 33554432000 4194304 10169799 140734925944272 140734925938600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 120547 119432 873 1459 0 119079 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 482188

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6506
/proc/meminfo: memFree=28548788/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=484300 CPUtime=342.21 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 135005 0 0 0 32315 1906 0 0 20 0 1 0 268846691 495923200 119988 33554432000 4194304 10169799 140734925944272 140734925938776 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 121075 119988 873 1459 0 119607 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 484300

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 6509
/proc/meminfo: memFree=28533864/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=495956 CPUtime=402.2 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 137909 0 0 0 38292 1928 0 0 20 0 1 0 268846691 507858944 122891 33554432000 4194304 10169799 140734925944272 140734925938664 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 123989 122891 873 1459 0 122521 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 495956

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6510
/proc/meminfo: memFree=28523084/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=504740 CPUtime=462.19 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 140128 0 0 0 44271 1948 0 0 20 0 1 0 268846691 516853760 125110 33554432000 4194304 10169799 140734925944272 140734925938680 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 126185 125110 873 1459 0 124717 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 504740

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6510
/proc/meminfo: memFree=28518868/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=508632 CPUtime=522.19 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 141071 0 0 0 50247 1972 0 0 20 0 1 0 268846691 520839168 126053 33554432000 4194304 10169799 140734925944272 140734925939256 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 127158 126053 873 1459 0 125690 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 508632

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 6548
/proc/meminfo: memFree=28206992/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=513736 CPUtime=582.18 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 142378 0 0 0 56224 1994 0 0 20 0 1 0 268846691 526065664 127360 33554432000 4194304 10169799 140734925944272 140734925938680 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 128434 127360 873 1459 0 126966 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 513736

[startup+642.3 s]

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

/proc/meminfo: memFree=27794248/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=522524 CPUtime=1062.09 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 144540 0 0 0 104055 2154 0 0 20 0 1 0 268846691 535064576 129578 33554432000 4194304 10169799 140734925944272 140734925938744 8883974 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 130631 129578 876 1459 0 129163 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 522524

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6553
/proc/meminfo: memFree=27786756/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=529352 CPUtime=1122.09 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 146261 0 0 0 110018 2191 0 0 20 0 1 0 268846691 542056448 131299 33554432000 4194304 10169799 140734925944272 140734925938408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 132338 131299 876 1459 0 130870 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 529352

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6553
/proc/meminfo: memFree=27784524/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=531224 CPUtime=1182.08 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 146729 0 0 0 115976 2232 0 0 20 0 1 0 268846691 543973376 131767 33554432000 4194304 10169799 140734925944272 140734925938680 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 132806 131767 876 1459 0 131338 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 531224

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6553
/proc/meminfo: memFree=27784896/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=531224 CPUtime=1242.07 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 146729 0 0 0 121949 2258 0 0 20 0 1 0 268846691 543973376 131767 33554432000 4194304 10169799 140734925944272 140734925939064 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 132806 131767 876 1459 0 131338 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 531224

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6554
/proc/meminfo: memFree=27782036/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=531952 CPUtime=1302.07 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 146911 0 0 0 127926 2281 0 0 20 0 1 0 268846691 544718848 131949 33554432000 4194304 10169799 140734925944272 140734925939064 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 132988 131949 876 1459 0 131520 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 531952

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6554
/proc/meminfo: memFree=27778000/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=533420 CPUtime=1362.04 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 147287 0 0 0 133899 2305 0 0 20 0 1 0 268846691 546222080 132316 33554432000 4194304 10169799 140734925944272 140734925938360 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 133355 132316 876 1459 0 131887 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 533420

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6555
/proc/meminfo: memFree=27777992/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=533420 CPUtime=1422.04 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 147293 0 0 0 139876 2328 0 0 20 0 1 0 268846691 546222080 132322 33554432000 4194304 10169799 140734925944272 140734925938408 7907880 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 133355 132322 876 1459 0 131887 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 533420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6555
/proc/meminfo: memFree=27776380/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=535284 CPUtime=1482.02 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 147753 0 0 0 145843 2359 0 0 20 0 1 0 268846691 548130816 132782 33554432000 4194304 10169799 140734925944272 140734925938232 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 133821 132782 876 1459 0 132353 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 535284

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6555
/proc/meminfo: memFree=27775512/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=536076 CPUtime=1542.02 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 147952 0 0 0 151816 2386 0 0 20 0 1 0 268846691 548941824 132981 33554432000 4194304 10169799 140734925944272 140734925938680 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134019 132981 876 1459 0 132551 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 536076

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6558
/proc/meminfo: memFree=27772404/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1602.01 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 157789 2412 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938728 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 538508

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 6558
/proc/meminfo: memFree=27767948/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1662 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 163763 2437 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938872 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 538508

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6559
/proc/meminfo: memFree=27767824/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1721.99 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 169735 2464 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925939064 7507331 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 538508

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27766336/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1781.98 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 175703 2495 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938776 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 538508

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1785.18 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 176023 2495 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938680 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 538508

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765840/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1791.59 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 176662 2497 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925939144 6110657 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 538508

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1794.79 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 176980 2499 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925940792 8009499 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 538508

[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1795.58 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 177059 2499 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938776 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 538508

[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=538508 CPUtime=1796.38 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148559 0 0 0 177139 2499 0 0 20 0 1 0 268846691 551432192 133588 33554432000 4194304 10169799 140734925944272 140734925938776 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134627 133588 876 1459 0 133159 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 538508

[startup+1797.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6559
/proc/meminfo: memFree=27765964/32873844 swapFree=7364/7364
[pid=6428] ppid=6426 vsize=536928 CPUtime=1796.78 cores=0,2,4,6
/proc/6428/stat : 6428 (scip-2.1.1.4sfi) R 6426 6428 4481 0 -1 4202496 148561 0 0 0 177179 2499 0 0 20 0 1 0 268846691 549814272 133195 33554432000 4194304 10169799 140734925944272 140734925939256 7547458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6428/statm: 134232 133195 878 1459 0 132764 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 536928

Child status: 0
Real time (s): 1797.2
CPU time (s): 1796.88
CPU user time (s): 1771.87
CPU system time (s): 25.0092
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 538508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.87
system time used= 25.0092
maximum resident set size= 534360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148563
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= 45
involuntary context switches= 1872

runsolver used 3.09453 second user time and 9.2146 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-26 12:13:39
IDJOB=3692843
IDBENCH=1488
IDSOLVER=2272
FILE ID=node133/3692843-1338027219
RUNJOBID= node133-1338017258-5021
PBS_JOBID= 14624264
Free space on /tmp= 71600 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.burch_dill.8.accl.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-3692843-1338027219/watcher-3692843-1338027219 -o /tmp/evaluation-result-3692843-1338027219/solver-3692843-1338027219 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692843-1338027219.opb -t 1800 -m 15500

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

MD5SUM BENCH= b2fe1642a1ae97e0b20cfe37f07bcc49
RANDOM SEED=1191587731

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28951904 kB
Buffers:          250016 kB
Cached:          2738876 kB
SwapCached:            0 kB
Active:           642812 kB
Inactive:        2506384 kB
Active(anon):     163028 kB
Inactive(anon):        0 kB
Active(file):     479784 kB
Inactive(file):  2506384 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15908 kB
Writeback:             0 kB
AnonPages:        167724 kB
Mapped:            17852 kB
Shmem:               212 kB
Slab:             635064 kB
SReclaimable:      76740 kB
SUnreclaim:       558324 kB
KernelStack:        1488 kB
PageTables:         3692 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     276824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71588 MiB
End job on node133 at 2012-05-26 12:43:36