Trace number 4120610

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 1197.45 1197.85

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n94-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUM11b06e35d269e58f9902509b92ba9c1f
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 benchmark6.533
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables141
Total number of constraints376
Number of constraints which are clauses376
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:37:06+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-4120610-1467311826.opb"]
0.00/0.01	c use --random-gen="1516166201 2141469440 3315555930 4273677125 1764786155 4066331698 3142625110 2279692824 3880215658 3603609387 4072572128 104411662 798181944 2220858963 1205175106 2006178018 3259707821 1295064498 3418031553 3337694524 451268291 1641616687 926805551 2014021377 1929631002 1563124882 3612752542 2921093651 692521727 1083432767 451411475 3825046749 2865942409 1837064729 1572736064 4015392180 2015021281 1632439822 3787039213 1157830034 788929172 3343775128 609379641 2254713683 441965430 1177243104 2154534961 3606560224 3126421207 1142635742 2065930288 2027079145 1087348073 2447072630 3626630520 344497905 1234630479 2162575664 3172594835 607447070 213218146 1590411290 3908387507 3540944801 1784142433 2965689200 4208375343 3303343875 1111241017 2124835296 288445478 3595243996 2878965448 2073264715 3034606740 1145405667 2653174890 1223139675 2256369981 2609919910 3310287109 1211828472 3674506273 3010377985 2076179670 2521621681 1324016607 3043854740 2954986089 2538480041 2138654009 1909443308 1778493767 2749865752 3667164838 1699470385 642844302 3725621495 2091034763 1848218964 676921804 913461197 1680315436 2465274610 2319824571 570718042 3217582848 4199241466 1124404420 2486555015 336988708 882209445 1394605562 1851381186 38567631 1615031167 10594259 985188172 76245633 1909660387 1796196566 2827187736 926902813 1162281613 1780629542 1057701077 561404762 3679744664 1912294641 3582603427 3849088456 3323766297 2871194355 1504790282 1706218999 1551994888 1007184526 885530927 2086683279 2422908580 3544084701 1333716553 1165690964 3273148759 1008671323 830748598 1580006948 2227854119 1942084701 2463673915 1085643449 1557340811 2365391670 1446868120 2740812591 63722559 2146309592 4163446886 1793172378 1611039210 3786356364 2096316395 1074220482 1437315386 1938539325 3458421638 2594632141 2613633937 2720524925 3402203680 441888024 3546580732 3740604252 1757081853 1507597699 659637503 3328730862 2739865029 502690596 2871496445 1539561954 2216199794 2976248648 365119857 2474351768 1571838540 3438770885 10910925 3164539167 1376115215 7861536 779944534 1132284077 1979226722 1911413711 1555261124 1705259483 3923795703 2883645689 3330760516 1569584898 3878810173 1648603147 3050584472 1589525004 3551663108 188628060 3992910481 2323630024 1367570717 573472122 951314581 1743890936 3501948379 687583252 394834532 1975092829 3906265939 4078771766 735793251 1780470939 2188159734 3812257805 3395852162 1122328780 3462780110 2105204770 3553541548 3965036945 1510829470 4239363171 689006566 1607725888 1774111220 3921235773 1847308434 2159139489 17626228 903826728 3734310391 1254346075 2425732174 38274042 3433516639 1961235778 792610992 3741782823 385660890 499246716 2289667932 85918767 1778720417 201139546 3772974752 3580882860 43723752 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 376
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 |      172      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      176 |      100 |      172      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      439 |      250 |      190      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      923 |      475 |      210      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1354 |      813 |      232      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2101 |     1320 |      256      7 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3129 |     2081 |      311     12 |        0 |        0
0.29/0.31	c  0.3s |       7 |     4631 |     3223 |      343     18 |        0 |        0
0.39/0.47	c  0.4s |       8 |     6969 |     4936 |      378     27 |        0 |        0
0.69/0.72	c  0.7s |       9 |    10550 |     7506 |      416     39 |        0 |        0
0.99/1.06	c  1.0s |      10 |    16087 |    11361 |      458     56 |        0 |        0
1.39/1.44	c  1.4s |      11 |    24567 |    17144 |      504     79 |        0 |        0
1.99/2.07	c  2.0s |      12 |    36247 |    25819 |      555    112 |        0 |        0
2.89/2.97	c  3.0s |      13 |    54037 |    38832 |      611    157 |        0 |        0
4.39/4.41	c  4.4s |      14 |    77555 |    58352 |      673    218 |        0 |        0
6.39/6.42	c  6.4s |      14 |   114035 |    85052 |      673    296 |        0 |        0
6.49/6.59	c  6.6s |      15 |   117666 |    87632 |      741    303 |        0 |        0
8.58/8.60	c  8.6s |      15 |   148261 |   112132 |      741    367 |        0 |        0
9.99/10.08	c 10.1s |      16 |   175264 |   131552 |      816    417 |        0 |        0
11.98/12.08	c 12.1s |      16 |   210658 |   157552 |      816    480 |        0 |        0
13.98/14.08	c 14.1s |      16 |   252395 |   186752 |      816    550 |        0 |        0
14.68/14.77	c 14.8s |      17 |   268852 |   197432 |      898    575 |        0 |        0
16.68/16.78	c 16.8s |      17 |   308029 |   225032 |      898    636 |        0 |        0
18.70/18.78	c 18.8s |      17 |   352108 |   255132 |      898    702 |        0 |        0
20.69/20.79	c 20.8s |      17 |   394868 |   284532 |      898    766 |        0 |        0
21.49/21.58	c 21.6s |      18 |   410706 |   296252 |      988    791 |        0 |        0
23.49/23.59	c 23.6s |      18 |   450006 |   324152 |      988    847 |        0 |        0
25.49/25.59	c 25.6s |      18 |   487317 |   350952 |      988    900 |        0 |        0
27.50/27.60	c 27.6s |      18 |   522691 |   376952 |      988    952 |        0 |        0
29.59/29.61	c 29.6s |      18 |   558144 |   403352 |      988   1005 |        0 |        0
31.59/31.61	c 31.6s |      18 |   597345 |   430952 |      988   1061 |        0 |        0
32.59/32.61	c 32.6s |      19 |   616444 |   444482 |     1087   1087 |        0 |        0
34.59/34.61	c 34.6s |      19 |   649439 |   469582 |     1087   1132 |        0 |        0
36.59/36.62	c 36.6s |      19 |   685469 |   495682 |     1087   1179 |        0 |        0
38.59/38.63	c 38.6s |      19 |   715248 |   518382 |     1087   1220 |        0 |        0
40.59/40.63	c 40.6s |      19 |   745940 |   542582 |     1087   1264 |        0 |        0
42.58/42.64	c 42.6s |      19 |   778962 |   568182 |     1087   1311 |        0 |        0
44.58/44.65	c 44.6s |      19 |   813131 |   593882 |     1087   1357 |        0 |        0
46.58/46.65	c 46.6s |      19 |   848844 |   620682 |     1087   1406 |        0 |        0
48.58/48.65	c 48.6s |      19 |   885028 |   647482 |     1087   1455 |        0 |        0
50.28/50.30	c 50.3s |      20 |   910659 |   666827 |     1196   1489 |        0 |        0
52.28/52.31	c 52.3s |      20 |   937982 |   688527 |     1196   1524 |        0 |        0
54.28/54.32	c 54.3s |      20 |   960437 |   708027 |     1196   1556 |        0 |        0
56.28/56.32	c 56.3s |      20 |   987621 |   730227 |     1196   1593 |        0 |        0
58.28/58.33	c 58.3s |      20 |  1015979 |   752327 |     1196   1629 |        0 |        0
60.28/60.34	c 60.3s |      20 |  1042485 |   773627 |     1196   1665 |        0 |        0
62.28/62.34	c 62.3s |      20 |  1072130 |   796427 |     1196   1702 |        0 |        0
64.28/64.35	c 64.3s |      20 |  1104388 |   820427 |     1196   1742 |        0 |        0
66.28/66.35	c 66.3s |      20 |  1137829 |   845927 |     1196   1784 |        0 |        0
68.29/68.36	c 68.3s |      20 |  1171117 |   870727 |     1196   1825 |        0 |        0
70.28/70.37	c 70.3s |      20 |  1200597 |   893427 |     1196   1863 |        0 |        0
72.28/72.37	c 72.4s |      20 |  1232432 |   916527 |     1196   1901 |        0 |        0
74.28/74.38	c 74.4s |      20 |  1263818 |   940127 |     1196   1941 |        0 |        0
76.28/76.38	c 76.4s |      20 |  1298630 |   964627 |     1196   1981 |        0 |        0
78.28/78.39	c 78.4s |      20 |  1331389 |   988927 |     1196   2022 |        0 |        0
79.29/79.31	c 79.3s |      21 |  1347211 |  1000345 |     1316   2039 |        0 |        0
81.28/81.31	c 81.3s |      21 |  1363684 |  1015345 |     1316   2061 |        0 |        0
83.28/83.32	c 83.3s |      21 |  1386344 |  1033845 |     1316   2089 |        0 |        0
85.28/85.33	c 85.3s |      21 |  1410576 |  1053045 |     1316   2117 |        0 |        0
87.28/87.33	c 87.3s |      21 |  1435948 |  1072545 |     1316   2146 |        0 |        0
89.28/89.34	c 89.3s |      21 |  1462173 |  1093245 |     1316   2177 |        0 |        0
91.29/91.34	c 91.3s |      21 |  1492483 |  1114345 |     1316   2208 |        0 |        0
93.28/93.34	c 93.3s |      21 |  1516518 |  1134145 |     1316   2238 |        0 |        0
95.28/95.34	c 95.3s |      21 |  1542199 |  1154145 |     1316   2268 |        0 |        0
97.28/97.35	c 97.3s |      21 |  1567545 |  1173445 |     1316   2296 |        0 |        0
99.28/99.35	c 99.3s |      21 |  1595364 |  1194645 |     1316   2328 |        0 |        0
101.28/101.35	c  101s |      21 |  1623655 |  1216345 |     1316   2360 |        0 |        0
103.28/103.36	c  103s |      21 |  1653908 |  1238445 |     1316   2393 |        0 |        0
105.28/105.36	c  105s |      21 |  1682117 |  1259745 |     1316   2425 |        0 |        0
107.28/107.37	c  107s |      21 |  1711831 |  1281345 |     1316   2458 |        0 |        0
109.28/109.37	c  109s |      21 |  1739490 |  1302645 |     1316   2489 |        0 |        0
111.28/111.37	c  111s |      21 |  1766346 |  1323245 |     1316   2520 |        0 |        0
113.28/113.37	c  113s |      21 |  1789648 |  1342345 |     1316   2549 |        0 |        0
115.27/115.37	c  115s |      21 |  1818613 |  1363945 |     1316   2581 |        0 |        0
117.27/117.39	c  117s |      21 |  1847338 |  1384945 |     1316   2613 |        0 |        0
119.27/119.39	c  119s |      21 |  1874260 |  1405345 |     1316   2643 |        0 |        0
121.37/121.40	c  121s |      21 |  1903710 |  1426645 |     1316   2675 |        0 |        0
123.37/123.40	c  123s |      21 |  1932545 |  1447345 |     1316   2706 |        0 |        0
125.38/125.41	c  125s |      21 |  1960420 |  1467745 |     1316   2737 |        0 |        0
127.37/127.41	c  127s |      21 |  1986021 |  1487545 |     1316   2766 |        0 |        0
128.78/128.82	c  128s |      22 |  2003287 |  1500622 |     1448   2784 |        0 |        0
130.77/130.83	c  130s |      22 |  2034194 |  1523422 |     1448   2816 |        0 |        0
132.77/132.83	c  132s |      22 |  2065692 |  1546722 |     1448   2848 |        0 |        0
134.77/134.83	c  134s |      22 |  2098896 |  1571022 |     1448   2881 |        0 |        0
136.77/136.84	c  136s |      22 |  2130397 |  1594622 |     1448   2913 |        0 |        0
138.77/138.84	c  138s |      22 |  2164911 |  1619422 |     1448   2947 |        0 |        0
140.77/140.85	c  140s |      22 |  2196747 |  1643022 |     1448   2980 |        0 |        0
142.77/142.85	c  142s |      22 |  2226708 |  1665722 |     1448   3011 |        0 |        0
144.77/144.85	c  144s |      22 |  2257756 |  1688622 |     1448   3042 |        0 |        0
146.77/146.86	c  146s |      22 |  2291038 |  1712522 |     1448   3075 |        0 |        0
148.77/148.86	c  148s |      22 |  2322372 |  1734722 |     1448   3105 |        0 |        0
150.77/150.87	c  150s |      22 |  2354600 |  1758822 |     1448   3138 |        0 |        0
152.76/152.88	c  152s |      22 |  2386225 |  1782722 |     1448   3171 |        0 |        0
154.76/154.88	c  154s |      22 |  2420053 |  1807422 |     1448   3205 |        0 |        0
156.76/156.89	c  156s |      22 |  2453250 |  1831822 |     1448   3239 |        0 |        0
158.76/158.89	c  158s |      22 |  2484590 |  1854922 |     1448   3270 |        0 |        0
160.86/160.90	c  160s |      22 |  2518093 |  1879122 |     1448   3303 |        0 |        0
162.77/162.90	c  162s |      22 |  2549162 |  1902522 |     1448   3336 |        0 |        0
164.86/164.90	c  164s |      22 |  2583404 |  1927322 |     1448   3370 |        0 |        0
166.86/166.90	c  166s |      22 |  2615405 |  1951222 |     1448   3402 |        0 |        0
168.86/168.91	c  168s |      22 |  2647495 |  1975422 |     1448   3436 |        0 |        0
170.86/170.91	c  170s |      22 |  2678834 |  1998722 |     1448   3468 |        0 |        0
172.85/172.91	c  172s |      22 |  2710845 |  2022522 |     1448   3500 |        0 |        0
174.86/174.92	c  174s |      22 |  2740883 |  2044722 |     1448   3531 |        0 |        0
176.85/176.92	c  176s |      22 |  2775192 |  2069422 |     1448   3565 |        0 |        0
178.85/178.92	c  178s |      22 |  2809485 |  2094222 |     1448   3599 |        0 |        0
180.85/180.92	c  180s |      22 |  2842056 |  2118122 |     1448   3632 |        0 |        0
182.85/182.93	c  182s |      22 |  2866224 |  2137522 |     1448   3658 |        0 |        0
184.85/184.93	c  184s |      22 |  2895898 |  2159822 |     1448   3689 |        0 |        0
186.85/186.94	c  186s |      22 |  2923976 |  2182122 |     1448   3720 |        0 |        0
188.85/188.94	c  188s |      22 |  2954421 |  2205322 |     1448   3751 |        0 |        0
190.85/190.95	c  190s |      22 |  2984449 |  2228122 |     1448   3783 |        0 |        0
192.85/192.93	c  192s |      23 |  3015673 |  2251038 |     1593   3812 |        0 |        0
194.85/194.93	c  194s |      23 |  3044953 |  2273138 |     1593   3839 |        0 |        0
196.86/196.93	c  196s |      23 |  3076032 |  2296638 |     1593   3869 |        0 |        0
198.85/198.94	c  198s |      23 |  3104761 |  2319338 |     1593   3897 |        0 |        0
200.85/200.94	c  200s |      23 |  3132998 |  2340338 |     1593   3923 |        0 |        0
202.85/202.94	c  202s |      23 |  3159532 |  2361638 |     1593   3950 |        0 |        0
204.84/204.94	c  204s |      23 |  3191685 |  2385438 |     1593   3979 |        0 |        0
206.85/206.95	c  206s |      23 |  3225487 |  2409438 |     1593   4009 |        0 |        0
208.84/208.95	c  208s |      23 |  3257897 |  2433238 |     1593   4039 |        0 |        0
210.84/210.95	c  210s |      23 |  3289119 |  2456438 |     1593   4068 |        0 |        0
212.84/212.96	c  212s |      23 |  3319855 |  2478938 |     1593   4096 |        0 |        0
214.84/214.96	c  214s |      23 |  3343638 |  2498938 |     1593   4121 |        0 |        0
216.84/216.96	c  216s |      23 |  3369126 |  2519338 |     1593   4147 |        0 |        0
218.85/218.97	c  218s |      23 |  3402095 |  2543138 |     1593   4176 |        0 |        0
220.84/220.98	c  220s |      23 |  3433196 |  2566438 |     1593   4205 |        0 |        0
222.84/222.98	c  222s |      23 |  3460207 |  2587638 |     1593   4232 |        0 |        0
224.84/224.99	c  224s |      23 |  3488040 |  2609038 |     1593   4258 |        0 |        0
226.85/226.99	c  226s |      23 |  3517575 |  2631938 |     1593   4287 |        0 |        0
228.95/229.00	c  228s |      23 |  3545175 |  2653038 |     1593   4313 |        0 |        0
230.95/231.01	c  230s |      23 |  3573451 |  2675638 |     1593   4342 |        0 |        0
232.94/233.01	c  232s |      23 |  3596689 |  2695238 |     1593   4366 |        0 |        0
234.94/235.02	c  234s |      23 |  3628057 |  2718838 |     1593   4396 |        0 |        0
236.94/237.02	c  237s |      23 |  3659445 |  2742038 |     1593   4425 |        0 |        0
238.93/239.03	c  239s |      23 |  3689564 |  2764838 |     1593   4453 |        0 |        0
240.94/241.03	c  241s |      23 |  3710063 |  2783038 |     1593   4476 |        0 |        0
242.93/243.04	c  243s |      23 |  3733210 |  2801338 |     1593   4498 |        0 |        0
244.93/245.05	c  245s |      23 |  3758140 |  2819838 |     1593   4522 |        0 |        0
246.93/247.05	c  247s |      23 |  3784827 |  2840738 |     1593   4548 |        0 |        0
248.93/249.05	c  249s |      23 |  3811456 |  2861538 |     1593   4574 |        0 |        0
250.93/251.05	c  251s |      23 |  3841717 |  2884338 |     1593   4602 |        0 |        0
252.94/253.06	c  253s |      23 |  3872322 |  2906938 |     1593   4630 |        0 |        0
254.93/255.06	c  255s |      23 |  3902143 |  2929738 |     1593   4659 |        0 |        0
256.93/257.06	c  257s |      23 |  3930161 |  2952138 |     1593   4687 |        0 |        0
258.93/259.06	c  259s |      23 |  3958740 |  2974238 |     1593   4714 |        0 |        0
260.93/261.07	c  261s |      23 |  3987800 |  2997038 |     1593   4743 |        0 |        0
262.94/263.07	c  263s |      23 |  4018423 |  3020138 |     1593   4772 |        0 |        0
264.93/265.08	c  265s |      23 |  4048913 |  3043038 |     1593   4800 |        0 |        0
266.93/267.08	c  267s |      23 |  4081777 |  3066738 |     1593   4830 |        0 |        0
268.93/269.08	c  269s |      23 |  4113962 |  3090338 |     1593   4859 |        0 |        0
270.93/271.09	c  271s |      23 |  4143285 |  3112338 |     1593   4887 |        0 |        0
272.92/273.09	c  273s |      23 |  4170036 |  3133538 |     1593   4913 |        0 |        0
274.92/275.10	c  275s |      23 |  4199203 |  3155838 |     1593   4941 |        0 |        0
277.02/277.11	c  277s |      23 |  4229226 |  3179138 |     1593   4971 |        0 |        0
279.02/279.11	c  279s |      23 |  4259882 |  3202438 |     1593   5000 |        0 |        0
281.01/281.11	c  281s |      23 |  4289949 |  3225238 |     1593   5028 |        0 |        0
283.01/283.13	c  283s |      23 |  4319892 |  3247338 |     1593   5056 |        0 |        0
285.01/285.13	c  285s |      23 |  4353633 |  3271338 |     1593   5086 |        0 |        0
287.02/287.14	c  287s |      23 |  4383861 |  3293738 |     1593   5114 |        0 |        0
289.01/289.14	c  289s |      23 |  4413366 |  3316338 |     1593   5142 |        0 |        0
291.01/291.15	c  291s |      23 |  4442130 |  3339238 |     1593   5170 |        0 |        0
293.01/293.15	c  293s |      23 |  4471513 |  3361538 |     1753   5197 |        0 |        0
294.41/294.50	c  294s |      24 |  4491813 |  3376662 |     1753   5214 |        0 |        0
296.42/296.50	c  296s |      24 |  4524493 |  3399662 |     1753   5240 |        0 |        0
298.42/298.50	c  298s |      24 |  4555522 |  3422262 |     1753   5266 |        0 |        0
300.42/300.51	c  300s |      24 |  4585784 |  3445062 |     1753   5292 |        0 |        0
302.42/302.52	c  302s |      24 |  4617624 |  3468362 |     1753   5319 |        0 |        0
304.41/304.53	c  304s |      24 |  4647951 |  3491262 |     1753   5345 |        0 |        0
306.41/306.53	c  306s |      24 |  4677509 |  3513862 |     1753   5370 |        0 |        0
308.41/308.54	c  308s |      24 |  4711676 |  3537962 |     1753   5398 |        0 |        0
310.41/310.54	c  310s |      24 |  4742909 |  3560762 |     1753   5424 |        0 |        0
312.42/312.55	c  312s |      24 |  4772130 |  3582562 |     1753   5448 |        0 |        0
314.41/314.55	c  314s |      24 |  4799730 |  3603562 |     1753   5472 |        0 |        0
316.41/316.56	c  316s |      24 |  4830856 |  3625862 |     1753   5497 |        0 |        0
318.41/318.56	c  318s |      24 |  4863325 |  3649862 |     1753   5525 |        0 |        0
320.41/320.56	c  320s |      24 |  4895365 |  3673262 |     1753   5551 |        0 |        0
322.41/322.57	c  322s |      24 |  4924443 |  3695462 |     1753   5577 |        0 |        0
324.41/324.58	c  324s |      24 |  4952518 |  3717562 |     1753   5602 |        0 |        0
326.41/326.59	c  326s |      24 |  4979928 |  3739062 |     1753   5626 |        0 |        0
328.51/328.60	c  328s |      24 |  5006759 |  3760362 |     1753   5650 |        0 |        0
330.50/330.60	c  330s |      24 |  5031679 |  3780462 |     1753   5673 |        0 |        0
332.50/332.60	c  332s |      24 |  5059140 |  3801562 |     1753   5697 |        0 |        0
334.50/334.60	c  334s |      24 |  5086591 |  3822362 |     1753   5721 |        0 |        0
336.50/336.61	c  336s |      24 |  5114679 |  3843562 |     1753   5745 |        0 |        0
338.50/338.61	c  338s |      24 |  5139907 |  3863462 |     1753   5767 |        0 |        0
340.50/340.61	c  340s |      24 |  5168175 |  3884562 |     1753   5791 |        0 |        0
342.49/342.62	c  342s |      24 |  5197633 |  3906762 |     1753   5817 |        0 |        0
344.49/344.62	c  344s |      24 |  5229189 |  3930162 |     1753   5843 |        0 |        0
346.50/346.63	c  346s |      24 |  5257273 |  3952062 |     1753   5868 |        0 |        0
348.49/348.64	c  348s |      24 |  5284669 |  3973162 |     1753   5892 |        0 |        0
350.49/350.64	c  350s |      24 |  5311397 |  3993762 |     1753   5916 |        0 |        0
352.49/352.65	c  352s |      24 |  5338652 |  4014762 |     1753   5939 |        0 |        0
354.49/354.65	c  354s |      24 |  5365885 |  4035262 |     1753   5963 |        0 |        0
356.49/356.66	c  356s |      24 |  5392779 |  4055662 |     1753   5986 |        0 |        0
358.50/358.66	c  358s |      24 |  5421611 |  4077462 |     1753   6011 |        0 |        0
360.49/360.67	c  360s |      24 |  5451952 |  4100262 |     1753   6036 |        0 |        0
362.49/362.67	c  362s |      24 |  5480915 |  4122462 |     1753   6062 |        0 |        0
364.49/364.68	c  364s |      24 |  5508987 |  4144162 |     1753   6086 |        0 |        0
366.49/366.68	c  366s |      24 |  5542036 |  4167962 |     1753   6113 |        0 |        0
368.49/368.68	c  368s |      24 |  5574712 |  4192262 |     1753   6141 |        0 |        0
370.49/370.69	c  370s |      24 |  5607010 |  4216162 |     1753   6168 |        0 |        0
372.48/372.69	c  372s |      24 |  5638975 |  4238862 |     1753   6194 |        0 |        0
374.48/374.69	c  374s |      24 |  5672574 |  4262862 |     1753   6221 |        0 |        0
376.48/376.69	c  376s |      24 |  5703501 |  4285862 |     1753   6247 |        0 |        0
378.58/378.70	c  378s |      24 |  5735840 |  4309762 |     1753   6274 |        0 |        0
380.48/380.70	c  380s |      24 |  5768239 |  4333362 |     1753   6301 |        0 |        0
382.57/382.70	c  382s |      24 |  5798923 |  4356262 |     1753   6327 |        0 |        0
384.57/384.71	c  384s |      24 |  5828601 |  4378962 |     1753   6353 |        0 |        0
386.57/386.71	c  386s |      24 |  5856727 |  4399962 |     1753   6377 |        0 |        0
388.57/388.72	c  388s |      24 |  5881012 |  4419862 |     1753   6400 |        0 |        0
390.57/390.72	c  390s |      24 |  5909067 |  4441362 |     1753   6424 |        0 |        0
392.57/392.72	c  392s |      24 |  5936110 |  4462162 |     1753   6448 |        0 |        0
394.57/394.72	c  394s |      24 |  5967394 |  4485562 |     1753   6474 |        0 |        0
396.57/396.74	c  396s |      24 |  5994796 |  4506862 |     1753   6499 |        0 |        0
398.57/398.74	c  398s |      24 |  6019314 |  4526562 |     1753   6521 |        0 |        0
400.57/400.75	c  400s |      24 |  6046394 |  4547262 |     1753   6545 |        0 |        0
402.58/402.75	c  402s |      24 |  6080366 |  4571562 |     1753   6572 |        0 |        0
404.57/404.76	c  404s |      24 |  6108475 |  4592962 |     1753   6596 |        0 |        0
406.57/406.76	c  406s |      24 |  6132072 |  4610862 |     1753   6617 |        0 |        0
408.57/408.77	c  408s |      24 |  6156803 |  4628362 |     1753   6637 |        0 |        0
410.57/410.77	c  410s |      24 |  6184656 |  4648862 |     1753   6660 |        0 |        0
412.57/412.78	c  412s |      24 |  6214368 |  4670662 |     1753   6685 |        0 |        0
414.57/414.78	c  414s |      24 |  6242972 |  4692662 |     1753   6709 |        0 |        0
416.56/416.78	c  416s |      24 |  6272143 |  4714962 |     1753   6735 |        0 |        0
418.56/418.78	c  418s |      24 |  6300563 |  4736562 |     1753   6759 |        0 |        0
420.56/420.79	c  420s |      24 |  6329416 |  4758562 |     1753   6784 |        0 |        0
422.56/422.79	c  422s |      24 |  6358474 |  4780362 |     1753   6809 |        0 |        0
424.66/424.80	c  424s |      24 |  6390018 |  4803762 |     1753   6835 |        0 |        0
426.56/426.80	c  426s |      24 |  6414978 |  4823962 |     1753   6858 |        0 |        0
428.66/428.80	c  428s |      24 |  6441310 |  4844762 |     1753   6882 |        0 |        0
430.66/430.80	c  430s |      24 |  6471596 |  4867362 |     1753   6907 |        0 |        0
432.65/432.81	c  432s |      24 |  6500476 |  4889462 |     1753   6933 |        0 |        0
434.65/434.82	c  434s |      24 |  6527729 |  4910862 |     1753   6957 |        0 |        0
436.66/436.83	c  436s |      24 |  6551597 |  4929762 |     1753   6978 |        0 |        0
438.65/438.83	c  438s |      24 |  6574155 |  4948562 |     1753   7000 |        0 |        0
440.65/440.83	c  440s |      24 |  6598331 |  4968162 |     1753   7022 |        0 |        0
442.65/442.84	c  442s |      24 |  6628599 |  4990362 |     1753   7047 |        0 |        0
444.65/444.84	c  444s |      24 |  6657600 |  5012662 |     1753   7072 |        0 |        0
446.65/446.85	c  446s |      24 |  6683860 |  5033362 |     1929   7095 |        0 |        0
448.65/448.86	c  448s |      24 |  6712539 |  5054162 |     1929   7117 |        0 |        0
449.75/449.99	c  449s |      25 |  6726596 |  5065098 |     1929   7128 |        0 |        0
451.84/452.00	c  451s |      25 |  6752683 |  5084498 |     1929   7148 |        0 |        0
453.84/454.01	c  453s |      25 |  6780316 |  5104698 |     1929   7168 |        0 |        0
455.84/456.01	c  455s |      25 |  6801450 |  5121698 |     1929   7186 |        0 |        0
457.84/458.01	c  457s |      25 |  6825773 |  5139598 |     1929   7204 |        0 |        0
459.84/460.01	c  459s |      25 |  6849562 |  5157798 |     1929   7223 |        0 |        0
461.84/462.02	c  461s |      25 |  6874701 |  5176698 |     1929   7242 |        0 |        0
463.83/464.02	c  464s |      25 |  6900903 |  5196298 |     1929   7262 |        0 |        0
465.83/466.02	c  466s |      25 |  6924126 |  5214998 |     1929   7282 |        0 |        0
467.83/468.03	c  468s |      25 |  6948773 |  5233698 |     1929   7301 |        0 |        0
469.83/470.04	c  470s |      25 |  6974375 |  5253198 |     1929   7321 |        0 |        0
471.83/472.05	c  472s |      25 |  6998146 |  5272298 |     1929   7341 |        0 |        0
473.83/474.05	c  474s |      25 |  7024814 |  5291698 |     1929   7361 |        0 |        0
475.82/476.06	c  476s |      25 |  7048869 |  5309798 |     1929   7380 |        0 |        0
477.82/478.07	c  478s |      25 |  7075462 |  5330198 |     1929   7401 |        0 |        0
479.82/480.08	c  480s |      25 |  7103465 |  5350898 |     1929   7422 |        0 |        0
481.83/482.08	c  482s |      25 |  7131339 |  5372198 |     1929   7444 |        0 |        0
483.84/484.08	c  484s |      25 |  7157053 |  5392198 |     1929   7464 |        0 |        0
485.83/486.08	c  486s |      25 |  7185384 |  5412798 |     1929   7486 |        0 |        0
487.83/488.09	c  488s |      25 |  7214511 |  5434598 |     1929   7508 |        0 |        0
489.93/490.10	c  490s |      25 |  7241735 |  5454098 |     1929   7528 |        0 |        0
491.92/492.11	c  492s |      25 |  7266958 |  5473798 |     1929   7549 |        0 |        0
493.92/494.11	c  494s |      25 |  7290700 |  5492998 |     1929   7568 |        0 |        0
495.93/496.11	c  496s |      25 |  7315741 |  5512698 |     1929   7589 |        0 |        0
497.92/498.12	c  498s |      25 |  7340031 |  5531798 |     1929   7608 |        0 |        0
499.92/500.12	c  500s |      25 |  7368067 |  5552698 |     1929   7630 |        0 |        0
501.91/502.13	c  502s |      25 |  7394414 |  5573398 |     1929   7651 |        0 |        0
503.91/504.13	c  504s |      25 |  7421950 |  5594698 |     1929   7673 |        0 |        0
505.92/506.14	c  506s |      25 |  7448565 |  5614298 |     1929   7694 |        0 |        0
507.91/508.14	c  508s |      25 |  7471974 |  5632798 |     1929   7713 |        0 |        0
509.91/510.14	c  510s |      25 |  7497943 |  5652398 |     1929   7733 |        0 |        0
511.91/512.15	c  512s |      25 |  7526296 |  5673198 |     1929   7754 |        0 |        0
513.91/514.15	c  514s |      25 |  7552752 |  5693498 |     1929   7775 |        0 |        0
515.91/516.15	c  516s |      25 |  7579142 |  5712998 |     1929   7795 |        0 |        0
517.91/518.16	c  518s |      25 |  7607808 |  5734498 |     1929   7818 |        0 |        0
519.91/520.16	c  520s |      25 |  7635292 |  5755698 |     1929   7839 |        0 |        0
521.90/522.17	c  522s |      25 |  7659828 |  5775198 |     1929   7859 |        0 |        0
523.90/524.18	c  524s |      25 |  7686524 |  5795298 |     1929   7880 |        0 |        0
525.90/526.19	c  526s |      25 |  7711436 |  5814998 |     1929   7901 |        0 |        0
527.91/528.19	c  528s |      25 |  7735961 |  5833998 |     1929   7920 |        0 |        0
529.90/530.20	c  530s |      25 |  7761525 |  5853898 |     1929   7941 |        0 |        0
531.99/532.21	c  532s |      25 |  7787215 |  5873698 |     1929   7961 |        0 |        0
533.99/534.22	c  534s |      25 |  7808726 |  5891598 |     1929   7980 |        0 |        0
536.00/536.23	c  536s |      25 |  7834766 |  5911298 |     1929   8000 |        0 |        0
538.00/538.24	c  538s |      25 |  7860261 |  5930998 |     1929   8020 |        0 |        0
540.01/540.24	c  540s |      25 |  7886540 |  5951398 |     1929   8041 |        0 |        0
541.99/542.25	c  542s |      25 |  7912034 |  5971498 |     1929   8062 |        0 |        0
543.99/544.25	c  544s |      25 |  7936912 |  5990598 |     1929   8082 |        0 |        0
545.99/546.27	c  546s |      25 |  7962077 |  6008798 |     1929   8101 |        0 |        0
547.99/548.27	c  548s |      25 |  7987614 |  6027798 |     1929   8120 |        0 |        0
549.99/550.27	c  550s |      25 |  8012672 |  6046698 |     1929   8140 |        0 |        0
551.99/552.28	c  552s |      25 |  8039123 |  6064998 |     1929   8158 |        0 |        0
553.98/554.29	c  554s |      25 |  8065669 |  6083998 |     1929   8178 |        0 |        0
555.98/556.29	c  556s |      25 |  8092099 |  6103298 |     1929   8198 |        0 |        0
558.08/558.30	c  558s |      25 |  8118316 |  6123098 |     1929   8218 |        0 |        0
560.08/560.31	c  560s |      25 |  8145515 |  6143698 |     1929   8240 |        0 |        0
562.07/562.31	c  562s |      25 |  8172997 |  6164098 |     1929   8261 |        0 |        0
564.08/564.31	c  564s |      25 |  8198735 |  6184398 |     1929   8282 |        0 |        0
566.07/566.32	c  566s |      25 |  8225005 |  6203998 |     1929   8302 |        0 |        0
568.07/568.32	c  568s |      25 |  8252615 |  6224398 |     1929   8323 |        0 |        0
570.07/570.33	c  570s |      25 |  8278039 |  6243898 |     1929   8343 |        0 |        0
572.07/572.34	c  572s |      25 |  8305637 |  6264798 |     1929   8365 |        0 |        0
574.07/574.35	c  574s |      25 |  8330237 |  6284198 |     1929   8385 |        0 |        0
576.07/576.36	c  576s |      25 |  8356247 |  6304298 |     1929   8405 |        0 |        0
578.06/578.37	c  578s |      25 |  8383504 |  6324398 |     1929   8426 |        0 |        0
580.06/580.38	c  580s |      25 |  8409716 |  6344298 |     1929   8447 |        0 |        0
582.07/582.38	c  582s |      25 |  8432711 |  6362598 |     1929   8465 |        0 |        0
584.07/584.39	c  584s |      25 |  8454867 |  6380598 |     1929   8484 |        0 |        0
586.07/586.40	c  586s |      25 |  8479141 |  6399898 |     1929   8504 |        0 |        0
588.16/588.41	c  588s |      25 |  8504612 |  6419398 |     1929   8524 |        0 |        0
590.16/590.41	c  590s |      25 |  8532296 |  6440498 |     1929   8546 |        0 |        0
592.16/592.42	c  592s |      25 |  8558669 |  6460798 |     1929   8567 |        0 |        0
594.16/594.42	c  594s |      25 |  8585240 |  6481298 |     1929   8588 |        0 |        0
596.16/596.42	c  596s |      25 |  8612885 |  6502498 |     1929   8610 |        0 |        0
598.16/598.43	c  598s |      25 |  8640613 |  6523598 |     1929   8632 |        0 |        0
600.15/600.43	c  600s |      25 |  8660489 |  6540098 |     1929   8649 |        0 |        0
602.15/602.44	c  602s |      25 |  8684583 |  6557298 |     1929   8666 |        0 |        0
604.15/604.44	c  604s |      25 |  8704588 |  6572998 |     1929   8683 |        0 |        0
606.14/606.45	c  606s |      25 |  8731548 |  6592798 |     1929   8703 |        0 |        0
608.15/608.46	c  608s |      25 |  8753652 |  6610798 |     1929   8722 |        0 |        0
610.14/610.47	c  610s |      25 |  8773430 |  6627098 |     1929   8738 |        0 |        0
612.14/612.48	c  612s |      25 |  8797330 |  6645198 |     1929   8757 |        0 |        0
614.14/614.48	c  614s |      25 |  8821668 |  6663898 |     1929   8776 |        0 |        0
616.14/616.48	c  616s |      25 |  8847069 |  6683598 |     1929   8797 |        0 |        0
618.14/618.49	c  618s |      25 |  8871452 |  6701898 |     1929   8816 |        0 |        0
620.14/620.50	c  620s |      25 |  8896001 |  6718998 |     1929   8833 |        0 |        0
622.23/622.50	c  622s |      25 |  8920405 |  6737198 |     1929   8852 |        0 |        0
624.23/624.52	c  624s |      25 |  8947813 |  6757998 |     1929   8874 |        0 |        0
626.23/626.52	c  626s |      25 |  8971852 |  6776698 |     1929   8893 |        0 |        0
628.23/628.52	c  628s |      25 |  8998183 |  6796498 |     1929   8913 |        0 |        0
630.23/630.52	c  630s |      25 |  9023615 |  6816298 |     1929   8934 |        0 |        0
632.23/632.53	c  632s |      25 |  9049134 |  6836498 |     1929   8955 |        0 |        0
634.22/634.54	c  634s |      25 |  9076040 |  6856598 |     1929   8975 |        0 |        0
636.22/636.54	c  636s |      25 |  9099460 |  6874898 |     1929   8994 |        0 |        0
638.22/638.56	c  638s |      25 |  9124808 |  6893698 |     1929   9014 |        0 |        0
640.22/640.57	c  640s |      25 |  9151374 |  6913998 |     1929   9035 |        0 |        0
642.24/642.58	c  642s |      25 |  9174978 |  6932998 |     1929   9054 |        0 |        0
644.23/644.58	c  644s |      25 |  9200040 |  6952698 |     1929   9075 |        0 |        0
646.23/646.58	c  646s |      25 |  9226220 |  6972398 |     1929   9095 |        0 |        0
648.23/648.59	c  648s |      25 |  9253836 |  6992598 |     1929   9116 |        0 |        0
650.23/650.59	c  650s |      25 |  9279483 |  7011898 |     1929   9136 |        0 |        0
652.32/652.60	c  652s |      25 |  9307498 |  7031298 |     1929   9156 |        0 |        0
654.33/654.61	c  654s |      25 |  9334843 |  7051498 |     1929   9177 |        0 |        0
656.32/656.61	c  656s |      25 |  9362242 |  7072098 |     1929   9198 |        0 |        0
658.32/658.61	c  658s |      25 |  9389057 |  7092398 |     1929   9219 |        0 |        0
660.32/660.62	c  660s |      25 |  9415753 |  7112498 |     1929   9240 |        0 |        0
662.31/662.62	c  662s |      25 |  9442994 |  7132798 |     1929   9261 |        0 |        0
664.31/664.62	c  664s |      25 |  9470913 |  7153798 |     1929   9282 |        0 |        0
666.32/666.63	c  666s |      25 |  9496776 |  7173898 |     1929   9303 |        0 |        0
668.31/668.63	c  668s |      25 |  9524165 |  7194598 |     1929   9324 |        0 |        0
670.31/670.63	c  670s |      25 |  9551457 |  7215298 |     1929   9346 |        0 |        0
672.30/672.64	c  672s |      25 |  9578065 |  7235898 |     1929   9367 |        0 |        0
674.30/674.64	c  674s |      25 |  9604169 |  7256398 |     1929   9388 |        0 |        0
676.31/676.65	c  676s |      25 |  9630441 |  7276998 |     1929   9410 |        0 |        0
678.31/678.65	c  678s |      25 |  9656265 |  7296998 |     1929   9430 |        0 |        0
680.31/680.66	c  680s |      25 |  9682122 |  7317398 |     1929   9451 |        0 |        0
682.30/682.66	c  682s |      25 |  9709448 |  7337798 |     1929   9472 |        0 |        0
684.30/684.67	c  684s |      25 |  9733622 |  7357698 |     1929   9493 |        0 |        0
686.30/686.67	c  686s |      25 |  9758102 |  7377198 |     1929   9513 |        0 |        0
688.30/688.68	c  688s |      25 |  9784621 |  7397098 |     1929   9534 |        0 |        0
690.30/690.68	c  690s |      25 |  9811113 |  7416998 |     1929   9554 |        0 |        0
692.29/692.69	c  692s |      25 |  9835168 |  7436698 |     1929   9575 |        0 |        0
694.39/694.70	c  694s |      25 |  9860896 |  7456198 |     1929   9595 |        0 |        0
696.39/696.71	c  696s |      25 |  9885825 |  7475798 |     1929   9615 |        0 |        0
698.39/698.71	c  698s |      25 |  9912318 |  7495798 |     1929   9636 |        0 |        0
700.40/700.72	c  700s |      25 |  9939274 |  7516398 |     1929   9657 |        0 |        0
702.38/702.72	c  702s |      25 |  9967139 |  7537398 |     1929   9679 |        0 |        0
704.38/704.73	c  704s |      25 |  9995049 |  7558298 |     2122   9699 |        0 |        0
706.38/706.74	c  706s |      25 | 10010248 |  7571998 |     2122   9712 |        0 |        0
708.38/708.76	c  708s |      25 | 10029248 |  7587998 |     2122   9727 |        0 |        0
709.38/709.74	c  709s |      26 | 10041915 |  7597752 |     2122   9736 |        0 |        0
711.38/711.75	c  711s |      26 | 10067252 |  7616752 |     2122   9754 |        0 |        0
713.37/713.75	c  713s |      26 | 10091489 |  7635552 |     2122   9771 |        0 |        0
715.38/715.76	c  715s |      26 | 10116827 |  7655252 |     2122   9790 |        0 |        0
717.38/717.76	c  717s |      26 | 10140756 |  7673752 |     2122   9807 |        0 |        0
719.38/719.76	c  719s |      26 | 10167447 |  7693552 |     2122   9826 |        0 |        0
721.39/721.76	c  721s |      26 | 10194995 |  7714052 |     2122   9845 |        0 |        0
723.38/723.77	c  723s |      26 | 10223728 |  7734852 |     2122   9864 |        0 |        0
725.38/725.77	c  725s |      26 | 10249151 |  7754452 |     2122   9883 |        0 |        0
727.38/727.78	c  727s |      26 | 10274983 |  7774052 |     2122   9901 |        0 |        0
729.38/729.78	c  729s |      26 | 10300709 |  7793852 |     2122   9920 |        0 |        0
731.37/731.79	c  731s |      26 | 10326881 |  7813652 |     2122   9938 |        0 |        0
733.38/733.80	c  733s |      26 | 10354350 |  7833852 |     2122   9957 |        0 |        0
735.47/735.80	c  735s |      26 | 10379901 |  7853752 |     2122   9976 |        0 |        0
737.47/737.81	c  737s |      26 | 10405567 |  7873452 |     2122   9994 |        0 |        0
739.47/739.81	c  739s |      26 | 10429653 |  7892052 |     2122  10012 |        0 |        0
741.47/741.81	c  741s |      26 | 10456758 |  7912052 |     2122  10031 |        0 |        0
743.47/743.82	c  743s |      26 | 10484157 |  7932252 |     2122  10049 |        0 |        0
745.47/745.82	c  745s |      26 | 10511725 |  7952852 |     2122  10069 |        0 |        0
747.47/747.83	c  747s |      26 | 10538777 |  7973152 |     2122  10088 |        0 |        0
749.47/749.83	c  749s |      26 | 10565369 |  7993152 |     2122  10107 |        0 |        0
751.46/751.84	c  751s |      26 | 10590774 |  8012652 |     2122  10125 |        0 |        0
753.46/753.85	c  753s |      26 | 10618049 |  8032552 |     2122  10144 |        0 |        0
755.47/755.85	c  755s |      26 | 10644058 |  8051652 |     2122  10162 |        0 |        0
757.46/757.85	c  757s |      26 | 10669549 |  8071352 |     2122  10180 |        0 |        0
759.46/759.85	c  759s |      26 | 10694597 |  8090652 |     2122  10198 |        0 |        0
761.46/761.86	c  761s |      26 | 10717664 |  8108552 |     2122  10215 |        0 |        0
763.46/763.87	c  763s |      26 | 10740554 |  8126152 |     2122  10232 |        0 |        0
765.46/765.88	c  765s |      26 | 10762957 |  8144152 |     2122  10248 |        0 |        0
767.47/767.88	c  767s |      26 | 10779925 |  8159652 |     2122  10263 |        0 |        0
769.56/769.90	c  769s |      26 | 10803152 |  8177352 |     2122  10280 |        0 |        0
771.56/771.90	c  771s |      26 | 10827402 |  8196252 |     2122  10297 |        0 |        0
773.56/773.91	c  773s |      26 | 10849520 |  8213552 |     2122  10313 |        0 |        0
775.56/775.92	c  775s |      26 | 10870517 |  8230452 |     2122  10329 |        0 |        0
777.56/777.93	c  777s |      26 | 10891826 |  8247252 |     2122  10345 |        0 |        0
779.57/779.93	c  779s |      26 | 10915749 |  8265552 |     2122  10362 |        0 |        0
781.56/781.93	c  781s |      26 | 10940074 |  8284152 |     2122  10380 |        0 |        0
783.56/783.94	c  783s |      26 | 10966443 |  8303252 |     2122  10398 |        0 |        0
785.56/785.95	c  785s |      26 | 10989319 |  8321452 |     2122  10415 |        0 |        0
787.56/787.95	c  787s |      26 | 11012267 |  8338752 |     2122  10431 |        0 |        0
789.57/789.95	c  789s |      26 | 11037378 |  8357752 |     2122  10449 |        0 |        0
791.56/791.96	c  791s |      26 | 11063989 |  8376952 |     2122  10467 |        0 |        0
793.56/793.96	c  793s |      26 | 11088478 |  8395452 |     2122  10484 |        0 |        0
795.56/795.98	c  795s |      26 | 11115236 |  8414652 |     2122  10502 |        0 |        0
797.55/797.99	c  797s |      26 | 11142986 |  8435352 |     2122  10522 |        0 |        0
799.55/799.99	c  799s |      26 | 11170330 |  8455852 |     2122  10541 |        0 |        0
801.56/802.00	c  801s |      26 | 11196458 |  8475652 |     2122  10559 |        0 |        0
803.65/804.00	c  803s |      26 | 11221718 |  8495052 |     2122  10578 |        0 |        0
805.65/806.00	c  805s |      26 | 11246968 |  8514252 |     2122  10596 |        0 |        0
807.65/808.00	c  807s |      26 | 11271354 |  8533152 |     2122  10613 |        0 |        0
809.65/810.01	c  809s |      26 | 11297078 |  8552852 |     2122  10632 |        0 |        0
811.65/812.01	c  811s |      26 | 11319627 |  8570552 |     2122  10648 |        0 |        0
813.66/814.01	c  813s |      26 | 11343489 |  8588852 |     2122  10666 |        0 |        0
815.65/816.01	c  815s |      26 | 11368665 |  8608452 |     2122  10684 |        0 |        0
817.65/818.02	c  817s |      26 | 11390719 |  8626552 |     2122  10701 |        0 |        0
819.65/820.02	c  820s |      26 | 11415774 |  8646352 |     2122  10720 |        0 |        0
821.65/822.03	c  822s |      26 | 11441149 |  8665752 |     2122  10738 |        0 |        0
823.66/824.03	c  824s |      26 | 11465603 |  8684352 |     2122  10755 |        0 |        0
825.65/826.04	c  826s |      26 | 11490510 |  8702952 |     2122  10773 |        0 |        0
827.65/828.05	c  828s |      26 | 11516953 |  8722752 |     2122  10792 |        0 |        0
829.65/830.05	c  830s |      26 | 11542542 |  8742552 |     2122  10810 |        0 |        0
831.65/832.05	c  832s |      26 | 11558118 |  8756552 |     2122  10823 |        0 |        0
833.65/834.05	c  834s |      26 | 11574698 |  8771252 |     2122  10837 |        0 |        0
835.65/836.06	c  836s |      26 | 11597440 |  8789352 |     2122  10854 |        0 |        0
837.65/838.07	c  838s |      26 | 11620887 |  8808052 |     2122  10871 |        0 |        0
839.65/840.07	c  840s |      26 | 11643998 |  8826352 |     2122  10889 |        0 |        0
841.65/842.08	c  842s |      26 | 11668161 |  8844752 |     2122  10906 |        0 |        0
843.65/844.08	c  844s |      26 | 11693579 |  8864252 |     2122  10924 |        0 |        0
845.65/846.08	c  846s |      26 | 11720040 |  8883952 |     2122  10943 |        0 |        0
847.65/848.09	c  848s |      26 | 11747155 |  8903952 |     2122  10962 |        0 |        0
849.74/850.10	c  850s |      26 | 11773688 |  8923952 |     2122  10980 |        0 |        0
851.74/852.11	c  852s |      26 | 11798710 |  8942952 |     2122  10998 |        0 |        0
853.74/854.12	c  854s |      26 | 11823163 |  8961952 |     2122  11016 |        0 |        0
855.74/856.12	c  856s |      26 | 11847111 |  8980252 |     2122  11033 |        0 |        0
857.75/858.13	c  858s |      26 | 11870881 |  8998052 |     2122  11050 |        0 |        0
859.74/860.13	c  860s |      26 | 11897222 |  9017352 |     2122  11068 |        0 |        0
861.74/862.14	c  862s |      26 | 11922875 |  9037052 |     2122  11086 |        0 |        0
863.74/864.16	c  864s |      26 | 11944355 |  9054752 |     2122  11103 |        0 |        0
865.74/866.16	c  866s |      26 | 11963365 |  9070752 |     2122  11118 |        0 |        0
867.74/868.16	c  868s |      26 | 11985954 |  9088852 |     2122  11135 |        0 |        0
869.75/870.16	c  870s |      26 | 12008533 |  9107252 |     2122  11152 |        0 |        0
871.74/872.17	c  872s |      26 | 12033557 |  9126352 |     2122  11170 |        0 |        0
873.74/874.18	c  874s |      26 | 12056237 |  9144152 |     2122  11187 |        0 |        0
875.74/876.19	c  876s |      26 | 12076824 |  9161052 |     2122  11203 |        0 |        0
877.84/878.20	c  878s |      26 | 12103755 |  9181152 |     2122  11222 |        0 |        0
879.84/880.20	c  880s |      26 | 12127384 |  9199652 |     2122  11239 |        0 |        0
881.85/882.21	c  882s |      26 | 12152788 |  9218552 |     2122  11257 |        0 |        0
883.84/884.21	c  884s |      26 | 12175528 |  9236652 |     2122  11274 |        0 |        0
885.84/886.22	c  886s |      26 | 12203051 |  9256852 |     2122  11293 |        0 |        0
887.84/888.22	c  888s |      26 | 12227509 |  9275252 |     2122  11310 |        0 |        0
889.84/890.23	c  890s |      26 | 12252253 |  9294252 |     2122  11328 |        0 |        0
891.84/892.23	c  892s |      26 | 12276485 |  9313052 |     2122  11345 |        0 |        0
893.85/894.23	c  894s |      26 | 12301725 |  9332252 |     2122  11363 |        0 |        0
895.84/896.24	c  896s |      26 | 12328787 |  9352052 |     2122  11382 |        0 |        0
897.84/898.25	c  898s |      26 | 12356264 |  9372752 |     2122  11401 |        0 |        0
899.84/900.25	c  900s |      26 | 12382866 |  9392952 |     2122  11420 |        0 |        0
901.84/902.27	c  902s |      26 | 12409968 |  9412852 |     2122  11439 |        0 |        0
903.85/904.27	c  904s |      26 | 12432278 |  9429852 |     2122  11455 |        0 |        0
905.84/906.27	c  906s |      26 | 12456991 |  9448052 |     2122  11472 |        0 |        0
907.84/908.28	c  908s |      26 | 12478935 |  9465852 |     2122  11489 |        0 |        0
909.84/910.29	c  910s |      26 | 12507010 |  9486152 |     2122  11508 |        0 |        0
911.84/912.29	c  912s |      26 | 12533340 |  9506152 |     2122  11526 |        0 |        0
913.85/914.29	c  914s |      26 | 12555486 |  9524652 |     2122  11544 |        0 |        0
915.84/916.30	c  916s |      26 | 12576565 |  9542252 |     2122  11560 |        0 |        0
917.94/918.31	c  918s |      26 | 12602930 |  9561852 |     2122  11579 |        0 |        0
919.94/920.31	c  920s |      26 | 12625707 |  9579852 |     2122  11596 |        0 |        0
921.94/922.31	c  922s |      26 | 12647466 |  9596852 |     2122  11611 |        0 |        0
923.94/924.32	c  924s |      26 | 12668271 |  9613652 |     2122  11627 |        0 |        0
925.95/926.33	c  926s |      26 | 12690546 |  9632052 |     2122  11645 |        0 |        0
927.94/928.35	c  928s |      26 | 12717644 |  9652252 |     2122  11664 |        0 |        0
929.94/930.35	c  930s |      26 | 12743383 |  9671852 |     2122  11682 |        0 |        0
931.94/932.35	c  932s |      26 | 12770466 |  9692352 |     2122  11701 |        0 |        0
933.94/934.36	c  934s |      26 | 12798986 |  9713152 |     2122  11721 |        0 |        0
935.94/936.37	c  936s |      26 | 12827537 |  9734252 |     2122  11740 |        0 |        0
937.94/938.38	c  938s |      26 | 12855162 |  9754552 |     2122  11759 |        0 |        0
939.94/940.38	c  940s |      26 | 12883681 |  9775352 |     2122  11779 |        0 |        0
941.93/942.39	c  942s |      26 | 12913181 |  9796152 |     2122  11798 |        0 |        0
943.93/944.40	c  944s |      26 | 12941190 |  9817052 |     2122  11818 |        0 |        0
946.03/946.40	c  946s |      26 | 12965967 |  9836552 |     2122  11836 |        0 |        0
948.03/948.41	c  948s |      26 | 12993282 |  9857052 |     2122  11856 |        0 |        0
950.04/950.41	c  950s |      26 | 13019086 |  9876452 |     2122  11874 |        0 |        0
952.03/952.42	c  952s |      26 | 13046299 |  9896652 |     2122  11893 |        0 |        0
954.03/954.42	c  954s |      26 | 13075388 |  9918252 |     2122  11913 |        0 |        0
956.03/956.43	c  956s |      26 | 13104921 |  9940052 |     2122  11933 |        0 |        0
958.03/958.43	c  958s |      26 | 13132857 |  9961452 |     2122  11953 |        1 |        4
960.04/960.43	c  960s |      26 | 13157659 |  9980752 |     2122  11971 |        1 |        4
962.03/962.44	c  962s |      26 | 13182136 |  9999552 |     2122  11988 |        1 |        4
964.03/964.44	c  964s |      26 | 13203855 | 10016652 |     2122  12004 |        1 |        4
966.03/966.44	c  966s |      26 | 13228289 | 10035652 |     2122  12022 |        1 |        4
968.03/968.45	c  968s |      26 | 13254762 | 10055352 |     2122  12041 |        1 |        4
970.03/970.46	c  970s |      26 | 13280100 | 10074952 |     2122  12059 |        1 |        4
972.04/972.46	c  972s |      26 | 13306099 | 10094352 |     2122  12077 |        1 |        4
974.03/974.46	c  974s |      26 | 13333019 | 10114052 |     2122  12096 |        1 |        4
976.03/976.47	c  976s |      26 | 13361079 | 10133952 |     2122  12114 |        1 |        4
978.03/978.48	c  978s |      26 | 13386280 | 10153252 |     2122  12133 |        1 |        4
980.03/980.48	c  980s |      26 | 13412665 | 10172852 |     2122  12151 |        1 |        4
982.03/982.48	c  982s |      26 | 13437989 | 10192052 |     2122  12169 |        1 |        4
984.02/984.49	c  984s |      26 | 13463882 | 10211152 |     2122  12187 |        1 |        4
986.02/986.49	c  986s |      26 | 13490814 | 10231152 |     2122  12206 |        1 |        4
988.02/988.49	c  988s |      26 | 13519466 | 10251852 |     2122  12225 |        1 |        4
990.12/990.50	c  990s |      26 | 13545459 | 10271452 |     2122  12244 |        1 |        4
992.12/992.50	c  992s |      26 | 13569713 | 10290452 |     2122  12261 |        1 |        4
994.03/994.50	c  994s |      26 | 13595904 | 10309952 |     2122  12280 |        1 |        4
996.12/996.51	c  996s |      26 | 13619443 | 10328852 |     2122  12297 |        1 |        4
998.12/998.51	c  998s |      26 | 13646804 | 10349452 |     2122  12317 |        1 |        4
1000.12/1000.51	c 1000s |      26 | 13671829 | 10368852 |     2122  12335 |        1 |        4
1002.12/1002.52	c 1002s |      26 | 13696078 | 10388352 |     2122  12353 |        1 |        4
1004.12/1004.53	c 1004s |      26 | 13719858 | 10406852 |     2122  12371 |        1 |        4
1006.13/1006.53	c 1006s |      26 | 13746360 | 10426152 |     2122  12389 |        1 |        4
1008.13/1008.53	c 1008s |      26 | 13773959 | 10445952 |     2122  12407 |        1 |        4
1010.13/1010.54	c 1010s |      26 | 13799653 | 10465152 |     2122  12425 |        1 |        4
1012.13/1012.55	c 1012s |      26 | 13825029 | 10484152 |     2122  12443 |        1 |        4
1014.13/1014.55	c 1014s |      26 | 13852036 | 10503652 |     2122  12461 |        1 |        4
1016.13/1016.56	c 1016s |      26 | 13877041 | 10522752 |     2122  12479 |        1 |        4
1018.13/1018.56	c 1018s |      26 | 13902300 | 10541752 |     2122  12497 |        1 |        4
1020.13/1020.58	c 1020s |      26 | 13928431 | 10561052 |     2122  12515 |        1 |        4
1022.12/1022.58	c 1022s |      26 | 13955822 | 10580852 |     2122  12534 |        1 |        4
1024.12/1024.59	c 1024s |      26 | 13982169 | 10600352 |     2122  12552 |        1 |        4
1026.22/1026.61	c 1026s |      26 | 14004018 | 10618152 |     2122  12569 |        1 |        4
1028.23/1028.61	c 1028s |      26 | 14027633 | 10636652 |     2122  12586 |        1 |        4
1030.22/1030.61	c 1030s |      26 | 14054755 | 10656952 |     2122  12605 |        1 |        4
1032.22/1032.62	c 1032s |      26 | 14077132 | 10674452 |     2122  12622 |        1 |        4
1034.22/1034.62	c 1034s |      26 | 14102631 | 10694152 |     2122  12640 |        1 |        4
1036.22/1036.63	c 1036s |      26 | 14128504 | 10712852 |     2122  12658 |        1 |        4
1038.22/1038.63	c 1038s |      26 | 14154133 | 10731552 |     2122  12675 |        1 |        4
1040.23/1040.64	c 1040s |      26 | 14180808 | 10751152 |     2122  12694 |        1 |        4
1042.22/1042.65	c 1042s |      26 | 14207583 | 10771052 |     2122  12712 |        1 |        4
1044.22/1044.66	c 1044s |      26 | 14233610 | 10790552 |     2122  12731 |        1 |        4
1046.22/1046.66	c 1046s |      26 | 14258157 | 10809052 |     2122  12748 |        1 |        4
1048.22/1048.67	c 1048s |      26 | 14284757 | 10828852 |     2122  12767 |        1 |        4
1050.23/1050.68	c 1050s |      26 | 14312032 | 10848952 |     2122  12786 |        1 |        4
1052.22/1052.68	c 1052s |      26 | 14339612 | 10868852 |     2122  12804 |        1 |        4
1054.22/1054.69	c 1054s |      26 | 14365381 | 10888452 |     2122  12823 |        1 |        4
1056.22/1056.69	c 1056s |      26 | 14392208 | 10908752 |     2122  12842 |        1 |        4
1058.22/1058.69	c 1058s |      26 | 14419829 | 10929152 |     2122  12861 |        1 |        4
1060.32/1060.70	c 1060s |      26 | 14450859 | 10950852 |     2122  12881 |        1 |        4
1062.32/1062.71	c 1062s |      26 | 14476522 | 10970552 |     2122  12900 |        1 |        4
1064.32/1064.71	c 1064s |      26 | 14504633 | 10990752 |     2122  12918 |        1 |        4
1066.31/1066.71	c 1066s |      26 | 14533205 | 11011552 |     2122  12938 |        1 |        4
1068.31/1068.71	c 1068s |      26 | 14563016 | 11032852 |     2122  12958 |        1 |        4
1070.31/1070.72	c 1070s |      26 | 14588498 | 11052152 |     2122  12976 |        1 |        4
1072.31/1072.72	c 1072s |      26 | 14617380 | 11072552 |     2122  12995 |        1 |        4
1074.32/1074.74	c 1074s |      26 | 14645821 | 11093352 |     2122  13015 |        1 |        4
1076.31/1076.74	c 1076s |      26 | 14669191 | 11111252 |     2122  13031 |        1 |        4
1078.31/1078.74	c 1078s |      26 | 14692362 | 11128752 |     2122  13048 |        1 |        4
1080.31/1080.75	c 1080s |      26 | 14716609 | 11146652 |     2122  13064 |        1 |        4
1082.31/1082.76	c 1082s |      26 | 14742051 | 11165952 |     2122  13082 |        1 |        4
1084.32/1084.76	c 1084s |      26 | 14767741 | 11185552 |     2122  13101 |        1 |        4
1086.31/1086.77	c 1086s |      26 | 14790689 | 11203852 |     2122  13118 |        1 |        4
1088.31/1088.77	c 1088s |      26 | 14813662 | 11221952 |     2122  13135 |        1 |        4
1090.31/1090.77	c 1090s |      26 | 14840098 | 11241652 |     2122  13153 |        1 |        4
1092.31/1092.78	c 1092s |      26 | 14865931 | 11261052 |     2122  13172 |        1 |        4
1094.31/1094.79	c 1094s |      26 | 14893296 | 11281352 |     2122  13191 |        1 |        4
1096.32/1096.80	c 1096s |      26 | 14920454 | 11302052 |     2122  13210 |        1 |        4
1098.41/1098.80	c 1098s |      26 | 14950117 | 11323252 |     2335  13228 |        2 |        8
1100.41/1100.81	c 1100s |      26 | 14976021 | 11342652 |     2335  13245 |        2 |        8
1102.41/1102.82	c 1102s |      26 | 15000854 | 11361452 |     2335  13261 |        2 |        8
1104.41/1104.83	c 1104s |      26 | 15026062 | 11379852 |     2335  13276 |        2 |        8
1106.41/1106.84	c 1106s |      26 | 15047069 | 11396552 |     2335  13290 |        2 |        8
1106.41/1106.85	c 1106s |      27 | 15047289 | 11396733 |     2335  13290 |        2 |        8
1108.41/1108.87	c 1108s |      27 | 15065528 | 11411833 |     2335  13303 |        2 |        8
1110.41/1110.87	c 1110s |      27 | 15084609 | 11427433 |     2335  13317 |        2 |        8
1112.40/1112.89	c 1112s |      27 | 15106681 | 11444633 |     2335  13331 |        2 |        8
1114.50/1114.90	c 1114s |      27 | 15129541 | 11462533 |     2335  13346 |        2 |        8
1116.50/1116.90	c 1116s |      27 | 15153785 | 11480933 |     2335  13362 |        2 |        8
1118.50/1118.91	c 1118s |      27 | 15174750 | 11497833 |     2335  13376 |        2 |        8
1120.51/1120.91	c 1120s |      27 | 15194558 | 11513533 |     2335  13390 |        2 |        8
1122.50/1122.92	c 1122s |      27 | 15217706 | 11531533 |     2335  13405 |        2 |        8
1124.50/1124.93	c 1124s |      27 | 15239635 | 11549033 |     2335  13420 |        2 |        8
1126.50/1126.93	c 1126s |      27 | 15262207 | 11567133 |     2335  13436 |        2 |        8
1128.50/1128.93	c 1128s |      27 | 15286413 | 11585633 |     2335  13451 |        2 |        8
1130.51/1130.94	c 1130s |      27 | 15310170 | 11603933 |     2335  13467 |        2 |        8
1132.50/1132.94	c 1132s |      27 | 15334502 | 11622633 |     2335  13483 |        2 |        8
1134.50/1134.94	c 1134s |      27 | 15355915 | 11640133 |     2335  13498 |        2 |        8
1136.50/1136.95	c 1136s |      27 | 15378402 | 11657633 |     2335  13513 |        2 |        8
1138.50/1138.96	c 1138s |      27 | 15397808 | 11674333 |     2335  13527 |        2 |        8
1140.50/1140.96	c 1140s |      27 | 15421165 | 11692833 |     2335  13543 |        2 |        8
1142.51/1142.97	c 1142s |      27 | 15444274 | 11711033 |     2335  13558 |        2 |        8
1144.50/1144.98	c 1144s |      27 | 15466472 | 11728533 |     2335  13573 |        2 |        8
1146.50/1146.99	c 1146s |      27 | 15489620 | 11747133 |     2335  13589 |        2 |        8
1148.50/1148.99	c 1148s |      27 | 15514460 | 11765733 |     2335  13605 |        2 |        8
1150.60/1151.00	c 1150s |      27 | 15539541 | 11784633 |     2335  13621 |        2 |        8
1152.60/1153.00	c 1152s |      27 | 15564552 | 11803933 |     2335  13637 |        2 |        8
1154.60/1155.01	c 1154s |      27 | 15590823 | 11824233 |     2335  13655 |        2 |        8
1156.60/1157.01	c 1156s |      27 | 15617331 | 11844533 |     2335  13672 |        2 |        8
1158.60/1159.02	c 1159s |      27 | 15639956 | 11862633 |     2335  13687 |        2 |        8
1160.60/1161.02	c 1161s |      27 | 15668349 | 11882933 |     2335  13705 |        2 |        8
1162.60/1163.03	c 1163s |      27 | 15696720 | 11903633 |     2335  13721 |        3 |       12
1164.60/1165.04	c 1165s |      27 | 15724261 | 11923733 |     2335  13739 |        3 |       12
1166.60/1167.05	c 1167s |      27 | 15752103 | 11944233 |     2335  13756 |        3 |       12
1168.60/1169.05	c 1169s |      27 | 15779706 | 11964933 |     2335  13774 |        3 |       12
1170.60/1171.05	c 1171s |      27 | 15804594 | 11983533 |     2335  13790 |        3 |       12
1172.60/1173.06	c 1173s |      27 | 15828655 | 12001933 |     2335  13805 |        3 |       12
1174.60/1175.06	c 1175s |      27 | 15857677 | 12022333 |     2335  13823 |        3 |       12
1176.61/1177.06	c 1177s |      27 | 15884531 | 12042233 |     2335  13840 |        3 |       12
1178.60/1179.07	c 1179s |      27 | 15908923 | 12060933 |     2335  13855 |        3 |       12
1180.60/1181.07	c 1181s |      27 | 15933366 | 12079433 |     2335  13871 |        3 |       12
1182.60/1183.07	c 1183s |      27 | 15956413 | 12098133 |     2335  13887 |        3 |       12
1184.60/1185.08	c 1185s |      27 | 15982678 | 12118033 |     2335  13904 |        3 |       12
1186.61/1187.08	c 1187s |      27 | 16008064 | 12137233 |     2335  13920 |        3 |       12
1188.60/1189.08	c 1189s |      27 | 16035365 | 12157433 |     2335  13938 |        3 |       12
1190.60/1191.09	c 1191s |      27 | 16062871 | 12178133 |     2335  13955 |        4 |       16
1192.60/1193.09	c 1193s |      27 | 16092393 | 12198833 |     2335  13972 |        4 |       16
1194.60/1195.10	c 1195s |      27 | 16118821 | 12219533 |     2335  13990 |        4 |       16
1196.70/1197.10	c 1197s |      27 | 16147603 | 12241133 |     2335  14006 |        6 |       24
1197.40/1197.84	c 1197s |      27 | 16158286 | 12249359 |     2335  14009 |       24 |       64
1197.40/1197.84	c #cpu_time = 1197.665s
1197.40/1197.84	c #wall_clock_time = 1197.821s
1197.40/1197.84	c #decision = 16158286
1197.40/1197.84	c #random_decision = 77909
1197.40/1197.84	c #conflict = 12249359
1197.40/1197.84	c #restart = 27
1197.40/1197.84	s UNSATISFIABLE
1197.40/1197.84	c total CPU time = 1197.686s
1197.40/1197.84	c total wall clock time = 1197.841s

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

pid=20279
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.10 2.09 2.00 3/177 20282
/proc/meminfo: memFree=29420836/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 12286327 726069248 3004 33554432000 4194304 16246674 140736306310704 140736306310128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 178031 3015 441 2943 0 174925 0
[pid=20282/tid=20283] ppid=20279 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 745992192 3077 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 749137920 3092 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286327 754380800 3110 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.10 2.09 2.00 3/177 20282
/proc/meminfo: memFree=29420836/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 25618 0 0 0 5 4 0 0 20 0 4 0 12286327 1247350784 25967 33554432000 4194304 16246674 140736306310704 140736306310128 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 304529 25977 709 2943 0 301423 0
[pid=20282/tid=20283] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 25985 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 25991 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 26000 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200525 s]
/proc/loadavg: 2.10 2.09 2.00 3/177 20282
/proc/meminfo: memFree=29420836/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 49220 0 0 0 13 6 0 0 20 0 4 0 12286327 1247350784 49569 33554432000 4194304 16246674 140736306310704 140736306310128 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 304529 49580 709 2943 0 301423 0
[pid=20282/tid=20283] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 49585 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 49591 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 49597 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.10 2.09 2.00 3/177 20282
/proc/meminfo: memFree=29420836/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 73350 0 0 0 19 10 0 0 20 0 4 0 12286327 1247350784 73699 33554432000 4194304 16246674 140736306310704 140736306310128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 304529 73711 709 2943 0 301423 0
[pid=20282/tid=20283] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 73722 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 73728 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 73734 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 2.10 2.09 2.00 3/177 20282
/proc/meminfo: memFree=29420836/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 167847 0 0 0 47 22 0 0 20 0 4 0 12286327 1247350784 168197 33554432000 4194304 16246674 140736306310704 140736306293704 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 304529 168210 709 2943 0 301423 0
[pid=20282/tid=20283] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 168217 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 168222 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286327 1247350784 168228 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.10 2.09 2.00 3/181 20286
/proc/meminfo: memFree=28437644/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 245618 0 0 0 117 32 0 0 20 0 4 0 12286327 1248399360 245947 33554432000 4194304 16246674 140736306310704 140736306293704 6844064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 304785 245947 788 2943 0 301679 0
[pid=20282/tid=20283] ppid=20279 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1248399360 245947 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1248399360 245947 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1248399360 245947 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 2.09 2.09 2.00 3/181 20286
/proc/meminfo: memFree=28350596/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267455 0 0 0 275 34 0 0 20 0 4 0 12286327 1337528320 267784 33554432000 4194304 16246674 140736306310704 140736306293704 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326545 267784 788 2943 0 323439 0
[pid=20282/tid=20283] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267784 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267784 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267784 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.09 2.09 2.00 3/181 20286
/proc/meminfo: memFree=28349004/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267494 0 0 0 595 34 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140736306293704 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326545 267823 788 2943 0 323439 0
[pid=20282/tid=20283] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.08 2.08 2.00 3/181 20286
/proc/meminfo: memFree=28349320/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267494 0 0 0 1234 34 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140736306293704 5523675 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326545 267823 788 2943 0 323439 0
[pid=20282/tid=20283] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1337528320 267823 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.00 4/181 20286
/proc/meminfo: memFree=28349248/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267647 0 0 0 2514 35 0 0 20 0 4 0 12286327 1338576896 267976 33554432000 4194304 16246674 140736306310704 140736306293704 6026674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326801 267976 790 2943 0 323695 0
[pid=20282/tid=20283] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 267976 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 267976 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 267976 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.00 3/181 20286
/proc/meminfo: memFree=28348260/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267829 0 0 0 5073 35 0 0 20 0 4 0 12286327 1338576896 268158 33554432000 4194304 16246674 140736306310704 140736306293704 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326801 268158 790 2943 0 323695 0
[pid=20282/tid=20283] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268158 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268158 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268158 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.13 2.09 2.01 3/181 20335
/proc/meminfo: memFree=28356972/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 267834 0 0 0 10192 36 0 0 20 0 4 0 12286327 1338576896 268415 33554432000 4194304 16246674 140736306310704 140736306293704 12474899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 326801 268415 791 2943 0 323695 0
[pid=20282/tid=20283] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268415 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268415 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1338576896 268415 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 94146 47 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 4206979 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1312324

[startup+1002.3 s]
/proc/loadavg: 2.13 2.11 2.03 3/181 20359
/proc/meminfo: memFree=28347252/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1001.92 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 100145 47 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 5677833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1312324

[startup+1062.3 s]
/proc/loadavg: 2.09 2.11 2.03 4/181 20361
/proc/meminfo: memFree=28345564/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1061.92 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 106144 48 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 6072046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1312324

[startup+1122.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/181 20362
/proc/meminfo: memFree=28344476/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1121.9 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 112142 48 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 13198373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1312324

[startup+1182.3 s]
/proc/loadavg: 2.08 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344260/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1181.9 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 118141 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 5822671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1312324

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

[startup+1190.4 s]
/proc/loadavg: 2.06 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344248/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1190 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 118951 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306292608 12874957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1190
Current children cumulated vsize (KiB) 1312324

[startup+1193.61 s]
/proc/loadavg: 2.06 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344232/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1193.21 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 119272 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1193.21
Current children cumulated vsize (KiB) 1312324

[startup+1195.2 s]
/proc/loadavg: 2.06 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344232/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1194.8 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 119431 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 13192416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1194.8
Current children cumulated vsize (KiB) 1312324

[startup+1196.8 s]
/proc/loadavg: 2.05 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344232/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1196.41 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 119592 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1196.41
Current children cumulated vsize (KiB) 1312324

[startup+1197.6 s]
/proc/loadavg: 2.05 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344232/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1197.2 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 119671 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 6009960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1197.2
Current children cumulated vsize (KiB) 1312324

[startup+1197.8 s]
/proc/loadavg: 2.05 2.10 2.04 3/181 20363
/proc/meminfo: memFree=28344232/32872528 swapFree=447588/480292
[pid=20282] ppid=20279 vsize=1312324 CPUtime=1197.4 cores=1,3,5,7
/proc/20282/stat : 20282 (toysat) R 20279 20282 16080 0 -1 4202496 269432 0 0 0 119691 49 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140736306293704 13198582 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20282/statm: 328081 269696 792 2943 0 324975 0
[pid=20282/tid=20283] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20283/stat : 20283 (toysat) S 20279 20282 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148091104496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20282/tid=20284] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20284/stat : 20284 (toysat) S 20279 20282 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140148004072688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20282/tid=20285] ppid=20279 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20282/task/20285/stat : 20285 (toysat) S 20279 20282 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12286327 1343819776 269696 33554432000 4194304 16246674 140736306310704 140147993599152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1197.4
Current children cumulated vsize (KiB) 1312324

Child status: 0
Real time (s): 1197.85
CPU time (s): 1197.45
CPU user time (s): 1196.95
CPU system time (s): 0.495924
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.96
system time used= 0.495924
maximum resident set size= 1078796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269437
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= 344
involuntary context switches= 1215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.11253 second user time and 4.54831 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 20:37:06
IDJOB=4120610
IDBENCH=110039
IDSOLVER=2542
FILE ID=node104/4120610-1467311826
RUNJOBID= node104-1467310023-19960
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-tseitin-regular-n94-d3-i1-r1.cnf.gz-plain.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-4120610-1467311826/watcher-4120610-1467311826 -o /tmp/evaluation-result-4120610-1467311826/solver-4120610-1467311826 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120610-1467311826.opb

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

MD5SUM BENCH= 11b06e35d269e58f9902509b92ba9c1f
RANDOM SEED=1167386870

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:        29421480 kB
Buffers:          194420 kB
Cached:           935080 kB
SwapCached:            0 kB
Active:          1436380 kB
Inactive:         791864 kB
Active(anon):    1101204 kB
Inactive(anon):        0 kB
Active(file):     335176 kB
Inactive(file):   791864 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1661312 kB
Mapped:            16388 kB
Shmem:               204 kB
Slab:             610772 kB
SReclaimable:      55124 kB
SUnreclaim:       555648 kB
KernelStack:        1504 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1701168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 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 20:57:04