Trace number 4100905

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.23 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
MD5SUM652c15620b8183c9f7790ff4b2dde8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82500
Total number of constraints397
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint300
Maximum length of a constraint720
Number of terms in the objective function 82500
Biggest coefficient in the objective function 195
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 593086
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 48312
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 593086
Number of bits of the biggest sum of numbers20
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-18T05:00:01+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100905-1466218801.opb"]
0.00/0.01	c use --random-gen="980492861 1645553951 834464543 2053574653 1803970352 1957244370 1380582549 2388187712 4182025240 973787847 477417526 1387195301 2845891045 4122258788 3552885984 3176301291 3669703053 1301573085 3100372384 2647769977 3348668439 1537140770 443406343 1731660176 3946118652 3923252563 282976523 3340503230 2634569026 3688152429 1336309112 1605005828 2277983465 813761788 3550874545 1536307345 1673453124 3152339201 1428841603 3484408226 4123333732 2495412479 3704637361 413426285 711550024 2205325882 3097262071 1860957710 3522175121 1415569468 762827479 800338420 3755426711 707228767 3635109007 435450920 3511939474 7896819 2539150530 2518629726 3052119330 2561026505 1589344321 3217402825 1568734260 3450106194 4215653306 2153514194 647614210 1832353823 2515557653 1486113112 2029169034 235512387 3844543240 3602767076 3452748473 3063560199 1485955631 2507100332 2781188360 2188506745 1579583713 3039595532 3723474385 3819648939 2903774100 3533292941 168478057 3072797680 1809391480 1178947837 2387554162 307562701 4054218390 498515478 3679951084 2218079820 3431043077 3355039274 2895343433 1747655916 1778251038 1422899446 2504479602 1459303583 1252609331 2828334875 3305198519 2247793367 3674503956 1876130975 4225693799 1482204829 3364717701 2786606018 3688824631 3146220887 3092728018 75555835 1631447106 2025789126 586215708 2354515312 3906009980 1977050864 1327170596 3184055506 246795225 1771949037 879891123 1668011136 1134718017 1723185343 3371193287 4063647671 583015828 2412297666 652564533 3926516392 4085734009 2685858369 3686834870 3564844323 2726747010 3543111929 3637209581 2260403017 3663847948 3031995430 2798029709 2092433463 3464599212 2451161153 2676373595 3584807002 2396621065 4164487993 3790174758 1242051301 3449948503 210861890 3699880908 2534511182 3284196781 688424416 3110458553 984199947 1725477846 3620750625 4077532193 3277466794 3396490037 2359246469 4071599011 3931323696 730073524 1681433895 1683484038 1017284305 54172524 4137809929 2255018410 1861422815 3385243961 3742766240 2966202214 3840703683 4089388990 3255534654 1275610731 19311274 32865640 1728987563 2657690720 1698638753 809613180 3573499383 2881774146 2253585341 3110530278 2561818711 1454432939 2866423395 1492999249 726875239 1643260315 2007556181 1757511509 740251774 704947073 1568054403 787702233 1561092111 2915551108 1285590854 1712672947 1254025768 215145890 1684822220 2843019449 617217702 321212582 1419648035 859153801 3415463400 1081641214 603002015 3925583639 1724646572 2919800277 3572482325 3377480270 3878082730 1107168697 1006975386 2721967275 581857820 1145729026 4287495668 3568962579 2357615384 2840430480 2822663386 1467328343 4147652599 428078075 330980481 3240962062 266928533 1031386741 3076863448 3963038165 2165071838 1185296385 232388104 255 362436" option to reproduce the execution
0.49/0.59	c #vars 82500
0.49/0.59	c #constraints 397
2.59/2.67	c BCD2: Hardening is enabled.
2.59/2.67	c BCD2: BiasedSearch is enabled.
2.59/2.67	c Solving starts ...
2.59/2.67	c ============================[ Search Statistics ]============================
2.59/2.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.67	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.67	c =============================================================================
2.59/2.69	c  0.0s |       0 |        0 |        0 |    27764      0 |        0 |        0
4.69/4.70	c  2.0s |       1 |     8696 |      100 |    27764      0 |        0 |        0
6.39/6.47	c  3.8s |       2 |    50509 |      250 |    30541      0 |        0 |        0
8.69/8.75	c  6.1s |       2 |    94530 |      350 |    33596      0 |        0 |        0
10.59/10.63	c  7.9s |       3 |    94733 |      475 |    33596      0 |        0 |        0
11.69/11.74	c  9.1s |       4 |    97854 |      813 |    36956      0 |        0 |        0
14.30/14.32	c 11.6s |       4 |   122897 |     1313 |    40652      0 |        0 |        0
14.40/14.42	c 11.7s |       5 |   122903 |     1320 |    40652      0 |        0 |        0
16.50/16.52	c 13.8s |       5 |   146158 |     1520 |    44718      0 |        0 |        0
19.29/19.36	c 16.7s |       5 |   146485 |     1820 |    44718      0 |        0 |        0
21.59/21.66	c 19.0s |       6 |   146753 |     2081 |    49190      0 |        0 |        0
23.69/23.71	c 21.0s |       6 |   171103 |     2781 |    49190      0 |        0 |        0
24.59/24.64	c 22.0s |       7 |   171542 |     3223 |    54110      0 |        0 |        0
26.79/26.84	c 24.2s |       7 |   194761 |     4123 |    54110      0 |        0 |        0
28.98/29.06	c 26.4s |       7 |   195323 |     4623 |    54110      0 |        0 |        0
30.58/30.67	c 28.0s |       8 |   195690 |     4936 |    59522      0 |        0 |        0
32.88/32.90	c 30.2s |       8 |   198380 |     5736 |    59522      0 |        0 |        0
35.08/35.15	c 32.5s |       8 |   198985 |     6336 |    59522      0 |        0 |        0
37.39/37.49	c 34.8s |       8 |   199588 |     6936 |    59522      0 |        0 |        0
39.48/39.56	c 36.9s |       8 |   200088 |     7436 |    59522      0 |        0 |        0
39.78/39.88	c 37.2s |       9 |   200159 |     7506 |    65475      0 |        0 |        0
42.08/42.13	c 39.4s |       9 |   201107 |     8106 |    65475      0 |        0 |        0
44.18/44.21	c 41.5s |       9 |   201821 |     8806 |    65475      0 |        0 |        0
46.38/46.47	c 43.8s |       9 |   202626 |     9606 |    65475      0 |        0 |        0
48.39/48.48	c 45.8s |       9 |   203334 |    10306 |    65475      0 |        0 |        0
50.48/50.52	c 47.8s |       9 |   204036 |    11006 |    65475      0 |        0 |        0
51.48/51.55	c 48.9s |      10 |   204393 |    11361 |    72023      0 |        0 |        0
53.88/53.98	c 51.3s |      10 |   207352 |    11661 |    72023      0 |        0 |        0
56.38/56.43	c 53.7s |      10 |   207652 |    11961 |    72023      0 |        0 |        0
58.78/58.88	c 56.2s |      10 |   207955 |    12261 |    72023      0 |        0 |        0
61.28/61.34	c 58.7s |      10 |   208260 |    12561 |    72023      0 |        0 |        0
63.78/63.82	c 61.1s |      10 |   208564 |    12861 |    72023      0 |        0 |        0
66.17/66.25	c 63.6s |      10 |   208861 |    13161 |    72023      0 |        0 |        0
68.67/68.73	c 66.0s |      10 |   209157 |    13461 |    72023      0 |        0 |        0
71.07/71.14	c 68.5s |      10 |   209465 |    13761 |    72023      0 |        0 |        0
73.68/73.80	c 71.1s |      10 |   209768 |    14061 |    72023      0 |        0 |        0
76.17/76.24	c 73.6s |      10 |   210075 |    14361 |    72023      0 |        0 |        0
78.68/78.70	c 76.0s |      10 |   210375 |    14661 |    72023      0 |        0 |        0
81.08/81.16	c 78.5s |      10 |   210676 |    14961 |    72023      0 |        0 |        0
83.59/83.64	c 81.0s |      10 |   210978 |    15261 |    72023      0 |        0 |        0
86.08/86.15	c 83.5s |      10 |   211278 |    15561 |    72023      0 |        0 |        0
88.58/88.66	c 86.0s |      10 |   211574 |    15861 |    72023      0 |        0 |        0
91.08/91.19	c 88.5s |      10 |   211877 |    16161 |    72023      0 |        0 |        0
93.67/93.70	c 91.0s |      10 |   212181 |    16461 |    72023      0 |        0 |        0
96.17/96.22	c 93.5s |      10 |   212482 |    16761 |    72023      0 |        0 |        0
98.67/98.73	c 96.0s |      10 |   212785 |    17061 |    79226      0 |        0 |        0
99.37/99.44	c 96.7s |      11 |   212868 |    17144 |    79226      0 |        0 |        0
101.47/101.54	c 98.8s |      11 |   214060 |    17844 |    79226      0 |        0 |        0
103.67/103.74	c  101s |      11 |   214963 |    18744 |    79226      0 |        0 |        0
105.68/105.78	c  103s |      11 |   215767 |    19544 |    79226      0 |        0 |        0
107.78/107.88	c  105s |      11 |   216567 |    20344 |    79226      0 |        0 |        0
109.98/110.02	c  107s |      11 |   217371 |    21144 |    79226      0 |        0 |        0
112.08/112.20	c  109s |      11 |   218176 |    21944 |    79226      0 |        0 |        0
114.27/114.37	c  111s |      11 |   218979 |    22744 |    79226      0 |        0 |        0
116.47/116.60	c  113s |      11 |   219785 |    23544 |    79226      0 |        0 |        0
118.78/118.82	c  116s |      11 |   220588 |    24344 |    79226      0 |        0 |        0
121.08/121.11	c  118s |      11 |   221393 |    25144 |    79226      0 |        0 |        0
122.97/123.08	c  120s |      12 |   222075 |    25819 |    87149      0 |        0 |        0
125.17/125.25	c  122s |      12 |   223058 |    26319 |    87149      0 |        0 |        0
127.17/127.29	c  124s |      12 |   223866 |    27119 |    87149      0 |        0 |        0
129.27/129.35	c  126s |      12 |   224667 |    27919 |    87149      0 |        0 |        0
131.37/131.44	c  128s |      12 |   225468 |    28719 |    87149      0 |        0 |        0
133.47/133.55	c  130s |      12 |   226277 |    29519 |    87149      0 |        0 |        0
135.47/135.58	c  132s |      12 |   227082 |    30319 |    87149      0 |        0 |        0
137.57/137.65	c  134s |      12 |   227879 |    31119 |    87149      0 |        0 |        0
139.77/139.85	c  137s |      12 |   228692 |    31919 |    87149      0 |        0 |        0
141.97/142.05	c  139s |      12 |   229492 |    32719 |    87149      0 |        0 |        0
144.08/144.19	c  141s |      12 |   230301 |    33519 |    87149      0 |        0 |        0
146.38/146.42	c  143s |      12 |   231103 |    34319 |    87149      0 |        0 |        0
148.58/148.65	c  145s |      12 |   231918 |    35119 |    87149      0 |        0 |        0
150.78/150.83	c  148s |      12 |   232616 |    35819 |    87149      0 |        0 |        0
152.77/152.89	c  150s |      12 |   233424 |    36619 |    87149      0 |        0 |        0
155.07/155.11	c  152s |      12 |   234225 |    37419 |    87149      0 |        0 |        0
157.07/157.15	c  154s |      12 |   234924 |    38119 |    87149      0 |        0 |        0
159.07/159.14	c  156s |      13 |   235645 |    38832 |    95864      0 |        0 |        0
161.17/161.25	c  158s |      13 |   283955 |    39132 |    95864      0 |        0 |        0
163.26/163.36	c  160s |      13 |   284981 |    40132 |    95864      0 |        0 |        0
165.36/165.47	c  162s |      13 |   285897 |    41032 |    95864      0 |        0 |        0
167.56/167.67	c  164s |      13 |   286720 |    41832 |    95864      0 |        0 |        0
169.76/169.82	c  167s |      13 |   287644 |    42732 |    95864      0 |        0 |        0
171.96/172.08	c  169s |      13 |   288565 |    43632 |    95864      0 |        0 |        0
175.97/176.03	c  173s |      13 |   291864 |    44332 |    95864      0 |        0 |        0
178.17/178.26	c  175s |      13 |   293315 |    44532 |    95864      0 |        0 |        0
180.26/180.35	c  177s |      13 |   293718 |    44632 |    95864      0 |        0 |        0
184.66/184.71	c  182s |      13 |   294316 |    44832 |    95864      0 |        0 |        0
187.06/187.18	c  184s |      13 |   294468 |    44932 |    95864      0 |        0 |        0
191.96/192.05	c  189s |      13 |   295068 |    45132 |    95864      0 |        0 |        0
194.66/194.76	c  192s |      13 |   295306 |    45232 |    95864      0 |        0 |        0
197.36/197.42	c  194s |      13 |   295529 |    45332 |    95864      0 |        0 |        0
200.35/200.45	c  197s |      13 |   295749 |    45432 |    95864      0 |        0 |        0
203.46/203.50	c  200s |      13 |   296010 |    45532 |    95864      0 |        0 |        0
206.56/206.66	c  203s |      13 |   296338 |    45632 |    95864      0 |        0 |        0
210.86/210.91	c  208s |      13 |   297044 |    45732 |    95864      0 |        0 |        0
214.36/214.45	c  211s |      13 |   297660 |    45832 |    95864      0 |        0 |        0
217.66/217.77	c  215s |      13 |   298067 |    45932 |    95864      0 |        0 |        0
221.86/221.91	c  219s |      13 |   298353 |    46132 |    95864      0 |        0 |        0
226.45/226.53	c  223s |      13 |   299626 |    46332 |    95864      0 |        0 |        0
230.15/230.27	c  227s |      13 |   299928 |    46432 |    95864      0 |        0 |        0
232.65/232.77	c  230s |      13 |   301379 |    46532 |    95864      0 |        0 |        0
234.75/234.89	c  232s |      13 |   302267 |    46632 |    95864      0 |        0 |        0
237.66/237.79	c  235s |      13 |   302453 |    46732 |    95864      0 |        0 |        0
241.96/242.05	c  239s |      13 |   302595 |    46832 |    95864      0 |        0 |        0
245.45/245.56	c  242s |      13 |   303319 |    46932 |    95864      0 |        0 |        0
248.05/248.18	c  245s |      13 |   303901 |    47032 |    95864      0 |        0 |        0
250.65/250.74	c  248s |      13 |   304616 |    47132 |    95864      0 |        0 |        0
253.45/253.58	c  250s |      13 |   305461 |    47232 |    95864      0 |        0 |        0
257.65/257.79	c  255s |      13 |   305715 |    47332 |    95864      0 |        0 |        0
261.95/262.09	c  259s |      13 |   307185 |    47432 |    95864      0 |        0 |        0
267.15/267.20	c  264s |      13 |   307881 |    47532 |    95864      0 |        0 |        0
275.25/275.34	c  272s |      13 |   308690 |    47632 |    95864      0 |        0 |        0
278.64/278.73	c  276s |      13 |   310737 |    47832 |    95864      0 |        0 |        0
281.94/282.08	c  279s |      13 |   311395 |    47932 |    95864      0 |        0 |        0
284.14/284.26	c  281s |      13 |   312021 |    48032 |    95864      0 |        0 |        0
287.44/287.52	c  284s |      13 |   312554 |    48232 |    95864      0 |        0 |        0
290.84/290.99	c  288s |      13 |   313256 |    48432 |    95864      0 |        0 |        0
294.24/294.32	c  291s |      13 |   313794 |    48632 |    95864      0 |        0 |        0
296.45/296.52	c  293s |      13 |   341114 |    49232 |    95864      0 |        0 |        0
298.54/298.60	c  295s |      13 |   342019 |    50132 |    95864      0 |        0 |        0
300.64/300.79	c  298s |      13 |   342927 |    51032 |    95864      0 |        0 |        0
302.94/303.02	c  300s |      13 |   343825 |    51932 |    95864      0 |        0 |        0
305.04/305.10	c  302s |      13 |   344633 |    52732 |    95864      0 |        0 |        0
307.15/307.20	c  304s |      13 |   345431 |    53532 |    95864      0 |        0 |        0
309.34/309.40	c  306s |      13 |   346234 |    54332 |    95864      0 |        0 |        0
311.35/311.41	c  308s |      13 |   346940 |    55032 |    95864      0 |        0 |        0
313.34/313.44	c  310s |      13 |   347648 |    55732 |    95864      0 |        0 |        0
315.45/315.56	c  312s |      13 |   348359 |    56432 |    95864      0 |        0 |        0
317.64/317.75	c  315s |      13 |   349064 |    57132 |    95864      0 |        0 |        0
319.84/319.96	c  317s |      13 |   349765 |    57832 |    95864      0 |        0 |        0
321.64/321.70	c  319s |      14 |   350288 |    58352 |   105451      0 |        0 |        0
324.04/324.17	c  321s |      14 |   350888 |    58452 |   105451      0 |        0 |        0
326.14/326.29	c  323s |      14 |   443124 |    59252 |   105451      0 |        0 |        0
328.24/328.37	c  325s |      14 |   444634 |    60452 |   105451      0 |        0 |        0
330.34/330.41	c  327s |      14 |   445749 |    61552 |   105451      0 |        0 |        0
332.54/332.60	c  329s |      14 |   446857 |    62652 |   105451      0 |        0 |        0
334.64/334.73	c  332s |      14 |   447861 |    63652 |   105451      0 |        0 |        0
336.83/336.94	c  334s |      14 |   448866 |    64652 |   105451      0 |        0 |        0
338.84/338.98	c  336s |      14 |   449871 |    65652 |   105451      0 |        0 |        0
340.94/341.08	c  338s |      14 |   450774 |    66552 |   105451      0 |        0 |        0
342.93/343.09	c  340s |      14 |   451586 |    67352 |   105451      0 |        0 |        0
345.04/345.19	c  342s |      14 |   452491 |    68252 |   105451      0 |        0 |        0
347.14/347.25	c  344s |      14 |   453292 |    69052 |   105451      0 |        0 |        0
349.14/349.28	c  346s |      14 |   454097 |    69852 |   105451      0 |        0 |        0
351.44/351.50	c  348s |      14 |   454943 |    70652 |   105451      0 |        0 |        0
353.54/353.67	c  350s |      14 |   455940 |    71652 |   105451      0 |        0 |        0
355.63/355.78	c  353s |      14 |   456749 |    72452 |   105451      0 |        0 |        0
357.73/357.81	c  355s |      14 |   457464 |    73152 |   105451      0 |        0 |        0
359.83/359.99	c  357s |      14 |   458366 |    74052 |   105451      0 |        0 |        0
361.84/361.99	c  359s |      14 |   459163 |    74852 |   105451      0 |        0 |        0
363.94/364.03	c  361s |      14 |   459876 |    75552 |   105451      0 |        0 |        0
366.14/366.24	c  363s |      14 |   460577 |    76252 |   105451      0 |        0 |        0
368.33/368.43	c  365s |      14 |   461492 |    77152 |   105451      0 |        0 |        0
370.33/370.49	c  367s |      14 |   462202 |    77852 |   105451      0 |        0 |        0
372.63/372.78	c  370s |      14 |   462892 |    78552 |   105451      0 |        0 |        0
374.83/374.90	c  372s |      14 |   463505 |    79152 |   105451      0 |        0 |        0
376.83/376.90	c  374s |      14 |   464320 |    79952 |   105451      0 |        0 |        0
378.93/379.05	c  376s |      14 |   465019 |    80652 |   105451      0 |        0 |        0
381.33/381.43	c  378s |      14 |   465722 |    81352 |   105451      0 |        0 |        0
383.43/383.54	c  380s |      14 |   466523 |    82152 |   105451      0 |        0 |        0
385.63/385.73	c  383s |      14 |   467239 |    82852 |   105451      0 |        0 |        0
387.73/387.88	c  385s |      14 |   467944 |    83552 |   105451      0 |        0 |        0
389.93/390.08	c  387s |      14 |   468643 |    84252 |   105451      0 |        0 |        0
392.23/392.33	c  389s |      14 |   469242 |    84852 |   105451      0 |        0 |        0
394.33/394.45	c  391s |      14 |   469967 |    85552 |   105451      0 |        0 |        0
396.43/396.54	c  393s |      14 |   470573 |    86152 |   105451      0 |        0 |        0
398.63/398.78	c  396s |      14 |   471164 |    86752 |   105451      0 |        0 |        0
400.83/400.94	c  398s |      14 |   471890 |    87452 |   115997      0 |        0 |        0
401.54/401.66	c  398s |      15 |   472057 |    87632 |   115997      0 |        0 |        0
405.13/405.21	c  402s |      15 |   511105 |    87732 |   115997      0 |        0 |        0
407.33/407.42	c  404s |      15 |   512138 |    88732 |   115997      0 |        0 |        0
409.42/409.58	c  406s |      15 |   513035 |    89632 |   115997      0 |        0 |        0
411.52/411.63	c  408s |      15 |   513836 |    90432 |   115997      0 |        0 |        0
413.64/413.77	c  411s |      15 |   514639 |    91232 |   115997      0 |        0 |        0
415.83/415.93	c  413s |      15 |   515446 |    92032 |   115997      0 |        0 |        0
418.12/418.21	c  415s |      15 |   516243 |    92832 |   115997      0 |        0 |        0
420.32/420.48	c  417s |      15 |   517050 |    93632 |   115997      0 |        0 |        0
422.52/422.66	c  419s |      15 |   517754 |    94332 |   115997      0 |        0 |        0
424.63/424.74	c  422s |      15 |   518448 |    95032 |   115997      0 |        0 |        0
426.84/426.94	c  424s |      15 |   519149 |    95732 |   115997      0 |        0 |        0
429.03/429.20	c  426s |      15 |   519852 |    96432 |   115997      0 |        0 |        0
431.33/431.42	c  428s |      15 |   520559 |    97132 |   115997      0 |        0 |        0
433.53/433.65	c  430s |      15 |   521256 |    97832 |   115997      0 |        0 |        0
435.73/435.87	c  433s |      15 |   521864 |    98432 |   115997      0 |        0 |        0
438.02/438.15	c  435s |      15 |   522457 |    99032 |   115997      0 |        0 |        0
440.03/440.16	c  437s |      15 |   522959 |    99532 |   115997      0 |        0 |        0
442.23/442.32	c  439s |      15 |   523459 |   100032 |   115997      0 |        0 |        0
444.22/444.39	c  441s |      15 |   524066 |   100632 |   115997      0 |        0 |        0
446.42/446.59	c  443s |      15 |   524665 |   101232 |   115997      0 |        0 |        0
448.52/448.61	c  445s |      15 |   525168 |   101732 |   115997      0 |        0 |        0
450.52/450.69	c  447s |      15 |   525675 |   102232 |   115997      0 |        0 |        0
452.62/452.72	c  450s |      15 |   526173 |   102732 |   115997      0 |        0 |        0
454.61/454.73	c  452s |      15 |   526678 |   103232 |   115997      0 |        0 |        0
456.61/456.75	c  454s |      15 |   527181 |   103732 |   115997      0 |        0 |        0
459.01/459.17	c  456s |      15 |   527781 |   104332 |   115997      0 |        0 |        0
461.52/461.61	c  458s |      15 |   528387 |   104932 |   115997      0 |        0 |        0
463.62/463.72	c  461s |      15 |   528892 |   105432 |   115997      0 |        0 |        0
465.92/466.04	c  463s |      15 |   529395 |   105932 |   115997      0 |        0 |        0
468.32/468.42	c  465s |      15 |   529891 |   106432 |   115997      0 |        0 |        0
470.62/470.76	c  468s |      15 |   530400 |   106932 |   115997      0 |        0 |        0
473.03/473.18	c  470s |      15 |   530896 |   107432 |   115997      0 |        0 |        0
475.32/475.44	c  472s |      15 |   531396 |   107932 |   115997      0 |        0 |        0
477.52/477.69	c  475s |      15 |   531901 |   108432 |   115997      0 |        0 |        0
479.72/479.81	c  477s |      15 |   532398 |   108932 |   115997      0 |        0 |        0
481.92/482.05	c  479s |      15 |   532998 |   109532 |   115997      0 |        0 |        0
484.11/484.28	c  481s |      15 |   533505 |   110032 |   115997      0 |        0 |        0
486.51/486.63	c  483s |      15 |   534012 |   110532 |   115997      0 |        0 |        0
488.71/488.89	c  486s |      15 |   534614 |   111132 |   115997      0 |        0 |        0
491.01/491.19	c  488s |      15 |   535209 |   111732 |   115997      0 |        0 |        0
493.41/493.56	c  490s |      15 |   535810 |   112332 |   115997      0 |        0 |        0
495.81/495.94	c  493s |      15 |   536417 |   112932 |   115997      0 |        0 |        0
498.11/498.29	c  495s |      15 |   537017 |   113532 |   115997      0 |        0 |        0
500.52/500.62	c  497s |      15 |   537618 |   114132 |   115997      0 |        0 |        0
502.81/502.99	c  500s |      15 |   538129 |   114632 |   115997      0 |        0 |        0
504.91/505.01	c  502s |      15 |   538621 |   115132 |   115997      0 |        0 |        0
507.11/507.29	c  504s |      15 |   539129 |   115632 |   115997      0 |        0 |        0
509.71/509.81	c  507s |      15 |   539628 |   116132 |   115997      0 |        0 |        0
511.81/511.92	c  509s |      15 |   540040 |   116532 |   115997      0 |        0 |        0
514.11/514.26	c  511s |      15 |   540539 |   117032 |   115997      0 |        0 |        0
516.51/516.65	c  513s |      15 |   540946 |   117432 |   115997      0 |        0 |        0
518.61/518.70	c  516s |      15 |   541444 |   117932 |   115997      0 |        0 |        0
520.71/520.81	c  518s |      15 |   541941 |   118432 |   115997      0 |        0 |        0
522.81/522.94	c  520s |      15 |   542443 |   118932 |   115997      0 |        0 |        0
524.91/525.09	c  522s |      15 |   542944 |   119432 |   115997      0 |        0 |        0
527.11/527.26	c  524s |      15 |   543446 |   119932 |   115997      0 |        0 |        0
529.31/529.43	c  526s |      15 |   543951 |   120432 |   115997      0 |        0 |        0
531.40/531.57	c  528s |      15 |   544452 |   120932 |   115997      0 |        0 |        0
533.80/533.93	c  531s |      15 |   544953 |   121432 |   115997      0 |        0 |        0
535.80/535.96	c  533s |      15 |   545460 |   121932 |   115997      0 |        0 |        0
538.10/538.23	c  535s |      15 |   545962 |   122432 |   115997      0 |        0 |        0
540.12/540.24	c  537s |      15 |   546266 |   122732 |   115997      0 |        0 |        0
542.32/542.42	c  539s |      15 |   546763 |   123232 |   115997      0 |        0 |        0
544.52/544.70	c  542s |      15 |   547169 |   123632 |   115997      0 |        0 |        0
546.91/547.04	c  544s |      15 |   547667 |   124132 |   115997      0 |        0 |        0
549.01/549.10	c  546s |      15 |   548064 |   124532 |   115997      0 |        0 |        0
551.31/551.41	c  548s |      15 |   548578 |   125032 |   115997      0 |        0 |        0
553.31/553.44	c  550s |      15 |   548974 |   125432 |   115997      0 |        0 |        0
555.71/555.90	c  553s |      15 |   549476 |   125932 |   115997      0 |        0 |        0
557.91/558.00	c  555s |      15 |   549880 |   126332 |   115997      0 |        0 |        0
560.30/560.41	c  557s |      15 |   550379 |   126832 |   115997      0 |        0 |        0
562.70/562.80	c  560s |      15 |   550885 |   127332 |   115997      0 |        0 |        0
565.00/565.14	c  562s |      15 |   551388 |   127832 |   115997      0 |        0 |        0
567.30/567.44	c  564s |      15 |   551890 |   128332 |   115997      0 |        0 |        0
569.40/569.54	c  566s |      15 |   552291 |   128732 |   115997      0 |        0 |        0
571.50/571.62	c  568s |      15 |   552791 |   129232 |   115997      0 |        0 |        0
573.51/573.68	c  570s |      15 |   553195 |   129632 |   115997      0 |        0 |        0
575.60/575.72	c  573s |      15 |   553611 |   130032 |   115997      0 |        0 |        0
577.80/577.90	c  575s |      15 |   554102 |   130532 |   115997      0 |        0 |        0
579.80/579.98	c  577s |      15 |   554510 |   130932 |   127597      0 |        0 |        0
582.30/582.49	c  579s |      15 |   554909 |   131332 |   127597      0 |        0 |        0
583.80/583.93	c  581s |      16 |   555130 |   131552 |   127597      0 |        0 |        0
593.40/593.56	c  590s |      16 |   555635 |   131652 |   127597      1 |        0 |        0
595.50/595.66	c  592s |      16 |   600725 |   132152 |   127597      1 |        0 |        0
597.50/597.69	c  595s |      16 |   601658 |   132952 |   127597      1 |        0 |        0
599.59/599.73	c  597s |      16 |   602460 |   133752 |   127597      1 |        0 |        0
601.71/601.87	c  599s |      16 |   603265 |   134552 |   127597      1 |        0 |        0
603.81/604.00	c  601s |      16 |   604074 |   135352 |   127597      1 |        0 |        0
606.10/606.25	c  603s |      16 |   604882 |   136152 |   127597      1 |        0 |        0
608.10/608.27	c  605s |      16 |   605590 |   136852 |   127597      1 |        0 |        0
610.30/610.45	c  607s |      16 |   606289 |   137552 |   127597      1 |        0 |        0
612.49/612.70	c  610s |      16 |   606995 |   138252 |   127597      1 |        0 |        0
614.60/614.70	c  612s |      16 |   607698 |   138952 |   127597      1 |        0 |        0
616.80/616.95	c  614s |      16 |   608503 |   139752 |   127597      1 |        0 |        0
619.09/619.20	c  616s |      16 |   609214 |   140452 |   127597      1 |        0 |        0
621.10/621.21	c  618s |      16 |   609814 |   141052 |   127597      1 |        0 |        0
623.39/623.53	c  620s |      16 |   610518 |   141752 |   127597      1 |        0 |        0
625.49/625.62	c  622s |      16 |   611135 |   142352 |   127597      1 |        0 |        0
627.79/627.91	c  625s |      16 |   611843 |   143052 |   127597      1 |        0 |        0
629.89/630.01	c  627s |      16 |   612445 |   143652 |   127597      1 |        0 |        0
631.99/632.16	c  629s |      16 |   612946 |   144152 |   127597      1 |        0 |        0
634.19/634.32	c  631s |      16 |   613547 |   144752 |   127597      1 |        0 |        0
636.29/636.45	c  633s |      16 |   614152 |   145352 |   127597      1 |        0 |        0
638.49/638.62	c  635s |      16 |   614755 |   145952 |   127597      1 |        0 |        0
640.69/640.88	c  638s |      16 |   615467 |   146652 |   127597      1 |        0 |        0
642.99/643.11	c  640s |      16 |   616167 |   147352 |   127597      1 |        0 |        0
645.19/645.35	c  642s |      16 |   616871 |   148052 |   127597      1 |        0 |        0
647.49/647.60	c  644s |      16 |   617572 |   148752 |   127597      1 |        0 |        0
649.79/649.90	c  647s |      16 |   618279 |   149452 |   127597      1 |        0 |        0
651.79/651.95	c  649s |      16 |   618882 |   150052 |   127597      1 |        0 |        0
653.99/654.18	c  651s |      16 |   619486 |   150652 |   127597      1 |        0 |        0
656.29/656.43	c  653s |      16 |   620089 |   151252 |   127597      1 |        0 |        0
658.29/658.46	c  655s |      16 |   620592 |   151752 |   127597      1 |        0 |        0
660.69/660.80	c  658s |      16 |   621091 |   152252 |   127597      1 |        0 |        0
662.99/663.14	c  660s |      16 |   621696 |   152852 |   127597      1 |        0 |        0
665.09/665.28	c  662s |      16 |   622305 |   153452 |   127597      1 |        0 |        0
667.29/667.45	c  664s |      16 |   622915 |   154052 |   127597      1 |        0 |        0
669.49/669.68	c  666s |      16 |   623519 |   154652 |   127597      1 |        0 |        0
671.79/671.93	c  669s |      16 |   624129 |   155252 |   127597      1 |        0 |        0
674.08/674.22	c  671s |      16 |   624730 |   155852 |   127597      1 |        0 |        0
676.40/676.55	c  673s |      16 |   625337 |   156452 |   127597      1 |        0 |        0
678.69/678.88	c  676s |      16 |   625937 |   157052 |   127597      1 |        0 |        0
680.79/680.93	c  678s |      16 |   626441 |   157552 |   127597      1 |        0 |        0
682.79/682.96	c  680s |      16 |   626846 |   157952 |   127597      1 |        0 |        0
685.19/685.32	c  682s |      16 |   627448 |   158552 |   127597      1 |        0 |        0
687.49/687.66	c  684s |      16 |   628056 |   159152 |   127597      1 |        0 |        0
689.88/690.03	c  687s |      16 |   628660 |   159752 |   127597      1 |        0 |        0
692.18/692.38	c  689s |      16 |   629261 |   160352 |   127597      1 |        0 |        0
694.48/694.70	c  692s |      16 |   629865 |   160952 |   127597      1 |        0 |        0
696.78/696.99	c  694s |      16 |   630367 |   161452 |   127597      1 |        0 |        0
699.08/699.21	c  696s |      16 |   630876 |   161952 |   127597      1 |        0 |        0
701.28/701.41	c  698s |      16 |   631372 |   162452 |   127597      1 |        0 |        0
703.58/703.79	c  701s |      16 |   631880 |   162952 |   127597      1 |        0 |        0
705.98/706.20	c  703s |      16 |   632380 |   163452 |   127597      1 |        0 |        0
708.18/708.36	c  705s |      16 |   632782 |   163852 |   127597      1 |        0 |        0
710.59/710.78	c  708s |      16 |   633281 |   164352 |   127597      1 |        0 |        0
712.57/712.78	c  710s |      16 |   633688 |   164752 |   127597      1 |        0 |        0
714.89/715.10	c  712s |      16 |   634191 |   165252 |   127597      1 |        0 |        0
716.98/717.19	c  714s |      16 |   634700 |   165752 |   127597      1 |        0 |        0
719.07/719.27	c  716s |      16 |   635102 |   166152 |   127597      1 |        0 |        0
721.27/721.46	c  718s |      16 |   635603 |   166652 |   127597      1 |        0 |        0
723.47/723.63	c  720s |      16 |   636105 |   167152 |   127597      1 |        0 |        0
725.77/725.92	c  723s |      16 |   636612 |   167652 |   127597      1 |        0 |        0
727.98/728.11	c  725s |      16 |   637111 |   168152 |   127597      1 |        0 |        0
730.07/730.23	c  727s |      16 |   637611 |   168652 |   127597      1 |        0 |        0
732.18/732.35	c  729s |      16 |   638120 |   169152 |   127597      1 |        0 |        0
734.38/734.57	c  731s |      16 |   638622 |   169652 |   127597      1 |        0 |        0
736.67/736.84	c  734s |      16 |   639127 |   170152 |   127597      1 |        0 |        0
738.88/739.07	c  736s |      16 |   639625 |   170652 |   127597      1 |        0 |        0
741.07/741.27	c  738s |      16 |   640130 |   171152 |   127597      1 |        0 |        0
743.28/743.49	c  740s |      16 |   640633 |   171652 |   127597      1 |        0 |        0
745.57/745.71	c  743s |      16 |   641144 |   172152 |   127597      1 |        0 |        0
747.98/748.11	c  745s |      16 |   641642 |   172652 |   127597      1 |        0 |        0
750.28/750.46	c  747s |      16 |   642144 |   173152 |   127597      1 |        0 |        0
752.68/752.85	c  750s |      16 |   642548 |   173552 |   127597      1 |        0 |        0
754.78/754.94	c  752s |      16 |   642949 |   173952 |   127597      1 |        0 |        0
756.78/756.98	c  754s |      16 |   643351 |   174352 |   127597      1 |        0 |        0
758.98/759.19	c  756s |      16 |   643855 |   174852 |   127597      1 |        0 |        0
761.47/761.64	c  758s |      16 |   644359 |   175352 |   127597      1 |        0 |        0
763.77/763.99	c  761s |      16 |   644862 |   175852 |   127597      1 |        0 |        0
765.87/766.07	c  763s |      16 |   645264 |   176252 |   127597      1 |        0 |        0
768.07/768.29	c  765s |      16 |   645665 |   176652 |   127597      1 |        0 |        0
770.38/770.54	c  767s |      16 |   646070 |   177052 |   127597      1 |        0 |        0
772.57/772.75	c  770s |      16 |   646471 |   177452 |   127597      1 |        0 |        0
774.87/775.02	c  772s |      16 |   646872 |   177852 |   127597      1 |        0 |        0
776.97/777.14	c  774s |      16 |   647275 |   178252 |   127597      1 |        0 |        0
778.97/779.15	c  776s |      16 |   647684 |   178652 |   127597      1 |        0 |        0
781.57/781.72	c  779s |      16 |   648081 |   179052 |   127597      1 |        0 |        0
783.87/784.00	c  781s |      16 |   648482 |   179452 |   127597      1 |        0 |        0
785.87/786.05	c  783s |      16 |   648889 |   179852 |   127597      1 |        0 |        0
787.96/788.11	c  785s |      16 |   649290 |   180252 |   127597      1 |        0 |        0
790.37/790.57	c  787s |      16 |   649794 |   180752 |   127597      1 |        0 |        0
792.47/792.63	c  789s |      16 |   650188 |   181152 |   127597      1 |        0 |        0
794.76/794.90	c  792s |      16 |   650595 |   181552 |   127597      1 |        0 |        0
796.87/797.04	c  794s |      16 |   650993 |   181952 |   127597      1 |        0 |        0
798.86/799.05	c  796s |      16 |   651395 |   182352 |   127597      1 |        0 |        0
801.27/801.40	c  798s |      16 |   651798 |   182752 |   127597      1 |        0 |        0
803.47/803.60	c  800s |      16 |   652198 |   183152 |   127597      1 |        0 |        0
805.66/805.85	c  803s |      16 |   652603 |   183552 |   127597      1 |        0 |        0
807.97/808.14	c  805s |      16 |   653004 |   183952 |   127597      1 |        0 |        0
810.17/810.37	c  807s |      16 |   653301 |   184252 |   127597      1 |        0 |        0
812.46/812.68	c  809s |      16 |   653701 |   184652 |   127597      1 |        0 |        0
814.87/815.03	c  812s |      16 |   654104 |   185052 |   127597      1 |        0 |        0
817.27/817.45	c  814s |      16 |   654509 |   185452 |   127597      1 |        0 |        0
819.67/819.86	c  817s |      16 |   654909 |   185852 |   127597      1 |        0 |        0
822.06/822.24	c  819s |      16 |   655310 |   186252 |   127597      1 |        0 |        0
824.56/824.78	c  822s |      16 |   655716 |   186652 |   127597      1 |        0 |        0
827.06/827.21	c  824s |      16 |   656115 |   187052 |   127597      1 |        0 |        0
829.46/829.69	c  827s |      16 |   656516 |   187452 |   127597      1 |        0 |        0
831.96/832.17	c  829s |      16 |   656918 |   187852 |   127597      1 |        0 |        0
834.36/834.54	c  831s |      16 |   657317 |   188252 |   127597      1 |        0 |        0
836.36/836.58	c  833s |      16 |   657618 |   188552 |   127597      1 |        0 |        0
838.76/838.92	c  836s |      16 |   658021 |   188952 |   127597      1 |        0 |        0
840.86/841.01	c  838s |      16 |   658426 |   189352 |   127597      1 |        0 |        0
842.96/843.12	c  840s |      16 |   658827 |   189752 |   127597      1 |        0 |        0
845.26/845.48	c  842s |      16 |   659230 |   190152 |   127597      1 |        0 |        0
847.66/847.81	c  845s |      16 |   659636 |   190552 |   127597      1 |        0 |        0
849.96/850.13	c  847s |      16 |   660040 |   190952 |   127597      1 |        0 |        0
852.47/852.66	c  849s |      16 |   660442 |   191352 |   127597      1 |        0 |        0
854.86/855.09	c  852s |      16 |   660845 |   191752 |   127597      1 |        0 |        0
857.45/857.61	c  854s |      16 |   661245 |   192152 |   127597      1 |        0 |        0
859.86/860.06	c  857s |      16 |   661652 |   192552 |   127597      1 |        0 |        0
862.06/862.21	c  859s |      16 |   661953 |   192852 |   127597      1 |        0 |        0
864.46/864.66	c  861s |      16 |   662353 |   193252 |   127597      1 |        0 |        0
866.85/867.08	c  864s |      16 |   662755 |   193652 |   127597      1 |        0 |        0
869.36/869.50	c  866s |      16 |   663155 |   194052 |   127597      1 |        0 |        0
871.85/872.00	c  869s |      16 |   663560 |   194452 |   127597      1 |        0 |        0
873.96/874.10	c  871s |      16 |   663863 |   194752 |   127597      1 |        0 |        0
876.06/876.29	c  873s |      16 |   664161 |   195052 |   127597      1 |        0 |        0
878.16/878.37	c  875s |      16 |   664462 |   195352 |   127597      1 |        0 |        0
880.75/880.94	c  878s |      16 |   664861 |   195752 |   127597      1 |        0 |        0
882.86/883.04	c  880s |      16 |   665160 |   196052 |   127597      1 |        0 |        0
884.95/885.13	c  882s |      16 |   665466 |   196352 |   140357      1 |        0 |        0
887.46/887.61	c  884s |      16 |   665765 |   196652 |   140357      1 |        0 |        0
889.56/889.71	c  887s |      16 |   666068 |   196952 |   140357      1 |        0 |        0
891.55/891.71	c  889s |      16 |   666370 |   197252 |   140357      1 |        0 |        0
892.65/892.87	c  890s |      17 |   666551 |   197432 |   140357      1 |        0 |        0
896.85/897.01	c  894s |      17 |   716468 |   197532 |   140357      1 |        0 |        0
899.35/899.52	c  896s |      17 |   716929 |   197932 |   140357      1 |        0 |        0
902.25/902.49	c  899s |      17 |   717131 |   198132 |   140357      1 |        0 |        0
905.16/905.37	c  902s |      17 |   717334 |   198332 |   140357      1 |        0 |        0
907.95/908.14	c  905s |      17 |   717549 |   198532 |   140357      1 |        0 |        0
910.66/910.89	c  908s |      17 |   717766 |   198732 |   140357      1 |        0 |        0
913.65/913.88	c  911s |      17 |   717964 |   198932 |   140357      1 |        0 |        0
916.45/916.69	c  914s |      17 |   718177 |   199132 |   140357      1 |        0 |        0
919.15/919.38	c  916s |      17 |   718402 |   199332 |   140357      1 |        0 |        0
922.15/922.34	c  919s |      17 |   718605 |   199532 |   140357      1 |        0 |        0
925.06/925.20	c  922s |      17 |   718813 |   199732 |   140357      1 |        0 |        0
927.75/927.96	c  925s |      17 |   719023 |   199932 |   140357      1 |        0 |        0
930.65/930.85	c  928s |      17 |   719230 |   200132 |   140357      1 |        0 |        0
933.44/933.63	c  930s |      17 |   719441 |   200332 |   140357      1 |        0 |        0
936.25/936.40	c  933s |      17 |   719655 |   200532 |   140357      1 |        0 |        0
939.14/939.40	c  936s |      17 |   719882 |   200732 |   140357      1 |        0 |        0
942.25/942.47	c  939s |      17 |   720081 |   200932 |   140357      1 |        0 |        0
945.44/945.60	c  942s |      17 |   720280 |   201132 |   140357      1 |        0 |        0
948.44/948.67	c  945s |      17 |   720480 |   201332 |   140357      1 |        0 |        0
951.25/951.50	c  948s |      17 |   720698 |   201532 |   140357      1 |        0 |        0
954.15/954.34	c  951s |      17 |   720913 |   201732 |   140357      1 |        0 |        0
956.74/956.99	c  954s |      17 |   721149 |   201932 |   140357      1 |        0 |        0
959.34/959.58	c  956s |      17 |   721409 |   202132 |   140357      1 |        0 |        0
961.94/962.19	c  959s |      17 |   721649 |   202332 |   140357      1 |        0 |        0
964.85/965.03	c  962s |      17 |   721872 |   202532 |   140357      1 |        0 |        0
967.74/967.91	c  965s |      17 |   722088 |   202732 |   140357      1 |        0 |        0
970.94/971.13	c  968s |      17 |   722306 |   202932 |   140357      1 |        0 |        0
973.84/974.08	c  971s |      17 |   722518 |   203132 |   140357      1 |        0 |        0
976.75/976.91	c  974s |      17 |   722728 |   203332 |   140357      1 |        0 |        0
979.54/979.72	c  977s |      17 |   722948 |   203532 |   140357      1 |        0 |        0
982.25/982.49	c  979s |      17 |   723162 |   203732 |   140357      1 |        0 |        0
985.03/985.25	c  982s |      17 |   723389 |   203932 |   140357      1 |        0 |        0
988.04/988.26	c  985s |      17 |   723600 |   204132 |   140357      1 |        0 |        0
990.74/990.96	c  988s |      17 |   723837 |   204332 |   140357      1 |        0 |        0
993.64/993.83	c  991s |      17 |   724061 |   204532 |   140357      1 |        0 |        0
996.55/996.78	c  994s |      17 |   724265 |   204732 |   140357      1 |        0 |        0
999.34/999.57	c  996s |      17 |   724485 |   204932 |   140357      1 |        0 |        0
1002.43/1002.62	c  999s |      17 |   724686 |   205132 |   140357      1 |        0 |        0
1005.34/1005.56	c 1002s |      17 |   724935 |   205332 |   140357      1 |        0 |        0
1008.44/1008.61	c 1005s |      17 |   725167 |   205532 |   140357      1 |        0 |        0
1011.23/1011.44	c 1008s |      17 |   725372 |   205732 |   140357      1 |        0 |        0
1014.53/1014.72	c 1012s |      17 |   725570 |   205932 |   140357      1 |        0 |        0
1017.34/1017.55	c 1014s |      17 |   725768 |   206132 |   140357      1 |        0 |        0
1020.13/1020.37	c 1017s |      17 |   725971 |   206332 |   140357      1 |        0 |        0
1022.94/1023.18	c 1020s |      17 |   726176 |   206532 |   140357      1 |        0 |        0
1025.83/1026.02	c 1023s |      17 |   726375 |   206732 |   140357      1 |        0 |        0
1029.13/1029.30	c 1026s |      17 |   726578 |   206932 |   140357      1 |        0 |        0
1031.93/1032.18	c 1029s |      17 |   726780 |   207132 |   140357      1 |        0 |        0
1034.83/1035.03	c 1032s |      17 |   726982 |   207332 |   140357      1 |        0 |        0
1037.73/1037.90	c 1035s |      17 |   727180 |   207532 |   140357      1 |        0 |        0
1040.53/1040.76	c 1038s |      17 |   727379 |   207732 |   140357      1 |        0 |        0
1043.43/1043.64	c 1040s |      17 |   727585 |   207932 |   140357      1 |        0 |        0
1046.72/1046.93	c 1044s |      17 |   727782 |   208132 |   140357      1 |        0 |        0
1049.63/1049.81	c 1047s |      17 |   727985 |   208332 |   140357      1 |        0 |        0
1052.43/1052.66	c 1049s |      17 |   728187 |   208532 |   140357      1 |        0 |        0
1055.23/1055.49	c 1052s |      17 |   728385 |   208732 |   140357      1 |        0 |        0
1058.14/1058.36	c 1055s |      17 |   728585 |   208932 |   140357      1 |        0 |        0
1061.44/1061.67	c 1058s |      17 |   728787 |   209132 |   140357      1 |        0 |        0
1064.32/1064.55	c 1061s |      17 |   728986 |   209332 |   140357      1 |        0 |        0
1067.23/1067.41	c 1064s |      17 |   729190 |   209532 |   140357      1 |        0 |        0
1070.02/1070.26	c 1067s |      17 |   729386 |   209732 |   140357      1 |        0 |        0
1072.92/1073.12	c 1070s |      17 |   729586 |   209932 |   140357      1 |        0 |        0
1075.73/1075.98	c 1073s |      17 |   729788 |   210132 |   140357      1 |        0 |        0
1079.12/1079.33	c 1076s |      17 |   729995 |   210332 |   140357      1 |        0 |        0
1082.03/1082.25	c 1079s |      17 |   730193 |   210532 |   140357      1 |        0 |        0
1085.03/1085.20	c 1082s |      17 |   730394 |   210732 |   140357      1 |        0 |        0
1087.92/1088.18	c 1085s |      17 |   730597 |   210932 |   140357      1 |        0 |        0
1090.93/1091.10	c 1088s |      17 |   730797 |   211132 |   140357      1 |        0 |        0
1094.22/1094.43	c 1091s |      17 |   730995 |   211332 |   140357      1 |        0 |        0
1097.12/1097.36	c 1094s |      17 |   731195 |   211532 |   140357      1 |        0 |        0
1100.12/1100.30	c 1097s |      17 |   731398 |   211732 |   140357      1 |        0 |        0
1103.02/1103.24	c 1100s |      17 |   731597 |   211932 |   140357      1 |        0 |        0
1105.92/1106.19	c 1103s |      17 |   731799 |   212132 |   140357      1 |        0 |        0
1109.31/1109.58	c 1106s |      17 |   732001 |   212332 |   140357      1 |        0 |        0
1112.42/1112.63	c 1109s |      17 |   732207 |   212532 |   140357      1 |        0 |        0
1115.51/1115.73	c 1113s |      17 |   732409 |   212732 |   140357      1 |        0 |        0
1118.52/1118.80	c 1116s |      17 |   732613 |   212932 |   140357      1 |        0 |        0
1121.72/1121.92	c 1119s |      17 |   732823 |   213132 |   140357      1 |        0 |        0
1124.71/1124.96	c 1122s |      17 |   733024 |   213332 |   140357      1 |        0 |        0
1128.11/1128.38	c 1125s |      17 |   733234 |   213532 |   140357      1 |        0 |        0
1131.02/1131.20	c 1128s |      17 |   733436 |   213732 |   140357      1 |        0 |        0
1133.81/1134.03	c 1131s |      17 |   733648 |   213932 |   140357      1 |        0 |        0
1136.61/1136.84	c 1134s |      17 |   733857 |   214132 |   140357      1 |        0 |        0
1139.42/1139.63	c 1136s |      17 |   734053 |   214332 |   140357      1 |        0 |        0
1142.42/1142.60	c 1139s |      17 |   734263 |   214532 |   140357      1 |        0 |        0
1145.21/1145.48	c 1142s |      17 |   734460 |   214732 |   140357      1 |        0 |        0
1148.52/1148.79	c 1146s |      17 |   734664 |   214932 |   140357      1 |        0 |        0
1151.41/1151.63	c 1148s |      17 |   734867 |   215132 |   140357      1 |        0 |        0
1154.31/1154.54	c 1151s |      17 |   735064 |   215332 |   140357      1 |        0 |        0
1157.41/1157.64	c 1154s |      17 |   735269 |   215532 |   140357      1 |        0 |        0
1160.32/1160.52	c 1157s |      17 |   735469 |   215732 |   140357      1 |        0 |        0
1163.21/1163.46	c 1160s |      17 |   735678 |   215932 |   140357      1 |        0 |        0
1166.01/1166.28	c 1163s |      17 |   735876 |   216132 |   140357      1 |        0 |        0
1168.80/1169.03	c 1166s |      17 |   736083 |   216332 |   140357      1 |        0 |        0
1172.01/1172.26	c 1169s |      17 |   736288 |   216532 |   140357      1 |        0 |        0
1174.91/1175.11	c 1172s |      17 |   736490 |   216732 |   140357      1 |        0 |        0
1177.60/1177.89	c 1175s |      17 |   736694 |   216932 |   140357      1 |        0 |        0
1180.40/1180.67	c 1177s |      17 |   736899 |   217132 |   140357      1 |        0 |        0
1183.21/1183.41	c 1180s |      17 |   737110 |   217332 |   140357      1 |        0 |        0
1185.90/1186.16	c 1183s |      17 |   737313 |   217532 |   140357      1 |        0 |        0
1188.92/1189.12	c 1186s |      17 |   737514 |   217732 |   140357      1 |        0 |        0
1191.81/1192.08	c 1189s |      17 |   737717 |   217932 |   140357      1 |        0 |        0
1194.80/1195.02	c 1192s |      17 |   737926 |   218132 |   140357      1 |        0 |        0
1198.10/1198.32	c 1195s |      17 |   738127 |   218332 |   140357      1 |        0 |        0
1200.90/1201.14	c 1198s |      17 |   738331 |   218532 |   140357      1 |        0 |        0
1203.70/1203.92	c 1201s |      17 |   738536 |   218732 |   140357      1 |        0 |        0
1206.51/1206.73	c 1204s |      17 |   738737 |   218932 |   140357      1 |        0 |        0
1209.30/1209.53	c 1206s |      17 |   738943 |   219132 |   140357      1 |        0 |        0
1212.11/1212.39	c 1209s |      17 |   739145 |   219332 |   140357      1 |        0 |        0
1214.90/1215.18	c 1212s |      17 |   739345 |   219532 |   140357      1 |        0 |        0
1217.90/1218.10	c 1215s |      17 |   739551 |   219732 |   140357      1 |        0 |        0
1220.70/1220.96	c 1218s |      17 |   739754 |   219932 |   140357      1 |        0 |        0
1224.00/1224.24	c 1221s |      17 |   739951 |   220132 |   140357      1 |        0 |        0
1226.80/1227.04	c 1224s |      17 |   740155 |   220332 |   140357      1 |        0 |        0
1229.61/1229.83	c 1227s |      17 |   740358 |   220532 |   140357      1 |        0 |        0
1232.40/1232.64	c 1229s |      17 |   740560 |   220732 |   140357      1 |        0 |        0
1235.30/1235.52	c 1232s |      17 |   740771 |   220932 |   140357      1 |        0 |        0
1238.10/1238.37	c 1235s |      17 |   740975 |   221132 |   140357      1 |        0 |        0
1241.09/1241.33	c 1238s |      17 |   741177 |   221332 |   140357      1 |        0 |        0
1244.00/1244.27	c 1241s |      17 |   741381 |   221532 |   140357      1 |        0 |        0
1247.40/1247.61	c 1244s |      17 |   741582 |   221732 |   140357      1 |        0 |        0
1250.19/1250.47	c 1247s |      17 |   741789 |   221932 |   140357      1 |        0 |        0
1253.00/1253.28	c 1250s |      17 |   741985 |   222132 |   140357      1 |        0 |        0
1256.10/1256.31	c 1253s |      17 |   742187 |   222332 |   140357      1 |        0 |        0
1259.00/1259.21	c 1256s |      17 |   742390 |   222532 |   140357      1 |        0 |        0
1261.80/1262.03	c 1259s |      17 |   742590 |   222732 |   140357      1 |        0 |        0
1264.59/1264.86	c 1262s |      17 |   742785 |   222932 |   140357      1 |        0 |        0
1267.39/1267.60	c 1264s |      17 |   743005 |   223132 |   140357      1 |        0 |        0
1270.19/1270.44	c 1267s |      17 |   743209 |   223332 |   140357      1 |        0 |        0
1273.40/1273.67	c 1270s |      17 |   743416 |   223532 |   140357      1 |        0 |        0
1276.19/1276.43	c 1273s |      17 |   743616 |   223732 |   140357      1 |        0 |        0
1278.99/1279.23	c 1276s |      17 |   743819 |   223932 |   140357      1 |        0 |        0
1281.79/1282.00	c 1279s |      17 |   744024 |   224132 |   140357      1 |        0 |        0
1284.60/1284.82	c 1282s |      17 |   744225 |   224332 |   140357      1 |        0 |        0
1287.39/1287.67	c 1284s |      17 |   744425 |   224532 |   140357      1 |        0 |        0
1290.29/1290.57	c 1287s |      17 |   744625 |   224732 |   140357      1 |        0 |        0
1293.19/1293.47	c 1290s |      17 |   744827 |   224932 |   140357      1 |        0 |        0
1296.19/1296.41	c 1293s |      17 |   745029 |   225132 |   140357      1 |        0 |        0
1298.99/1299.22	c 1296s |      17 |   745234 |   225332 |   140357      1 |        0 |        0
1301.79/1302.01	c 1299s |      17 |   745439 |   225532 |   140357      1 |        0 |        0
1305.08/1305.31	c 1302s |      17 |   745646 |   225732 |   140357      1 |        0 |        0
1307.88/1308.12	c 1305s |      17 |   745846 |   225932 |   140357      1 |        0 |        0
1310.68/1310.94	c 1308s |      17 |   746045 |   226132 |   140357      1 |        0 |        0
1313.49/1313.78	c 1311s |      17 |   746252 |   226332 |   140357      1 |        0 |        0
1316.38/1316.65	c 1313s |      17 |   746455 |   226532 |   140357      1 |        0 |        0
1319.28/1319.53	c 1316s |      17 |   746661 |   226732 |   140357      1 |        0 |        0
1322.18/1322.47	c 1319s |      17 |   746866 |   226932 |   140357      1 |        0 |        0
1325.18/1325.43	c 1322s |      17 |   747069 |   227132 |   140357      1 |        0 |        0
1328.28/1328.52	c 1325s |      17 |   747268 |   227332 |   140357      1 |        0 |        0
1331.78/1332.05	c 1329s |      17 |   747474 |   227532 |   140357      1 |        0 |        0
1334.58/1334.83	c 1332s |      17 |   747679 |   227732 |   140357      1 |        0 |        0
1337.58/1337.84	c 1335s |      17 |   747881 |   227932 |   140357      1 |        0 |        0
1340.38/1340.68	c 1337s |      17 |   748090 |   228132 |   140357      1 |        0 |        0
1343.28/1343.54	c 1340s |      17 |   748294 |   228332 |   140357      1 |        0 |        0
1346.08/1346.36	c 1343s |      17 |   748488 |   228532 |   140357      1 |        0 |        0
1348.98/1349.20	c 1346s |      17 |   748697 |   228732 |   140357      1 |        0 |        0
1351.88/1352.10	c 1349s |      17 |   748902 |   228932 |   140357      1 |        0 |        0
1354.77/1355.01	c 1352s |      17 |   749100 |   229132 |   140357      1 |        0 |        0
1357.57/1357.89	c 1355s |      17 |   749302 |   229332 |   140357      1 |        0 |        0
1360.98/1361.28	c 1358s |      17 |   749504 |   229532 |   140357      1 |        0 |        0
1363.97/1364.23	c 1361s |      17 |   749714 |   229732 |   140357      1 |        0 |        0
1366.87/1367.13	c 1364s |      17 |   749919 |   229932 |   140357      1 |        0 |        0
1369.68/1369.99	c 1367s |      17 |   750121 |   230132 |   140357      1 |        0 |        0
1372.48/1372.77	c 1370s |      17 |   750321 |   230332 |   140357      1 |        0 |        0
1375.47/1375.71	c 1373s |      17 |   750522 |   230532 |   140357      1 |        0 |        0
1378.37/1378.64	c 1375s |      17 |   750728 |   230732 |   140357      1 |        0 |        0
1381.38/1381.63	c 1378s |      17 |   750929 |   230932 |   140357      1 |        0 |        0
1384.27/1384.51	c 1381s |      17 |   751134 |   231132 |   140357      1 |        0 |        0
1387.57/1387.82	c 1385s |      17 |   751331 |   231332 |   140357      1 |        0 |        0
1390.37/1390.61	c 1387s |      17 |   751540 |   231532 |   140357      1 |        0 |        0
1393.07/1393.38	c 1390s |      17 |   751739 |   231732 |   140357      1 |        0 |        0
1395.87/1396.18	c 1393s |      17 |   751940 |   231932 |   140357      1 |        0 |        0
1398.76/1399.05	c 1396s |      17 |   752144 |   232132 |   140357      1 |        0 |        0
1401.57/1401.87	c 1399s |      17 |   752342 |   232332 |   140357      1 |        0 |        0
1404.36/1404.65	c 1401s |      17 |   752551 |   232532 |   140357      1 |        0 |        0
1407.16/1407.42	c 1404s |      17 |   752764 |   232732 |   140357      1 |        0 |        0
1410.08/1410.33	c 1407s |      17 |   752967 |   232932 |   140357      1 |        0 |        0
1412.86/1413.19	c 1410s |      17 |   753176 |   233132 |   140357      1 |        0 |        0
1415.76/1416.07	c 1413s |      17 |   753379 |   233332 |   140357      1 |        0 |        0
1419.06/1419.32	c 1416s |      17 |   753574 |   233532 |   140357      1 |        0 |        0
1421.96/1422.29	c 1419s |      17 |   753781 |   233732 |   140357      1 |        0 |        0
1424.87/1425.18	c 1422s |      17 |   753977 |   233932 |   140357      1 |        0 |        0
1427.86/1428.13	c 1425s |      17 |   754178 |   234132 |   140357      1 |        0 |        0
1430.76/1431.10	c 1428s |      17 |   754382 |   234332 |   140357      1 |        0 |        0
1433.76/1434.04	c 1431s |      17 |   754584 |   234532 |   140357      1 |        0 |        0
1436.66/1436.90	c 1434s |      17 |   754780 |   234732 |   140357      1 |        0 |        0
1439.56/1439.85	c 1437s |      17 |   754987 |   234932 |   140357      1 |        0 |        0
1442.36/1442.66	c 1439s |      17 |   755192 |   235132 |   140357      1 |        0 |        0
1445.66/1446.00	c 1443s |      17 |   755393 |   235332 |   140357      1 |        0 |        0
1448.57/1448.85	c 1446s |      17 |   755594 |   235532 |   140357      1 |        0 |        0
1451.45/1451.72	c 1449s |      17 |   755796 |   235732 |   140357      1 |        0 |        0
1454.46/1454.70	c 1452s |      17 |   755998 |   235932 |   140357      1 |        0 |        0
1457.37/1457.66	c 1454s |      17 |   756198 |   236132 |   140357      1 |        0 |        0
1460.26/1460.54	c 1457s |      17 |   756402 |   236332 |   140357      1 |        0 |        0
1463.16/1463.42	c 1460s |      17 |   756609 |   236532 |   140357      1 |        0 |        0
1466.06/1466.36	c 1463s |      17 |   756814 |   236732 |   140357      1 |        0 |        0
1469.05/1469.31	c 1466s |      17 |   757024 |   236932 |   140357      1 |        0 |        0
1472.46/1472.72	c 1470s |      17 |   757219 |   237132 |   140357      1 |        0 |        0
1475.35/1475.66	c 1472s |      17 |   757424 |   237332 |   140357      1 |        0 |        0
1478.26/1478.51	c 1475s |      17 |   757622 |   237532 |   140357      1 |        0 |        0
1481.05/1481.39	c 1478s |      17 |   757827 |   237732 |   140357      1 |        0 |        0
1484.15/1484.40	c 1481s |      17 |   758030 |   237932 |   140357      1 |        0 |        0
1487.15/1487.43	c 1484s |      17 |   758230 |   238132 |   140357      1 |        0 |        0
1490.05/1490.35	c 1487s |      17 |   758435 |   238332 |   140357      1 |        0 |        0
1492.95/1493.29	c 1490s |      17 |   758634 |   238532 |   140357      1 |        0 |        0
1496.05/1496.38	c 1493s |      17 |   758839 |   238732 |   140357      1 |        0 |        0
1499.06/1499.38	c 1496s |      17 |   759034 |   238932 |   140357      1 |        0 |        0
1502.55/1502.84	c 1500s |      17 |   759237 |   239132 |   140357      1 |        0 |        0
1505.55/1505.83	c 1503s |      17 |   759441 |   239332 |   140357      1 |        0 |        0
1508.45/1508.76	c 1506s |      17 |   759645 |   239532 |   140357      1 |        0 |        0
1511.45/1511.79	c 1509s |      17 |   759851 |   239732 |   140357      1 |        0 |        0
1514.55/1514.86	c 1512s |      17 |   760048 |   239932 |   140357      1 |        0 |        0
1517.55/1517.83	c 1515s |      17 |   760256 |   240132 |   140357      1 |        0 |        0
1520.45/1520.75	c 1518s |      17 |   760462 |   240332 |   140357      1 |        0 |        0
1523.55/1523.84	c 1521s |      17 |   760661 |   240532 |   140357      1 |        0 |        0
1526.44/1526.78	c 1524s |      17 |   760865 |   240732 |   140357      1 |        0 |        0
1528.55/1528.80	c 1526s |      17 |   760975 |   240832 |   140357      1 |        0 |        0
1531.44/1531.70	c 1529s |      17 |   761169 |   241032 |   140357      1 |        0 |        0
1534.35/1534.65	c 1531s |      17 |   761373 |   241232 |   140357      1 |        0 |        0
1537.34/1537.60	c 1534s |      17 |   761569 |   241432 |   140357      1 |        0 |        0
1540.25/1540.54	c 1537s |      17 |   761774 |   241632 |   140357      1 |        0 |        0
1543.15/1543.42	c 1540s |      17 |   761972 |   241832 |   140357      1 |        0 |        0
1545.95/1546.24	c 1543s |      17 |   762173 |   242032 |   140357      1 |        0 |        0
1548.75/1549.05	c 1546s |      17 |   762384 |   242232 |   140357      1 |        0 |        0
1551.64/1551.90	c 1549s |      17 |   762585 |   242432 |   140357      1 |        0 |        0
1554.45/1554.79	c 1552s |      17 |   762784 |   242632 |   140357      1 |        0 |        0
1557.45/1557.74	c 1555s |      17 |   762984 |   242832 |   140357      1 |        0 |        0
1560.85/1561.12	c 1558s |      17 |   763188 |   243032 |   140357      1 |        0 |        0
1563.74/1564.07	c 1561s |      17 |   763389 |   243232 |   140357      1 |        0 |        0
1566.74/1567.06	c 1564s |      17 |   763590 |   243432 |   140357      1 |        0 |        0
1569.74/1570.07	c 1567s |      17 |   763793 |   243632 |   140357      1 |        0 |        0
1572.74/1573.09	c 1570s |      17 |   763996 |   243832 |   140357      1 |        0 |        0
1575.84/1576.11	c 1573s |      17 |   764194 |   244032 |   140357      1 |        0 |        0
1578.74/1579.02	c 1576s |      17 |   764412 |   244232 |   140357      1 |        0 |        0
1581.64/1581.95	c 1579s |      17 |   764618 |   244432 |   140357      1 |        0 |        0
1584.63/1584.91	c 1582s |      17 |   764821 |   244632 |   140357      1 |        0 |        0
1587.54/1587.88	c 1585s |      17 |   765022 |   244832 |   140357      1 |        0 |        0
1590.93/1591.26	c 1588s |      17 |   765230 |   245032 |   140357      1 |        0 |        0
1593.94/1594.21	c 1591s |      17 |   765432 |   245232 |   140357      1 |        0 |        0
1596.95/1597.21	c 1594s |      17 |   765635 |   245432 |   140357      1 |        0 |        0
1599.94/1600.24	c 1597s |      17 |   765836 |   245632 |   140357      1 |        0 |        0
1602.93/1603.25	c 1600s |      17 |   766035 |   245832 |   140357      1 |        0 |        0
1605.84/1606.18	c 1603s |      17 |   766240 |   246032 |   140357      1 |        0 |        0
1609.04/1609.34	c 1606s |      17 |   766441 |   246232 |   140357      1 |        0 |        0
1612.23/1612.51	c 1609s |      17 |   766649 |   246432 |   140357      1 |        0 |        0
1615.23/1615.50	c 1612s |      17 |   766848 |   246632 |   140357      1 |        0 |        0
1618.13/1618.48	c 1615s |      17 |   767051 |   246832 |   140357      1 |        0 |        0
1621.13/1621.48	c 1618s |      17 |   767252 |   247032 |   140357      1 |        0 |        0
1624.63/1624.91	c 1622s |      17 |   767450 |   247232 |   140357      1 |        0 |        0
1627.54/1627.89	c 1625s |      17 |   767653 |   247432 |   140357      1 |        0 |        0
1630.53/1630.85	c 1628s |      17 |   767853 |   247632 |   140357      1 |        0 |        0
1633.63/1633.94	c 1631s |      17 |   768055 |   247832 |   140357      1 |        0 |        0
1636.64/1636.95	c 1634s |      17 |   768255 |   248032 |   140357      1 |        0 |        0
1639.63/1639.94	c 1637s |      17 |   768461 |   248232 |   140357      1 |        0 |        0
1642.63/1642.93	c 1640s |      17 |   768661 |   248432 |   140357      1 |        0 |        0
1645.63/1645.92	c 1643s |      17 |   768864 |   248632 |   140357      1 |        0 |        0
1648.52/1648.87	c 1646s |      17 |   769070 |   248832 |   140357      1 |        0 |        0
1651.53/1651.81	c 1649s |      17 |   769277 |   249032 |   140357      1 |        0 |        0
1654.92/1655.27	c 1652s |      17 |   769473 |   249232 |   140357      1 |        0 |        0
1658.02/1658.30	c 1655s |      17 |   769677 |   249432 |   140357      1 |        0 |        0
1660.92/1661.29	c 1658s |      17 |   769879 |   249632 |   140357      1 |        0 |        0
1663.92/1664.25	c 1661s |      17 |   770080 |   249832 |   140357      1 |        0 |        0
1667.02/1667.30	c 1664s |      17 |   770276 |   250032 |   140357      1 |        0 |        0
1669.93/1670.27	c 1667s |      17 |   770495 |   250232 |   140357      1 |        0 |        0
1672.93/1673.28	c 1670s |      17 |   770706 |   250432 |   140357      1 |        0 |        0
1675.92/1676.25	c 1673s |      17 |   770909 |   250632 |   140357      1 |        0 |        0
1678.93/1679.26	c 1676s |      17 |   771122 |   250832 |   140357      1 |        0 |        0
1682.02/1682.36	c 1679s |      17 |   771323 |   251032 |   140357      1 |        0 |        0
1685.03/1685.31	c 1682s |      17 |   771528 |   251232 |   140357      1 |        0 |        0
1688.02/1688.31	c 1685s |      17 |   771732 |   251432 |   140357      1 |        0 |        0
1691.42/1691.72	c 1689s |      17 |   771943 |   251632 |   140357      1 |        0 |        0
1694.32/1694.66	c 1691s |      17 |   772144 |   251832 |   140357      1 |        0 |        0
1697.32/1697.65	c 1694s |      17 |   772346 |   252032 |   140357      1 |        0 |        0
1700.33/1700.70	c 1698s |      17 |   772545 |   252232 |   140357      1 |        0 |        0
1703.51/1703.89	c 1701s |      17 |   772748 |   252432 |   140357      1 |        0 |        0
1706.72/1707.06	c 1704s |      17 |   772953 |   252632 |   140357      1 |        0 |        0
1709.82/1710.11	c 1707s |      17 |   773153 |   252832 |   140357      1 |        0 |        0
1712.82/1713.10	c 1710s |      17 |   773361 |   253032 |   140357      1 |        0 |        0
1715.91/1716.23	c 1713s |      17 |   773559 |   253232 |   140357      1 |        0 |        0
1719.02/1719.38	c 1716s |      17 |   773759 |   253432 |   140357      1 |        0 |        0
1722.71/1723.03	c 1720s |      17 |   773965 |   253632 |   140357      1 |        0 |        0
1725.72/1726.10	c 1723s |      17 |   774163 |   253832 |   140357      1 |        0 |        0
1728.72/1729.01	c 1726s |      17 |   774369 |   254032 |   140357      1 |        0 |        0
1731.61/1731.95	c 1729s |      17 |   774569 |   254232 |   140357      1 |        0 |        0
1734.52/1734.80	c 1732s |      17 |   774772 |   254432 |   140357      1 |        0 |        0
1737.41/1737.74	c 1735s |      17 |   774979 |   254632 |   140357      1 |        0 |        0
1740.31/1740.66	c 1737s |      17 |   775193 |   254832 |   140357      1 |        0 |        0
1743.22/1743.55	c 1740s |      17 |   775403 |   255032 |   140357      1 |        0 |        0
1746.11/1746.48	c 1743s |      17 |   775605 |   255232 |   140357      1 |        0 |        0
1749.20/1749.50	c 1746s |      17 |   775806 |   255432 |   140357      1 |        0 |        0
1752.30/1752.67	c 1749s |      17 |   776008 |   255632 |   140357      1 |        0 |        0
1755.51/1755.81	c 1753s |      17 |   776210 |   255832 |   140357      1 |        0 |        0
1758.62/1758.92	c 1756s |      17 |   776407 |   256032 |   140357      1 |        0 |        0
1762.02/1762.35	c 1759s |      17 |   776614 |   256232 |   140357      1 |        0 |        0
1765.01/1765.30	c 1762s |      17 |   776815 |   256432 |   140357      1 |        0 |        0
1767.91/1768.27	c 1765s |      17 |   777021 |   256632 |   140357      1 |        0 |        0
1770.90/1771.23	c 1768s |      17 |   777223 |   256832 |   140357      1 |        0 |        0
1773.90/1774.21	c 1771s |      17 |   777423 |   257032 |   140357      1 |        0 |        0
1776.90/1777.24	c 1774s |      17 |   777624 |   257232 |   140357      1 |        0 |        0
1779.90/1780.26	c 1777s |      17 |   777825 |   257432 |   140357      1 |        0 |        0
1782.91/1783.24	c 1780s |      17 |   778028 |   257632 |   140357      1 |        0 |        0
1785.80/1786.18	c 1783s |      17 |   778240 |   257832 |   140357      1 |        0 |        0
1788.80/1789.13	c 1786s |      17 |   778439 |   258032 |   140357      1 |        0 |        0
1791.89/1792.22	c 1789s |      17 |   778641 |   258232 |   140357      1 |        0 |        0
1795.40/1795.77	c 1793s |      17 |   778839 |   258432 |   140357      1 |        0 |        0
1798.50/1798.81	c 1796s |      17 |   779060 |   258632 |   140357      1 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 13086
/proc/meminfo: memFree=30231920/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 2626 0 0 0 0 0 0 0 20 0 4 0 23930535 721874944 2987 33554432000 4194304 16246674 140734401781936 140734401781360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 177007 2996 441 2943 0 173901 0
[pid=13086/tid=13087] ppid=13083 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 739700736 3056 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 743895040 3072 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23930535 749137920 3089 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 13086
/proc/meminfo: memFree=30231920/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1300036 CPUtime=0.09 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 28821 0 0 0 5 4 0 0 20 0 4 0 23930535 1331236864 29120 33554432000 4194304 16246674 140734401781936 140734401781248 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 325009 29135 799 2943 0 321903 0
[pid=13086/tid=13087] ppid=13083 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1331236864 29146 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1331236864 29157 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1331236864 29168 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1300036

[startup+0.200524 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 13086
/proc/meminfo: memFree=30231920/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 48898 0 0 0 12 7 0 0 20 0 4 0 23930535 1345916928 49707 33554432000 4194304 16246674 140734401781936 140734401781248 14795819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 328593 49707 800 2943 0 325487 0
[pid=13086/tid=13087] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 49707 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 49707 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 49707 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.3005 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 13086
/proc/meminfo: memFree=30231920/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 56231 0 0 0 21 8 0 0 20 0 4 0 23930535 1345916928 57040 33554432000 4194304 16246674 140734401781936 140734401781248 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 328593 57040 800 2943 0 325487 0
[pid=13086/tid=13087] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 57040 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 57040 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 57040 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1314372

[startup+0.700388 s]
/proc/loadavg: 2.01 2.05 2.01 3/180 13086
/proc/meminfo: memFree=30231920/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 65278 0 0 0 60 9 0 0 20 0 4 0 23930535 1345916928 66087 33554432000 4194304 16246674 140734401781936 140734401764928 4206979 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 328593 66087 814 2943 0 325487 0
[pid=13086/tid=13087] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 66087 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 66087 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1345916928 66087 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.01 2.05 2.01 3/184 13090
/proc/meminfo: memFree=29937468/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=1.48 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 72976 0 0 0 138 10 0 0 20 0 4 0 23930535 1377374208 73785 33554432000 4194304 16246674 140734401781936 140734401781112 12366808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 73785 829 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 73785 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 73785 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 73785 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1345092

[startup+3.1004 s]
/proc/loadavg: 2.01 2.05 2.01 3/184 13090
/proc/meminfo: memFree=29853140/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=3.09 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 94735 0 0 0 295 14 0 0 20 0 4 0 23930535 1377374208 95544 33554432000 4194304 16246674 140734401781936 140734401779776 13780596 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 95544 890 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 95544 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 95544 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 95544 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1345092

[startup+6.3004 s]
/proc/loadavg: 2.01 2.04 2.01 3/184 13090
/proc/meminfo: memFree=29847276/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=6.29 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 95450 0 0 0 615 14 0 0 20 0 4 0 23930535 1377374208 96259 33554432000 4194304 16246674 140734401781936 140734401763840 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 96259 890 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 96259 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 96259 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 96259 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1345092

[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.01 3/184 13090
/proc/meminfo: memFree=29799532/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=12.68 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 116943 0 0 0 1253 15 0 0 20 0 4 0 23930535 1377374208 117752 33554432000 4194304 16246674 140734401781936 140734401763840 13760140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 117752 890 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 117752 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 117752 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 117752 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1345092

[startup+25.5005 s]
/proc/loadavg: 2.00 2.04 2.01 3/184 13090
/proc/meminfo: memFree=29072876/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=25.49 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 269767 0 0 0 2515 34 0 0 20 0 4 0 23930535 1377374208 270576 33554432000 4194304 16246674 140734401781936 140734401763840 13907028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 270576 890 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 270576 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 270576 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 270576 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1345092

[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.01 3/184 13090
/proc/meminfo: memFree=29065092/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=51.08 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 271758 0 0 0 5074 34 0 0 20 0 4 0 23930535 1377374208 272567 33554432000 4194304 16246674 140734401781936 140734401763840 13965680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 272567 892 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 272567 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 272567 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 272567 33554432000 4194304 16246674 140734401781936 140296035753136 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) 1345092

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 13114
/proc/meminfo: memFree=29043212/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=1345092 CPUtime=102.28 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 276910 0 0 0 10193 35 0 0 20 0 4 0 23930535 1377374208 277719 33554432000 4194304 16246674 140734401781936 140734401763840 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 336273 277719 895 2943 0 333167 0
[pid=13086/tid=13087] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 277719 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 277719 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 1377374208 277719 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1345092


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

/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3156807680 712429 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3082820 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3156807680 712429 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3082820 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3156807680 712429 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3082820

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.04 3/183 13146
/proc/meminfo: memFree=27198016/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3180100 CPUtime=1362.08 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 735682 0 0 0 135947 261 0 0 20 0 4 0 23930535 3256422400 736725 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 795025 736725 901 2943 0 791919 0
[pid=13086/tid=13087] ppid=13083 vsize=3180100 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3256422400 736725 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3180100 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3256422400 736725 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3180100 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3256422400 736725 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3180100

[startup+1422.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/183 13147
/proc/meminfo: memFree=27132692/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3245636 CPUtime=1422.07 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 751911 0 0 0 141930 277 0 0 20 0 4 0 23930535 3323531264 752950 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 811409 752950 901 2943 0 808303 0
[pid=13086/tid=13087] ppid=13083 vsize=3245636 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3323531264 752950 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3245636 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3323531264 752950 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3245636 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3323531264 752950 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3245636

[startup+1482.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 13148
/proc/meminfo: memFree=27065012/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3313220 CPUtime=1482.05 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 768863 0 0 0 147912 293 0 0 20 0 4 0 23930535 3392737280 769928 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 828305 769928 901 2943 0 825199 0
[pid=13086/tid=13087] ppid=13083 vsize=3313220 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3392737280 769928 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3313220 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3392737280 769928 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3313220 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3392737280 769928 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3313220

[startup+1542.31 s]
/proc/loadavg: 2.17 2.12 2.05 3/183 13150
/proc/meminfo: memFree=26999316/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3378756 CPUtime=1542.05 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 785231 0 0 0 153898 307 0 0 20 0 4 0 23930535 3459846144 786294 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 844689 786294 901 2943 0 841583 0
[pid=13086/tid=13087] ppid=13083 vsize=3378756 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3459846144 786294 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3378756 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3459846144 786294 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3378756 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3459846144 786294 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3378756

[startup+1602.3 s]
/proc/loadavg: 2.12 2.11 2.05 3/183 13151
/proc/meminfo: memFree=26933744/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3444292 CPUtime=1602.04 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 801552 0 0 0 159881 323 0 0 20 0 4 0 23930535 3526955008 802613 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 861073 802613 902 2943 0 857967 0
[pid=13086/tid=13087] ppid=13083 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3526955008 802613 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3526955008 802613 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3526955008 802613 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3444292

[startup+1662.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/183 13152
/proc/meminfo: memFree=26859928/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3518020 CPUtime=1662.03 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 819980 0 0 0 165862 341 0 0 20 0 4 0 23930535 3602452480 821040 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 879505 821040 902 2943 0 876399 0
[pid=13086/tid=13087] ppid=13083 vsize=3518020 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3602452480 821040 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3518020 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3602452480 821040 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3518020 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3602452480 821040 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3518020

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/183 13153
/proc/meminfo: memFree=26824120/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3552836 CPUtime=1722.02 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 828906 0 0 0 171845 357 0 0 20 0 4 0 23930535 3638104064 829966 33554432000 4194304 16246674 140734401781936 140734401781032 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 888209 829966 902 2943 0 885103 0
[pid=13086/tid=13087] ppid=13083 vsize=3552836 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3638104064 829966 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3552836 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3638104064 829966 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3552836 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3638104064 829966 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3552836

[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.04 3/183 13203
/proc/meminfo: memFree=27271504/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3628612 CPUtime=1782 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 847835 0 0 0 177829 371 0 0 20 0 4 0 23930535 3715698688 848880 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 907153 848880 902 2943 0 904047 0
[pid=13086/tid=13087] ppid=13083 vsize=3628612 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3715698688 848880 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3628612 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3715698688 848880 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3628612 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3715698688 848880 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3628612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.06 2.04 3/183 13203
/proc/meminfo: memFree=27144004/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=3670596 CPUtime=1800.09 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) R 13083 13086 11324 0 -1 4202496 858208 0 0 0 179634 375 0 0 20 0 4 0 23930535 3758690304 859252 33554432000 4194304 16246674 140734401781936 140734401781112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 917649 859252 902 2943 0 914543 0
[pid=13086/tid=13087] ppid=13083 vsize=3670596 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) S 13083 13086 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23930535 3758690304 859252 33554432000 4194304 16246674 140734401781936 140296126967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13086/tid=13088] ppid=13083 vsize=3670596 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13088/stat : 13088 (toysat) S 13083 13086 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23930535 3758690304 859252 33554432000 4194304 16246674 140734401781936 140296046226672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13086/tid=13089] ppid=13083 vsize=3670596 CPUtime=0 cores=0,2,4,6
/proc/13086/task/13089/stat : 13089 (toysat) S 13083 13086 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23930535 3758690304 859252 33554432000 4194304 16246674 140734401781936 140296035753136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3670596

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 13086 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.01 2.06 2.04 3/183 13203
/proc/meminfo: memFree=27144004/32872528 swapFree=249320/249320
[pid=13086] ppid=13083 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/13086/stat : 13086 (toysat) Z 13083 13086 11324 0 -1 4203532 858208 0 0 0 179635 385 0 0 20 0 2 0 23930535 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13086/statm: 0 0 0 0 0 0 0
[pid=13086/tid=13087] ppid=13083 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/13086/task/13087/stat : 13087 (toysat) R 13083 13086 11324 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 23930535 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.23
CPU user time (s): 1796.35
CPU system time (s): 3.87441
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 3670596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.35
system time used= 3.87441
maximum resident set size= 3437008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858208
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= 199
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6063 second user time and 6.91095 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 05:00:01
IDJOB=4100905
IDBENCH=1676
IDSOLVER=2542
FILE ID=node103/4100905-1466218801
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100905-1466218801/watcher-4100905-1466218801 -o /tmp/evaluation-result-4100905-1466218801/solver-4100905-1466218801 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100905-1466218801.opb

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

MD5SUM BENCH= 652c15620b8183c9f7790ff4b2dde8e4
RANDOM SEED=1659451157

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30232564 kB
Buffers:           99824 kB
Cached:           130784 kB
SwapCached:         2200 kB
Active:          1524292 kB
Inactive:         131336 kB
Active(anon):    1423936 kB
Inactive(anon):     3600 kB
Active(file):     100356 kB
Inactive(file):   127736 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             50144 kB
Writeback:             0 kB
AnonPages:       1763312 kB
Mapped:            11188 kB
Shmem:                 0 kB
Slab:             601248 kB
SReclaimable:      45260 kB
SUnreclaim:       555988 kB
KernelStack:        1520 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1815916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71692 MiB
End job on node103 at 2016-06-18 05:30:02