Trace number 4078845

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.06 1800.36

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
MD5SUMa3ed9477da365050d631dd031519efe8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark102.067
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T06:56:28+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-4078845-1465275388.opb"]
0.00/0.01	c use --random-gen="2764012376 2862192625 70830588 2724066317 257133985 1153132752 707649276 1867183361 2025329808 2775360491 1057279357 352719362 2628140897 750082661 3062407293 2517957740 1125996666 654282152 3933773057 4041211634 2150657104 950001061 3079022937 2226265209 1335522107 3952461178 1052228902 490620019 3904398889 3666115853 1805876739 1130840748 308523245 4127582174 3689113416 1936741114 1174632259 3149355374 932504238 3131080654 3715767613 3382670970 1379453622 3064102796 467046659 3169412606 1718044365 3438218764 763905284 3354672252 1020702705 1832663684 2440648193 1378921503 2050104056 3205025262 3237082295 3063265099 1209834536 1736374180 3382430997 2417233641 3823276430 3981726918 3305562963 811549851 1572514584 3778541105 2051914402 2398464985 3242757089 117559590 1707244629 771068381 1317751737 3504774907 3516463679 447501998 981019412 39600094 2747019762 3749502088 3146660751 1353468126 3907672688 424136960 4049297262 2170112475 2915563959 2482109569 2667669588 1849909108 3716073844 369132849 3524583840 143219948 2134472112 653348306 3435029509 1787918571 1543206742 4278754776 1248995844 2329750689 2165160764 609104794 1504018957 3737882765 1420447607 418562595 2602075820 2747229056 2839457782 4118704201 2599770518 996831960 350950733 3255357443 599884736 3293147324 2083226148 560221405 1960249282 204151740 3609135872 2564221461 3303969804 3946456255 1111865072 1834203084 487523113 1924824416 618891267 404805833 4212816976 185641047 1171151648 2769142476 3144851828 1689988266 3470170006 1354729514 3173070654 4070807323 1304251958 3298156699 2284885709 743453395 854751899 1675159731 2278381571 1637511093 2727044712 954365834 3425131525 1559677104 2397154399 1902794224 1215033019 279487650 69252405 767180742 2180533780 2172249197 1775708587 1175939080 3414850936 1405543526 1489255325 2628243454 1270540936 1814158539 54217930 4004283131 170890343 827104806 2358208199 2951945542 2403593221 3484853939 3498270404 911910082 3952754543 2398648645 3284324280 92406111 2351101704 1910219687 880354174 3520889901 2800472662 3284620180 121072357 2757347715 4284288545 1953012818 1574223056 2335696653 3125869687 38928967 4141624902 4115391456 2025309173 4085247856 1625210147 1279590548 2558973560 3105042494 2374089134 2959097256 3016078553 3682718424 1028082512 3318794987 1527231130 2237558696 3283677560 2019934569 2933115656 3357887032 1993702891 156826582 455029870 78549330 2349316589 237774018 3203427785 3663494933 3532622898 3500620708 4045884741 1712585115 3371159005 3205636366 416807292 3563671047 3933476254 4267052532 3995163959 2050046174 4277517643 1078239593 386674011 45706082 3347005330 2461946699 3745293089 2134934063 3988789029 1558093196 232624178 211863963 3462826548 1087405063 3918289750 1275547380 255 362436" option to reproduce the execution
1.39/1.48	c #vars 7936
1.39/1.48	c #constraints 176837
4.40/4.48	c Solving starts ...
4.40/4.48	c ============================[ Search Statistics ]============================
4.40/4.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.40/4.48	c       |         |          |          |    Limit     GC | Var      | Constra 
4.40/4.48	c =============================================================================
4.40/4.48	c  0.0s |       0 |        0 |        0 |    61687      0 |        0 |        0
4.89/4.90	c  0.2s |       1 |      141 |      100 |    61687      0 |        0 |        0
5.50/5.52	c  1.0s |       2 |     6700 |      250 |    67856      0 |        0 |        0
6.19/6.24	c  1.8s |       3 |    13159 |      475 |    74642      0 |        0 |        0
6.70/6.78	c  2.3s |       4 |    13901 |      813 |    82107      0 |        0 |        0
7.39/7.49	c  3.0s |       5 |    14692 |     1320 |    90318      0 |        0 |        0
9.59/9.62	c  5.1s |       5 |    47836 |     1820 |    99350      0 |        0 |        0
9.90/9.97	c  5.5s |       6 |    59566 |     2081 |   109286      0 |        0 |        0
11.49/11.52	c  7.0s |       7 |    66688 |     3223 |   120215      0 |        0 |        0
13.49/13.55	c  9.1s |       7 |   105627 |     4723 |   120215      0 |        0 |        0
13.79/13.82	c  9.3s |       8 |   105877 |     4936 |   132237      0 |        0 |        0
15.89/15.95	c 11.5s |       8 |   135234 |     6536 |   132237      0 |        0 |        0
17.39/17.46	c 13.0s |       9 |   146095 |     7506 |   145461      0 |        0 |        0
19.39/19.49	c 15.0s |       9 |   173172 |     9706 |   145461      0 |        0 |        0
21.19/21.21	c 16.7s |      10 |   198992 |    11361 |   160008      0 |        0 |        0
23.29/23.39	c 18.9s |      10 |   200962 |    12561 |   160008      0 |        0 |        0
25.40/25.44	c 21.0s |      10 |   202284 |    13661 |   160008      0 |        0 |        0
27.69/27.71	c 23.2s |      10 |   203526 |    14761 |   160008      0 |        0 |        0
29.70/29.79	c 25.3s |      10 |   204489 |    15561 |   160008      0 |        0 |        0
31.79/31.83	c 27.3s |      10 |   205399 |    16361 |   160008      0 |        0 |        0
33.79/33.80	c 29.3s |      11 |   206261 |    17144 |   176009      0 |        0 |        0
35.99/36.09	c 31.6s |      11 |   210588 |    18244 |   176009      0 |        0 |        0
38.19/38.25	c 33.8s |      11 |   211526 |    19044 |   176009      0 |        0 |        0
40.19/40.29	c 35.8s |      11 |   212439 |    19844 |   176009      0 |        0 |        0
42.29/42.39	c 37.9s |      11 |   213380 |    20644 |   176009      0 |        0 |        0
44.49/44.57	c 40.1s |      11 |   214394 |    21544 |   176009      0 |        0 |        0
46.69/46.77	c 42.3s |      11 |   215487 |    22544 |   176009      0 |        0 |        0
48.89/48.91	c 44.4s |      11 |   216358 |    23344 |   176009      0 |        0 |        0
51.09/51.14	c 46.7s |      11 |   217356 |    24244 |   176009      0 |        0 |        0
53.38/53.45	c 49.0s |      11 |   218341 |    25144 |   176009      0 |        0 |        0
55.18/55.23	c 50.8s |      12 |   219062 |    25819 |   193610      0 |        0 |        0
57.29/57.33	c 52.8s |      12 |   228804 |    26919 |   193610      0 |        0 |        0
59.39/59.43	c 55.0s |      12 |   229945 |    27919 |   193610      0 |        0 |        0
61.38/61.49	c 57.0s |      12 |   231090 |    28919 |   193610      0 |        0 |        0
63.48/63.52	c 59.0s |      12 |   232111 |    29819 |   193610      0 |        0 |        0
65.58/65.67	c 61.2s |      12 |   233346 |    30919 |   193610      0 |        0 |        0
67.68/67.70	c 63.2s |      12 |   234486 |    31919 |   193610      0 |        0 |        0
69.88/69.90	c 65.4s |      12 |   235616 |    32919 |   193610      0 |        0 |        0
71.88/71.92	c 67.4s |      12 |   236613 |    33819 |   193610      0 |        0 |        0
74.08/74.12	c 69.6s |      12 |   237500 |    34619 |   193610      0 |        0 |        0
76.28/76.32	c 71.8s |      12 |   238394 |    35419 |   193610      0 |        0 |        0
78.38/78.44	c 74.0s |      12 |   239365 |    36319 |   193610      0 |        0 |        0
80.58/80.60	c 76.1s |      12 |   240363 |    37219 |   193610      0 |        0 |        0
82.59/82.67	c 78.2s |      12 |   241290 |    38019 |   193610      0 |        0 |        0
84.28/84.39	c 79.9s |      13 |   244899 |    38832 |   212972      0 |        0 |        0
86.58/86.69	c 82.2s |      13 |   246100 |    39232 |   212972      0 |        0 |        0
88.68/88.73	c 84.3s |      13 |   246691 |    39732 |   212972      0 |        0 |        0
90.98/91.00	c 86.5s |      13 |   247425 |    40332 |   212972      0 |        0 |        0
92.98/93.05	c 88.6s |      13 |   248096 |    40932 |   212972      0 |        0 |        0
94.98/95.09	c 90.6s |      13 |   248669 |    41432 |   212972      0 |        0 |        0
97.38/97.43	c 93.0s |      13 |   249370 |    42032 |   212972      0 |        0 |        0
99.78/99.83	c 95.4s |      13 |   250021 |    42632 |   212972      0 |        0 |        0
102.08/102.12	c 97.6s |      13 |   250676 |    43232 |   212972      0 |        0 |        0
104.18/104.28	c 99.8s |      13 |   251361 |    43832 |   212972      0 |        0 |        0
106.68/106.74	c  102s |      13 |   252032 |    44432 |   212972      0 |        0 |        0
109.08/109.16	c  104s |      13 |   252717 |    45032 |   212972      0 |        0 |        0
111.38/111.45	c  106s |      13 |   253369 |    45632 |   212972      0 |        0 |        0
113.67/113.78	c  109s |      13 |   254032 |    46232 |   212972      0 |        0 |        0
115.87/115.99	c  111s |      13 |   254678 |    46832 |   212972      0 |        0 |        0
118.27/118.32	c  113s |      13 |   255340 |    47432 |   212972      0 |        0 |        0
120.47/120.56	c  116s |      13 |   255872 |    47932 |   212972      0 |        0 |        0
122.47/122.56	c  118s |      13 |   256414 |    48432 |   212972      0 |        0 |        0
124.77/124.82	c  120s |      13 |   257078 |    49032 |   212972      0 |        0 |        0
126.87/126.99	c  122s |      13 |   257753 |    49632 |   212972      0 |        0 |        0
129.07/129.14	c  124s |      13 |   258417 |    50232 |   212972      0 |        0 |        0
131.07/131.19	c  126s |      13 |   259076 |    50832 |   212972      0 |        0 |        0
133.47/133.58	c  129s |      13 |   259645 |    51332 |   212972      0 |        0 |        0
135.97/136.03	c  131s |      13 |   260117 |    51732 |   212972      0 |        0 |        0
137.97/138.08	c  133s |      13 |   260556 |    52132 |   212972      0 |        0 |        0
140.27/140.33	c  135s |      13 |   261100 |    52632 |   212972      0 |        0 |        0
142.57/142.64	c  138s |      13 |   261654 |    53132 |   212972      0 |        0 |        0
144.77/144.85	c  140s |      13 |   262195 |    53632 |   212972      0 |        0 |        0
146.87/146.98	c  142s |      13 |   262749 |    54132 |   212972      0 |        0 |        0
149.37/149.41	c  144s |      13 |   263414 |    54732 |   212972      0 |        0 |        0
151.57/151.64	c  147s |      13 |   263961 |    55232 |   212972      0 |        0 |        0
153.77/153.81	c  149s |      13 |   264511 |    55732 |   212972      0 |        0 |        0
155.77/155.82	c  151s |      13 |   265086 |    56232 |   212972      0 |        0 |        0
158.17/158.22	c  153s |      13 |   265658 |    56732 |   212972      0 |        0 |        0
160.47/160.55	c  156s |      13 |   266220 |    57232 |   212972      0 |        0 |        0
162.47/162.58	c  158s |      13 |   266764 |    57732 |   212972      0 |        0 |        0
164.77/164.84	c  160s |      13 |   267438 |    58332 |   234270      0 |        0 |        0
164.87/164.90	c  160s |      14 |   267460 |    58352 |   234270      0 |        0 |        0
166.87/166.95	c  162s |      14 |   275942 |    59652 |   234270      0 |        0 |        0
169.07/169.15	c  164s |      14 |   281127 |    60452 |   234270      0 |        0 |        0
171.16/171.29	c  166s |      14 |   283863 |    61252 |   234270      0 |        0 |        0
173.46/173.50	c  169s |      14 |   292428 |    62152 |   234270      0 |        0 |        0
175.66/175.76	c  171s |      14 |   297081 |    63052 |   234270      0 |        0 |        0
177.76/177.89	c  173s |      14 |   301474 |    63952 |   234270      0 |        0 |        0
179.86/179.97	c  175s |      14 |   307022 |    64752 |   234270      0 |        0 |        0
182.06/182.12	c  177s |      14 |   310825 |    65652 |   234270      0 |        0 |        0
184.06/184.13	c  179s |      14 |   317268 |    66352 |   234270      0 |        0 |        0
186.16/186.25	c  181s |      14 |   325599 |    67752 |   234270      0 |        0 |        0
188.26/188.32	c  183s |      14 |   333519 |    68952 |   234270      0 |        0 |        0
190.27/190.39	c  185s |      14 |   338689 |    70052 |   234270      0 |        0 |        0
192.47/192.51	c  188s |      14 |   347498 |    71052 |   234270      0 |        0 |        0
194.46/194.51	c  190s |      14 |   362022 |    72252 |   234270      0 |        0 |        0
196.46/196.54	c  192s |      14 |   366998 |    75452 |   234270      0 |        0 |        0
198.76/198.85	c  194s |      14 |   369402 |    77252 |   234270      0 |        0 |        0
200.96/201.09	c  196s |      14 |   369858 |    77652 |   234270      0 |        0 |        0
203.36/203.41	c  198s |      14 |   370556 |    78052 |   234270      0 |        1 |       12
205.36/205.45	c  200s |      14 |   370885 |    78352 |   234270      0 |        1 |       12
207.66/207.77	c  203s |      14 |   371332 |    78752 |   234270      0 |        1 |       12
209.86/209.90	c  205s |      14 |   371927 |    79252 |   234270      0 |        1 |       12
212.06/212.10	c  207s |      14 |   372484 |    79752 |   234270      0 |        1 |       12
214.46/214.52	c  210s |      14 |   373077 |    80252 |   234270      0 |        1 |       12
216.86/216.96	c  212s |      14 |   373638 |    80752 |   234270      0 |        1 |       12
219.15/219.28	c  214s |      14 |   374193 |    81252 |   234270      0 |        1 |       12
221.25/221.37	c  216s |      14 |   374753 |    81752 |   234270      0 |        1 |       12
223.36/223.44	c  218s |      14 |   375284 |    82252 |   234270      0 |        1 |       12
225.65/225.72	c  221s |      14 |   375951 |    82852 |   234270      0 |        1 |       12
228.05/228.11	c  223s |      14 |   376611 |    83452 |   234270      0 |        1 |       12
230.45/230.51	c  226s |      14 |   377204 |    83952 |   234270      0 |        1 |       12
232.75/232.87	c  228s |      14 |   377672 |    84352 |   234270      0 |        1 |       12
235.25/235.31	c  230s |      14 |   378126 |    84752 |   234270      0 |        1 |       12
237.66/237.72	c  233s |      14 |   378685 |    85252 |   234270      0 |        1 |       12
239.86/239.97	c  235s |      14 |   379230 |    85752 |   234270      0 |        1 |       12
242.15/242.21	c  237s |      14 |   379779 |    86252 |   234270      0 |        1 |       12
244.26/244.31	c  239s |      14 |   380316 |    86752 |   234270      0 |        1 |       12
246.25/246.36	c  241s |      14 |   380870 |    87252 |   257698      0 |        1 |       12
247.96/248.02	c  243s |      15 |   381305 |    87632 |   257698      0 |        1 |       12
250.36/250.43	c  245s |      15 |   381783 |    87932 |   257698      0 |        2 |       24
252.46/252.50	c  248s |      15 |   382119 |    88232 |   257698      0 |        2 |       24
254.46/254.55	c  250s |      15 |   382455 |    88532 |   257698      0 |        2 |       24
256.86/256.91	c  252s |      15 |   382931 |    88932 |   257698      0 |        2 |       24
259.26/259.34	c  254s |      15 |   383415 |    89332 |   257698      0 |        2 |       24
261.66/261.77	c  257s |      15 |   383867 |    89732 |   257698      0 |        2 |       24
264.16/264.20	c  259s |      15 |   384406 |    90232 |   257698      0 |        2 |       24
266.16/266.27	c  261s |      15 |   384839 |    90632 |   257698      0 |        2 |       24
268.66/268.75	c  264s |      15 |   385416 |    91132 |   257698      0 |        2 |       24
271.05/271.15	c  266s |      15 |   385889 |    91532 |   257698      0 |        2 |       24
273.25/273.31	c  268s |      15 |   386356 |    91932 |   257698      0 |        2 |       24
275.65/275.71	c  271s |      15 |   386949 |    92432 |   257698      0 |        2 |       24
277.65/277.78	c  273s |      15 |   387393 |    92832 |   257698      0 |        2 |       24
280.15/280.30	c  275s |      15 |   387825 |    93232 |   257698      0 |        2 |       24
282.25/282.37	c  277s |      15 |   388176 |    93532 |   257698      0 |        2 |       24
284.75/284.88	c  280s |      15 |   388609 |    93932 |   257698      0 |        2 |       24
287.25/287.35	c  282s |      15 |   389066 |    94332 |   257698      0 |        2 |       24
289.75/289.83	c  285s |      15 |   389506 |    94732 |   257698      0 |        2 |       24
291.75/291.89	c  287s |      15 |   389958 |    95132 |   257698      0 |        2 |       24
294.15/294.24	c  289s |      15 |   390397 |    95532 |   257698      0 |        2 |       24
296.25/296.30	c  291s |      15 |   390850 |    95932 |   257698      0 |        2 |       24
298.65/298.74	c  294s |      15 |   391417 |    96432 |   257698      0 |        2 |       24
300.65/300.76	c  296s |      15 |   391878 |    96832 |   257698      0 |        2 |       24
303.05/303.11	c  298s |      15 |   392453 |    97332 |   257698      0 |        2 |       24
305.15/305.29	c  300s |      15 |   392987 |    97832 |   257698      0 |        2 |       24
307.45/307.57	c  303s |      15 |   393672 |    98432 |   257698      0 |        2 |       24
309.85/309.97	c  305s |      15 |   394234 |    98932 |   257698      0 |        2 |       24
311.95/312.02	c  307s |      15 |   394777 |    99432 |   257698      0 |        2 |       24
314.15/314.28	c  309s |      15 |   395335 |    99932 |   257698      0 |        2 |       24
316.25/316.39	c  311s |      15 |   395674 |   100232 |   257698      0 |        2 |       24
318.75/318.81	c  314s |      15 |   396112 |   100632 |   257698      0 |        2 |       24
321.25/321.33	c  316s |      15 |   396615 |   101032 |   257698      0 |        2 |       24
323.55/323.66	c  319s |      15 |   396940 |   101332 |   257698      0 |        2 |       24
325.75/325.88	c  321s |      15 |   397275 |   101632 |   257698      0 |        2 |       24
328.35/328.42	c  323s |      15 |   397720 |   102032 |   257698      0 |        2 |       24
330.64/330.79	c  326s |      15 |   398161 |   102432 |   257698      0 |        2 |       24
332.94/333.07	c  328s |      15 |   398611 |   102832 |   257698      0 |        2 |       24
335.55/335.64	c  331s |      15 |   399054 |   103232 |   257698      0 |        2 |       24
338.14/338.21	c  333s |      15 |   399509 |   103632 |   257698      0 |        2 |       24
340.24/340.39	c  335s |      15 |   399829 |   103932 |   257698      0 |        2 |       24
342.54/342.65	c  338s |      15 |   400267 |   104332 |   257698      0 |        2 |       24
344.64/344.79	c  340s |      15 |   400715 |   104732 |   257698      0 |        2 |       24
347.24/347.35	c  342s |      15 |   401265 |   105232 |   257698      0 |        2 |       24
349.24/349.36	c  344s |      15 |   401716 |   105632 |   257698      0 |        2 |       24
351.34/351.49	c  347s |      15 |   402043 |   105932 |   257698      0 |        2 |       24
353.84/353.98	c  349s |      15 |   402493 |   106332 |   257698      0 |        2 |       24
355.84/355.98	c  351s |      15 |   402927 |   106732 |   257698      0 |        2 |       24
358.44/358.50	c  354s |      15 |   403472 |   107232 |   257698      0 |        2 |       24
360.64/360.73	c  356s |      15 |   403906 |   107632 |   257698      0 |        2 |       24
362.64/362.78	c  358s |      15 |   404441 |   108132 |   257698      0 |        2 |       24
364.84/364.96	c  360s |      15 |   404882 |   108532 |   257698      0 |        2 |       24
367.35/367.45	c  362s |      15 |   405463 |   109032 |   257698      0 |        2 |       24
369.44/369.60	c  365s |      15 |   405796 |   109332 |   257698      0 |        2 |       24
371.54/371.63	c  367s |      15 |   406243 |   109732 |   257698      0 |        2 |       24
374.34/374.48	c  369s |      15 |   406836 |   110232 |   257698      0 |        2 |       24
376.44/376.52	c  372s |      15 |   407148 |   110532 |   257698      0 |        2 |       24
379.34/379.46	c  374s |      15 |   407473 |   110832 |   257698      0 |        2 |       24
382.24/382.37	c  377s |      15 |   407796 |   111132 |   257698      0 |        2 |       24
384.74/384.83	c  380s |      15 |   408112 |   111432 |   257698      0 |        2 |       24
386.84/386.93	c  382s |      15 |   408431 |   111732 |   257698      0 |        2 |       24
389.03/389.16	c  384s |      15 |   408778 |   112032 |   257698      0 |        2 |       24
391.33/391.41	c  386s |      15 |   409120 |   112332 |   257698      0 |        2 |       24
393.33/393.46	c  388s |      15 |   409455 |   112632 |   257698      0 |        2 |       24
395.53/395.63	c  391s |      15 |   409775 |   112932 |   257698      0 |        2 |       24
397.83/397.90	c  393s |      15 |   410094 |   113232 |   257698      0 |        2 |       24
400.44/400.58	c  396s |      15 |   410530 |   113632 |   257698      0 |        2 |       24
402.54/402.62	c  398s |      15 |   410853 |   113932 |   257698      0 |        2 |       24
404.53/404.68	c  400s |      15 |   411176 |   114232 |   257698      0 |        2 |       24
407.23/407.37	c  402s |      15 |   411613 |   114632 |   257698      0 |        2 |       24
409.33/409.42	c  404s |      15 |   411943 |   114932 |   257698      0 |        2 |       24
411.73/411.88	c  407s |      15 |   412487 |   115432 |   257698      0 |        2 |       24
414.23/414.35	c  409s |      15 |   413027 |   115932 |   257698      0 |        2 |       24
416.73/416.84	c  412s |      15 |   413560 |   116432 |   257698      0 |        2 |       24
418.83/418.94	c  414s |      15 |   414014 |   116832 |   257698      0 |        2 |       24
421.13/421.20	c  416s |      15 |   414555 |   117332 |   257698      0 |        2 |       24
423.44/423.51	c  419s |      15 |   414994 |   117732 |   257698      0 |        2 |       24
425.53/425.69	c  421s |      15 |   415447 |   118132 |   257698      0 |        2 |       24
427.84/427.95	c  423s |      15 |   415870 |   118532 |   257698      0 |        2 |       24
430.23/430.38	c  425s |      15 |   416321 |   118932 |   257698      0 |        2 |       24
432.43/432.51	c  428s |      15 |   416668 |   119232 |   257698      0 |        2 |       24
434.73/434.84	c  430s |      15 |   417098 |   119632 |   257698      0 |        2 |       24
437.13/437.24	c  432s |      15 |   417537 |   120032 |   257698      0 |        2 |       24
439.53/439.66	c  435s |      15 |   418001 |   120432 |   257698      0 |        2 |       24
442.02/442.10	c  437s |      15 |   418434 |   120832 |   257698      0 |        2 |       24
444.33/444.41	c  439s |      15 |   418878 |   121232 |   257698      0 |        2 |       24
446.32/446.42	c  441s |      15 |   419198 |   121532 |   257698      0 |        2 |       24
448.92/449.00	c  444s |      15 |   419629 |   121932 |   257698      0 |        2 |       24
451.12/451.25	c  446s |      15 |   419967 |   122232 |   257698      0 |        2 |       24
453.32/453.43	c  448s |      15 |   420314 |   122532 |   257698      0 |        2 |       24
455.52/455.61	c  451s |      15 |   420643 |   122832 |   257698      0 |        2 |       24
457.63/457.74	c  453s |      15 |   420979 |   123132 |   257698      0 |        2 |       24
460.02/460.17	c  455s |      15 |   421410 |   123532 |   257698      0 |        2 |       24
462.12/462.29	c  457s |      15 |   421855 |   123932 |   257698      0 |        2 |       24
464.32/464.48	c  460s |      15 |   422175 |   124232 |   257698      0 |        2 |       24
466.43/466.54	c  462s |      15 |   422507 |   124532 |   257698      0 |        2 |       24
468.92/469.00	c  464s |      15 |   422951 |   124932 |   257698      0 |        2 |       24
470.92/471.03	c  466s |      15 |   423287 |   125232 |   257698      0 |        2 |       24
473.12/473.24	c  468s |      15 |   423599 |   125532 |   257698      0 |        2 |       24
475.13/475.26	c  470s |      15 |   423937 |   125832 |   257698      0 |        2 |       24
477.33/477.49	c  473s |      15 |   424367 |   126232 |   257698      0 |        2 |       24
479.72/479.88	c  475s |      15 |   424709 |   126532 |   257698      0 |        2 |       24
482.12/482.22	c  477s |      15 |   425059 |   126832 |   257698      0 |        2 |       24
484.82/484.97	c  480s |      15 |   425401 |   127132 |   257698      0 |        2 |       24
487.02/487.12	c  482s |      15 |   425636 |   127332 |   257698      0 |        2 |       24
489.62/489.70	c  485s |      15 |   425974 |   127632 |   257698      0 |        2 |       24
492.02/492.12	c  487s |      15 |   426304 |   127932 |   257698      0 |        2 |       24
494.22/494.37	c  489s |      15 |   426641 |   128232 |   257698      0 |        2 |       24
496.42/496.56	c  492s |      15 |   426976 |   128532 |   257698      0 |        2 |       24
498.82/498.92	c  494s |      15 |   427429 |   128932 |   257698      0 |        2 |       24
501.21/501.37	c  496s |      15 |   427767 |   129232 |   257698      0 |        2 |       24
503.82/503.98	c  499s |      15 |   428210 |   129632 |   257698      0 |        2 |       24
505.92/506.09	c  501s |      15 |   428537 |   129932 |   257698      0 |        2 |       24
508.61/508.70	c  504s |      15 |   428988 |   130332 |   257698      0 |        2 |       24
511.31/511.50	c  507s |      15 |   429428 |   130732 |   283468      0 |        2 |       24
513.51/513.64	c  509s |      15 |   429768 |   131032 |   283468      0 |        2 |       24
515.92/516.01	c  511s |      15 |   430208 |   131432 |   283468      0 |        2 |       24
516.71/516.86	c  512s |      16 |   430352 |   131552 |   283468      0 |        2 |       24
519.91/520.00	c  515s |      16 |   434756 |   131752 |   283468      0 |        3 |       36
523.21/523.35	c  518s |      16 |   434973 |   131952 |   283468      0 |        3 |       36
525.82/525.93	c  521s |      16 |   435197 |   132152 |   283468      0 |        3 |       36
528.71/528.81	c  524s |      16 |   435542 |   132452 |   283468      0 |        3 |       36
531.41/531.53	c  527s |      16 |   435867 |   132752 |   283468      0 |        3 |       36
534.31/534.47	c  529s |      16 |   436299 |   133152 |   283468      0 |        3 |       36
537.11/537.22	c  532s |      16 |   436628 |   133452 |   283468      0 |        3 |       36
539.31/539.49	c  535s |      16 |   436963 |   133752 |   283468      0 |        3 |       36
541.90/542.07	c  537s |      16 |   437400 |   134152 |   283468      0 |        3 |       36
544.41/544.51	c  540s |      16 |   437736 |   134452 |   283468      0 |        3 |       36
546.80/546.98	c  542s |      16 |   438082 |   134752 |   283468      0 |        3 |       36
549.10/549.26	c  544s |      16 |   438411 |   135052 |   283468      0 |        3 |       36
551.20/551.32	c  546s |      16 |   438752 |   135352 |   283468      0 |        3 |       36
553.70/553.83	c  549s |      16 |   439081 |   135652 |   283468      0 |        3 |       36
556.40/556.59	c  552s |      16 |   439414 |   135952 |   283468      0 |        3 |       36
558.71/558.84	c  554s |      16 |   439658 |   136152 |   283468      0 |        3 |       36
561.20/561.38	c  556s |      16 |   439988 |   136452 |   283468      0 |        3 |       36
564.00/564.16	c  559s |      16 |   440312 |   136752 |   283468      0 |        3 |       36
566.60/566.76	c  562s |      16 |   440642 |   137052 |   283468      0 |        3 |       36
569.10/569.22	c  564s |      16 |   440968 |   137352 |   283468      0 |        3 |       36
571.80/571.99	c  567s |      16 |   441314 |   137652 |   283468      0 |        3 |       36
574.11/574.26	c  569s |      16 |   441649 |   137952 |   283468      0 |        3 |       36
576.31/576.42	c  571s |      16 |   441968 |   138252 |   283468      0 |        3 |       36
579.40/579.56	c  575s |      16 |   442399 |   138652 |   283468      0 |        3 |       36
581.60/581.79	c  577s |      16 |   442625 |   138852 |   283468      0 |        3 |       36
584.40/584.52	c  580s |      16 |   442952 |   139152 |   283468      0 |        3 |       36
586.70/586.81	c  582s |      16 |   443290 |   139452 |   283468      0 |        3 |       36
589.40/589.58	c  585s |      16 |   443627 |   139752 |   283468      0 |        3 |       36
591.80/591.99	c  587s |      16 |   443967 |   140052 |   283468      0 |        3 |       36
594.50/594.64	c  590s |      16 |   444422 |   140452 |   283468      0 |        3 |       36
596.81/596.99	c  592s |      16 |   444758 |   140752 |   283468      0 |        3 |       36
599.41/599.51	c  595s |      16 |   445077 |   141052 |   283468      0 |        3 |       36
601.71/601.83	c  597s |      16 |   445398 |   141352 |   283468      0 |        3 |       36
603.91/604.02	c  599s |      16 |   445729 |   141652 |   283468      0 |        3 |       36
606.60/606.70	c  602s |      16 |   446053 |   141952 |   283468      0 |        3 |       36
609.31/609.48	c  604s |      16 |   446481 |   142352 |   283468      0 |        3 |       36
611.61/611.80	c  607s |      16 |   446805 |   142652 |   283468      0 |        3 |       36
614.10/614.20	c  609s |      16 |   447030 |   142852 |   283468      0 |        3 |       36
616.80/616.94	c  612s |      16 |   447364 |   143152 |   283468      0 |        3 |       36
619.00/619.11	c  614s |      16 |   447689 |   143452 |   283468      0 |        3 |       36
621.60/621.72	c  617s |      16 |   448025 |   143752 |   283468      0 |        3 |       36
623.80/623.92	c  619s |      16 |   448360 |   144052 |   283468      0 |        3 |       36
626.10/626.20	c  621s |      16 |   448695 |   144352 |   283468      0 |        3 |       36
628.70/628.85	c  624s |      16 |   449137 |   144752 |   283468      0 |        3 |       36
630.90/631.07	c  626s |      16 |   449460 |   145052 |   283468      0 |        3 |       36
633.40/633.52	c  629s |      16 |   449777 |   145352 |   283468      0 |        3 |       36
636.10/636.20	c  631s |      16 |   450096 |   145652 |   283468      0 |        3 |       36
638.20/638.37	c  633s |      16 |   450418 |   145952 |   283468      0 |        3 |       36
641.21/641.32	c  636s |      16 |   450857 |   146352 |   283468      0 |        3 |       36
643.41/643.54	c  639s |      16 |   451187 |   146652 |   283468      0 |        3 |       36
646.10/646.21	c  641s |      16 |   451520 |   146952 |   283468      0 |        3 |       36
648.20/648.39	c  643s |      16 |   451739 |   147152 |   283468      0 |        3 |       36
650.80/650.95	c  646s |      16 |   451963 |   147352 |   283468      0 |        3 |       36
653.10/653.23	c  648s |      16 |   452178 |   147552 |   283468      0 |        3 |       36
656.10/656.20	c  651s |      16 |   452509 |   147852 |   283468      0 |        3 |       36
659.00/659.11	c  654s |      16 |   452856 |   148152 |   283468      0 |        3 |       36
661.90/662.08	c  657s |      16 |   453189 |   148452 |   283468      0 |        3 |       36
664.40/664.58	c  660s |      16 |   453504 |   148752 |   283468      0 |        3 |       36
667.09/667.30	c  662s |      16 |   453827 |   149052 |   283468      0 |        3 |       36
669.39/669.55	c  665s |      16 |   454148 |   149352 |   283468      0 |        3 |       36
672.00/672.14	c  667s |      16 |   454470 |   149652 |   283468      0 |        3 |       36
674.20/674.40	c  669s |      16 |   454787 |   149952 |   283468      0 |        3 |       36
676.50/676.64	c  672s |      16 |   455102 |   150252 |   283468      0 |        3 |       36
678.70/678.83	c  674s |      16 |   455428 |   150552 |   283468      0 |        3 |       36
680.99/681.11	c  676s |      16 |   455758 |   150852 |   283468      0 |        3 |       36
683.19/683.37	c  678s |      16 |   456082 |   151152 |   283468      0 |        3 |       36
685.30/685.41	c  680s |      16 |   456393 |   151452 |   283468      0 |        3 |       36
687.69/687.80	c  683s |      16 |   456741 |   151752 |   283468      0 |        3 |       36
690.19/690.36	c  685s |      16 |   457190 |   152152 |   283468      0 |        3 |       36
693.00/693.17	c  688s |      16 |   457512 |   152452 |   283468      0 |        3 |       36
695.99/696.16	c  691s |      16 |   457856 |   152752 |   283468      0 |        3 |       36
698.59/698.75	c  694s |      16 |   458193 |   153052 |   283468      0 |        3 |       36
701.09/701.20	c  696s |      16 |   458513 |   153352 |   283468      0 |        3 |       36
703.79/703.91	c  699s |      16 |   458955 |   153752 |   283468      0 |        3 |       36
706.39/706.57	c  702s |      16 |   459390 |   154152 |   283468      0 |        3 |       36
708.69/708.87	c  704s |      16 |   459724 |   154452 |   283468      0 |        3 |       36
710.99/711.15	c  706s |      16 |   460035 |   154752 |   283468      0 |        3 |       36
712.99/713.18	c  708s |      16 |   460360 |   155052 |   283468      0 |        3 |       36
715.09/715.24	c  710s |      16 |   460695 |   155352 |   283468      0 |        3 |       36
717.09/717.26	c  712s |      16 |   461027 |   155652 |   283468      0 |        3 |       36
719.29/719.46	c  714s |      16 |   461380 |   155952 |   283468      0 |        3 |       36
721.28/721.48	c  717s |      16 |   461688 |   156252 |   283468      0 |        3 |       36
723.88/724.07	c  719s |      16 |   462041 |   156552 |   283468      0 |        3 |       36
726.38/726.59	c  722s |      16 |   462372 |   156852 |   283468      0 |        3 |       36
728.98/729.16	c  724s |      16 |   462712 |   157152 |   283468      0 |        3 |       36
731.49/731.66	c  727s |      16 |   463041 |   157452 |   283468      0 |        3 |       36
734.08/734.24	c  729s |      16 |   463364 |   157752 |   283468      0 |        3 |       36
736.38/736.53	c  732s |      16 |   463708 |   158052 |   283468      0 |        3 |       36
738.68/738.88	c  734s |      16 |   464036 |   158352 |   283468      0 |        3 |       36
740.88/741.06	c  736s |      16 |   464360 |   158652 |   283468      0 |        3 |       36
743.38/743.53	c  739s |      16 |   464678 |   158952 |   283468      0 |        3 |       36
745.79/745.92	c  741s |      16 |   465023 |   159252 |   283468      0 |        3 |       36
748.28/748.48	c  743s |      16 |   465345 |   159552 |   283468      0 |        3 |       36
750.58/750.72	c  746s |      16 |   465567 |   159752 |   283468      0 |        3 |       36
752.68/752.83	c  748s |      16 |   465783 |   159952 |   283468      0 |        3 |       36
754.78/754.94	c  750s |      16 |   466002 |   160152 |   283468      0 |        3 |       36
757.48/757.62	c  753s |      16 |   466336 |   160452 |   283468      0 |        3 |       36
759.88/760.04	c  755s |      16 |   466659 |   160752 |   283468      0 |        3 |       36
762.19/762.39	c  757s |      16 |   467010 |   161052 |   283468      0 |        3 |       36
764.88/765.03	c  760s |      16 |   467353 |   161352 |   283468      0 |        3 |       36
767.48/767.67	c  763s |      16 |   467697 |   161652 |   283468      0 |        3 |       36
770.48/770.65	c  766s |      16 |   468036 |   161952 |   283468      0 |        3 |       36
772.98/773.19	c  768s |      16 |   468363 |   162252 |   283468      0 |        3 |       36
775.68/775.88	c  771s |      16 |   468680 |   162552 |   283468      0 |        3 |       36
778.28/778.48	c  774s |      16 |   469012 |   162852 |   283468      0 |        3 |       36
780.78/780.93	c  776s |      16 |   469346 |   163152 |   283468      0 |        3 |       36
783.27/783.40	c  778s |      16 |   469667 |   163452 |   283468      0 |        3 |       36
785.77/785.91	c  781s |      16 |   469883 |   163652 |   283468      0 |        3 |       36
788.17/788.30	c  783s |      16 |   470096 |   163852 |   283468      0 |        3 |       36
790.17/790.37	c  785s |      16 |   470309 |   164052 |   283468      0 |        3 |       36
793.17/793.35	c  788s |      16 |   470633 |   164352 |   283468      0 |        3 |       36
795.37/795.54	c  791s |      16 |   470846 |   164552 |   283468      0 |        3 |       36
797.48/797.67	c  793s |      16 |   471194 |   164852 |   283468      0 |        3 |       36
800.27/800.43	c  795s |      16 |   471536 |   165152 |   283468      0 |        3 |       36
802.37/802.55	c  798s |      16 |   471759 |   165352 |   283468      0 |        3 |       36
805.18/805.35	c  800s |      16 |   472075 |   165652 |   283468      0 |        3 |       36
807.97/808.18	c  803s |      16 |   472433 |   165952 |   283468      0 |        3 |       36
810.37/810.56	c  806s |      16 |   472765 |   166252 |   283468      0 |        3 |       36
813.17/813.31	c  808s |      16 |   473004 |   166452 |   283468      0 |        3 |       36
815.17/815.33	c  810s |      16 |   473225 |   166652 |   283468      0 |        3 |       36
817.47/817.64	c  813s |      16 |   473547 |   166952 |   283468      0 |        3 |       36
819.97/820.18	c  815s |      16 |   473878 |   167252 |   283468      0 |        3 |       36
822.37/822.59	c  818s |      16 |   474206 |   167552 |   283468      0 |        3 |       36
824.77/824.98	c  820s |      16 |   474533 |   167852 |   283468      0 |        3 |       36
827.37/827.51	c  823s |      16 |   474861 |   168152 |   283468      0 |        3 |       36
829.37/829.59	c  825s |      16 |   475192 |   168452 |   283468      0 |        3 |       36
831.67/831.89	c  827s |      16 |   475516 |   168752 |   283468      0 |        3 |       36
833.97/834.17	c  829s |      16 |   475835 |   169052 |   283468      0 |        3 |       36
836.27/836.45	c  831s |      16 |   476158 |   169352 |   283468      0 |        3 |       36
839.07/839.24	c  834s |      16 |   476592 |   169752 |   283468      0 |        3 |       36
841.17/841.37	c  836s |      16 |   476915 |   170052 |   283468      0 |        3 |       36
843.37/843.53	c  839s |      16 |   477238 |   170352 |   283468      0 |        3 |       36
845.57/845.79	c  841s |      16 |   477550 |   170652 |   283468      0 |        3 |       36
848.17/848.33	c  843s |      16 |   477881 |   170952 |   283468      0 |        3 |       36
851.96/852.19	c  847s |      16 |   478240 |   171252 |   283468      0 |        3 |       36
854.76/854.99	c  850s |      16 |   478450 |   171452 |   283468      0 |        3 |       36
857.56/857.78	c  853s |      16 |   478661 |   171652 |   283468      0 |        3 |       36
859.86/860.04	c  855s |      16 |   478875 |   171852 |   283468      0 |        3 |       36
863.06/863.23	c  858s |      16 |   479205 |   172152 |   283468      0 |        3 |       36
865.26/865.42	c  860s |      16 |   479419 |   172352 |   283468      0 |        3 |       36
867.87/868.06	c  863s |      16 |   479665 |   172552 |   283468      0 |        3 |       36
870.46/870.67	c  866s |      16 |   479883 |   172752 |   283468      0 |        3 |       36
872.66/872.84	c  868s |      16 |   480102 |   172952 |   283468      0 |        3 |       36
874.86/875.02	c  870s |      16 |   480314 |   173152 |   283468      0 |        3 |       36
876.86/877.05	c  872s |      16 |   480534 |   173352 |   283468      0 |        3 |       36
878.96/879.17	c  874s |      16 |   480745 |   173552 |   283468      0 |        3 |       36
881.86/882.00	c  877s |      16 |   481073 |   173852 |   283468      0 |        3 |       36
884.37/884.57	c  880s |      16 |   481383 |   174152 |   283468      0 |        3 |       36
886.66/886.82	c  882s |      16 |   481691 |   174452 |   283468      0 |        3 |       36
888.76/888.97	c  884s |      16 |   481924 |   174652 |   283468      0 |        3 |       36
890.86/891.02	c  886s |      16 |   482130 |   174852 |   283468      0 |        3 |       36
893.56/893.73	c  889s |      16 |   482451 |   175152 |   283468      0 |        3 |       36
896.36/896.54	c  892s |      16 |   482773 |   175452 |   283468      0 |        3 |       36
898.76/898.94	c  894s |      16 |   483093 |   175752 |   283468      0 |        3 |       36
900.76/901.00	c  896s |      16 |   483315 |   175952 |   283468      0 |        3 |       36
903.66/903.84	c  899s |      16 |   483644 |   176252 |   283468      0 |        3 |       36
905.96/906.16	c  901s |      16 |   483859 |   176452 |   283468      0 |        3 |       36
908.65/908.87	c  904s |      16 |   484187 |   176752 |   283468      0 |        3 |       36
911.15/911.30	c  906s |      16 |   484395 |   176952 |   283468      0 |        3 |       36
913.75/913.97	c  909s |      16 |   484721 |   177252 |   283468      0 |        3 |       36
916.35/916.53	c  912s |      16 |   485051 |   177552 |   283468      0 |        3 |       36
918.85/919.07	c  914s |      16 |   485368 |   177852 |   283468      0 |        3 |       36
921.35/921.54	c  917s |      16 |   485696 |   178152 |   283468      0 |        3 |       36
923.86/924.08	c  919s |      16 |   486033 |   178452 |   283468      0 |        3 |       36
926.25/926.48	c  922s |      16 |   486359 |   178752 |   283468      0 |        3 |       36
928.65/928.88	c  924s |      16 |   486688 |   179052 |   283468      0 |        3 |       36
931.25/931.41	c  926s |      16 |   487023 |   179352 |   283468      0 |        3 |       36
934.15/934.36	c  929s |      16 |   487250 |   179552 |   283468      0 |        3 |       36
936.65/936.87	c  932s |      16 |   487469 |   179752 |   283468      0 |        3 |       36
939.45/939.65	c  935s |      16 |   487685 |   179952 |   283468      0 |        3 |       36
941.95/942.18	c  937s |      16 |   487897 |   180152 |   283468      0 |        3 |       36
944.15/944.39	c  939s |      16 |   488122 |   180352 |   283468      0 |        3 |       36
946.65/946.85	c  942s |      16 |   488444 |   180652 |   283468      0 |        3 |       36
949.16/949.37	c  944s |      16 |   488784 |   180952 |   283468      0 |        3 |       36
951.75/951.98	c  947s |      16 |   489105 |   181252 |   283468      0 |        3 |       36
954.45/954.61	c  950s |      16 |   489425 |   181552 |   283468      0 |        3 |       36
957.15/957.34	c  952s |      16 |   489739 |   181852 |   283468      0 |        3 |       36
959.55/959.74	c  955s |      16 |   489985 |   182052 |   283468      0 |        3 |       36
961.75/961.92	c  957s |      16 |   490201 |   182252 |   283468      0 |        3 |       36
963.75/963.98	c  959s |      16 |   490426 |   182452 |   283468      0 |        3 |       36
965.95/966.16	c  961s |      16 |   490651 |   182652 |   283468      0 |        3 |       36
968.05/968.25	c  963s |      16 |   490879 |   182852 |   283468      0 |        3 |       36
970.05/970.27	c  965s |      16 |   491095 |   183052 |   283468      0 |        3 |       36
972.15/972.38	c  967s |      16 |   491300 |   183252 |   283468      0 |        3 |       36
974.24/974.49	c  970s |      16 |   491531 |   183452 |   283468      0 |        3 |       36
976.24/976.50	c  972s |      16 |   491756 |   183652 |   283468      0 |        3 |       36
978.74/978.98	c  974s |      16 |   492064 |   183952 |   283468      0 |        3 |       36
981.34/981.54	c  977s |      16 |   492379 |   184252 |   283468      0 |        3 |       36
983.35/983.56	c  979s |      16 |   492599 |   184452 |   283468      0 |        3 |       36
985.45/985.70	c  981s |      16 |   492819 |   184652 |   283468      0 |        3 |       36
988.04/988.29	c  983s |      16 |   493035 |   184852 |   283468      0 |        3 |       36
990.24/990.49	c  986s |      16 |   493256 |   185052 |   283468      0 |        3 |       36
992.44/992.67	c  988s |      16 |   493464 |   185252 |   283468      0 |        3 |       36
994.94/995.17	c  990s |      16 |   493803 |   185552 |   283468      0 |        3 |       36
997.44/997.64	c  993s |      16 |   494113 |   185852 |   283468      0 |        3 |       36
1000.14/1000.31	c  995s |      16 |   494433 |   186152 |   283468      0 |        3 |       36
1003.05/1003.29	c  998s |      16 |   494792 |   186452 |   283468      0 |        3 |       36
1005.14/1005.37	c 1000s |      16 |   495007 |   186652 |   283468      0 |        3 |       36
1007.24/1007.42	c 1002s |      16 |   495213 |   186852 |   283468      0 |        3 |       36
1010.34/1010.57	c 1006s |      16 |   495523 |   187152 |   283468      0 |        3 |       36
1012.94/1013.20	c 1008s |      16 |   495841 |   187452 |   283468      0 |        3 |       36
1015.64/1015.82	c 1011s |      16 |   496062 |   187652 |   283468      0 |        3 |       36
1018.54/1018.79	c 1014s |      16 |   496284 |   187852 |   283468      0 |        3 |       36
1020.94/1021.14	c 1016s |      16 |   496511 |   188052 |   283468      0 |        3 |       36
1023.24/1023.44	c 1018s |      16 |   496751 |   188252 |   283468      0 |        3 |       36
1026.04/1026.22	c 1021s |      16 |   496969 |   188452 |   283468      0 |        3 |       36
1028.53/1028.72	c 1024s |      16 |   497201 |   188652 |   283468      0 |        3 |       36
1031.03/1031.24	c 1026s |      16 |   497425 |   188852 |   283468      0 |        3 |       36
1033.13/1033.36	c 1028s |      16 |   497648 |   189052 |   283468      0 |        3 |       36
1035.93/1036.17	c 1031s |      16 |   497970 |   189352 |   283468      0 |        3 |       36
1038.63/1038.88	c 1034s |      16 |   498290 |   189652 |   283468      0 |        3 |       36
1041.54/1041.73	c 1037s |      16 |   498626 |   189952 |   283468      0 |        3 |       36
1043.63/1043.89	c 1039s |      16 |   498846 |   190152 |   283468      0 |        3 |       36
1046.63/1046.81	c 1042s |      16 |   499172 |   190452 |   283468      0 |        3 |       36
1048.93/1049.12	c 1044s |      16 |   499401 |   190652 |   283468      0 |        3 |       36
1050.93/1051.18	c 1046s |      16 |   499616 |   190852 |   283468      0 |        3 |       36
1053.53/1053.71	c 1049s |      16 |   499957 |   191152 |   283468      0 |        3 |       36
1056.23/1056.44	c 1051s |      16 |   500184 |   191352 |   283468      0 |        3 |       36
1058.43/1058.62	c 1054s |      16 |   500410 |   191552 |   283468      0 |        3 |       36
1060.53/1060.70	c 1056s |      16 |   500622 |   191752 |   283468      0 |        3 |       36
1063.13/1063.35	c 1058s |      16 |   500938 |   192052 |   283468      0 |        3 |       36
1066.33/1066.55	c 1062s |      16 |   501168 |   192252 |   283468      0 |        3 |       36
1068.73/1068.92	c 1064s |      16 |   501383 |   192452 |   283468      0 |        3 |       36
1070.73/1070.97	c 1066s |      16 |   501606 |   192652 |   283468      0 |        3 |       36
1072.93/1073.11	c 1068s |      16 |   501816 |   192852 |   283468      0 |        3 |       36
1075.63/1075.82	c 1071s |      16 |   502141 |   193152 |   283468      0 |        3 |       36
1077.63/1077.89	c 1073s |      16 |   502361 |   193352 |   283468      0 |        3 |       36
1079.83/1080.07	c 1075s |      16 |   502582 |   193552 |   283468      0 |        3 |       36
1081.93/1082.19	c 1077s |      16 |   502789 |   193752 |   283468      0 |        3 |       36
1084.53/1084.73	c 1080s |      16 |   503113 |   194052 |   283468      0 |        3 |       36
1088.12/1088.33	c 1083s |      16 |   503432 |   194352 |   283468      0 |        3 |       36
1090.82/1091.00	c 1086s |      16 |   503657 |   194552 |   283468      0 |        3 |       36
1093.52/1093.71	c 1089s |      16 |   503874 |   194752 |   283468      0 |        3 |       36
1095.62/1095.87	c 1091s |      16 |   504090 |   194952 |   283468      0 |        3 |       36
1098.02/1098.28	c 1093s |      16 |   504320 |   195152 |   283468      0 |        3 |       36
1100.42/1100.69	c 1096s |      16 |   504534 |   195352 |   283468      0 |        3 |       36
1102.52/1102.74	c 1098s |      16 |   504746 |   195552 |   283468      0 |        3 |       36
1104.82/1105.05	c 1100s |      16 |   504964 |   195752 |   283468      0 |        3 |       36
1107.42/1107.62	c 1103s |      16 |   505176 |   195952 |   283468      0 |        3 |       36
1110.42/1110.62	c 1106s |      16 |   505501 |   196252 |   311815      0 |        3 |       36
1112.52/1112.71	c 1108s |      16 |   505723 |   196452 |   311815      0 |        3 |       36
1114.82/1115.00	c 1110s |      16 |   505940 |   196652 |   311815      0 |        3 |       36
1117.43/1117.62	c 1113s |      16 |   506167 |   196852 |   311815      0 |        3 |       36
1119.82/1120.03	c 1115s |      16 |   506376 |   197052 |   311815      0 |        3 |       36
1121.93/1122.16	c 1117s |      16 |   506587 |   197252 |   311815      0 |        3 |       36
1123.92/1124.10	c 1119s |      17 |   506779 |   197432 |   311815      0 |        3 |       36
1126.92/1127.12	c 1122s |      17 |   510470 |   197832 |   311815      0 |        3 |       36
1129.22/1129.48	c 1124s |      17 |   510581 |   197932 |   311815      0 |        3 |       36
1132.72/1133.00	c 1128s |      17 |   510874 |   198132 |   311815      0 |        3 |       36
1136.32/1136.50	c 1132s |      17 |   511185 |   198332 |   311815      0 |        3 |       36
1139.52/1139.77	c 1135s |      17 |   511488 |   198532 |   311815      0 |        3 |       36
1142.92/1143.17	c 1138s |      17 |   511732 |   198732 |   311815      0 |        3 |       36
1145.22/1145.47	c 1140s |      17 |   516392 |   199232 |   311815      0 |        3 |       36
1148.12/1148.30	c 1143s |      17 |   519639 |   199532 |   311815      0 |        3 |       36
1151.52/1151.80	c 1147s |      17 |   519880 |   199732 |   311815      0 |        3 |       36
1154.41/1154.60	c 1150s |      17 |   520130 |   199932 |   311815      0 |        3 |       36
1156.51/1156.76	c 1152s |      17 |   521620 |   200132 |   311815      0 |        3 |       36
1160.81/1161.00	c 1156s |      17 |   522590 |   200432 |   311815      0 |        4 |       48
1163.11/1163.32	c 1158s |      17 |   522769 |   200532 |   311815      0 |        4 |       48
1167.51/1167.73	c 1163s |      17 |   523027 |   200732 |   311815      0 |        4 |       48
1169.91/1170.18	c 1165s |      17 |   523157 |   200832 |   311815      0 |        4 |       48
1173.31/1173.55	c 1169s |      17 |   523406 |   201032 |   311815      0 |        4 |       48
1177.01/1177.23	c 1172s |      17 |   523714 |   201232 |   311815      0 |        4 |       48
1180.51/1180.79	c 1176s |      17 |   523947 |   201432 |   311815      0 |        4 |       48
1182.61/1182.87	c 1178s |      17 |   524084 |   201532 |   311815      0 |        4 |       48
1184.71/1184.90	c 1180s |      17 |   524214 |   201632 |   311815      0 |        4 |       48
1188.01/1188.25	c 1183s |      17 |   524447 |   201832 |   311815      0 |        4 |       48
1191.71/1191.93	c 1187s |      17 |   524727 |   202032 |   311815      0 |        4 |       48
1193.81/1194.01	c 1189s |      17 |   524833 |   202132 |   311815      0 |        4 |       48
1197.11/1197.32	c 1192s |      17 |   525139 |   202332 |   311815      0 |        4 |       48
1200.81/1201.09	c 1196s |      17 |   525369 |   202532 |   311815      0 |        4 |       48
1204.11/1204.38	c 1199s |      17 |   525881 |   202732 |   311815      0 |        4 |       48
1207.21/1207.45	c 1202s |      17 |   526136 |   202932 |   311815      0 |        4 |       48
1210.61/1210.87	c 1206s |      17 |   526358 |   203132 |   311815      0 |        4 |       48
1213.51/1213.71	c 1209s |      17 |   526833 |   203332 |   311815      0 |        4 |       48
1216.90/1217.14	c 1212s |      17 |   527070 |   203532 |   311815      0 |        4 |       48
1219.60/1219.81	c 1215s |      17 |   527384 |   203732 |   311815      0 |        4 |       48
1222.30/1222.52	c 1218s |      17 |   527613 |   203932 |   311815      0 |        4 |       48
1225.00/1225.20	c 1220s |      17 |   527858 |   204132 |   311815      0 |        4 |       48
1227.60/1227.81	c 1223s |      17 |   528097 |   204332 |   311815      0 |        4 |       48
1229.71/1229.91	c 1225s |      17 |   528464 |   204532 |   311815      0 |        4 |       48
1232.70/1232.92	c 1228s |      17 |   528715 |   204732 |   311815      0 |        4 |       48
1235.80/1236.04	c 1231s |      17 |   529136 |   204932 |   311815      0 |        4 |       48
1238.90/1239.12	c 1234s |      17 |   529525 |   205132 |   311815      0 |        4 |       48
1242.00/1242.22	c 1237s |      17 |   529802 |   205332 |   311815      0 |        4 |       48
1245.01/1245.24	c 1240s |      17 |   530067 |   205532 |   311815      0 |        4 |       48
1247.31/1247.59	c 1243s |      17 |   530334 |   205732 |   311815      0 |        4 |       48
1250.20/1250.46	c 1245s |      17 |   530557 |   205932 |   311815      0 |        4 |       48
1253.20/1253.48	c 1248s |      17 |   530777 |   206132 |   311815      0 |        4 |       48
1255.90/1256.11	c 1251s |      17 |   531022 |   206332 |   311815      0 |        4 |       48
1258.90/1259.19	c 1254s |      17 |   531524 |   206532 |   311815      0 |        4 |       48
1262.60/1262.86	c 1258s |      17 |   532798 |   206732 |   311815      0 |        4 |       48
1266.10/1266.39	c 1261s |      17 |   533071 |   206932 |   311815      0 |        4 |       48
1269.00/1269.24	c 1264s |      17 |   533435 |   207132 |   311815      0 |        4 |       48
1271.10/1271.37	c 1266s |      17 |   534766 |   207232 |   311815      0 |        4 |       48
1273.70/1273.93	c 1269s |      17 |   534878 |   207332 |   311815      0 |        4 |       48
1276.59/1276.82	c 1272s |      17 |   535450 |   207532 |   311815      0 |        4 |       48
1279.49/1279.78	c 1275s |      17 |   535728 |   207732 |   311815      0 |        4 |       48
1282.69/1282.93	c 1278s |      17 |   535979 |   207932 |   311815      0 |        4 |       48
1285.39/1285.66	c 1281s |      17 |   536229 |   208132 |   311815      0 |        4 |       48
1288.29/1288.59	c 1284s |      17 |   536539 |   208332 |   311815      0 |        4 |       48
1290.89/1291.10	c 1286s |      17 |   536757 |   208532 |   311815      0 |        4 |       48
1294.69/1294.93	c 1290s |      17 |   537017 |   208732 |   311815      0 |        4 |       48
1297.80/1298.02	c 1293s |      17 |   537283 |   208932 |   311815      0 |        4 |       48
1299.79/1300.08	c 1295s |      17 |   537419 |   209032 |   311815      0 |        4 |       48
1302.69/1302.94	c 1298s |      17 |   537643 |   209232 |   311815      0 |        4 |       48
1305.50/1305.73	c 1301s |      17 |   537925 |   209432 |   311815      0 |        4 |       48
1308.99/1309.29	c 1304s |      17 |   538171 |   209632 |   311815      0 |        4 |       48
1311.99/1312.30	c 1307s |      17 |   538396 |   209832 |   311815      0 |        4 |       48
1314.49/1314.74	c 1310s |      17 |   540350 |   210032 |   311815      0 |        4 |       48
1316.89/1317.17	c 1312s |      17 |   541483 |   210232 |   311815      0 |        4 |       48
1320.19/1320.45	c 1315s |      17 |   541827 |   210432 |   311815      0 |        4 |       48
1323.49/1323.75	c 1319s |      17 |   542095 |   210632 |   311815      0 |        4 |       48
1327.09/1327.32	c 1322s |      17 |   542329 |   210832 |   311815      0 |        4 |       48
1330.69/1330.90	c 1326s |      17 |   542609 |   211032 |   311815      0 |        4 |       48
1333.79/1334.00	c 1329s |      17 |   543096 |   211232 |   311815      0 |        4 |       48
1336.08/1336.31	c 1331s |      17 |   544223 |   211432 |   311815      0 |        4 |       48
1338.78/1339.03	c 1334s |      17 |   544580 |   211632 |   311815      0 |        4 |       48
1341.08/1341.36	c 1336s |      17 |   545090 |   211832 |   311815      0 |        4 |       48
1343.88/1344.12	c 1339s |      17 |   545413 |   212032 |   311815      0 |        4 |       48
1345.88/1346.19	c 1341s |      17 |   546036 |   212232 |   311815      0 |        4 |       48
1348.68/1348.97	c 1344s |      17 |   546383 |   212432 |   311815      0 |        4 |       48
1351.58/1351.84	c 1347s |      17 |   546632 |   212632 |   311815      0 |        4 |       48
1354.28/1354.57	c 1350s |      17 |   546885 |   212832 |   311815      0 |        4 |       48
1357.78/1358.04	c 1353s |      17 |   547096 |   213032 |   311815      0 |        4 |       48
1360.28/1360.53	c 1356s |      17 |   547442 |   213232 |   311815      0 |        4 |       48
1362.69/1362.95	c 1358s |      17 |   547715 |   213432 |   311815      0 |        4 |       48
1365.28/1365.59	c 1361s |      17 |   548028 |   213632 |   311815      0 |        4 |       48
1368.19/1368.41	c 1363s |      17 |   548263 |   213832 |   311815      0 |        4 |       48
1371.38/1371.67	c 1367s |      17 |   548596 |   214032 |   311815      0 |        4 |       48
1374.28/1374.53	c 1370s |      17 |   548971 |   214232 |   311815      0 |        4 |       48
1377.98/1378.29	c 1373s |      17 |   549219 |   214432 |   311815      0 |        4 |       48
1380.89/1381.19	c 1376s |      17 |   549519 |   214632 |   311815      0 |        4 |       48
1384.29/1384.54	c 1380s |      17 |   549765 |   214832 |   311815      0 |        4 |       48
1387.49/1387.75	c 1383s |      17 |   549997 |   215032 |   311815      0 |        4 |       48
1391.08/1391.37	c 1386s |      17 |   550243 |   215232 |   311815      0 |        4 |       48
1393.59/1393.86	c 1389s |      17 |   550790 |   215432 |   311815      0 |        4 |       48
1396.98/1397.25	c 1392s |      17 |   551029 |   215632 |   311815      0 |        4 |       48
1399.88/1400.12	c 1395s |      17 |   551321 |   215832 |   311815      0 |        4 |       48
1402.98/1403.24	c 1398s |      17 |   551549 |   216032 |   311815      0 |        4 |       48
1406.08/1406.36	c 1401s |      17 |   551860 |   216232 |   311815      0 |        4 |       48
1408.58/1408.87	c 1404s |      17 |   552078 |   216432 |   311815      0 |        4 |       48
1412.08/1412.36	c 1407s |      17 |   552316 |   216632 |   311815      0 |        4 |       48
1414.88/1415.14	c 1410s |      17 |   552783 |   216832 |   311815      0 |        4 |       48
1417.88/1418.13	c 1413s |      17 |   553051 |   217032 |   311815      0 |        4 |       48
1421.09/1421.38	c 1416s |      17 |   553343 |   217232 |   311815      0 |        4 |       48
1424.68/1424.98	c 1420s |      17 |   553557 |   217432 |   311815      0 |        4 |       48
1427.59/1427.84	c 1423s |      17 |   553838 |   217632 |   311815      0 |        4 |       48
1430.48/1430.75	c 1426s |      17 |   554630 |   218032 |   311815      0 |        4 |       48
1432.98/1433.25	c 1428s |      17 |   555318 |   218232 |   311815      0 |        4 |       48
1435.88/1436.13	c 1431s |      17 |   555565 |   218432 |   311815      0 |        4 |       48
1439.18/1439.46	c 1434s |      17 |   555822 |   218632 |   311815      0 |        4 |       48
1442.47/1442.76	c 1438s |      17 |   556108 |   218832 |   311815      0 |        4 |       48
1445.37/1445.67	c 1441s |      17 |   556384 |   219032 |   311815      0 |        4 |       48
1448.58/1448.88	c 1444s |      17 |   556594 |   219232 |   311815      0 |        4 |       48
1452.27/1452.50	c 1448s |      17 |   556823 |   219432 |   311815      0 |        4 |       48
1455.37/1455.65	c 1451s |      17 |   557165 |   219632 |   311815      0 |        4 |       48
1458.27/1458.56	c 1454s |      17 |   557434 |   219832 |   311815      0 |        4 |       48
1461.17/1461.49	c 1457s |      17 |   557677 |   220032 |   311815      0 |        4 |       48
1464.57/1464.81	c 1460s |      17 |   557912 |   220232 |   311815      0 |        4 |       48
1467.67/1467.94	c 1463s |      17 |   558147 |   220432 |   311815      0 |        4 |       48
1470.77/1471.09	c 1466s |      17 |   558384 |   220632 |   311815      0 |        4 |       48
1473.78/1474.02	c 1469s |      17 |   558608 |   220832 |   311815      0 |        4 |       48
1476.67/1476.93	c 1472s |      17 |   558827 |   221032 |   311815      0 |        4 |       48
1480.07/1480.33	c 1475s |      17 |   559041 |   221232 |   311815      0 |        4 |       48
1483.37/1483.68	c 1479s |      17 |   559274 |   221432 |   311815      0 |        4 |       48
1487.47/1487.71	c 1483s |      17 |   559490 |   221632 |   311815      0 |        4 |       48
1491.27/1491.54	c 1487s |      17 |   559701 |   221832 |   311815      0 |        4 |       48
1494.86/1495.13	c 1490s |      17 |   559911 |   222032 |   311815      0 |        4 |       48
1497.86/1498.16	c 1493s |      17 |   560199 |   222232 |   311815      0 |        4 |       48
1500.66/1500.91	c 1496s |      17 |   560635 |   222432 |   311815      0 |        4 |       48
1502.96/1503.20	c 1498s |      17 |   560739 |   222532 |   311815      0 |        4 |       48
1505.06/1505.33	c 1500s |      17 |   560852 |   222632 |   311815      0 |        4 |       48
1508.76/1509.00	c 1504s |      17 |   561078 |   222832 |   311815      0 |        4 |       48
1512.66/1512.97	c 1508s |      17 |   561293 |   223032 |   311815      0 |        4 |       48
1515.86/1516.13	c 1511s |      17 |   561503 |   223232 |   311815      0 |        4 |       48
1519.46/1519.74	c 1515s |      17 |   561730 |   223432 |   311815      0 |        4 |       48
1521.66/1521.92	c 1517s |      17 |   561834 |   223532 |   311815      0 |        4 |       48
1524.96/1525.20	c 1520s |      17 |   562040 |   223732 |   311815      0 |        4 |       48
1528.66/1528.95	c 1524s |      17 |   562346 |   223932 |   311815      0 |        4 |       48
1531.07/1531.38	c 1526s |      17 |   562446 |   224032 |   311815      0 |        4 |       48
1534.46/1534.73	c 1530s |      17 |   562655 |   224232 |   311815      0 |        4 |       48
1538.36/1538.69	c 1534s |      17 |   562886 |   224432 |   311815      0 |        4 |       48
1540.56/1540.84	c 1536s |      17 |   562988 |   224532 |   311815      0 |        4 |       48
1544.56/1544.84	c 1540s |      17 |   563306 |   224732 |   311815      0 |        4 |       48
1546.86/1547.14	c 1542s |      17 |   563409 |   224832 |   311815      0 |        4 |       48
1549.06/1549.30	c 1544s |      17 |   563514 |   224932 |   311815      0 |        4 |       48
1551.16/1551.41	c 1546s |      17 |   563634 |   225032 |   311815      0 |        4 |       48
1553.76/1554.04	c 1549s |      17 |   563742 |   225132 |   311815      0 |        4 |       48
1556.56/1556.88	c 1552s |      17 |   564012 |   225332 |   311815      0 |        4 |       48
1559.56/1559.86	c 1555s |      17 |   564453 |   225532 |   311815      0 |        4 |       48
1563.45/1563.78	c 1559s |      17 |   564687 |   225732 |   311815      0 |        4 |       48
1566.85/1567.11	c 1562s |      17 |   565176 |   225932 |   311815      0 |        4 |       48
1570.45/1570.74	c 1566s |      17 |   565477 |   226132 |   311815      0 |        4 |       48
1573.65/1573.99	c 1569s |      17 |   565754 |   226332 |   311815      0 |        4 |       48
1577.45/1577.71	c 1573s |      17 |   566036 |   226532 |   311815      0 |        4 |       48
1580.85/1581.12	c 1576s |      17 |   566319 |   226732 |   311815      0 |        4 |       48
1583.55/1583.81	c 1579s |      17 |   566586 |   226932 |   311815      0 |        4 |       48
1586.45/1586.72	c 1582s |      17 |   566823 |   227132 |   311815      0 |        4 |       48
1590.55/1590.81	c 1586s |      17 |   567059 |   227332 |   311815      0 |        4 |       48
1592.56/1592.82	c 1588s |      17 |   567168 |   227432 |   311815      0 |        4 |       48
1596.05/1596.36	c 1591s |      17 |   567422 |   227632 |   311815      0 |        4 |       48
1598.95/1599.29	c 1594s |      17 |   567805 |   227832 |   311815      0 |        4 |       48
1602.85/1603.18	c 1598s |      17 |   568032 |   228032 |   311815      0 |        4 |       48
1606.65/1606.98	c 1602s |      17 |   568269 |   228232 |   311815      0 |        4 |       48
1610.45/1610.72	c 1606s |      17 |   568487 |   228432 |   311815      0 |        4 |       48
1612.55/1612.84	c 1608s |      17 |   568591 |   228532 |   311815      0 |        4 |       48
1615.95/1616.20	c 1611s |      17 |   568845 |   228732 |   311815      0 |        4 |       48
1618.35/1618.69	c 1614s |      17 |   569054 |   228932 |   311815      0 |        4 |       48
1622.94/1623.24	c 1618s |      17 |   569482 |   229132 |   311815      0 |        5 |       60
1625.24/1625.54	c 1621s |      17 |   569584 |   229232 |   311815      0 |        5 |       60
1627.24/1627.57	c 1623s |      17 |   569695 |   229332 |   311815      0 |        5 |       60
1630.44/1630.71	c 1626s |      17 |   569908 |   229532 |   311815      0 |        5 |       60
1633.14/1633.50	c 1629s |      17 |   570127 |   229732 |   311815      0 |        5 |       60
1635.74/1636.04	c 1631s |      17 |   570341 |   229932 |   311815      0 |        5 |       60
1638.34/1638.61	c 1634s |      17 |   570569 |   230132 |   311815      0 |        5 |       60
1641.34/1641.63	c 1637s |      17 |   570798 |   230332 |   311815      0 |        5 |       60
1644.14/1644.43	c 1639s |      17 |   571014 |   230532 |   311815      0 |        5 |       60
1647.24/1647.50	c 1643s |      17 |   571233 |   230732 |   311815      0 |        5 |       60
1649.94/1650.26	c 1645s |      17 |   571444 |   230932 |   311815      0 |        5 |       60
1652.44/1652.70	c 1648s |      17 |   571650 |   231132 |   311815      0 |        5 |       60
1654.94/1655.26	c 1650s |      17 |   571874 |   231332 |   311815      0 |        5 |       60
1658.04/1658.38	c 1653s |      17 |   572124 |   231532 |   311815      0 |        5 |       60
1661.04/1661.39	c 1656s |      17 |   572370 |   231732 |   311815      0 |        5 |       60
1663.94/1664.30	c 1659s |      17 |   572593 |   231932 |   311815      0 |        5 |       60
1667.44/1667.75	c 1663s |      17 |   572812 |   232132 |   311815      0 |        5 |       60
1670.14/1670.41	c 1665s |      17 |   573036 |   232332 |   311815      0 |        5 |       60
1672.64/1673.00	c 1668s |      17 |   573274 |   232532 |   311815      0 |        5 |       60
1675.44/1675.75	c 1671s |      17 |   573524 |   232732 |   311815      0 |        5 |       60
1677.84/1678.18	c 1673s |      17 |   573739 |   232932 |   311815      0 |        5 |       60
1680.34/1680.61	c 1676s |      17 |   573954 |   233132 |   311815      0 |        5 |       60
1682.74/1683.03	c 1678s |      17 |   574186 |   233332 |   311815      0 |        5 |       60
1685.33/1685.67	c 1681s |      17 |   574411 |   233532 |   311815      0 |        5 |       60
1688.83/1689.13	c 1684s |      17 |   574633 |   233732 |   311815      0 |        5 |       60
1692.03/1692.35	c 1687s |      17 |   574851 |   233932 |   311815      0 |        5 |       60
1695.03/1695.31	c 1690s |      17 |   575060 |   234132 |   311815      0 |        5 |       60
1698.33/1698.61	c 1694s |      17 |   575280 |   234332 |   311815      0 |        5 |       60
1701.33/1701.62	c 1697s |      17 |   575507 |   234532 |   311815      0 |        5 |       60
1704.43/1704.72	c 1700s |      17 |   575721 |   234732 |   311815      0 |        5 |       60
1707.23/1707.55	c 1703s |      17 |   575933 |   234932 |   311815      0 |        5 |       60
1710.43/1710.77	c 1706s |      17 |   576164 |   235132 |   311815      0 |        5 |       60
1713.33/1713.62	c 1709s |      17 |   576379 |   235332 |   311815      0 |        5 |       60
1716.13/1716.43	c 1711s |      17 |   576609 |   235532 |   311815      0 |        5 |       60
1718.63/1718.93	c 1714s |      17 |   576828 |   235732 |   311815      0 |        5 |       60
1721.43/1721.79	c 1717s |      17 |   577044 |   235932 |   311815      0 |        5 |       60
1723.93/1724.29	c 1719s |      17 |   577184 |   236032 |   311815      0 |        5 |       60
1728.33/1728.63	c 1724s |      17 |   577414 |   236232 |   311815      0 |        5 |       60
1730.73/1731.08	c 1726s |      17 |   577526 |   236332 |   311815      0 |        5 |       60
1735.03/1735.30	c 1730s |      17 |   577747 |   236532 |   311815      0 |        5 |       60
1737.13/1737.44	c 1732s |      17 |   577859 |   236632 |   311815      0 |        5 |       60
1740.83/1741.12	c 1736s |      17 |   578076 |   236832 |   311815      0 |        5 |       60
1744.03/1744.38	c 1739s |      17 |   578285 |   237032 |   311815      0 |        5 |       60
1747.43/1747.76	c 1743s |      17 |   578515 |   237232 |   311815      0 |        5 |       60
1750.13/1750.42	c 1745s |      17 |   578729 |   237432 |   311815      0 |        5 |       60
1752.72/1753.07	c 1748s |      17 |   578960 |   237632 |   311815      0 |        5 |       60
1755.62/1755.97	c 1751s |      17 |   579184 |   237832 |   311815      0 |        5 |       60
1757.82/1758.17	c 1753s |      17 |   579395 |   238032 |   311815      0 |        5 |       60
1760.72/1761.01	c 1756s |      17 |   579607 |   238232 |   311815      0 |        5 |       60
1763.03/1763.37	c 1758s |      17 |   579827 |   238432 |   311815      0 |        5 |       60
1765.82/1766.15	c 1761s |      17 |   580048 |   238632 |   311815      0 |        5 |       60
1769.02/1769.34	c 1764s |      17 |   580383 |   238932 |   311815      0 |        5 |       60
1771.02/1771.32	c 1766s |      17 |   580596 |   239132 |   311815      0 |        5 |       60
1773.51/1773.86	c 1769s |      17 |   580813 |   239332 |   311815      0 |        5 |       60
1775.61/1775.94	c 1771s |      17 |   581024 |   239532 |   311815      0 |        5 |       60
1778.81/1779.18	c 1774s |      17 |   581237 |   239732 |   311815      0 |        5 |       60
1781.51/1781.88	c 1777s |      17 |   581463 |   239932 |   311815      0 |        5 |       60
1784.10/1784.46	c 1779s |      17 |   581667 |   240132 |   311815      0 |        5 |       60
1786.40/1786.74	c 1782s |      17 |   581878 |   240332 |   311815      0 |        5 |       60
1788.90/1789.26	c 1784s |      17 |   582102 |   240532 |   311815      0 |        5 |       60
1791.30/1791.68	c 1787s |      17 |   582311 |   240732 |   311815      0 |        5 |       60
1793.60/1793.96	c 1789s |      17 |   582522 |   240932 |   311815      0 |        5 |       60
1796.80/1797.15	c 1792s |      17 |   582763 |   241132 |   311815      0 |        5 |       60

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

pid=5752
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.21 2.21 2.19 3/179 5755
/proc/meminfo: memFree=26627712/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 2939 0 0 0 0 0 0 0 20 0 4 0 109471992 804712448 3299 33554432000 4194304 16246674 140733701921488 140733701920912 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 196975 3309 441 2943 0 193869 0
[pid=5755/tid=5756] ppid=5752 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 823586816 3372 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 827781120 3390 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109471992 831975424 3406 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100218 s]
/proc/loadavg: 2.21 2.21 2.19 3/179 5755
/proc/meminfo: memFree=26627712/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 29923 0 0 0 5 4 0 0 20 0 4 0 109471992 1249447936 30221 33554432000 4194304 16246674 140733701921488 140733701920800 4207600 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 305041 30221 802 2943 0 301935 0
[pid=5755/tid=5756] ppid=5752 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1249447936 30221 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1249447936 30221 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1249447936 30221 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200546 s]
/proc/loadavg: 2.21 2.21 2.19 3/179 5755
/proc/meminfo: memFree=26627712/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1308228 CPUtime=0.2 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 51315 0 0 0 13 7 0 0 20 0 4 0 109471992 1339625472 52125 33554432000 4194304 16246674 140733701921488 140733701920800 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 327057 52128 802 2943 0 323951 0
[pid=5755/tid=5756] ppid=5752 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1339625472 52131 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1339625472 52133 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1339625472 52135 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1308228

[startup+0.300493 s]
/proc/loadavg: 2.21 2.21 2.19 3/179 5755
/proc/meminfo: memFree=26627712/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 57875 0 0 0 22 7 0 0 20 0 4 0 109471992 1345916928 58684 33554432000 4194304 16246674 140733701921488 140733701920800 8055432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 328593 58684 802 2943 0 325487 0
[pid=5755/tid=5756] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 58684 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 58684 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 58684 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700431 s]
/proc/loadavg: 2.21 2.21 2.19 3/179 5755
/proc/meminfo: memFree=26627712/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 69870 0 0 0 60 9 0 0 20 0 4 0 109471992 1345916928 70679 33554432000 4194304 16246674 140733701921488 140733701920800 7361631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 328593 70679 802 2943 0 325487 0
[pid=5755/tid=5756] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 70679 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 70679 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 70679 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 5759
/proc/meminfo: memFree=26301664/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 84917 0 0 0 138 11 0 0 20 0 4 0 109471992 1345916928 85726 33554432000 4194304 16246674 140733701921488 140733701903360 6763485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 328593 85726 846 2943 0 325487 0
[pid=5755/tid=5756] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 85726 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 85726 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1345916928 85726 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 5759
/proc/meminfo: memFree=25788792/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=3.09 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277425 0 0 0 271 38 0 0 20 0 4 0 109471992 1380519936 278234 33554432000 4194304 16246674 140733701921488 140733701903360 13759925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278234 848 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278234 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278234 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278234 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1348164

[startup+6.30044 s]
/proc/loadavg: 2.19 2.20 2.19 3/183 5759
/proc/meminfo: memFree=25513888/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=6.29 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277715 0 0 0 591 38 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140733701903360 5531479 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278524 890 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1348164

[startup+12.7004 s]
/proc/loadavg: 2.17 2.20 2.19 3/183 5759
/proc/meminfo: memFree=25514876/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=12.69 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277715 0 0 0 1231 38 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140733701904488 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278524 890 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278524 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1348164

[startup+25.5005 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 5759
/proc/meminfo: memFree=25515248/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=25.49 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277717 0 0 0 2511 38 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140733701904488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278526 890 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1348164

[startup+51.1005 s]
/proc/loadavg: 2.14 2.19 2.18 3/183 5759
/proc/meminfo: memFree=25515324/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=51.09 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277717 0 0 0 5071 38 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140733701903360 5823765 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278526 890 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1348164

[startup+102.301 s]
/proc/loadavg: 2.26 2.21 2.19 3/183 5760
/proc/meminfo: memFree=25515344/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1348164 CPUtime=102.28 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 277717 0 0 0 10190 38 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140733701903360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 337041 278526 890 2943 0 333935 0
[pid=5755/tid=5756] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1380519936 278526 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1348164


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

/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1369668

[startup+1362.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 5814
/proc/meminfo: memFree=25489624/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1362.08 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283097 0 0 0 136168 40 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140733701903360 5676361 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283906 893 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1369668

[startup+1422.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/184 5819
/proc/meminfo: memFree=25489472/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1422.09 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283097 0 0 0 142168 41 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140733701903360 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283906 893 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 1369668

[startup+1482.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 5820
/proc/meminfo: memFree=25489500/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1482.07 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283097 0 0 0 148166 41 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140733701903360 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283906 893 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1369668

[startup+1542.31 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 5821
/proc/meminfo: memFree=25489260/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1542.06 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283097 0 0 0 154165 41 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140733701903360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283906 893 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1369668

[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/183 5822
/proc/meminfo: memFree=25489304/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1602.05 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283097 0 0 0 160164 41 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140733701903360 5523360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283906 893 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283906 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1369668

[startup+1662.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 5823
/proc/meminfo: memFree=25489452/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1662.04 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283099 0 0 0 166163 41 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140733701903360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283908 894 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1369668

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 5825
/proc/meminfo: memFree=25488864/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1722.03 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283099 0 0 0 172162 41 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140733701903360 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 283908 894 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 283908 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1369668

[startup+1782.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 5874
/proc/meminfo: memFree=27944056/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1782.01 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283118 0 0 0 178160 41 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140733701903360 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 284164 894 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1369668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 5874
/proc/meminfo: memFree=27942788/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1800 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283126 0 0 0 179959 41 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140733701903360 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 284164 894 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1369668

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

[startup+1800.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/183 5874
/proc/meminfo: memFree=27942788/32872528 swapFree=17892/1720544
[pid=5755] ppid=5752 vsize=1369668 CPUtime=1800 cores=1,3,5,7
/proc/5755/stat : 5755 (toysat) R 5752 5755 3556 0 -1 4202496 283126 0 0 0 179959 41 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140733701903360 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5755/statm: 342417 284164 894 2943 0 339311 0
[pid=5755/tid=5756] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5756/stat : 5756 (toysat) S 5752 5755 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569327152368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5755/tid=5757] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5757/stat : 5757 (toysat) S 5752 5755 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569246412016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5755/tid=5758] ppid=5752 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/5755/task/5758/stat : 5758 (toysat) S 5752 5755 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109471992 1402540032 284164 33554432000 4194304 16246674 140733701921488 140569235938480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1369668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.06
CPU user time (s): 1799.59
CPU system time (s): 0.465929
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1369668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.465929
maximum resident set size= 1136656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283126
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= 56
involuntary context switches= 1887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42333 second user time and 7.08792 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:56:28
IDJOB=4078845
IDBENCH=89675
IDSOLVER=2542
FILE ID=node117/4078845-1465275388
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71660 MiB

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

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

MD5SUM BENCH= a3ed9477da365050d631dd031519efe8
RANDOM SEED=583992261

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        26628092 kB
Buffers:           86212 kB
Cached:           176696 kB
SwapCached:        55388 kB
Active:          3606184 kB
Inactive:         175896 kB
Active(anon):    3466820 kB
Inactive(anon):    54760 kB
Active(file):     139364 kB
Inactive(file):   121136 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             23420 kB
Writeback:             0 kB
AnonPages:       5187588 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             601300 kB
SReclaimable:      45040 kB
SUnreclaim:       556260 kB
KernelStack:        1464 kB
PageTables:        14292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5329564 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= 71700 MiB
End job on node117 at 2016-06-07 07:26:29