Trace number 4093081

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-02? (TO) 1800.11 1800.53

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo
MD5SUM6208767dceeaee4005a754b6f8934b98
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables109757
Total number of constraints313451
Number of soft constraints106894
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 5385165
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5385164
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T12:58:35+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","--wbo","--search=bcd2","HOME/instance-4093081-1466074715.wbo"]
0.00/0.01	c use --random-gen="441606600 1699964883 1287685791 2513281661 2952049120 2585198891 2644097103 3731031010 2746169782 59111744 823247484 1980640264 1730823215 1910765145 1537780305 2537497013 1165850974 2568301150 135290330 4174040753 1805998456 4153246422 3381724499 4259197270 2306781021 1510669963 2181481200 100525716 3351061495 2508395476 68477864 1102087087 1484611968 2079068049 2289590287 1099459973 916639840 2239438007 3218605288 2879306116 2422708356 299508358 2115193995 231821057 1237767541 1574854799 1534940164 3860537855 283380548 2864325532 1112025776 3465318553 4153410359 1973973536 2050849546 527366382 2646664774 2129642278 887265970 991147911 2916103055 2432778906 4206337545 3263718590 1993578156 3668566816 895548574 2793954934 1298281746 519815644 3740586664 467406029 4162566729 1058278308 4160760640 3197756457 2217156532 1395523799 3588676748 511715027 3871922609 4006062895 3175287399 86150313 206683174 685731580 2417852682 2251212019 3666543594 664923586 2111969656 2895025958 3211504877 3480991595 1186932448 1206266255 2538046508 259327970 965718668 2680069522 2627005726 1795417774 1294131757 83272333 1841179 2348593718 3939073988 627435794 4149163587 3116791359 1398200372 557625672 1968314654 3114325894 3682917218 1809224587 2718066585 2603389519 2550775807 3504789714 1078491840 124465487 1429549582 1607440776 1730041130 3791362462 2069366392 2255926063 189239642 3078604361 1598058336 583649469 1113298860 2003659924 1208861578 4185896396 1623077893 2479694136 2177378117 3831403335 3032197514 2908693433 1741800285 672802572 1299276429 2950258393 868835865 1423234476 1968602412 96637805 976182503 1309978176 2637321139 2052597789 711949544 751642372 2824118351 133800033 2275015165 1810793284 3230953610 3915617285 1482016257 3068198641 1799858678 820762444 980460259 979703230 2914911139 3041972000 1001926832 94327822 2695343195 3557145268 3492029385 3385917004 1177153077 227278414 1982262624 1212973643 2685812612 4204538066 1618031031 1275081006 2715652994 2678672903 4252139609 448837244 1211963622 959677181 595571261 426369269 1563309526 2375485998 1304924370 330631276 3958096896 4084452939 1543246828 2295932662 4213030752 1275928029 3947913173 976760524 76320845 2406187989 2200412116 712486271 2613762001 568238148 3852492378 1771496537 1102660209 17832716 3037844870 344464523 3967549534 1131426470 2070305925 2641617873 1726328789 765512115 681566831 2348965431 3930437022 3653321945 2362048741 2406392300 32262181 3483322253 2911861492 1992947908 2578951153 2602756271 3390920322 1715814012 633532902 3230395257 1325559296 813764940 4275738101 3427421122 336832496 3525955050 1139606815 1508662894 135940770 1247656826 2852758347 1862889145 2503403026 1718400227 2218526651 1057582943 3318562197 960503665 255 362436" option to reproduce the execution
12.19/12.22	c #vars 109757
12.19/12.22	c #constraints 313451
18.78/18.84	c BCD2: Hardening is enabled.
18.78/18.84	c BCD2: BiasedSearch is enabled.
18.78/18.84	c Solving starts ...
18.78/18.84	c ============================[ Search Statistics ]============================
18.78/18.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.78/18.84	c       |         |          |          |    Limit     GC | Var      | Constra 
18.78/18.84	c =============================================================================
18.78/18.87	c  0.0s |       0 |        0 |        0 |   176700      0 |        1 |        0
20.28/20.35	c  1.5s |       1 |   271012 |      100 |   176700      0 |        3 |        7
21.48/21.52	c  2.7s |       2 |   475221 |      250 |   194371      0 |        3 |        7
22.79/22.81	c  4.0s |       3 |   597604 |      475 |   213809      0 |        3 |        7
25.38/25.43	c  6.6s |       3 |  1060318 |      612 |   235190      0 |        3 |        7
25.38/25.43	c #cpu_time = 6.367s
25.38/25.43	c #wall_clock_time = 6.383s
25.38/25.43	c #decision = 1060318
25.38/25.43	c #random_decision = 2994
25.38/25.43	c #conflict = 612
25.38/25.43	c #restart = 3
25.38/25.46	o 17268
25.79/25.81	c BCD2: updating upper bound: 5385164 -> 17267
26.49/26.50	c BCD2: 0 <= obj <= 17267
26.49/26.51	c BCD2: #cores=0, #unrelaxed=106894, #relaxed=0, #hardened=0
26.49/26.51	c BCD2: #sat=1 #unsat=1 bias=1/2
26.49/26.52	c Solving starts ...
26.49/26.52	c ============================[ Search Statistics ]============================
26.49/26.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.49/26.52	c       |         |          |          |    Limit     GC | Var      | Constra 
26.49/26.52	c =============================================================================
26.49/26.52	c  0.0s |       0 |        0 |        0 |   235190      0 |        3 |        7
28.19/28.28	c  1.8s |       1 |   121128 |      100 |   235190      0 |        3 |        7
29.09/29.19	c  2.7s |       2 |   228629 |      250 |   258710      0 |        3 |        7
31.09/31.15	c  4.6s |       3 |   342365 |      475 |   258710      0 |        3 |        7
33.59/33.61	c  7.1s |       4 |   451064 |      813 |   284581      0 |        3 |        7
36.29/36.32	c  9.8s |       4 |   558412 |     1013 |   284581      0 |        3 |        7
38.89/38.92	c 12.4s |       4 |   559012 |     1313 |   284581      0 |        3 |        7
38.99/39.02	c 12.5s |       5 |   559015 |     1320 |   284581      0 |        3 |        7
41.69/41.74	c 15.2s |       5 |   673262 |     1620 |   313040      0 |        3 |        7
43.69/43.78	c 17.3s |       6 |   674088 |     2081 |   313040      0 |        3 |        7
46.08/46.17	c 19.6s |       6 |   782178 |     2781 |   344344      0 |        3 |        7
47.88/47.95	c 21.4s |       7 |   783059 |     3223 |   344344      0 |        3 |        7
50.38/50.47	c 24.0s |       7 |   890909 |     3523 |   344344      0 |        3 |        7
52.59/52.68	c 26.2s |       7 |   891384 |     3723 |   344344      0 |        3 |        7
55.28/55.34	c 28.8s |       7 |   892050 |     4023 |   344344      0 |        3 |        7
57.28/57.39	c 30.9s |       7 |   892436 |     4223 |   344344      0 |        3 |        7
59.98/60.08	c 33.6s |       7 |   893142 |     4523 |   378779      0 |        3 |        7
62.78/62.80	c 36.3s |       7 |   894853 |     4823 |   378779      0 |        3 |        7
63.59/63.63	c 37.1s |       8 |   895293 |     4936 |   378779      0 |        3 |        7
65.69/65.76	c 39.2s |       8 |  1004061 |     5936 |   378779      0 |        3 |        7
67.99/68.09	c 41.6s |       8 |  1006006 |     6236 |   378779      0 |        3 |        7
70.98/71.08	c 44.6s |       8 |  1007306 |     6536 |   378779      0 |        3 |        7
73.28/73.30	c 46.8s |       8 |  1008125 |     6736 |   378779      0 |        3 |        7
76.38/76.42	c 49.9s |       8 |  1009280 |     7036 |   416657      0 |        3 |        7
78.58/78.60	c 52.1s |       8 |  1010078 |     7236 |   416657      0 |        3 |        7
81.08/81.12	c 54.6s |       8 |  1011018 |     7436 |   416657      0 |        3 |        7
81.98/82.00	c 55.5s |       9 |  1011305 |     7506 |   416657      0 |        3 |        7
84.28/84.30	c 57.8s |       9 |  1118933 |     7706 |   416657      0 |        3 |        7
86.47/86.59	c 60.1s |       9 |  1120480 |     8606 |   416657      0 |        3 |        7
89.17/89.27	c 62.7s |       9 |  1121320 |     9006 |   416657      0 |        3 |        7
91.57/91.67	c 65.2s |       9 |  1123071 |     9706 |   416657      0 |        3 |        7
93.77/93.83	c 67.3s |       9 |  1123750 |     9906 |   416657      0 |        3 |        7
95.77/95.90	c 69.4s |       9 |  1125003 |    10206 |   416657      0 |        3 |        7
97.97/98.09	c 71.6s |       9 |  1126371 |    10506 |   416657      0 |        3 |        7
100.07/100.15	c 73.6s |      10 |  1127880 |    11361 |   458323      0 |        3 |        7
102.37/102.42	c 75.9s |      10 |  1236027 |    11661 |   458323      0 |        3 |        7
104.56/104.61	c 78.1s |      10 |  1237758 |    12061 |   458323      0 |        3 |        7
106.96/107.08	c 80.6s |      10 |  1239662 |    12561 |   458323      0 |        3 |        7
109.26/109.40	c 82.9s |      10 |  1241399 |    12961 |   458323      0 |        3 |        7
111.36/111.41	c 84.9s |      10 |  1243157 |    13361 |   458323      0 |        3 |        7
113.46/113.54	c 87.0s |      10 |  1244527 |    13861 |   458323      0 |        3 |        7
115.46/115.59	c 89.1s |      10 |  1246140 |    14361 |   458323      0 |        3 |        7
117.66/117.70	c 91.2s |      10 |  1247448 |    14761 |   458323      0 |        3 |        7
120.06/120.18	c 93.7s |      10 |  1248415 |    15261 |   458323      0 |        3 |        7
122.76/122.80	c 96.3s |      10 |  1249155 |    15661 |   458323      0 |        3 |        7
125.86/125.98	c 99.5s |      10 |  1249585 |    15961 |   458323      0 |        3 |        7
128.56/128.60	c  102s |      10 |  1250312 |    16361 |   458323      0 |        3 |        7
130.56/130.68	c  104s |      10 |  1250768 |    16661 |   504156      0 |        3 |        7
132.66/132.76	c  106s |      10 |  1251284 |    16961 |   504156      0 |        3 |        7
134.06/134.13	c  107s |      11 |  1251619 |    17144 |   504156      0 |        3 |        7
136.76/136.86	c  110s |      11 |  1359135 |    17344 |   504156      0 |        3 |        7
138.85/138.90	c  112s |      11 |  1361225 |    18344 |   504156      0 |        3 |        7
140.95/141.03	c  114s |      11 |  1362843 |    19144 |   504156      0 |        3 |        7
143.05/143.13	c  116s |      11 |  1363558 |    19644 |   504156      0 |        3 |        7
145.25/145.31	c  118s |      11 |  1364318 |    20144 |   504156      0 |        3 |        7
147.65/147.74	c  121s |      11 |  1365581 |    20444 |   504156      0 |        3 |        7
149.95/150.05	c  123s |      11 |  1367130 |    20744 |   504156      0 |        3 |        7
152.46/152.60	c  126s |      11 |  1368058 |    21044 |   504156      0 |        3 |        7
155.26/155.38	c  128s |      11 |  1368589 |    21244 |   504156      0 |        3 |        7
157.96/158.05	c  131s |      11 |  1369320 |    21544 |   504156      0 |        3 |        7
160.15/160.20	c  133s |      11 |  1369909 |    21744 |   504156      0 |        3 |        7
162.95/163.07	c  136s |      11 |  1370454 |    21944 |   504156      0 |        3 |        7
165.55/165.67	c  139s |      11 |  1371223 |    22244 |   504156      0 |        3 |        7
167.85/167.97	c  141s |      11 |  1371601 |    22444 |   504156      0 |        3 |        7
170.35/170.40	c  143s |      11 |  1372550 |    22744 |   504156      0 |        3 |        7
172.55/172.64	c  146s |      11 |  1373075 |    22944 |   504156      0 |        3 |        7
175.55/175.61	c  149s |      11 |  1373598 |    23144 |   504156      0 |        3 |        7
178.45/178.56	c  152s |      11 |  1374387 |    23444 |   504156      0 |        3 |        7
180.75/180.89	c  154s |      11 |  1375098 |    23744 |   504156      0 |        3 |        7
183.25/183.31	c  156s |      11 |  1375885 |    24044 |   504156      0 |        3 |        7
185.84/185.98	c  159s |      11 |  1376654 |    24344 |   504156      0 |        3 |        7
188.34/188.44	c  161s |      11 |  1377501 |    24644 |   504156      0 |        3 |        7
190.54/190.61	c  164s |      11 |  1378065 |    24844 |   504156      0 |        3 |        7
193.35/193.42	c  166s |      11 |  1378840 |    25144 |   554572      0 |        3 |        7
195.94/196.09	c  169s |      11 |  1379671 |    25444 |   554572      0 |        3 |        7
198.35/198.48	c  171s |      12 |  1380685 |    25819 |   554572      0 |        3 |        7
201.15/201.28	c  174s |      12 |  1489133 |    26119 |   554572      0 |        3 |        7
203.35/203.42	c  176s |      12 |  1489677 |    26319 |   554572      0 |        3 |        7
205.95/206.05	c  179s |      12 |  1490255 |    26619 |   554572      0 |        3 |        7
208.34/208.49	c  181s |      12 |  1490990 |    26919 |   554572      0 |        3 |        7
210.64/210.77	c  184s |      12 |  1491566 |    27119 |   554572      0 |        3 |        7
213.34/213.48	c  186s |      12 |  1492791 |    27619 |   554572      0 |        3 |        7
215.74/215.81	c  189s |      12 |  1493460 |    27819 |   554572      0 |        3 |        7
219.44/219.55	c  193s |      12 |  1493992 |    28019 |   554572      0 |        3 |        7
222.94/223.10	c  196s |      12 |  1494435 |    28219 |   554572      0 |        3 |        7
226.13/226.26	c  199s |      12 |  1494968 |    28419 |   554572      0 |        3 |        7
228.24/228.37	c  201s |      12 |  1495607 |    28619 |   554572      0 |        3 |        7
231.75/231.82	c  205s |      12 |  1496521 |    28819 |   554572      0 |        3 |        7
234.24/234.33	c  207s |      12 |  1497643 |    29119 |   554572      0 |        3 |        7
236.44/236.55	c  210s |      12 |  1498868 |    29319 |   554572      0 |        3 |        7
239.63/239.70	c  213s |      12 |  1499387 |    29519 |   554572      0 |        3 |        7
242.74/242.90	c  216s |      12 |  1499987 |    29719 |   554572      0 |        3 |        7
244.94/245.04	c  218s |      12 |  1500212 |    29819 |   554572      0 |        3 |        7
248.73/248.86	c  222s |      12 |  1500658 |    30019 |   554572      0 |        3 |        7
251.23/251.37	c  224s |      12 |  1501530 |    30219 |   554572      0 |        3 |        7
254.32/254.43	c  227s |      12 |  1502216 |    30419 |   554572      0 |        3 |        7
256.52/256.70	c  230s |      12 |  1502832 |    30619 |   554572      0 |        3 |        7
259.83/259.94	c  233s |      12 |  1503542 |    30819 |   554572      0 |        3 |        7
263.03/263.12	c  236s |      12 |  1504605 |    31119 |   554572      0 |        3 |        7
266.03/266.15	c  239s |      12 |  1505485 |    31319 |   554572      0 |        3 |        7
269.33/269.49	c  242s |      12 |  1506204 |    31519 |   554572      0 |        3 |        7
271.43/271.51	c  244s |      12 |  1506497 |    31619 |   554572      0 |        3 |        7
273.42/273.57	c  247s |      12 |  1507080 |    31819 |   554572      0 |        3 |        7
276.62/276.70	c  250s |      12 |  1507871 |    32019 |   554572      0 |        3 |        7
279.62/279.78	c  253s |      12 |  1508217 |    32119 |   554572      0 |        3 |        7
282.72/282.81	c  256s |      12 |  1508733 |    32319 |   554572      0 |        3 |        7
285.72/285.89	c  259s |      12 |  1509870 |    32519 |   554572      0 |        3 |        7
289.32/289.42	c  262s |      12 |  1510812 |    32719 |   554572      0 |        3 |        7
291.82/291.92	c  265s |      12 |  1511602 |    32919 |   554572      0 |        3 |        7
295.21/295.35	c  268s |      12 |  1512169 |    33119 |   554572      0 |        3 |        7
297.51/297.68	c  271s |      12 |  1512668 |    33319 |   554572      0 |        3 |        7
300.71/300.81	c  274s |      12 |  1513410 |    33619 |   554572      0 |        3 |        7
303.61/303.74	c  277s |      12 |  1514729 |    33919 |   554572      0 |        3 |        7
305.81/305.96	c  279s |      12 |  1515189 |    34119 |   554572      0 |        3 |        7
307.91/308.00	c  281s |      12 |  1515882 |    34319 |   554572      0 |        3 |        7
310.02/310.16	c  283s |      12 |  1516278 |    34519 |   554572      0 |        3 |        7
312.91/313.08	c  286s |      12 |  1517005 |    34819 |   554572      0 |        3 |        7
315.21/315.31	c  288s |      12 |  1517370 |    35019 |   554572      0 |        3 |        7
317.41/317.59	c  291s |      12 |  1517886 |    35319 |   554572      0 |        3 |        7
320.41/320.59	c  294s |      12 |  1518289 |    35619 |   554572      0 |        3 |        7
322.91/323.09	c  296s |      12 |  1518650 |    35819 |   554572      0 |        3 |        7
325.01/325.18	c  298s |      12 |  1519128 |    36019 |   554572      0 |        3 |        7
327.61/327.74	c  301s |      12 |  1519643 |    36219 |   554572      0 |        3 |        7
330.01/330.18	c  303s |      12 |  1520130 |    36419 |   554572      0 |        3 |        7
332.51/332.60	c  306s |      12 |  1520864 |    36719 |   554572      0 |        3 |        7
335.00/335.13	c  308s |      12 |  1521840 |    36919 |   554572      0 |        3 |        7
337.70/337.85	c  311s |      12 |  1522404 |    37119 |   554572      0 |        3 |        7
340.90/341.06	c  314s |      12 |  1522721 |    37319 |   554572      0 |        3 |        7
344.20/344.36	c  317s |      12 |  1523176 |    37519 |   554572      0 |        3 |        7
346.90/347.02	c  320s |      12 |  1523607 |    37719 |   554572      0 |        3 |        7
349.90/350.05	c  323s |      12 |  1524315 |    38019 |   610030      0 |        3 |        7
353.00/353.19	c  326s |      12 |  1524897 |    38219 |   610030      0 |        3 |        7
355.09/355.23	c  328s |      12 |  1525375 |    38419 |   610030      0 |        3 |        7
357.20/357.37	c  330s |      12 |  1526067 |    38619 |   610030      0 |        3 |        7
359.90/360.07	c  333s |      12 |  1526513 |    38819 |   610030      0 |        3 |        7
360.20/360.30	c  333s |      13 |  1526534 |    38832 |   610030      0 |        3 |        7
362.50/362.60	c  336s |      13 |  1633927 |    38932 |   610030      0 |        3 |        7
365.49/365.65	c  339s |      13 |  1634488 |    39132 |   610030      0 |        3 |        7
368.49/368.61	c  342s |      13 |  1635375 |    39332 |   610030      0 |        3 |        7
371.19/371.31	c  344s |      13 |  1636295 |    39532 |   610030      0 |        3 |        7
373.59/373.79	c  347s |      13 |  1636810 |    39732 |   610030      0 |        3 |        7
376.29/376.40	c  349s |      13 |  1637682 |    39932 |   610030      0 |        3 |        7
378.89/379.06	c  352s |      13 |  1638327 |    40132 |   610030      0 |        3 |        7
381.29/381.41	c  354s |      13 |  1639052 |    40332 |   610030      0 |        3 |        7
384.39/384.56	c  358s |      13 |  1639629 |    40532 |   610030      0 |        3 |        7
387.09/387.25	c  360s |      13 |  1640790 |    40832 |   610030      0 |        3 |        7
390.09/390.23	c  363s |      13 |  1641862 |    41132 |   610030      0 |        3 |        7
392.18/392.32	c  365s |      13 |  1642495 |    41332 |   610030      0 |        3 |        7
394.38/394.54	c  368s |      13 |  1643115 |    41532 |   610030      0 |        3 |        7
396.98/397.18	c  370s |      13 |  1644004 |    41832 |   610030      0 |        3 |        7
399.78/399.92	c  373s |      13 |  1644961 |    42132 |   610030      0 |        3 |        7
402.48/402.65	c  376s |      13 |  1645750 |    42432 |   610030      0 |        3 |        7
405.18/405.39	c  378s |      13 |  1646552 |    42732 |   610030      0 |        3 |        7
407.38/407.54	c  381s |      13 |  1647037 |    42932 |   610030      0 |        3 |        7
409.68/409.82	c  383s |      13 |  1647367 |    43132 |   610030      0 |        3 |        7
411.78/411.94	c  385s |      13 |  1647877 |    43332 |   610030      0 |        3 |        7
414.68/414.85	c  388s |      13 |  1648656 |    43632 |   610030      0 |        3 |        7
416.78/416.94	c  390s |      13 |  1649169 |    43832 |   610030      0 |        3 |        7
419.58/419.79	c  393s |      13 |  1650008 |    44132 |   610030      0 |        3 |        7
421.87/422.00	c  395s |      13 |  1650586 |    44332 |   610030      0 |        3 |        7
423.87/424.03	c  397s |      13 |  1651134 |    44532 |   610030      0 |        3 |        7
425.97/426.15	c  399s |      13 |  1651734 |    44732 |   610030      0 |        3 |        7
428.17/428.31	c  401s |      13 |  1652128 |    44932 |   610030      0 |        3 |        7
430.17/430.39	c  403s |      13 |  1652647 |    45132 |   610030      0 |        3 |        7
433.27/433.40	c  406s |      13 |  1653435 |    45432 |   610030      0 |        3 |        7
435.57/435.72	c  409s |      13 |  1653874 |    45632 |   610030      0 |        3 |        7
437.67/437.82	c  411s |      13 |  1654467 |    45832 |   610030      0 |        3 |        7
439.87/440.03	c  413s |      13 |  1654825 |    46032 |   610030      0 |        3 |        7
442.07/442.21	c  415s |      13 |  1655404 |    46232 |   610030      0 |        3 |        7
444.77/444.90	c  418s |      13 |  1656012 |    46432 |   610030      0 |        3 |        7
446.87/447.05	c  420s |      13 |  1656690 |    46632 |   610030      0 |        3 |        7
449.06/449.26	c  422s |      13 |  1657064 |    46832 |   610030      0 |        3 |        7
451.67/451.89	c  425s |      13 |  1657689 |    47032 |   610030      0 |        3 |        7
454.26/454.41	c  427s |      13 |  1658273 |    47232 |   610030      0 |        3 |        7
456.56/456.70	c  430s |      13 |  1658733 |    47432 |   610030      0 |        3 |        7
458.96/459.10	c  432s |      13 |  1659261 |    47632 |   610030      0 |        3 |        7
461.26/461.44	c  434s |      13 |  1659704 |    47832 |   610030      0 |        3 |        7
463.66/463.86	c  437s |      13 |  1660320 |    48032 |   610030      0 |        3 |        7
466.66/466.83	c  440s |      13 |  1661022 |    48332 |   610030      0 |        3 |        7
468.66/468.88	c  442s |      13 |  1661468 |    48532 |   610030      0 |        3 |        7
471.66/471.89	c  445s |      13 |  1661879 |    48732 |   610030      0 |        3 |        7
474.65/474.85	c  448s |      13 |  1662287 |    48932 |   610030      0 |        3 |        7
477.55/477.78	c  451s |      13 |  1662748 |    49132 |   610030      0 |        3 |        7
480.65/480.80	c  454s |      13 |  1663116 |    49332 |   610030      0 |        3 |        7
483.15/483.39	c  456s |      13 |  1663501 |    49532 |   610030      0 |        3 |        7
485.86/486.06	c  459s |      13 |  1663915 |    49732 |   610030      0 |        3 |        7
488.35/488.56	c  462s |      13 |  1664314 |    49932 |   610030      0 |        3 |        7
491.15/491.34	c  464s |      13 |  1664737 |    50132 |   610030      0 |        3 |        7
494.35/494.51	c  467s |      13 |  1665079 |    50332 |   610030      0 |        3 |        7
497.56/497.72	c  471s |      13 |  1665458 |    50532 |   610030      0 |        3 |        7
500.06/500.23	c  473s |      13 |  1665870 |    50732 |   610030      0 |        3 |        7
503.85/504.01	c  477s |      13 |  1666296 |    50932 |   610030      0 |        3 |        7
506.05/506.26	c  479s |      13 |  1666695 |    51132 |   610030      0 |        3 |        7
508.85/509.05	c  482s |      13 |  1667098 |    51332 |   610030      0 |        3 |        7
511.25/511.43	c  484s |      13 |  1667463 |    51532 |   610030      0 |        3 |        7
513.65/513.89	c  487s |      13 |  1667848 |    51732 |   610030      0 |        3 |        7
516.35/516.56	c  490s |      13 |  1668218 |    51932 |   610030      0 |        3 |        7
518.95/519.17	c  492s |      13 |  1668591 |    52132 |   610030      0 |        3 |        7
521.84/522.04	c  495s |      13 |  1668983 |    52332 |   610030      0 |        3 |        7
524.75/524.90	c  498s |      13 |  1669375 |    52532 |   610030      0 |        3 |        7
526.95/527.11	c  500s |      13 |  1669776 |    52732 |   610030      0 |        3 |        7
528.95/529.17	c  502s |      13 |  1670136 |    52932 |   610030      0 |        3 |        7
531.55/531.75	c  505s |      13 |  1670458 |    53132 |   610030      0 |        3 |        7
534.15/534.39	c  507s |      13 |  1670829 |    53332 |   610030      0 |        3 |        7
537.14/537.31	c  510s |      13 |  1671226 |    53532 |   610030      0 |        3 |        7
539.84/540.01	c  513s |      13 |  1671632 |    53732 |   610030      0 |        3 |        7
542.34/542.51	c  515s |      13 |  1671960 |    53932 |   610030      0 |        3 |        7
544.44/544.67	c  518s |      13 |  1672106 |    54032 |   610030      0 |        3 |        7
547.84/548.03	c  521s |      13 |  1672470 |    54232 |   610030      0 |        3 |        7
550.94/551.11	c  524s |      13 |  1672847 |    54432 |   610030      0 |        3 |        7
553.73/553.91	c  527s |      13 |  1673248 |    54632 |   610030      0 |        3 |        7
556.53/556.77	c  530s |      13 |  1673658 |    54832 |   610030      0 |        3 |        7
559.54/559.74	c  533s |      13 |  1674089 |    55032 |   610030      0 |        3 |        7
562.53/562.70	c  536s |      13 |  1674496 |    55232 |   610030      0 |        3 |        7
565.54/565.75	c  539s |      13 |  1674951 |    55432 |   610030      0 |        3 |        7
568.44/568.64	c  542s |      13 |  1675551 |    55632 |   610030      0 |        3 |        7
571.43/571.60	c  545s |      13 |  1676101 |    55832 |   610030      0 |        3 |        7
573.93/574.18	c  547s |      13 |  1676737 |    56032 |   610030      0 |        3 |        7
576.53/576.70	c  550s |      13 |  1677243 |    56232 |   610030      0 |        3 |        7
579.43/579.69	c  553s |      13 |  1677725 |    56432 |   610030      0 |        3 |        7
582.83/583.00	c  556s |      13 |  1678507 |    56632 |   610030      0 |        3 |        7
585.83/586.02	c  559s |      13 |  1679168 |    56832 |   610030      0 |        3 |        7
588.23/588.42	c  561s |      13 |  1679659 |    56932 |   610030      0 |        3 |        7
591.23/591.48	c  564s |      13 |  1680245 |    57132 |   610030      0 |        3 |        7
593.93/594.10	c  567s |      13 |  1681010 |    57332 |   610030      0 |        3 |        7
596.73/596.99	c  570s |      13 |  1681723 |    57532 |   671033      0 |        3 |        7
599.43/599.69	c  573s |      13 |  1682252 |    57732 |   671033      0 |        3 |        7
601.93/602.10	c  575s |      13 |  1682750 |    57932 |   671033      0 |        3 |        7
604.82/605.04	c  578s |      13 |  1683327 |    58132 |   671033      0 |        3 |        7
607.62/607.80	c  581s |      13 |  1683912 |    58332 |   671033      0 |        3 |        7
608.02/608.20	c  581s |      14 |  1683951 |    58352 |   671033      0 |        3 |        7
610.92/611.15	c  584s |      14 |  1791549 |    58452 |   671033      0 |        3 |        7
613.33/613.59	c  587s |      14 |  1792377 |    58752 |   671033      0 |        3 |        7
616.22/616.43	c  589s |      14 |  1793218 |    58952 |   671033      0 |        3 |        7
618.42/618.69	c  592s |      14 |  1793798 |    59152 |   671033      0 |        3 |        7
621.52/621.72	c  595s |      14 |  1794949 |    59452 |   671033      0 |        3 |        7
623.52/623.73	c  597s |      14 |  1795824 |    59652 |   671033      0 |        3 |        7
625.52/625.77	c  599s |      14 |  1796746 |    59852 |   671033      0 |        3 |        7
627.62/627.89	c  601s |      14 |  1797408 |    60052 |   671033      0 |        3 |        7
630.52/630.72	c  604s |      14 |  1798442 |    60352 |   671033      0 |        3 |        7
632.81/633.09	c  606s |      14 |  1799058 |    60552 |   671033      0 |        3 |        7
635.01/635.26	c  608s |      14 |  1799918 |    60752 |   671033      0 |        3 |        7
637.01/637.27	c  610s |      14 |  1800656 |    60952 |   671033      0 |        3 |        7
639.31/639.51	c  612s |      14 |  1801556 |    61152 |   671033      0 |        3 |        7
642.91/643.20	c  616s |      14 |  1802662 |    61452 |   671033      0 |        3 |        7
645.71/645.98	c  619s |      14 |  1803864 |    61752 |   671033      0 |        3 |        7
647.91/648.12	c  621s |      14 |  1804543 |    61952 |   671033      0 |        3 |        7
650.11/650.39	c  623s |      14 |  1805311 |    62152 |   671033      0 |        3 |        7
653.02/653.20	c  626s |      14 |  1806593 |    62452 |   671033      0 |        3 |        7
655.41/655.64	c  629s |      14 |  1807580 |    62752 |   671033      0 |        3 |        7
657.91/658.16	c  631s |      14 |  1808607 |    63052 |   671033      0 |        3 |        7
660.01/660.22	c  633s |      14 |  1809517 |    63352 |   671033      0 |        3 |        7
662.71/662.97	c  636s |      14 |  1810359 |    63652 |   671033      0 |        3 |        7
664.81/665.08	c  638s |      14 |  1811102 |    63852 |   671033      0 |        3 |        7
667.71/667.99	c  641s |      14 |  1812207 |    64152 |   671033      0 |        3 |        7
670.51/670.72	c  644s |      14 |  1813375 |    64452 |   671033      0 |        3 |        7
673.50/673.77	c  647s |      14 |  1814385 |    64752 |   671033      0 |        3 |        7
675.60/675.84	c  649s |      14 |  1815222 |    64952 |   671033      0 |        3 |        7
678.51/678.76	c  652s |      14 |  1816273 |    65252 |   671033      0 |        3 |        7
680.81/681.07	c  654s |      14 |  1816965 |    65452 |   671033      0 |        3 |        7
683.72/683.91	c  657s |      14 |  1818096 |    65752 |   671033      0 |        3 |        7
686.30/686.54	c  660s |      14 |  1819221 |    66052 |   671033      0 |        3 |        7
688.80/689.09	c  662s |      14 |  1820005 |    66252 |   671033      0 |        3 |        7
691.61/691.82	c  665s |      14 |  1821021 |    66552 |   671033      0 |        3 |        7
693.81/694.01	c  667s |      14 |  1822366 |    66852 |   671033      0 |        3 |        7
695.91/696.16	c  669s |      14 |  1823017 |    67052 |   671033      0 |        3 |        7
698.90/699.16	c  672s |      14 |  1824343 |    67352 |   671033      0 |        3 |        7
701.10/701.31	c  674s |      14 |  1825154 |    67552 |   671033      0 |        3 |        7
703.80/704.07	c  677s |      14 |  1826328 |    67852 |   671033      0 |        3 |        7
706.00/706.21	c  679s |      14 |  1827203 |    68152 |   671033      0 |        3 |        7
708.20/708.42	c  681s |      14 |  1827693 |    68452 |   671033      0 |        3 |        7
710.90/711.10	c  684s |      14 |  1828379 |    68852 |   671033      0 |        3 |        7
713.40/713.63	c  687s |      14 |  1829166 |    69152 |   671033      0 |        3 |        7
715.70/715.92	c  689s |      14 |  1829744 |    69452 |   671033      0 |        3 |        7
718.09/718.38	c  691s |      14 |  1830402 |    69752 |   671033      0 |        3 |        7
720.79/721.01	c  694s |      14 |  1831024 |    70052 |   671033      0 |        3 |        7
723.40/723.61	c  697s |      14 |  1831712 |    70352 |   671033      0 |        3 |        7
725.99/726.23	c  699s |      14 |  1832618 |    70652 |   671033      0 |        3 |        7
728.29/728.52	c  701s |      14 |  1833601 |    70952 |   671033      0 |        3 |        7
730.79/731.05	c  704s |      14 |  1834376 |    71252 |   671033      0 |        3 |        7
733.49/733.74	c  707s |      14 |  1834975 |    71452 |   671033      0 |        3 |        7
736.29/736.52	c  709s |      14 |  1835953 |    71752 |   671033      0 |        3 |        7
738.89/739.13	c  712s |      14 |  1837023 |    72052 |   671033      0 |        3 |        7
741.79/742.02	c  715s |      14 |  1838150 |    72352 |   671033      0 |        3 |        7
744.39/744.60	c  718s |      14 |  1839152 |    72652 |   671033      0 |        3 |        7
746.79/747.05	c  720s |      14 |  1840156 |    72952 |   671033      0 |        3 |        7
749.09/749.36	c  722s |      14 |  1841000 |    73252 |   671033      0 |        3 |        7
751.29/751.54	c  725s |      14 |  1841824 |    73552 |   671033      0 |        3 |        7
753.79/754.03	c  727s |      14 |  1842746 |    73852 |   671033      0 |        3 |        7
756.59/756.88	c  730s |      14 |  1843505 |    74152 |   671033      0 |        3 |        7
759.88/760.12	c  733s |      14 |  1844578 |    74452 |   671033      0 |        3 |        7
763.18/763.45	c  736s |      14 |  1845133 |    74552 |   671033      0 |        3 |        7
767.48/767.77	c  741s |      14 |  1845900 |    74752 |   671033      0 |        3 |        7
770.99/771.29	c  744s |      14 |  1846695 |    74952 |   671033      0 |        3 |        7
773.18/773.49	c  746s |      14 |  1848160 |    75552 |   671033      0 |        3 |        7
775.58/775.84	c  749s |      14 |  1848855 |    75852 |   671033      0 |        3 |        7
778.38/778.61	c  752s |      14 |  1849275 |    76052 |   671033      0 |        3 |        7
781.68/781.92	c  755s |      14 |  1849703 |    76252 |   671033      0 |        3 |        7
784.07/784.39	c  757s |      14 |  1850345 |    76552 |   671033      0 |        3 |        7
786.57/786.80	c  760s |      14 |  1851093 |    76852 |   671033      0 |        3 |        7
788.98/789.23	c  762s |      14 |  1851713 |    77152 |   671033      0 |        3 |        7
791.28/791.58	c  765s |      14 |  1852482 |    77452 |   671033      0 |        3 |        7
793.87/794.10	c  767s |      14 |  1853243 |    77752 |   671033      0 |        3 |        7
796.28/796.55	c  770s |      14 |  1853852 |    78052 |   671033      0 |        3 |        7
798.77/799.07	c  772s |      14 |  1854378 |    78352 |   671033      0 |        3 |        7
801.07/801.32	c  774s |      14 |  1854992 |    78652 |   671033      0 |        3 |        7
803.58/803.81	c  777s |      14 |  1855660 |    78952 |   671033      0 |        3 |        7
805.88/806.12	c  779s |      14 |  1856085 |    79152 |   671033      0 |        3 |        7
808.37/808.70	c  782s |      14 |  1856723 |    79452 |   671033      0 |        3 |        7
810.97/811.24	c  784s |      14 |  1857319 |    79752 |   671033      0 |        3 |        7
813.57/813.89	c  787s |      14 |  1857962 |    80052 |   671033      0 |        3 |        7
816.27/816.52	c  789s |      14 |  1858626 |    80352 |   671033      0 |        3 |        7
818.77/819.01	c  792s |      14 |  1859122 |    80552 |   671033      0 |        3 |        7
821.47/821.73	c  795s |      14 |  1860185 |    80752 |   671033      0 |        3 |        7
824.07/824.39	c  797s |      14 |  1860552 |    80952 |   671033      0 |        3 |        7
826.57/826.89	c  800s |      14 |  1860961 |    81152 |   671033      0 |        3 |        7
828.77/829.00	c  802s |      14 |  1861634 |    81352 |   671033      0 |        3 |        7
831.67/831.90	c  805s |      14 |  1862798 |    81652 |   671033      0 |        3 |        7
834.47/834.75	c  808s |      14 |  1863811 |    81952 |   671033      0 |        3 |        7
836.67/836.98	c  810s |      14 |  1864483 |    82152 |   671033      0 |        3 |        7
840.06/840.30	c  813s |      14 |  1865243 |    82352 |   671033      0 |        3 |        7
842.26/842.58	c  816s |      14 |  1865761 |    82552 |   671033      0 |        3 |        7
844.66/844.97	c  818s |      14 |  1866506 |    82752 |   671033      0 |        3 |        7
847.36/847.68	c  821s |      14 |  1867463 |    83052 |   671033      0 |        3 |        7
849.67/850.00	c  823s |      14 |  1868257 |    83252 |   671033      0 |        3 |        7
852.17/852.40	c  825s |      14 |  1868766 |    83452 |   671033      0 |        3 |        7
854.76/855.07	c  828s |      14 |  1869499 |    83652 |   671033      0 |        3 |        7
856.86/857.13	c  830s |      14 |  1870089 |    83852 |   671033      0 |        3 |        7
858.86/859.14	c  832s |      14 |  1870574 |    83952 |   671033      0 |        3 |        7
861.26/861.55	c  835s |      14 |  1871278 |    84152 |   671033      0 |        3 |        7
863.65/863.93	c  837s |      14 |  1872057 |    84352 |   671033      0 |        3 |        7
866.26/866.54	c  840s |      14 |  1873324 |    84652 |   671033      0 |        3 |        7
869.05/869.30	c  842s |      14 |  1873754 |    84852 |   671033      0 |        3 |        7
872.26/872.58	c  846s |      14 |  1874283 |    85052 |   671033      0 |        3 |        7
875.06/875.38	c  848s |      14 |  1874716 |    85252 |   671033      0 |        3 |        7
877.45/877.76	c  851s |      14 |  1875681 |    85452 |   671033      0 |        3 |        7
879.85/880.14	c  853s |      14 |  1876416 |    85652 |   671033      0 |        3 |        7
882.76/883.07	c  856s |      14 |  1877394 |    85952 |   671033      0 |        3 |        7
885.65/885.99	c  859s |      14 |  1878031 |    86152 |   671033      0 |        3 |        7
888.26/888.51	c  861s |      14 |  1878767 |    86352 |   671033      0 |        3 |        7
890.65/890.95	c  864s |      14 |  1879591 |    86552 |   738137      0 |        3 |        7
893.15/893.41	c  866s |      14 |  1880210 |    86752 |   738137      0 |        3 |        7
896.15/896.46	c  869s |      14 |  1881086 |    86952 |   738137      0 |        3 |        7
899.15/899.40	c  872s |      14 |  1882064 |    87252 |   738137      0 |        3 |        7
901.45/901.71	c  875s |      14 |  1882823 |    87452 |   738137      0 |        3 |        7
904.05/904.36	c  877s |      15 |  1883320 |    87632 |   738137      0 |        3 |        7
907.95/908.22	c  881s |      15 |  1990533 |    87732 |   738137      0 |        3 |        7
910.15/910.41	c  883s |      15 |  1991133 |    87932 |   738137      0 |        3 |        7
913.25/913.52	c  886s |      15 |  1991896 |    88132 |   738137      0 |        3 |        7
915.35/915.67	c  889s |      15 |  1992551 |    88332 |   738137      0 |        3 |        7
918.94/919.27	c  892s |      15 |  1993529 |    88532 |   738137      0 |        3 |        7
921.25/921.54	c  895s |      15 |  1994038 |    88732 |   738137      0 |        3 |        7
923.84/924.14	c  897s |      15 |  1994534 |    88932 |   738137      0 |        3 |        7
925.94/926.29	c  899s |      15 |  1995210 |    89132 |   738137      0 |        3 |        7
929.74/930.00	c  903s |      15 |  1995573 |    89332 |   738137      0 |        3 |        7
932.74/933.09	c  906s |      15 |  1996298 |    89532 |   738137      0 |        3 |        7
935.14/935.45	c  908s |      15 |  1996908 |    89732 |   738137      0 |        3 |        7
937.75/938.01	c  911s |      15 |  1997544 |    89932 |   738137      0 |        3 |        7
941.15/941.47	c  914s |      15 |  1998467 |    90232 |   738137      0 |        3 |        7
943.35/943.67	c  917s |      15 |  1999211 |    90432 |   738137      0 |        3 |        7
947.04/947.32	c  920s |      15 |  2000069 |    90632 |   738137      0 |        3 |        7
949.44/949.72	c  923s |      15 |  2000664 |    90832 |   738137      0 |        3 |        7
951.74/952.08	c  925s |      15 |  2001137 |    91032 |   738137      0 |        3 |        7
954.84/955.17	c  928s |      15 |  2001567 |    91232 |   738137      0 |        3 |        7
957.94/958.28	c  931s |      15 |  2002074 |    91432 |   738137      0 |        3 |        7
961.54/961.83	c  935s |      15 |  2002876 |    91632 |   738137      0 |        3 |        7
965.43/965.74	c  939s |      15 |  2003325 |    91832 |   738137      0 |        3 |        7
968.73/969.06	c  942s |      15 |  2003873 |    92032 |   738137      0 |        3 |        7
971.94/972.21	c  945s |      15 |  2004152 |    92132 |   738137      0 |        3 |        7
973.93/974.30	c  947s |      15 |  2004344 |    92232 |   738137      0 |        3 |        7
976.24/976.59	c  950s |      15 |  2004732 |    92332 |   738137      0 |        3 |        7
979.43/979.79	c  953s |      15 |  2006219 |    92632 |   738137      0 |        3 |        7
982.23/982.53	c  956s |      15 |  2006931 |    92832 |   738137      0 |        3 |        7
984.73/985.02	c  958s |      15 |  2007359 |    93032 |   738137      0 |        3 |        7
986.73/987.04	c  960s |      15 |  2007573 |    93132 |   738137      0 |        3 |        7
990.63/990.94	c  964s |      15 |  2007936 |    93332 |   738137      0 |        3 |        7
994.12/994.42	c  967s |      15 |  2008095 |    93432 |   738137      0 |        3 |        7
996.42/996.73	c  970s |      15 |  2008581 |    93532 |   738137      0 |        3 |        7
998.72/999.02	c  972s |      15 |  2008769 |    93632 |   738137      0 |        3 |        7
1002.32/1002.67	c  976s |      15 |  2009489 |    93832 |   738137      0 |        3 |        7
1005.32/1005.68	c  979s |      15 |  2010434 |    94032 |   738137      0 |        3 |        7
1008.22/1008.51	c  981s |      15 |  2010931 |    94232 |   738137      0 |        3 |        7
1011.22/1011.52	c  985s |      15 |  2011217 |    94332 |   738137      0 |        3 |        7
1015.02/1015.38	c  988s |      15 |  2011703 |    94532 |   738137      0 |        3 |        7
1018.03/1018.36	c  991s |      15 |  2012027 |    94632 |   738137      0 |        3 |        7
1021.12/1021.42	c  994s |      15 |  2012177 |    94732 |   738137      0 |        3 |        7
1024.02/1024.37	c  997s |      15 |  2012367 |    94832 |   738137      0 |        3 |        7
1029.13/1029.49	c 1002s |      15 |  2012969 |    95032 |   738137      0 |        3 |        7
1031.82/1032.17	c 1005s |      15 |  2013588 |    95232 |   738137      0 |        3 |        7
1034.42/1034.71	c 1008s |      15 |  2014191 |    95432 |   738137      0 |        3 |        7
1037.02/1037.36	c 1010s |      15 |  2014576 |    95632 |   738137      0 |        3 |        7
1039.82/1040.11	c 1013s |      15 |  2014863 |    95832 |   738137      0 |        3 |        7
1043.01/1043.34	c 1016s |      15 |  2015216 |    96032 |   738137      0 |        3 |        7
1045.11/1045.49	c 1018s |      15 |  2015654 |    96132 |   738137      0 |        3 |        7
1048.21/1048.54	c 1022s |      15 |  2015857 |    96232 |   738137      0 |        3 |        7
1051.91/1052.25	c 1025s |      15 |  2016246 |    96432 |   738137      0 |        3 |        7
1055.01/1055.35	c 1028s |      15 |  2016757 |    96632 |   738137      0 |        3 |        7
1058.01/1058.39	c 1031s |      15 |  2016957 |    96732 |   738137      0 |        3 |        7
1062.21/1062.50	c 1035s |      15 |  2017628 |    96932 |   738137      0 |        3 |        7
1065.11/1065.42	c 1038s |      15 |  2018198 |    97132 |   738137      0 |        3 |        7
1067.40/1067.75	c 1041s |      15 |  2018781 |    97332 |   738137      0 |        3 |        7
1070.60/1070.98	c 1044s |      15 |  2019229 |    97532 |   738137      0 |        3 |        7
1073.21/1073.55	c 1047s |      15 |  2019407 |    97632 |   738137      0 |        3 |        7
1075.50/1075.85	c 1049s |      15 |  2019567 |    97732 |   738137      0 |        3 |        7
1078.61/1078.93	c 1052s |      15 |  2020043 |    97932 |   738137      0 |        3 |        7
1081.31/1081.63	c 1055s |      15 |  2020648 |    98132 |   738137      0 |        3 |        7
1084.40/1084.72	c 1058s |      15 |  2021137 |    98332 |   738137      0 |        3 |        7
1087.41/1087.79	c 1061s |      15 |  2021276 |    98432 |   738137      0 |        3 |        7
1091.00/1091.36	c 1064s |      15 |  2021591 |    98632 |   738137      0 |        3 |        7
1093.20/1093.53	c 1067s |      15 |  2021799 |    98732 |   738137      0 |        3 |        7
1095.60/1095.95	c 1069s |      15 |  2021958 |    98832 |   738137      0 |        3 |        7
1098.00/1098.31	c 1071s |      15 |  2022136 |    98932 |   738137      0 |        3 |        7
1100.40/1100.72	c 1074s |      15 |  2022266 |    99032 |   738137      0 |        3 |        7
1103.40/1103.70	c 1077s |      15 |  2022396 |    99132 |   738137      0 |        3 |        7
1106.00/1106.35	c 1079s |      15 |  2022541 |    99232 |   738137      0 |        3 |        7
1108.50/1108.87	c 1082s |      15 |  2022656 |    99332 |   738137      0 |        3 |        7
1110.90/1111.28	c 1084s |      15 |  2023252 |    99532 |   738137      0 |        3 |        7
1115.09/1115.42	c 1088s |      15 |  2023990 |    99832 |   738137      0 |        3 |        7
1117.69/1118.04	c 1091s |      15 |  2024126 |    99932 |   738137      0 |        3 |        7
1120.79/1121.11	c 1094s |      15 |  2024309 |   100032 |   738137      0 |        3 |        7
1124.09/1124.47	c 1097s |      15 |  2024664 |   100132 |   738137      0 |        3 |        7
1126.89/1127.24	c 1100s |      15 |  2025320 |   100332 |   738137      0 |        3 |        7
1129.29/1129.70	c 1103s |      15 |  2025800 |   100532 |   738137      0 |        3 |        7
1131.89/1132.22	c 1105s |      15 |  2026361 |   100732 |   738137      0 |        3 |        7
1134.38/1134.74	c 1108s |      15 |  2026881 |   100932 |   738137      0 |        3 |        7
1137.09/1137.45	c 1110s |      15 |  2027436 |   101132 |   738137      0 |        3 |        7
1140.29/1140.65	c 1114s |      15 |  2028060 |   101332 |   738137      0 |        3 |        7
1143.50/1143.85	c 1117s |      15 |  2028394 |   101432 |   738137      0 |        3 |        7
1147.39/1147.76	c 1121s |      15 |  2029095 |   101632 |   738137      0 |        3 |        7
1150.88/1151.23	c 1124s |      15 |  2029523 |   101832 |   738137      0 |        3 |        7
1154.09/1154.42	c 1127s |      15 |  2029943 |   102032 |   738137      0 |        3 |        7
1156.59/1156.91	c 1130s |      15 |  2030091 |   102132 |   738137      0 |        3 |        7
1159.78/1160.12	c 1133s |      15 |  2030316 |   102232 |   738137      0 |        3 |        7
1163.68/1164.02	c 1137s |      15 |  2030674 |   102432 |   738137      0 |        3 |        7
1165.78/1166.11	c 1139s |      15 |  2030836 |   102532 |   738137      0 |        3 |        7
1168.18/1168.56	c 1142s |      15 |  2030989 |   102632 |   738137      0 |        3 |        7
1172.38/1172.79	c 1146s |      15 |  2031349 |   102832 |   738137      0 |        3 |        7
1175.29/1175.65	c 1149s |      15 |  2031797 |   103032 |   738137      0 |        3 |        7
1178.88/1179.25	c 1152s |      15 |  2032413 |   103232 |   738137      0 |        3 |        7
1182.28/1182.69	c 1156s |      15 |  2032712 |   103432 |   738137      0 |        3 |        7
1184.68/1185.09	c 1158s |      15 |  2032911 |   103532 |   738137      0 |        3 |        7
1188.59/1188.97	c 1162s |      15 |  2033208 |   103732 |   738137      0 |        3 |        7
1190.88/1191.26	c 1164s |      15 |  2033410 |   103832 |   738137      0 |        3 |        7
1193.28/1193.64	c 1167s |      15 |  2034170 |   104132 |   738137      0 |        3 |        7
1195.98/1196.32	c 1169s |      15 |  2034819 |   104432 |   738137      0 |        3 |        7
1198.48/1198.89	c 1172s |      15 |  2035521 |   104632 |   738137      0 |        3 |        7
1200.88/1201.20	c 1174s |      15 |  2036585 |   104832 |   738137      0 |        3 |        7
1203.68/1204.05	c 1177s |      15 |  2037076 |   105032 |   738137      0 |        3 |        7
1206.88/1207.27	c 1180s |      15 |  2037649 |   105232 |   738137      0 |        3 |        7
1209.58/1209.90	c 1183s |      15 |  2038331 |   105432 |   738137      0 |        3 |        7
1211.69/1212.08	c 1185s |      15 |  2038856 |   105632 |   738137      0 |        3 |        7
1214.28/1214.69	c 1188s |      15 |  2039426 |   105832 |   738137      0 |        3 |        7
1217.67/1218.06	c 1191s |      15 |  2039989 |   106032 |   738137      0 |        3 |        7
1220.07/1220.40	c 1193s |      15 |  2040732 |   106232 |   738137      0 |        3 |        7
1222.88/1223.28	c 1196s |      15 |  2041611 |   106532 |   738137      0 |        3 |        7
1225.27/1225.60	c 1199s |      15 |  2042293 |   106732 |   738137      0 |        3 |        7
1227.87/1228.23	c 1201s |      15 |  2042826 |   106932 |   738137      0 |        3 |        7
1230.87/1231.22	c 1204s |      15 |  2043404 |   107132 |   738137      0 |        3 |        7
1234.06/1234.40	c 1207s |      15 |  2044561 |   107432 |   738137      0 |        3 |        7
1236.77/1237.15	c 1210s |      15 |  2045477 |   107632 |   738137      0 |        3 |        7
1239.77/1240.14	c 1213s |      15 |  2045998 |   107832 |   738137      0 |        3 |        7
1243.17/1243.59	c 1217s |      15 |  2046429 |   108032 |   738137      0 |        3 |        7
1245.46/1245.88	c 1219s |      15 |  2046614 |   108132 |   738137      0 |        3 |        7
1248.17/1248.53	c 1222s |      15 |  2047101 |   108332 |   738137      0 |        3 |        7
1250.97/1251.30	c 1224s |      15 |  2047830 |   108632 |   738137      0 |        3 |        7
1253.67/1254.09	c 1227s |      15 |  2048841 |   108932 |   738137      0 |        3 |        7
1256.67/1257.03	c 1230s |      15 |  2049624 |   109232 |   738137      0 |        3 |        7
1258.76/1259.13	c 1232s |      15 |  2050197 |   109432 |   738137      0 |        3 |        7
1260.96/1261.33	c 1234s |      15 |  2050919 |   109632 |   738137      0 |        3 |        7
1263.46/1263.84	c 1237s |      15 |  2051669 |   109832 |   738137      0 |        3 |        7
1265.86/1266.28	c 1239s |      15 |  2052443 |   110032 |   738137      0 |        3 |        7
1268.16/1268.54	c 1242s |      15 |  2053164 |   110232 |   738137      0 |        3 |        7
1270.86/1271.25	c 1244s |      15 |  2054130 |   110532 |   738137      0 |        3 |        7
1274.06/1274.45	c 1247s |      15 |  2055004 |   110732 |   738137      0 |        3 |        7
1276.26/1276.61	c 1250s |      15 |  2055692 |   110932 |   738137      0 |        3 |        7
1278.46/1278.80	c 1252s |      15 |  2056458 |   111132 |   738137      0 |        3 |        7
1280.97/1281.33	c 1254s |      15 |  2057178 |   111332 |   738137      0 |        3 |        7
1283.46/1283.86	c 1257s |      15 |  2057993 |   111532 |   738137      0 |        3 |        7
1285.86/1286.25	c 1259s |      15 |  2058561 |   111732 |   738137      0 |        3 |        7
1289.15/1289.57	c 1263s |      15 |  2058943 |   111932 |   738137      0 |        3 |        7
1292.35/1292.77	c 1266s |      15 |  2059447 |   112132 |   738137      0 |        3 |        7
1294.56/1294.98	c 1268s |      15 |  2060243 |   112332 |   738137      0 |        3 |        7
1296.76/1297.11	c 1270s |      15 |  2060729 |   112532 |   738137      0 |        3 |        7
1299.26/1299.65	c 1273s |      15 |  2061526 |   112732 |   738137      0 |        3 |        7
1302.15/1302.55	c 1276s |      15 |  2062164 |   112932 |   738137      0 |        3 |        7
1305.16/1305.57	c 1279s |      15 |  2062807 |   113132 |   738137      0 |        3 |        7
1308.46/1308.84	c 1282s |      15 |  2063372 |   113332 |   738137      0 |        3 |        7
1311.45/1311.82	c 1285s |      15 |  2064132 |   113532 |   738137      0 |        3 |        7
1314.65/1315.03	c 1288s |      15 |  2064550 |   113732 |   738137      0 |        3 |        7
1317.36/1317.73	c 1291s |      15 |  2065175 |   113932 |   738137      0 |        3 |        7
1319.75/1320.11	c 1293s |      15 |  2065650 |   114132 |   738137      0 |        3 |        7
1322.56/1322.94	c 1296s |      15 |  2066049 |   114332 |   738137      0 |        3 |        7
1324.75/1325.20	c 1298s |      15 |  2066513 |   114532 |   738137      0 |        3 |        7
1328.65/1329.08	c 1302s |      15 |  2067063 |   114732 |   738137      0 |        3 |        7
1331.35/1331.73	c 1305s |      15 |  2067688 |   114932 |   738137      0 |        3 |        7
1334.45/1334.83	c 1308s |      15 |  2068094 |   115132 |   738137      0 |        3 |        7
1337.25/1337.62	c 1311s |      15 |  2068600 |   115332 |   738137      0 |        3 |        7
1339.35/1339.78	c 1313s |      15 |  2069279 |   115432 |   738137      0 |        3 |        7
1341.95/1342.37	c 1315s |      15 |  2069983 |   115632 |   738137      0 |        3 |        7
1344.76/1345.11	c 1318s |      15 |  2070565 |   115832 |   738137      0 |        3 |        7
1347.96/1348.35	c 1321s |      15 |  2070997 |   116032 |   738137      0 |        3 |        7
1350.94/1351.36	c 1324s |      15 |  2071657 |   116232 |   738137      0 |        3 |        7
1353.75/1354.19	c 1327s |      15 |  2072230 |   116432 |   738137      0 |        3 |        7
1356.45/1356.83	c 1330s |      15 |  2072390 |   116532 |   738137      0 |        3 |        7
1360.65/1361.03	c 1334s |      15 |  2072841 |   116732 |   738137      0 |        3 |        7
1362.85/1363.27	c 1336s |      15 |  2073008 |   116832 |   738137      0 |        3 |        7
1366.05/1366.43	c 1339s |      15 |  2073418 |   117032 |   738137      0 |        3 |        7
1369.24/1369.67	c 1343s |      15 |  2073839 |   117232 |   738137      0 |        3 |        7
1372.55/1372.92	c 1346s |      15 |  2074209 |   117432 |   738137      0 |        3 |        7
1375.64/1376.06	c 1349s |      15 |  2074581 |   117632 |   738137      0 |        3 |        7
1378.64/1379.07	c 1352s |      15 |  2074913 |   117832 |   738137      0 |        3 |        7
1381.84/1382.29	c 1355s |      15 |  2075405 |   118032 |   738137      0 |        3 |        7
1384.14/1384.60	c 1358s |      15 |  2075623 |   118132 |   738137      0 |        3 |        7
1387.94/1388.35	c 1361s |      15 |  2076088 |   118332 |   738137      0 |        3 |        7
1390.14/1390.59	c 1364s |      15 |  2076241 |   118432 |   738137      0 |        3 |        7
1393.94/1394.34	c 1367s |      15 |  2076614 |   118632 |   738137      0 |        3 |        7
1396.24/1396.68	c 1370s |      15 |  2076800 |   118732 |   738137      0 |        3 |        7
1398.84/1399.29	c 1372s |      15 |  2077221 |   118932 |   738137      0 |        3 |        7
1402.44/1402.81	c 1376s |      15 |  2077566 |   119132 |   738137      0 |        3 |        7
1406.14/1406.54	c 1380s |      15 |  2078069 |   119332 |   738137      0 |        3 |        7
1409.84/1410.21	c 1383s |      15 |  2078479 |   119532 |   738137      0 |        3 |        7
1413.63/1414.01	c 1387s |      15 |  2078800 |   119732 |   738137      0 |        3 |        7
1417.44/1417.87	c 1391s |      15 |  2079215 |   119932 |   738137      0 |        3 |        7
1420.94/1421.38	c 1394s |      15 |  2079601 |   120132 |   738137      0 |        3 |        7
1423.74/1424.17	c 1397s |      15 |  2080079 |   120332 |   738137      0 |        3 |        7
1425.93/1426.37	c 1399s |      15 |  2080290 |   120432 |   738137      0 |        3 |        7
1429.54/1429.96	c 1403s |      15 |  2080596 |   120632 |   738137      0 |        3 |        7
1431.93/1432.31	c 1405s |      15 |  2080787 |   120732 |   738137      0 |        3 |        7
1434.94/1435.37	c 1408s |      15 |  2081100 |   120932 |   738137      0 |        3 |        7
1437.43/1437.86	c 1411s |      15 |  2081265 |   121032 |   738137      0 |        3 |        7
1441.14/1441.59	c 1415s |      15 |  2081618 |   121232 |   738137      0 |        3 |        7
1445.03/1445.46	c 1418s |      15 |  2081922 |   121432 |   738137      0 |        3 |        7
1448.83/1449.24	c 1422s |      15 |  2082290 |   121632 |   738137      0 |        3 |        7
1451.83/1452.22	c 1425s |      15 |  2083063 |   121832 |   738137      0 |        3 |        7
1454.83/1455.27	c 1428s |      15 |  2083951 |   122032 |   738137      0 |        3 |        7
1458.83/1459.27	c 1432s |      15 |  2084337 |   122232 |   738137      0 |        3 |        7
1461.03/1461.42	c 1434s |      15 |  2084483 |   122332 |   738137      0 |        3 |        7
1465.02/1465.41	c 1438s |      15 |  2085365 |   122532 |   738137      0 |        3 |        7
1467.02/1467.45	c 1440s |      15 |  2085529 |   122632 |   738137      0 |        3 |        7
1470.53/1470.94	c 1444s |      15 |  2086096 |   122832 |   738137      0 |        3 |        7
1473.83/1474.23	c 1447s |      15 |  2086434 |   123032 |   738137      0 |        3 |        7
1477.73/1478.18	c 1451s |      15 |  2086741 |   123232 |   738137      0 |        3 |        7
1481.52/1481.95	c 1455s |      15 |  2087132 |   123432 |   738137      0 |        3 |        7
1483.52/1483.96	c 1457s |      15 |  2087292 |   123532 |   738137      0 |        3 |        7
1487.12/1487.51	c 1460s |      15 |  2087600 |   123732 |   738137      0 |        3 |        7
1490.52/1490.99	c 1464s |      15 |  2087990 |   123932 |   738137      0 |        3 |        7
1493.32/1493.73	c 1467s |      15 |  2088131 |   124032 |   738137      0 |        3 |        7
1495.32/1495.74	c 1469s |      15 |  2088305 |   124132 |   738137      0 |        3 |        7
1497.82/1498.22	c 1471s |      15 |  2088459 |   124232 |   738137      0 |        3 |        7
1500.22/1500.66	c 1474s |      15 |  2088613 |   124332 |   738137      0 |        3 |        7
1502.31/1502.72	c 1476s |      15 |  2088764 |   124432 |   738137      0 |        3 |        7
1505.01/1505.47	c 1478s |      15 |  2089464 |   124632 |   738137      0 |        3 |        7
1508.32/1508.71	c 1482s |      15 |  2090278 |   124832 |   738137      0 |        3 |        7
1511.52/1511.99	c 1485s |      15 |  2090687 |   125032 |   738137      0 |        3 |        7
1514.92/1515.36	c 1488s |      15 |  2090984 |   125232 |   738137      0 |        3 |        7
1519.12/1519.56	c 1493s |      15 |  2091357 |   125432 |   738137      0 |        3 |        7
1523.22/1523.64	c 1497s |      15 |  2091938 |   125632 |   738137      0 |        3 |        7
1525.91/1526.37	c 1499s |      15 |  2092243 |   125832 |   738137      0 |        3 |        7
1528.21/1528.70	c 1502s |      15 |  2092398 |   125932 |   738137      0 |        3 |        7
1530.41/1530.85	c 1504s |      15 |  2092543 |   126032 |   738137      0 |        3 |        7
1534.01/1534.42	c 1507s |      15 |  2092965 |   126232 |   738137      0 |        3 |        7
1537.31/1537.77	c 1511s |      15 |  2093292 |   126432 |   738137      0 |        3 |        7
1540.31/1540.77	c 1514s |      15 |  2093982 |   126632 |   738137      0 |        3 |        7
1544.71/1545.18	c 1518s |      15 |  2094230 |   126832 |   738137      0 |        3 |        7
1546.71/1547.19	c 1520s |      15 |  2094419 |   126932 |   738137      0 |        3 |        7
1551.00/1551.48	c 1524s |      15 |  2094753 |   127132 |   738137      0 |        3 |        7
1553.41/1553.84	c 1527s |      15 |  2094882 |   127232 |   738137      0 |        3 |        7
1555.61/1556.09	c 1529s |      15 |  2095022 |   127332 |   738137      0 |        3 |        7
1558.91/1559.35	c 1532s |      15 |  2095340 |   127532 |   738137      0 |        3 |        7
1561.00/1561.41	c 1534s |      15 |  2095476 |   127632 |   738137      0 |        3 |        7
1563.21/1563.66	c 1537s |      15 |  2095660 |   127732 |   738137      0 |        3 |        7
1566.61/1567.06	c 1540s |      15 |  2096118 |   127932 |   738137      0 |        3 |        7
1571.21/1571.61	c 1545s |      15 |  2096440 |   128132 |   738137      0 |        3 |        7
1573.51/1573.99	c 1547s |      15 |  2096646 |   128232 |   738137      0 |        3 |        7
1577.20/1577.63	c 1551s |      15 |  2096935 |   128432 |   738137      0 |        3 |        7
1581.30/1581.78	c 1555s |      15 |  2097253 |   128632 |   738137      0 |        3 |        7
1584.80/1585.25	c 1558s |      15 |  2097562 |   128832 |   738137      0 |        3 |        7
1588.00/1588.47	c 1561s |      15 |  2097920 |   129032 |   738137      0 |        3 |        7
1591.50/1591.92	c 1565s |      15 |  2098210 |   129232 |   738137      0 |        3 |        7
1593.70/1594.19	c 1567s |      15 |  2098470 |   129332 |   738137      0 |        3 |        7
1596.80/1597.26	c 1570s |      15 |  2098616 |   129432 |   738137      0 |        3 |        7
1599.50/1599.97	c 1573s |      15 |  2098769 |   129532 |   738137      0 |        3 |        7
1603.40/1603.83	c 1577s |      15 |  2099101 |   129732 |   738137      0 |        3 |        7
1606.41/1606.84	c 1580s |      15 |  2099401 |   129932 |   738137      0 |        3 |        7
1610.00/1610.49	c 1583s |      15 |  2099696 |   130132 |   811951      0 |        3 |        7
1613.69/1614.13	c 1587s |      15 |  2100000 |   130332 |   811951      0 |        3 |        7
1617.51/1617.94	c 1591s |      15 |  2100339 |   130532 |   811951      0 |        3 |        7
1622.40/1622.85	c 1596s |      15 |  2100819 |   130732 |   811951      0 |        3 |        7
1625.70/1626.18	c 1599s |      15 |  2101177 |   130932 |   811951      0 |        3 |        7
1628.29/1628.74	c 1602s |      15 |  2101323 |   131032 |   811951      0 |        3 |        7
1631.70/1632.11	c 1605s |      15 |  2101618 |   131232 |   811951      0 |        3 |        7
1635.19/1635.62	c 1609s |      15 |  2101953 |   131432 |   811951      0 |        3 |        7
1637.59/1638.07	c 1611s |      15 |  2102121 |   131532 |   811951      0 |        3 |        7
1637.99/1638.46	c 1611s |      16 |  2102147 |   131552 |   811951      0 |        3 |        7
1643.99/1644.40	c 1617s |      16 |  2209224 |   131652 |   811951      0 |        3 |        7
1647.59/1648.06	c 1621s |      16 |  2209629 |   131852 |   811951      0 |        3 |        7
1651.09/1651.52	c 1625s |      16 |  2209952 |   132052 |   811951      0 |        3 |        7
1654.39/1654.82	c 1628s |      16 |  2210299 |   132252 |   811951      0 |        3 |        7
1656.79/1657.23	c 1630s |      16 |  2210475 |   132352 |   811951      0 |        3 |        7
1659.19/1659.62	c 1633s |      16 |  2210876 |   132552 |   811951      0 |        3 |        7
1661.29/1661.71	c 1635s |      16 |  2212070 |   133552 |   811951      0 |        3 |        7
1663.59/1664.05	c 1637s |      16 |  2212581 |   133852 |   811951      0 |        3 |        7
1665.89/1666.38	c 1639s |      16 |  2213101 |   134152 |   811951      0 |        3 |        7
1668.58/1669.04	c 1642s |      16 |  2213737 |   134452 |   811951      0 |        3 |        7
1671.19/1671.60	c 1645s |      16 |  2214444 |   134752 |   811951      0 |        3 |        7
1673.49/1673.95	c 1647s |      16 |  2215026 |   134952 |   811951      0 |        3 |        7
1675.69/1676.12	c 1649s |      16 |  2215280 |   135052 |   811951      0 |        3 |        7
1677.89/1678.35	c 1651s |      16 |  2215846 |   135252 |   811951      0 |        3 |        7
1680.48/1680.99	c 1654s |      16 |  2216484 |   135552 |   811951      0 |        3 |        7
1682.69/1683.16	c 1656s |      16 |  2217085 |   135752 |   811951      0 |        3 |        7
1685.28/1685.70	c 1659s |      16 |  2217851 |   136052 |   811951      0 |        3 |        7
1687.38/1687.88	c 1661s |      16 |  2218432 |   136252 |   811951      0 |        3 |        7
1690.28/1690.75	c 1664s |      16 |  2219347 |   136552 |   811951      0 |        3 |        7
1692.79/1693.21	c 1666s |      16 |  2220132 |   136852 |   811951      0 |        3 |        7
1695.28/1695.73	c 1669s |      16 |  2222066 |   138252 |   811951      0 |        3 |        7
1697.69/1698.20	c 1671s |      16 |  2222546 |   138552 |   811951      0 |        3 |        7
1700.39/1700.81	c 1674s |      16 |  2223384 |   139052 |   811951      0 |        3 |        7
1702.98/1703.46	c 1676s |      16 |  2223868 |   139352 |   811951      0 |        3 |        7
1705.58/1706.03	c 1679s |      16 |  2225052 |   139852 |   811951      0 |        3 |        7
1707.88/1708.33	c 1681s |      16 |  2225560 |   140052 |   811951      0 |        3 |        7
1710.78/1711.23	c 1684s |      16 |  2226454 |   140352 |   811951      0 |        3 |        7
1712.78/1713.26	c 1686s |      16 |  2226971 |   140552 |   811951      0 |        3 |        7
1715.58/1716.09	c 1689s |      16 |  2227815 |   140852 |   811951      0 |        3 |        7
1717.88/1718.39	c 1691s |      16 |  2228683 |   141152 |   811951      0 |        3 |        7
1720.08/1720.56	c 1694s |      16 |  2229279 |   141352 |   811951      0 |        3 |        7
1722.17/1722.63	c 1696s |      16 |  2229843 |   141552 |   811951      0 |        3 |        7
1725.08/1725.55	c 1699s |      16 |  2230838 |   141852 |   811951      0 |        3 |        7
1728.59/1729.07	c 1702s |      16 |  2231497 |   142152 |   811951      0 |        3 |        7
1731.18/1731.65	c 1705s |      16 |  2232542 |   142452 |   811951      0 |        3 |        7
1733.88/1734.38	c 1707s |      16 |  2233550 |   142752 |   811951      0 |        3 |        7
1735.98/1736.40	c 1709s |      16 |  2234337 |   142952 |   811951      0 |        3 |        7
1738.77/1739.24	c 1712s |      16 |  2235332 |   143252 |   811951      0 |        3 |        7
1741.37/1741.87	c 1715s |      16 |  2236119 |   143552 |   811951      0 |        3 |        7
1744.18/1744.69	c 1718s |      16 |  2236933 |   143852 |   811951      0 |        3 |        7
1746.87/1747.39	c 1720s |      16 |  2238007 |   144152 |   811951      0 |        3 |        7
1749.57/1750.07	c 1723s |      16 |  2239025 |   144452 |   811951      0 |        3 |        7
1752.57/1753.02	c 1726s |      16 |  2240094 |   144752 |   811951      0 |        3 |        7
1755.08/1755.58	c 1729s |      16 |  2240846 |   144952 |   811951      0 |        3 |        7
1757.97/1758.48	c 1731s |      16 |  2241749 |   145252 |   811951      0 |        3 |        7
1760.57/1761.01	c 1734s |      16 |  2242711 |   145552 |   811951      0 |        3 |        7
1763.37/1763.88	c 1737s |      16 |  2243716 |   145852 |   811951      0 |        3 |        7
1765.47/1765.94	c 1739s |      16 |  2244411 |   146052 |   811951      0 |        3 |        7
1768.47/1768.94	c 1742s |      16 |  2245433 |   146352 |   811951      0 |        3 |        7
1771.07/1771.57	c 1745s |      16 |  2246390 |   146652 |   811951      0 |        3 |        7
1773.37/1773.85	c 1747s |      16 |  2247159 |   146952 |   811951      0 |        3 |        7
1775.47/1775.99	c 1749s |      16 |  2247805 |   147152 |   811951      0 |        3 |        7
1778.57/1779.06	c 1752s |      16 |  2248859 |   147452 |   811951      0 |        3 |        7
1781.47/1781.98	c 1755s |      16 |  2249591 |   147652 |   811951      0 |        3 |        7
1783.58/1784.09	c 1757s |      16 |  2250242 |   147852 |   811951      0 |        3 |        7
1786.17/1786.62	c 1760s |      16 |  2251257 |   148152 |   811951      0 |        3 |        7
1789.08/1789.58	c 1763s |      16 |  2252293 |   148452 |   811951      0 |        3 |        7
1791.77/1792.20	c 1765s |      16 |  2253342 |   148752 |   811951      0 |        3 |        7
1794.67/1795.11	c 1768s |      16 |  2254288 |   149052 |   811951      0 |        3 |        7
1797.78/1798.28	c 1771s |      16 |  2255025 |   149352 |   811951      0 |        3 |        7

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-4093081-1466074715/watcher-4093081-1466074715 -o /tmp/evaluation-result-4093081-1466074715/solver-4093081-1466074715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093081-1466074715.wbo 

pid=9735
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.02 1.31 1.74 5/174 9741
/proc/meminfo: memFree=31750272/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 9521562 723972096 2996 33554432000 4194304 16246674 140736384732896 140736384732320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 177519 3005 441 2943 0 174413 0
[pid=9739/tid=9743] ppid=9735 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 755429376 3114 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 759623680 3132 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9521562 763817984 3148 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100102 s]
/proc/loadavg: 1.02 1.31 1.74 5/174 9741
/proc/meminfo: memFree=31750272/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 25528 0 0 0 6 3 0 0 20 0 4 0 9521562 1250496512 25829 33554432000 4194304 16246674 140736384732896 140736384715888 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 305297 25829 800 2943 0 302191 0
[pid=9739/tid=9743] ppid=9735 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1250496512 25829 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1250496512 25829 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1250496512 25829 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200407 s]
/proc/loadavg: 1.02 1.31 1.74 5/174 9741
/proc/meminfo: memFree=31750272/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 47661 0 0 0 12 6 0 0 20 0 4 0 9521562 1343819776 48474 33554432000 4194304 16246674 140736384732896 140736384715888 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 328081 48479 800 2943 0 324975 0
[pid=9739/tid=9743] ppid=9735 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1343819776 48483 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1343819776 48487 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1343819776 48490 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300359 s]
/proc/loadavg: 1.02 1.31 1.74 5/174 9741
/proc/meminfo: memFree=31750272/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 54488 0 0 0 22 7 0 0 20 0 4 0 9521562 1344868352 55300 33554432000 4194304 16246674 140736384732896 140736384715888 7439882 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 328337 55300 801 2943 0 325231 0
[pid=9739/tid=9743] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 55300 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 55300 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 55300 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70029 s]
/proc/loadavg: 1.02 1.31 1.74 5/174 9741
/proc/meminfo: memFree=31750272/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 63007 0 0 0 60 9 0 0 20 0 4 0 9521562 1344868352 63819 33554432000 4194304 16246674 140736384732896 140736384715888 8055455 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 328337 63819 802 2943 0 325231 0
[pid=9739/tid=9743] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 63819 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 63819 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 63819 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 1.02 1.31 1.74 3/183 9750
/proc/meminfo: memFree=31152160/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 82454 0 0 0 137 12 0 0 20 0 4 0 9521562 1344868352 83266 33554432000 4194304 16246674 140736384732896 140736384715888 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 328337 83266 803 2943 0 325231 0
[pid=9739/tid=9743] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 83266 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 83266 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 83266 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 1.02 1.31 1.74 3/183 9750
/proc/meminfo: memFree=30756848/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 123252 0 0 0 291 18 0 0 20 0 4 0 9521562 1344868352 124064 33554432000 4194304 16246674 140736384732896 140736384714816 13934328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 328337 124064 827 2943 0 325231 0
[pid=9739/tid=9743] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 124064 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 124064 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1344868352 124064 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30048 s]
/proc/loadavg: 1.33 1.37 1.75 3/183 9750
/proc/meminfo: memFree=30074136/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1317444 CPUtime=6.29 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 208649 0 0 0 601 28 0 0 20 0 4 0 9521562 1349062656 209461 33554432000 4194304 16246674 140736384732896 140736384714816 6696728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 329361 209461 835 2943 0 326255 0
[pid=9739/tid=9743] ppid=9735 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1349062656 209461 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1349062656 209461 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1349062656 209461 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 1.39 1.38 1.76 3/183 9750
/proc/meminfo: memFree=29473308/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1372740 CPUtime=12.69 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 283828 0 0 0 1231 38 0 0 20 0 4 0 9521562 1405685760 284640 33554432000 4194304 16246674 140736384732896 140736384732208 6938820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 343185 284640 860 2943 0 340079 0
[pid=9739/tid=9743] ppid=9735 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1405685760 284640 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1405685760 284640 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1405685760 284640 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1372740

[startup+25.5005 s]
/proc/loadavg: 1.60 1.43 1.76 3/183 9750
/proc/meminfo: memFree=28952516/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1632836 CPUtime=25.48 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 348908 0 0 0 2503 45 0 0 20 0 4 0 9521562 1672024064 349720 33554432000 4194304 16246674 140736384732896 140736384714816 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 408209 349720 915 2943 0 405103 0
[pid=9739/tid=9743] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349720 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349720 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349720 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1632836

[startup+51.1004 s]
/proc/loadavg: 1.80 1.49 1.77 3/183 9750
/proc/meminfo: memFree=28742412/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1632836 CPUtime=51.08 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 348923 0 0 0 5062 46 0 0 20 0 4 0 9521562 1672024064 349733 33554432000 4194304 16246674 140736384732896 140736384732072 13885029 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 408209 349733 928 2943 0 405103 0
[pid=9739/tid=9743] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349733 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349733 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1672024064 349733 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1632836

[startup+102.3 s]
/proc/loadavg: 1.95 1.58 1.79 3/183 9754
/proc/meminfo: memFree=28530948/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=1842756 CPUtime=102.27 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 401414 0 0 0 10173 54 0 0 20 0 4 0 9521562 1886982144 402217 33554432000 4194304 16246674 140736384732896 140736384714816 5676852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 460689 402217 932 2943 0 457583 0
[pid=9739/tid=9743] ppid=9735 vsize=1842756 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 1886982144 402217 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=1842756 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 1886982144 402217 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=1842756 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 1886982144 402217 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1842756


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

/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2624131072 582099 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 2562628

[startup+1362.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/183 9808
/proc/meminfo: memFree=26930884/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2614852 CPUtime=1361.95 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 594613 0 0 0 136016 179 0 0 20 0 4 0 9521562 2677608448 595172 33554432000 4194304 16246674 140736384732896 140736384714816 13966775 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 653713 595172 932 2943 0 650607 0
[pid=9739/tid=9743] ppid=9735 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2677608448 595172 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2677608448 595172 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2614852 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2677608448 595172 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 2614852

[startup+1422.3 s]
/proc/loadavg: 2.10 2.08 2.00 3/183 9809
/proc/meminfo: memFree=26836168/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2661956 CPUtime=1421.94 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 606326 0 0 0 142001 193 0 0 20 0 4 0 9521562 2725842944 606883 33554432000 4194304 16246674 140736384732896 140736384731992 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 665489 606883 932 2943 0 662383 0
[pid=9739/tid=9743] ppid=9735 vsize=2661956 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2725842944 606883 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2661956 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2725842944 606883 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2661956 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2725842944 606883 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 2661956

[startup+1482.3 s]
/proc/loadavg: 2.18 2.10 2.01 3/183 9810
/proc/meminfo: memFree=26711204/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2707012 CPUtime=1481.92 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 617728 0 0 0 147986 206 0 0 20 0 4 0 9521562 2771980288 618281 33554432000 4194304 16246674 140736384732896 140736384732072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 676753 618281 932 2943 0 673647 0
[pid=9739/tid=9743] ppid=9735 vsize=2707012 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2771980288 618281 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2707012 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2771980288 618281 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2707012 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2771980288 618281 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 2707012

[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/183 9811
/proc/meminfo: memFree=26602488/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2751044 CPUtime=1541.91 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 628523 0 0 0 153972 219 0 0 20 0 4 0 9521562 2817069056 629073 33554432000 4194304 16246674 140736384732896 140736384732072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 687761 629073 932 2943 0 684655 0
[pid=9739/tid=9743] ppid=9735 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2817069056 629073 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2817069056 629073 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2817069056 629073 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 2751044

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/183 9812
/proc/meminfo: memFree=26435868/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2812484 CPUtime=1601.9 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 643868 0 0 0 159957 233 0 0 20 0 4 0 9521562 2879983616 644413 33554432000 4194304 16246674 140736384732896 140736384732072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 703121 644413 932 2943 0 700015 0
[pid=9739/tid=9743] ppid=9735 vsize=2812484 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2879983616 644413 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2812484 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2879983616 644413 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2812484 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2879983616 644413 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 2812484

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/183 9814
/proc/meminfo: memFree=26329708/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2856516 CPUtime=1661.89 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 654902 0 0 0 165936 253 0 0 20 0 4 0 9521562 2925072384 655447 33554432000 4194304 16246674 140736384732896 140736384731992 12483667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 714129 655447 932 2943 0 711023 0
[pid=9739/tid=9743] ppid=9735 vsize=2856516 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2925072384 655447 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2856516 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2925072384 655447 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2856516 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2925072384 655447 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 2856516

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 9815
/proc/meminfo: memFree=26207864/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2905668 CPUtime=1721.88 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 667400 0 0 0 171921 267 0 0 20 0 4 0 9521562 2975404032 667945 33554432000 4194304 16246674 140736384732896 140736384732072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 726417 667945 932 2943 0 723311 0
[pid=9739/tid=9743] ppid=9735 vsize=2905668 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 2975404032 667945 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2905668 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 2975404032 667945 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2905668 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 2975404032 667945 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 2905668

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 9816
/proc/meminfo: memFree=26053924/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2989636 CPUtime=1781.87 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 688201 0 0 0 177903 284 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 140736384732072 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 747409 688746 932 2943 0 744303 0
[pid=9739/tid=9743] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 2989636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.51 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 9816
/proc/meminfo: memFree=26032196/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2989636 CPUtime=1800.07 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 688201 0 0 0 179719 288 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 140736384732072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 747409 688746 932 2943 0 744303 0
[pid=9739/tid=9743] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2989636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.51 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 9816
/proc/meminfo: memFree=26032196/32872528 swapFree=240572/273276
[pid=9739] ppid=9735 vsize=2989636 CPUtime=1800.07 cores=0,2,4,6
/proc/9739/stat : 9739 (toysat) R 9735 9739 7549 0 -1 4202496 688201 0 0 0 179719 288 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 140736384732072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9739/statm: 747409 688746 932 2943 0 744303 0
[pid=9739/tid=9743] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9743/stat : 9743 (toysat) S 9735 9739 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838976142576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9739/tid=9745] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9745/stat : 9745 (toysat) S 9735 9739 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838965652720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9739/tid=9746] ppid=9735 vsize=2989636 CPUtime=0 cores=0,2,4,6
/proc/9739/task/9746/stat : 9746 (toysat) S 9735 9739 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9521562 3061387264 688746 33554432000 4194304 16246674 140736384732896 139838955179184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2989636

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.11
CPU user time (s): 1797.2
CPU system time (s): 2.90456
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 2989636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.2
system time used= 2.90456
maximum resident set size= 2754984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688201
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= 446
involuntary context switches= 1807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49332 second user time and 6.99894 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 12:58:35
IDJOB=4093081
IDBENCH=78608
IDSOLVER=2553
FILE ID=node107/4093081-1466074715
RUNJOBID= node107-1466074715-9713
PBS_JOBID= 19904025
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093081-1466074715/watcher-4093081-1466074715 -o /tmp/evaluation-result-4093081-1466074715/solver-4093081-1466074715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093081-1466074715.wbo

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

MD5SUM BENCH= 6208767dceeaee4005a754b6f8934b98
RANDOM SEED=2083830995

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31750924 kB
Buffers:           16488 kB
Cached:           128600 kB
SwapCached:         2508 kB
Active:           100472 kB
Inactive:          47620 kB
Active(anon):       3896 kB
Inactive(anon):     2156 kB
Active(file):      96576 kB
Inactive(file):    45464 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             56616 kB
Writeback:             0 kB
AnonPages:        275324 kB
Mapped:             6940 kB
Shmem:                 0 kB
Slab:             568072 kB
SReclaimable:      11812 kB
SUnreclaim:       556260 kB
KernelStack:        1368 kB
PageTables:         4060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     368728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71656 MiB
End job on node107 at 2016-06-16 13:28:36