Trace number 4106844

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.51

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
MD5SUMd38f526c1f6f5ee8e5e4d2c41b31df8d
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

Solver Data 

0.00/0.00	c 2016-06-18T21:46:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106844-1466279212.opb"]
0.00/0.01	c use --random-gen="2473824790 925979109 1761965789 109800249 4170397193 3420066725 2899561529 4201687151 979690457 2476724020 3008864058 1717506335 1672594093 4264825396 1212432374 2766606139 2970055429 2064867977 2583486110 1527483058 4240377727 3075797392 3853637523 389576429 4063170699 2316393343 1203153878 1382056603 16692346 1625791521 3599424920 2530310131 2224595702 2586231880 1175402318 2235061813 2854875907 871054132 2394945461 4220550627 1337663095 1611228599 4284335381 4095164815 2903838983 2047400098 3615179021 3580110735 26576833 1339382576 1437295158 2346078350 2961358458 1512117902 2498700480 2717479807 342728312 2473606019 2597867726 962455768 2051242470 2907005087 3526748108 3352380680 2204114491 3879124695 1780055078 640489322 541676553 1789315625 681677943 1651720315 1302671602 3828070742 3606110475 2122616115 788663119 1256545546 3155455825 1160031202 3879430607 4155020223 1899542282 987279608 2746821179 879228590 2187418902 1245057222 1578573019 4271093181 342186441 3798975792 1174556401 1180976476 2895789243 4071985582 2963421981 4118936096 1099933092 3362245832 849444197 2680644797 3944708063 110464790 3885858132 1566420199 968456161 734566235 4121930261 908325291 22817700 1830870226 3619818669 817456555 1728697420 2278018556 2322737277 1912132692 2571522723 2993471097 3659630247 3955272743 2177635367 1642727140 2352697494 3205582614 498088942 3200485992 2219527919 1701127682 152452036 3909451763 846861406 1148210141 7274106 4128353824 1647641336 2991786193 3952002358 4241665847 445343706 991016545 501340563 3801536191 857869717 1624040380 699824447 17516167 798525141 128498534 684554228 2695148411 1601081526 2194193813 2664644420 2592849388 1528078618 178622980 372168048 1990389369 2373385173 1308774105 3074918986 1397860294 682103004 2444377189 1227616119 2155838144 2902678972 2477755472 3299342334 3368146768 2812444464 2551231486 1609226983 4223067207 3469312439 432348714 3238011131 3752103891 2581668474 1848705248 4199780537 2668208376 3998084292 3910936026 3067408011 2834480297 362348717 3236427347 2709316473 14184538 3280199977 3691332205 2036796459 3409114871 2739555206 1661278553 3643089864 1618356930 1811304063 593096839 3050554187 3462370878 1897377189 4128595525 750952466 1832995448 3132056620 1978281110 3073624954 536617517 1915602422 2972935046 294229460 2655636998 662319009 3607686956 1605302209 1189033336 2757247844 73671434 4238448093 3932752556 2419940520 3880028414 465992798 2373659849 2629449307 3987033485 1368226128 1280412044 62913167 4247448655 4082798678 4168716029 1311467787 1791727461 2241260372 400550072 2686946909 4093688724 4127276758 370705018 2732246486 3196790276 913470631 3667633695 3648903223 3251321363 3127846469 653103590 494279109 2677866666 1094943121 80694964 255 362436" option to reproduce the execution
0.09/0.12	c #vars 1000
0.09/0.12	c #constraints 1502
0.48/0.54	c Solving starts ...
0.48/0.54	c ============================[ Search Statistics ]============================
0.48/0.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.54	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.54	c =============================================================================
0.48/0.54	c  0.0s |       0 |        0 |        0 |    11281      0 |        0 |        0
0.88/0.98	c  0.4s |       1 |      664 |      100 |    11281      0 |        0 |        0
1.19/1.24	c  0.7s |       2 |    32787 |      250 |    12410      0 |        0 |        0
1.38/1.49	c  0.9s |       3 |    65171 |      475 |    13652      0 |        0 |        0
3.99/4.05	c  3.5s |       4 |    87054 |      813 |    15018      0 |        0 |        0
7.49/7.54	c  7.0s |       4 |    87302 |      913 |    16520      0 |        0 |        0
10.99/11.06	c 10.5s |       4 |    87425 |     1013 |    16520      0 |        0 |        0
14.49/14.58	c 14.0s |       4 |    87507 |     1113 |    16520      0 |        0 |        0
17.99/18.08	c 17.5s |       4 |    87601 |     1213 |    16520      0 |        0 |        0
21.38/21.45	c 20.9s |       4 |    87905 |     1313 |    16520      0 |        0 |        0
21.48/21.50	c 21.0s |       5 |    88111 |     1320 |    16520      0 |        0 |        0
24.19/24.26	c 23.7s |       5 |    95406 |     1520 |    18172      0 |        0 |        0
26.39/26.47	c 25.9s |       5 |   120097 |     1920 |    18172      0 |        0 |        0
28.48/28.58	c 28.0s |       6 |   126427 |     2081 |    19990      0 |        0 |        0
30.79/30.88	c 30.3s |       6 |   134394 |     2381 |    19990      0 |        0 |        0
33.58/33.67	c 33.1s |       6 |   135139 |     2581 |    19990      0 |        0 |        0
36.08/36.10	c 35.6s |       6 |   136558 |     2781 |    19990      0 |        0 |        0
38.49/38.56	c 38.0s |       6 |   151128 |     2981 |    19990      0 |        0 |        0
39.88/39.99	c 39.4s |       7 |   165241 |     3223 |    21989      0 |        0 |        0
42.28/42.33	c 41.8s |       7 |   195828 |     3623 |    21989      0 |        0 |        0
44.78/44.81	c 44.3s |       7 |   197868 |     3923 |    21989      0 |        0 |        0
46.78/46.84	c 46.3s |       7 |   198860 |     4123 |    21989      0 |        0 |        0
49.38/49.42	c 48.9s |       7 |   222760 |     4723 |    21989      0 |        0 |        0
51.18/51.29	c 50.8s |       8 |   224225 |     4936 |    24188      0 |        0 |        0
55.08/55.14	c 54.6s |       8 |   224970 |     5236 |    24188      0 |        0 |        0
57.08/57.14	c 56.6s |       8 |   225854 |     5436 |    24188      0 |        0 |        0
59.68/59.73	c 59.2s |       8 |   235784 |     5636 |    24188      0 |        0 |        0
61.98/62.05	c 61.5s |       8 |   237987 |     5836 |    24188      0 |        0 |        0
64.08/64.18	c 63.6s |       8 |   282980 |     6336 |    24188      0 |        0 |        0
67.37/67.40	c 66.9s |       8 |   289374 |     6636 |    24188      0 |        0 |        0
69.77/69.81	c 69.3s |       8 |   290295 |     6936 |    24188      0 |        0 |        0
72.07/72.15	c 71.6s |       8 |   313458 |     7336 |    24188      0 |        0 |        0
75.27/75.35	c 74.8s |       9 |   313655 |     7506 |    26607      0 |        0 |        0
78.57/78.61	c 78.1s |       9 |   337252 |     7906 |    26607      0 |        0 |        0
82.27/82.36	c 81.8s |       9 |   337425 |     8106 |    26607      0 |        0 |        0
84.97/85.06	c 84.5s |       9 |   358184 |     8406 |    26607      0 |        0 |        0
88.67/88.73	c 88.2s |       9 |   359211 |     8706 |    26607      0 |        0 |        0
91.28/91.30	c 90.8s |       9 |   380704 |     9106 |    26607      0 |        0 |        0
94.37/94.43	c 93.9s |       9 |   380817 |     9306 |    26607      0 |        0 |        0
96.57/96.61	c 96.1s |       9 |   401606 |     9606 |    26607      0 |        0 |        0
99.87/99.98	c 99.4s |       9 |   401606 |     9806 |    26607      0 |        0 |        0
102.07/102.10	c  101s |       9 |   406019 |     9906 |    26607      0 |        0 |        0
104.77/104.87	c  104s |       9 |   428369 |    10306 |    26607      0 |        0 |        0
106.87/106.97	c  106s |       9 |   429120 |    10606 |    26607      0 |        0 |        0
109.17/109.22	c  108s |       9 |   448723 |    10906 |    26607      0 |        0 |        0
111.57/111.66	c  111s |       9 |   453952 |    11306 |    29268      0 |        0 |        0
112.07/112.20	c  111s |      10 |   454935 |    11361 |    29268      0 |        0 |        0
114.27/114.35	c  113s |      10 |   455447 |    11461 |    29268      0 |        0 |        0
116.77/116.84	c  116s |      10 |   455833 |    11661 |    29268      0 |        0 |        0
119.97/120.05	c  119s |      10 |   477827 |    12061 |    29268      0 |        0 |        0
124.87/124.90	c  124s |      10 |   477827 |    12261 |    29268      0 |        0 |        0
127.46/127.59	c  127s |      10 |   499555 |    12561 |    29268      0 |        0 |        0
130.36/130.46	c  129s |      10 |   518206 |    12861 |    29268      0 |        0 |        0
134.96/135.07	c  134s |      10 |   519951 |    13161 |    29268      0 |        0 |        0
137.76/137.80	c  137s |      10 |   541403 |    13561 |    29268      0 |        0 |        0
139.86/139.98	c  139s |      10 |   546040 |    13761 |    29268      0 |        0 |        0
142.16/142.28	c  141s |      10 |   546226 |    13861 |    29268      0 |        0 |        0
145.46/145.60	c  145s |      10 |   562741 |    14261 |    29268      0 |        0 |        0
148.06/148.15	c  147s |      10 |   563009 |    14461 |    29268      0 |        0 |        0
150.16/150.23	c  149s |      10 |   580686 |    14761 |    29268      0 |        0 |        0
152.16/152.26	c  151s |      10 |   580686 |    14861 |    29268      0 |        0 |        0
154.26/154.34	c  153s |      10 |   598991 |    15061 |    29268      0 |        0 |        0
156.66/156.79	c  156s |      10 |   600571 |    15261 |    29268      0 |        0 |        0
158.96/159.07	c  158s |      10 |   600642 |    15361 |    29268      0 |        0 |        0
161.46/161.53	c  160s |      10 |   618082 |    15661 |    29268      0 |        0 |        0
163.46/163.59	c  163s |      10 |   637753 |    15961 |    29268      0 |        0 |        0
166.76/166.86	c  166s |      10 |   638550 |    16161 |    29268      0 |        0 |        0
168.96/169.02	c  168s |      10 |   658540 |    16561 |    29268      0 |        0 |        0
171.56/171.67	c  171s |      10 |   662106 |    16861 |    29268      0 |        0 |        0
173.86/173.97	c  173s |      11 |   662947 |    17144 |    32195      0 |        0 |        0
176.56/176.68	c  176s |      11 |   685718 |    17544 |    32195      0 |        0 |        0
180.66/180.72	c  180s |      11 |   685888 |    17744 |    32195      0 |        0 |        0
182.66/182.74	c  182s |      11 |   710337 |    18044 |    32195      0 |        0 |        0
184.76/184.90	c  184s |      11 |   712653 |    18244 |    32195      0 |        0 |        0
187.15/187.22	c  186s |      11 |   712653 |    18344 |    32195      0 |        0 |        0
189.26/189.31	c  188s |      11 |   723342 |    18544 |    32195      0 |        0 |        0
191.36/191.41	c  190s |      11 |   750854 |    18844 |    32195      0 |        0 |        0
195.45/195.57	c  195s |      11 |   752871 |    19044 |    32195      0 |        0 |        0
198.06/198.18	c  197s |      11 |   773605 |    19344 |    32195      0 |        0 |        0
201.65/201.79	c  201s |      11 |   774419 |    19544 |    32195      0 |        0 |        0
203.75/203.80	c  203s |      11 |   780116 |    19844 |    32195      0 |        0 |        0
205.95/206.02	c  205s |      11 |   794664 |    20144 |    32195      0 |        0 |        0
209.06/209.14	c  208s |      11 |   796000 |    20444 |    32195      0 |        0 |        0
211.85/211.98	c  211s |      11 |   817713 |    20844 |    32195      0 |        0 |        0
215.66/215.77	c  215s |      11 |   817763 |    21044 |    32195      0 |        0 |        0
218.05/218.14	c  217s |      11 |   851707 |    21344 |    32195      0 |        0 |        0
221.55/221.68	c  221s |      11 |   852171 |    21544 |    32195      0 |        0 |        0
223.95/224.02	c  223s |      11 |   852171 |    21644 |    32195      0 |        0 |        0
225.95/226.05	c  225s |      11 |   872016 |    21944 |    32195      0 |        0 |        0
229.15/229.29	c  228s |      11 |   872750 |    22244 |    32195      0 |        0 |        0
232.05/232.14	c  231s |      11 |   895655 |    22644 |    32195      0 |        0 |        0
235.45/235.53	c  234s |      11 |   895931 |    22844 |    32195      0 |        0 |        0
237.84/237.94	c  237s |      11 |   919273 |    23244 |    32195      0 |        0 |        0
240.34/240.45	c  239s |      11 |   921412 |    23444 |    32195      0 |        0 |        0
242.44/242.57	c  242s |      11 |   939260 |    23744 |    32195      0 |        0 |        0
244.94/245.05	c  244s |      11 |   941474 |    24044 |    32195      0 |        0 |        0
246.94/247.09	c  246s |      11 |   942120 |    24244 |    32195      0 |        0 |        0
250.05/250.13	c  249s |      11 |   961192 |    24644 |    32195      0 |        0 |        0
252.25/252.35	c  251s |      11 |   962564 |    24944 |    32195      0 |        0 |        0
254.65/254.70	c  254s |      11 |   986255 |    25244 |    32195      0 |        0 |        0
257.05/257.16	c  256s |      11 |   994280 |    25544 |    32195      0 |        0 |        0
258.65/258.78	c  258s |      12 |   995183 |    25819 |    35415      0 |        0 |        0
260.95/261.07	c  260s |      12 |  1013339 |    26119 |    35415      0 |        0 |        0
263.75/263.84	c  263s |      12 |  1015274 |    26419 |    35415      0 |        0 |        0
265.95/266.06	c  265s |      12 |  1019933 |    26719 |    35415      0 |        0 |        0
268.85/268.91	c  268s |      12 |  1037453 |    27119 |    35415      0 |        0 |        0
271.15/271.20	c  270s |      12 |  1041162 |    27519 |    35415      0 |        0 |        0
273.34/273.47	c  272s |      12 |  1056869 |    27819 |    35415      0 |        0 |        0
276.15/276.23	c  275s |      12 |  1059294 |    28119 |    35415      0 |        0 |        0
279.04/279.14	c  278s |      12 |  1077173 |    28519 |    35415      0 |        0 |        0
282.24/282.33	c  281s |      12 |  1079725 |    28819 |    35415      0 |        0 |        0
284.44/284.52	c  283s |      12 |  1091946 |    29319 |    35415      0 |        0 |        0
286.64/286.70	c  286s |      12 |  1108607 |    29719 |    35415      0 |        0 |        0
289.44/289.55	c  289s |      12 |  1109409 |    29919 |    35415      0 |        0 |        0
291.74/291.81	c  291s |      12 |  1132081 |    30319 |    35415      0 |        0 |        0
294.04/294.16	c  293s |      12 |  1133794 |    30519 |    35415      0 |        0 |        0
296.44/296.59	c  296s |      12 |  1146784 |    30919 |    35415      0 |        0 |        0
298.54/298.69	c  298s |      12 |  1149947 |    31119 |    35415      0 |        0 |        0
301.04/301.18	c  300s |      12 |  1151035 |    31319 |    35415      0 |        0 |        0
304.54/304.64	c  304s |      12 |  1169071 |    31719 |    35415      0 |        0 |        0
307.04/307.12	c  306s |      12 |  1185079 |    32019 |    35415      0 |        0 |        0
309.24/309.36	c  308s |      12 |  1187477 |    32219 |    35415      0 |        0 |        0
311.34/311.48	c  310s |      12 |  1197276 |    32519 |    35415      0 |        0 |        0
314.54/314.67	c  314s |      12 |  1197994 |    32719 |    35415      0 |        0 |        0
317.63/317.77	c  317s |      12 |  1214104 |    33119 |    35415      0 |        0 |        0
320.04/320.19	c  319s |      12 |  1227731 |    33519 |    35415      0 |        0 |        0
322.13/322.21	c  321s |      12 |  1229795 |    33719 |    35415      0 |        0 |        0
324.83/324.99	c  324s |      12 |  1232263 |    34019 |    35415      0 |        0 |        0
327.23/327.31	c  326s |      12 |  1246605 |    34319 |    35415      0 |        0 |        0
330.43/330.53	c  329s |      12 |  1259846 |    34619 |    35415      0 |        0 |        0
333.13/333.27	c  332s |      12 |  1264187 |    34919 |    35415      0 |        0 |        0
335.43/335.52	c  334s |      12 |  1279567 |    35219 |    35415      0 |        0 |        0
337.83/337.98	c  337s |      12 |  1280901 |    35419 |    35415      0 |        0 |        0
340.62/340.71	c  340s |      12 |  1294564 |    35819 |    35415      0 |        0 |        0
342.92/343.04	c  342s |      12 |  1297002 |    36119 |    35415      0 |        0 |        0
345.82/345.92	c  345s |      12 |  1312484 |    36419 |    35415      1 |        0 |        0
347.82/347.96	c  347s |      12 |  1313996 |    36719 |    35415      1 |        0 |        0
350.82/350.91	c  350s |      12 |  1329097 |    37119 |    35415      1 |        0 |        0
353.02/353.20	c  352s |      12 |  1342547 |    37419 |    35415      1 |        0 |        0
355.22/355.33	c  354s |      12 |  1348635 |    37719 |    35415      1 |        0 |        0
357.22/357.35	c  356s |      12 |  1353089 |    38119 |    35415      1 |        0 |        0
359.52/359.63	c  359s |      12 |  1370945 |    38719 |    38957      1 |        0 |        0
359.92/360.04	c  359s |      13 |  1372087 |    38832 |    38957      1 |        0 |        0
362.12/362.27	c  361s |      13 |  1379175 |    39032 |    38957      1 |        0 |        0
364.92/365.09	c  364s |      13 |  1380545 |    39232 |    38957      1 |        0 |        0
367.02/367.10	c  366s |      13 |  1399274 |    39532 |    38957      1 |        0 |        0
369.21/369.34	c  368s |      13 |  1402858 |    39832 |    38957      1 |        0 |        0
371.72/371.89	c  371s |      13 |  1417970 |    40232 |    38957      1 |        0 |        0
373.93/374.05	c  373s |      13 |  1422154 |    40532 |    38957      1 |        0 |        0
376.13/376.22	c  375s |      13 |  1422536 |    40732 |    38957      1 |        0 |        0
378.22/378.34	c  377s |      13 |  1438135 |    41032 |    38957      1 |        0 |        0
381.22/381.39	c  380s |      13 |  1438680 |    41232 |    38957      1 |        0 |        0
383.62/383.79	c  383s |      13 |  1453994 |    41532 |    38957      1 |        0 |        0
385.72/385.85	c  385s |      13 |  1456944 |    41732 |    38957      1 |        0 |        0
388.11/388.29	c  387s |      13 |  1468908 |    42032 |    38957      1 |        0 |        0
390.61/390.78	c  390s |      13 |  1470661 |    42332 |    38957      1 |        0 |        0
393.11/393.26	c  392s |      13 |  1481355 |    42632 |    38957      1 |        0 |        0
395.41/395.53	c  394s |      13 |  1483298 |    42932 |    38957      1 |        0 |        0
398.01/398.12	c  397s |      13 |  1494551 |    43232 |    38957      1 |        0 |        0
400.71/400.87	c  400s |      13 |  1506652 |    43632 |    38957      1 |        0 |        0
403.91/404.07	c  403s |      13 |  1520161 |    44032 |    38957      1 |        0 |        0
406.11/406.27	c  405s |      13 |  1529564 |    44332 |    38957      1 |        0 |        0
408.41/408.58	c  408s |      13 |  1537411 |    44732 |    38957      1 |        0 |        0
411.11/411.22	c  410s |      13 |  1542472 |    45032 |    38957      1 |        0 |        0
414.31/414.45	c  413s |      13 |  1545917 |    45332 |    38957      1 |        0 |        0
417.30/417.49	c  416s |      13 |  1550825 |    45532 |    38957      1 |        0 |        0
420.11/420.27	c  419s |      13 |  1559460 |    45932 |    38957      1 |        0 |        0
423.60/423.77	c  423s |      13 |  1560239 |    46232 |    38957      1 |        0 |        0
425.71/425.87	c  425s |      13 |  1567825 |    46632 |    38957      1 |        0 |        0
427.70/427.89	c  427s |      13 |  1574627 |    47032 |    38957      1 |        0 |        0
429.90/430.01	c  429s |      13 |  1578762 |    47432 |    38957      1 |        0 |        0
433.50/433.63	c  433s |      13 |  1582142 |    47932 |    38957      1 |        0 |        0
436.20/436.30	c  435s |      13 |  1599749 |    48332 |    38957      1 |        0 |        0
438.40/438.55	c  438s |      13 |  1607272 |    48632 |    38957      1 |        0 |        0
440.70/440.88	c  440s |      13 |  1609709 |    48932 |    38957      1 |        0 |        0
442.90/443.04	c  442s |      13 |  1615289 |    49232 |    38957      1 |        0 |        0
445.20/445.34	c  444s |      13 |  1616078 |    49532 |    38957      1 |        0 |        0
447.60/447.72	c  447s |      13 |  1621353 |    49832 |    38957      1 |        0 |        0
449.90/450.08	c  449s |      13 |  1622298 |    50132 |    38957      1 |        0 |        0
452.29/452.44	c  451s |      13 |  1624121 |    50332 |    38957      1 |        0 |        0
454.49/454.62	c  454s |      13 |  1636695 |    50632 |    38957      1 |        0 |        0
456.50/456.67	c  456s |      13 |  1638226 |    50932 |    38957      1 |        0 |        0
458.69/458.84	c  458s |      13 |  1643547 |    51232 |    38957      1 |        0 |        0
461.38/461.56	c  461s |      13 |  1647354 |    51532 |    38957      1 |        0 |        0
463.58/463.71	c  463s |      13 |  1659037 |    51832 |    38957      1 |        0 |        0
465.78/466.00	c  465s |      13 |  1661758 |    52232 |    38957      1 |        0 |        0
468.58/468.78	c  468s |      13 |  1664971 |    52532 |    38957      1 |        0 |        0
470.68/470.88	c  470s |      13 |  1666041 |    52732 |    38957      1 |        0 |        0
473.98/474.12	c  473s |      13 |  1672866 |    53032 |    38957      1 |        0 |        0
476.47/476.66	c  476s |      13 |  1678615 |    53332 |    38957      1 |        0 |        0
478.87/479.06	c  478s |      13 |  1681968 |    53632 |    38957      1 |        0 |        0
481.57/481.75	c  481s |      13 |  1689015 |    54032 |    38957      1 |        0 |        0
484.17/484.36	c  483s |      13 |  1696411 |    54432 |    38957      1 |        0 |        0
486.67/486.82	c  486s |      13 |  1705153 |    54832 |    38957      1 |        0 |        0
489.07/489.22	c  488s |      13 |  1711167 |    55332 |    38957      1 |        0 |        0
491.27/491.49	c  490s |      13 |  1714099 |    55632 |    38957      1 |        0 |        0
493.87/494.04	c  493s |      13 |  1719660 |    55932 |    38957      1 |        0 |        0
495.97/496.14	c  495s |      13 |  1726564 |    56232 |    38957      1 |        0 |        0
498.46/498.70	c  498s |      13 |  1730831 |    56632 |    38957      1 |        0 |        0
501.06/501.24	c  500s |      13 |  1739626 |    57032 |    38957      1 |        0 |        0
503.26/503.49	c  502s |      13 |  1743049 |    57332 |    38957      1 |        0 |        0
505.36/505.52	c  504s |      13 |  1751158 |    57632 |    38957      1 |        0 |        0
507.65/507.86	c  507s |      13 |  1755500 |    57832 |    38957      2 |        0 |        0
510.16/510.31	c  509s |      13 |  1765271 |    58232 |    42853      2 |        0 |        0
510.86/511.05	c  510s |      14 |  1765770 |    58352 |    42853      2 |        0 |        0
513.26/513.49	c  512s |      14 |  1774235 |    58652 |    42853      2 |        0 |        0
515.56/515.72	c  515s |      14 |  1781705 |    59052 |    42853      2 |        0 |        0
517.55/517.73	c  517s |      14 |  1785584 |    59352 |    42853      2 |        0 |        0
519.75/519.96	c  519s |      14 |  1791308 |    59752 |    42853      2 |        0 |        0
521.85/522.04	c  521s |      14 |  1794054 |    60052 |    42853      2 |        0 |        0
524.05/524.22	c  523s |      14 |  1797759 |    60352 |    42853      2 |        0 |        0
526.65/526.87	c  526s |      14 |  1802817 |    60852 |    42853      2 |        0 |        0
529.05/529.25	c  528s |      14 |  1817309 |    61252 |    42853      2 |        0 |        0
531.35/531.54	c  531s |      14 |  1824365 |    61652 |    42853      2 |        0 |        0
534.45/534.62	c  534s |      14 |  1837152 |    62052 |    42853      2 |        0 |        0
536.94/537.14	c  536s |      14 |  1867078 |    62352 |    42853      2 |        0 |        0
539.34/539.56	c  539s |      14 |  1870950 |    62552 |    42853      2 |        0 |        0
542.04/542.27	c  541s |      14 |  1871559 |    62752 |    42853      2 |        0 |        0
544.54/544.71	c  544s |      14 |  1871569 |    62852 |    42853      2 |        0 |        0
546.84/547.08	c  546s |      14 |  1897351 |    63052 |    42853      2 |        0 |        0
550.03/550.27	c  549s |      14 |  1898928 |    63252 |    42853      2 |        0 |        0
552.33/552.59	c  552s |      14 |  1900094 |    63452 |    42853      2 |        0 |        0
555.43/555.65	c  555s |      14 |  1921786 |    63752 |    42853      2 |        0 |        0
557.53/557.71	c  557s |      14 |  1925943 |    63952 |    42853      2 |        0 |        0
560.52/560.80	c  560s |      14 |  1928473 |    64252 |    42853      2 |        0 |        0
562.62/562.84	c  562s |      14 |  1928819 |    64452 |    42853      2 |        0 |        0
565.42/565.61	c  565s |      14 |  1960873 |    64852 |    42853      2 |        0 |        0
568.91/569.10	c  568s |      14 |  1964519 |    65152 |    42853      2 |        0 |        0
571.51/571.77	c  571s |      14 |  1985138 |    65452 |    42853      2 |        0 |        0
573.71/573.91	c  573s |      14 |  2022397 |    65752 |    42853      2 |        0 |        0
576.81/577.03	c  576s |      14 |  2030385 |    66052 |    42853      2 |        0 |        0
579.61/579.81	c  579s |      14 |  2033825 |    66352 |    42853      2 |        0 |        0
582.01/582.26	c  581s |      14 |  2059292 |    66652 |    42853      2 |        0 |        0
585.01/585.25	c  584s |      14 |  2068950 |    66952 |    42853      2 |        0 |        0
587.40/587.60	c  587s |      14 |  2070519 |    67152 |    42853      2 |        0 |        0
589.90/590.15	c  589s |      14 |  2072730 |    67452 |    42853      2 |        0 |        0
591.90/592.19	c  591s |      14 |  2102701 |    67752 |    42853      2 |        0 |        0
592.40/595.11	c  594s |      14 |  2103790 |    67952 |    42853      2 |        0 |        0
597.67/597.94	c  597s |      14 |  2106055 |    68252 |    42853      2 |        0 |        0
599.70/600.26	c  599s |      14 |  2134680 |    68552 |    42853      2 |        0 |        0
601.70/602.59	c  602s |      14 |  2161656 |    68852 |    42853      2 |        0 |        0
603.30/605.03	c  604s |      14 |  2163567 |    69052 |    42853      2 |        0 |        0
605.70/607.63	c  607s |      14 |  2165269 |    69252 |    42853      2 |        0 |        0
609.70/610.11	c  609s |      14 |  2166226 |    69452 |    42853      2 |        0 |        0
609.70/612.90	c  612s |      14 |  2195106 |    69852 |    42853      2 |        0 |        0
612.69/616.06	c  615s |      14 |  2196645 |    70052 |    42853      2 |        0 |        0
617.89/619.02	c  618s |      14 |  2197775 |    70252 |    42853      2 |        0 |        0
621.08/622.15	c  621s |      14 |  2226734 |    70652 |    42853      2 |        0 |        0
624.52/625.00	c  624s |      14 |  2231898 |    70852 |    42853      2 |        0 |        0
627.09/627.83	c  627s |      14 |  2233297 |    71152 |    42853      2 |        0 |        0
629.14/630.97	c  630s |      14 |  2248535 |    71552 |    42853      2 |        0 |        0
630.79/633.29	c  632s |      14 |  2249382 |    71752 |    42853      2 |        0 |        0
630.79/635.32	c  634s |      14 |  2251423 |    71952 |    42853      2 |        0 |        0
637.23/637.55	c  637s |      14 |  2275258 |    72252 |    42853      2 |        0 |        0
639.41/639.64	c  639s |      14 |  2283102 |    72452 |    42853      2 |        0 |        0
641.50/641.98	c  641s |      14 |  2284129 |    72652 |    42853      2 |        0 |        0
643.58/644.03	c  643s |      14 |  2285056 |    72852 |    42853      2 |        0 |        0
645.69/646.07	c  645s |      14 |  2290226 |    73352 |    42853      2 |        0 |        0
647.69/648.88	c  648s |      14 |  2296620 |    73652 |    42853      2 |        0 |        0
649.63/651.56	c  651s |      14 |  2296795 |    73852 |    42853      2 |        0 |        0
651.67/654.19	c  653s |      14 |  2305238 |    74152 |    42853      2 |        0 |        0
655.88/656.58	c  656s |      14 |  2305529 |    74352 |    42853      2 |        0 |        0
655.88/659.15	c  658s |      14 |  2328034 |    74752 |    42853      2 |        0 |        0
659.94/661.17	c  660s |      14 |  2335075 |    74952 |    42853      2 |        0 |        0
661.98/663.98	c  663s |      14 |  2338486 |    75152 |    42853      2 |        0 |        0
665.88/666.67	c  666s |      14 |  2340907 |    75452 |    42853      2 |        0 |        0
669.46/669.69	c  669s |      14 |  2355213 |    75752 |    42853      2 |        0 |        0
669.47/671.92	c  671s |      14 |  2356850 |    76052 |    42853      2 |        0 |        0
671.87/675.99	c  675s |      14 |  2361401 |    76252 |    42853      2 |        0 |        0
678.14/678.84	c  678s |      14 |  2362472 |    76452 |    42853      2 |        0 |        0
680.02/681.62	c  681s |      14 |  2387553 |    76752 |    42853      2 |        0 |        0
684.13/684.39	c  683s |      14 |  2388236 |    76952 |    42853      2 |        0 |        0
686.51/686.80	c  686s |      14 |  2406683 |    77252 |    42853      2 |        0 |        0
688.59/689.73	c  689s |      14 |  2417022 |    77552 |    42853      2 |        0 |        0
691.18/691.75	c  691s |      14 |  2417378 |    77652 |    42853      2 |        0 |        0
692.76/694.15	c  693s |      14 |  2426515 |    77852 |    42853      2 |        0 |        0
696.80/697.56	c  697s |      14 |  2440309 |    78152 |    42853      2 |        0 |        0
696.80/699.67	c  699s |      14 |  2440653 |    78352 |    42853      2 |        0 |        0
701.51/702.68	c  702s |      14 |  2456239 |    78652 |    42853      2 |        0 |        0
703.76/705.17	c  704s |      14 |  2458966 |    78852 |    42853      2 |        0 |        0
708.01/708.45	c  707s |      14 |  2475129 |    79152 |    42853      2 |        0 |        0
709.45/711.09	c  710s |      14 |  2492112 |    79452 |    42853      2 |        0 |        0
711.70/713.24	c  712s |      14 |  2494604 |    79652 |    42853      2 |        0 |        0
713.62/715.35	c  714s |      14 |  2495271 |    79852 |    42853      2 |        0 |        0
715.69/717.77	c  717s |      14 |  2512695 |    80152 |    42853      2 |        0 |        0
719.67/719.92	c  719s |      14 |  2517579 |    80352 |    42853      2 |        0 |        0
721.79/722.11	c  721s |      14 |  2536536 |    80652 |    42853      2 |        0 |        0
723.92/724.18	c  723s |      14 |  2542034 |    80852 |    42853      2 |        0 |        0
725.77/726.51	c  725s |      14 |  2542997 |    81052 |    42853      2 |        0 |        0
725.77/728.86	c  728s |      14 |  2548748 |    81252 |    42853      3 |        0 |        0
729.76/731.19	c  730s |      14 |  2563299 |    81552 |    42853      3 |        0 |        0
731.87/733.44	c  732s |      14 |  2577826 |    81852 |    42853      3 |        0 |        0
733.95/735.50	c  734s |      14 |  2586679 |    82152 |    42853      3 |        0 |        0
736.07/737.74	c  737s |      14 |  2592702 |    82452 |    42853      3 |        0 |        0
737.96/739.98	c  739s |      14 |  2595642 |    82752 |    42853      3 |        0 |        0
741.96/742.47	c  741s |      14 |  2604929 |    83052 |    42853      3 |        0 |        0
741.96/744.91	c  744s |      14 |  2614096 |    83352 |    42853      3 |        0 |        0
745.98/747.52	c  746s |      14 |  2627042 |    83752 |    42853      3 |        0 |        0
748.17/749.53	c  748s |      14 |  2628853 |    84052 |    42853      3 |        0 |        0
749.37/752.35	c  751s |      14 |  2639481 |    84452 |    42853      3 |        0 |        0
754.19/754.56	c  754s |      14 |  2641234 |    84652 |    42853      3 |        0 |        0
756.31/756.89	c  756s |      14 |  2650920 |    84952 |    42853      3 |        0 |        0
756.31/759.12	c  758s |      14 |  2659537 |    85252 |    42853      3 |        0 |        0
760.56/761.53	c  760s |      14 |  2665025 |    85652 |    42853      3 |        0 |        0
761.39/763.72	c  763s |      14 |  2669668 |    86252 |    42853      3 |        0 |        0
765.78/766.14	c  765s |      14 |  2671346 |    86552 |    42853      3 |        0 |        0
766.68/768.78	c  768s |      14 |  2675210 |    86752 |    42853      3 |        0 |        0
768.53/771.56	c  771s |      14 |  2684701 |    87152 |    47139      3 |        0 |        0
772.95/773.66	c  773s |      14 |  2686807 |    87552 |    47139      3 |        0 |        0
772.95/773.86	c  773s |      15 |  2687716 |    87632 |    47139      3 |        0 |        0
773.68/775.93	c  775s |      15 |  2702668 |    87832 |    47139      3 |        0 |        0
773.68/778.83	c  778s |      15 |  2712963 |    88232 |    47139      3 |        0 |        0
773.68/781.25	c  780s |      15 |  2715662 |    88632 |    47139      3 |        0 |        0
773.68/783.99	c  783s |      15 |  2721154 |    88932 |    47139      3 |        0 |        0
773.68/786.69	c  786s |      15 |  2722761 |    89132 |    47139      3 |        0 |        0
773.68/789.47	c  788s |      15 |  2729675 |    89332 |    47139      3 |        0 |        0
773.68/792.08	c  791s |      15 |  2747875 |    89632 |    47139      3 |        0 |        0
773.68/794.40	c  793s |      15 |  2749040 |    89832 |    47139      3 |        0 |        0
795.52/796.63	c  796s |      15 |  2755612 |    90132 |    47139      3 |        0 |        0
795.52/799.41	c  798s |      15 |  2775554 |    90432 |    47139      3 |        0 |        0
799.71/801.72	c  801s |      15 |  2780583 |    90732 |    47139      3 |        0 |        0
799.71/804.37	c  803s |      15 |  2781515 |    90932 |    47139      3 |        0 |        0
799.71/806.92	c  806s |      15 |  2789553 |    91232 |    47139      3 |        0 |        0
799.71/809.53	c  808s |      15 |  2790609 |    91432 |    47139      3 |        0 |        0
799.71/812.17	c  811s |      15 |  2797123 |    91632 |    47139      3 |        0 |        0
799.71/814.41	c  813s |      15 |  2801937 |    91932 |    47139      3 |        0 |        0
799.71/817.01	c  816s |      15 |  2804453 |    92232 |    47139      3 |        0 |        0
799.71/819.54	c  819s |      15 |  2814001 |    92532 |    47139      3 |        0 |        0
799.71/821.82	c  821s |      15 |  2816648 |    92732 |    47139      3 |        0 |        0
799.71/824.45	c  823s |      15 |  2820573 |    93032 |    47139      3 |        0 |        0
826.09/827.28	c  826s |      15 |  2828322 |    93332 |    47139      3 |        0 |        0
826.09/829.95	c  829s |      15 |  2836064 |    93632 |    47139      3 |        0 |        0
826.09/832.29	c  831s |      15 |  2838674 |    93932 |    47139      3 |        0 |        0
826.09/835.34	c  834s |      15 |  2840619 |    94232 |    47139      3 |        0 |        0
826.09/837.64	c  837s |      15 |  2849546 |    94532 |    47139      3 |        0 |        0
838.54/839.71	c  839s |      15 |  2857291 |    94732 |    47139      3 |        0 |        0
841.41/841.85	c  841s |      15 |  2858588 |    94932 |    47139      3 |        0 |        0
842.54/843.88	c  843s |      15 |  2864596 |    95432 |    47139      3 |        0 |        0
845.05/846.30	c  845s |      15 |  2868198 |    95732 |    47139      3 |        0 |        0
846.58/848.68	c  848s |      15 |  2869653 |    95932 |    47139      3 |        0 |        0
850.84/851.32	c  850s |      15 |  2879752 |    96232 |    47139      3 |        0 |        0
851.17/853.55	c  853s |      15 |  2891265 |    96532 |    47139      3 |        0 |        0
854.75/855.58	c  855s |      15 |  2895878 |    96732 |    47139      3 |        0 |        0
858.17/858.43	c  857s |      15 |  2897926 |    97032 |    47139      3 |        0 |        0
860.74/861.35	c  860s |      15 |  2921027 |    97332 |    47139      3 |        0 |        0
863.66/864.16	c  863s |      15 |  2926123 |    97632 |    47139      3 |        0 |        0
866.74/867.13	c  866s |      15 |  2926950 |    97832 |    47139      3 |        0 |        0
868.85/869.53	c  868s |      15 |  2929168 |    98032 |    47139      3 |        0 |        0
869.26/872.20	c  871s |      15 |  2930073 |    98232 |    47139      3 |        0 |        0
871.94/874.28	c  873s |      15 |  2937328 |    98432 |    47139      3 |        0 |        0
874.02/877.10	c  876s |      15 |  2941448 |    98732 |    47139      3 |        0 |        0
878.27/879.61	c  879s |      15 |  2948109 |    99032 |    47139      3 |        0 |        0
879.34/882.49	c  881s |      15 |  2953371 |    99332 |    47139      3 |        0 |        0
883.16/884.80	c  884s |      15 |  2955176 |    99532 |    47139      3 |        0 |        0
885.52/887.42	c  886s |      15 |  2961811 |    99832 |    47139      3 |        0 |        0
887.16/889.84	c  889s |      15 |  2967817 |   100132 |    47139      3 |        0 |        0
890.53/892.55	c  892s |      15 |  2978797 |   100432 |    47139      3 |        0 |        0
895.03/895.35	c  894s |      15 |  2984747 |   100732 |    47139      3 |        0 |        0
897.62/897.95	c  897s |      15 |  2991550 |   101032 |    47139      3 |        0 |        0
900.12/900.46	c  899s |      15 |  2997321 |   101332 |    47139      3 |        0 |        0
902.73/903.08	c  902s |      15 |  3002286 |   101632 |    47139      3 |        0 |        0
905.12/905.42	c  904s |      15 |  3008353 |   101932 |    47139      3 |        0 |        0
907.32/907.65	c  907s |      15 |  3016493 |   102232 |    47139      3 |        0 |        0
909.62/909.93	c  909s |      15 |  3022472 |   102532 |    47139      3 |        0 |        0
911.82/912.17	c  911s |      15 |  3031339 |   102832 |    47139      3 |        0 |        0
914.02/914.30	c  913s |      15 |  3034228 |   103232 |    47139      3 |        0 |        0
916.52/916.83	c  916s |      15 |  3037024 |   103632 |    47139      3 |        0 |        0
919.33/919.69	c  919s |      15 |  3041416 |   103932 |    47139      3 |        0 |        0
922.02/922.35	c  921s |      15 |  3043489 |   104232 |    47139      3 |        0 |        0
924.52/924.86	c  924s |      15 |  3049090 |   104532 |    47139      3 |        0 |        0
927.03/927.39	c  926s |      15 |  3054267 |   104832 |    47139      3 |        0 |        0
929.32/929.63	c  929s |      15 |  3062272 |   105132 |    47139      3 |        0 |        0
931.62/931.99	c  931s |      15 |  3066144 |   105432 |    47139      3 |        0 |        0
934.32/934.62	c  934s |      15 |  3070566 |   105732 |    47139      3 |        0 |        0
936.62/936.90	c  936s |      15 |  3077416 |   106032 |    47139      3 |        0 |        0
938.93/939.26	c  938s |      15 |  3079738 |   106332 |    47139      3 |        0 |        0
941.03/941.32	c  940s |      15 |  3082813 |   106632 |    47139      3 |        0 |        0
944.03/944.32	c  943s |      15 |  3086317 |   106932 |    47139      3 |        0 |        0
946.93/947.20	c  946s |      15 |  3088282 |   107132 |    47139      4 |        0 |        0
949.52/949.89	c  949s |      15 |  3093464 |   107532 |    47139      4 |        0 |        0
952.02/952.35	c  951s |      15 |  3097315 |   107832 |    47139      4 |        0 |        0
954.72/955.02	c  954s |      15 |  3098642 |   108132 |    47139      4 |        0 |        0
958.12/958.48	c  957s |      15 |  3099859 |   108432 |    47139      4 |        0 |        0
961.02/961.31	c  960s |      15 |  3104431 |   108632 |    47139      4 |        0 |        0
964.52/964.80	c  964s |      15 |  3105510 |   108832 |    47139      4 |        0 |        0
966.52/966.81	c  966s |      15 |  3106302 |   109032 |    47139      4 |        0 |        0
969.42/969.79	c  969s |      15 |  3106875 |   109232 |    47139      4 |        0 |        0
972.02/972.36	c  971s |      15 |  3108200 |   109432 |    47139      4 |        0 |        0
974.61/974.93	c  974s |      15 |  3111014 |   109732 |    47139      4 |        0 |        0
977.11/977.43	c  976s |      15 |  3111367 |   109932 |    47139      4 |        0 |        0
979.31/979.60	c  979s |      15 |  3115570 |   110132 |    47139      4 |        0 |        0
982.61/982.96	c  982s |      15 |  3117323 |   110332 |    47139      4 |        0 |        0
986.01/986.39	c  985s |      15 |  3121108 |   110632 |    47139      4 |        0 |        0
989.91/990.23	c  989s |      15 |  3122463 |   110832 |    47139      4 |        0 |        0
992.01/992.32	c  991s |      15 |  3124161 |   111032 |    47139      4 |        0 |        0
994.71/995.03	c  994s |      15 |  3130192 |   111232 |    47139      4 |        0 |        0
997.61/997.91	c  997s |      15 |  3133332 |   111432 |    47139      4 |        0 |        0
1000.61/1000.96	c 1000s |      15 |  3135242 |   111632 |    47139      4 |        0 |        0
1002.81/1003.15	c 1002s |      15 |  3152244 |   111832 |    47139      4 |        0 |        0
1005.71/1006.09	c 1005s |      15 |  3155720 |   112132 |    47139      4 |        0 |        0
1008.81/1009.15	c 1008s |      15 |  3157868 |   112432 |    47139      4 |        0 |        0
1011.11/1011.41	c 1010s |      15 |  3161563 |   112632 |    47139      4 |        0 |        0
1013.11/1013.43	c 1012s |      15 |  3162232 |   112832 |    47139      4 |        0 |        0
1015.11/1015.44	c 1014s |      15 |  3162862 |   113032 |    47139      4 |        0 |        0
1017.31/1017.62	c 1017s |      15 |  3166749 |   113232 |    47139      4 |        0 |        0
1020.30/1020.69	c 1020s |      15 |  3168811 |   113532 |    47139      4 |        0 |        0
1022.30/1022.69	c 1022s |      15 |  3170264 |   113732 |    47139      4 |        0 |        0
1024.70/1025.09	c 1024s |      15 |  3172802 |   113932 |    47139      4 |        0 |        0
1028.21/1028.52	c 1027s |      15 |  3175167 |   114232 |    47139      4 |        0 |        0
1030.80/1031.13	c 1030s |      15 |  3176684 |   114432 |    47139      4 |        0 |        0
1033.50/1033.85	c 1033s |      15 |  3185647 |   114732 |    47139      4 |        0 |        0
1035.60/1035.98	c 1035s |      15 |  3188926 |   114932 |    47139      4 |        0 |        0
1038.40/1038.71	c 1038s |      15 |  3191421 |   115232 |    47139      4 |        0 |        0
1040.60/1040.97	c 1040s |      15 |  3196795 |   115432 |    47139      4 |        0 |        0
1043.20/1043.52	c 1042s |      15 |  3199707 |   115632 |    47139      4 |        0 |        0
1062.70/1063.02	c 1062s |      15 |  3203606 |   115832 |    47139      4 |        0 |        0
1064.70/1065.07	c 1064s |      15 |  3250425 |   116132 |    47139      4 |        0 |        0
1066.90/1067.27	c 1066s |      15 |  3260027 |   116332 |    47139      4 |        0 |        0
1070.10/1070.49	c 1069s |      15 |  3261754 |   116532 |    47139      4 |        0 |        0
1072.70/1073.02	c 1072s |      15 |  3278374 |   116932 |    47139      4 |        0 |        0
1074.90/1075.25	c 1074s |      15 |  3291632 |   117132 |    47139      4 |        0 |        0
1077.50/1077.85	c 1077s |      15 |  3296392 |   117332 |    47139      4 |        0 |        0
1080.20/1080.55	c 1080s |      15 |  3323743 |   117632 |    47139      4 |        0 |        0
1083.40/1083.77	c 1083s |      15 |  3326294 |   117832 |    47139      4 |        0 |        0
1085.80/1086.17	c 1085s |      15 |  3327358 |   118132 |    47139      4 |        0 |        0
1088.71/1089.01	c 1088s |      15 |  3354821 |   118432 |    47139      4 |        0 |        0
1091.80/1092.20	c 1091s |      15 |  3355155 |   118632 |    47139      4 |        0 |        0
1094.40/1094.73	c 1094s |      15 |  3388059 |   118932 |    47139      4 |        0 |        0
1096.60/1096.91	c 1096s |      15 |  3396659 |   119132 |    47139      4 |        0 |        0
1098.70/1099.02	c 1098s |      15 |  3396888 |   119332 |    47139      4 |        0 |        0
1100.99/1101.38	c 1100s |      15 |  3397681 |   119532 |    47139      4 |        0 |        0
1104.00/1104.37	c 1103s |      15 |  3419825 |   119832 |    47139      4 |        0 |        0
1106.49/1106.83	c 1106s |      15 |  3420538 |   120032 |    47139      4 |        0 |        0
1108.79/1109.17	c 1108s |      15 |  3446766 |   120332 |    47139      4 |        0 |        0
1112.09/1112.47	c 1111s |      15 |  3448879 |   120532 |    47139      4 |        0 |        0
1114.09/1114.47	c 1113s |      15 |  3451466 |   120832 |    47139      4 |        0 |        0
1117.39/1117.80	c 1117s |      15 |  3464350 |   121132 |    47139      4 |        0 |        0
1120.29/1120.66	c 1120s |      15 |  3469671 |   121432 |    47139      4 |        0 |        0
1122.90/1123.24	c 1122s |      15 |  3495490 |   121732 |    47139      4 |        0 |        0
1125.70/1126.01	c 1125s |      15 |  3498803 |   122032 |    47139      4 |        0 |        0
1127.80/1128.11	c 1127s |      15 |  3500596 |   122232 |    47139      4 |        0 |        0
1129.80/1130.17	c 1129s |      15 |  3503418 |   122432 |    47139      4 |        0 |        0
1132.90/1133.26	c 1132s |      15 |  3528215 |   122732 |    47139      4 |        0 |        0
1135.20/1135.57	c 1135s |      15 |  3530234 |   122932 |    47139      4 |        0 |        0
1137.69/1138.08	c 1137s |      15 |  3562548 |   123232 |    47139      4 |        0 |        0
1139.99/1140.31	c 1139s |      15 |  3568149 |   123432 |    47139      4 |        0 |        0
1142.99/1143.37	c 1142s |      15 |  3569756 |   123732 |    47139      4 |        0 |        0
1145.69/1146.01	c 1145s |      15 |  3589431 |   124032 |    47139      4 |        0 |        0
1148.39/1148.71	c 1148s |      15 |  3590438 |   124232 |    47139      4 |        0 |        0
1150.39/1150.71	c 1150s |      15 |  3601376 |   124432 |    47139      4 |        0 |        0
1152.89/1153.20	c 1152s |      15 |  3608909 |   124632 |    47139      4 |        0 |        0
1155.39/1155.72	c 1155s |      15 |  3609861 |   124832 |    47139      4 |        0 |        0
1157.39/1157.75	c 1157s |      15 |  3618455 |   125032 |    47139      4 |        0 |        0
1159.49/1159.82	c 1159s |      15 |  3626970 |   125232 |    47139      4 |        0 |        0
1162.69/1163.06	c 1162s |      15 |  3629048 |   125432 |    47139      4 |        0 |        0
1165.60/1165.96	c 1165s |      15 |  3644626 |   125732 |    47139      4 |        0 |        0
1168.19/1168.58	c 1168s |      15 |  3646468 |   125932 |    47139      4 |        0 |        0
1170.49/1170.82	c 1170s |      15 |  3658517 |   126132 |    47139      4 |        0 |        0
1172.69/1173.07	c 1172s |      15 |  3662609 |   126332 |    47139      4 |        0 |        0
1175.29/1175.63	c 1175s |      15 |  3664109 |   126532 |    47139      4 |        0 |        0
1178.39/1178.72	c 1178s |      15 |  3682870 |   126832 |    47139      4 |        0 |        0
1180.69/1181.03	c 1180s |      15 |  3683771 |   127032 |    47139      4 |        0 |        0
1183.59/1184.00	c 1183s |      15 |  3696109 |   127332 |    47139      4 |        0 |        0
1186.59/1186.96	c 1186s |      15 |  3697081 |   127532 |    47139      4 |        0 |        0
1188.59/1188.96	c 1188s |      15 |  3708770 |   127732 |    47139      4 |        0 |        0
1191.29/1191.63	c 1191s |      15 |  3709765 |   127932 |    47139      4 |        0 |        0
1193.48/1193.81	c 1193s |      15 |  3720763 |   128132 |    47139      4 |        0 |        0
1195.59/1195.94	c 1195s |      15 |  3730838 |   128332 |    47139      4 |        0 |        0
1197.88/1198.21	c 1197s |      15 |  3732945 |   128532 |    47139      4 |        0 |        0
1200.48/1200.82	c 1200s |      15 |  3744407 |   128732 |    47139      4 |        0 |        0
1202.58/1202.99	c 1202s |      15 |  3752013 |   128932 |    47139      4 |        0 |        0
1204.78/1205.11	c 1204s |      15 |  3753083 |   129132 |    47139      4 |        0 |        0
1207.39/1207.80	c 1207s |      15 |  3762640 |   129432 |    47139      4 |        0 |        0
1210.79/1211.16	c 1210s |      15 |  3763302 |   129632 |    47139      4 |        0 |        0
1213.28/1213.61	c 1213s |      15 |  3773517 |   129832 |    47139      4 |        0 |        0
1215.78/1216.14	c 1215s |      15 |  3774041 |   130032 |    47139      4 |        0 |        0
1217.98/1218.30	c 1217s |      15 |  3784812 |   130232 |    47139      4 |        0 |        0
1220.88/1221.29	c 1220s |      15 |  3785567 |   130432 |    47139      4 |        0 |        0
1222.98/1223.37	c 1222s |      15 |  3800595 |   130632 |    47139      4 |        0 |        0
1226.08/1226.41	c 1225s |      15 |  3806967 |   130832 |    51853      4 |        0 |        0
1228.08/1228.43	c 1227s |      15 |  3809145 |   131032 |    51853      4 |        0 |        0
1230.38/1230.79	c 1230s |      15 |  3816742 |   131232 |    51853      4 |        0 |        0
1232.97/1233.31	c 1232s |      15 |  3820273 |   131432 |    51853      4 |        0 |        0
1234.07/1234.43	c 1233s |      16 |  3829397 |   131552 |    51853      4 |        0 |        0
1236.08/1236.49	c 1235s |      16 |  3839165 |   131652 |    51853      4 |        0 |        0
1238.57/1238.94	c 1238s |      16 |  3843295 |   131852 |    51853      4 |        0 |        0
1241.27/1241.66	c 1241s |      16 |  3845759 |   132052 |    51853      4 |        0 |        0
1244.47/1244.81	c 1244s |      16 |  3847657 |   132252 |    51853      4 |        0 |        0
1247.27/1247.67	c 1247s |      16 |  3851358 |   132452 |    51853      4 |        0 |        0
1249.97/1250.31	c 1249s |      16 |  3875035 |   132752 |    51853      4 |        0 |        0
1252.17/1252.54	c 1251s |      16 |  3877080 |   132952 |    51853      4 |        0 |        0
1255.07/1255.44	c 1254s |      16 |  3886134 |   133152 |    51853      4 |        0 |        0
1258.08/1258.48	c 1257s |      16 |  3907837 |   133452 |    51853      4 |        0 |        0
1260.37/1260.75	c 1260s |      16 |  3909791 |   133652 |    51853      4 |        0 |        0
1264.07/1264.45	c 1263s |      16 |  3912373 |   133852 |    51853      4 |        0 |        0
1266.67/1267.01	c 1266s |      16 |  3933908 |   134152 |    51853      4 |        0 |        0
1269.77/1270.12	c 1269s |      16 |  3936404 |   134352 |    51853      4 |        0 |        0
1271.97/1272.34	c 1271s |      16 |  3938014 |   134552 |    51853      4 |        0 |        0
1274.27/1274.61	c 1274s |      16 |  3940328 |   134752 |    51853      4 |        0 |        0
1277.17/1277.53	c 1276s |      16 |  3941958 |   134952 |    51853      4 |        0 |        0
1279.17/1279.57	c 1279s |      16 |  3945276 |   135152 |    51853      4 |        0 |        0
1281.27/1281.63	c 1281s |      16 |  3950623 |   135252 |    51853      5 |        0 |        0
1283.47/1283.81	c 1283s |      16 |  3959395 |   135452 |    51853      5 |        0 |        0
1285.47/1285.87	c 1285s |      16 |  3962183 |   135652 |    51853      5 |        0 |        0
1287.87/1288.21	c 1287s |      16 |  3977513 |   135952 |    51853      5 |        0 |        0
1290.67/1291.03	c 1290s |      16 |  3979549 |   136252 |    51853      5 |        0 |        0
1292.97/1293.38	c 1292s |      16 |  3995936 |   136552 |    51853      5 |        0 |        0
1295.26/1295.63	c 1295s |      16 |  4001039 |   136952 |    51853      5 |        0 |        0
1297.26/1297.69	c 1297s |      16 |  4004004 |   137452 |    51853      5 |        0 |        0
1300.46/1300.81	c 1300s |      16 |  4012668 |   137752 |    51853      5 |        0 |        0
1303.17/1303.56	c 1303s |      16 |  4015398 |   137952 |    51853      5 |        0 |        0
1305.46/1305.81	c 1305s |      16 |  4041764 |   138252 |    51853      5 |        0 |        0
1307.96/1308.31	c 1307s |      16 |  4044807 |   138552 |    51853      5 |        0 |        0
1310.16/1310.59	c 1310s |      16 |  4051802 |   138752 |    51853      5 |        0 |        0
1312.26/1312.62	c 1312s |      16 |  4073911 |   139052 |    51853      5 |        0 |        0
1314.86/1315.29	c 1314s |      16 |  4075870 |   139352 |    51853      5 |        0 |        0
1317.16/1317.50	c 1316s |      16 |  4100611 |   139652 |    51853      5 |        0 |        0
1319.36/1319.76	c 1319s |      16 |  4103768 |   139952 |    51853      5 |        0 |        0
1321.77/1322.20	c 1321s |      16 |  4108874 |   140252 |    51853      5 |        0 |        0
1324.16/1324.56	c 1324s |      16 |  4112040 |   140552 |    51853      5 |        0 |        0
1326.67/1327.01	c 1326s |      16 |  4138011 |   140852 |    51853      5 |        0 |        0
1328.67/1329.04	c 1328s |      16 |  4144617 |   141052 |    51853      5 |        0 |        0
1331.17/1331.52	c 1330s |      16 |  4144617 |   141152 |    51853      5 |        0 |        0
1333.37/1333.78	c 1333s |      16 |  4146002 |   141352 |    51853      5 |        0 |        0
1335.57/1335.98	c 1335s |      16 |  4150286 |   141552 |    51853      5 |        0 |        0
1337.67/1338.00	c 1337s |      16 |  4152630 |   141752 |    51853      5 |        0 |        0
1339.77/1340.15	c 1339s |      16 |  4156281 |   141952 |    51853      5 |        0 |        0
1342.27/1342.65	c 1342s |      16 |  4163205 |   142252 |    51853      5 |        0 |        0
1344.97/1345.40	c 1344s |      16 |  4167509 |   142552 |    51853      5 |        0 |        0
1348.17/1348.54	c 1348s |      16 |  4173977 |   142852 |    51853      5 |        0 |        0
1370.17/1370.60	c 1370s |      16 |  4175227 |   143052 |    51853      5 |        0 |        0
1373.16/1373.57	c 1373s |      16 |  4184633 |   143352 |    51853      5 |        0 |        0
1375.56/1375.98	c 1375s |      16 |  4189260 |   143652 |    51853      5 |        0 |        0
1378.26/1378.65	c 1378s |      16 |  4197581 |   144052 |    51853      5 |        0 |        0
1380.46/1380.83	c 1380s |      16 |  4207547 |   144452 |    51853      5 |        0 |        0
1382.76/1383.18	c 1382s |      16 |  4217865 |   144852 |    51853      5 |        0 |        0
1385.16/1385.56	c 1385s |      16 |  4222420 |   145352 |    51853      5 |        0 |        0
1387.35/1387.76	c 1387s |      16 |  4226991 |   145552 |    51853      5 |        0 |        0
1389.96/1390.37	c 1389s |      16 |  4228181 |   145752 |    51853      5 |        0 |        0
1392.16/1392.57	c 1392s |      16 |  4228671 |   145952 |    51853      5 |        0 |        0
1395.35/1395.80	c 1395s |      16 |  4236599 |   146252 |    51853      5 |        0 |        0
1397.85/1398.29	c 1397s |      16 |  4238824 |   146452 |    51853      5 |        0 |        0
1400.65/1401.01	c 1400s |      16 |  4246072 |   146752 |    51853      5 |        0 |        0
1403.16/1403.52	c 1402s |      16 |  4263464 |   147052 |    51853      5 |        0 |        0
1406.56/1406.99	c 1406s |      16 |  4266875 |   147252 |    51853      5 |        0 |        0
1409.35/1409.71	c 1409s |      16 |  4267178 |   147452 |    51853      5 |        0 |        0
1411.45/1411.82	c 1411s |      16 |  4280844 |   147652 |    51853      5 |        0 |        0
1413.75/1414.11	c 1413s |      16 |  4286286 |   147852 |    51853      5 |        0 |        0
1416.55/1416.98	c 1416s |      16 |  4287048 |   148052 |    51853      5 |        0 |        0
1418.66/1419.07	c 1418s |      16 |  4300160 |   148252 |    51853      5 |        0 |        0
1420.95/1421.35	c 1420s |      16 |  4308337 |   148552 |    51853      5 |        0 |        0
1423.25/1423.68	c 1423s |      16 |  4311243 |   148852 |    51853      5 |        0 |        0
1425.45/1425.89	c 1425s |      16 |  4314421 |   149252 |    51853      5 |        0 |        0
1427.95/1428.39	c 1427s |      16 |  4320370 |   149552 |    51853      5 |        0 |        0
1430.05/1430.45	c 1429s |      16 |  4322927 |   149752 |    51853      5 |        0 |        0
1432.55/1432.90	c 1432s |      16 |  4329609 |   149952 |    51853      5 |        0 |        0
1434.74/1435.18	c 1434s |      16 |  4334083 |   150252 |    51853      5 |        0 |        0
1437.64/1438.05	c 1437s |      16 |  4338204 |   150552 |    51853      5 |        0 |        0
1440.04/1440.48	c 1439s |      16 |  4346350 |   150852 |    51853      5 |        0 |        0
1442.54/1442.96	c 1442s |      16 |  4350558 |   151152 |    51853      5 |        0 |        0
1444.95/1445.34	c 1444s |      16 |  4356868 |   151452 |    51853      5 |        0 |        0
1447.54/1447.99	c 1447s |      16 |  4369646 |   151852 |    51853      5 |        0 |        0
1449.64/1450.04	c 1449s |      16 |  4376950 |   152152 |    51853      5 |        0 |        0
1451.94/1452.38	c 1451s |      16 |  4380522 |   152452 |    51853      5 |        0 |        0
1454.04/1454.44	c 1453s |      16 |  4388795 |   152752 |    51853      5 |        0 |        0
1456.94/1457.36	c 1456s |      16 |  4393426 |   153152 |    51853      5 |        0 |        0
1459.44/1459.83	c 1459s |      16 |  4402764 |   153452 |    51853      5 |        0 |        0
1462.84/1463.23	c 1462s |      16 |  4407266 |   153752 |    51853      5 |        0 |        0
1465.24/1465.68	c 1465s |      16 |  4425860 |   154052 |    51853      5 |        0 |        0
1467.54/1467.94	c 1467s |      16 |  4428969 |   154252 |    51853      5 |        0 |        0
1470.25/1470.62	c 1470s |      16 |  4438484 |   154452 |    51853      5 |        0 |        0
1472.44/1472.87	c 1472s |      16 |  4440385 |   154652 |    51853      5 |        0 |        0
1474.44/1474.89	c 1474s |      16 |  4448438 |   154852 |    51853      5 |        0 |        0
1476.54/1476.95	c 1476s |      16 |  4449606 |   155052 |    51853      5 |        0 |        0
1479.14/1479.51	c 1478s |      16 |  4465793 |   155352 |    51853      5 |        0 |        0
1481.63/1482.09	c 1481s |      16 |  4477964 |   155652 |    51853      5 |        0 |        0
1483.93/1484.37	c 1483s |      16 |  4480126 |   155852 |    51853      5 |        0 |        0
1486.84/1487.25	c 1486s |      16 |  4483893 |   156152 |    51853      5 |        0 |        0
1489.73/1490.17	c 1489s |      16 |  4492748 |   156452 |    51853      5 |        0 |        0
1492.03/1492.43	c 1491s |      16 |  4493977 |   156652 |    51853      5 |        0 |        0
1495.13/1495.55	c 1495s |      16 |  4501666 |   156952 |    51853      5 |        0 |        0
1497.24/1497.60	c 1497s |      16 |  4508666 |   157152 |    51853      5 |        0 |        0
1500.14/1500.50	c 1499s |      16 |  4511608 |   157452 |    51853      5 |        0 |        0
1502.94/1503.36	c 1502s |      16 |  4515599 |   157752 |    51853      5 |        0 |        0
1505.74/1506.13	c 1505s |      16 |  4524413 |   158052 |    51853      5 |        0 |        0
1508.24/1508.66	c 1508s |      16 |  4531608 |   158352 |    51853      5 |        0 |        0
1510.44/1510.88	c 1510s |      16 |  4538035 |   158652 |    51853      5 |        0 |        0
1512.84/1513.24	c 1512s |      16 |  4546240 |   158952 |    51853      5 |        0 |        0
1515.34/1515.77	c 1515s |      16 |  4554291 |   159252 |    51853      5 |        0 |        0
1517.74/1518.12	c 1517s |      16 |  4562322 |   159552 |    51853      5 |        0 |        0
1519.74/1520.18	c 1519s |      16 |  4571095 |   159852 |    51853      5 |        0 |        0
1522.24/1522.62	c 1522s |      16 |  4579225 |   160152 |    51853      5 |        0 |        0
1524.24/1524.68	c 1524s |      16 |  4584619 |   160452 |    51853      5 |        0 |        0
1526.74/1527.12	c 1526s |      16 |  4587320 |   160752 |    51853      5 |        0 |        0
1529.64/1530.08	c 1529s |      16 |  4589028 |   160952 |    51853      5 |        0 |        0
1532.54/1532.91	c 1532s |      16 |  4591091 |   161252 |    51853      6 |        0 |        0
1534.83/1535.21	c 1534s |      16 |  4591919 |   161452 |    51853      6 |        0 |        0
1537.13/1537.51	c 1536s |      16 |  4596445 |   161752 |    51853      6 |        0 |        0
1540.53/1540.94	c 1540s |      16 |  4598359 |   161952 |    51853      6 |        0 |        0
1543.03/1543.41	c 1542s |      16 |  4602556 |   162152 |    51853      6 |        0 |        0
1545.14/1545.56	c 1545s |      16 |  4608293 |   162352 |    51853      6 |        0 |        0
1547.13/1547.56	c 1547s |      16 |  4611044 |   162552 |    51853      6 |        0 |        0
1549.44/1549.84	c 1549s |      16 |  4612058 |   162752 |    51853      6 |        0 |        0
1551.43/1551.89	c 1551s |      16 |  4616380 |   162952 |    51853      6 |        0 |        0
1553.94/1554.39	c 1553s |      16 |  4626061 |   163252 |    51853      6 |        0 |        0
1556.83/1557.28	c 1556s |      16 |  4630016 |   163552 |    51853      6 |        0 |        0
1559.73/1560.18	c 1559s |      16 |  4632879 |   163852 |    51853      6 |        0 |        0
1562.53/1562.96	c 1562s |      16 |  4636414 |   164152 |    51853      6 |        0 |        0
1565.13/1565.56	c 1565s |      16 |  4637417 |   164352 |    51853      6 |        0 |        0
1567.63/1568.09	c 1567s |      16 |  4639872 |   164552 |    51853      6 |        0 |        0
1569.73/1570.14	c 1569s |      16 |  4643338 |   164752 |    51853      6 |        0 |        0
1571.83/1572.24	c 1571s |      16 |  4644948 |   164952 |    51853      6 |        0 |        0
1574.13/1574.59	c 1574s |      16 |  4647283 |   165152 |    51853      6 |        0 |        0
1576.53/1576.91	c 1576s |      16 |  4648195 |   165352 |    51853      6 |        0 |        0
1578.73/1579.16	c 1578s |      16 |  4654339 |   165552 |    51853      6 |        0 |        0
1580.82/1581.20	c 1580s |      16 |  4659250 |   165752 |    51853      6 |        0 |        0
1583.02/1583.44	c 1582s |      16 |  4660041 |   165952 |    51853      6 |        0 |        0
1585.32/1585.71	c 1585s |      16 |  4662770 |   166152 |    51853      6 |        0 |        0
1587.42/1587.84	c 1587s |      16 |  4664271 |   166352 |    51853      6 |        0 |        0
1589.92/1590.30	c 1589s |      16 |  4666572 |   166652 |    51853      6 |        0 |        0
1591.92/1592.38	c 1591s |      16 |  4670394 |   166952 |    51853      6 |        0 |        0
1593.92/1594.38	c 1593s |      16 |  4672381 |   167152 |    51853      6 |        0 |        0
1596.32/1596.71	c 1596s |      16 |  4673707 |   167352 |    51853      6 |        0 |        0
1598.62/1599.02	c 1598s |      16 |  4677303 |   167552 |    51853      6 |        0 |        0
1601.23/1601.61	c 1601s |      16 |  4682792 |   167852 |    51853      6 |        0 |        0
1603.82/1604.27	c 1603s |      16 |  4684997 |   168152 |    51853      6 |        0 |        0
1606.32/1606.70	c 1606s |      16 |  4687506 |   168452 |    51853      6 |        0 |        0
1609.03/1609.47	c 1608s |      16 |  4690159 |   168752 |    51853      6 |        0 |        0
1611.82/1612.24	c 1611s |      16 |  4693425 |   169052 |    51853      6 |        0 |        0
1614.62/1615.00	c 1614s |      16 |  4695333 |   169252 |    51853      6 |        0 |        0
1617.22/1617.64	c 1617s |      16 |  4706393 |   169552 |    51853      6 |        0 |        0
1619.22/1619.69	c 1619s |      16 |  4707708 |   169752 |    51853      6 |        0 |        0
1622.03/1622.49	c 1621s |      16 |  4709111 |   170052 |    51853      6 |        0 |        0
1625.02/1625.47	c 1624s |      16 |  4714432 |   170352 |    51853      6 |        0 |        0
1627.32/1627.79	c 1627s |      16 |  4772637 |   170852 |    51853      6 |        0 |        0
1630.12/1630.53	c 1629s |      16 |  4795481 |   171152 |    51853      6 |        0 |        0
1633.82/1634.29	c 1633s |      16 |  4796103 |   171352 |    51853      6 |        0 |        0
1636.62/1637.00	c 1636s |      16 |  4837652 |   171752 |    51853      6 |        0 |        0
1639.42/1639.81	c 1639s |      16 |  4838579 |   171952 |    51853      6 |        0 |        0
1642.42/1642.89	c 1642s |      16 |  4875604 |   172352 |    51853      6 |        0 |        0
1644.72/1645.14	c 1644s |      16 |  4876294 |   172552 |    51853      6 |        0 |        0
1647.72/1648.16	c 1647s |      16 |  4909177 |   172952 |    51853      6 |        0 |        0
1650.32/1650.73	c 1650s |      16 |  4911634 |   173252 |    51853      6 |        0 |        0
1652.52/1652.95	c 1652s |      16 |  4943960 |   173552 |    51853      6 |        0 |        0
1654.72/1655.11	c 1654s |      16 |  4948879 |   173752 |    51853      6 |        0 |        0
1656.72/1657.17	c 1656s |      16 |  4949704 |   173952 |    51853      6 |        0 |        0
1659.02/1659.46	c 1658s |      16 |  4975272 |   174552 |    51853      6 |        0 |        0
1662.52/1662.90	c 1662s |      16 |  4982240 |   174852 |    51853      6 |        0 |        0
1665.41/1665.85	c 1665s |      16 |  5010349 |   175252 |    51853      6 |        0 |        0
1667.41/1667.87	c 1667s |      16 |  5031124 |   175552 |    51853      6 |        0 |        0
1669.91/1670.33	c 1669s |      16 |  5037904 |   175852 |    51853      6 |        0 |        0
1672.21/1672.64	c 1672s |      16 |  5059551 |   176252 |    51853      6 |        0 |        0
1674.21/1674.66	c 1674s |      16 |  5064652 |   176452 |    51853      6 |        0 |        0
1677.21/1677.68	c 1677s |      16 |  5068009 |   176752 |    51853      6 |        0 |        0
1679.61/1680.02	c 1679s |      16 |  5092289 |   177052 |    51853      6 |        0 |        0
1682.41/1682.86	c 1682s |      16 |  5101262 |   177352 |    51853      6 |        0 |        0
1685.11/1685.50	c 1684s |      16 |  5141034 |   177752 |    51853      6 |        0 |        0
1688.21/1688.65	c 1688s |      16 |  5145344 |   178052 |    51853      6 |        0 |        0
1690.51/1690.97	c 1690s |      16 |  5168060 |   178352 |    51853      6 |        0 |        0
1693.11/1693.58	c 1693s |      16 |  5169790 |   178652 |    51853      6 |        0 |        0
1695.61/1696.09	c 1695s |      16 |  5190208 |   178952 |    51853      6 |        0 |        0
1698.10/1698.51	c 1697s |      16 |  5218643 |   179252 |    51853      6 |        0 |        0
1701.50/1701.91	c 1701s |      16 |  5225640 |   179552 |    51853      6 |        0 |        0
1704.20/1704.65	c 1704s |      16 |  5226289 |   179752 |    51853      6 |        0 |        0
1706.60/1707.08	c 1706s |      16 |  5256431 |   180052 |    51853      6 |        0 |        0
1709.20/1709.60	c 1709s |      16 |  5258295 |   180252 |    51853      6 |        0 |        0
1711.21/1711.65	c 1711s |      16 |  5287022 |   180552 |    51853      6 |        0 |        0
1714.20/1714.62	c 1714s |      16 |  5290591 |   180852 |    51853      6 |        0 |        0
1716.30/1716.75	c 1716s |      16 |  5315382 |   181152 |    51853      6 |        0 |        0
1719.00/1719.44	c 1718s |      16 |  5320056 |   181452 |    51853      6 |        0 |        0
1721.50/1721.96	c 1721s |      16 |  5340999 |   181752 |    51853      6 |        0 |        0
1724.31/1724.78	c 1724s |      16 |  5347486 |   182052 |    51853      6 |        0 |        0
1726.70/1727.14	c 1726s |      16 |  5372065 |   182352 |    51853      6 |        0 |        0
1729.80/1730.26	c 1729s |      16 |  5376732 |   182652 |    51853      6 |        0 |        0
1732.30/1732.76	c 1732s |      16 |  5401738 |   182952 |    51853      6 |        0 |        0
1734.90/1735.39	c 1734s |      16 |  5408951 |   183252 |    51853      6 |        0 |        0
1737.20/1737.69	c 1737s |      16 |  5433604 |   183552 |    51853      6 |        0 |        0
1739.60/1740.03	c 1739s |      16 |  5453779 |   183852 |    51853      6 |        0 |        0
1741.80/1742.27	c 1741s |      16 |  5472226 |   184152 |    51853      6 |        0 |        0
1744.30/1744.77	c 1744s |      16 |  5477413 |   184452 |    51853      6 |        0 |        0
1746.70/1747.10	c 1746s |      16 |  5499868 |   184752 |    51853      6 |        0 |        0
1749.00/1749.49	c 1748s |      16 |  5511802 |   185052 |    51853      6 |        0 |        0
1751.20/1751.66	c 1751s |      16 |  5515313 |   185252 |    51853      6 |        0 |        0
1753.80/1754.21	c 1753s |      16 |  5532752 |   185552 |    51853      6 |        0 |        0
1756.31/1756.72	c 1756s |      16 |  5537642 |   185852 |    51853      6 |        0 |        0
1759.00/1759.45	c 1758s |      16 |  5553695 |   186352 |    51853      6 |        0 |        0
1761.40/1761.80	c 1761s |      16 |  5568522 |   186652 |    51853      6 |        0 |        0
1763.80/1764.26	c 1763s |      16 |  5582060 |   187052 |    51853      6 |        0 |        0
1767.00/1767.47	c 1766s |      16 |  5594825 |   187352 |    51853      7 |        0 |        0
1769.80/1770.20	c 1769s |      16 |  5601617 |   187652 |    51853      7 |        0 |        0
1772.10/1772.50	c 1771s |      16 |  5618214 |   187952 |    51853      7 |        0 |        0
1774.20/1774.63	c 1774s |      16 |  5623824 |   188252 |    51853      7 |        0 |        0
1776.70/1777.15	c 1776s |      16 |  5626405 |   188552 |    51853      7 |        0 |        0
1779.31/1779.78	c 1779s |      16 |  5642683 |   188952 |    51853      7 |        0 |        0
1781.40/1781.80	c 1781s |      16 |  5656552 |   189252 |    51853      7 |        0 |        0
1783.90/1784.37	c 1783s |      16 |  5670904 |   189652 |    51853      7 |        0 |        0
1786.50/1786.91	c 1786s |      16 |  5683160 |   190052 |    51853      7 |        0 |        0
1788.70/1789.15	c 1788s |      16 |  5688747 |   190352 |    51853      7 |        0 |        0
1791.19/1791.62	c 1791s |      16 |  5702074 |   190752 |    51853      7 |        0 |        0
1794.09/1794.55	c 1794s |      16 |  5714676 |   191152 |    51853      7 |        0 |        0
1796.39/1796.82	c 1796s |      16 |  5724942 |   191452 |    51853      7 |        0 |        0
1798.69/1799.16	c 1798s |      16 |  5739410 |   191752 |    51853      7 |        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-4106844-1466279212/watcher-4106844-1466279212 -o /tmp/evaluation-result-4106844-1466279212/solver-4106844-1466279212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106844-1466279212.opb 

pid=10971
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.32 2.28 2.22 4/179 10974
/proc/meminfo: memFree=30029756/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=394684 CPUtime=0 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 1414 0 0 0 0 0 0 0 20 0 4 0 29968308 404156416 1774 33554432000 4194304 16246674 140735757944592 140735757944016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 99183 1783 441 2943 0 96077 0
[pid=10974/tid=10975] ppid=10971 vsize=412092 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 421982208 1845 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=417212 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 427225088 1865 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=421308 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29968308 431419392 1881 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.32 2.28 2.22 4/179 10974
/proc/meminfo: memFree=30029756/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 27486 0 0 0 5 4 0 0 20 0 4 0 29968308 1250496512 27784 33554432000 4194304 16246674 140735757944592 140735757943904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 305297 27790 801 2943 0 302191 0
[pid=10974/tid=10975] ppid=10971 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1250496512 27795 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1250496512 27799 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1250496512 27803 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200579 s]
/proc/loadavg: 2.32 2.28 2.22 4/179 10974
/proc/meminfo: memFree=30029756/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1307204 CPUtime=0.18 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 49248 0 0 0 12 6 0 0 20 0 4 0 29968308 1338576896 49546 33554432000 4194304 16246674 140735757944592 140735757943904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 326801 49551 838 2943 0 323695 0
[pid=10974/tid=10975] ppid=10971 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1338576896 49554 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1338576896 49557 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1339625472 49564 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1307204

[startup+0.300425 s]
/proc/loadavg: 2.32 2.28 2.22 4/179 10974
/proc/meminfo: memFree=30029756/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 50559 0 0 0 22 6 0 0 20 0 4 0 29968308 1343819776 50857 33554432000 4194304 16246674 140735757944592 140735757943904 4208632 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328081 50857 839 2943 0 324975 0
[pid=10974/tid=10975] ppid=10971 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1343819776 50857 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1343819776 50857 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1343819776 50857 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.70041 s]
/proc/loadavg: 2.32 2.28 2.22 4/179 10974
/proc/meminfo: memFree=30029756/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 65110 0 0 0 60 8 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140735757943688 12478249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 65408 880 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.32 2.28 2.22 4/183 11076
/proc/meminfo: memFree=29704800/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 65110 0 0 0 140 8 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140735757943688 5991539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 65408 880 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 65408 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.29 2.27 2.22 4/183 11076
/proc/meminfo: memFree=28304212/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 208631 0 0 0 282 27 0 0 20 0 4 0 29968308 1345916928 208929 33554432000 4194304 16246674 140735757944592 140735757926464 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 208929 880 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 208929 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 208929 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 208929 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30045 s]
/proc/loadavg: 2.29 2.27 2.22 3/183 11076
/proc/meminfo: memFree=27971468/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 269774 0 0 0 594 35 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140735757926464 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 270072 880 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 11076
/proc/meminfo: memFree=27953432/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 269774 0 0 0 1234 35 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140735757926464 12477921 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 270072 880 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270072 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.35 2.28 2.22 4/183 11076
/proc/meminfo: memFree=27954540/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 269777 0 0 0 2513 35 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140735757926464 12478249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 270075 883 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1006 s]
/proc/loadavg: 2.29 2.28 2.22 4/183 11076
/proc/meminfo: memFree=27954176/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 269777 0 0 0 5073 35 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140735757926464 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 270075 883 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.16 2.24 2.21 3/183 11077
/proc/meminfo: memFree=27954600/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 269777 0 0 0 10193 35 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140735757926464 6011708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 328593 270075 883 2943 0 325487 0
[pid=10974/tid=10975] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1345916928 270075 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.42 2.51 2.45 3/183 11130
/proc/meminfo: memFree=27912908/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1301.97 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 130153 44 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 12478320 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.35 2.46 2.44 4/183 11131
/proc/meminfo: memFree=27912696/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1361.95 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 136150 45 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757943768 4221712 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1340996

[startup+1422.31 s]
/proc/loadavg: 2.21 2.40 2.42 3/184 11135
/proc/meminfo: memFree=27912868/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1421.95 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 142148 47 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757943768 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.31 2.39 2.41 3/183 11137
/proc/meminfo: memFree=27912976/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1481.93 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 148146 47 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 12477720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.27 2.36 2.40 3/183 11138
/proc/meminfo: memFree=27913024/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1541.93 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 154145 48 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 13885029 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.21 2.33 2.38 3/183 11139
/proc/meminfo: memFree=27912536/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1601.92 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 160144 48 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 6021624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.30 2.32 2.37 3/183 11140
/proc/meminfo: memFree=27912876/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1661.92 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 166143 49 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.35 2.33 2.37 3/183 11141
/proc/meminfo: memFree=27912500/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1721.9 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 172141 49 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.26 2.31 2.36 3/183 11143
/proc/meminfo: memFree=27912380/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1781.9 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 178140 50 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.30 2.35 3/183 11144
/proc/meminfo: memFree=27912380/32872528 swapFree=17888/1798212
[pid=10974] ppid=10971 vsize=1340996 CPUtime=1800.09 cores=1,3,5,7
/proc/10974/stat : 10974 (toysat) R 10971 10974 10472 0 -1 4202496 276617 0 0 0 179959 50 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140735757926464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10974/statm: 335249 276739 891 2943 0 332143 0
[pid=10974/tid=10975] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10975/stat : 10975 (toysat) S 10971 10974 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538885942512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=10974/tid=10976] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10976/stat : 10976 (toysat) S 10971 10974 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538875452656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=10974/tid=10977] ppid=10971 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/10974/task/10977/stat : 10977 (toysat) S 10971 10974 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29968308 1373179904 276739 33554432000 4194304 16246674 140735757944592 140538864979120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1340996

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.6
CPU system time (s): 0.502923
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.502923
maximum resident set size= 1106956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276617
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= 193
involuntary context switches= 1756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2084 second user time and 13.6309 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 21:46:52
IDJOB=4106844
IDBENCH=48289
IDSOLVER=2542
FILE ID=node123/4106844-1466279212
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106844-1466279212/watcher-4106844-1466279212 -o /tmp/evaluation-result-4106844-1466279212/solver-4106844-1466279212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106844-1466279212.opb

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

MD5SUM BENCH= d38f526c1f6f5ee8e5e4d2c41b31df8d
RANDOM SEED=842470034

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        30042932 kB
Buffers:           68236 kB
Cached:           138484 kB
SwapCached:         1604 kB
Active:           152528 kB
Inactive:         138120 kB
Active(anon):      83452 kB
Inactive(anon):     3080 kB
Active(file):      69076 kB
Inactive(file):   135040 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             33260 kB
Writeback:             0 kB
AnonPages:       1881756 kB
Mapped:            10252 kB
Shmem:                 0 kB
Slab:             603108 kB
SReclaimable:      46504 kB
SUnreclaim:       556604 kB
KernelStack:        1448 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2930480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 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= 71604 MiB
End job on node123 at 2016-06-18 22:16:52