Trace number 4121274

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
toysat 2016-05-02UNSAT 1612.35 1612.85

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-extracted.pb.metafix.opb
MD5SUM46e5d703d313cb17075430b317281136
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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 2016-06-30T21:12:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4121274-1467313972.opb"]
0.00/0.01	c use --random-gen="1842230190 1870748944 3197549134 212178395 4259050436 1195785775 3591231104 2841460642 940823591 345701647 2918621533 1845102726 498408503 2450415706 660655221 1255434221 157189182 4219543095 2000832381 3604959617 3427871314 533607501 360975453 1687813588 4182382068 967869626 2357546413 146342695 2995109836 2471346616 1910544162 3031441933 2493981484 1859871834 2562611526 768129289 2408110179 10163807 3120941510 182853312 962296349 657334271 2231689919 2061449886 2315252478 1912824366 3695396158 3996908903 912930691 1172300749 2899116352 3605970812 3262138507 538579496 2717369717 4259967361 2788708071 2853124443 4269551826 714550716 2553504537 3357801453 2306720789 2717607923 3810354620 4281798719 3164845281 649678150 716664574 3886413881 1459046920 4271125115 3694411977 2138019551 1210737404 3370855380 3096354407 3314428126 662521382 3239980627 43859291 399550491 1192087181 2964405584 890023799 2058067083 2120103367 320956131 57051147 4155942400 836004916 716352341 3871403444 1615238625 2135635291 2549699802 815909036 2278693231 1653888612 2710549674 1880145865 3687887099 3217280079 376171235 3534041540 2791315469 471820382 3167876501 397999007 3250285347 3990106134 710304284 3054430015 487886473 642318336 2302892953 2663032060 2694217223 1280770594 938789083 2847041276 1306701892 1394167971 3142367944 1353237610 906048961 2261536005 1330449863 2033341722 2573913879 1181298277 4196558483 1535956753 963440098 768541632 1606200542 309246063 18302439 3716995797 1698744640 2690656247 4241696117 16251545 4250846753 1188521465 2455423079 324467267 3610022143 2180656542 693476669 540356512 2425166923 2533200108 3638578480 682323386 1769956896 3571427396 2726486671 1974501216 2202204989 1295140064 4074281454 3962259236 2029227748 3869854342 2239083771 151652316 2525703762 65834953 1622428860 939602958 501063155 3339825467 1779982850 4117241238 2770245319 1661463122 1715185062 2444765956 2057673876 2681859656 1118696989 3537816906 533156511 3231974357 666079987 717741385 1699623732 3396739153 1452392637 1699360686 3124593870 1695798990 838462137 3169042437 2363157460 1073262152 917016369 3083158738 1036683883 3003118240 2693986736 1808397984 3489771675 843551354 526082154 1211816268 2911886610 54002212 1045875801 934584990 298540039 2641915527 3169274744 3758159943 3293132220 568877091 3202449758 3953893672 1056789483 1878102812 176494502 3267820485 3613637871 2180448746 204521321 22332689 738830462 1689694939 434132044 543075062 1760007236 2244355338 2100872190 1525012036 1894879266 691120771 4082591012 4231383040 950192705 1447607651 2802956843 3846607373 1902966527 3256006670 2952382257 4062778608 532131162 2706604134 2812689803 1030654383 3345581394 727464677 1004789589 3119838754 1651843862 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 100
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       67      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      134 |      100 |       67      1 |        0 |        0
0.00/0.04	c  0.0s |       2 |      405 |      250 |       74      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      693 |      475 |       82      6 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1371 |      813 |       91     12 |        0 |        0
0.08/0.12	c  0.1s |       5 |     2088 |     1320 |      101     20 |        0 |        0
0.08/0.19	c  0.2s |       6 |     3143 |     2081 |      124     29 |        0 |        0
0.19/0.28	c  0.3s |       7 |     5231 |     3223 |      137     45 |        0 |        0
0.38/0.42	c  0.4s |       8 |     8305 |     4936 |      151     66 |        0 |        0
0.58/0.66	c  0.6s |       9 |    11604 |     7506 |      167     95 |        0 |        0
0.98/1.02	c  1.0s |      10 |    16986 |    11361 |      184    133 |        0 |        0
1.39/1.46	c  1.4s |      11 |    25028 |    17144 |      203    189 |        0 |        0
1.98/2.09	c  2.1s |      12 |    37465 |    25819 |      224    266 |        0 |        0
2.99/3.02	c  3.0s |      13 |    56562 |    38832 |      247    371 |        0 |        0
4.39/4.49	c  4.5s |      14 |    81658 |    58352 |      272    518 |        0 |        0
6.39/6.49	c  6.5s |      14 |   115222 |    84752 |      272    697 |        0 |        0
6.69/6.70	c  6.7s |      15 |   118913 |    87632 |      300    717 |        0 |        0
8.68/8.70	c  8.7s |      15 |   155946 |   114632 |      300    887 |        0 |        0
9.89/9.96	c  9.9s |      16 |   178421 |   131552 |      330    993 |        0 |        0
11.88/11.97	c 11.9s |      16 |   220044 |   160052 |      330   1157 |        0 |        0
13.88/13.97	c 13.9s |      16 |   258509 |   187852 |      330   1318 |        0 |        0
14.58/14.62	c 14.6s |      17 |   272479 |   197432 |      364   1372 |        0 |        0
16.59/16.63	c 16.6s |      17 |   308692 |   224432 |      364   1514 |        0 |        0
18.58/18.63	c 18.6s |      17 |   345749 |   252132 |      364   1661 |        0 |        0
20.58/20.64	c 20.6s |      17 |   385202 |   279932 |      364   1808 |        0 |        0
21.78/21.82	c 21.8s |      18 |   407746 |   296252 |      401   1893 |        0 |        0
23.78/23.82	c 23.8s |      18 |   447072 |   324152 |      401   2026 |        0 |        0
25.78/25.82	c 25.8s |      18 |   488254 |   352952 |      401   2166 |        0 |        0
27.78/27.82	c 27.8s |      18 |   527202 |   381052 |      401   2303 |        0 |        0
29.79/29.83	c 29.8s |      18 |   568285 |   409752 |      401   2442 |        0 |        0
31.78/31.83	c 31.8s |      18 |   604103 |   436252 |      401   2570 |        0 |        0
32.38/32.45	c 32.4s |      19 |   615732 |   444482 |      442   2608 |        0 |        0
34.38/34.45	c 34.4s |      19 |   654373 |   471582 |      442   2726 |        0 |        0
36.39/36.45	c 36.4s |      19 |   696320 |   499582 |      442   2849 |        0 |        0
38.38/38.46	c 38.4s |      19 |   733493 |   526182 |      442   2966 |        0 |        0
40.38/40.46	c 40.4s |      19 |   772438 |   553382 |      442   3085 |        0 |        0
42.38/42.47	c 42.5s |      19 |   802520 |   577982 |      442   3193 |        0 |        0
44.38/44.47	c 44.5s |      19 |   831230 |   601582 |      442   3296 |        0 |        0
46.38/46.47	c 46.5s |      19 |   862614 |   626182 |      442   3404 |        0 |        0
48.38/48.48	c 48.5s |      19 |   901604 |   653282 |      442   3524 |        0 |        0
49.38/49.47	c 49.4s |      20 |   920917 |   666827 |      487   3581 |        0 |        0
51.38/51.47	c 51.5s |      20 |   953789 |   691827 |      487   3681 |        0 |        0
53.38/53.47	c 53.5s |      20 |   991158 |   718327 |      487   3786 |        0 |        0
55.37/55.47	c 55.5s |      20 |  1025462 |   743427 |      487   3886 |        0 |        0
57.37/57.48	c 57.5s |      20 |  1059890 |   769427 |      487   3989 |        0 |        0
59.38/59.48	c 59.5s |      20 |  1096528 |   795327 |      487   4093 |        0 |        0
61.37/61.48	c 61.5s |      20 |  1132381 |   821227 |      487   4197 |        0 |        0
63.37/63.48	c 63.5s |      20 |  1170050 |   847727 |      487   4303 |        0 |        0
65.37/65.49	c 65.5s |      20 |  1207265 |   874227 |      487   4409 |        0 |        0
67.37/67.49	c 67.5s |      20 |  1246263 |   901027 |      487   4517 |        0 |        0
69.47/69.50	c 69.5s |      20 |  1286807 |   928427 |      487   4627 |        0 |        0
71.37/71.50	c 71.5s |      20 |  1323145 |   954927 |      487   4733 |        0 |        0
73.47/73.50	c 73.5s |      20 |  1356039 |   979727 |      487   4833 |        0 |        0
75.17/75.25	c 75.2s |      21 |  1382543 |  1000345 |      536   4914 |        0 |        0
77.17/77.25	c 77.2s |      21 |  1418627 |  1025645 |      536   5005 |        0 |        0
79.18/79.26	c 79.2s |      21 |  1455355 |  1051145 |      536   5098 |        0 |        0
81.18/81.26	c 81.2s |      21 |  1495707 |  1077545 |      536   5194 |        0 |        0
83.18/83.27	c 83.3s |      21 |  1535031 |  1104045 |      536   5291 |        0 |        0
85.18/85.27	c 85.3s |      21 |  1576003 |  1131045 |      536   5390 |        0 |        0
87.17/87.27	c 87.3s |      21 |  1615185 |  1157945 |      536   5489 |        0 |        0
89.18/89.28	c 89.3s |      21 |  1651368 |  1183945 |      536   5584 |        0 |        0
91.17/91.29	c 91.3s |      21 |  1689235 |  1210545 |      536   5681 |        0 |        0
93.17/93.29	c 93.3s |      21 |  1727322 |  1237045 |      536   5778 |        0 |        0
95.17/95.29	c 95.3s |      21 |  1762544 |  1262245 |      536   5871 |        0 |        0
97.17/97.29	c 97.3s |      21 |  1795549 |  1286545 |      536   5959 |        0 |        0
99.27/99.30	c 99.3s |      21 |  1827524 |  1310745 |      536   6047 |        0 |        0
101.28/101.31	c  101s |      21 |  1861693 |  1335745 |      536   6139 |        0 |        0
103.27/103.31	c  103s |      21 |  1896544 |  1361045 |      536   6231 |        0 |        0
105.27/105.31	c  105s |      21 |  1931701 |  1386245 |      536   6323 |        0 |        0
107.27/107.32	c  107s |      21 |  1965288 |  1411145 |      536   6415 |        0 |        0
109.27/109.32	c  109s |      21 |  2001317 |  1436745 |      536   6509 |        0 |        0
111.27/111.33	c  111s |      21 |  2036999 |  1462445 |      536   6604 |        0 |        0
113.27/113.34	c  113s |      21 |  2075830 |  1488945 |      536   6701 |        0 |        0
114.17/114.22	c  114s |      22 |  2093118 |  1500622 |      590   6740 |        0 |        0
116.17/116.22	c  116s |      22 |  2128992 |  1525822 |      590   6824 |        0 |        0
118.17/118.23	c  118s |      22 |  2164289 |  1550722 |      590   6906 |        0 |        0
120.17/120.23	c  120s |      22 |  2199976 |  1576122 |      590   6991 |        0 |        0
122.17/122.24	c  122s |      22 |  2236536 |  1601822 |      590   7076 |        0 |        0
124.17/124.24	c  124s |      22 |  2273845 |  1627722 |      590   7163 |        0 |        0
126.16/126.24	c  126s |      22 |  2312510 |  1654122 |      590   7251 |        0 |        0
128.16/128.25	c  128s |      22 |  2349166 |  1680022 |      590   7337 |        0 |        0
130.16/130.25	c  130s |      22 |  2389044 |  1706422 |      590   7425 |        0 |        0
132.16/132.25	c  132s |      22 |  2423773 |  1731022 |      590   7507 |        0 |        0
134.17/134.26	c  134s |      22 |  2457511 |  1755022 |      590   7587 |        0 |        0
136.16/136.26	c  136s |      22 |  2497239 |  1781922 |      590   7676 |        0 |        0
138.16/138.27	c  138s |      22 |  2537508 |  1809822 |      590   7769 |        0 |        0
140.16/140.27	c  140s |      22 |  2577672 |  1837822 |      590   7862 |        0 |        0
142.16/142.28	c  142s |      22 |  2615238 |  1864522 |      590   7951 |        0 |        0
144.16/144.28	c  144s |      22 |  2649648 |  1889922 |      590   8036 |        0 |        0
146.16/146.28	c  146s |      22 |  2679981 |  1913722 |      590   8115 |        0 |        0
148.16/148.29	c  148s |      22 |  2714156 |  1938622 |      590   8198 |        0 |        0
150.16/150.29	c  150s |      22 |  2749350 |  1964022 |      590   8282 |        0 |        0
152.15/152.29	c  152s |      22 |  2784268 |  1989422 |      590   8367 |        0 |        0
154.25/154.30	c  154s |      22 |  2820065 |  2015322 |      590   8453 |        0 |        0
156.26/156.30	c  156s |      22 |  2851731 |  2040022 |      590   8534 |        0 |        0
158.25/158.31	c  158s |      22 |  2885395 |  2065122 |      590   8617 |        0 |        0
160.25/160.32	c  160s |      22 |  2922369 |  2091022 |      590   8703 |        0 |        0
162.26/162.32	c  162s |      22 |  2955927 |  2116222 |      590   8787 |        0 |        0
164.26/164.32	c  164s |      22 |  2989024 |  2141322 |      590   8870 |        0 |        0
166.26/166.32	c  166s |      22 |  3024413 |  2167122 |      590   8957 |        0 |        0
168.27/168.33	c  168s |      22 |  3061022 |  2193422 |      590   9044 |        0 |        0
170.26/170.33	c  170s |      22 |  3097544 |  2219922 |      590   9132 |        0 |        0
172.26/172.34	c  172s |      22 |  3133617 |  2245822 |      649   9215 |        0 |        0
172.67/172.76	c  172s |      23 |  3140294 |  2251038 |      649   9230 |        0 |        0
174.66/174.76	c  174s |      23 |  3175191 |  2275938 |      649   9305 |        0 |        0
176.66/176.77	c  176s |      23 |  3209138 |  2300638 |      649   9380 |        0 |        0
178.66/178.77	c  178s |      23 |  3241679 |  2324338 |      649   9451 |        0 |        0
180.66/180.78	c  180s |      23 |  3274307 |  2348438 |      649   9524 |        0 |        0
182.66/182.78	c  182s |      23 |  3301004 |  2370338 |      649   9590 |        0 |        0
184.66/184.78	c  184s |      23 |  3328666 |  2391938 |      649   9654 |        0 |        0
186.65/186.78	c  186s |      23 |  3352635 |  2412338 |      649   9715 |        0 |        0
188.65/188.78	c  188s |      23 |  3378680 |  2433838 |      649   9780 |        0 |        0
190.65/190.79	c  190s |      23 |  3405946 |  2455338 |      649   9845 |        0 |        0
192.65/192.79	c  192s |      23 |  3433599 |  2477438 |      649   9912 |        0 |        0
194.66/194.79	c  194s |      23 |  3460599 |  2498938 |      649   9977 |        0 |        0
196.75/196.80	c  196s |      23 |  3490049 |  2521638 |      649  10046 |        0 |        0
198.75/198.80	c  198s |      23 |  3517971 |  2543738 |      649  10112 |        0 |        0
200.75/200.81	c  200s |      23 |  3546070 |  2566038 |      649  10179 |        0 |        0
202.75/202.81	c  202s |      23 |  3575855 |  2588938 |      649  10248 |        0 |        0
204.75/204.82	c  204s |      23 |  3603427 |  2610938 |      649  10315 |        0 |        0
206.75/206.83	c  206s |      23 |  3632514 |  2633338 |      649  10383 |        0 |        0
208.75/208.84	c  208s |      23 |  3659110 |  2654738 |      649  10447 |        0 |        0
210.75/210.85	c  210s |      23 |  3686374 |  2676838 |      649  10515 |        0 |        0
212.75/212.86	c  212s |      23 |  3715331 |  2699038 |      649  10582 |        0 |        0
214.75/214.86	c  214s |      23 |  3742554 |  2720838 |      649  10647 |        0 |        0
216.75/216.87	c  216s |      23 |  3770280 |  2742838 |      649  10714 |        0 |        0
218.75/218.87	c  218s |      23 |  3800544 |  2765638 |      649  10783 |        0 |        0
220.75/220.87	c  220s |      23 |  3825518 |  2786338 |      649  10845 |        0 |        0
222.75/222.88	c  222s |      23 |  3853093 |  2808538 |      649  10912 |        0 |        0
224.74/224.88	c  224s |      23 |  3877163 |  2828838 |      649  10973 |        0 |        0
226.74/226.89	c  226s |      23 |  3904847 |  2850738 |      649  11040 |        0 |        0
228.75/228.89	c  228s |      23 |  3928245 |  2870638 |      649  11099 |        0 |        0
230.84/230.90	c  230s |      23 |  3956092 |  2892338 |      649  11165 |        0 |        0
232.84/232.91	c  232s |      23 |  3981789 |  2913638 |      649  11230 |        0 |        0
234.84/234.91	c  234s |      23 |  4007944 |  2934738 |      649  11294 |        0 |        0
236.84/236.92	c  236s |      23 |  4034135 |  2956038 |      649  11358 |        0 |        0
238.84/238.92	c  238s |      23 |  4065477 |  2979938 |      649  11430 |        0 |        0
240.85/240.93	c  240s |      23 |  4091992 |  3001738 |      649  11496 |        0 |        0
242.85/242.94	c  242s |      23 |  4121561 |  3024638 |      649  11565 |        0 |        0
244.85/244.94	c  244s |      23 |  4151058 |  3047038 |      649  11632 |        0 |        0
246.85/246.95	c  246s |      23 |  4179021 |  3069038 |      649  11698 |        0 |        0
248.85/248.96	c  248s |      23 |  4205993 |  3090738 |      649  11764 |        0 |        0
250.85/250.96	c  250s |      23 |  4233598 |  3112838 |      649  11831 |        0 |        0
252.85/252.97	c  252s |      23 |  4263194 |  3136038 |      649  11901 |        0 |        0
254.85/254.97	c  254s |      23 |  4290716 |  3158138 |      649  11967 |        0 |        0
256.84/256.98	c  256s |      23 |  4317531 |  3179838 |      649  12033 |        0 |        0
258.84/258.98	c  258s |      23 |  4346091 |  3202238 |      649  12101 |        0 |        0
260.84/260.98	c  260s |      23 |  4376047 |  3225438 |      649  12171 |        0 |        0
262.85/262.99	c  262s |      23 |  4402344 |  3246838 |      649  12236 |        0 |        0
264.94/265.00	c  264s |      23 |  4429593 |  3268438 |      649  12301 |        0 |        0
266.94/267.01	c  266s |      23 |  4457273 |  3289938 |      649  12366 |        0 |        0
268.94/269.01	c  268s |      23 |  4489615 |  3313538 |      649  12437 |        0 |        0
270.94/271.02	c  271s |      23 |  4517321 |  3335838 |      649  12504 |        0 |        0
272.94/273.02	c  273s |      23 |  4543175 |  3357138 |      714  12566 |        0 |        0
274.84/274.91	c  274s |      24 |  4567201 |  3376662 |      714  12620 |        0 |        0
276.84/276.92	c  276s |      24 |  4591489 |  3397062 |      714  12676 |        0 |        0
278.84/278.93	c  278s |      24 |  4613940 |  3416362 |      714  12728 |        0 |        0
280.84/280.93	c  280s |      24 |  4638712 |  3437062 |      714  12785 |        0 |        0
282.84/282.93	c  282s |      24 |  4663110 |  3457362 |      714  12840 |        0 |        0
284.84/284.94	c  284s |      24 |  4685823 |  3476762 |      714  12894 |        0 |        0
286.84/286.95	c  286s |      24 |  4710914 |  3497162 |      714  12949 |        0 |        0
288.84/288.96	c  288s |      24 |  4737027 |  3518062 |      714  13007 |        0 |        0
290.84/290.96	c  290s |      24 |  4765827 |  3539962 |      714  13067 |        0 |        0
292.84/292.96	c  292s |      24 |  4794255 |  3562162 |      714  13128 |        0 |        0
294.84/294.97	c  294s |      24 |  4821822 |  3584162 |      714  13188 |        0 |        0
296.84/296.98	c  296s |      24 |  4847228 |  3604962 |      714  13245 |        0 |        0
298.84/298.98	c  298s |      24 |  4871591 |  3624962 |      714  13300 |        0 |        0
300.84/300.99	c  300s |      24 |  4896777 |  3645062 |      714  13356 |        0 |        0
302.93/303.00	c  302s |      24 |  4924518 |  3666562 |      714  13415 |        0 |        0
304.93/305.00	c  304s |      24 |  4955229 |  3689562 |      714  13478 |        0 |        0
306.94/307.00	c  306s |      24 |  4982522 |  3711262 |      714  13537 |        0 |        0
308.93/309.01	c  308s |      24 |  5010445 |  3732862 |      714  13597 |        0 |        0
310.93/311.01	c  310s |      24 |  5037519 |  3754262 |      714  13655 |        0 |        0
312.93/313.02	c  312s |      24 |  5063044 |  3774762 |      714  13712 |        0 |        0
314.93/315.02	c  315s |      24 |  5088819 |  3795662 |      714  13769 |        0 |        0
316.93/317.03	c  317s |      24 |  5113831 |  3816462 |      714  13827 |        0 |        0
318.94/319.03	c  319s |      24 |  5137423 |  3836462 |      714  13882 |        0 |        0
320.93/321.04	c  321s |      24 |  5164114 |  3858162 |      714  13941 |        0 |        0
322.93/323.04	c  323s |      24 |  5192714 |  3880762 |      714  14004 |        0 |        0
324.93/325.05	c  325s |      24 |  5221015 |  3902962 |      714  14065 |        0 |        0
326.93/327.05	c  327s |      24 |  5248934 |  3924862 |      714  14126 |        0 |        0
328.93/329.06	c  329s |      24 |  5274419 |  3945962 |      714  14184 |        0 |        0
330.94/331.06	c  331s |      24 |  5299327 |  3966562 |      714  14241 |        0 |        0
332.94/333.06	c  333s |      24 |  5324016 |  3987262 |      714  14297 |        0 |        0
334.93/335.07	c  335s |      24 |  5348852 |  4007662 |      714  14353 |        0 |        0
336.93/337.08	c  337s |      24 |  5378082 |  4030062 |      714  14415 |        0 |        0
338.93/339.09	c  339s |      24 |  5405396 |  4051962 |      714  14475 |        0 |        0
340.94/341.09	c  341s |      24 |  5432533 |  4073062 |      714  14533 |        0 |        0
342.93/343.10	c  343s |      24 |  5460120 |  4094862 |      714  14593 |        0 |        0
345.03/345.10	c  345s |      24 |  5485708 |  4115962 |      714  14651 |        0 |        0
347.03/347.11	c  347s |      24 |  5512462 |  4137362 |      714  14710 |        0 |        0
349.03/349.11	c  349s |      24 |  5541470 |  4159362 |      714  14770 |        0 |        0
351.03/351.12	c  351s |      24 |  5570643 |  4181562 |      714  14832 |        0 |        0
353.04/353.12	c  353s |      24 |  5596584 |  4202762 |      714  14890 |        0 |        0
355.03/355.13	c  355s |      24 |  5624784 |  4224362 |      714  14949 |        0 |        0
357.03/357.13	c  357s |      24 |  5650019 |  4244662 |      714  15005 |        0 |        0
359.03/359.14	c  359s |      24 |  5674132 |  4264762 |      714  15061 |        0 |        0
361.03/361.14	c  361s |      24 |  5699741 |  4285562 |      714  15118 |        0 |        0
363.03/363.15	c  363s |      24 |  5727886 |  4308062 |      714  15180 |        0 |        0
365.02/365.15	c  365s |      24 |  5753330 |  4328962 |      714  15237 |        0 |        0
367.02/367.15	c  367s |      24 |  5778816 |  4349762 |      714  15294 |        0 |        0
369.02/369.16	c  369s |      24 |  5800506 |  4368462 |      714  15345 |        0 |        0
371.02/371.17	c  371s |      24 |  5824962 |  4389262 |      714  15403 |        0 |        0
373.02/373.17	c  373s |      24 |  5849910 |  4410362 |      714  15461 |        0 |        0
375.03/375.17	c  375s |      24 |  5874463 |  4430862 |      714  15517 |        0 |        0
377.02/377.17	c  377s |      24 |  5900855 |  4452062 |      714  15576 |        0 |        0
379.02/379.18	c  379s |      24 |  5926549 |  4473062 |      714  15634 |        0 |        0
381.02/381.19	c  381s |      24 |  5952292 |  4494362 |      714  15693 |        0 |        0
383.02/383.19	c  383s |      24 |  5978626 |  4515862 |      714  15752 |        0 |        0
385.03/385.19	c  385s |      24 |  6005137 |  4537362 |      714  15811 |        0 |        0
387.03/387.19	c  387s |      24 |  6028574 |  4557362 |      714  15866 |        0 |        0
389.12/389.20	c  389s |      24 |  6055204 |  4578462 |      714  15924 |        0 |        0
391.12/391.20	c  391s |      24 |  6081367 |  4599462 |      714  15982 |        0 |        0
393.12/393.21	c  393s |      24 |  6106260 |  4619762 |      714  16038 |        0 |        0
395.12/395.21	c  395s |      24 |  6131268 |  4640162 |      714  16094 |        0 |        0
397.13/397.22	c  397s |      24 |  6155765 |  4660962 |      714  16152 |        0 |        0
399.12/399.22	c  399s |      24 |  6179186 |  4680862 |      714  16207 |        0 |        0
401.12/401.23	c  401s |      24 |  6203249 |  4701162 |      714  16263 |        0 |        0
403.12/403.23	c  403s |      24 |  6228735 |  4721962 |      714  16321 |        0 |        0
405.12/405.23	c  405s |      24 |  6251956 |  4741662 |      714  16375 |        0 |        0
407.12/407.23	c  407s |      24 |  6277250 |  4762362 |      714  16432 |        0 |        0
409.12/409.23	c  409s |      24 |  6300676 |  4782062 |      714  16486 |        0 |        0
411.12/411.24	c  411s |      24 |  6325392 |  4802362 |      714  16542 |        0 |        0
413.12/413.25	c  413s |      24 |  6347055 |  4821162 |      714  16594 |        0 |        0
415.12/415.26	c  415s |      24 |  6372287 |  4841862 |      714  16651 |        0 |        0
417.12/417.27	c  417s |      24 |  6398369 |  4862662 |      714  16708 |        0 |        0
419.12/419.28	c  419s |      24 |  6424991 |  4884262 |      714  16768 |        0 |        0
421.12/421.29	c  421s |      24 |  6450607 |  4904862 |      714  16825 |        0 |        0
423.21/423.30	c  423s |      24 |  6474565 |  4925262 |      714  16881 |        0 |        0
425.21/425.30	c  425s |      24 |  6498433 |  4944862 |      714  16935 |        0 |        0
427.21/427.30	c  427s |      24 |  6522532 |  4964662 |      714  16989 |        0 |        0
429.21/429.30	c  429s |      24 |  6546578 |  4984062 |      714  17043 |        0 |        0
431.22/431.31	c  431s |      24 |  6574190 |  5005662 |      714  17102 |        0 |        0
433.21/433.31	c  433s |      24 |  6600541 |  5026462 |      714  17160 |        0 |        0
435.21/435.32	c  435s |      24 |  6625933 |  5046462 |      786  17210 |        0 |        0
437.01/437.11	c  437s |      25 |  6650823 |  5065098 |      786  17257 |        0 |        0
439.01/439.12	c  439s |      25 |  6681288 |  5087998 |      786  17314 |        0 |        0
441.02/441.13	c  441s |      25 |  6709426 |  5109998 |      786  17369 |        0 |        0
443.01/443.13	c  443s |      25 |  6739455 |  5132398 |      786  17425 |        0 |        0
445.01/445.13	c  445s |      25 |  6769428 |  5154998 |      786  17481 |        0 |        0
447.01/447.14	c  447s |      25 |  6800171 |  5177898 |      786  17539 |        0 |        0
449.01/449.14	c  449s |      25 |  6828658 |  5199998 |      786  17594 |        0 |        0
451.02/451.15	c  451s |      25 |  6857560 |  5221998 |      786  17649 |        0 |        0
453.01/453.15	c  453s |      25 |  6886879 |  5243998 |      786  17703 |        0 |        0
455.01/455.16	c  455s |      25 |  6915964 |  5265898 |      786  17758 |        0 |        0
457.01/457.16	c  457s |      25 |  6945085 |  5287498 |      786  17811 |        0 |        0
459.01/459.17	c  459s |      25 |  6969857 |  5307498 |      786  17861 |        0 |        0
461.01/461.17	c  461s |      25 |  6998522 |  5328898 |      786  17915 |        0 |        0
463.01/463.17	c  463s |      25 |  7026646 |  5350398 |      786  17969 |        0 |        0
465.01/465.17	c  465s |      25 |  7053040 |  5371498 |      786  18021 |        0 |        0
467.01/467.18	c  467s |      25 |  7081531 |  5393498 |      786  18076 |        0 |        0
469.01/469.18	c  469s |      25 |  7109339 |  5414998 |      786  18130 |        0 |        0
471.01/471.18	c  471s |      25 |  7132148 |  5434198 |      786  18177 |        0 |        0
473.01/473.19	c  473s |      25 |  7155772 |  5453998 |      786  18226 |        0 |        0
475.00/475.20	c  475s |      25 |  7178899 |  5473598 |      786  18275 |        0 |        0
477.10/477.21	c  477s |      25 |  7202188 |  5493098 |      786  18324 |        0 |        0
479.10/479.21	c  479s |      25 |  7230430 |  5514998 |      786  18378 |        0 |        0
481.11/481.22	c  481s |      25 |  7255070 |  5535198 |      786  18429 |        0 |        0
483.11/483.23	c  483s |      25 |  7278733 |  5554698 |      786  18478 |        0 |        0
485.12/485.23	c  485s |      25 |  7303648 |  5574998 |      786  18528 |        0 |        0
487.11/487.24	c  487s |      25 |  7326138 |  5593998 |      786  18576 |        0 |        0
489.11/489.25	c  489s |      25 |  7351743 |  5614498 |      786  18627 |        0 |        0
491.11/491.25	c  491s |      25 |  7374797 |  5634298 |      786  18676 |        0 |        0
493.11/493.25	c  493s |      25 |  7398212 |  5654298 |      786  18726 |        0 |        0
495.11/495.26	c  495s |      25 |  7420915 |  5673798 |      786  18775 |        0 |        0
497.12/497.26	c  497s |      25 |  7445112 |  5693598 |      786  18824 |        0 |        0
499.11/499.26	c  499s |      25 |  7465442 |  5711498 |      786  18869 |        0 |        0
501.11/501.27	c  501s |      25 |  7485331 |  5729098 |      786  18912 |        0 |        0
503.11/503.27	c  503s |      25 |  7506557 |  5747398 |      786  18958 |        0 |        0
505.11/505.27	c  505s |      25 |  7528112 |  5765898 |      786  19004 |        0 |        0
507.11/507.28	c  507s |      25 |  7552282 |  5785698 |      786  19054 |        0 |        0
509.11/509.29	c  509s |      25 |  7579010 |  5806098 |      786  19105 |        0 |        0
511.11/511.29	c  511s |      25 |  7604341 |  5826498 |      786  19157 |        0 |        0
513.21/513.30	c  513s |      25 |  7626579 |  5845398 |      786  19204 |        0 |        0
515.21/515.31	c  515s |      25 |  7648428 |  5864098 |      786  19251 |        0 |        0
517.21/517.32	c  517s |      25 |  7667699 |  5881398 |      786  19294 |        0 |        0
519.21/519.32	c  519s |      25 |  7688806 |  5899698 |      786  19339 |        0 |        0
521.20/521.33	c  521s |      25 |  7711343 |  5918798 |      786  19387 |        0 |        0
523.20/523.33	c  523s |      25 |  7733613 |  5937598 |      786  19434 |        0 |        0
525.20/525.34	c  525s |      25 |  7755456 |  5956198 |      786  19480 |        0 |        0
527.20/527.34	c  527s |      25 |  7777819 |  5974998 |      786  19527 |        0 |        0
529.20/529.35	c  529s |      25 |  7799477 |  5993498 |      786  19573 |        0 |        0
531.21/531.36	c  531s |      25 |  7821034 |  6011798 |      786  19619 |        0 |        0
533.20/533.36	c  533s |      25 |  7843036 |  6030298 |      786  19665 |        0 |        0
535.20/535.37	c  535s |      25 |  7865141 |  6049098 |      786  19712 |        0 |        0
537.20/537.37	c  537s |      25 |  7886779 |  6067698 |      786  19758 |        0 |        0
539.20/539.38	c  539s |      25 |  7908714 |  6086298 |      786  19804 |        0 |        0
541.20/541.38	c  541s |      25 |  7931989 |  6105598 |      786  19853 |        0 |        0
543.20/543.38	c  543s |      25 |  7955730 |  6125198 |      786  19901 |        0 |        0
545.20/545.39	c  545s |      25 |  7980634 |  6145298 |      786  19952 |        0 |        0
547.19/547.40	c  547s |      25 |  8005235 |  6165498 |      786  20002 |        0 |        0
549.29/549.40	c  549s |      25 |  8029990 |  6185198 |      786  20051 |        0 |        0
551.29/551.40	c  551s |      25 |  8052715 |  6204498 |      786  20099 |        0 |        0
553.30/553.41	c  553s |      25 |  8076795 |  6224298 |      786  20149 |        0 |        0
555.29/555.41	c  555s |      25 |  8102404 |  6244798 |      786  20200 |        0 |        0
557.29/557.42	c  557s |      25 |  8128647 |  6265098 |      786  20251 |        0 |        0
559.29/559.43	c  559s |      25 |  8151987 |  6284398 |      786  20299 |        0 |        0
561.29/561.44	c  561s |      25 |  8176566 |  6304398 |      786  20349 |        0 |        0
563.29/563.44	c  563s |      25 |  8200039 |  6323698 |      786  20397 |        0 |        0
565.30/565.44	c  565s |      25 |  8222140 |  6342198 |      786  20443 |        0 |        0
567.29/567.45	c  567s |      25 |  8245206 |  6361298 |      786  20490 |        0 |        0
569.29/569.45	c  569s |      25 |  8271207 |  6382098 |      786  20543 |        0 |        0
571.29/571.45	c  571s |      25 |  8293890 |  6401298 |      786  20591 |        0 |        0
573.29/573.46	c  573s |      25 |  8316500 |  6420498 |      786  20639 |        0 |        0
575.29/575.47	c  575s |      25 |  8340615 |  6440498 |      786  20689 |        0 |        0
577.29/577.47	c  577s |      25 |  8365909 |  6460698 |      786  20739 |        0 |        0
579.29/579.47	c  579s |      25 |  8392333 |  6481598 |      786  20792 |        0 |        0
581.30/581.48	c  581s |      25 |  8417875 |  6502498 |      786  20844 |        0 |        0
583.30/583.49	c  583s |      25 |  8442842 |  6522998 |      786  20895 |        0 |        0
585.40/585.50	c  585s |      25 |  8466102 |  6542598 |      786  20944 |        0 |        0
587.30/587.50	c  587s |      25 |  8491268 |  6563198 |      786  20995 |        0 |        0
589.39/589.50	c  589s |      25 |  8514476 |  6582698 |      786  21044 |        0 |        0
591.39/591.51	c  591s |      25 |  8539728 |  6602898 |      786  21094 |        0 |        0
593.39/593.52	c  593s |      25 |  8564225 |  6623098 |      786  21145 |        0 |        0
595.39/595.53	c  595s |      25 |  8588567 |  6642998 |      786  21194 |        0 |        0
597.39/597.53	c  597s |      25 |  8612375 |  6662298 |      786  21242 |        0 |        0
599.40/599.54	c  599s |      25 |  8636411 |  6681798 |      786  21291 |        0 |        0
601.39/601.54	c  601s |      25 |  8661425 |  6701898 |      786  21341 |        0 |        0
603.39/603.55	c  603s |      25 |  8685029 |  6721598 |      786  21390 |        0 |        0
605.39/605.56	c  605s |      25 |  8711356 |  6742398 |      786  21442 |        0 |        0
607.39/607.57	c  607s |      25 |  8736171 |  6762798 |      786  21493 |        0 |        0
609.40/609.57	c  609s |      25 |  8759467 |  6782398 |      786  21542 |        0 |        0
611.39/611.58	c  611s |      25 |  8786269 |  6803998 |      786  21596 |        0 |        0
613.39/613.59	c  613s |      25 |  8810058 |  6823698 |      786  21646 |        0 |        0
615.39/615.59	c  615s |      25 |  8836877 |  6844698 |      786  21698 |        0 |        0
617.49/617.60	c  617s |      25 |  8864900 |  6866198 |      786  21752 |        0 |        0
619.49/619.60	c  619s |      25 |  8891916 |  6887598 |      786  21805 |        0 |        0
621.49/621.61	c  621s |      25 |  8919827 |  6909498 |      786  21860 |        0 |        0
623.49/623.61	c  623s |      25 |  8945328 |  6929898 |      786  21911 |        0 |        0
625.48/625.62	c  625s |      25 |  8971549 |  6950698 |      786  21963 |        0 |        0
627.48/627.62	c  627s |      25 |  8999377 |  6971898 |      786  22016 |        0 |        0
629.48/629.63	c  629s |      25 |  9026398 |  6992698 |      786  22068 |        0 |        0
631.48/631.63	c  631s |      25 |  9051217 |  7012398 |      786  22118 |        0 |        0
633.49/633.63	c  633s |      25 |  9077834 |  7032998 |      786  22169 |        0 |        0
635.48/635.64	c  635s |      25 |  9101912 |  7052798 |      786  22218 |        0 |        0
637.48/637.64	c  637s |      25 |  9125275 |  7072398 |      786  22267 |        0 |        0
639.48/639.64	c  639s |      25 |  9148439 |  7091898 |      786  22316 |        0 |        0
641.48/641.65	c  641s |      25 |  9174332 |  7112198 |      786  22367 |        0 |        0
643.49/643.65	c  643s |      25 |  9197834 |  7131698 |      786  22416 |        0 |        0
645.48/645.65	c  645s |      25 |  9222424 |  7152098 |      786  22467 |        0 |        0
647.48/647.66	c  647s |      25 |  9247068 |  7171998 |      786  22517 |        0 |        0
649.48/649.67	c  649s |      25 |  9273315 |  7192698 |      786  22568 |        0 |        0
651.48/651.67	c  651s |      25 |  9298772 |  7212998 |      786  22619 |        0 |        0
653.48/653.68	c  653s |      25 |  9321770 |  7232398 |      786  22668 |        0 |        0
655.48/655.69	c  655s |      25 |  9346515 |  7252398 |      786  22718 |        0 |        0
657.49/657.69	c  657s |      25 |  9372919 |  7273898 |      786  22771 |        0 |        0
659.48/659.69	c  659s |      25 |  9402228 |  7296398 |      786  22828 |        0 |        0
661.58/661.70	c  661s |      25 |  9429193 |  7317398 |      786  22881 |        0 |        0
663.58/663.71	c  663s |      25 |  9453536 |  7337598 |      786  22931 |        0 |        0
665.58/665.71	c  665s |      25 |  9481091 |  7358998 |      786  22985 |        0 |        0
667.59/667.71	c  667s |      25 |  9507632 |  7379798 |      786  23037 |        0 |        0
669.58/669.71	c  669s |      25 |  9530824 |  7399598 |      786  23086 |        0 |        0
671.58/671.72	c  671s |      25 |  9553684 |  7418998 |      786  23135 |        0 |        0
673.58/673.72	c  673s |      25 |  9576380 |  7438398 |      786  23183 |        0 |        0
675.58/675.72	c  675s |      25 |  9601612 |  7459098 |      786  23235 |        0 |        0
677.59/677.73	c  677s |      25 |  9626425 |  7479498 |      786  23286 |        0 |        0
679.58/679.74	c  679s |      25 |  9652971 |  7500798 |      786  23339 |        0 |        0
681.58/681.74	c  681s |      25 |  9677712 |  7521398 |      786  23391 |        0 |        0
683.58/683.75	c  683s |      25 |  9701459 |  7541498 |      786  23441 |        0 |        0
685.58/685.75	c  685s |      25 |  9724365 |  7560498 |      865  23485 |        0 |        0
687.58/687.76	c  687s |      25 |  9747763 |  7580198 |      865  23530 |        0 |        0
689.38/689.54	c  689s |      26 |  9769828 |  7597752 |      865  23570 |        0 |        0
691.38/691.55	c  691s |      26 |  9794983 |  7618052 |      865  23616 |        0 |        0
693.38/693.55	c  693s |      26 |  9822748 |  7638752 |      865  23663 |        0 |        0
695.38/695.56	c  695s |      26 |  9846081 |  7657752 |      865  23706 |        0 |        0
697.38/697.57	c  697s |      26 |  9867320 |  7675952 |      865  23747 |        0 |        0
699.37/699.57	c  699s |      26 |  9886862 |  7693152 |      865  23786 |        0 |        0
701.37/701.58	c  701s |      26 |  9905824 |  7710152 |      865  23824 |        0 |        0
703.37/703.58	c  703s |      26 |  9924841 |  7726852 |      865  23862 |        0 |        0
705.37/705.59	c  705s |      26 |  9945284 |  7744352 |      865  23901 |        0 |        0
707.37/707.60	c  707s |      26 |  9965807 |  7762352 |      865  23942 |        0 |        0
709.47/709.61	c  709s |      26 |  9988814 |  7781452 |      865  23986 |        0 |        0
711.47/711.62	c  711s |      26 | 10010325 |  7799552 |      865  24026 |        0 |        0
713.47/713.62	c  713s |      26 | 10031399 |  7817852 |      865  24068 |        0 |        0
715.47/715.62	c  715s |      26 | 10053456 |  7836452 |      865  24109 |        0 |        0
717.46/717.63	c  717s |      26 | 10075851 |  7854952 |      865  24151 |        0 |        0
719.46/719.63	c  719s |      26 | 10098980 |  7874252 |      865  24195 |        0 |        0
721.47/721.63	c  721s |      26 | 10123325 |  7894052 |      865  24241 |        0 |        0
723.46/723.63	c  723s |      26 | 10147171 |  7913552 |      865  24285 |        0 |        0
725.46/725.64	c  725s |      26 | 10171271 |  7932852 |      865  24329 |        0 |        0
727.46/727.64	c  727s |      26 | 10197667 |  7953252 |      865  24375 |        0 |        0
729.46/729.65	c  729s |      26 | 10220885 |  7972452 |      865  24418 |        0 |        0
731.46/731.66	c  731s |      26 | 10246309 |  7992752 |      865  24464 |        0 |        0
733.45/733.67	c  733s |      26 | 10270593 |  8012752 |      865  24510 |        0 |        0
735.45/735.67	c  735s |      26 | 10296276 |  8033452 |      865  24557 |        0 |        0
737.45/737.68	c  737s |      26 | 10321950 |  8053752 |      865  24603 |        0 |        0
739.45/739.68	c  739s |      26 | 10349118 |  8075152 |      865  24652 |        0 |        0
741.45/741.69	c  741s |      26 | 10379276 |  8097152 |      865  24702 |        0 |        0
743.45/743.69	c  743s |      26 | 10410496 |  8119452 |      865  24753 |        0 |        0
745.45/745.69	c  745s |      26 | 10435665 |  8139752 |      865  24799 |        0 |        0
747.54/747.70	c  747s |      26 | 10461828 |  8160452 |      865  24846 |        0 |        0
749.54/749.70	c  749s |      26 | 10485799 |  8180152 |      865  24891 |        0 |        0
751.54/751.71	c  751s |      26 | 10509624 |  8199652 |      865  24935 |        0 |        0
753.54/753.71	c  753s |      26 | 10534298 |  8219952 |      865  24981 |        0 |        0
755.55/755.72	c  755s |      26 | 10564298 |  8242552 |      865  25033 |        0 |        0
757.54/757.73	c  757s |      26 | 10593108 |  8264252 |      865  25082 |        0 |        0
759.54/759.74	c  759s |      26 | 10618429 |  8283952 |      865  25126 |        0 |        0
761.54/761.74	c  761s |      26 | 10644351 |  8304252 |      865  25173 |        0 |        0
763.54/763.74	c  763s |      26 | 10668569 |  8323952 |      865  25218 |        0 |        0
765.54/765.75	c  765s |      26 | 10696234 |  8345052 |      865  25266 |        0 |        0
767.53/767.75	c  767s |      26 | 10722334 |  8365252 |      865  25312 |        0 |        0
769.53/769.76	c  769s |      26 | 10746060 |  8384652 |      865  25356 |        0 |        0
771.53/771.77	c  771s |      26 | 10772092 |  8404752 |      865  25402 |        0 |        0
773.53/773.78	c  773s |      26 | 10797722 |  8424652 |      865  25447 |        0 |        0
775.53/775.78	c  775s |      26 | 10820990 |  8443752 |      865  25490 |        0 |        0
777.53/777.78	c  777s |      26 | 10846650 |  8463752 |      865  25535 |        0 |        0
779.53/779.79	c  779s |      26 | 10872782 |  8483952 |      865  25581 |        0 |        0
781.53/781.79	c  781s |      26 | 10900583 |  8504852 |      865  25629 |        0 |        0
783.53/783.79	c  783s |      26 | 10928249 |  8525352 |      865  25675 |        0 |        0
785.53/785.79	c  785s |      26 | 10955328 |  8546152 |      865  25723 |        0 |        0
787.63/787.80	c  787s |      26 | 10982182 |  8566952 |      865  25770 |        0 |        0
789.64/789.81	c  789s |      26 | 11009655 |  8588052 |      865  25819 |        0 |        0
791.63/791.82	c  791s |      26 | 11035937 |  8608652 |      865  25866 |        0 |        0
793.63/793.82	c  793s |      26 | 11061936 |  8628752 |      865  25911 |        0 |        0
795.63/795.82	c  795s |      26 | 11088939 |  8649352 |      865  25958 |        0 |        0
797.62/797.83	c  797s |      26 | 11114722 |  8669652 |      865  26004 |        0 |        0
799.63/799.84	c  799s |      26 | 11136923 |  8688752 |      865  26048 |        0 |        0
801.62/801.84	c  801s |      26 | 11160081 |  8707952 |      865  26091 |        0 |        0
803.62/803.85	c  803s |      26 | 11184476 |  8727252 |      865  26135 |        0 |        0
805.62/805.86	c  805s |      26 | 11207642 |  8746252 |      865  26178 |        0 |        0
807.62/807.86	c  807s |      26 | 11227770 |  8763852 |      865  26218 |        0 |        0
809.61/809.87	c  809s |      26 | 11251425 |  8782352 |      865  26260 |        0 |        0
811.62/811.87	c  811s |      26 | 11273417 |  8800852 |      865  26302 |        0 |        0
813.61/813.88	c  813s |      26 | 11296977 |  8820252 |      865  26346 |        0 |        0
815.61/815.88	c  815s |      26 | 11323094 |  8840852 |      865  26392 |        0 |        0
817.61/817.89	c  817s |      26 | 11345720 |  8859852 |      865  26435 |        0 |        0
819.61/819.89	c  819s |      26 | 11367021 |  8878152 |      865  26477 |        0 |        0
821.71/821.91	c  821s |      26 | 11389952 |  8897052 |      865  26520 |        0 |        0
823.72/823.91	c  823s |      26 | 11410813 |  8914852 |      865  26560 |        0 |        0
825.71/825.92	c  825s |      26 | 11432564 |  8933252 |      865  26602 |        0 |        0
827.70/827.92	c  827s |      26 | 11455646 |  8952552 |      865  26645 |        0 |        0
829.70/829.93	c  829s |      26 | 11479410 |  8972252 |      865  26690 |        0 |        0
831.70/831.94	c  831s |      26 | 11503664 |  8991752 |      865  26734 |        0 |        0
833.71/833.94	c  833s |      26 | 11526345 |  9010652 |      865  26777 |        0 |        0
835.70/835.95	c  835s |      26 | 11550797 |  9030352 |      865  26822 |        0 |        0
837.70/837.96	c  837s |      26 | 11574638 |  9049852 |      865  26866 |        0 |        0
839.70/839.96	c  839s |      26 | 11597279 |  9068552 |      865  26908 |        0 |        0
841.70/841.96	c  841s |      26 | 11619659 |  9086952 |      865  26950 |        0 |        0
843.69/843.97	c  843s |      26 | 11645053 |  9106852 |      865  26996 |        0 |        0
845.70/845.98	c  845s |      26 | 11667790 |  9125752 |      865  27039 |        0 |        0
847.69/847.98	c  847s |      26 | 11691343 |  9145052 |      865  27083 |        0 |        0
849.69/849.99	c  849s |      26 | 11714075 |  9163752 |      865  27125 |        0 |        0
851.69/851.99	c  851s |      26 | 11734242 |  9181052 |      865  27164 |        0 |        0
853.79/854.00	c  853s |      26 | 11755344 |  9199152 |      865  27206 |        0 |        0
855.79/856.00	c  855s |      26 | 11778282 |  9218252 |      865  27249 |        0 |        0
857.80/858.01	c  857s |      26 | 11799059 |  9235952 |      865  27289 |        0 |        0
859.79/860.02	c  860s |      26 | 11819365 |  9253552 |      865  27329 |        0 |        0
861.79/862.02	c  862s |      26 | 11840086 |  9271652 |      865  27369 |        0 |        0
863.79/864.03	c  864s |      26 | 11860087 |  9289152 |      865  27409 |        0 |        0
865.79/866.04	c  866s |      26 | 11881948 |  9307752 |      865  27451 |        0 |        0
867.79/868.05	c  868s |      26 | 11904777 |  9327052 |      865  27495 |        0 |        0
869.78/870.05	c  870s |      26 | 11928228 |  9346552 |      865  27540 |        0 |        0
871.78/872.05	c  872s |      26 | 11949405 |  9365052 |      865  27582 |        0 |        0
873.78/874.06	c  874s |      26 | 11969807 |  9382852 |      865  27623 |        0 |        0
875.78/876.07	c  876s |      26 | 11991678 |  9401352 |      865  27665 |        0 |        0
877.78/878.07	c  878s |      26 | 12014746 |  9420752 |      865  27709 |        0 |        0
879.79/880.08	c  880s |      26 | 12036325 |  9439352 |      865  27751 |        0 |        0
881.78/882.09	c  882s |      26 | 12058005 |  9457852 |      865  27793 |        0 |        0
883.78/884.09	c  884s |      26 | 12080261 |  9476452 |      865  27835 |        0 |        0
885.88/886.10	c  886s |      26 | 12102911 |  9495752 |      865  27879 |        0 |        0
887.88/888.10	c  888s |      26 | 12125587 |  9514752 |      865  27923 |        0 |        0
889.88/890.11	c  890s |      26 | 12146307 |  9532752 |      865  27964 |        0 |        0
891.88/892.11	c  892s |      26 | 12165795 |  9549952 |      865  28003 |        0 |        0
893.88/894.11	c  894s |      26 | 12185766 |  9567152 |      865  28042 |        0 |        0
895.87/896.12	c  896s |      26 | 12205987 |  9584552 |      865  28082 |        0 |        0
897.87/898.12	c  898s |      26 | 12229000 |  9603352 |      865  28125 |        0 |        0
899.87/900.13	c  900s |      26 | 12252811 |  9622852 |      865  28169 |        0 |        0
901.87/902.14	c  902s |      26 | 12276815 |  9642552 |      865  28214 |        0 |        0
903.87/904.14	c  904s |      26 | 12297828 |  9660452 |      865  28255 |        0 |        0
905.87/906.15	c  906s |      26 | 12320826 |  9679652 |      865  28299 |        0 |        0
907.86/908.15	c  908s |      26 | 12346866 |  9700252 |      865  28346 |        0 |        0
909.86/910.15	c  910s |      26 | 12373380 |  9721152 |      865  28394 |        0 |        0
911.87/912.16	c  912s |      26 | 12398556 |  9741452 |      865  28441 |        0 |        0
913.88/914.16	c  914s |      26 | 12423749 |  9761952 |      865  28488 |        0 |        0
915.87/916.16	c  916s |      26 | 12446165 |  9780952 |      865  28531 |        0 |        0
917.86/918.17	c  918s |      26 | 12469871 |  9800352 |      865  28575 |        0 |        0
919.86/920.17	c  920s |      26 | 12496940 |  9820852 |      865  28622 |        0 |        0
921.86/922.18	c  922s |      26 | 12523099 |  9841052 |      865  28669 |        0 |        0
923.87/924.18	c  924s |      26 | 12548425 |  9861552 |      865  28715 |        0 |        0
925.86/926.19	c  926s |      26 | 12572184 |  9880752 |      865  28759 |        0 |        0
927.86/928.19	c  928s |      26 | 12596904 |  9900852 |      865  28804 |        0 |        0
929.86/930.19	c  930s |      26 | 12621655 |  9920852 |      865  28850 |        0 |        0
931.85/932.19	c  932s |      26 | 12645710 |  9940452 |      865  28895 |        0 |        0
933.85/934.20	c  934s |      26 | 12668828 |  9959752 |      865  28939 |        0 |        0
935.96/936.21	c  936s |      26 | 12691112 |  9978952 |      865  28983 |        0 |        0
937.95/938.22	c  938s |      26 | 12715270 |  9998852 |      865  29028 |        0 |        0
939.95/940.22	c  940s |      26 | 12737445 | 10017652 |      865  29071 |        0 |        0
941.95/942.23	c  942s |      26 | 12760992 | 10037252 |      865  29116 |        0 |        0
943.95/944.23	c  944s |      26 | 12784932 | 10057252 |      865  29161 |        0 |        0
945.95/946.24	c  946s |      26 | 12808703 | 10077152 |      865  29207 |        0 |        0
947.95/948.25	c  948s |      26 | 12831286 | 10095852 |      865  29249 |        0 |        0
949.94/950.25	c  950s |      26 | 12855434 | 10115452 |      865  29294 |        0 |        0
951.94/952.26	c  952s |      26 | 12877581 | 10134352 |      865  29338 |        0 |        0
953.94/954.27	c  954s |      26 | 12902761 | 10154652 |      865  29384 |        0 |        0
955.94/956.28	c  956s |      26 | 12929220 | 10175252 |      865  29431 |        0 |        0
957.95/958.28	c  958s |      26 | 12952481 | 10194652 |      865  29476 |        0 |        0
959.94/960.28	c  960s |      26 | 12979768 | 10215352 |      865  29523 |        0 |        0
961.94/962.29	c  962s |      26 | 13006052 | 10235852 |      865  29569 |        0 |        0
963.94/964.30	c  964s |      26 | 13033368 | 10256852 |      865  29617 |        0 |        0
966.04/966.30	c  966s |      26 | 13059718 | 10277652 |      865  29665 |        0 |        0
968.03/968.31	c  968s |      26 | 13084771 | 10297552 |      865  29710 |        0 |        0
970.04/970.31	c  970s |      26 | 13106862 | 10316352 |      865  29752 |        0 |        0
972.03/972.31	c  972s |      26 | 13129490 | 10335152 |      865  29795 |        0 |        0
974.03/974.32	c  974s |      26 | 13152960 | 10354652 |      865  29840 |        0 |        0
976.04/976.32	c  976s |      26 | 13175786 | 10373652 |      865  29883 |        0 |        0
978.03/978.32	c  978s |      26 | 13198223 | 10392852 |      865  29927 |        0 |        0
980.03/980.32	c  980s |      26 | 13220909 | 10411652 |      865  29970 |        0 |        0
982.04/982.33	c  982s |      26 | 13242728 | 10430252 |      865  30012 |        0 |        0
984.03/984.33	c  984s |      26 | 13267755 | 10450652 |      865  30059 |        0 |        0
986.03/986.34	c  986s |      26 | 13288066 | 10468352 |      865  30099 |        0 |        0
988.03/988.34	c  988s |      26 | 13311602 | 10487852 |      865  30144 |        0 |        0
990.03/990.35	c  990s |      26 | 13339678 | 10509752 |      865  30195 |        0 |        0
992.04/992.35	c  992s |      26 | 13367171 | 10531152 |      865  30243 |        0 |        0
994.03/994.35	c  994s |      26 | 13394944 | 10552052 |      865  30291 |        0 |        0
996.03/996.35	c  996s |      26 | 13419022 | 10571652 |      865  30336 |        0 |        0
998.03/998.36	c  998s |      26 | 13441875 | 10590852 |      865  30379 |        0 |        0
1000.03/1000.37	c 1000s |      26 | 13466404 | 10610552 |      865  30424 |        0 |        0
1002.03/1002.37	c 1002s |      26 | 13491265 | 10630852 |      865  30470 |        0 |        0
1004.03/1004.38	c 1004s |      26 | 13515810 | 10650852 |      865  30515 |        0 |        0
1006.03/1006.40	c 1006s |      26 | 13543061 | 10671552 |      865  30563 |        0 |        0
1008.12/1008.40	c 1008s |      26 | 13568530 | 10691552 |      865  30608 |        0 |        0
1010.12/1010.41	c 1010s |      26 | 13593539 | 10711852 |      865  30654 |        0 |        0
1012.12/1012.41	c 1012s |      26 | 13619137 | 10732352 |      865  30701 |        0 |        0
1014.12/1014.41	c 1014s |      26 | 13648440 | 10753652 |      865  30749 |        0 |        0
1016.12/1016.42	c 1016s |      26 | 13671977 | 10773352 |      865  30794 |        0 |        0
1018.12/1018.42	c 1018s |      26 | 13697738 | 10794052 |      865  30841 |        0 |        0
1020.11/1020.42	c 1020s |      26 | 13721631 | 10813852 |      865  30886 |        0 |        0
1022.11/1022.43	c 1022s |      26 | 13744085 | 10833152 |      865  30930 |        0 |        0
1024.11/1024.43	c 1024s |      26 | 13767533 | 10852652 |      865  30974 |        0 |        0
1026.12/1026.43	c 1026s |      26 | 13790003 | 10871452 |      865  31017 |        0 |        0
1028.11/1028.44	c 1028s |      26 | 13812485 | 10890252 |      865  31060 |        0 |        0
1030.11/1030.44	c 1030s |      26 | 13836432 | 10909752 |      865  31104 |        0 |        0
1032.11/1032.45	c 1032s |      26 | 13862541 | 10930552 |      865  31151 |        0 |        0
1034.11/1034.46	c 1034s |      26 | 13890715 | 10952252 |      865  31201 |        0 |        0
1036.11/1036.46	c 1036s |      26 | 13922393 | 10974952 |      865  31252 |        0 |        0
1038.11/1038.47	c 1038s |      26 | 13952850 | 10997052 |      865  31303 |        0 |        0
1040.10/1040.47	c 1040s |      26 | 13981050 | 11018352 |      865  31351 |        0 |        0
1042.10/1042.48	c 1042s |      26 | 14006741 | 11038652 |      865  31397 |        0 |        0
1044.10/1044.49	c 1044s |      26 | 14031034 | 11058152 |      865  31442 |        0 |        0
1046.10/1046.49	c 1046s |      26 | 14058286 | 11078852 |      865  31489 |        0 |        0
1048.20/1048.50	c 1048s |      26 | 14085155 | 11099152 |      865  31535 |        0 |        0
1050.20/1050.51	c 1050s |      26 | 14107873 | 11118052 |      865  31577 |        0 |        0
1052.20/1052.51	c 1052s |      26 | 14130207 | 11136952 |      865  31620 |        0 |        0
1054.19/1054.52	c 1054s |      26 | 14153205 | 11155852 |      865  31663 |        0 |        0
1056.19/1056.53	c 1056s |      26 | 14174787 | 11174052 |      865  31704 |        0 |        0
1058.19/1058.53	c 1058s |      26 | 14196462 | 11192452 |      865  31746 |        0 |        0
1060.19/1060.53	c 1060s |      26 | 14218065 | 11211152 |      865  31788 |        0 |        0
1062.19/1062.53	c 1062s |      26 | 14239424 | 11229552 |      865  31830 |        0 |        0
1064.19/1064.54	c 1064s |      26 | 14262333 | 11248652 |      865  31873 |        0 |        0
1066.19/1066.54	c 1066s |      26 | 14285332 | 11267552 |      865  31916 |        0 |        0
1068.18/1068.54	c 1068s |      26 | 14308261 | 11286352 |      865  31959 |        0 |        0
1070.18/1070.55	c 1070s |      26 | 14334257 | 11306252 |      865  32004 |        0 |        0
1072.19/1072.55	c 1072s |      26 | 14357804 | 11324952 |      952  32044 |        0 |        0
1074.18/1074.55	c 1074s |      26 | 14382114 | 11343852 |      952  32083 |        0 |        0
1076.19/1076.56	c 1076s |      26 | 14405324 | 11362552 |      952  32122 |        0 |        0
1078.19/1078.57	c 1078s |      26 | 14429848 | 11381352 |      952  32161 |        0 |        0
1079.79/1080.20	c 1080s |      27 | 14448754 | 11396733 |      952  32193 |        0 |        0
1081.89/1082.20	c 1082s |      27 | 14474655 | 11417033 |      952  32235 |        0 |        0
1083.89/1084.21	c 1084s |      27 | 14501097 | 11437233 |      952  32276 |        0 |        0
1085.88/1086.22	c 1086s |      27 | 14532492 | 11459333 |      952  32322 |        0 |        0
1087.88/1088.22	c 1088s |      27 | 14562307 | 11481233 |      952  32368 |        0 |        0
1089.88/1090.23	c 1090s |      27 | 14591707 | 11502833 |      952  32413 |        0 |        0
1091.88/1092.24	c 1092s |      27 | 14623010 | 11525033 |      952  32459 |        0 |        0
1093.88/1094.24	c 1094s |      27 | 14649673 | 11545133 |      952  32500 |        0 |        0
1095.87/1096.25	c 1096s |      27 | 14676875 | 11565633 |      952  32543 |        0 |        0
1097.87/1098.26	c 1098s |      27 | 14704367 | 11586533 |      952  32586 |        0 |        0
1099.87/1100.26	c 1100s |      27 | 14732918 | 11607533 |      952  32629 |        0 |        0
1101.87/1102.27	c 1102s |      27 | 14759865 | 11627933 |      952  32672 |        0 |        0
1103.87/1104.28	c 1104s |      27 | 14786080 | 11648433 |      952  32714 |        0 |        0
1105.87/1106.29	c 1106s |      27 | 14815170 | 11670133 |      952  32759 |        0 |        0
1107.86/1108.29	c 1108s |      27 | 14838474 | 11689133 |      952  32799 |        0 |        0
1109.96/1110.31	c 1110s |      27 | 14866118 | 11709833 |      952  32842 |        0 |        0
1111.96/1112.31	c 1112s |      27 | 14896156 | 11731333 |      952  32886 |        0 |        0
1113.98/1114.32	c 1114s |      27 | 14926744 | 11753033 |      952  32931 |        0 |        0
1115.97/1116.32	c 1116s |      27 | 14953006 | 11773933 |      952  32975 |        0 |        0
1117.97/1118.33	c 1118s |      27 | 14979048 | 11794633 |      952  33018 |        0 |        0
1119.97/1120.33	c 1120s |      27 | 15005924 | 11815233 |      952  33061 |        0 |        0
1121.97/1122.34	c 1122s |      27 | 15036289 | 11837333 |      952  33107 |        0 |        0
1123.97/1124.34	c 1124s |      27 | 15066198 | 11859133 |      952  33152 |        0 |        0
1125.97/1126.34	c 1126s |      27 | 15096751 | 11881133 |      952  33198 |        0 |        0
1127.96/1128.35	c 1128s |      27 | 15127110 | 11902733 |      952  33243 |        0 |        0
1129.96/1130.35	c 1130s |      27 | 15156347 | 11924433 |      952  33288 |        0 |        0
1131.96/1132.36	c 1132s |      27 | 15189948 | 11947533 |      952  33336 |        0 |        0
1133.96/1134.36	c 1134s |      27 | 15218879 | 11968933 |      952  33381 |        0 |        0
1135.97/1136.37	c 1136s |      27 | 15250089 | 11991033 |      952  33427 |        0 |        0
1137.96/1138.37	c 1138s |      27 | 15280631 | 12013133 |      952  33473 |        0 |        0
1139.95/1140.37	c 1140s |      27 | 15309893 | 12035133 |      952  33518 |        0 |        0
1141.95/1142.38	c 1142s |      27 | 15339214 | 12056433 |      952  33563 |        0 |        0
1143.95/1144.39	c 1144s |      27 | 15367209 | 12077733 |      952  33607 |        0 |        0
1145.96/1146.39	c 1146s |      27 | 15395743 | 12099133 |      952  33652 |        0 |        0
1147.95/1148.40	c 1148s |      27 | 15425528 | 12120433 |      952  33696 |        0 |        0
1150.05/1150.40	c 1150s |      27 | 15452058 | 12141433 |      952  33740 |        0 |        0
1152.05/1152.41	c 1152s |      27 | 15483885 | 12163833 |      952  33787 |        0 |        0
1154.05/1154.41	c 1154s |      27 | 15512693 | 12185033 |      952  33831 |        0 |        0
1156.05/1156.41	c 1156s |      27 | 15541585 | 12206333 |      952  33875 |        0 |        0
1158.05/1158.41	c 1158s |      27 | 15567928 | 12226833 |      952  33918 |        0 |        0
1160.04/1160.42	c 1160s |      27 | 15598040 | 12248333 |      952  33963 |        0 |        0
1162.04/1162.42	c 1162s |      27 | 15627160 | 12269633 |      952  34007 |        0 |        0
1164.04/1164.43	c 1164s |      27 | 15655900 | 12291033 |      952  34052 |        0 |        0
1166.04/1166.43	c 1166s |      27 | 15682401 | 12311533 |      952  34094 |        0 |        0
1168.03/1168.44	c 1168s |      27 | 15707183 | 12331033 |      952  34135 |        0 |        0
1170.04/1170.44	c 1170s |      27 | 15730307 | 12349933 |      952  34174 |        0 |        0
1172.03/1172.45	c 1172s |      27 | 15754951 | 12369633 |      952  34215 |        0 |        0
1174.03/1174.45	c 1174s |      27 | 15782196 | 12390633 |      952  34259 |        0 |        0
1176.03/1176.46	c 1176s |      27 | 15809845 | 12411633 |      952  34303 |        0 |        0
1178.03/1178.46	c 1178s |      27 | 15835425 | 12431733 |      952  34345 |        0 |        0
1180.03/1180.47	c 1180s |      27 | 15864541 | 12453233 |      952  34390 |        0 |        0
1182.02/1182.47	c 1182s |      27 | 15893824 | 12474933 |      952  34435 |        0 |        0
1184.02/1184.47	c 1184s |      27 | 15920471 | 12495433 |      952  34478 |        0 |        0
1186.02/1186.48	c 1186s |      27 | 15946829 | 12515633 |      952  34520 |        0 |        0
1188.02/1188.48	c 1188s |      27 | 15972725 | 12535733 |      952  34562 |        0 |        0
1190.02/1190.49	c 1190s |      27 | 15996247 | 12554533 |      952  34601 |        0 |        0
1192.02/1192.50	c 1192s |      27 | 16019267 | 12573233 |      952  34640 |        0 |        0
1194.12/1194.51	c 1194s |      27 | 16045222 | 12593333 |      952  34682 |        0 |        0
1196.12/1196.51	c 1196s |      27 | 16070170 | 12613233 |      952  34723 |        0 |        0
1198.11/1198.52	c 1198s |      27 | 16098227 | 12634333 |      952  34767 |        0 |        0
1200.11/1200.52	c 1200s |      27 | 16126061 | 12655433 |      952  34811 |        0 |        0
1202.11/1202.53	c 1202s |      27 | 16152896 | 12676033 |      952  34854 |        0 |        0
1204.12/1204.53	c 1204s |      27 | 16182147 | 12697733 |      952  34899 |        0 |        0
1206.11/1206.54	c 1206s |      27 | 16209202 | 12718633 |      952  34943 |        0 |        0
1208.11/1208.54	c 1208s |      27 | 16239011 | 12740733 |      952  34989 |        0 |        0
1210.11/1210.55	c 1210s |      27 | 16265758 | 12761633 |      952  35033 |        0 |        0
1212.11/1212.55	c 1212s |      27 | 16293520 | 12782733 |      952  35077 |        0 |        0
1214.11/1214.55	c 1214s |      27 | 16321871 | 12804033 |      952  35121 |        0 |        0
1216.11/1216.55	c 1216s |      27 | 16351445 | 12825533 |      952  35165 |        0 |        0
1218.10/1218.56	c 1218s |      27 | 16381903 | 12847533 |      952  35211 |        0 |        0
1220.10/1220.56	c 1220s |      27 | 16411519 | 12868833 |      952  35255 |        0 |        0
1222.10/1222.57	c 1222s |      27 | 16438404 | 12889133 |      952  35297 |        0 |        0
1224.10/1224.58	c 1224s |      27 | 16469841 | 12911033 |      952  35342 |        0 |        0
1226.10/1226.58	c 1226s |      27 | 16498981 | 12932233 |      952  35386 |        0 |        0
1228.09/1228.58	c 1228s |      27 | 16527511 | 12953333 |      952  35430 |        0 |        0
1230.09/1230.59	c 1230s |      27 | 16556726 | 12974733 |      952  35475 |        0 |        0
1232.19/1232.60	c 1232s |      27 | 16583658 | 12995333 |      952  35518 |        0 |        0
1234.19/1234.60	c 1234s |      27 | 16614347 | 13017333 |      952  35563 |        0 |        0
1236.19/1236.60	c 1236s |      27 | 16643686 | 13039033 |      952  35608 |        0 |        0
1238.20/1238.61	c 1238s |      27 | 16674038 | 13061633 |      952  35655 |        0 |        0
1240.19/1240.61	c 1240s |      27 | 16700606 | 13082633 |      952  35699 |        0 |        0
1242.19/1242.62	c 1242s |      27 | 16725283 | 13102633 |      952  35741 |        0 |        0
1244.19/1244.63	c 1244s |      27 | 16750605 | 13122833 |      952  35783 |        0 |        0
1246.19/1246.64	c 1246s |      27 | 16781001 | 13144933 |      952  35829 |        0 |        0
1248.19/1248.65	c 1248s |      27 | 16810377 | 13166533 |      952  35874 |        0 |        0
1250.19/1250.66	c 1250s |      27 | 16843017 | 13189333 |      952  35921 |        0 |        0
1252.18/1252.66	c 1252s |      27 | 16872807 | 13211033 |      952  35966 |        0 |        0
1254.18/1254.67	c 1254s |      27 | 16903589 | 13233333 |      952  36012 |        0 |        0
1256.18/1256.68	c 1256s |      27 | 16931294 | 13253333 |      952  36054 |        0 |        0
1258.18/1258.68	c 1258s |      27 | 16961331 | 13274633 |      952  36098 |        0 |        0
1260.18/1260.69	c 1260s |      27 | 16992833 | 13296933 |      952  36144 |        0 |        0
1262.28/1262.70	c 1262s |      27 | 17021564 | 13317933 |      952  36188 |        0 |        0
1264.27/1264.70	c 1264s |      27 | 17048384 | 13338133 |      952  36230 |        0 |        0
1266.27/1266.71	c 1266s |      27 | 17076031 | 13358533 |      952  36272 |        0 |        0
1268.27/1268.71	c 1268s |      27 | 17102460 | 13378533 |      952  36313 |        0 |        0
1270.27/1270.72	c 1270s |      27 | 17131020 | 13399733 |      952  36357 |        0 |        0
1272.27/1272.72	c 1272s |      27 | 17158887 | 13420033 |      952  36399 |        0 |        0
1274.27/1274.72	c 1274s |      27 | 17187333 | 13441233 |      952  36443 |        0 |        0
1276.27/1276.73	c 1276s |      27 | 17213599 | 13461533 |      952  36485 |        0 |        0
1278.26/1278.74	c 1278s |      27 | 17236770 | 13480833 |      952  36525 |        0 |        0
1280.26/1280.74	c 1280s |      27 | 17262904 | 13500933 |      952  36567 |        0 |        0
1282.27/1282.75	c 1282s |      27 | 17291472 | 13522533 |      952  36612 |        0 |        0
1284.26/1284.76	c 1284s |      27 | 17319269 | 13543433 |      952  36655 |        0 |        0
1286.26/1286.76	c 1286s |      27 | 17346833 | 13563833 |      952  36698 |        0 |        0
1288.25/1288.76	c 1288s |      27 | 17373260 | 13583933 |      952  36739 |        0 |        0
1290.25/1290.77	c 1290s |      27 | 17398213 | 13603433 |      952  36780 |        0 |        0
1292.25/1292.77	c 1292s |      27 | 17427025 | 13624033 |      952  36822 |        0 |        0
1294.26/1294.77	c 1294s |      27 | 17453831 | 13643833 |      952  36863 |        0 |        0
1296.25/1296.78	c 1296s |      27 | 17482424 | 13664733 |      952  36906 |        0 |        0
1298.25/1298.78	c 1298s |      27 | 17512850 | 13686533 |      952  36951 |        1 |        0
1300.25/1300.79	c 1300s |      27 | 17538353 | 13706533 |      952  36992 |        1 |        0
1302.35/1302.80	c 1302s |      27 | 17565089 | 13727133 |      952  37034 |        1 |        0
1304.35/1304.81	c 1304s |      27 | 17595068 | 13748633 |      952  37079 |        1 |        0
1306.35/1306.82	c 1306s |      27 | 17620560 | 13768633 |      952  37120 |        1 |        0
1308.35/1308.82	c 1308s |      27 | 17644141 | 13787733 |      952  37160 |        1 |        0
1310.35/1310.82	c 1310s |      27 | 17670965 | 13807833 |      952  37201 |        1 |        0
1312.35/1312.83	c 1312s |      27 | 17699071 | 13828433 |      952  37244 |        1 |        0
1314.35/1314.83	c 1314s |      27 | 17726991 | 13849333 |      952  37287 |        1 |        0
1316.35/1316.83	c 1316s |      27 | 17754469 | 13869433 |      952  37329 |        1 |        0
1318.34/1318.83	c 1318s |      27 | 17782691 | 13889933 |      952  37372 |        1 |        0
1320.34/1320.84	c 1320s |      27 | 17810953 | 13910733 |      952  37415 |        1 |        0
1322.34/1322.85	c 1322s |      27 | 17836415 | 13930833 |      952  37456 |        1 |        0
1324.34/1324.85	c 1324s |      27 | 17862347 | 13950833 |      952  37498 |        1 |        0
1326.33/1326.86	c 1326s |      27 | 17888254 | 13970633 |      952  37539 |        1 |        0
1328.34/1328.87	c 1328s |      27 | 17913499 | 13990333 |      952  37579 |        1 |        0
1330.33/1330.87	c 1330s |      27 | 17938653 | 14010133 |      952  37621 |        1 |        0
1332.33/1332.87	c 1332s |      27 | 17964256 | 14030033 |      952  37662 |        1 |        0
1334.33/1334.88	c 1334s |      27 | 17989705 | 14049533 |      952  37702 |        1 |        0
1336.33/1336.88	c 1336s |      27 | 18015706 | 14069433 |      952  37744 |        1 |        0
1338.34/1338.89	c 1338s |      27 | 18039518 | 14088633 |      952  37784 |        1 |        0
1340.33/1340.90	c 1340s |      27 | 18066756 | 14109333 |      952  37827 |        1 |        0
1342.43/1342.90	c 1342s |      27 | 18094747 | 14130333 |      952  37870 |        1 |        0
1344.43/1344.91	c 1344s |      27 | 18125729 | 14151833 |      952  37915 |        1 |        0
1346.43/1346.91	c 1346s |      27 | 18155374 | 14173333 |      952  37959 |        1 |        0
1348.43/1348.91	c 1348s |      27 | 18183663 | 14194633 |      952  38004 |        1 |        0
1350.43/1350.91	c 1350s |      27 | 18213578 | 14216033 |      952  38048 |        1 |        0
1352.42/1352.92	c 1352s |      27 | 18241569 | 14236433 |      952  38090 |        1 |        0
1354.42/1354.92	c 1354s |      27 | 18269656 | 14257433 |      952  38134 |        1 |        0
1356.42/1356.93	c 1356s |      27 | 18295705 | 14277533 |      952  38176 |        1 |        0
1358.42/1358.93	c 1358s |      27 | 18319508 | 14296733 |      952  38215 |        1 |        0
1360.42/1360.93	c 1360s |      27 | 18341946 | 14315033 |      952  38253 |        1 |        0
1362.43/1362.94	c 1362s |      27 | 18363968 | 14333033 |      952  38290 |        1 |        0
1364.42/1364.95	c 1364s |      27 | 18386957 | 14351433 |      952  38328 |        1 |        0
1366.42/1366.95	c 1366s |      27 | 18407512 | 14368433 |      952  38363 |        1 |        0
1368.42/1368.96	c 1368s |      27 | 18427940 | 14385433 |      952  38398 |        1 |        0
1370.42/1370.96	c 1370s |      27 | 18450176 | 14403333 |      952  38435 |        1 |        0
1372.43/1372.96	c 1372s |      27 | 18474430 | 14422233 |      952  38474 |        1 |        0
1374.42/1374.97	c 1374s |      27 | 18495379 | 14439933 |      952  38510 |        1 |        0
1376.42/1376.98	c 1376s |      27 | 18517253 | 14457933 |      952  38547 |        1 |        0
1378.42/1378.98	c 1378s |      27 | 18538153 | 14475333 |      952  38583 |        1 |        0
1380.42/1380.98	c 1380s |      27 | 18560763 | 14493633 |      952  38621 |        1 |        0
1382.42/1382.99	c 1382s |      27 | 18583321 | 14512233 |      952  38659 |        1 |        0
1384.42/1384.99	c 1384s |      27 | 18606852 | 14531133 |      952  38698 |        1 |        0
1386.52/1387.00	c 1386s |      27 | 18627823 | 14548633 |      952  38735 |        1 |        0
1388.52/1389.01	c 1388s |      27 | 18647956 | 14566033 |      952  38770 |        1 |        0
1390.52/1391.01	c 1390s |      27 | 18669219 | 14583633 |      952  38807 |        1 |        0
1392.52/1393.02	c 1393s |      27 | 18689210 | 14601033 |      952  38843 |        1 |        0
1394.52/1395.03	c 1395s |      27 | 18709488 | 14618133 |      952  38878 |        1 |        0
1396.52/1397.03	c 1397s |      27 | 18730559 | 14635633 |      952  38914 |        1 |        0
1398.52/1399.03	c 1399s |      27 | 18750636 | 14652533 |      952  38949 |        1 |        0
1400.52/1401.04	c 1401s |      27 | 18770899 | 14669833 |      952  38985 |        1 |        0
1402.51/1403.05	c 1403s |      27 | 18791857 | 14687533 |      952  39021 |        1 |        0
1404.51/1405.05	c 1405s |      27 | 18812807 | 14705233 |      952  39058 |        1 |        0
1406.53/1407.05	c 1407s |      27 | 18835101 | 14723233 |      952  39095 |        1 |        0
1408.52/1409.05	c 1409s |      27 | 18856113 | 14740733 |      952  39131 |        1 |        0
1410.52/1411.06	c 1411s |      27 | 18879635 | 14758933 |      952  39169 |        1 |        0
1412.52/1413.07	c 1413s |      27 | 18899805 | 14776033 |      952  39204 |        1 |        0
1414.52/1415.08	c 1415s |      27 | 18922931 | 14794433 |      952  39242 |        1 |        0
1416.52/1417.08	c 1417s |      27 | 18944405 | 14812133 |      952  39279 |        1 |        0
1418.52/1419.09	c 1419s |      27 | 18965130 | 14829433 |      952  39314 |        1 |        0
1420.52/1421.09	c 1421s |      27 | 18985351 | 14846433 |      952  39350 |        1 |        0
1422.52/1423.09	c 1423s |      27 | 19007051 | 14864133 |      952  39386 |        1 |        0
1424.62/1425.10	c 1425s |      27 | 19027792 | 14881333 |      952  39421 |        1 |        0
1426.62/1427.10	c 1427s |      27 | 19048293 | 14898733 |      952  39457 |        1 |        0
1428.62/1429.11	c 1429s |      27 | 19073235 | 14918233 |      952  39497 |        1 |        0
1430.62/1431.11	c 1431s |      27 | 19100944 | 14938933 |      952  39540 |        1 |        0
1432.62/1433.12	c 1433s |      27 | 19125002 | 14957833 |      952  39579 |        1 |        0
1434.61/1435.12	c 1435s |      27 | 19147983 | 14975933 |      952  39617 |        1 |        0
1436.61/1437.12	c 1437s |      27 | 19171841 | 14994933 |      952  39656 |        1 |        0
1438.61/1439.13	c 1439s |      27 | 19197640 | 15014733 |      952  39697 |        1 |        0
1440.62/1441.14	c 1441s |      27 | 19223647 | 15034233 |      952  39737 |        1 |        0
1442.61/1443.14	c 1443s |      27 | 19248903 | 15053933 |      952  39778 |        1 |        0
1444.61/1445.14	c 1445s |      27 | 19273603 | 15073033 |      952  39817 |        1 |        0
1446.61/1447.15	c 1447s |      27 | 19297840 | 15092033 |      952  39857 |        1 |        0
1448.61/1449.15	c 1449s |      27 | 19320341 | 15110433 |      952  39895 |        1 |        0
1450.61/1451.16	c 1451s |      27 | 19343518 | 15129233 |      952  39934 |        1 |        0
1452.62/1453.16	c 1453s |      27 | 19367675 | 15148233 |      952  39973 |        1 |        0
1454.61/1455.16	c 1455s |      27 | 19391333 | 15166833 |      952  40011 |        1 |        0
1456.61/1457.17	c 1457s |      27 | 19417170 | 15185933 |      952  40051 |        1 |        0
1458.61/1459.17	c 1459s |      27 | 19438805 | 15203833 |      952  40087 |        1 |        0
1460.61/1461.17	c 1461s |      27 | 19460947 | 15221733 |      952  40124 |        1 |        0
1462.61/1463.18	c 1463s |      27 | 19483684 | 15239933 |      952  40162 |        1 |        0
1464.61/1465.18	c 1465s |      27 | 19506809 | 15257933 |      952  40199 |        1 |        0
1466.61/1467.18	c 1467s |      27 | 19528300 | 15275533 |      952  40235 |        1 |        0
1468.61/1469.19	c 1469s |      27 | 19551634 | 15293733 |      952  40273 |        1 |        0
1470.61/1471.19	c 1471s |      27 | 19573856 | 15311433 |      952  40309 |        2 |        0
1472.71/1473.20	c 1473s |      27 | 19597107 | 15330133 |      952  40348 |        2 |        0
1474.71/1475.21	c 1475s |      27 | 19619015 | 15348233 |      952  40385 |        2 |        0
1476.71/1477.22	c 1477s |      27 | 19641739 | 15366433 |      952  40423 |        2 |        0
1478.71/1479.23	c 1479s |      27 | 19666923 | 15386133 |      952  40463 |        2 |        0
1480.70/1481.23	c 1481s |      27 | 19692332 | 15405833 |      952  40504 |        2 |        0
1482.70/1483.23	c 1483s |      27 | 19719681 | 15426233 |      952  40546 |        2 |        0
1484.70/1485.24	c 1485s |      27 | 19746826 | 15446733 |      952  40589 |        2 |        0
1486.71/1487.25	c 1487s |      27 | 19771695 | 15466433 |      952  40629 |        2 |        0
1488.70/1489.26	c 1489s |      27 | 19796612 | 15486333 |      952  40670 |        2 |        0
1490.70/1491.26	c 1491s |      27 | 19820509 | 15505133 |      952  40709 |        2 |        0
1492.70/1493.27	c 1493s |      27 | 19845687 | 15524433 |      952  40749 |        2 |        0
1494.70/1495.27	c 1495s |      27 | 19871517 | 15544033 |      952  40790 |        2 |        0
1496.71/1497.27	c 1497s |      27 | 19894318 | 15562533 |      952  40828 |        2 |        0
1498.70/1499.28	c 1499s |      27 | 19919678 | 15582133 |      952  40868 |        2 |        0
1500.70/1501.28	c 1501s |      27 | 19944169 | 15601133 |      952  40907 |        2 |        0
1502.70/1503.29	c 1503s |      27 | 19969874 | 15620633 |      952  40947 |        2 |        0
1504.81/1505.30	c 1505s |      27 | 19995456 | 15639733 |      952  40987 |        2 |        0
1506.81/1507.30	c 1507s |      27 | 20020970 | 15659233 |      952  41027 |        2 |        0
1508.81/1509.31	c 1509s |      27 | 20046617 | 15679033 |      952  41068 |        2 |        0
1510.81/1511.32	c 1511s |      27 | 20072176 | 15698633 |      952  41108 |        2 |        0
1512.81/1513.32	c 1513s |      27 | 20096891 | 15717733 |      952  41148 |        2 |        0
1514.81/1515.32	c 1515s |      27 | 20124181 | 15738233 |      952  41190 |        2 |        0
1516.81/1517.33	c 1517s |      27 | 20151258 | 15758533 |      952  41232 |        2 |        0
1518.81/1519.34	c 1519s |      27 | 20179791 | 15778933 |      952  41274 |        2 |        0
1520.81/1521.34	c 1521s |      27 | 20208632 | 15799633 |      952  41317 |        2 |        0
1522.80/1523.35	c 1523s |      27 | 20235476 | 15819833 |      952  41359 |        2 |        0
1524.80/1525.35	c 1525s |      27 | 20260696 | 15839533 |      952  41400 |        2 |        0
1526.80/1527.35	c 1527s |      27 | 20284872 | 15858833 |      952  41440 |        2 |        0
1528.80/1529.35	c 1529s |      27 | 20309061 | 15877933 |      952  41479 |        2 |        0
1530.81/1531.36	c 1531s |      27 | 20331989 | 15896933 |      952  41519 |        2 |        0
1532.80/1533.38	c 1533s |      27 | 20355151 | 15915833 |      952  41558 |        2 |        0
1534.80/1535.39	c 1535s |      27 | 20381068 | 15935633 |      952  41598 |        2 |        0
1536.80/1537.39	c 1537s |      27 | 20407568 | 15955833 |      952  41640 |        2 |        0
1538.90/1539.40	c 1539s |      27 | 20433608 | 15975633 |      952  41681 |        2 |        0
1540.90/1541.40	c 1541s |      27 | 20460052 | 15996033 |      952  41723 |        2 |        0
1542.91/1543.41	c 1543s |      27 | 20486389 | 16016233 |      952  41765 |        2 |        0
1544.90/1545.41	c 1545s |      27 | 20511210 | 16035533 |      952  41805 |        2 |        0
1546.90/1547.41	c 1547s |      27 | 20533841 | 16053933 |      952  41843 |        2 |        0
1548.90/1549.41	c 1549s |      27 | 20557121 | 16072733 |      952  41881 |        2 |        0
1550.90/1551.42	c 1551s |      27 | 20582096 | 16092633 |      952  41922 |        2 |        0
1552.90/1553.42	c 1553s |      27 | 20608928 | 16113433 |      952  41966 |        2 |        0
1554.90/1555.43	c 1555s |      27 | 20638200 | 16135233 |      952  42011 |        2 |        0
1556.90/1557.43	c 1557s |      27 | 20667861 | 16157533 |      952  42057 |        2 |        0
1558.90/1559.44	c 1559s |      27 | 20695338 | 16178733 |      952  42101 |        2 |        0
1560.89/1561.45	c 1561s |      27 | 20719916 | 16198433 |      952  42141 |        3 |        0
1562.89/1563.45	c 1563s |      27 | 20744651 | 16218533 |      952  42182 |        3 |        0
1564.90/1565.46	c 1565s |      27 | 20770375 | 16238633 |      952  42224 |        3 |        0
1566.89/1567.47	c 1567s |      27 | 20795363 | 16258433 |      952  42265 |        3 |        0
1568.89/1569.47	c 1569s |      27 | 20820081 | 16278033 |      952  42305 |        3 |        0
1570.89/1571.48	c 1571s |      27 | 20846481 | 16297933 |      952  42346 |        3 |        0
1572.89/1573.48	c 1573s |      27 | 20871148 | 16317333 |      952  42386 |        3 |        0
1574.89/1575.48	c 1575s |      27 | 20898798 | 16338433 |      952  42430 |        3 |        0
1576.90/1577.49	c 1577s |      27 | 20927440 | 16359533 |      952  42474 |        3 |        0
1578.89/1579.49	c 1579s |      27 | 20954794 | 16380133 |      952  42517 |        3 |        0
1580.89/1581.50	c 1581s |      27 | 20984664 | 16401933 |      952  42562 |        3 |        0
1582.99/1583.50	c 1583s |      27 | 21013634 | 16423133 |      952  42606 |        3 |        0
1584.99/1585.51	c 1585s |      27 | 21043059 | 16444233 |      952  42649 |        3 |        0
1586.99/1587.52	c 1587s |      27 | 21073657 | 16466533 |      952  42695 |        4 |        0
1588.99/1589.52	c 1589s |      27 | 21101458 | 16487633 |      952  42738 |        4 |        0
1590.99/1591.52	c 1591s |      27 | 21129944 | 16509233 |      952  42783 |        4 |        0
1592.99/1593.53	c 1593s |      27 | 21156790 | 16530033 |      952  42826 |        4 |        0
1594.99/1595.54	c 1595s |      27 | 21186531 | 16552033 |      952  42872 |        4 |        0
1596.99/1597.54	c 1597s |      27 | 21214434 | 16573433 |      952  42916 |        4 |        0
1598.99/1599.54	c 1599s |      27 | 21243413 | 16595433 |      952  42961 |        4 |        0
1600.99/1601.55	c 1601s |      27 | 21272087 | 16617133 |      952  43006 |        4 |        0
1602.99/1603.55	c 1603s |      27 | 21299464 | 16638633 |      952  43050 |        5 |        0
1604.99/1605.56	c 1605s |      27 | 21324561 | 16658733 |      952  43091 |        5 |        0
1606.98/1607.56	c 1607s |      27 | 21352765 | 16679833 |      952  43135 |        6 |        0
1608.98/1609.57	c 1609s |      27 | 21383430 | 16702433 |      952  43181 |        6 |        0
1610.99/1611.58	c 1611s |      27 | 21413640 | 16724633 |      952  43227 |        8 |        0
1612.28/1612.84	c 1612s |      27 | 21433610 | 16739458 |      952  43254 |       46 |        0
1612.28/1612.84	c #cpu_time = 1612.518s
1612.28/1612.84	c #wall_clock_time = 1612.823s
1612.28/1612.84	c #decision = 21433610
1612.28/1612.84	c #random_decision = 89495
1612.28/1612.84	c #conflict = 16739458
1612.28/1612.84	c #restart = 27
1612.28/1612.84	s UNSATISFIABLE
1612.28/1612.84	c total CPU time = 1612.534s
1612.28/1612.84	c total wall clock time = 1612.839s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4121274-1467313972/watcher-4121274-1467313972 -o /tmp/evaluation-result-4121274-1467313972/solver-4121274-1467313972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121274-1467313972.opb 

pid=20988
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.20 2.13 2.05 3/177 20991
/proc/meminfo: memFree=29426844/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 731 0 0 0 0 0 0 0 20 0 4 0 12500996 246870016 580 33554432000 4194304 16246674 140734166277040 140734166276464 12874965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 60271 585 426 2943 0 57165 0
[pid=20991/tid=20992] ppid=20988 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 246870016 608 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 246870016 616 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12500997 246870016 624 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.20 2.13 2.05 3/177 20991
/proc/meminfo: memFree=29426844/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 23242 0 0 0 6 2 0 0 20 0 4 0 12500996 1247350784 23081 33554432000 4194304 16246674 140734166277040 140734166276464 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 304529 23088 708 2943 0 301423 0
[pid=20991/tid=20992] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 23096 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 23102 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 23108 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200443 s]
/proc/loadavg: 2.20 2.13 2.05 3/177 20991
/proc/meminfo: memFree=29426844/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 45651 0 0 0 13 6 0 0 20 0 4 0 12500996 1247350784 45489 33554432000 4194304 16246674 140734166277040 140734166276464 5722381 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 304529 45502 708 2943 0 301423 0
[pid=20991/tid=20992] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 45510 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 45517 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 45523 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300391 s]
/proc/loadavg: 2.20 2.13 2.05 3/177 20991
/proc/meminfo: memFree=29426844/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 67693 0 0 0 19 9 0 0 20 0 4 0 12500996 1247350784 67532 33554432000 4194304 16246674 140734166277040 140734166276464 5589077 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 304529 67546 708 2943 0 301423 0
[pid=20991/tid=20992] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 67551 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 67557 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 67562 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700341 s]
/proc/loadavg: 2.20 2.13 2.05 3/177 20991
/proc/meminfo: memFree=29426844/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 154307 0 0 0 47 22 0 0 20 0 4 0 12500996 1247350784 154145 33554432000 4194304 16246674 140734166277040 140734166258944 12477891 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 304529 154155 709 2943 0 301423 0
[pid=20991/tid=20992] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 154160 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 154168 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 154174 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 2.18 2.12 2.05 3/181 20995
/proc/meminfo: memFree=28471288/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 245478 0 0 0 114 35 0 0 20 0 4 0 12500996 1247350784 245296 33554432000 4194304 16246674 140734166277040 140734166276352 5523666 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 304529 245296 784 2943 0 301423 0
[pid=20991/tid=20992] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 245296 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 245296 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1247350784 245296 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10035 s]
/proc/loadavg: 2.18 2.12 2.05 3/181 20995
/proc/meminfo: memFree=28358456/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267380 0 0 0 271 38 0 0 20 0 4 0 12500996 1337528320 267198 33554432000 4194304 16246674 140734166277040 140734166260040 6075208 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267198 784 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267198 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267198 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267198 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.17 2.12 2.05 3/181 20995
/proc/meminfo: memFree=28359092/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267393 0 0 0 591 38 0 0 20 0 4 0 12500996 1337528320 267211 33554432000 4194304 16246674 140734166277040 140734166258944 5545796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267211 786 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267211 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267211 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267211 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7003 s]
/proc/loadavg: 2.15 2.12 2.05 3/181 20995
/proc/meminfo: memFree=28359636/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267422 0 0 0 1230 38 0 0 20 0 4 0 12500996 1337528320 267240 33554432000 4194304 16246674 140734166277040 140734166258944 5829335 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267240 786 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267240 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267240 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267240 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.12 2.11 2.05 3/181 20995
/proc/meminfo: memFree=28359528/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267423 0 0 0 2510 38 0 0 20 0 4 0 12500996 1337528320 267241 33554432000 4194304 16246674 140734166277040 140734166258944 6075208 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267241 786 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267241 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267241 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267241 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.08 2.10 2.05 3/181 20995
/proc/meminfo: memFree=28359116/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267424 0 0 0 5070 38 0 0 20 0 4 0 12500996 1337528320 267242 33554432000 4194304 16246674 140734166277040 140734166260040 5823266 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267242 786 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267242 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267242 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267242 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/181 20996
/proc/meminfo: memFree=28358712/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 267431 0 0 0 10189 39 0 0 20 0 4 0 12500996 1337528320 267249 33554432000 4194304 16246674 140734166277040 140734166260040 5523139 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20991/statm: 326545 267249 786 2943 0 323439 0
[pid=20991/tid=20992] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267249 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267249 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1337528320 267249 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268136 0 0 0 136130 52 0 0 20 0 4 0 12500996 1338576896 267778 33554432000 4194304 16246674 140734166277040 140734166260040 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267778 787 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/181 21029
/proc/meminfo: memFree=28351460/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1421.82 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268136 0 0 0 142129 53 0 0 20 0 4 0 12500996 1338576896 267778 33554432000 4194304 16246674 140734166277040 140734166260040 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267778 787 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/181 21030
/proc/meminfo: memFree=28351464/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1481.8 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268136 0 0 0 148127 53 0 0 20 0 4 0 12500996 1338576896 267778 33554432000 4194304 16246674 140734166277040 140734166258944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267778 787 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.02 3/181 21031
/proc/meminfo: memFree=28349976/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1541.81 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268136 0 0 0 154127 54 0 0 20 0 4 0 12500996 1338576896 267778 33554432000 4194304 16246674 140734166277040 140734166260040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267778 787 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267778 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1601.79 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 160125 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 5823538 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1606.4 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1605.88 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 160534 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 5717716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1605.88
Current children cumulated vsize (KiB) 1307204

[startup+1609.6 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1609.08 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 160854 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 6836333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1609.08
Current children cumulated vsize (KiB) 1307204

[startup+1611.2 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1610.68 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 161014 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 6010056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1610.68
Current children cumulated vsize (KiB) 1307204

[startup+1612 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1611.48 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 161094 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1611.48
Current children cumulated vsize (KiB) 1307204

[startup+1612.4 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1611.88 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 161134 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1611.88
Current children cumulated vsize (KiB) 1307204

[startup+1612.8 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21032
/proc/meminfo: memFree=28350220/32872528 swapFree=447588/480292
[pid=20991] ppid=20988 vsize=1307204 CPUtime=1612.28 cores=0,2,4,6
/proc/20991/stat : 20991 (toysat) R 20988 20991 16080 0 -1 4202496 268137 0 0 0 161174 54 0 0 20 0 4 0 12500996 1338576896 267779 33554432000 4194304 16246674 140734166277040 140734166260040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20991/statm: 326801 267779 788 2943 0 323695 0
[pid=20991/tid=20992] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20992/stat : 20992 (toysat) S 20988 20991 16080 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058288958704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20991/tid=20993] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20993/stat : 20993 (toysat) S 20988 20991 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058278468848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20991/tid=20994] ppid=20988 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20991/task/20994/stat : 20994 (toysat) S 20988 20991 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12500997 1338576896 267779 33554432000 4194304 16246674 140734166277040 140058267995312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1612.28
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 1612.85
CPU time (s): 1612.35
CPU user time (s): 1611.79
CPU system time (s): 0.552915
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1611.79
system time used= 0.552915
maximum resident set size= 1071128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268143
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= 449
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95325 second user time and 5.14522 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 21:12:52
IDJOB=4121274
IDBENCH=110385
IDSOLVER=2542
FILE ID=node104/4121274-1467313972
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121274-1467313972/watcher-4121274-1467313972 -o /tmp/evaluation-result-4121274-1467313972/solver-4121274-1467313972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121274-1467313972.opb

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

MD5SUM BENCH= 46e5d703d313cb17075430b317281136
RANDOM SEED=597110055

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29427712 kB
Buffers:          196956 kB
Cached:           936104 kB
SwapCached:            0 kB
Active:          1426856 kB
Inactive:         793344 kB
Active(anon):    1089972 kB
Inactive(anon):        0 kB
Active(file):     336884 kB
Inactive(file):   793344 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16664 kB
Writeback:             0 kB
AnonPages:       1567460 kB
Mapped:            16360 kB
Shmem:               204 kB
Slab:             611708 kB
SReclaimable:      55500 kB
SUnreclaim:       556208 kB
KernelStack:        1504 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1689892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node104 at 2016-06-30 21:39:45