Trace number 4078851

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.58

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-122.opb
MD5SUM45533d52c524a74641c715d4320b890b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T07:23:05+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-4078851-1465276983.opb"]
0.00/0.01	c use --random-gen="498365974 3590875138 3380231824 3113038282 1749247312 3701395719 4048009771 1289214506 420387228 2866807418 2347788722 4054410631 4178689657 679512154 1667623171 2352319968 1312562784 3765000008 1772406522 1686562251 2231787020 110409422 644224526 434806800 915918419 1982711422 2236170898 1757964065 562652113 742176094 426845412 3532220773 1757622374 2059540270 1171933847 15912823 3660361519 326052338 3296476397 1515086839 116751274 3047785833 3176852944 1007431210 1658123652 3037701053 2872341031 655663479 4226167786 2660668878 538164629 4200836448 724683283 951247482 2674679392 1072264422 2750847196 1727864622 267600246 4134566844 3023288052 2578861793 453900905 2676093334 2776350282 2498916441 2990186771 1818567599 1844201645 1007089955 3042326706 2066387527 1826153320 2134559608 3736449978 993197536 1093491171 2927713819 1277333276 3819576779 4253177418 237126669 2131467852 3114718009 868587153 2973596929 3787646491 1601170612 1274693787 2298357697 2469303908 263456668 1652920946 2310362184 741577306 1492763699 3654615056 3129869587 4072836919 931781075 1688708394 3428061334 3394731980 2589304461 1195242461 3923067166 1919554775 709204920 1646545259 2315689448 918127029 3682897805 4043340153 2504194635 2938528926 2956141596 2757208251 4151202099 1432226382 2970555728 3693866422 3730798621 4020592603 1967019510 3721357676 1349352997 1778236490 3862308400 1864923000 3841537201 3246331390 1625436349 1083599089 995965013 3230903398 1092402107 111658615 2733114679 1369227841 2672960924 4274460927 4227875389 395427311 3445776874 2494936039 1994315016 2073498334 4229637913 1857518495 4090908707 185551259 569641173 3945314270 1617973083 3526704667 3586737404 2561076877 2328054537 1173701239 4228585887 1499844572 3799994380 1715548692 1634177562 2664460699 2291177474 1367873126 2328836729 4155934557 3756437780 2263466401 132221881 3541802097 1552995752 11471997 3549026416 3394433901 797393836 2356973008 3164596102 3782037428 3036805082 2418926360 2491653768 3737275876 4151077005 1467318228 2933680978 1318555769 2868240282 2521186159 3954770053 870526657 1562094296 916038821 372940267 1306847581 55634837 1088762203 569189802 3777431557 1163341574 153782457 3874891331 509580014 3031154839 1301153501 1025574606 2793664888 3682320409 3008548562 1221493452 3766607508 1109416220 79799940 2198807171 492813748 3065987301 1883311790 3672688796 2731898718 2422825958 2514411112 3180378882 3944134498 3081906001 1748539323 614447675 2564121488 1184990676 1535749675 4183339775 2363940622 1967300403 977625096 778154458 3410522640 4199084501 997152799 383442481 553279030 1125215016 2637943066 3001219268 4087918507 3585779784 4283498904 2201414910 3663834596 3474221368 3757845995 1101554100 3508237414 2285113304 1056462741 2946655983 255 362436" option to reproduce the execution
9.59/9.61	c #vars 48411
9.59/9.61	c #constraints 1121517
29.79/29.88	c Solving starts ...
29.79/29.88	c ============================[ Search Statistics ]============================
29.79/29.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.79/29.88	c       |         |          |          |    Limit     GC | Var      | Constra 
29.79/29.88	c =============================================================================
29.79/29.89	c  0.0s |       0 |        0 |        0 |   390567      0 |        0 |        0
30.68/30.75	c  0.9s |       1 |      160 |      100 |   390567      0 |        0 |        0
33.78/33.82	c  3.9s |       1 |     4806 |      200 |   429624      0 |        0 |        0
34.28/34.38	c  4.5s |       2 |     8491 |      250 |   429624      0 |        0 |        0
36.48/36.56	c  6.7s |       2 |    16614 |      450 |   472587      0 |        0 |        0
36.58/36.66	c  6.8s |       3 |    16641 |      475 |   472587      0 |        0 |        0
40.18/40.26	c 10.4s |       3 |    42554 |      575 |   519846      0 |        0 |        0
42.48/42.53	c 12.7s |       3 |    62786 |      675 |   519846      0 |        0 |        0
42.99/43.09	c 13.2s |       4 |    63125 |      813 |   519846      0 |        0 |        0
47.88/47.98	c 18.1s |       4 |   104488 |      913 |   571831      0 |        0 |        0
55.38/55.47	c 25.6s |       4 |   179467 |     1013 |   571831      0 |        0 |        0
58.98/59.02	c 29.1s |       4 |   210625 |     1113 |   571831      0 |        0 |        0
59.08/59.13	c 29.3s |       5 |   211368 |     1320 |   571831      0 |        0 |        0
61.48/61.59	c 31.7s |       5 |   212159 |     1620 |   629015      0 |        0 |        0
63.78/63.88	c 34.0s |       5 |   212636 |     2020 |   629015      0 |        0 |        0
64.18/64.26	c 34.4s |       6 |   212692 |     2081 |   691917      0 |        0 |        0
66.57/66.70	c 36.8s |       6 |   214409 |     2881 |   691917      0 |        0 |        0
68.67/68.70	c 38.8s |       7 |   215072 |     3223 |   761109      0 |        0 |        0
70.67/70.71	c 40.8s |       7 |   216852 |     3823 |   761109      0 |        0 |        0
73.17/73.22	c 43.3s |       7 |   217639 |     4223 |   761109      0 |        0 |        0
75.47/75.56	c 45.7s |       7 |   218181 |     4623 |   761109      0 |        0 |        0
77.17/77.26	c 47.4s |       8 |   218621 |     4936 |   837220      0 |        0 |        0
79.28/79.32	c 49.4s |       8 |   220448 |     5536 |   837220      0 |        0 |        0
81.58/81.67	c 51.8s |       8 |   222661 |     6236 |   837220      0 |        0 |        0
83.77/83.86	c 54.0s |       8 |   223454 |     6736 |   837220      0 |        0 |        0
92.48/92.57	c 62.7s |       8 |   274008 |     6836 |   837220      0 |        0 |        0
94.68/94.72	c 64.8s |       8 |   300951 |     7036 |   837220      0 |        0 |        0
99.08/99.15	c 69.3s |       8 |   341756 |     7236 |   837220      0 |        0 |        0
102.67/102.78	c 72.9s |       8 |   371631 |     7436 |   837220      0 |        0 |        0
103.48/103.56	c 73.7s |       9 |   388301 |     7506 |   920943      0 |        0 |        0
105.58/105.68	c 75.8s |       9 |   416966 |     7606 |   920943      0 |        0 |        0
107.67/107.77	c 77.9s |       9 |   531826 |     8106 |   920943      0 |        0 |        0
109.87/109.97	c 80.1s |       9 |   591458 |     9006 |   920943      0 |        0 |        0
112.07/112.15	c 82.3s |       9 |   592488 |     9806 |   920943      0 |        0 |        0
114.17/114.27	c 84.4s |       9 |   593500 |    10606 |   920943      0 |        0 |        0
116.47/116.54	c 86.7s |       9 |   594454 |    11306 |  1013038      0 |        0 |        0
116.77/116.80	c 86.9s |      10 |   594751 |    11361 |  1013038      0 |        0 |        0
118.87/118.98	c 89.1s |      10 |   611523 |    11561 |  1013038      0 |        0 |        0
121.17/121.26	c 91.4s |      10 |   612103 |    12061 |  1013038      0 |        0 |        0
123.17/123.28	c 93.4s |      10 |   612646 |    12561 |  1013038      0 |        0 |        0
125.37/125.48	c 95.6s |      10 |   613647 |    13061 |  1013038      0 |        0 |        0
127.77/127.83	c 98.0s |      10 |   615110 |    13561 |  1013038      0 |        0 |        0
129.77/129.83	c 100.0s |      10 |   615939 |    13961 |  1013038      0 |        0 |        0
131.87/131.94	c  102s |      10 |   616595 |    14461 |  1013038      0 |        0 |        0
134.06/134.10	c  104s |      10 |   617224 |    14961 |  1013038      0 |        0 |        0
137.57/137.69	c  107s |      10 |   641721 |    15461 |  1013038      0 |        0 |        0
140.06/140.16	c  110s |      10 |   654003 |    15661 |  1013038      0 |        0 |        0
142.26/142.31	c  112s |      10 |   658092 |    16161 |  1013038      0 |        0 |        0
144.26/144.34	c  114s |      10 |   658877 |    16461 |  1013038      0 |        0 |        0
146.37/146.41	c  116s |      10 |   659669 |    16761 |  1013038      0 |        0 |        0
148.76/148.81	c  118s |      11 |   660286 |    17144 |  1114342      0 |        0 |        0
151.56/151.61	c  121s |      11 |   660985 |    17444 |  1114342      0 |        0 |        0
154.36/154.47	c  124s |      11 |   672795 |    17744 |  1114342      0 |        0 |        0
157.16/157.24	c  127s |      11 |   730332 |    17944 |  1114342      0 |        0 |        0
159.47/159.55	c  129s |      11 |   790502 |    18244 |  1114342      0 |        0 |        0
161.86/161.91	c  132s |      11 |   872428 |    18944 |  1114342      0 |        0 |        0
164.76/164.87	c  134s |      11 |   885649 |    19244 |  1114342      0 |        0 |        0
167.56/167.61	c  137s |      11 |   903827 |    19444 |  1114342      0 |        0 |        0
169.96/170.09	c  140s |      11 |   917369 |    19644 |  1114342      0 |        0 |        0
172.77/172.84	c  142s |      11 |   936345 |    19844 |  1114342      0 |        0 |        0
175.16/175.21	c  145s |      11 |   964007 |    20144 |  1114342      0 |        0 |        0
177.26/177.36	c  147s |      11 |   979914 |    20344 |  1114342      0 |        0 |        0
179.86/179.98	c  150s |      11 |  1015276 |    20644 |  1114342      0 |        0 |        0
182.96/183.04	c  153s |      11 |  1053096 |    20844 |  1114342      0 |        0 |        0
185.16/185.21	c  155s |      11 |  1112515 |    21144 |  1114342      0 |        0 |        0
187.35/187.41	c  157s |      11 |  1216512 |    21544 |  1114342      0 |        0 |        0
189.85/189.90	c  160s |      11 |  1275358 |    22044 |  1114342      0 |        0 |        0
191.85/191.91	c  162s |      11 |  1300428 |    22344 |  1114342      0 |        0 |        0
194.45/194.57	c  164s |      11 |  1319568 |    22644 |  1114342      0 |        0 |        0
196.65/196.79	c  166s |      11 |  1339261 |    22944 |  1114342      0 |        0 |        0
200.17/200.22	c  170s |      11 |  1366024 |    23244 |  1114342      0 |        0 |        0
202.96/203.04	c  173s |      11 |  1380794 |    23644 |  1114342      0 |        0 |        0
205.26/205.36	c  175s |      11 |  1396993 |    23944 |  1114342      0 |        0 |        0
208.15/208.26	c  178s |      11 |  1451373 |    24244 |  1114342      0 |        0 |        0
210.35/210.42	c  180s |      11 |  1472848 |    24344 |  1114342      0 |        0 |        0
214.36/214.45	c  184s |      11 |  1489595 |    24444 |  1114342      0 |        0 |        0
217.36/217.43	c  187s |      11 |  1496372 |    24744 |  1114342      0 |        0 |        0
219.56/219.60	c  189s |      11 |  1526926 |    24944 |  1114342      0 |        0 |        0
222.36/222.42	c  192s |      11 |  1554082 |    25144 |  1114342      0 |        0 |        0
224.36/224.47	c  194s |      11 |  1599233 |    25444 |  1114342      0 |        0 |        0
226.85/226.92	c  197s |      12 |  1632078 |    25819 |  1225777      0 |        0 |        0
228.95/229.03	c  199s |      12 |  1646488 |    25919 |  1225777      0 |        0 |        0
231.15/231.20	c  201s |      12 |  1690083 |    26119 |  1225777      0 |        0 |        0
233.45/233.54	c  203s |      12 |  1798509 |    26519 |  1225777      0 |        0 |        0
235.95/236.09	c  206s |      12 |  1870404 |    27219 |  1225777      0 |        0 |        0
238.55/238.61	c  208s |      12 |  1898396 |    27419 |  1225777      0 |        0 |        0
240.96/241.05	c  211s |      12 |  1932715 |    28119 |  1225777      0 |        0 |        0
243.55/243.64	c  213s |      12 |  1933386 |    28619 |  1225777      0 |        0 |        0
245.55/245.66	c  215s |      12 |  1933730 |    28919 |  1225777      0 |        0 |        0
248.45/248.52	c  218s |      12 |  1934069 |    29219 |  1225777      0 |        0 |        0
250.95/251.04	c  221s |      12 |  1934405 |    29519 |  1225777      0 |        0 |        0
253.25/253.35	c  223s |      12 |  1934760 |    29819 |  1225777      0 |        0 |        0
255.45/255.59	c  225s |      12 |  1935115 |    30119 |  1225777      0 |        0 |        0
257.95/258.00	c  228s |      12 |  1935593 |    30519 |  1225777      0 |        0 |        0
260.15/260.28	c  230s |      12 |  1936151 |    30919 |  1225777      0 |        0 |        0
262.25/262.32	c  232s |      12 |  1936574 |    31219 |  1225777      0 |        0 |        0
264.35/264.42	c  234s |      12 |  1937194 |    31619 |  1225777      0 |        0 |        0
266.35/266.49	c  236s |      12 |  1937644 |    32019 |  1225777      0 |        0 |        0
268.75/268.89	c  239s |      12 |  1938099 |    32419 |  1225777      0 |        0 |        0
270.84/270.94	c  241s |      12 |  1938556 |    32819 |  1225777      0 |        0 |        0
273.04/273.10	c  243s |      12 |  1939027 |    33219 |  1225777      0 |        0 |        0
275.24/275.32	c  245s |      12 |  1939468 |    33619 |  1225777      0 |        0 |        0
277.54/277.63	c  247s |      12 |  1939981 |    34019 |  1225777      0 |        0 |        0
279.84/279.98	c  250s |      12 |  1940437 |    34419 |  1225777      0 |        0 |        0
282.34/282.45	c  252s |      12 |  1940874 |    34819 |  1225777      0 |        0 |        0
284.74/284.85	c  254s |      12 |  1941346 |    35219 |  1225777      0 |        0 |        0
287.15/287.26	c  257s |      12 |  1941813 |    35619 |  1225777      0 |        0 |        0
289.25/289.39	c  259s |      12 |  1942299 |    36019 |  1225777      0 |        0 |        0
291.74/291.89	c  262s |      12 |  1942742 |    36419 |  1225777      0 |        0 |        0
294.14/294.28	c  264s |      12 |  1943187 |    36819 |  1225777      0 |        0 |        0
298.54/298.62	c  268s |      12 |  1967555 |    37119 |  1225777      0 |        0 |        0
300.54/300.63	c  270s |      12 |  1970159 |    37419 |  1225777      0 |        0 |        0
304.44/304.53	c  274s |      12 |  1991056 |    37819 |  1225777      0 |        0 |        0
306.85/306.99	c  277s |      12 |  1998705 |    38119 |  1225777      0 |        0 |        0
309.24/309.34	c  279s |      12 |  1999293 |    38519 |  1225777      0 |        0 |        0
311.24/311.37	c  281s |      13 |  2000681 |    38832 |  1348355      0 |        0 |        0
313.54/313.68	c  283s |      13 |  2012869 |    38932 |  1348355      0 |        0 |        0
315.74/315.81	c  285s |      13 |  2030855 |    39132 |  1348355      0 |        0 |        0
317.84/317.95	c  288s |      13 |  2089687 |    39332 |  1348355      0 |        0 |        0
320.34/320.43	c  290s |      13 |  2143682 |    39632 |  1348355      0 |        0 |        0
323.14/323.25	c  293s |      13 |  2177524 |    39832 |  1348355      0 |        0 |        0
325.64/325.77	c  295s |      13 |  2185064 |    40232 |  1348355      0 |        0 |        0
327.63/327.78	c  297s |      13 |  2185516 |    40632 |  1348355      0 |        0 |        0
330.04/330.15	c  300s |      13 |  2186079 |    41132 |  1348355      0 |        0 |        0
332.33/332.45	c  302s |      13 |  2186510 |    41532 |  1348355      0 |        0 |        0
335.03/335.19	c  305s |      13 |  2192426 |    41832 |  1348355      0 |        0 |        0
337.23/337.34	c  307s |      13 |  2192812 |    42032 |  1348355      0 |        0 |        0
339.43/339.58	c  309s |      13 |  2193049 |    42232 |  1348355      0 |        0 |        0
341.53/341.60	c  311s |      13 |  2193286 |    42432 |  1348355      0 |        0 |        0
343.53/343.61	c  313s |      13 |  2193570 |    42632 |  1348355      0 |        0 |        0
346.44/346.57	c  316s |      13 |  2193934 |    42932 |  1348355      0 |        0 |        0
349.34/349.41	c  319s |      13 |  2194322 |    43232 |  1348355      0 |        0 |        0
351.33/351.47	c  321s |      13 |  2194547 |    43432 |  1348355      0 |        0 |        0
353.44/353.53	c  323s |      13 |  2194858 |    43632 |  1348355      0 |        0 |        0
356.63/356.71	c  326s |      13 |  2195080 |    43832 |  1348355      0 |        0 |        0
359.13/359.23	c  329s |      13 |  2195405 |    44132 |  1348355      0 |        0 |        0
361.53/361.61	c  331s |      13 |  2196151 |    44432 |  1348355      0 |        0 |        0
363.53/363.67	c  333s |      13 |  2196574 |    44732 |  1348355      0 |        0 |        0
365.83/365.96	c  336s |      13 |  2196982 |    45032 |  1348355      0 |        0 |        0
368.03/368.15	c  338s |      13 |  2197387 |    45332 |  1348355      0 |        0 |        0
370.64/370.80	c  340s |      13 |  2197963 |    45732 |  1348355      0 |        0 |        0
372.84/372.97	c  343s |      13 |  2198439 |    46032 |  1348355      0 |        0 |        0
374.93/375.05	c  345s |      13 |  2198846 |    46332 |  1348355      0 |        0 |        0
377.63/377.75	c  347s |      13 |  2199456 |    46732 |  1348355      0 |        0 |        0
379.83/379.92	c  350s |      13 |  2200192 |    47032 |  1348355      0 |        0 |        0
382.03/382.16	c  352s |      13 |  2200743 |    47432 |  1348355      0 |        0 |        0
384.23/384.38	c  354s |      13 |  2201177 |    47732 |  1348355      0 |        0 |        0
387.03/387.17	c  357s |      13 |  2201583 |    48032 |  1348355      0 |        0 |        0
389.53/389.68	c  359s |      13 |  2201980 |    48332 |  1348355      0 |        0 |        0
392.33/392.40	c  362s |      13 |  2202432 |    48632 |  1348355      0 |        0 |        0
394.33/394.41	c  364s |      13 |  2202674 |    48832 |  1348355      0 |        0 |        0
396.93/397.07	c  367s |      13 |  2203092 |    49132 |  1348355      0 |        0 |        0
399.73/399.89	c  370s |      13 |  2203476 |    49432 |  1348355      0 |        0 |        0
402.13/402.22	c  372s |      13 |  2203954 |    49732 |  1348355      0 |        0 |        0
404.93/405.01	c  375s |      13 |  2204334 |    50032 |  1348355      0 |        0 |        0
407.33/407.41	c  377s |      13 |  2204671 |    50332 |  1348355      0 |        0 |        0
410.33/410.44	c  380s |      13 |  2205040 |    50632 |  1348355      0 |        0 |        0
412.82/412.91	c  383s |      13 |  2205311 |    50832 |  1348355      0 |        0 |        0
414.92/415.01	c  385s |      13 |  2205539 |    51032 |  1348355      0 |        0 |        0
417.42/417.51	c  387s |      13 |  2205773 |    51232 |  1348355      0 |        0 |        0
420.23/420.38	c  390s |      13 |  2206192 |    51532 |  1348355      0 |        0 |        0
422.92/423.01	c  393s |      13 |  2206543 |    51832 |  1348355      0 |        0 |        0
424.92/425.02	c  395s |      13 |  2206799 |    52032 |  1348355      0 |        0 |        0
427.02/427.11	c  397s |      13 |  2207066 |    52232 |  1348355      0 |        0 |        0
429.03/429.18	c  399s |      13 |  2207295 |    52432 |  1348355      0 |        0 |        0
431.23/431.33	c  401s |      13 |  2207519 |    52632 |  1348355      0 |        0 |        0
433.33/433.43	c  403s |      13 |  2207744 |    52832 |  1348355      0 |        0 |        0
435.42/435.55	c  405s |      13 |  2207979 |    53032 |  1348355      0 |        0 |        0
437.62/437.75	c  407s |      13 |  2208183 |    53232 |  1348355      0 |        0 |        0
439.62/439.78	c  409s |      13 |  2208417 |    53432 |  1348355      0 |        0 |        0
442.02/442.15	c  412s |      13 |  2208633 |    53632 |  1348355      0 |        0 |        0
444.82/444.91	c  415s |      13 |  2208974 |    53932 |  1348355      0 |        0 |        0
447.32/447.46	c  417s |      13 |  2209294 |    54232 |  1348355      0 |        0 |        0
449.72/449.81	c  419s |      13 |  2209534 |    54432 |  1348355      0 |        0 |        0
452.02/452.19	c  422s |      13 |  2209735 |    54632 |  1348355      0 |        0 |        0
454.42/454.51	c  424s |      13 |  2209944 |    54832 |  1348355      0 |        0 |        0
456.52/456.65	c  426s |      13 |  2210204 |    55032 |  1348355      0 |        0 |        0
459.01/459.10	c  429s |      13 |  2210430 |    55232 |  1348355      0 |        0 |        0
461.01/461.19	c  431s |      13 |  2210773 |    55432 |  1348355      0 |        0 |        0
463.81/463.98	c  434s |      13 |  2211147 |    55732 |  1348355      0 |        0 |        0
466.42/466.56	c  436s |      13 |  2211401 |    55932 |  1348355      0 |        0 |        0
468.62/468.78	c  438s |      13 |  2211692 |    56132 |  1348355      0 |        0 |        0
470.82/470.93	c  441s |      13 |  2211955 |    56332 |  1348355      0 |        0 |        0
473.71/473.88	c  444s |      13 |  2212318 |    56632 |  1348355      0 |        0 |        0
476.01/476.12	c  446s |      13 |  2212560 |    56832 |  1348355      0 |        0 |        0
478.81/478.91	c  449s |      13 |  2212956 |    57132 |  1348355      0 |        0 |        0
481.41/481.50	c  451s |      13 |  2213327 |    57432 |  1348355      0 |        0 |        0
484.02/484.12	c  454s |      13 |  2213682 |    57732 |  1348355      0 |        0 |        0
486.72/486.86	c  456s |      13 |  2214019 |    58032 |  1483191      0 |        0 |        0
489.42/489.56	c  459s |      13 |  2214352 |    58332 |  1483191      0 |        0 |        0
489.61/489.73	c  459s |      14 |  2214373 |    58352 |  1483191      0 |        0 |        0
492.61/492.70	c  462s |      14 |  2239353 |    58452 |  1483191      0 |        0 |        0
495.61/495.77	c  465s |      14 |  2258889 |    58752 |  1483191      0 |        0 |        0
500.71/500.86	c  470s |      14 |  2318569 |    58852 |  1483191      0 |        0 |        0
503.41/503.53	c  473s |      14 |  2346499 |    58952 |  1483191      0 |        0 |        0
505.71/505.81	c  475s |      14 |  2347136 |    59252 |  1483191      0 |        0 |        0
508.01/508.13	c  478s |      14 |  2348050 |    59552 |  1483191      0 |        0 |        0
510.42/510.51	c  480s |      14 |  2382365 |    59752 |  1483191      0 |        0 |        0
512.90/513.09	c  483s |      14 |  2433636 |    60052 |  1483191      0 |        0 |        0
515.21/515.31	c  485s |      14 |  2434008 |    60352 |  1483191      0 |        0 |        0
517.30/517.44	c  487s |      14 |  2434378 |    60652 |  1483191      0 |        0 |        0
519.71/519.80	c  489s |      14 |  2434737 |    60952 |  1483191      0 |        0 |        0
522.60/522.71	c  492s |      14 |  2434968 |    61152 |  1483191      0 |        0 |        0
525.00/525.19	c  495s |      14 |  2435457 |    61552 |  1483191      0 |        0 |        0
527.20/527.30	c  497s |      14 |  2435921 |    61952 |  1483191      0 |        0 |        0
529.40/529.57	c  499s |      14 |  2439674 |    62252 |  1483191      0 |        0 |        0
533.00/533.15	c  503s |      14 |  2482129 |    62452 |  1483191      0 |        0 |        0
535.90/536.03	c  506s |      14 |  2501570 |    62552 |  1483191      0 |        0 |        0
538.10/538.28	c  508s |      14 |  2589827 |    63252 |  1483191      0 |        0 |        0
541.00/541.16	c  511s |      14 |  2609038 |    63552 |  1483191      0 |        0 |        0
543.20/543.34	c  513s |      14 |  2627381 |    63752 |  1483191      0 |        0 |        0
545.20/545.36	c  515s |      14 |  2639503 |    64252 |  1483191      0 |        0 |        0
547.81/547.98	c  518s |      14 |  2651246 |    64652 |  1483191      0 |        0 |        0
549.91/550.08	c  520s |      14 |  2656215 |    64952 |  1483191      0 |        0 |        0
553.00/553.18	c  523s |      14 |  2680087 |    65352 |  1483191      0 |        0 |        0
555.10/555.22	c  525s |      14 |  2692115 |    65452 |  1483191      0 |        0 |        0
558.00/558.15	c  528s |      14 |  2745781 |    65752 |  1483191      0 |        0 |        0
560.40/560.58	c  530s |      14 |  2782406 |    66052 |  1483191      0 |        0 |        0
562.80/562.91	c  533s |      14 |  2808831 |    66252 |  1483191      0 |        0 |        0
566.10/566.20	c  536s |      14 |  2839111 |    66552 |  1483191      0 |        0 |        0
568.40/568.51	c  538s |      14 |  2879562 |    66952 |  1483191      0 |        0 |        0
570.70/570.89	c  541s |      14 |  2908378 |    67352 |  1483191      0 |        0 |        0
572.90/573.04	c  543s |      14 |  2928541 |    67752 |  1483191      0 |        0 |        0
575.20/575.32	c  545s |      14 |  2939524 |    67952 |  1483191      0 |        0 |        0
577.90/578.02	c  548s |      14 |  2959524 |    68352 |  1483191      0 |        0 |        0
580.09/580.21	c  550s |      14 |  2963673 |    68652 |  1483191      0 |        0 |        0
582.49/582.69	c  552s |      14 |  2979282 |    68952 |  1483191      0 |        0 |        0
584.59/584.77	c  554s |      14 |  2998822 |    69152 |  1483191      0 |        0 |        0
587.19/587.37	c  557s |      14 |  3024857 |    69452 |  1483191      0 |        0 |        0
589.29/589.40	c  559s |      14 |  3049557 |    69952 |  1483191      0 |        0 |        0
591.59/591.77	c  561s |      14 |  3058197 |    70252 |  1483191      0 |        0 |        0
593.69/593.82	c  563s |      14 |  3068048 |    70552 |  1483191      0 |        0 |        0
596.20/596.38	c  566s |      14 |  3081189 |    70952 |  1483191      0 |        0 |        0
598.79/598.98	c  569s |      14 |  3098052 |    71352 |  1483191      0 |        0 |        0
601.30/601.40	c  571s |      14 |  3105700 |    71652 |  1483191      0 |        0 |        0
603.30/603.48	c  573s |      14 |  3107462 |    71952 |  1483191      0 |        0 |        0
606.19/606.33	c  576s |      14 |  3108559 |    72252 |  1483191      0 |        0 |        0
608.20/608.35	c  578s |      14 |  3118733 |    72552 |  1483191      0 |        0 |        0
610.79/610.95	c  581s |      14 |  3122852 |    72852 |  1483191      0 |        0 |        0
614.59/614.77	c  584s |      14 |  3124027 |    73152 |  1483191      0 |        0 |        0
617.09/617.25	c  587s |      14 |  3128062 |    73452 |  1483191      0 |        0 |        0
619.09/619.26	c  589s |      14 |  3133495 |    73752 |  1483191      0 |        0 |        0
621.29/621.44	c  591s |      14 |  3138651 |    74152 |  1483191      0 |        0 |        0
623.59/623.71	c  593s |      14 |  3146398 |    74652 |  1483191      0 |        0 |        0
626.09/626.25	c  596s |      14 |  3150170 |    75052 |  1483191      0 |        0 |        0
628.19/628.33	c  598s |      14 |  3163205 |    75452 |  1483191      0 |        0 |        0
630.39/630.57	c  600s |      14 |  3169580 |    75752 |  1483191      0 |        0 |        0
632.78/632.93	c  603s |      14 |  3171474 |    76052 |  1483191      0 |        0 |        0
634.88/635.04	c  605s |      14 |  3172206 |    76352 |  1483191      0 |        0 |        0
637.28/637.46	c  607s |      14 |  3172570 |    76652 |  1483191      0 |        0 |        0
639.28/639.48	c  609s |      14 |  3173411 |    76852 |  1483191      0 |        0 |        0
641.58/641.78	c  611s |      14 |  3173953 |    77152 |  1483191      0 |        0 |        0
644.19/644.39	c  614s |      14 |  3174366 |    77452 |  1483191      0 |        0 |        0
647.09/647.25	c  617s |      14 |  3176353 |    77752 |  1483191      0 |        0 |        0
649.39/649.51	c  619s |      14 |  3177025 |    78052 |  1483191      0 |        0 |        0
651.69/651.89	c  622s |      14 |  3180025 |    78352 |  1483191      0 |        0 |        0
654.29/654.41	c  624s |      14 |  3181466 |    78652 |  1483191      0 |        0 |        0
657.39/657.50	c  627s |      14 |  3182033 |    78952 |  1483191      0 |        0 |        0
660.19/660.33	c  630s |      14 |  3183131 |    79252 |  1483191      0 |        0 |        0
662.19/662.33	c  632s |      14 |  3183420 |    79452 |  1483191      0 |        0 |        0
664.59/664.71	c  634s |      14 |  3184226 |    79652 |  1483191      0 |        0 |        0
666.59/666.73	c  636s |      14 |  3184506 |    79852 |  1483191      0 |        0 |        0
668.69/668.89	c  639s |      14 |  3185661 |    80052 |  1483191      0 |        0 |        0
670.79/670.95	c  641s |      14 |  3185995 |    80252 |  1483191      0 |        0 |        0
672.98/673.17	c  643s |      14 |  3186771 |    80452 |  1483191      0 |        0 |        0
675.29/675.42	c  645s |      14 |  3187322 |    80652 |  1483191      0 |        0 |        0
679.88/680.01	c  650s |      14 |  3190428 |    80952 |  1483191      0 |        0 |        0
681.98/682.17	c  652s |      14 |  3194074 |    81252 |  1483191      0 |        0 |        0
684.38/684.54	c  654s |      14 |  3195125 |    81552 |  1483191      0 |        0 |        0
686.99/687.13	c  657s |      14 |  3195665 |    81852 |  1483191      0 |        0 |        0
688.99/689.18	c  659s |      14 |  3196550 |    82052 |  1483191      0 |        0 |        0
691.39/691.55	c  661s |      14 |  3198009 |    82352 |  1483191      0 |        0 |        0
693.88/694.03	c  664s |      14 |  3198515 |    82652 |  1483191      0 |        0 |        0
696.08/696.25	c  666s |      14 |  3199486 |    82952 |  1483191      0 |        0 |        0
698.49/698.66	c  668s |      14 |  3200092 |    83252 |  1483191      0 |        0 |        0
701.18/701.35	c  671s |      14 |  3200684 |    83552 |  1483191      0 |        0 |        0
703.18/703.36	c  673s |      14 |  3200955 |    83752 |  1483191      0 |        0 |        0
705.48/705.61	c  675s |      14 |  3201346 |    83952 |  1483191      0 |        0 |        0
708.29/708.49	c  678s |      14 |  3205127 |    84252 |  1483191      0 |        0 |        0
710.78/710.96	c  681s |      14 |  3207550 |    84552 |  1483191      0 |        0 |        0
713.28/713.47	c  683s |      14 |  3208858 |    84852 |  1483191      0 |        0 |        0
715.99/716.13	c  686s |      14 |  3209947 |    85152 |  1483191      0 |        0 |        0
718.58/718.78	c  688s |      14 |  3210841 |    85452 |  1483191      0 |        0 |        0
721.18/721.31	c  691s |      14 |  3211101 |    85652 |  1483191      0 |        0 |        0
723.58/723.76	c  693s |      14 |  3211326 |    85852 |  1483191      0 |        0 |        0
725.77/725.99	c  696s |      14 |  3211571 |    86052 |  1483191      0 |        0 |        0
727.88/728.03	c  698s |      14 |  3212332 |    86252 |  1483191      0 |        0 |        0
731.18/731.32	c  701s |      14 |  3213100 |    86552 |  1483191      0 |        0 |        0
733.68/733.87	c  703s |      14 |  3213421 |    86752 |  1483191      0 |        0 |        0
735.67/735.89	c  706s |      14 |  3213815 |    86952 |  1483191      0 |        0 |        0
737.78/737.92	c  708s |      14 |  3214194 |    87152 |  1631511      0 |        0 |        0
740.77/740.93	c  711s |      14 |  3218694 |    87252 |  1631511      0 |        0 |        0
742.87/743.08	c  713s |      14 |  3227210 |    87352 |  1631511      0 |        0 |        0
745.17/745.35	c  715s |      15 |  3245005 |    87632 |  1631511      0 |        0 |        0
747.67/747.89	c  718s |      15 |  3254661 |    87832 |  1631511      0 |        0 |        0
749.97/750.11	c  720s |      15 |  3259740 |    88132 |  1631511      0 |        0 |        0
752.17/752.31	c  722s |      15 |  3304301 |    88332 |  1631511      0 |        0 |        0
757.27/757.41	c  727s |      15 |  3334950 |    88632 |  1631511      0 |        0 |        0
760.76/760.92	c  731s |      15 |  3361882 |    89032 |  1631511      0 |        0 |        0
763.06/763.27	c  733s |      15 |  3374375 |    89332 |  1631511      0 |        0 |        0
765.57/765.74	c  735s |      15 |  3374850 |    89732 |  1631511      0 |        0 |        0
767.96/768.14	c  738s |      15 |  3375295 |    90132 |  1631511      0 |        0 |        0
770.66/770.89	c  741s |      15 |  3376042 |    90432 |  1631511      0 |        0 |        0
773.17/773.37	c  743s |      15 |  3376428 |    90732 |  1631511      0 |        0 |        0
775.37/775.51	c  745s |      15 |  3377400 |    90932 |  1631511      0 |        0 |        0
778.46/778.65	c  748s |      15 |  3378224 |    91232 |  1631511      0 |        0 |        0
780.86/781.01	c  751s |      15 |  3378607 |    91532 |  1631511      0 |        0 |        0
783.57/783.75	c  753s |      15 |  3378971 |    91832 |  1631511      0 |        0 |        0
785.77/785.91	c  756s |      15 |  3379319 |    92032 |  1631511      0 |        0 |        0
787.96/788.11	c  758s |      15 |  3379571 |    92232 |  1631511      0 |        0 |        0
790.26/790.42	c  760s |      15 |  3379781 |    92432 |  1631511      0 |        0 |        0
792.46/792.61	c  762s |      15 |  3380134 |    92632 |  1631511      0 |        0 |        0
795.36/795.50	c  765s |      15 |  3380520 |    92932 |  1631511      0 |        0 |        0
798.15/798.33	c  768s |      15 |  3380766 |    93132 |  1631511      0 |        0 |        0
801.25/801.43	c  771s |      15 |  3381115 |    93432 |  1631511      0 |        0 |        0
803.76/803.97	c  774s |      15 |  3381234 |    93532 |  1631511      0 |        0 |        0
806.86/807.00	c  777s |      15 |  3381834 |    93832 |  1631511      0 |        0 |        0
808.96/809.14	c  779s |      15 |  3382094 |    94032 |  1631511      0 |        0 |        0
811.95/812.11	c  782s |      15 |  3382556 |    94332 |  1631511      0 |        0 |        0
813.96/814.19	c  784s |      15 |  3382825 |    94532 |  1631511      0 |        0 |        0
816.06/816.25	c  786s |      15 |  3383056 |    94732 |  1631511      0 |        0 |        0
818.55/818.70	c  788s |      15 |  3383433 |    95032 |  1631511      0 |        0 |        0
820.65/820.88	c  791s |      15 |  3383680 |    95232 |  1631511      0 |        0 |        0
822.66/822.88	c  793s |      15 |  3383920 |    95432 |  1631511      0 |        0 |        0
825.54/825.71	c  795s |      15 |  3384334 |    95732 |  1631511      0 |        0 |        0
827.54/827.71	c  797s |      15 |  3384569 |    95932 |  1631511      0 |        0 |        0
830.14/830.37	c  800s |      15 |  3384898 |    96232 |  1631511      0 |        0 |        0
832.65/832.85	c  802s |      15 |  3385334 |    96532 |  1631511      0 |        0 |        0
835.24/835.43	c  805s |      15 |  3385575 |    96732 |  1631511      0 |        0 |        0
837.54/837.71	c  807s |      15 |  3385826 |    96932 |  1631511      0 |        0 |        0
840.54/840.78	c  810s |      15 |  3386163 |    97232 |  1631511      0 |        0 |        0
843.34/843.54	c  813s |      15 |  3386500 |    97532 |  1631511      0 |        0 |        0
845.34/845.55	c  815s |      15 |  3386865 |    97832 |  1631511      0 |        0 |        0
847.94/848.13	c  818s |      15 |  3387224 |    98132 |  1631511      0 |        0 |        0
850.73/850.94	c  821s |      15 |  3387603 |    98432 |  1631511      0 |        0 |        0
853.73/853.95	c  824s |      15 |  3387935 |    98732 |  1631511      0 |        0 |        0
856.84/857.02	c  827s |      15 |  3388291 |    99032 |  1631511      0 |        0 |        0
858.83/859.04	c  829s |      15 |  3388532 |    99232 |  1631511      0 |        0 |        0
860.93/861.19	c  831s |      15 |  3388776 |    99432 |  1631511      0 |        0 |        0
863.73/863.96	c  834s |      15 |  3389012 |    99632 |  1631511      0 |        0 |        0
866.42/866.60	c  836s |      15 |  3389237 |    99832 |  1631511      0 |        0 |        0
869.12/869.33	c  839s |      15 |  3389583 |   100132 |  1631511      0 |        0 |        0
871.43/871.61	c  841s |      15 |  3389805 |   100332 |  1631511      0 |        0 |        0
874.22/874.47	c  844s |      15 |  3390188 |   100632 |  1631511      0 |        0 |        0
876.63/876.83	c  846s |      15 |  3390436 |   100832 |  1631511      0 |        0 |        0
879.12/879.38	c  849s |      15 |  3390665 |   101032 |  1631511      0 |        0 |        0
881.62/881.84	c  851s |      15 |  3390787 |   101132 |  1631511      0 |        0 |        0
883.62/883.88	c  854s |      15 |  3391004 |   101332 |  1631511      0 |        0 |        0
885.62/885.88	c  856s |      15 |  3391240 |   101532 |  1631511      0 |        0 |        0
887.92/888.18	c  858s |      15 |  3391491 |   101732 |  1631511      0 |        0 |        0
890.32/890.51	c  860s |      15 |  3391734 |   101932 |  1631511      0 |        0 |        0
892.42/892.61	c  862s |      15 |  3391965 |   102132 |  1631511      0 |        0 |        0
894.72/894.96	c  865s |      15 |  3392203 |   102332 |  1631511      0 |        0 |        0
897.12/897.32	c  867s |      15 |  3392584 |   102632 |  1631511      0 |        0 |        0
899.32/899.50	c  869s |      15 |  3392913 |   102932 |  1631511      0 |        0 |        0
901.93/902.11	c  872s |      15 |  3393360 |   103332 |  1631511      0 |        0 |        0
904.92/905.12	c  875s |      15 |  3393805 |   103732 |  1631511      0 |        0 |        0
907.92/908.17	c  878s |      15 |  3394149 |   104032 |  1631511      0 |        0 |        0
910.72/910.94	c  881s |      15 |  3394485 |   104332 |  1631511      0 |        0 |        0
912.92/913.13	c  883s |      15 |  3394734 |   104532 |  1631511      0 |        0 |        0
914.92/915.15	c  885s |      15 |  3394953 |   104732 |  1631511      0 |        0 |        0
917.62/917.83	c  887s |      15 |  3395289 |   105032 |  1631511      0 |        0 |        0
920.42/920.67	c  890s |      15 |  3395625 |   105332 |  1631511      0 |        0 |        0
922.72/922.98	c  893s |      15 |  3395862 |   105532 |  1631511      0 |        0 |        0
924.92/925.15	c  895s |      15 |  3396103 |   105732 |  1631511      0 |        0 |        0
927.81/928.03	c  898s |      15 |  3396455 |   106032 |  1631511      0 |        0 |        0
930.52/930.78	c  900s |      15 |  3396789 |   106332 |  1631511      0 |        0 |        0
932.91/933.17	c  903s |      15 |  3397147 |   106632 |  1631511      0 |        0 |        0
935.31/935.54	c  905s |      15 |  3397486 |   106932 |  1631511      0 |        0 |        0
938.21/938.41	c  908s |      15 |  3397871 |   107232 |  1631511      0 |        0 |        0
940.22/940.48	c  910s |      15 |  3398094 |   107432 |  1631511      0 |        0 |        0
942.91/943.10	c  913s |      15 |  3398437 |   107732 |  1631511      0 |        0 |        0
944.91/945.10	c  915s |      15 |  3398661 |   107932 |  1631511      0 |        0 |        0
947.21/947.46	c  917s |      15 |  3398898 |   108132 |  1631511      0 |        0 |        0
950.01/950.24	c  920s |      15 |  3399225 |   108432 |  1631511      0 |        0 |        0
952.61/952.87	c  922s |      15 |  3399571 |   108732 |  1631511      0 |        0 |        0
954.81/955.08	c  925s |      15 |  3399679 |   108832 |  1631511      0 |        0 |        0
957.31/957.52	c  927s |      15 |  3400017 |   109132 |  1631511      0 |        0 |        0
959.71/959.97	c  930s |      15 |  3400374 |   109432 |  1631511      0 |        0 |        0
962.61/962.83	c  932s |      15 |  3400754 |   109732 |  1631511      0 |        0 |        0
964.62/964.85	c  934s |      15 |  3400974 |   109932 |  1631511      0 |        0 |        0
966.91/967.14	c  937s |      15 |  3401209 |   110132 |  1631511      0 |        0 |        0
969.81/970.08	c  940s |      15 |  3401557 |   110432 |  1631511      0 |        0 |        0
972.61/972.85	c  942s |      15 |  3401894 |   110732 |  1631511      0 |        0 |        0
974.90/975.15	c  945s |      15 |  3402253 |   111032 |  1631511      0 |        0 |        0
977.30/977.51	c  947s |      15 |  3402616 |   111332 |  1631511      0 |        0 |        0
979.50/979.78	c  949s |      15 |  3402972 |   111632 |  1631511      0 |        0 |        0
981.70/981.98	c  952s |      15 |  3403320 |   111932 |  1631511      0 |        0 |        0
984.90/985.15	c  955s |      15 |  3403788 |   112232 |  1631511      0 |        0 |        0
987.71/987.98	c  958s |      15 |  3404028 |   112432 |  1631511      0 |        0 |        0
990.20/990.40	c  960s |      15 |  3404271 |   112632 |  1631511      0 |        0 |        0
992.30/992.52	c  962s |      15 |  3404604 |   112832 |  1631511      0 |        0 |        0
994.90/995.12	c  965s |      15 |  3404841 |   113032 |  1631511      0 |        0 |        0
997.70/997.90	c  968s |      15 |  3405073 |   113232 |  1631511      0 |        0 |        0
1000.70/1000.99	c  971s |      15 |  3405347 |   113432 |  1631511      0 |        0 |        0
1003.59/1003.84	c  973s |      15 |  3405573 |   113632 |  1631511      0 |        0 |        0
1006.30/1006.60	c  976s |      15 |  3405803 |   113832 |  1631511      0 |        0 |        0
1009.19/1009.49	c  979s |      15 |  3406028 |   114032 |  1631511      0 |        0 |        0
1011.49/1011.73	c  981s |      15 |  3406263 |   114232 |  1631511      0 |        0 |        0
1013.79/1014.05	c  984s |      15 |  3406503 |   114432 |  1631511      0 |        0 |        0
1016.68/1016.99	c  987s |      15 |  3406780 |   114632 |  1631511      0 |        0 |        0
1021.59/1021.83	c  991s |      15 |  3407025 |   114832 |  1631511      0 |        0 |        0
1023.69/1023.99	c  994s |      15 |  3407278 |   115032 |  1631511      0 |        0 |        0
1026.69/1026.90	c  997s |      15 |  3407625 |   115332 |  1631511      0 |        0 |        0
1029.59/1029.89	c 1000s |      15 |  3407990 |   115632 |  1631511      0 |        0 |        0
1032.49/1032.70	c 1002s |      15 |  3408206 |   115832 |  1631511      0 |        0 |        0
1034.59/1034.88	c 1005s |      15 |  3408438 |   116032 |  1631511      0 |        0 |        0
1036.89/1037.12	c 1007s |      15 |  3408668 |   116232 |  1631511      0 |        0 |        0
1039.79/1040.02	c 1010s |      15 |  3409011 |   116532 |  1631511      0 |        0 |        0
1042.38/1042.66	c 1012s |      15 |  3409231 |   116732 |  1631511      0 |        0 |        0
1044.79/1045.07	c 1015s |      15 |  3409469 |   116932 |  1631511      0 |        0 |        0
1047.48/1047.73	c 1017s |      15 |  3409686 |   117132 |  1631511      0 |        0 |        0
1049.58/1049.87	c 1019s |      15 |  3409928 |   117332 |  1631511      0 |        0 |        0
1052.28/1052.58	c 1022s |      15 |  3410164 |   117532 |  1631511      0 |        0 |        0
1055.08/1055.37	c 1025s |      15 |  3410390 |   117732 |  1631511      0 |        0 |        0
1058.27/1058.58	c 1028s |      15 |  3410627 |   117932 |  1631511      0 |        0 |        0
1061.39/1061.68	c 1031s |      15 |  3410856 |   118132 |  1631511      0 |        0 |        0
1064.37/1064.69	c 1034s |      15 |  3411091 |   118332 |  1631511      0 |        0 |        0
1067.47/1067.79	c 1037s |      15 |  3411345 |   118532 |  1631511      0 |        0 |        0
1072.38/1072.64	c 1042s |      15 |  3411554 |   118732 |  1631511      0 |        0 |        0
1074.77/1075.09	c 1045s |      15 |  3411793 |   118932 |  1631511      0 |        0 |        0
1077.07/1077.35	c 1047s |      15 |  3412026 |   119132 |  1631511      0 |        0 |        0
1079.77/1080.00	c 1050s |      15 |  3412390 |   119432 |  1631511      0 |        0 |        0
1081.77/1082.06	c 1052s |      15 |  3412605 |   119632 |  1631511      0 |        0 |        0
1084.17/1084.49	c 1054s |      15 |  3412833 |   119832 |  1631511      0 |        0 |        0
1086.97/1087.24	c 1057s |      15 |  3413055 |   120032 |  1631511      0 |        0 |        0
1089.98/1090.28	c 1060s |      15 |  3413271 |   120232 |  1631511      0 |        0 |        0
1092.67/1092.94	c 1063s |      15 |  3413502 |   120432 |  1631511      0 |        0 |        0
1095.06/1095.38	c 1065s |      15 |  3413992 |   120632 |  1631511      0 |        0 |        0
1097.46/1097.73	c 1067s |      15 |  3414285 |   120832 |  1631511      0 |        0 |        0
1099.77/1100.00	c 1070s |      15 |  3414544 |   121032 |  1631511      0 |        0 |        0
1101.97/1102.26	c 1072s |      15 |  3414788 |   121232 |  1631511      0 |        0 |        0
1104.36/1104.65	c 1074s |      15 |  3415022 |   121432 |  1631511      0 |        0 |        0
1106.55/1106.82	c 1076s |      15 |  3415292 |   121632 |  1631511      0 |        0 |        0
1108.86/1109.12	c 1079s |      15 |  3415645 |   121932 |  1631511      0 |        0 |        0
1110.96/1111.28	c 1081s |      15 |  3415874 |   122132 |  1631511      0 |        0 |        0
1113.65/1113.97	c 1084s |      15 |  3416107 |   122332 |  1631511      0 |        0 |        0
1116.25/1116.51	c 1086s |      15 |  3416326 |   122532 |  1631511      0 |        0 |        0
1118.25/1118.53	c 1088s |      15 |  3416577 |   122732 |  1631511      0 |        0 |        0
1120.54/1120.80	c 1090s |      15 |  3416801 |   122932 |  1631511      0 |        0 |        0
1123.45/1123.70	c 1093s |      15 |  3417023 |   123132 |  1631511      0 |        0 |        0
1125.84/1126.14	c 1096s |      15 |  3417142 |   123232 |  1631511      0 |        0 |        0
1129.14/1129.43	c 1099s |      15 |  3417489 |   123532 |  1631511      0 |        0 |        0
1131.34/1131.65	c 1101s |      15 |  3417758 |   123732 |  1631511      0 |        0 |        0
1133.44/1133.71	c 1103s |      15 |  3418153 |   123932 |  1631511      0 |        0 |        0
1136.24/1136.56	c 1106s |      15 |  3418366 |   124132 |  1631511      0 |        0 |        0
1138.44/1138.70	c 1108s |      15 |  3418649 |   124332 |  1631511      0 |        0 |        0
1141.03/1141.31	c 1111s |      15 |  3419443 |   124532 |  1631511      0 |        0 |        0
1144.14/1144.50	c 1114s |      15 |  3419731 |   124732 |  1631511      0 |        0 |        0
1147.43/1147.73	c 1117s |      15 |  3420346 |   124932 |  1631511      0 |        0 |        0
1150.04/1150.38	c 1120s |      15 |  3421132 |   125132 |  1631511      0 |        0 |        0
1153.14/1153.44	c 1123s |      15 |  3421588 |   125432 |  1631511      0 |        0 |        0
1155.23/1155.58	c 1125s |      15 |  3421826 |   125632 |  1631511      0 |        0 |        0
1157.53/1157.84	c 1127s |      15 |  3422117 |   125832 |  1631511      0 |        0 |        0
1159.94/1160.20	c 1130s |      15 |  3422425 |   126032 |  1631511      0 |        0 |        0
1162.83/1163.10	c 1133s |      15 |  3422652 |   126232 |  1631511      0 |        0 |        0
1165.34/1165.64	c 1135s |      15 |  3422971 |   126432 |  1631511      0 |        0 |        0
1168.14/1168.41	c 1138s |      15 |  3423077 |   126532 |  1631511      0 |        0 |        0
1170.14/1170.43	c 1140s |      15 |  3423339 |   126732 |  1631511      0 |        0 |        0
1172.34/1172.69	c 1142s |      15 |  3423591 |   126932 |  1631511      0 |        0 |        0
1175.33/1175.63	c 1145s |      15 |  3423951 |   127232 |  1631511      0 |        0 |        0
1177.73/1178.10	c 1148s |      15 |  3424213 |   127432 |  1631511      0 |        0 |        0
1180.04/1180.35	c 1150s |      15 |  3424540 |   127632 |  1631511      0 |        0 |        0
1182.43/1182.74	c 1152s |      15 |  3424787 |   127832 |  1631511      0 |        0 |        0
1185.33/1185.67	c 1155s |      15 |  3425346 |   128132 |  1631511      0 |        0 |        0
1187.33/1187.67	c 1157s |      15 |  3425609 |   128332 |  1631511      0 |        0 |        0
1190.04/1190.35	c 1160s |      15 |  3425830 |   128532 |  1631511      0 |        0 |        0
1192.63/1192.92	c 1163s |      15 |  3426073 |   128732 |  1631511      0 |        0 |        0
1195.03/1195.38	c 1165s |      15 |  3426306 |   128932 |  1631511      0 |        0 |        0
1197.22/1197.55	c 1167s |      15 |  3426526 |   129132 |  1631511      0 |        0 |        0
1200.02/1200.37	c 1170s |      15 |  3426849 |   129432 |  1631511      0 |        0 |        0
1202.04/1202.39	c 1172s |      15 |  3427080 |   129632 |  1631511      0 |        0 |        0
1204.42/1204.76	c 1174s |      15 |  3427316 |   129832 |  1631511      0 |        0 |        0
1206.83/1207.19	c 1177s |      15 |  3427534 |   130032 |  1631511      0 |        0 |        0
1209.62/1209.94	c 1180s |      15 |  3427776 |   130232 |  1631511      0 |        0 |        0
1212.42/1212.74	c 1182s |      15 |  3427991 |   130432 |  1631511      0 |        0 |        0
1214.92/1215.29	c 1185s |      15 |  3428233 |   130632 |  1631511      0 |        0 |        0
1218.53/1218.87	c 1188s |      15 |  3428497 |   130832 |  1794663      0 |        0 |        0
1220.62/1220.91	c 1191s |      15 |  3428728 |   131032 |  1794663      0 |        0 |        0
1222.93/1223.27	c 1193s |      15 |  3429026 |   131232 |  1794663      0 |        0 |        0
1225.42/1225.79	c 1195s |      15 |  3429236 |   131432 |  1794663      0 |        0 |        0
1227.02/1227.33	c 1197s |      16 |  3429391 |   131552 |  1794663      0 |        0 |        0
1231.02/1231.36	c 1201s |      16 |  3441895 |   131652 |  1794663      0 |        0 |        0
1233.42/1233.76	c 1203s |      16 |  3442380 |   131952 |  1794663      0 |        0 |        0
1235.42/1235.78	c 1205s |      16 |  3442626 |   132152 |  1794663      0 |        0 |        0
1238.32/1238.62	c 1208s |      16 |  3443004 |   132452 |  1794663      0 |        0 |        0
1240.41/1240.76	c 1210s |      16 |  3443207 |   132652 |  1794663      0 |        0 |        0
1242.62/1242.94	c 1213s |      16 |  3443453 |   132852 |  1794663      0 |        0 |        0
1246.12/1246.47	c 1216s |      16 |  3443887 |   133152 |  1794663      0 |        0 |        0
1249.12/1249.43	c 1219s |      16 |  3444166 |   133352 |  1794663      0 |        0 |        0
1251.81/1252.10	c 1222s |      16 |  3444440 |   133552 |  1794663      0 |        0 |        0
1255.71/1256.06	c 1226s |      16 |  3444702 |   133752 |  1794663      0 |        0 |        0
1257.71/1258.09	c 1228s |      16 |  3444940 |   133952 |  1794663      0 |        0 |        0
1260.61/1260.90	c 1231s |      16 |  3445185 |   134152 |  1794663      0 |        0 |        0
1263.11/1263.46	c 1233s |      16 |  3445436 |   134352 |  1794663      0 |        0 |        0
1265.82/1266.16	c 1236s |      16 |  3445688 |   134552 |  1794663      0 |        0 |        0
1268.31/1268.65	c 1238s |      16 |  3445927 |   134752 |  1794663      0 |        0 |        0
1271.01/1271.36	c 1241s |      16 |  3446164 |   134952 |  1794663      0 |        0 |        0
1273.31/1273.62	c 1243s |      16 |  3446443 |   135152 |  1794663      0 |        0 |        0
1275.71/1276.09	c 1246s |      16 |  3446682 |   135352 |  1794663      0 |        0 |        0
1277.91/1278.29	c 1248s |      16 |  3446914 |   135552 |  1794663      0 |        0 |        0
1280.91/1281.29	c 1251s |      16 |  3447143 |   135752 |  1794663      0 |        0 |        0
1283.30/1283.65	c 1253s |      16 |  3447412 |   135952 |  1794663      0 |        0 |        0
1285.90/1286.29	c 1256s |      16 |  3447640 |   136152 |  1794663      0 |        0 |        0
1288.30/1288.65	c 1258s |      16 |  3447872 |   136352 |  1794663      0 |        0 |        0
1290.60/1290.93	c 1261s |      16 |  3448118 |   136552 |  1794663      0 |        0 |        0
1293.20/1293.50	c 1263s |      16 |  3448343 |   136752 |  1794663      0 |        0 |        0
1295.80/1296.11	c 1266s |      16 |  3448583 |   136952 |  1794663      0 |        0 |        0
1298.20/1298.52	c 1268s |      16 |  3448818 |   137152 |  1794663      0 |        0 |        0
1300.70/1301.00	c 1271s |      16 |  3449060 |   137352 |  1794663      0 |        0 |        0
1303.21/1303.51	c 1273s |      16 |  3449337 |   137552 |  1794663      0 |        0 |        0
1305.80/1306.10	c 1276s |      16 |  3449448 |   137652 |  1794663      0 |        0 |        0
1308.40/1308.79	c 1278s |      16 |  3449807 |   137952 |  1794663      0 |        0 |        0
1310.90/1311.28	c 1281s |      16 |  3450175 |   138252 |  1794663      0 |        0 |        0
1313.99/1314.31	c 1284s |      16 |  3450519 |   138552 |  1794663      0 |        0 |        0
1316.40/1316.73	c 1286s |      16 |  3450869 |   138852 |  1794663      0 |        0 |        0
1318.60/1318.99	c 1289s |      16 |  3451131 |   139052 |  1794663      0 |        0 |        0
1320.90/1321.24	c 1291s |      16 |  3451373 |   139252 |  1794663      0 |        0 |        0
1323.79/1324.16	c 1294s |      16 |  3451736 |   139552 |  1794663      0 |        0 |        0
1326.00/1326.32	c 1296s |      16 |  3452036 |   139752 |  1794663      0 |        0 |        0
1328.39/1328.74	c 1298s |      16 |  3452306 |   139952 |  1794663      0 |        0 |        0
1331.00/1331.30	c 1301s |      16 |  3452556 |   140152 |  1794663      0 |        0 |        0
1333.70/1334.09	c 1304s |      16 |  3452794 |   140352 |  1794663      0 |        0 |        0
1336.09/1336.42	c 1306s |      16 |  3453006 |   140552 |  1794663      0 |        0 |        0
1338.39/1338.76	c 1308s |      16 |  3453238 |   140752 |  1794663      0 |        0 |        0
1340.89/1341.25	c 1311s |      16 |  3453496 |   140952 |  1794663      0 |        0 |        0
1342.99/1343.30	c 1313s |      16 |  3453825 |   141152 |  1794663      0 |        0 |        0
1345.00/1345.32	c 1315s |      16 |  3454059 |   141352 |  1794663      0 |        0 |        0
1347.39/1347.73	c 1317s |      16 |  3454164 |   141452 |  1794663      0 |        0 |        0
1349.59/1349.98	c 1320s |      16 |  3454426 |   141652 |  1794663      0 |        0 |        0
1351.89/1352.26	c 1322s |      16 |  3454651 |   141852 |  1794663      0 |        0 |        0
1354.39/1354.73	c 1324s |      16 |  3454887 |   142052 |  1794663      0 |        0 |        0
1357.19/1357.55	c 1327s |      16 |  3455144 |   142252 |  1794663      0 |        0 |        0
1359.68/1360.09	c 1330s |      16 |  3455425 |   142452 |  1794663      0 |        0 |        0
1362.28/1362.67	c 1332s |      16 |  3455671 |   142652 |  1794663      0 |        0 |        0
1364.88/1365.27	c 1335s |      16 |  3455939 |   142852 |  1794663      0 |        0 |        0
1367.98/1368.34	c 1338s |      16 |  3456170 |   143052 |  1794663      0 |        0 |        0
1370.88/1371.24	c 1341s |      16 |  3456504 |   143252 |  1794663      0 |        0 |        0
1373.58/1374.00	c 1344s |      16 |  3456787 |   143452 |  1794663      0 |        0 |        0
1376.27/1376.69	c 1346s |      16 |  3457025 |   143652 |  1794663      0 |        0 |        0
1378.87/1379.26	c 1349s |      16 |  3457296 |   143852 |  1794663      0 |        0 |        0
1381.39/1381.80	c 1351s |      16 |  3457535 |   144052 |  1794663      0 |        0 |        0
1384.07/1384.44	c 1354s |      16 |  3457784 |   144252 |  1794663      0 |        0 |        0
1386.78/1387.12	c 1357s |      16 |  3458017 |   144452 |  1794663      0 |        0 |        0
1390.77/1391.11	c 1361s |      16 |  3458258 |   144652 |  1794663      0 |        0 |        0
1392.97/1393.30	c 1363s |      16 |  3458510 |   144852 |  1794663      0 |        0 |        0
1395.17/1395.58	c 1365s |      16 |  3458728 |   145052 |  1794663      0 |        0 |        0
1397.47/1397.80	c 1367s |      16 |  3458996 |   145252 |  1794663      0 |        0 |        0
1400.27/1400.66	c 1370s |      16 |  3459278 |   145452 |  1794663      0 |        0 |        0
1403.47/1403.84	c 1373s |      16 |  3459505 |   145652 |  1794663      0 |        0 |        0
1406.27/1406.65	c 1376s |      16 |  3459731 |   145852 |  1794663      0 |        0 |        0
1409.17/1409.59	c 1379s |      16 |  3460288 |   146152 |  1794663      0 |        0 |        0
1411.56/1411.97	c 1382s |      16 |  3460600 |   146352 |  1794663      0 |        0 |        0
1413.97/1414.38	c 1384s |      16 |  3460834 |   146552 |  1794663      0 |        0 |        0
1416.47/1416.82	c 1386s |      16 |  3461059 |   146752 |  1794663      0 |        0 |        0
1418.86/1419.20	c 1389s |      16 |  3461398 |   146952 |  1794663      0 |        0 |        0
1421.46/1421.89	c 1392s |      16 |  3461699 |   147152 |  1794663      0 |        0 |        0
1424.06/1424.46	c 1394s |      16 |  3461963 |   147352 |  1794663      0 |        0 |        0
1426.47/1426.88	c 1397s |      16 |  3462074 |   147452 |  1794663      0 |        0 |        0
1428.76/1429.15	c 1399s |      16 |  3462302 |   147652 |  1794663      0 |        0 |        0
1431.76/1432.12	c 1402s |      16 |  3462564 |   147852 |  1794663      0 |        0 |        0
1434.96/1435.30	c 1405s |      16 |  3462809 |   148052 |  1794663      0 |        0 |        0
1437.76/1438.12	c 1408s |      16 |  3463181 |   148252 |  1794663      0 |        0 |        0
1440.36/1440.76	c 1410s |      16 |  3463422 |   148452 |  1794663      0 |        0 |        0
1442.55/1442.97	c 1413s |      16 |  3463654 |   148652 |  1794663      0 |        0 |        0
1445.55/1445.94	c 1416s |      16 |  3463940 |   148852 |  1794663      0 |        0 |        0
1448.76/1449.14	c 1419s |      16 |  3464160 |   149052 |  1794663      0 |        0 |        0
1451.35/1451.78	c 1421s |      16 |  3464400 |   149252 |  1794663      0 |        0 |        0
1454.25/1454.68	c 1424s |      16 |  3464613 |   149452 |  1794663      0 |        0 |        0
1456.75/1457.18	c 1427s |      16 |  3464858 |   149652 |  1794663      0 |        0 |        0
1459.25/1459.63	c 1429s |      16 |  3465099 |   149852 |  1794663      0 |        0 |        0
1462.06/1462.41	c 1432s |      16 |  3465202 |   149952 |  1794663      0 |        0 |        0
1464.56/1464.93	c 1435s |      16 |  3465406 |   150152 |  1794663      0 |        0 |        0
1466.86/1467.27	c 1437s |      16 |  3465632 |   150352 |  1794663      0 |        0 |        0
1469.45/1469.82	c 1439s |      16 |  3465874 |   150552 |  1794663      0 |        0 |        0
1472.35/1472.70	c 1442s |      16 |  3466254 |   150752 |  1794663      0 |        0 |        0
1474.95/1475.31	c 1445s |      16 |  3466484 |   150952 |  1794663      0 |        0 |        0
1477.64/1478.00	c 1448s |      16 |  3466800 |   151152 |  1794663      0 |        0 |        0
1480.36/1480.73	c 1450s |      16 |  3467166 |   151352 |  1794663      0 |        0 |        0
1483.15/1483.52	c 1453s |      16 |  3467529 |   151552 |  1794663      0 |        0 |        0
1486.25/1486.63	c 1456s |      16 |  3467791 |   151752 |  1794663      0 |        0 |        0
1488.85/1489.23	c 1459s |      16 |  3468066 |   151952 |  1794663      0 |        0 |        0
1491.65/1492.08	c 1462s |      16 |  3468493 |   152252 |  1794663      0 |        0 |        0
1494.25/1494.63	c 1464s |      16 |  3468593 |   152352 |  1794663      0 |        0 |        0
1496.65/1497.10	c 1467s |      16 |  3468838 |   152552 |  1794663      0 |        0 |        0
1499.45/1499.82	c 1469s |      16 |  3469075 |   152752 |  1794663      0 |        0 |        0
1502.15/1502.51	c 1472s |      16 |  3469387 |   152952 |  1794663      0 |        0 |        0
1505.04/1505.46	c 1475s |      16 |  3469663 |   153152 |  1794663      0 |        0 |        0
1507.75/1508.12	c 1478s |      16 |  3469878 |   153352 |  1794663      0 |        0 |        0
1510.64/1511.01	c 1481s |      16 |  3470133 |   153552 |  1794663      0 |        0 |        0
1513.04/1513.40	c 1483s |      16 |  3470363 |   153752 |  1794663      0 |        0 |        0
1515.34/1515.73	c 1485s |      16 |  3470600 |   153952 |  1794663      0 |        0 |        0
1517.75/1518.13	c 1488s |      16 |  3470857 |   154152 |  1794663      0 |        0 |        0
1520.13/1520.59	c 1490s |      16 |  3471086 |   154352 |  1794663      0 |        0 |        0
1522.44/1522.90	c 1493s |      16 |  3471322 |   154552 |  1794663      0 |        0 |        0
1525.13/1525.55	c 1495s |      16 |  3471536 |   154752 |  1794663      0 |        0 |        0
1528.13/1528.52	c 1498s |      16 |  3471662 |   154852 |  1794663      0 |        0 |        0
1530.63/1531.09	c 1501s |      16 |  3471942 |   155052 |  1794663      0 |        0 |        0
1533.43/1533.80	c 1503s |      16 |  3472210 |   155252 |  1794663      0 |        0 |        0
1535.83/1536.21	c 1506s |      16 |  3472467 |   155452 |  1794663      0 |        0 |        0
1538.03/1538.46	c 1508s |      16 |  3472667 |   155652 |  1794663      0 |        0 |        0
1540.84/1541.25	c 1511s |      16 |  3472961 |   155852 |  1794663      0 |        0 |        0
1543.63/1544.02	c 1514s |      16 |  3473198 |   156052 |  1794663      0 |        0 |        0
1546.12/1546.54	c 1516s |      16 |  3473464 |   156252 |  1794663      0 |        0 |        0
1548.93/1549.35	c 1519s |      16 |  3473798 |   156552 |  1794663      0 |        0 |        0
1551.52/1551.91	c 1522s |      16 |  3474059 |   156752 |  1794663      0 |        0 |        0
1553.83/1554.22	c 1524s |      16 |  3474328 |   156952 |  1794663      0 |        0 |        0
1556.43/1556.81	c 1526s |      16 |  3474543 |   157152 |  1794663      0 |        0 |        0
1560.13/1560.54	c 1530s |      16 |  3474784 |   157352 |  1794663      0 |        0 |        0
1562.93/1563.31	c 1533s |      16 |  3475037 |   157552 |  1794663      0 |        0 |        0
1565.72/1566.19	c 1536s |      16 |  3475264 |   157752 |  1794663      0 |        0 |        0
1568.63/1569.09	c 1539s |      16 |  3475476 |   157952 |  1794663      0 |        0 |        0
1570.72/1571.11	c 1541s |      16 |  3475695 |   158152 |  1794663      0 |        0 |        0
1573.33/1573.73	c 1543s |      16 |  3475946 |   158352 |  1794663      0 |        0 |        0
1576.21/1576.67	c 1546s |      16 |  3476165 |   158552 |  1794663      0 |        0 |        0
1579.23/1579.66	c 1549s |      16 |  3476399 |   158752 |  1794663      0 |        0 |        0
1581.91/1582.35	c 1552s |      16 |  3476617 |   158952 |  1794663      0 |        0 |        0
1584.52/1584.99	c 1555s |      16 |  3476841 |   159152 |  1794663      0 |        0 |        0
1587.12/1587.59	c 1557s |      16 |  3477059 |   159352 |  1794663      0 |        0 |        0
1591.71/1592.16	c 1562s |      16 |  3477319 |   159552 |  1794663      0 |        0 |        0
1594.51/1594.92	c 1565s |      16 |  3477541 |   159752 |  1794663      0 |        0 |        0
1597.21/1597.61	c 1567s |      16 |  3477773 |   159952 |  1794663      0 |        0 |        0
1599.91/1600.35	c 1570s |      16 |  3478031 |   160152 |  1794663      0 |        0 |        0
1602.32/1602.71	c 1572s |      16 |  3478257 |   160352 |  1794663      0 |        0 |        0
1604.82/1605.29	c 1575s |      16 |  3478483 |   160552 |  1794663      0 |        0 |        0
1607.51/1607.99	c 1578s |      16 |  3478703 |   160752 |  1794663      0 |        0 |        0
1609.61/1610.10	c 1580s |      16 |  3478976 |   160952 |  1794663      0 |        0 |        0
1612.81/1613.24	c 1583s |      16 |  3479216 |   161152 |  1794663      0 |        0 |        0
1615.31/1615.73	c 1585s |      16 |  3479501 |   161352 |  1794663      0 |        0 |        0
1618.11/1618.56	c 1588s |      16 |  3479805 |   161552 |  1794663      0 |        0 |        0
1620.71/1621.16	c 1591s |      16 |  3480069 |   161752 |  1794663      0 |        0 |        0
1623.71/1624.12	c 1594s |      16 |  3480177 |   161852 |  1794663      0 |        0 |        0
1626.71/1627.14	c 1597s |      16 |  3480424 |   162052 |  1794663      0 |        0 |        0
1629.40/1629.84	c 1599s |      16 |  3480696 |   162252 |  1794663      0 |        0 |        0
1632.01/1632.44	c 1602s |      16 |  3480941 |   162452 |  1794663      0 |        0 |        0
1634.21/1634.65	c 1604s |      16 |  3481161 |   162652 |  1794663      0 |        0 |        0
1637.10/1637.52	c 1607s |      16 |  3481416 |   162852 |  1794663      0 |        0 |        0
1639.71/1640.13	c 1610s |      16 |  3481645 |   163052 |  1794663      0 |        0 |        0
1642.69/1643.13	c 1613s |      16 |  3481871 |   163252 |  1794663      0 |        0 |        0
1645.49/1645.94	c 1616s |      16 |  3482096 |   163452 |  1794663      0 |        0 |        0
1647.89/1648.39	c 1618s |      16 |  3482321 |   163652 |  1794663      0 |        0 |        0
1650.79/1651.24	c 1621s |      16 |  3482560 |   163852 |  1794663      0 |        0 |        0
1653.89/1654.32	c 1624s |      16 |  3482669 |   163952 |  1794663      0 |        0 |        0
1656.59/1657.09	c 1627s |      16 |  3482893 |   164152 |  1794663      0 |        0 |        0
1659.39/1659.82	c 1629s |      16 |  3483159 |   164352 |  1794663      0 |        0 |        0
1662.39/1662.88	c 1633s |      16 |  3483386 |   164552 |  1794663      0 |        0 |        0
1665.59/1666.07	c 1636s |      16 |  3483607 |   164752 |  1794663      0 |        0 |        0
1668.08/1668.57	c 1638s |      16 |  3483815 |   164952 |  1794663      0 |        0 |        0
1670.89/1671.34	c 1641s |      16 |  3484076 |   165152 |  1794663      0 |        0 |        0
1673.59/1674.05	c 1644s |      16 |  3484306 |   165352 |  1794663      0 |        0 |        0
1676.19/1676.66	c 1646s |      16 |  3484556 |   165552 |  1794663      0 |        0 |        0
1679.09/1679.59	c 1649s |      16 |  3484778 |   165752 |  1794663      0 |        0 |        0
1683.49/1683.96	c 1654s |      16 |  3485011 |   165952 |  1794663      0 |        0 |        0
1686.99/1687.42	c 1657s |      16 |  3485288 |   166152 |  1794663      0 |        0 |        0
1690.68/1691.16	c 1661s |      16 |  3485513 |   166352 |  1794663      0 |        0 |        0
1692.88/1693.36	c 1663s |      16 |  3485659 |   166452 |  1794663      0 |        0 |        0
1697.07/1697.50	c 1667s |      16 |  3485915 |   166652 |  1794663      0 |        0 |        0
1700.87/1701.40	c 1671s |      16 |  3486166 |   166852 |  1794663      0 |        0 |        0
1704.46/1704.99	c 1675s |      16 |  3486449 |   167052 |  1794663      0 |        0 |        0
1708.37/1708.87	c 1678s |      16 |  3486706 |   167252 |  1794663      0 |        0 |        0
1712.17/1712.68	c 1682s |      16 |  3486943 |   167452 |  1794663      0 |        0 |        0
1714.47/1714.91	c 1685s |      16 |  3487067 |   167552 |  1794663      0 |        0 |        0
1717.88/1718.32	c 1688s |      16 |  3487159 |   167652 |  1794663      0 |        0 |        0
1721.17/1721.68	c 1691s |      16 |  3487408 |   167852 |  1794663      0 |        0 |        0
1723.97/1724.40	c 1694s |      16 |  3487627 |   168052 |  1794663      0 |        0 |        0
1726.67/1727.12	c 1697s |      16 |  3487877 |   168252 |  1794663      0 |        0 |        0
1729.37/1729.80	c 1699s |      16 |  3488107 |   168452 |  1794663      0 |        0 |        0
1731.86/1732.37	c 1702s |      16 |  3488343 |   168652 |  1794663      0 |        0 |        0
1734.56/1735.03	c 1705s |      16 |  3488581 |   168852 |  1794663      0 |        0 |        0
1737.67/1738.14	c 1708s |      16 |  3488805 |   169052 |  1794663      0 |        0 |        0
1740.16/1740.68	c 1710s |      16 |  3489058 |   169252 |  1794663      0 |        0 |        0
1744.66/1745.17	c 1715s |      16 |  3489320 |   169452 |  1794663      0 |        0 |        0
1748.25/1748.77	c 1718s |      16 |  3489566 |   169652 |  1794663      0 |        0 |        0
1751.65/1752.15	c 1722s |      16 |  3489856 |   169852 |  1794663      0 |        0 |        0
1755.05/1755.58	c 1725s |      16 |  3490101 |   170052 |  1794663      0 |        0 |        0
1758.05/1758.52	c 1728s |      16 |  3490342 |   170252 |  1794663      0 |        0 |        0
1761.25/1761.73	c 1731s |      16 |  3490564 |   170452 |  1794663      0 |        0 |        0
1765.15/1765.62	c 1735s |      16 |  3490811 |   170652 |  1794663      0 |        0 |        0
1768.55/1769.03	c 1739s |      16 |  3491057 |   170852 |  1794663      0 |        0 |        0
1771.95/1772.47	c 1742s |      16 |  3491317 |   171052 |  1794663      0 |        0 |        0
1777.06/1777.52	c 1747s |      16 |  3491602 |   171252 |  1794663      0 |        0 |        0
1780.56/1781.02	c 1751s |      16 |  3491865 |   171452 |  1794663      0 |        0 |        0
1784.25/1784.75	c 1754s |      16 |  3492079 |   171652 |  1794663      0 |        0 |        0
1787.05/1787.59	c 1757s |      16 |  3492304 |   171852 |  1794663      0 |        0 |        0
1789.95/1790.50	c 1760s |      16 |  3492528 |   172052 |  1794663      0 |        0 |        0
1792.75/1793.28	c 1763s |      16 |  3492778 |   172252 |  1794663      0 |        0 |        0
1795.54/1796.02	c 1766s |      16 |  3493007 |   172452 |  1794663      0 |        0 |        0
1798.54/1799.04	c 1769s |      16 |  3493230 |   172652 |  1794663      0 |        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-4078851-1465276983/watcher-4078851-1465276983 -o /tmp/evaluation-result-4078851-1465276983/solver-4078851-1465276983 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078851-1465276983.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.17 2.17 3/179 9403
/proc/meminfo: memFree=29256852/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=686660 CPUtime=0 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 2556 0 0 0 0 0 0 0 20 0 4 0 109631608 703139840 2917 33554432000 4194304 16246674 140733452286800 140733452286224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 172433 2926 442 2943 0 169327 0
[pid=9403/tid=9404] ppid=9400 vsize=704068 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 720965632 2985 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=708164 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 725159936 3001 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=712260 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109631608 729354240 3017 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.23 2.17 2.17 3/179 9403
/proc/meminfo: memFree=29256852/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 25346 0 0 0 6 3 0 0 20 0 4 0 109631608 1332285440 25645 33554432000 4194304 16246674 140733452286800 140733452286112 7367185 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 325265 25662 801 2943 0 322159 0
[pid=9403/tid=9404] ppid=9400 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1332285440 25672 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1332285440 25683 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1332285440 25695 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200536 s]
/proc/loadavg: 2.23 2.17 2.17 3/179 9403
/proc/meminfo: memFree=29256852/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 49002 0 0 0 12 7 0 0 20 0 4 0 109631608 1343819776 49812 33554432000 4194304 16246674 140733452286800 140733452286112 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 328081 49818 802 2943 0 324975 0
[pid=9403/tid=9404] ppid=9400 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1344868352 49827 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1344868352 49831 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1344868352 49835 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300502 s]
/proc/loadavg: 2.23 2.17 2.17 3/179 9403
/proc/meminfo: memFree=29256852/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 61146 0 0 0 20 9 0 0 20 0 4 0 109631608 1345916928 61955 33554432000 4194304 16246674 140733452286800 140733452286112 13892440 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 328593 61955 802 2943 0 325487 0
[pid=9403/tid=9404] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 61955 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 61955 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 61955 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700445 s]
/proc/loadavg: 2.23 2.17 2.17 3/179 9403
/proc/meminfo: memFree=29256852/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 71745 0 0 0 58 10 0 0 20 0 4 0 109631608 1345916928 72554 33554432000 4194304 16246674 140733452286800 140733452284608 7440008 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 328593 72554 802 2943 0 325487 0
[pid=9403/tid=9404] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 72554 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 72554 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 72554 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 9407
/proc/meminfo: memFree=28921760/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 86753 0 0 0 136 13 0 0 20 0 4 0 109631608 1345916928 87562 33554432000 4194304 16246674 140733452286800 140733452284608 13967847 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 328593 87562 803 2943 0 325487 0
[pid=9403/tid=9404] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 87562 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 87562 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1345916928 87562 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 9407
/proc/meminfo: memFree=28852616/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1324612 CPUtime=3.08 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 118199 0 0 0 292 16 0 0 20 0 4 0 109631608 1356402688 119008 33554432000 4194304 16246674 140733452286800 140733452269792 7440126 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 331153 119008 803 2943 0 328047 0
[pid=9403/tid=9404] ppid=9400 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1356402688 119008 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1356402688 119008 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1356402688 119008 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30044 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 9407
/proc/meminfo: memFree=28361052/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1373764 CPUtime=6.29 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 216490 0 0 0 597 32 0 0 20 0 4 0 109631608 1406734336 225986 33554432000 4194304 16246674 140733452286800 140733452269792 13965719 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 343441 225986 803 2943 0 340335 0
[pid=9403/tid=9404] ppid=9400 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1406734336 225986 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1406734336 225986 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1406734336 225986 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1373764

[startup+12.7004 s]
/proc/loadavg: 2.20 2.16 2.17 3/183 9407
/proc/meminfo: memFree=28020088/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=1473092 CPUtime=12.69 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 296638 0 0 0 1226 43 0 0 20 0 4 0 109631608 1508446208 309711 33554432000 4194304 16246674 140733452286800 140733452268672 4206664 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 368273 309711 848 2943 0 365167 0
[pid=9403/tid=9404] ppid=9400 vsize=1473092 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 1508446208 309711 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=1473092 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 1508446208 309711 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=1473092 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 1508446208 309711 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1473092

[startup+25.5005 s]
/proc/loadavg: 2.15 2.15 2.16 3/183 9407
/proc/meminfo: memFree=27160944/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=2331204 CPUtime=25.48 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 511173 0 0 0 2473 75 0 0 20 0 4 0 109631608 2387152896 524246 33554432000 4194304 16246674 140733452286800 140733452285976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 582801 524246 849 2943 0 579695 0
[pid=9403/tid=9404] ppid=9400 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 2387152896 524246 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 2387152896 524246 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 2387152896 524246 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2331204

[startup+51.1005 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 9407
/proc/meminfo: memFree=26759120/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=2733636 CPUtime=51.08 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 611824 0 0 0 5017 91 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 140733452268672 5829044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 683409 624897 891 2943 0 680303 0
[pid=9403/tid=9404] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2733636

[startup+102.301 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 9408
/proc/meminfo: memFree=26758916/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=2733636 CPUtime=102.28 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 611824 0 0 0 10135 93 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 140733452268672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 683409 624897 891 2943 0 680303 0
[pid=9403/tid=9404] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=2733636 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 2799243264 624897 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2733636


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

/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3135836160 707077 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 3062340

[startup+1362.3 s]
/proc/loadavg: 2.19 2.13 2.10 3/183 9536
/proc/meminfo: memFree=26345592/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3101252 CPUtime=1361.98 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 703810 0 0 0 136033 165 0 0 20 0 4 0 109631608 3175682048 716718 33554432000 4194304 16246674 140733452286800 140733452268672 5823709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 775313 716718 892 2943 0 772207 0
[pid=9403/tid=9404] ppid=9400 vsize=3101252 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3175682048 716718 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3101252 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3175682048 716718 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3101252 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3175682048 716718 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 3101252

[startup+1422.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 9538
/proc/meminfo: memFree=26324368/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3121732 CPUtime=1421.97 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 709036 0 0 0 142025 172 0 0 20 0 4 0 109631608 3196653568 721925 33554432000 4194304 16246674 140733452286800 140733452285976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 780433 721925 892 2943 0 777327 0
[pid=9403/tid=9404] ppid=9400 vsize=3121732 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3196653568 721925 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3121732 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3196653568 721925 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3121732 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3196653568 721925 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 3121732

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.09 4/183 9539
/proc/meminfo: memFree=26290704/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3155524 CPUtime=1481.94 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 717492 0 0 0 148015 179 0 0 20 0 4 0 109631608 3231256576 730373 33554432000 4194304 16246674 140733452286800 140733452285896 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 788881 730373 892 2943 0 785775 0
[pid=9403/tid=9404] ppid=9400 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3231256576 730373 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3231256576 730373 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3155524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3231256576 730373 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 3155524

[startup+1542.31 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 9540
/proc/meminfo: memFree=26261600/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3184196 CPUtime=1541.93 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 724612 0 0 0 154005 188 0 0 20 0 4 0 109631608 3260616704 737472 33554432000 4194304 16246674 140733452286800 140733452285976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 796049 737472 892 2943 0 792943 0
[pid=9403/tid=9404] ppid=9400 vsize=3184196 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3260616704 737472 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3184196 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3260616704 737472 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3184196 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3260616704 737472 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 3184196

[startup+1602.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/183 9541
/proc/meminfo: memFree=26231988/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3213892 CPUtime=1601.91 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 731979 0 0 0 159994 197 0 0 20 0 4 0 109631608 3291025408 744826 33554432000 4194304 16246674 140733452286800 140733452285976 5827969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 803473 744826 892 2943 0 800367 0
[pid=9403/tid=9404] ppid=9400 vsize=3213892 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3291025408 744826 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3213892 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3291025408 744826 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3213892 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3291025408 744826 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 3213892

[startup+1662.3 s]
/proc/loadavg: 2.30 2.17 2.11 4/184 9545
/proc/meminfo: memFree=26206184/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3239492 CPUtime=1661.89 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 738497 0 0 0 165982 207 0 0 20 0 4 0 109631608 3317239808 751321 33554432000 4194304 16246674 140733452286800 140733452285896 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 809873 751321 892 2943 0 806767 0
[pid=9403/tid=9404] ppid=9400 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3317239808 751321 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3317239808 751321 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3317239808 751321 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 3239492

[startup+1722.3 s]
/proc/loadavg: 2.30 2.20 2.12 3/183 9547
/proc/meminfo: memFree=26182604/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3263044 CPUtime=1721.86 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 744413 0 0 0 171971 215 0 0 20 0 4 0 109631608 3341357056 757220 33554432000 4194304 16246674 140733452286800 140733452285976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 815761 757220 892 2943 0 812655 0
[pid=9403/tid=9404] ppid=9400 vsize=3263044 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3341357056 757220 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3263044 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3341357056 757220 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3263044 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3341357056 757220 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 3263044

[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 9548
/proc/meminfo: memFree=26162176/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3283524 CPUtime=1781.85 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 749455 0 0 0 177961 224 0 0 20 0 4 0 109631608 3362328576 762253 33554432000 4194304 16246674 140733452286800 140733452285976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 820881 762253 892 2943 0 817775 0
[pid=9403/tid=9404] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762253 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762253 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762253 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 3283524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.34 2.21 2.12 4/182 9548
/proc/meminfo: memFree=26161848/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3283524 CPUtime=1800.04 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 749584 0 0 0 179778 226 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 140733452285976 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 820881 762373 892 2943 0 817775 0
[pid=9403/tid=9404] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3283524

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

[startup+1800.5 s]
/proc/loadavg: 2.34 2.21 2.12 4/182 9548
/proc/meminfo: memFree=26161848/32872528 swapFree=16252/1391864
[pid=9403] ppid=9400 vsize=3283524 CPUtime=1800.04 cores=1,3,5,7
/proc/9403/stat : 9403 (toysat) R 9400 9403 5783 0 -1 4202496 749584 0 0 0 179778 226 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 140733452285976 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9403/statm: 820881 762373 892 2943 0 817775 0
[pid=9403/tid=9404] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9404/stat : 9404 (toysat) S 9400 9403 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646197542128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9403/tid=9405] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9405/stat : 9405 (toysat) S 9400 9403 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646187052272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9403/tid=9406] ppid=9400 vsize=3283524 CPUtime=0 cores=1,3,5,7
/proc/9403/task/9406/stat : 9406 (toysat) S 9400 9403 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109631608 3362328576 762373 33554432000 4194304 16246674 140733452286800 139646176578736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3283524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.58
CPU time (s): 1800.13
CPU user time (s): 1797.79
CPU system time (s): 2.33564
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 3283524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.33564
maximum resident set size= 3049492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749584
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= 407
involuntary context switches= 2059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45871 second user time and 9.43356 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 07:23:05
IDJOB=4078851
IDBENCH=89800
IDSOLVER=2542
FILE ID=node119/4078851-1465276983
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-122.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078851-1465276983/watcher-4078851-1465276983 -o /tmp/evaluation-result-4078851-1465276983/solver-4078851-1465276983 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078851-1465276983.opb

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

MD5SUM BENCH= 45533d52c524a74641c715d4320b890b
RANDOM SEED=774115257

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29257496 kB
Buffers:          126500 kB
Cached:           241560 kB
SwapCached:          888 kB
Active:          1304016 kB
Inactive:         179164 kB
Active(anon):    1115648 kB
Inactive(anon):     1712 kB
Active(file):     188368 kB
Inactive(file):   177452 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             66040 kB
Writeback:             0 kB
AnonPages:       2506468 kB
Mapped:            10756 kB
Shmem:                 0 kB
Slab:             603508 kB
SReclaimable:      47072 kB
SUnreclaim:       556436 kB
KernelStack:        1464 kB
PageTables:         9028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2651028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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= 71648 MiB
End job on node119 at 2016-06-07 07:53:05