Trace number 4116085

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.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-0.opb
MD5SUM07476883d79040c68787d0ce7712b615
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-27T00:39:43+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-4116085-1466980783.opb"]
0.00/0.01	c use --random-gen="2198139163 2632697920 3193461999 3386145020 2478935297 1600529747 1375063432 226029818 1557762922 1359412239 3161838190 2359366354 1701651719 3949603831 205610057 4067008164 1138849360 3365112718 96067691 4170951308 2996632878 1980499874 2189809291 2583307385 3938622090 424322771 3602298898 49080883 1437709316 476263419 2978049807 2778233410 1184987591 3647912570 2732806933 493155186 940668733 2904385773 3944864743 3019290796 3347354545 834743209 1918698149 737789986 2362180479 3874062973 27468279 2262245790 3775732446 3747930282 488817264 2673788413 2308148749 2098963053 742785906 254402263 1219722966 3616237448 2862489507 697094697 1060455808 267146796 3776291810 209098246 239215080 4109197182 3495990875 968686783 436836208 677407496 3832423900 71080468 3588359724 2417363177 1746329604 2197864824 1436335039 4252491193 4041399351 1149943098 3523796990 4046400707 2313428512 1919955538 2942039094 755963499 2522372974 162057546 2155233349 3985965913 3194612415 845638148 880622953 3178723254 885319982 3475132017 2742256432 1141475164 788292255 3582551554 485072593 1297951465 1750567278 2858417949 2652399037 3558934156 1660498495 249752949 2653858375 2261434496 1439344460 2903517185 2910320629 2201219199 394792186 3535194925 2348923471 3445948337 3099915067 3532449924 1777055681 968452287 3740055920 1717467578 2385867325 3815175239 2451080516 4076579228 2601230459 124781975 3943759554 3425540697 1809076478 1053541221 546184063 3030473228 3224928307 1592246884 2414673016 2402132625 1743470524 434500305 768147955 2301361429 4079273848 220346637 3199541162 721104193 1750793564 2303701881 4064961288 1241092845 532820640 1512195568 2430302270 2946701195 1804026385 2635240743 2075161405 566765489 1517967581 1058610112 2642959741 779191017 95886595 1566234648 2609548780 4248954831 2218106448 1773821228 2874914142 975655438 3467217667 3913734629 3316374249 2151519258 662465801 2264239605 2135227535 3838208546 1621437473 3481693008 2603557737 193156112 323043716 1429543497 508649091 252544703 3600444491 359072055 464658800 2283566756 1701509419 2466000635 2009092226 3537928869 1344279474 3312640829 189372623 1676697318 3967658405 232529258 646490636 295129957 604033320 2206139911 2904577858 776164943 2448470446 2745878295 1641868590 1504392905 268952148 3241414194 132488810 424271939 518835292 3379378376 856745226 2029970402 632700960 624684338 1622017975 3661949785 4046551507 2506461080 2145948643 1483171100 150950 1492675468 2192614362 4181765994 3422200894 2824390236 2928460911 644934258 2015045203 2499852525 3457683944 2118932445 481045580 811658823 26233091 2160465260 3210866415 1217506529 1549334459 3898139349 535566943 578274890 1194195323 1194290638 2694532983 255992459 4207799814 1025727805 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      835 |        0
0.28/0.36	c  0.1s |       1 |      598 |      100 |     4565      0 |      836 |      804
0.39/0.45	c  0.2s |       2 |     1443 |      250 |     5022      0 |      836 |      804
0.59/0.61	c  0.3s |       3 |     2120 |      475 |     5525      0 |      836 |      804
0.78/0.86	c  0.6s |       4 |     4294 |      813 |     6078      0 |      836 |      804
1.20/1.29	c  1.0s |       5 |     7498 |     1320 |     6686      0 |      837 |      804
1.78/1.82	c  1.5s |       6 |    12966 |     2081 |     8091      0 |      837 |      804
2.59/2.67	c  2.4s |       7 |    17848 |     3223 |     8901      0 |      837 |      804
3.99/4.02	c  3.7s |       8 |    23761 |     4936 |     9792      0 |      837 |      804
5.99/6.03	c  5.8s |       8 |    29862 |     6936 |     9792      0 |      837 |      804
6.89/6.97	c  6.7s |       9 |    30552 |     7506 |    10772      0 |      837 |      804
8.98/9.05	c  8.8s |       9 |    35634 |     9506 |    10772      0 |      837 |      804
11.18/11.22	c 11.0s |       9 |    36966 |    10606 |    10772      0 |      837 |      804
12.09/12.17	c 11.9s |      10 |    38528 |    11361 |    11850      0 |      837 |      804
14.18/14.21	c 13.9s |      10 |    42505 |    12961 |    11850      0 |      837 |      804
16.18/16.28	c 16.0s |      10 |    43900 |    14261 |    11850      0 |      837 |      804
18.28/18.37	c 18.1s |      10 |    45053 |    15361 |    11850      0 |      837 |      804
20.28/20.38	c 20.1s |      10 |    48139 |    16661 |    11850      1 |      837 |      804
20.89/20.91	c 20.6s |      11 |    48867 |    17144 |    13036      1 |      837 |      804
22.88/22.97	c 22.7s |      11 |    55845 |    19144 |    13036      1 |      837 |      804
24.88/24.98	c 24.7s |      11 |    57416 |    20444 |    13036      1 |      837 |      804
26.98/27.02	c 26.7s |      11 |    58614 |    21544 |    13036      1 |      837 |      804
28.98/29.07	c 28.8s |      11 |    59793 |    22644 |    13036      1 |      837 |      804
31.08/31.16	c 30.9s |      11 |    60966 |    23744 |    13036      1 |      837 |      804
33.18/33.26	c 33.0s |      11 |    61931 |    24644 |    13036      2 |      837 |      804
35.38/35.43	c 35.2s |      11 |    62990 |    25644 |    13036      2 |      837 |      804
35.68/35.77	c 35.5s |      12 |    63171 |    25819 |    14340      2 |      837 |      804
37.78/37.80	c 37.5s |      12 |    70931 |    28019 |    14340      2 |      837 |      804
39.88/39.96	c 39.7s |      12 |    72976 |    29619 |    14340      2 |      837 |      804
41.98/42.06	c 41.8s |      12 |    75077 |    31119 |    14340      2 |      837 |      804
44.09/44.17	c 43.9s |      12 |    76796 |    32419 |    14340      2 |      837 |      804
46.29/46.34	c 46.1s |      12 |    78539 |    33719 |    14340      2 |      837 |      804
48.28/48.36	c 48.1s |      12 |    79768 |    34719 |    14340      3 |      837 |      804
50.28/50.39	c 50.1s |      12 |    80958 |    35719 |    14340      3 |      837 |      804
52.48/52.53	c 52.3s |      12 |    82138 |    36719 |    14340      3 |      837 |      804
54.58/54.69	c 54.4s |      12 |    83329 |    37719 |    14340      3 |      837 |      804
56.88/56.94	c 56.7s |      12 |    84523 |    38719 |    15775      3 |      837 |      804
57.18/57.24	c 57.0s |      13 |    84656 |    38832 |    15775      3 |      837 |      804
59.28/59.34	c 59.1s |      13 |    95926 |    41532 |    15775      3 |      837 |      804
61.27/61.36	c 61.1s |      13 |    98030 |    42732 |    15775      3 |      837 |      804
63.27/63.38	c 63.1s |      13 |   100455 |    44432 |    15775      4 |      837 |      804
65.37/65.47	c 65.2s |      13 |   104894 |    46332 |    15775      4 |      837 |      804
67.37/67.47	c 67.2s |      13 |   108524 |    48232 |    15775      4 |      837 |      804
69.47/69.59	c 69.3s |      13 |   110549 |    49732 |    15775      4 |      837 |      804
71.67/71.72	c 71.4s |      13 |   112623 |    51132 |    15775      4 |      837 |      804
73.78/73.85	c 73.6s |      13 |   114202 |    52332 |    15775      4 |      837 |      804
75.88/75.92	c 75.6s |      13 |   115641 |    53432 |    15775      4 |      837 |      804
77.87/77.94	c 77.7s |      13 |   117034 |    54432 |    15775      5 |      837 |      804
79.97/80.00	c 79.7s |      13 |   118638 |    55632 |    15775      5 |      837 |      804
81.97/82.05	c 81.8s |      13 |   119934 |    56632 |    15775      5 |      837 |      804
83.97/84.08	c 83.8s |      13 |   121040 |    57532 |    15775      5 |      837 |      804
86.27/86.30	c 86.0s |      13 |   121981 |    58332 |    17353      5 |      837 |      804
86.27/86.37	c 86.1s |      14 |   122004 |    58352 |    17353      5 |      837 |      804
88.37/88.42	c 88.2s |      14 |   126714 |    59952 |    17353      5 |      837 |      804
90.47/90.54	c 90.3s |      14 |   128717 |    61352 |    17353      5 |      837 |      804
92.48/92.56	c 92.3s |      14 |   131457 |    62852 |    17353      5 |      837 |      804
94.58/94.70	c 94.4s |      14 |   135055 |    64652 |    17353      5 |      837 |      804
96.78/96.82	c 96.5s |      14 |   136322 |    65652 |    17353      6 |      837 |      804
98.77/98.82	c 98.5s |      14 |   137535 |    66552 |    17353      6 |      837 |      804
100.77/100.83	c  100s |      14 |   138803 |    67552 |    17353      6 |      837 |      804
102.77/102.89	c  102s |      14 |   139791 |    68352 |    17353      6 |      837 |      804
105.07/105.12	c  104s |      14 |   140763 |    69152 |    17353      6 |      837 |      804
107.17/107.20	c  106s |      14 |   141927 |    70052 |    17353      6 |      837 |      804
109.17/109.25	c  108s |      14 |   143029 |    70952 |    17353      6 |      837 |      804
111.27/111.38	c  111s |      14 |   144153 |    71852 |    17353      6 |      837 |      804
113.47/113.53	c  113s |      14 |   145235 |    72752 |    17353      6 |      837 |      804
115.47/115.55	c  115s |      14 |   146410 |    73652 |    17353      6 |      837 |      804
117.56/117.61	c  117s |      14 |   148691 |    74952 |    17353      6 |      837 |      804
119.56/119.62	c  119s |      14 |   149805 |    75752 |    17353      7 |      837 |      804
121.66/121.72	c  121s |      14 |   151362 |    76852 |    17353      7 |      837 |      804
123.86/123.91	c  123s |      14 |   152769 |    77852 |    17353      7 |      837 |      804
125.96/126.00	c  125s |      14 |   154146 |    78852 |    17353      7 |      837 |      804
128.16/128.22	c  127s |      14 |   155415 |    79852 |    17353      7 |      837 |      804
130.16/130.24	c  129s |      14 |   156613 |    80752 |    17353      7 |      837 |      804
132.36/132.46	c  132s |      14 |   157736 |    81652 |    17353      7 |      837 |      804
134.46/134.58	c  134s |      14 |   158743 |    82452 |    17353      7 |      837 |      804
136.76/136.84	c  136s |      14 |   159729 |    83252 |    17353      7 |      837 |      804
138.96/139.03	c  138s |      14 |   160735 |    84052 |    17353      7 |      837 |      804
141.06/141.15	c  140s |      14 |   161707 |    84852 |    17353      7 |      837 |      804
143.17/143.20	c  142s |      14 |   162665 |    85652 |    17353      7 |      837 |      804
145.37/145.42	c  145s |      14 |   163461 |    86352 |    17353      8 |      837 |      804
147.38/147.48	c  147s |      14 |   164714 |    87352 |    19089      8 |      837 |      804
147.97/148.07	c  147s |      15 |   165048 |    87632 |    19089      8 |      837 |      804
150.07/150.18	c  149s |      15 |   170542 |    89432 |    19089      8 |      837 |      804
152.27/152.30	c  152s |      15 |   172631 |    90932 |    19089      8 |      837 |      804
154.27/154.36	c  154s |      15 |   174738 |    92432 |    19089      8 |      837 |      804
156.27/156.37	c  156s |      15 |   176262 |    93632 |    19089      8 |      837 |      804
158.37/158.46	c  158s |      15 |   177861 |    94832 |    19089      8 |      837 |      804
160.36/160.48	c  160s |      15 |   182487 |    96132 |    19089      9 |      837 |      804
162.46/162.57	c  162s |      15 |   185794 |    97732 |    19089      9 |      837 |      804
164.66/164.75	c  164s |      15 |   187175 |    98832 |    19089      9 |      837 |      804
166.76/166.83	c  166s |      15 |   188422 |    99832 |    19089      9 |      837 |      804
168.86/168.93	c  168s |      15 |   192612 |   101132 |    19089      9 |      837 |      804
171.06/171.16	c  170s |      15 |   196562 |   102932 |    19089      9 |      837 |      804
173.36/173.41	c  173s |      15 |   197706 |   103932 |    19089      9 |      837 |      804
175.46/175.50	c  175s |      15 |   198616 |   104732 |    19089      9 |      837 |      804
177.46/177.58	c  177s |      15 |   201910 |   105832 |    19089      9 |      837 |      804
179.56/179.67	c  179s |      15 |   203640 |   107132 |    19089      9 |      837 |      804
181.76/181.80	c  181s |      15 |   210965 |   108732 |    19089     10 |      837 |      804
183.86/183.96	c  183s |      15 |   212776 |   110132 |    19089     10 |      837 |      804
186.06/186.12	c  185s |      15 |   214061 |   111232 |    19089     10 |      837 |      804
188.07/188.16	c  187s |      15 |   215063 |   112132 |    19089     10 |      837 |      804
190.16/190.23	c  189s |      15 |   216067 |   113032 |    19089     10 |      837 |      804
192.26/192.35	c  192s |      15 |   217085 |   113932 |    19089     10 |      837 |      804
194.36/194.40	c  194s |      15 |   217973 |   114732 |    19089     10 |      837 |      804
196.46/196.52	c  196s |      15 |   219148 |   115732 |    19089     10 |      837 |      804
198.46/198.56	c  198s |      15 |   220192 |   116632 |    19089     10 |      837 |      804
200.46/200.58	c  200s |      15 |   221129 |   117432 |    19089     10 |      837 |      804
202.66/202.76	c  202s |      15 |   222034 |   118232 |    19089     10 |      837 |      804
204.96/205.02	c  204s |      15 |   222955 |   119032 |    19089     10 |      837 |      804
206.96/207.02	c  206s |      15 |   223736 |   119732 |    19089     11 |      837 |      804
209.16/209.28	c  209s |      15 |   224640 |   120532 |    19089     11 |      837 |      804
211.26/211.34	c  211s |      15 |   225606 |   121332 |    19089     11 |      837 |      804
213.46/213.53	c  213s |      15 |   226526 |   122132 |    19089     11 |      837 |      804
215.66/215.80	c  215s |      15 |   227449 |   122932 |    19089     11 |      837 |      804
217.95/218.08	c  217s |      15 |   228290 |   123632 |    19089     11 |      837 |      804
220.06/220.15	c  219s |      15 |   229093 |   124332 |    19089     11 |      837 |      804
222.36/222.45	c  222s |      15 |   229917 |   125032 |    19089     11 |      837 |      804
224.55/224.60	c  224s |      15 |   230606 |   125632 |    19089     11 |      837 |      804
226.66/226.72	c  226s |      15 |   231275 |   126232 |    19089     11 |      837 |      804
228.76/228.89	c  228s |      15 |   231942 |   126832 |    19089     11 |      837 |      804
230.75/230.90	c  230s |      15 |   232496 |   127332 |    19089     11 |      837 |      804
233.05/233.13	c  232s |      15 |   233379 |   128032 |    19089     11 |      837 |      804
235.36/235.42	c  235s |      15 |   234190 |   128732 |    19089     11 |      837 |      804
237.45/237.52	c  237s |      15 |   234982 |   129432 |    19089     11 |      837 |      804
239.55/239.68	c  239s |      15 |   235805 |   130132 |    19089     11 |      837 |      804
241.75/241.88	c  241s |      15 |   236380 |   130632 |    19089     12 |      837 |      804
244.05/244.16	c  243s |      15 |   237266 |   131432 |    20998     12 |      837 |      804
244.35/244.49	c  244s |      16 |   237400 |   131552 |    20998     12 |      837 |      804
246.36/246.49	c  246s |      16 |   250775 |   134052 |    20998     12 |      837 |      804
248.45/248.54	c  248s |      16 |   256335 |   136252 |    20998     12 |      837 |      804
250.45/250.58	c  250s |      16 |   259196 |   137852 |    20998     12 |      837 |      804
252.55/252.68	c  252s |      16 |   260519 |   138852 |    20998     12 |      837 |      804
254.75/254.83	c  254s |      16 |   261775 |   139752 |    20998     12 |      837 |      804
256.75/256.86	c  256s |      16 |   263135 |   140852 |    20998     12 |      837 |      804
258.85/258.93	c  258s |      16 |   264238 |   141852 |    20998     12 |      837 |      804
260.95/261.04	c  260s |      16 |   265436 |   142752 |    20998     12 |      837 |      804
263.15/263.25	c  262s |      16 |   266530 |   143652 |    20998     12 |      837 |      804
265.35/265.44	c  265s |      16 |   267325 |   144352 |    20998     13 |      837 |      804
267.45/267.56	c  267s |      16 |   268105 |   145052 |    20998     13 |      837 |      804
269.55/269.67	c  269s |      16 |   269104 |   145852 |    20998     13 |      837 |      804
271.65/271.76	c  271s |      16 |   270018 |   146652 |    20998     13 |      837 |      804
273.85/273.94	c  273s |      16 |   270947 |   147452 |    20998     13 |      837 |      804
276.05/276.20	c  275s |      16 |   271878 |   148252 |    20998     13 |      837 |      804
278.14/278.25	c  277s |      16 |   272579 |   148852 |    20998     13 |      837 |      804
280.34/280.47	c  280s |      16 |   273242 |   149452 |    20998     13 |      837 |      804
282.34/282.48	c  282s |      16 |   273947 |   150052 |    20998     13 |      837 |      804
284.54/284.66	c  284s |      16 |   274819 |   150752 |    20998     13 |      837 |      804
286.74/286.81	c  286s |      16 |   275512 |   151352 |    20998     13 |      837 |      804
288.74/288.86	c  288s |      16 |   276225 |   151952 |    20998     13 |      837 |      804
290.94/291.01	c  290s |      16 |   276912 |   152552 |    20998     13 |      837 |      804
292.94/293.09	c  292s |      16 |   277630 |   153152 |    20998     13 |      837 |      804
295.14/295.28	c  295s |      16 |   278530 |   153852 |    20998     13 |      837 |      804
297.64/297.74	c  297s |      16 |   279112 |   154352 |    20998     13 |      837 |      804
299.84/299.98	c  299s |      16 |   279793 |   154952 |    20998     13 |      837 |      804
302.24/302.39	c  302s |      16 |   280474 |   155552 |    20998     13 |      837 |      804
304.74/304.87	c  304s |      16 |   281177 |   156152 |    20998     14 |      837 |      804
307.04/307.15	c  306s |      16 |   281851 |   156752 |    20998     14 |      837 |      804
309.44/309.51	c  309s |      16 |   282527 |   157352 |    20998     14 |      837 |      804
311.44/311.55	c  311s |      16 |   283107 |   157852 |    20998     14 |      837 |      804
313.84/313.90	c  313s |      16 |   283912 |   158552 |    20998     14 |      837 |      804
316.04/316.11	c  315s |      16 |   284474 |   159052 |    20998     14 |      837 |      804
318.34/318.43	c  318s |      16 |   285026 |   159552 |    20998     14 |      837 |      804
320.74/320.81	c  320s |      16 |   285700 |   160152 |    20998     14 |      837 |      804
322.83/322.91	c  322s |      16 |   286143 |   160552 |    20998     14 |      837 |      804
325.13/325.26	c  324s |      16 |   286684 |   161052 |    20998     14 |      837 |      804
327.43/327.56	c  327s |      16 |   287256 |   161552 |    20998     14 |      837 |      804
329.63/329.75	c  329s |      16 |   287971 |   162152 |    20998     14 |      837 |      804
331.73/331.80	c  331s |      16 |   288553 |   162652 |    20998     14 |      837 |      804
333.93/334.03	c  333s |      16 |   288998 |   163052 |    20998     14 |      837 |      804
336.23/336.33	c  336s |      16 |   289568 |   163552 |    20998     14 |      837 |      804
338.84/338.90	c  338s |      16 |   290118 |   164052 |    20998     14 |      837 |      804
341.04/341.16	c  340s |      16 |   290570 |   164452 |    20998     14 |      837 |      804
343.24/343.32	c  343s |      16 |   291242 |   164952 |    20998     14 |      837 |      804
345.44/345.59	c  345s |      16 |   292337 |   165752 |    20998     14 |      837 |      804
347.73/347.84	c  347s |      16 |   293236 |   166452 |    20998     14 |      837 |      804
350.03/350.19	c  349s |      16 |   294173 |   167152 |    20998     14 |      837 |      804
352.33/352.47	c  352s |      16 |   294903 |   167752 |    20998     14 |      837 |      804
354.73/354.82	c  354s |      16 |   295550 |   168252 |    20998     15 |      837 |      804
356.83/356.92	c  356s |      16 |   296429 |   168952 |    20998     15 |      837 |      804
358.83/358.95	c  358s |      16 |   297263 |   169652 |    20998     15 |      837 |      804
360.84/360.97	c  360s |      16 |   297888 |   170152 |    20998     15 |      837 |      804
362.94/363.09	c  362s |      16 |   298637 |   170752 |    20998     15 |      837 |      804
365.14/365.21	c  364s |      16 |   299471 |   171452 |    20998     15 |      837 |      804
367.13/367.23	c  366s |      16 |   300162 |   172052 |    20998     15 |      837 |      804
369.23/369.33	c  369s |      16 |   302713 |   173252 |    20998     15 |      837 |      804
371.43/371.52	c  371s |      16 |   304941 |   174352 |    20998     15 |      837 |      804
373.53/373.65	c  373s |      16 |   306149 |   175152 |    20998     15 |      837 |      804
375.63/375.72	c  375s |      16 |   307104 |   175952 |    20998     15 |      837 |      804
377.83/377.93	c  377s |      16 |   308038 |   176652 |    20998     15 |      837 |      804
380.03/380.10	c  379s |      16 |   309153 |   177452 |    20998     15 |      837 |      804
382.23/382.36	c  382s |      16 |   310196 |   178252 |    20998     15 |      837 |      804
384.23/384.38	c  384s |      16 |   311194 |   178952 |    20998     15 |      837 |      804
386.43/386.52	c  386s |      16 |   312121 |   179652 |    20998     15 |      837 |      804
388.52/388.69	c  388s |      16 |   312839 |   180252 |    20998     16 |      837 |      804
390.63/390.73	c  390s |      16 |   315038 |   181352 |    20998     16 |      837 |      804
392.73/392.86	c  392s |      16 |   316576 |   182452 |    20998     16 |      837 |      804
394.83/394.95	c  394s |      16 |   318510 |   183552 |    20998     16 |      837 |      804
396.82/396.95	c  396s |      16 |   320266 |   184652 |    20998     16 |      837 |      804
398.92/399.02	c  398s |      16 |   321663 |   185652 |    20998     16 |      837 |      804
401.12/401.28	c  401s |      16 |   322731 |   186552 |    20998     16 |      837 |      804
403.42/403.52	c  403s |      16 |   323514 |   187252 |    20998     16 |      837 |      804
405.52/405.68	c  405s |      16 |   324371 |   187952 |    20998     16 |      837 |      804
407.82/407.94	c  407s |      16 |   325148 |   188652 |    20998     16 |      837 |      804
409.92/410.04	c  409s |      16 |   325942 |   189352 |    20998     16 |      837 |      804
412.12/412.28	c  412s |      16 |   326733 |   190052 |    20998     16 |      837 |      804
414.32/414.43	c  414s |      16 |   327396 |   190652 |    20998     16 |      837 |      804
416.42/416.54	c  416s |      16 |   328059 |   191252 |    20998     16 |      837 |      804
418.52/418.61	c  418s |      16 |   328738 |   191852 |    20998     16 |      837 |      804
420.92/421.06	c  420s |      16 |   329425 |   192452 |    20998     17 |      837 |      804
423.02/423.10	c  422s |      16 |   330344 |   193152 |    20998     17 |      837 |      804
425.12/425.21	c  424s |      16 |   331172 |   193852 |    20998     17 |      837 |      804
427.32/427.44	c  427s |      16 |   332047 |   194552 |    20998     17 |      837 |      804
429.42/429.54	c  429s |      16 |   332884 |   195252 |    20998     17 |      837 |      804
431.42/431.57	c  431s |      16 |   333451 |   195752 |    20998     17 |      837 |      804
433.52/433.64	c  433s |      16 |   334012 |   196252 |    23098     17 |      837 |      804
435.92/436.00	c  435s |      16 |   334580 |   196752 |    23098     17 |      837 |      804
438.12/438.26	c  437s |      16 |   335165 |   197252 |    23098     17 |      837 |      804
439.12/439.28	c  439s |      17 |   335368 |   197432 |    23098     17 |      837 |      804
441.22/441.36	c  441s |      17 |   338642 |   198732 |    23098     17 |      837 |      804
443.33/443.45	c  443s |      17 |   340635 |   200432 |    23098     17 |      837 |      804
445.32/445.49	c  445s |      17 |   342037 |   201732 |    23098     17 |      837 |      804
447.32/447.49	c  447s |      17 |   343440 |   202932 |    23098     17 |      837 |      804
449.52/449.69	c  449s |      17 |   344752 |   204132 |    23098     17 |      837 |      804
451.62/451.71	c  451s |      17 |   345839 |   205132 |    23098     17 |      837 |      804
453.62/453.72	c  453s |      17 |   346960 |   206132 |    23098     17 |      837 |      804
455.72/455.85	c  455s |      17 |   347878 |   206932 |    23098     18 |      837 |      804
457.92/458.05	c  457s |      17 |   348847 |   207832 |    23098     18 |      837 |      804
460.02/460.10	c  459s |      17 |   349857 |   208732 |    23098     18 |      837 |      804
462.22/462.31	c  462s |      17 |   350729 |   209532 |    23098     18 |      837 |      804
464.23/464.37	c  464s |      17 |   351575 |   210332 |    23098     18 |      837 |      804
466.52/466.65	c  466s |      17 |   352573 |   211232 |    23098     18 |      837 |      804
468.53/468.68	c  468s |      17 |   353475 |   212032 |    23098     18 |      837 |      804
470.52/470.68	c  470s |      17 |   354232 |   212732 |    23098     18 |      837 |      804
472.82/472.97	c  472s |      17 |   355140 |   213532 |    23098     18 |      837 |      804
475.02/475.10	c  474s |      17 |   355924 |   214232 |    23098     18 |      837 |      804
477.02/477.18	c  476s |      17 |   356582 |   214832 |    23098     18 |      837 |      804
479.12/479.23	c  478s |      17 |   358170 |   215832 |    23098     18 |      837 |      804
481.12/481.29	c  481s |      17 |   359299 |   216632 |    23098     18 |      837 |      804
483.22/483.37	c  483s |      17 |   360517 |   217532 |    23098     18 |      837 |      804
485.42/485.50	c  485s |      17 |   361489 |   218332 |    23098     18 |      837 |      804
487.62/487.77	c  487s |      17 |   362673 |   219232 |    23098     18 |      837 |      804
489.72/489.82	c  489s |      17 |   363563 |   219932 |    23098     18 |      837 |      804
491.82/491.97	c  491s |      17 |   364617 |   220732 |    23098     19 |      837 |      804
493.92/494.06	c  493s |      17 |   366443 |   221832 |    23098     19 |      837 |      804
496.02/496.18	c  495s |      17 |   367695 |   222832 |    23098     19 |      837 |      804
498.11/498.28	c  498s |      17 |   369022 |   223832 |    23098     19 |      837 |      804
500.11/500.29	c  500s |      17 |   369821 |   224532 |    23098     19 |      837 |      804
502.31/502.44	c  502s |      17 |   370606 |   225232 |    23098     19 |      837 |      804
504.51/504.66	c  504s |      17 |   371766 |   226132 |    23098     19 |      837 |      804
506.71/506.82	c  506s |      17 |   372873 |   227032 |    23098     19 |      837 |      804
508.91/509.01	c  508s |      17 |   373839 |   227832 |    23098     19 |      837 |      804
511.01/511.15	c  510s |      17 |   374785 |   228632 |    23098     19 |      837 |      804
513.11/513.20	c  512s |      17 |   375896 |   229532 |    23098     19 |      837 |      804
515.11/515.20	c  514s |      17 |   376695 |   230232 |    23098     19 |      837 |      804
517.31/517.43	c  517s |      17 |   377502 |   230932 |    23098     19 |      837 |      804
519.51/519.62	c  519s |      17 |   378468 |   231732 |    23098     19 |      837 |      804
521.71/521.81	c  521s |      17 |   379279 |   232432 |    23098     19 |      837 |      804
524.01/524.10	c  523s |      17 |   380137 |   233132 |    23098     19 |      837 |      804
526.21/526.35	c  526s |      17 |   380831 |   233732 |    23098     20 |      837 |      804
528.41/528.53	c  528s |      17 |   381612 |   234432 |    23098     20 |      837 |      804
530.51/530.68	c  530s |      17 |   382691 |   235332 |    23098     20 |      837 |      804
532.71/532.82	c  532s |      17 |   383614 |   236132 |    23098     20 |      837 |      804
534.91/535.01	c  534s |      17 |   384530 |   236932 |    23098     20 |      837 |      804
537.11/537.22	c  536s |      17 |   385471 |   237732 |    23098     20 |      837 |      804
539.31/539.42	c  539s |      17 |   386460 |   238532 |    23098     20 |      837 |      804
541.51/541.62	c  541s |      17 |   387251 |   239232 |    23098     20 |      837 |      804
543.81/543.92	c  543s |      17 |   388165 |   240032 |    23098     20 |      837 |      804
546.11/546.20	c  545s |      17 |   388956 |   240732 |    23098     20 |      837 |      804
548.21/548.37	c  548s |      17 |   389638 |   241332 |    23098     20 |      837 |      804
550.61/550.75	c  550s |      17 |   390441 |   242032 |    23098     20 |      837 |      804
552.71/552.81	c  552s |      17 |   391284 |   242732 |    23098     20 |      837 |      804
555.01/555.14	c  554s |      17 |   392061 |   243432 |    23098     20 |      837 |      804
557.21/557.39	c  557s |      17 |   392720 |   244032 |    23098     20 |      837 |      804
559.40/559.50	c  559s |      17 |   393288 |   244532 |    23098     20 |      837 |      804
561.70/561.87	c  561s |      17 |   393830 |   245032 |    23098     20 |      837 |      804
563.90/564.01	c  563s |      17 |   394387 |   245532 |    23098     20 |      837 |      804
566.00/566.12	c  565s |      17 |   395084 |   246132 |    23098     20 |      837 |      804
568.00/568.13	c  567s |      17 |   395785 |   246732 |    23098     20 |      837 |      804
570.10/570.25	c  569s |      17 |   396479 |   247332 |    23098     21 |      837 |      804
572.20/572.33	c  572s |      17 |   397554 |   248232 |    23098     21 |      837 |      804
574.40/574.50	c  574s |      17 |   398622 |   249132 |    23098     21 |      837 |      804
576.41/576.53	c  576s |      17 |   399442 |   249832 |    23098     21 |      837 |      804
578.61/578.77	c  578s |      17 |   400224 |   250532 |    23098     21 |      837 |      804
580.81/580.96	c  580s |      17 |   401042 |   251232 |    23098     21 |      837 |      804
582.91/583.08	c  582s |      17 |   401834 |   251932 |    23098     21 |      837 |      804
585.11/585.23	c  584s |      17 |   402645 |   252632 |    23098     21 |      837 |      804
587.20/587.40	c  587s |      17 |   403301 |   253232 |    23098     21 |      837 |      804
589.30/589.46	c  589s |      17 |   403989 |   253832 |    23098     21 |      837 |      804
591.40/591.50	c  591s |      17 |   404663 |   254432 |    23098     21 |      837 |      804
593.40/593.51	c  593s |      17 |   405222 |   254932 |    23098     21 |      837 |      804
595.40/595.59	c  595s |      17 |   406059 |   255632 |    23098     21 |      837 |      804
597.80/597.91	c  597s |      17 |   406826 |   256332 |    23098     21 |      837 |      804
599.90/600.08	c  599s |      17 |   407503 |   256932 |    23098     21 |      837 |      804
602.00/602.17	c  601s |      17 |   408220 |   257532 |    23098     21 |      837 |      804
604.10/604.27	c  603s |      17 |   408935 |   258132 |    23098     21 |      837 |      804
606.20/606.36	c  606s |      17 |   409472 |   258632 |    23098     21 |      837 |      804
608.50/608.69	c  608s |      17 |   410153 |   259232 |    23098     21 |      837 |      804
610.70/610.89	c  610s |      17 |   410715 |   259732 |    23098     21 |      837 |      804
612.90/613.05	c  612s |      17 |   411146 |   260132 |    23098     22 |      837 |      804
615.30/615.42	c  615s |      17 |   411797 |   260732 |    23098     22 |      837 |      804
617.30/617.43	c  617s |      17 |   412596 |   261432 |    23098     22 |      837 |      804
619.49/619.62	c  619s |      17 |   413363 |   262132 |    23098     22 |      837 |      804
621.69/621.80	c  621s |      17 |   414014 |   262732 |    23098     22 |      837 |      804
623.89/624.10	c  623s |      17 |   414766 |   263432 |    23098     22 |      837 |      804
625.99/626.19	c  625s |      17 |   415618 |   264132 |    23098     22 |      837 |      804
628.19/628.38	c  628s |      17 |   416619 |   264932 |    23098     22 |      837 |      804
630.39/630.55	c  630s |      17 |   417574 |   265732 |    23098     22 |      837 |      804
632.59/632.78	c  632s |      17 |   418361 |   266432 |    23098     22 |      837 |      804
634.70/634.85	c  634s |      17 |   419185 |   267132 |    23098     22 |      837 |      804
636.69/636.87	c  636s |      17 |   420019 |   267832 |    23098     22 |      837 |      804
638.89/639.03	c  638s |      17 |   420824 |   268532 |    23098     22 |      837 |      804
640.89/641.06	c  640s |      17 |   421912 |   269432 |    23098     22 |      837 |      804
642.99/643.11	c  642s |      17 |   422739 |   270132 |    23098     22 |      837 |      804
645.09/645.30	c  645s |      17 |   423555 |   270832 |    23098     22 |      837 |      804
647.39/647.53	c  647s |      17 |   424201 |   271432 |    23098     22 |      837 |      804
649.39/649.58	c  649s |      17 |   424749 |   271932 |    23098     22 |      837 |      804
651.79/651.98	c  651s |      17 |   425443 |   272532 |    23098     22 |      837 |      804
653.99/654.12	c  653s |      17 |   426016 |   273032 |    23098     22 |      837 |      804
655.99/656.12	c  655s |      17 |   426462 |   273432 |    23098     23 |      837 |      804
658.09/658.25	c  657s |      17 |   427250 |   274132 |    23098     23 |      837 |      804
660.39/660.50	c  660s |      17 |   428044 |   274832 |    23098     23 |      837 |      804
662.59/662.77	c  662s |      17 |   428863 |   275532 |    23098     23 |      837 |      804
664.99/665.11	c  664s |      17 |   429682 |   276232 |    23098     23 |      837 |      804
667.29/667.42	c  667s |      17 |   430632 |   277032 |    23098     23 |      837 |      804
669.29/669.42	c  669s |      17 |   431481 |   277732 |    23098     23 |      837 |      804
671.39/671.55	c  671s |      17 |   432300 |   278432 |    23098     23 |      837 |      804
673.69/673.89	c  673s |      17 |   432967 |   279032 |    23098     23 |      837 |      804
676.09/676.28	c  676s |      17 |   433637 |   279632 |    23098     23 |      837 |      804
678.09/678.29	c  678s |      17 |   434210 |   280132 |    23098     23 |      837 |      804
680.29/680.43	c  680s |      17 |   434779 |   280632 |    23098     23 |      837 |      804
682.39/682.52	c  682s |      17 |   435342 |   281132 |    23098     23 |      837 |      804
684.68/684.80	c  684s |      17 |   436010 |   281732 |    23098     23 |      837 |      804
686.78/686.92	c  686s |      17 |   436565 |   282232 |    23098     23 |      837 |      804
688.99/689.15	c  688s |      17 |   437102 |   282732 |    23098     23 |      837 |      804
691.38/691.54	c  691s |      17 |   437667 |   283232 |    23098     23 |      837 |      804
693.58/693.79	c  693s |      17 |   438210 |   283732 |    23098     23 |      837 |      804
695.88/696.07	c  695s |      17 |   438761 |   284232 |    23098     23 |      837 |      804
697.98/698.18	c  697s |      17 |   439309 |   284732 |    23098     23 |      837 |      804
700.08/700.26	c  699s |      17 |   439887 |   285232 |    23098     23 |      837 |      804
702.38/702.54	c  702s |      17 |   440437 |   285732 |    23098     23 |      837 |      804
704.38/704.58	c  704s |      17 |   441001 |   286232 |    23098     23 |      837 |      804
706.68/706.86	c  706s |      17 |   441443 |   286632 |    23098     24 |      837 |      804
708.98/709.10	c  708s |      17 |   442221 |   287332 |    23098     24 |      837 |      804
711.18/711.32	c  711s |      17 |   443017 |   288032 |    23098     24 |      837 |      804
713.18/713.38	c  713s |      17 |   443957 |   288832 |    23098     24 |      837 |      804
715.48/715.62	c  715s |      17 |   444913 |   289632 |    23098     24 |      837 |      804
717.58/717.72	c  717s |      17 |   445806 |   290432 |    23098     24 |      837 |      804
719.58/719.72	c  719s |      17 |   446484 |   291032 |    23098     24 |      837 |      804
721.88/722.06	c  721s |      17 |   447285 |   291732 |    23098     24 |      837 |      804
723.98/724.18	c  723s |      17 |   447925 |   292332 |    23098     24 |      837 |      804
726.48/726.62	c  726s |      17 |   448746 |   293032 |    23098     24 |      837 |      804
728.78/728.96	c  728s |      17 |   449401 |   293632 |    23098     24 |      837 |      804
731.08/731.27	c  730s |      17 |   450060 |   294232 |    25408     24 |      837 |      804
733.38/733.54	c  733s |      17 |   450725 |   294832 |    25408     24 |      837 |      804
735.37/735.59	c  735s |      17 |   451267 |   295332 |    25408     24 |      837 |      804
737.67/737.80	c  737s |      17 |   451797 |   295832 |    25408     24 |      837 |      804
739.47/739.68	c  739s |      18 |   452247 |   296252 |    25408     24 |      837 |      804
741.67/741.81	c  741s |      18 |   460026 |   298252 |    25408     24 |      837 |      804
743.77/743.94	c  743s |      18 |   461708 |   299552 |    25408     24 |      837 |      804
745.87/746.09	c  745s |      18 |   463354 |   300752 |    25408     24 |      837 |      804
747.98/748.15	c  747s |      18 |   467227 |   302352 |    25408     25 |      837 |      804
750.08/750.22	c  749s |      18 |   468799 |   303352 |    25408     25 |      837 |      804
752.17/752.36	c  752s |      18 |   470421 |   304552 |    25408     25 |      837 |      804
754.27/754.40	c  754s |      18 |   472679 |   305752 |    25408     25 |      837 |      804
756.27/756.43	c  756s |      18 |   476171 |   307252 |    25408     25 |      837 |      804
758.37/758.52	c  758s |      18 |   477376 |   308252 |    25408     25 |      837 |      804
760.37/760.53	c  760s |      18 |   478500 |   309152 |    25408     25 |      837 |      804
762.57/762.75	c  762s |      18 |   479528 |   310052 |    25408     25 |      837 |      804
764.76/764.90	c  764s |      18 |   480831 |   311152 |    25408     25 |      837 |      804
766.86/767.08	c  766s |      18 |   481965 |   312152 |    25408     25 |      837 |      804
768.96/769.10	c  768s |      18 |   482854 |   312952 |    25408     25 |      837 |      804
771.07/771.21	c  770s |      18 |   483758 |   313752 |    25408     25 |      837 |      804
773.06/773.27	c  772s |      18 |   484517 |   314452 |    25408     25 |      837 |      804
775.06/775.29	c  775s |      18 |   485321 |   315152 |    25408     25 |      837 |      804
777.16/777.38	c  777s |      18 |   486093 |   315852 |    25408     25 |      837 |      804
779.36/779.50	c  779s |      18 |   487190 |   316452 |    25408     26 |      837 |      804
781.46/781.63	c  781s |      18 |   493778 |   318152 |    25408     26 |      837 |      804
783.46/783.64	c  783s |      18 |   495248 |   319152 |    25408     26 |      837 |      804
785.56/785.73	c  785s |      18 |   496214 |   319852 |    25408     26 |      837 |      804
787.56/787.77	c  787s |      18 |   497343 |   320652 |    25408     26 |      837 |      804
789.76/789.92	c  789s |      18 |   498590 |   321552 |    25408     26 |      837 |      804
791.86/792.08	c  791s |      18 |   499624 |   322352 |    25408     26 |      837 |      804
794.16/794.33	c  794s |      18 |   501090 |   323352 |    25408     26 |      837 |      804
796.36/796.53	c  796s |      18 |   502116 |   324152 |    25408     26 |      837 |      804
798.56/798.72	c  798s |      18 |   503194 |   324952 |    25408     26 |      837 |      804
800.76/800.93	c  800s |      18 |   503902 |   325552 |    25408     26 |      837 |      804
803.05/803.28	c  803s |      18 |   504702 |   326252 |    25408     26 |      837 |      804
805.25/805.48	c  805s |      18 |   505588 |   326952 |    25408     26 |      837 |      804
807.26/807.50	c  807s |      18 |   506320 |   327552 |    25408     26 |      837 |      804
809.35/809.51	c  809s |      18 |   507249 |   328252 |    25408     26 |      837 |      804
811.45/811.62	c  811s |      18 |   507930 |   328852 |    25408     26 |      837 |      804
813.65/813.83	c  813s |      18 |   508638 |   329452 |    25408     26 |      837 |      804
815.75/815.92	c  815s |      18 |   510706 |   330452 |    25408     26 |      837 |      804
817.85/818.02	c  817s |      18 |   511928 |   331152 |    25408     27 |      837 |      804
819.95/820.15	c  819s |      18 |   513448 |   332152 |    25408     27 |      837 |      804
822.15/822.32	c  822s |      18 |   514588 |   332952 |    25408     27 |      837 |      804
824.15/824.32	c  824s |      18 |   515349 |   333552 |    25408     27 |      837 |      804
826.25/826.46	c  826s |      18 |   516166 |   334152 |    25408     27 |      837 |      804
828.35/828.53	c  828s |      18 |   517737 |   335052 |    25408     27 |      837 |      804
830.35/830.55	c  830s |      18 |   518969 |   335852 |    25408     27 |      837 |      804
832.55/832.73	c  832s |      18 |   520110 |   336652 |    25408     27 |      837 |      804
834.64/834.81	c  834s |      18 |   521074 |   337352 |    25408     27 |      837 |      804
836.84/837.00	c  836s |      18 |   522069 |   338052 |    25408     27 |      837 |      804
838.95/839.18	c  838s |      18 |   522825 |   338652 |    25408     27 |      837 |      804
841.15/841.38	c  841s |      18 |   523614 |   339252 |    25408     27 |      837 |      804
843.25/843.43	c  843s |      18 |   524441 |   339852 |    25408     27 |      837 |      804
845.45/845.66	c  845s |      18 |   526050 |   340752 |    25408     27 |      837 |      804
847.65/847.82	c  847s |      18 |   527001 |   341452 |    25408     27 |      837 |      804
849.85/850.03	c  849s |      18 |   528136 |   342252 |    25408     27 |      837 |      804
851.85/852.04	c  851s |      18 |   529027 |   342952 |    25408     27 |      837 |      804
854.04/854.27	c  854s |      18 |   529900 |   343652 |    25408     27 |      837 |      804
856.24/856.49	c  856s |      18 |   530631 |   344252 |    25408     27 |      837 |      804
858.54/858.76	c  858s |      18 |   531328 |   344852 |    25408     27 |      837 |      804
860.64/860.85	c  860s |      18 |   531913 |   345352 |    25408     28 |      837 |      804
862.84/863.09	c  862s |      18 |   532718 |   346052 |    25408     28 |      837 |      804
864.94/865.14	c  864s |      18 |   533760 |   346852 |    25408     28 |      837 |      804
866.94/867.18	c  866s |      18 |   534359 |   347352 |    25408     28 |      837 |      804
869.14/869.36	c  869s |      18 |   535537 |   348152 |    25408     28 |      837 |      804
871.54/871.71	c  871s |      18 |   536660 |   348952 |    25408     28 |      837 |      804
873.54/873.71	c  873s |      18 |   537642 |   349652 |    25408     28 |      837 |      804
875.63/875.85	c  875s |      18 |   538394 |   350252 |    25408     28 |      837 |      804
878.03/878.21	c  877s |      18 |   539254 |   350952 |    25408     28 |      837 |      804
880.23/880.49	c  880s |      18 |   540075 |   351652 |    25408     28 |      837 |      804
882.63/882.82	c  882s |      18 |   540741 |   352252 |    25408     28 |      837 |      804
884.63/884.84	c  884s |      18 |   541305 |   352752 |    25408     28 |      837 |      804
886.93/887.17	c  886s |      18 |   541995 |   353352 |    25408     28 |      837 |      804
889.03/889.26	c  888s |      18 |   542550 |   353852 |    25408     28 |      837 |      804
891.33/891.53	c  891s |      18 |   543230 |   354452 |    25408     28 |      837 |      804
893.63/893.86	c  893s |      18 |   543920 |   355052 |    25408     28 |      837 |      804
895.92/896.14	c  895s |      18 |   544577 |   355652 |    25408     28 |      837 |      804
898.22/898.47	c  898s |      18 |   545391 |   356252 |    25408     28 |      837 |      804
900.52/900.75	c  900s |      18 |   546194 |   356852 |    25408     28 |      837 |      804
902.82/903.04	c  902s |      18 |   547055 |   357452 |    25408     28 |      837 |      804
904.92/905.16	c  904s |      18 |   547632 |   357952 |    25408     28 |      837 |      804
907.22/907.48	c  907s |      18 |   548315 |   358552 |    25408     28 |      837 |      804
909.22/909.49	c  909s |      18 |   548902 |   359052 |    25408     28 |      837 |      804
911.52/911.76	c  911s |      18 |   549342 |   359452 |    25408     29 |      837 |      804
913.81/914.08	c  913s |      18 |   550210 |   360152 |    25408     29 |      837 |      804
915.91/916.20	c  915s |      18 |   550790 |   360652 |    25408     29 |      837 |      804
918.11/918.37	c  918s |      18 |   551555 |   361252 |    25408     29 |      837 |      804
920.41/920.68	c  920s |      18 |   552215 |   361852 |    25408     29 |      837 |      804
922.51/922.75	c  922s |      18 |   552814 |   362352 |    25408     29 |      837 |      804
924.80/925.06	c  924s |      18 |   553723 |   363052 |    25408     29 |      837 |      804
927.11/927.38	c  927s |      18 |   554446 |   363652 |    25408     29 |      837 |      804
929.20/929.41	c  929s |      18 |   554997 |   364152 |    25408     29 |      837 |      804
931.20/931.42	c  931s |      18 |   555554 |   364652 |    25408     29 |      837 |      804
933.50/933.75	c  933s |      18 |   556137 |   365152 |    25408     29 |      837 |      804
935.70/935.93	c  935s |      18 |   556839 |   365752 |    25408     29 |      837 |      804
937.80/938.04	c  937s |      18 |   557532 |   366352 |    25408     29 |      837 |      804
940.10/940.33	c  940s |      18 |   558185 |   366952 |    25408     29 |      837 |      804
942.50/942.73	c  942s |      18 |   558968 |   367552 |    25408     29 |      837 |      804
944.70/944.95	c  944s |      18 |   559618 |   368052 |    25408     29 |      837 |      804
946.79/947.01	c  946s |      18 |   560188 |   368552 |    25408     29 |      837 |      804
949.10/949.37	c  949s |      18 |   560746 |   369052 |    25408     29 |      837 |      804
951.40/951.62	c  951s |      18 |   561240 |   369452 |    25408     29 |      837 |      804
953.69/953.92	c  953s |      18 |   561890 |   369952 |    25408     29 |      837 |      804
956.19/956.40	c  956s |      18 |   562483 |   370452 |    25408     29 |      837 |      804
958.49/958.78	c  958s |      18 |   563065 |   370952 |    25408     29 |      837 |      804
960.59/960.84	c  960s |      18 |   563513 |   371352 |    25408     29 |      837 |      804
962.68/962.96	c  962s |      18 |   563953 |   371752 |    25408     29 |      837 |      804
965.08/965.31	c  965s |      18 |   564593 |   372252 |    25408     29 |      837 |      804
967.08/967.35	c  967s |      18 |   565083 |   372652 |    25408     29 |      837 |      804
969.18/969.48	c  969s |      18 |   565563 |   373052 |    25408     29 |      837 |      804
971.38/971.63	c  971s |      18 |   565921 |   373352 |    25408     30 |      837 |      804
973.58/973.81	c  973s |      18 |   566513 |   373852 |    25408     30 |      837 |      804
975.58/975.82	c  975s |      18 |   567091 |   374352 |    25408     30 |      837 |      804
977.68/977.91	c  977s |      18 |   567626 |   374852 |    25408     30 |      837 |      804
979.77/980.00	c  979s |      18 |   568379 |   375452 |    25408     30 |      837 |      804
981.87/982.13	c  981s |      18 |   569227 |   376152 |    25408     30 |      837 |      804
984.17/984.47	c  984s |      18 |   570009 |   376852 |    25408     30 |      837 |      804
986.27/986.57	c  986s |      18 |   570657 |   377452 |    25408     30 |      837 |      804
988.47/988.75	c  988s |      18 |   571429 |   378152 |    25408     30 |      837 |      804
990.57/990.86	c  990s |      18 |   572269 |   378752 |    25408     30 |      837 |      804
992.77/993.07	c  992s |      18 |   573062 |   379352 |    25408     30 |      837 |      804
994.87/995.14	c  994s |      18 |   573802 |   379952 |    25408     30 |      837 |      804
997.17/997.45	c  997s |      18 |   574567 |   380552 |    25408     30 |      837 |      804
999.37/999.64	c  999s |      18 |   575164 |   381052 |    25408     30 |      837 |      804
1001.67/1001.94	c 1001s |      18 |   575863 |   381652 |    25408     30 |      837 |      804
1003.76/1004.07	c 1003s |      18 |   576500 |   382152 |    25408     30 |      837 |      804
1006.27/1006.51	c 1006s |      18 |   577115 |   382652 |    25408     30 |      837 |      804
1008.57/1008.85	c 1008s |      18 |   577719 |   383152 |    25408     30 |      837 |      804
1010.77/1011.08	c 1010s |      18 |   578364 |   383652 |    25408     30 |      837 |      804
1012.87/1013.13	c 1012s |      18 |   578917 |   384152 |    25408     30 |      837 |      804
1014.86/1015.18	c 1014s |      18 |   579499 |   384652 |    25408     30 |      837 |      804
1017.06/1017.32	c 1017s |      18 |   580036 |   385152 |    25408     30 |      837 |      804
1019.16/1019.45	c 1019s |      18 |   580588 |   385652 |    25408     30 |      837 |      804
1021.56/1021.80	c 1021s |      18 |   581257 |   386252 |    25408     30 |      837 |      804
1023.86/1024.11	c 1023s |      18 |   581825 |   386752 |    25408     30 |      837 |      804
1026.65/1026.98	c 1026s |      18 |   582420 |   387252 |    25408     31 |      837 |      804
1028.95/1029.28	c 1029s |      18 |   583273 |   387952 |    25408     31 |      837 |      804
1031.05/1031.37	c 1031s |      18 |   584059 |   388552 |    25408     31 |      837 |      804
1033.35/1033.63	c 1033s |      18 |   584947 |   389252 |    25408     31 |      837 |      804
1035.44/1035.79	c 1035s |      18 |   586063 |   389952 |    25408     31 |      837 |      804
1037.74/1038.04	c 1037s |      18 |   587023 |   390752 |    25408     31 |      837 |      804
1039.74/1040.09	c 1039s |      18 |   587711 |   391352 |    25408     31 |      837 |      804
1042.14/1042.42	c 1042s |      18 |   588643 |   392052 |    25408     31 |      837 |      804
1044.14/1044.45	c 1044s |      18 |   589400 |   392652 |    25408     31 |      837 |      804
1046.14/1046.45	c 1046s |      18 |   590129 |   393252 |    25408     31 |      837 |      804
1048.24/1048.51	c 1048s |      18 |   590822 |   393852 |    25408     31 |      837 |      804
1050.54/1050.82	c 1050s |      18 |   591518 |   394452 |    25408     31 |      837 |      804
1052.64/1052.98	c 1052s |      18 |   592445 |   395252 |    25408     31 |      837 |      804
1054.83/1055.12	c 1054s |      18 |   593145 |   395852 |    25408     31 |      837 |      804
1057.13/1057.44	c 1057s |      18 |   593829 |   396452 |    25408     31 |      837 |      804
1059.53/1059.84	c 1059s |      18 |   594542 |   397052 |    25408     31 |      837 |      804
1061.83/1062.15	c 1061s |      18 |   595267 |   397652 |    25408     31 |      837 |      804
1063.92/1064.22	c 1063s |      18 |   595875 |   398152 |    25408     31 |      837 |      804
1066.02/1066.35	c 1066s |      18 |   596582 |   398752 |    25408     31 |      837 |      804
1068.22/1068.50	c 1068s |      18 |   597301 |   399352 |    25408     31 |      837 |      804
1070.53/1070.82	c 1070s |      18 |   598051 |   399952 |    25408     31 |      837 |      804
1072.73/1073.00	c 1072s |      18 |   598762 |   400552 |    25408     31 |      837 |      804
1074.92/1075.23	c 1074s |      18 |   599480 |   401152 |    25408     31 |      837 |      804
1077.02/1077.32	c 1077s |      18 |   600111 |   401652 |    25408     31 |      837 |      804
1079.12/1079.41	c 1079s |      18 |   600589 |   402052 |    25408     32 |      837 |      804
1081.32/1081.64	c 1081s |      18 |   601318 |   402652 |    25408     32 |      837 |      804
1083.62/1083.91	c 1083s |      18 |   602125 |   403352 |    25408     32 |      837 |      804
1085.72/1086.06	c 1085s |      18 |   602803 |   403952 |    25408     32 |      837 |      804
1087.92/1088.20	c 1087s |      18 |   603518 |   404552 |    25408     32 |      837 |      804
1089.93/1090.25	c 1089s |      18 |   604429 |   405252 |    25408     32 |      837 |      804
1092.22/1092.53	c 1092s |      18 |   605280 |   405952 |    25408     32 |      837 |      804
1094.23/1094.59	c 1094s |      18 |   605854 |   406452 |    25408     32 |      837 |      804
1096.53/1096.88	c 1096s |      18 |   606705 |   407152 |    25408     32 |      837 |      804
1098.92/1099.23	c 1098s |      18 |   607533 |   407852 |    25408     32 |      837 |      804
1101.12/1101.42	c 1101s |      18 |   608076 |   408352 |    25408     32 |      837 |      804
1103.32/1103.60	c 1103s |      18 |   608623 |   408852 |    25408     32 |      837 |      804
1105.52/1105.85	c 1105s |      18 |   609317 |   409452 |    25408     32 |      837 |      804
1107.91/1108.23	c 1107s |      18 |   609986 |   410052 |    25408     32 |      837 |      804
1110.21/1110.53	c 1110s |      18 |   610520 |   410552 |    25408     32 |      837 |      804
1112.51/1112.85	c 1112s |      18 |   611072 |   411052 |    25408     32 |      837 |      804
1114.71/1115.05	c 1114s |      18 |   611504 |   411452 |    25408     32 |      837 |      804
1117.01/1117.37	c 1117s |      18 |   612045 |   411952 |    25408     32 |      837 |      804
1119.11/1119.45	c 1119s |      18 |   612493 |   412352 |    25408     32 |      837 |      804
1121.51/1121.86	c 1121s |      18 |   613074 |   412852 |    25408     32 |      837 |      804
1124.01/1124.32	c 1124s |      18 |   613631 |   413352 |    25408     32 |      837 |      804
1126.00/1126.39	c 1126s |      18 |   614082 |   413752 |    25408     32 |      837 |      804
1128.70/1129.02	c 1128s |      18 |   614660 |   414252 |    25408     32 |      837 |      804
1130.80/1131.16	c 1130s |      18 |   615219 |   414752 |    25408     32 |      837 |      804
1132.90/1133.26	c 1132s |      18 |   615668 |   415152 |    25408     32 |      837 |      804
1135.10/1135.45	c 1135s |      18 |   616106 |   415552 |    25408     32 |      837 |      804
1137.30/1137.66	c 1137s |      18 |   616530 |   415952 |    25408     32 |      837 |      804
1139.50/1139.89	c 1139s |      18 |   616994 |   416352 |    25408     33 |      837 |      804
1141.81/1142.18	c 1141s |      18 |   617684 |   416952 |    25408     33 |      837 |      804
1144.20/1144.53	c 1144s |      18 |   618362 |   417552 |    25408     33 |      837 |      804
1146.50/1146.87	c 1146s |      18 |   619032 |   418152 |    25408     33 |      837 |      804
1148.70/1149.09	c 1148s |      18 |   619694 |   418752 |    25408     33 |      837 |      804
1150.80/1151.11	c 1150s |      18 |   625682 |   420352 |    25408     33 |      837 |      804
1152.80/1153.16	c 1152s |      18 |   627517 |   421652 |    25408     33 |      837 |      804
1154.90/1155.23	c 1154s |      18 |   628911 |   422652 |    25408     33 |      837 |      804
1157.10/1157.44	c 1157s |      18 |   630732 |   423952 |    25408     33 |      837 |      804
1159.10/1159.44	c 1159s |      18 |   632608 |   425152 |    25408     33 |      837 |      804
1161.10/1161.46	c 1161s |      18 |   634219 |   426252 |    25408     33 |      837 |      804
1163.30/1163.60	c 1163s |      18 |   635528 |   427252 |    25408     33 |      837 |      804
1165.39/1165.70	c 1165s |      18 |   636509 |   428052 |    25408     33 |      837 |      804
1167.69/1168.03	c 1167s |      18 |   637477 |   428852 |    25408     33 |      837 |      804
1169.69/1170.04	c 1169s |      18 |   638534 |   429552 |    25408     33 |      837 |      804
1171.69/1172.07	c 1171s |      18 |   639699 |   430452 |    25408     33 |      837 |      804
1173.79/1174.18	c 1173s |      18 |   640677 |   431152 |    25408     34 |      837 |      804
1176.09/1176.40	c 1176s |      18 |   641785 |   431952 |    25408     34 |      837 |      804
1178.09/1178.46	c 1178s |      18 |   642637 |   432652 |    25408     34 |      837 |      804
1180.29/1180.69	c 1180s |      18 |   643495 |   433352 |    25408     34 |      837 |      804
1182.49/1182.82	c 1182s |      18 |   644686 |   434352 |    25408     34 |      837 |      804
1184.58/1184.92	c 1184s |      18 |   645678 |   435152 |    25408     34 |      837 |      804
1186.69/1187.01	c 1186s |      18 |   646830 |   436052 |    25408     34 |      837 |      804
1188.68/1189.04	c 1188s |      18 |   647690 |   436752 |    25408     34 |      837 |      804
1190.68/1191.09	c 1190s |      18 |   648455 |   437452 |    25408     34 |      837 |      804
1192.98/1193.33	c 1193s |      18 |   649672 |   438352 |    25408     34 |      837 |      804
1195.08/1195.45	c 1195s |      18 |   650670 |   439152 |    25408     34 |      837 |      804
1197.28/1197.64	c 1197s |      18 |   651774 |   440052 |    25408     34 |      837 |      804
1199.47/1199.84	c 1199s |      18 |   652724 |   440852 |    25408     34 |      837 |      804
1201.57/1201.95	c 1201s |      18 |   653530 |   441552 |    27949     34 |      837 |      804
1203.77/1204.15	c 1203s |      18 |   654315 |   442152 |    27949     34 |      837 |      804
1205.87/1206.28	c 1206s |      18 |   655128 |   442752 |    27949     34 |      837 |      804
1208.37/1208.71	c 1208s |      18 |   656025 |   443452 |    27949     34 |      837 |      804
1210.57/1210.90	c 1210s |      18 |   656496 |   443852 |    27949     34 |      837 |      804
1212.27/1212.69	c 1212s |      19 |   657337 |   444482 |    27949     34 |      837 |      804
1214.36/1214.70	c 1214s |      19 |   660724 |   445682 |    27949     34 |      837 |      804
1216.86/1217.23	c 1216s |      19 |   663416 |   447582 |    27949     35 |      837 |      804
1218.86/1219.26	c 1218s |      19 |   666317 |   449582 |    27949     35 |      837 |      804
1220.96/1221.30	c 1221s |      19 |   669019 |   451382 |    27949     35 |      837 |      804
1222.97/1223.39	c 1223s |      19 |   671680 |   453282 |    27949     35 |      837 |      804
1224.95/1225.39	c 1225s |      19 |   673674 |   454682 |    27949     35 |      837 |      804
1227.05/1227.40	c 1227s |      19 |   675613 |   455982 |    27949     35 |      837 |      804
1229.05/1229.41	c 1229s |      19 |   677205 |   457182 |    27949     35 |      837 |      804
1231.15/1231.53	c 1231s |      19 |   679065 |   458382 |    27949     35 |      837 |      804
1233.15/1233.57	c 1233s |      19 |   680803 |   459482 |    27949     35 |      837 |      804
1235.25/1235.63	c 1235s |      19 |   682220 |   460482 |    27949     35 |      837 |      804
1237.25/1237.67	c 1237s |      19 |   683755 |   461582 |    27949     35 |      837 |      804
1239.35/1239.79	c 1239s |      19 |   685067 |   462782 |    27949     35 |      837 |      804
1241.44/1241.89	c 1241s |      19 |   686176 |   463582 |    27949     36 |      837 |      804
1243.64/1244.04	c 1243s |      19 |   687592 |   464582 |    27949     36 |      837 |      804
1245.74/1246.12	c 1245s |      19 |   688980 |   465582 |    27949     36 |      837 |      804
1247.74/1248.19	c 1247s |      19 |   690072 |   466482 |    27949     36 |      837 |      804
1249.84/1250.26	c 1249s |      19 |   692393 |   467582 |    27949     36 |      837 |      804
1252.04/1252.49	c 1252s |      19 |   695105 |   468982 |    27949     36 |      837 |      804
1254.24/1254.63	c 1254s |      19 |   696092 |   469882 |    27949     36 |      837 |      804
1256.44/1256.83	c 1256s |      19 |   696963 |   470682 |    27949     36 |      837 |      804
1258.53/1258.94	c 1258s |      19 |   698596 |   471782 |    27949     36 |      837 |      804
1260.63/1261.00	c 1260s |      19 |   700213 |   472982 |    27949     36 |      837 |      804
1262.73/1263.16	c 1262s |      19 |   701607 |   474082 |    27949     36 |      837 |      804
1264.83/1265.24	c 1264s |      19 |   703194 |   475282 |    27949     36 |      837 |      804
1267.03/1267.49	c 1267s |      19 |   704221 |   476182 |    27949     36 |      837 |      804
1269.33/1269.74	c 1269s |      19 |   705537 |   477182 |    27949     36 |      837 |      804
1271.34/1271.79	c 1271s |      19 |   706405 |   477882 |    27949     36 |      837 |      804
1273.54/1273.97	c 1273s |      19 |   707318 |   478682 |    27949     36 |      837 |      804
1275.73/1276.13	c 1275s |      19 |   708079 |   479382 |    27949     37 |      837 |      804
1277.93/1278.39	c 1278s |      19 |   709291 |   480382 |    27949     37 |      837 |      804
1280.03/1280.50	c 1280s |      19 |   711120 |   481582 |    27949     37 |      837 |      804
1282.13/1282.59	c 1282s |      19 |   713521 |   483282 |    27949     37 |      837 |      804
1284.22/1284.68	c 1284s |      19 |   715321 |   484782 |    27949     37 |      837 |      804
1286.32/1286.76	c 1286s |      19 |   716692 |   486082 |    27949     37 |      837 |      804
1288.42/1288.85	c 1288s |      19 |   718027 |   487282 |    27949     37 |      837 |      804
1290.42/1290.86	c 1290s |      19 |   719231 |   488382 |    27949     37 |      837 |      804
1292.52/1292.95	c 1292s |      19 |   720318 |   489382 |    27949     37 |      837 |      804
1294.52/1294.97	c 1294s |      19 |   721333 |   490282 |    27949     37 |      837 |      804
1296.82/1297.20	c 1296s |      19 |   722475 |   491282 |    27949     37 |      837 |      804
1298.82/1299.26	c 1298s |      19 |   723365 |   492082 |    27949     37 |      837 |      804
1300.92/1301.33	c 1301s |      19 |   724233 |   492882 |    27949     37 |      837 |      804
1303.12/1303.56	c 1303s |      19 |   725097 |   493682 |    27949     37 |      837 |      804
1305.21/1305.68	c 1305s |      19 |   725883 |   494382 |    27949     38 |      837 |      804
1307.31/1307.79	c 1307s |      19 |   726872 |   495282 |    27949     38 |      837 |      804
1309.51/1309.91	c 1309s |      19 |   727846 |   496182 |    27949     38 |      837 |      804
1311.61/1312.01	c 1311s |      19 |   728696 |   496982 |    27949     38 |      837 |      804
1313.71/1314.15	c 1313s |      19 |   729596 |   497782 |    27949     38 |      837 |      804
1315.81/1316.21	c 1315s |      19 |   730353 |   498482 |    27949     38 |      837 |      804
1317.91/1318.33	c 1318s |      19 |   731116 |   499182 |    27949     38 |      837 |      804
1320.00/1320.42	c 1320s |      19 |   731886 |   499882 |    27949     38 |      837 |      804
1322.20/1322.68	c 1322s |      19 |   732619 |   500582 |    27949     38 |      837 |      804
1324.50/1324.97	c 1324s |      19 |   733382 |   501282 |    27949     38 |      837 |      804
1326.60/1327.05	c 1326s |      19 |   734018 |   501882 |    27949     38 |      837 |      804
1328.70/1329.11	c 1328s |      19 |   734644 |   502482 |    27949     38 |      837 |      804
1330.80/1331.28	c 1331s |      19 |   735254 |   503082 |    27949     38 |      837 |      804
1333.00/1333.45	c 1333s |      19 |   735886 |   503682 |    27949     38 |      837 |      804
1335.00/1335.47	c 1335s |      19 |   736692 |   504382 |    27949     38 |      837 |      804
1337.30/1337.78	c 1337s |      19 |   737455 |   505082 |    27949     38 |      837 |      804
1339.50/1339.94	c 1339s |      19 |   738213 |   505782 |    27949     38 |      837 |      804
1341.49/1341.98	c 1341s |      19 |   738872 |   506382 |    27949     38 |      837 |      804
1343.89/1344.34	c 1344s |      19 |   739617 |   507082 |    27949     38 |      837 |      804
1346.19/1346.68	c 1346s |      19 |   740244 |   507682 |    27949     38 |      837 |      804
1348.59/1349.08	c 1348s |      19 |   740889 |   508282 |    27949     38 |      837 |      804
1350.69/1351.10	c 1350s |      19 |   741533 |   508882 |    27949     38 |      837 |      804
1352.99/1353.41	c 1353s |      19 |   742063 |   509382 |    27949     39 |      837 |      804
1354.98/1355.44	c 1355s |      19 |   742930 |   510182 |    27949     39 |      837 |      804
1357.09/1357.58	c 1357s |      19 |   743813 |   510982 |    27949     39 |      837 |      804
1359.19/1359.62	c 1359s |      19 |   744581 |   511682 |    27949     39 |      837 |      804
1361.39/1361.89	c 1361s |      19 |   745450 |   512482 |    27949     39 |      837 |      804
1363.48/1363.96	c 1363s |      19 |   746234 |   513182 |    27949     39 |      837 |      804
1365.47/1365.99	c 1365s |      19 |   747041 |   513882 |    27949     39 |      837 |      804
1367.77/1368.26	c 1367s |      19 |   747786 |   514582 |    27949     39 |      837 |      804
1369.87/1370.32	c 1370s |      19 |   748440 |   515182 |    27949     39 |      837 |      804
1371.87/1372.35	c 1372s |      19 |   749083 |   515782 |    27949     39 |      837 |      804
1374.07/1374.53	c 1374s |      19 |   749721 |   516382 |    27949     39 |      837 |      804
1376.17/1376.65	c 1376s |      19 |   750363 |   516982 |    27949     39 |      837 |      804
1378.57/1379.02	c 1378s |      19 |   750987 |   517582 |    27949     39 |      837 |      804
1380.67/1381.16	c 1380s |      19 |   751613 |   518182 |    27949     39 |      837 |      804
1382.97/1383.40	c 1383s |      19 |   752254 |   518782 |    27949     39 |      837 |      804
1385.17/1385.62	c 1385s |      19 |   752876 |   519382 |    27949     39 |      837 |      804
1387.37/1387.87	c 1387s |      19 |   753504 |   519982 |    27949     39 |      837 |      804
1389.67/1390.18	c 1389s |      19 |   754133 |   520582 |    27949     39 |      837 |      804
1391.97/1392.46	c 1392s |      19 |   754778 |   521182 |    27949     39 |      837 |      804
1393.97/1394.46	c 1394s |      19 |   755301 |   521682 |    27949     39 |      837 |      804
1396.07/1396.51	c 1396s |      19 |   755828 |   522182 |    27949     39 |      837 |      804
1398.17/1398.61	c 1398s |      19 |   756367 |   522682 |    27949     39 |      837 |      804
1400.17/1400.68	c 1400s |      19 |   756893 |   523182 |    27949     39 |      837 |      804
1402.36/1402.80	c 1402s |      19 |   757414 |   523682 |    27949     39 |      837 |      804
1404.56/1405.00	c 1404s |      19 |   757952 |   524182 |    27949     39 |      837 |      804
1406.67/1407.18	c 1406s |      19 |   758472 |   524682 |    27949     39 |      837 |      804
1408.96/1409.41	c 1409s |      19 |   759034 |   525182 |    27949     40 |      837 |      804
1411.16/1411.63	c 1411s |      19 |   759829 |   525882 |    27949     40 |      837 |      804
1413.17/1413.68	c 1413s |      19 |   760438 |   526482 |    27949     40 |      837 |      804
1415.16/1415.70	c 1415s |      19 |   761198 |   527182 |    27949     40 |      837 |      804
1417.26/1417.70	c 1417s |      19 |   761828 |   527782 |    27949     40 |      837 |      804
1419.26/1419.73	c 1419s |      19 |   762466 |   528382 |    27949     40 |      837 |      804
1421.56/1422.01	c 1421s |      19 |   763213 |   529082 |    27949     40 |      837 |      804
1423.76/1424.23	c 1423s |      19 |   763864 |   529682 |    27949     40 |      837 |      804
1425.96/1426.44	c 1426s |      19 |   764611 |   530382 |    27949     40 |      837 |      804
1428.16/1428.66	c 1428s |      19 |   765509 |   531182 |    27949     40 |      837 |      804
1430.16/1430.68	c 1430s |      19 |   766305 |   531882 |    27949     40 |      837 |      804
1432.26/1432.79	c 1432s |      19 |   767042 |   532582 |    27949     40 |      837 |      804
1434.46/1434.96	c 1434s |      19 |   767799 |   533282 |    27949     40 |      837 |      804
1436.76/1437.28	c 1437s |      19 |   768557 |   533982 |    27949     40 |      837 |      804
1438.96/1439.42	c 1439s |      19 |   769192 |   534582 |    27949     40 |      837 |      804
1441.16/1441.66	c 1441s |      19 |   769826 |   535182 |    27949     40 |      837 |      804
1443.36/1443.85	c 1443s |      19 |   770474 |   535782 |    27949     40 |      837 |      804
1445.56/1446.01	c 1445s |      19 |   771126 |   536382 |    27949     40 |      837 |      804
1447.66/1448.11	c 1447s |      19 |   771647 |   536882 |    27949     40 |      837 |      804
1449.66/1450.12	c 1449s |      19 |   772185 |   537382 |    27949     40 |      837 |      804
1452.06/1452.53	c 1452s |      19 |   772830 |   537982 |    27949     40 |      837 |      804
1454.06/1454.56	c 1454s |      19 |   773371 |   538482 |    27949     40 |      837 |      804
1456.06/1456.56	c 1456s |      19 |   773904 |   538982 |    27949     40 |      837 |      804
1458.26/1458.72	c 1458s |      19 |   774434 |   539482 |    27949     40 |      837 |      804
1460.36/1460.88	c 1460s |      19 |   774972 |   539982 |    27949     40 |      837 |      804
1462.56/1463.06	c 1462s |      19 |   775410 |   540382 |    27949     41 |      837 |      804
1464.76/1465.28	c 1465s |      19 |   776138 |   541082 |    27949     41 |      837 |      804
1466.96/1467.42	c 1467s |      19 |   776877 |   541782 |    27949     41 |      837 |      804
1469.26/1469.72	c 1469s |      19 |   777621 |   542482 |    27949     41 |      837 |      804
1471.25/1471.80	c 1471s |      19 |   778379 |   543182 |    27949     41 |      837 |      804
1473.45/1473.98	c 1473s |      19 |   779151 |   543882 |    27949     41 |      837 |      804
1475.76/1476.24	c 1475s |      19 |   779895 |   544582 |    27949     41 |      837 |      804
1477.85/1478.40	c 1478s |      19 |   780511 |   545182 |    27949     41 |      837 |      804
1479.95/1480.40	c 1480s |      19 |   781163 |   545782 |    27949     41 |      837 |      804
1481.95/1482.45	c 1482s |      19 |   781799 |   546382 |    27949     41 |      837 |      804
1484.25/1484.75	c 1484s |      19 |   782438 |   546982 |    27949     41 |      837 |      804
1486.55/1487.01	c 1486s |      19 |   783064 |   547582 |    27949     41 |      837 |      804
1488.65/1489.17	c 1488s |      19 |   783710 |   548182 |    27949     41 |      837 |      804
1490.75/1491.20	c 1490s |      19 |   784234 |   548682 |    27949     41 |      837 |      804
1493.05/1493.55	c 1493s |      19 |   784889 |   549282 |    27949     41 |      837 |      804
1495.15/1495.65	c 1495s |      19 |   785534 |   549882 |    27949     41 |      837 |      804
1497.55/1498.06	c 1497s |      19 |   786183 |   550482 |    27949     41 |      837 |      804
1499.65/1500.10	c 1499s |      19 |   786710 |   550982 |    27949     41 |      837 |      804
1501.85/1502.37	c 1502s |      19 |   787343 |   551582 |    27949     41 |      837 |      804
1504.05/1504.51	c 1504s |      19 |   788014 |   552182 |    27949     41 |      837 |      804
1506.35/1506.88	c 1506s |      19 |   788648 |   552782 |    27949     41 |      837 |      804
1508.75/1509.21	c 1508s |      19 |   789295 |   553382 |    27949     41 |      837 |      804
1510.85/1511.31	c 1511s |      19 |   789807 |   553882 |    27949     41 |      837 |      804
1512.95/1513.47	c 1513s |      19 |   790331 |   554382 |    27949     41 |      837 |      804
1515.35/1515.88	c 1515s |      19 |   790969 |   554982 |    27949     41 |      837 |      804
1517.65/1518.11	c 1517s |      19 |   791502 |   555482 |    27949     41 |      837 |      804
1519.65/1520.16	c 1519s |      19 |   791939 |   555882 |    27949     42 |      837 |      804
1521.95/1522.50	c 1522s |      19 |   792671 |   556582 |    27949     42 |      837 |      804
1524.15/1524.68	c 1524s |      19 |   793430 |   557282 |    27949     42 |      837 |      804
1526.35/1526.88	c 1526s |      19 |   794163 |   557982 |    27949     42 |      837 |      804
1528.55/1529.04	c 1528s |      19 |   794899 |   558682 |    27949     42 |      837 |      804
1530.75/1531.25	c 1530s |      19 |   795639 |   559382 |    27949     42 |      837 |      804
1532.95/1533.44	c 1533s |      19 |   796278 |   559982 |    27949     42 |      837 |      804
1535.15/1535.67	c 1535s |      19 |   796919 |   560582 |    27949     42 |      837 |      804
1537.45/1537.96	c 1537s |      19 |   797538 |   561182 |    27949     42 |      837 |      804
1539.65/1540.13	c 1539s |      19 |   798174 |   561782 |    27949     42 |      837 |      804
1541.94/1542.40	c 1542s |      19 |   798935 |   562482 |    27949     42 |      837 |      804
1544.24/1544.70	c 1544s |      19 |   799674 |   563182 |    27949     42 |      837 |      804
1546.25/1546.78	c 1546s |      19 |   800301 |   563782 |    27949     42 |      837 |      804
1548.35/1548.82	c 1548s |      19 |   800937 |   564382 |    27949     42 |      837 |      804
1550.55/1551.04	c 1550s |      19 |   801564 |   564982 |    27949     42 |      837 |      804
1552.75/1553.30	c 1553s |      19 |   802197 |   565582 |    27949     42 |      837 |      804
1554.84/1555.34	c 1555s |      19 |   802713 |   566082 |    27949     42 |      837 |      804
1556.84/1557.39	c 1557s |      19 |   803247 |   566582 |    27949     42 |      837 |      804
1559.24/1559.72	c 1559s |      19 |   803907 |   567182 |    27949     42 |      837 |      804
1561.44/1561.97	c 1561s |      19 |   804445 |   567682 |    27949     42 |      837 |      804
1563.54/1564.02	c 1563s |      19 |   805000 |   568182 |    27949     42 |      837 |      804
1565.84/1566.31	c 1566s |      19 |   805515 |   568682 |    27949     42 |      837 |      804
1567.84/1568.33	c 1568s |      19 |   806049 |   569182 |    27949     42 |      837 |      804
1569.94/1570.46	c 1570s |      19 |   806583 |   569682 |    27949     42 |      837 |      804
1572.24/1572.77	c 1572s |      19 |   807101 |   570182 |    27949     42 |      837 |      804
1574.44/1574.95	c 1574s |      19 |   807644 |   570682 |    27949     42 |      837 |      804
1576.74/1577.26	c 1576s |      19 |   808179 |   571182 |    27949     42 |      837 |      804
1578.84/1579.31	c 1579s |      19 |   808711 |   571682 |    27949     43 |      837 |      804
1580.83/1581.33	c 1581s |      19 |   809343 |   572282 |    27949     43 |      837 |      804
1583.03/1583.57	c 1583s |      19 |   809963 |   572882 |    27949     43 |      837 |      804
1585.23/1585.79	c 1585s |      19 |   810591 |   573482 |    27949     43 |      837 |      804
1587.43/1587.98	c 1587s |      19 |   811224 |   574082 |    27949     43 |      837 |      804
1589.73/1590.29	c 1590s |      19 |   811839 |   574682 |    27949     43 |      837 |      804
1592.13/1592.66	c 1592s |      19 |   812461 |   575282 |    27949     43 |      837 |      804
1594.43/1594.95	c 1594s |      19 |   813089 |   575882 |    27949     43 |      837 |      804
1596.63/1597.19	c 1596s |      19 |   813722 |   576482 |    27949     43 |      837 |      804
1598.94/1599.45	c 1599s |      19 |   814379 |   577082 |    27949     43 |      837 |      804
1601.24/1601.73	c 1601s |      19 |   815052 |   577682 |    27949     43 |      837 |      804
1603.53/1604.06	c 1603s |      19 |   815682 |   578282 |    27949     43 |      837 |      804
1605.64/1606.12	c 1605s |      19 |   816204 |   578782 |    27949     43 |      837 |      804
1607.93/1608.49	c 1608s |      19 |   816842 |   579382 |    27949     43 |      837 |      804
1610.33/1610.87	c 1610s |      19 |   817465 |   579982 |    27949     43 |      837 |      804
1612.53/1613.00	c 1612s |      19 |   817979 |   580482 |    27949     43 |      837 |      804
1614.83/1615.30	c 1615s |      19 |   818611 |   581082 |    27949     43 |      837 |      804
1616.93/1617.48	c 1617s |      19 |   819132 |   581582 |    27949     43 |      837 |      804
1619.23/1619.75	c 1619s |      19 |   819660 |   582082 |    27949     43 |      837 |      804
1621.53/1622.01	c 1621s |      19 |   820308 |   582682 |    27949     43 |      837 |      804
1623.73/1624.25	c 1623s |      19 |   820875 |   583182 |    27949     43 |      837 |      804
1625.83/1626.37	c 1626s |      19 |   821401 |   583682 |    27949     43 |      837 |      804
1628.13/1628.63	c 1628s |      19 |   821915 |   584182 |    27949     43 |      837 |      804
1630.23/1630.77	c 1630s |      19 |   822432 |   584682 |    27949     43 |      837 |      804
1632.53/1633.06	c 1632s |      19 |   822952 |   585182 |    27949     43 |      837 |      804
1634.93/1635.49	c 1635s |      19 |   823497 |   585682 |    27949     43 |      837 |      804
1637.43/1637.93	c 1637s |      19 |   824021 |   586182 |    27949     43 |      837 |      804
1639.43/1639.97	c 1639s |      19 |   824434 |   586582 |    27949     43 |      837 |      804
1641.73/1642.24	c 1641s |      19 |   824964 |   587082 |    27949     44 |      837 |      804
1643.93/1644.44	c 1644s |      19 |   825698 |   587782 |    27949     44 |      837 |      804
1646.13/1646.63	c 1646s |      19 |   826430 |   588482 |    27949     44 |      837 |      804
1648.13/1648.66	c 1648s |      19 |   827081 |   589082 |    27949     44 |      837 |      804
1650.33/1650.87	c 1650s |      19 |   827857 |   589782 |    27949     44 |      837 |      804
1652.63/1653.11	c 1652s |      19 |   828486 |   590382 |    27949     44 |      837 |      804
1654.83/1655.38	c 1655s |      19 |   829128 |   590982 |    27949     44 |      837 |      804
1657.13/1657.63	c 1657s |      19 |   829764 |   591582 |    27949     44 |      837 |      804
1659.54/1660.01	c 1659s |      19 |   830380 |   592182 |    27949     44 |      837 |      804
1661.64/1662.16	c 1661s |      19 |   830900 |   592682 |    27949     44 |      837 |      804
1663.73/1664.24	c 1663s |      19 |   831415 |   593182 |    27949     44 |      837 |      804
1665.73/1666.28	c 1666s |      19 |   831942 |   593682 |    27949     44 |      837 |      804
1667.93/1668.43	c 1668s |      19 |   832457 |   594182 |    27949     44 |      837 |      804
1670.03/1670.56	c 1670s |      19 |   832978 |   594682 |    27949     44 |      837 |      804
1672.33/1672.87	c 1672s |      19 |   833495 |   595182 |    27949     44 |      837 |      804
1674.63/1675.11	c 1674s |      19 |   834013 |   595682 |    27949     44 |      837 |      804
1676.83/1677.32	c 1677s |      19 |   834534 |   596182 |    27949     44 |      837 |      804
1679.03/1679.50	c 1679s |      19 |   835056 |   596682 |    27949     44 |      837 |      804
1681.33/1681.82	c 1681s |      19 |   835568 |   597182 |    27949     44 |      837 |      804
1683.33/1683.86	c 1683s |      19 |   835982 |   597582 |    27949     44 |      837 |      804
1685.73/1686.24	c 1685s |      19 |   836510 |   598082 |    27949     44 |      837 |      804
1687.93/1688.43	c 1688s |      19 |   837070 |   598582 |    27949     44 |      837 |      804
1690.13/1690.68	c 1690s |      19 |   837605 |   599082 |    27949     44 |      837 |      804
1692.43/1693.00	c 1692s |      19 |   838123 |   599582 |    27949     44 |      837 |      804
1694.83/1695.32	c 1695s |      19 |   838641 |   600082 |    27949     44 |      837 |      804
1697.23/1697.73	c 1697s |      19 |   839158 |   600582 |    27949     44 |      837 |      804
1699.62/1700.18	c 1699s |      19 |   839706 |   601082 |    27949     44 |      837 |      804
1702.02/1702.52	c 1702s |      19 |   840231 |   601582 |    27949     44 |      837 |      804
1704.82/1705.35	c 1705s |      19 |   840744 |   602082 |    27949     45 |      837 |      804
1707.12/1707.64	c 1707s |      19 |   841482 |   602782 |    27949     45 |      837 |      804
1709.22/1709.79	c 1709s |      19 |   842249 |   603482 |    27949     45 |      837 |      804
1711.42/1711.95	c 1711s |      19 |   843011 |   604182 |    27949     45 |      837 |      804
1713.72/1714.26	c 1713s |      19 |   843776 |   604882 |    27949     45 |      837 |      804
1715.82/1716.37	c 1716s |      19 |   844395 |   605482 |    27949     45 |      837 |      804
1718.12/1718.61	c 1718s |      19 |   845030 |   606082 |    27949     45 |      837 |      804
1720.32/1720.83	c 1720s |      19 |   845793 |   606782 |    27949     45 |      837 |      804
1722.32/1722.87	c 1722s |      19 |   846205 |   607182 |    27949     45 |      837 |      804
1724.62/1725.17	c 1724s |      19 |   846848 |   607782 |    27949     45 |      837 |      804
1727.02/1727.56	c 1727s |      19 |   847491 |   608382 |    27949     45 |      837 |      804
1729.02/1729.58	c 1729s |      19 |   848010 |   608882 |    27949     45 |      837 |      804
1731.32/1731.87	c 1731s |      19 |   848651 |   609482 |    27949     45 |      837 |      804
1733.72/1734.21	c 1733s |      19 |   849286 |   610082 |    27949     45 |      837 |      804
1735.82/1736.34	c 1736s |      19 |   849815 |   610582 |    27949     45 |      837 |      804
1738.12/1738.67	c 1738s |      19 |   850333 |   611082 |    27949     45 |      837 |      804
1740.32/1740.83	c 1740s |      19 |   850862 |   611582 |    27949     45 |      837 |      804
1742.42/1742.98	c 1742s |      19 |   851373 |   612082 |    27949     45 |      837 |      804
1744.72/1745.25	c 1744s |      19 |   852031 |   612682 |    27949     45 |      837 |      804
1746.82/1747.33	c 1747s |      19 |   852703 |   613282 |    27949     45 |      837 |      804
1748.82/1749.38	c 1749s |      19 |   853231 |   613782 |    27949     45 |      837 |      804
1751.32/1751.81	c 1751s |      19 |   853903 |   614382 |    27949     45 |      837 |      804
1753.32/1753.88	c 1753s |      19 |   854425 |   614882 |    27949     45 |      837 |      804
1755.72/1756.26	c 1755s |      19 |   855065 |   615482 |    27949     45 |      837 |      804
1758.02/1758.52	c 1758s |      19 |   855585 |   615982 |    27949     45 |      837 |      804
1760.22/1760.70	c 1760s |      19 |   856100 |   616482 |    27949     45 |      837 |      804
1762.42/1762.98	c 1762s |      19 |   856636 |   616982 |    27949     45 |      837 |      804
1764.61/1765.16	c 1764s |      19 |   857192 |   617482 |    27949     45 |      837 |      804
1766.71/1767.29	c 1767s |      19 |   857730 |   617982 |    27949     46 |      837 |      804
1768.81/1769.31	c 1769s |      19 |   858388 |   618582 |    27949     46 |      837 |      804
1771.01/1771.57	c 1771s |      19 |   859160 |   619282 |    27949     46 |      837 |      804
1773.31/1773.82	c 1773s |      19 |   859917 |   619982 |    27949     46 |      837 |      804
1775.61/1776.14	c 1775s |      19 |   860655 |   620682 |    27949     46 |      837 |      804
1777.61/1778.15	c 1777s |      19 |   861287 |   621282 |    27949     46 |      837 |      804
1779.61/1780.16	c 1779s |      19 |   861918 |   621882 |    27949     46 |      837 |      804
1781.71/1782.25	c 1781s |      19 |   862538 |   622482 |    27949     46 |      837 |      804
1783.91/1784.44	c 1784s |      19 |   863163 |   623082 |    27949     46 |      837 |      804
1786.21/1786.73	c 1786s |      19 |   863798 |   623682 |    27949     46 |      837 |      804
1788.51/1789.00	c 1788s |      19 |   864433 |   624282 |    27949     46 |      837 |      804
1790.81/1791.30	c 1791s |      19 |   865059 |   624882 |    27949     46 |      837 |      804
1793.11/1793.63	c 1793s |      19 |   865715 |   625482 |    27949     46 |      837 |      804
1795.41/1795.93	c 1795s |      19 |   866355 |   626082 |    27949     46 |      837 |      804
1797.81/1798.33	c 1798s |      19 |   866975 |   626682 |    27949     46 |      837 |      804

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.15 2.10 2/179 23226
/proc/meminfo: memFree=30649516/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 2869 0 0 0 0 0 0 0 20 0 4 0 31118024 784789504 2718 33554432000 4194304 16246674 140736900112224 140736900111648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 192367 2728 441 2943 0 189261 0
[pid=23226/tid=23227] ppid=23223 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 803663872 2790 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 808906752 2808 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118024 813101056 2824 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.14 2.15 2.10 2/179 23226
/proc/meminfo: memFree=30649516/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 31118024 1249447936 28256 33554432000 4194304 16246674 140736900112224 140736900111536 4221108 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 305041 28256 801 2943 0 301935 0
[pid=23226/tid=23227] ppid=23223 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1249447936 28256 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1249447936 28256 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1249447936 28256 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200516 s]
/proc/loadavg: 2.14 2.15 2.10 2/179 23226
/proc/meminfo: memFree=30649516/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 48676 0 0 0 13 6 0 0 20 0 4 0 31118024 1332285440 48463 33554432000 4194304 16246674 140736900112224 140736900111536 13195264 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 325265 48463 842 2943 0 322159 0
[pid=23226/tid=23227] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 48463 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 48463 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 48463 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300488 s]
/proc/loadavg: 2.14 2.15 2.10 2/179 23226
/proc/meminfo: memFree=30649516/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 55216 0 0 0 21 7 0 0 20 0 4 0 31118024 1332285440 55003 33554432000 4194304 16246674 140736900112224 140736900111536 5991173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 325265 55012 882 2943 0 322159 0
[pid=23226/tid=23227] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 55017 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 55022 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 55027 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.7004 s]
/proc/loadavg: 2.14 2.15 2.10 2/179 23226
/proc/meminfo: memFree=30649516/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 109581 0 0 0 53 15 0 0 20 0 4 0 31118024 1332285440 109369 33554432000 4194304 16246674 140736900112224 140736900094144 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 325265 109373 882 2943 0 322159 0
[pid=23226/tid=23227] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 109375 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 109379 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 109385 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.14 2.15 2.10 4/183 23230
/proc/meminfo: memFree=29438152/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 212275 0 0 0 119 30 0 0 20 0 4 0 31118024 1332285440 212062 33554432000 4194304 16246674 140736900112224 140736900095224 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 325265 212066 882 2943 0 322159 0
[pid=23226/tid=23227] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 212069 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 212071 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1332285440 212074 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.13 2.15 2.10 4/183 23230
/proc/meminfo: memFree=28603756/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 269320 0 0 0 271 38 0 0 20 0 4 0 31118024 1344868352 269107 33554432000 4194304 16246674 140736900112224 140736900095224 5661727 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 328337 269107 889 2943 0 325231 0
[pid=23226/tid=23227] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269107 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269107 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269107 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 2.13 2.15 2.10 4/183 23230
/proc/meminfo: memFree=28602616/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 269526 0 0 0 591 38 0 0 20 0 4 0 31118024 1344868352 269313 33554432000 4194304 16246674 140736900112224 140736900094144 12483332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 328337 269313 889 2943 0 325231 0
[pid=23226/tid=23227] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269313 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269313 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269313 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 23230
/proc/meminfo: memFree=28602664/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 269528 0 0 0 1230 38 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 140736900094144 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 328337 269315 891 2943 0 325231 0
[pid=23226/tid=23227] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.15 2.15 2.10 4/184 23233
/proc/meminfo: memFree=28603276/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 269528 0 0 0 2510 38 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 140736900111320 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 328337 269315 891 2943 0 325231 0
[pid=23226/tid=23227] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.10 2.14 2.09 4/184 23233
/proc/meminfo: memFree=28603804/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 269528 0 0 0 5070 38 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 140736900094144 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 328337 269315 891 2943 0 325231 0
[pid=23226/tid=23227] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1344868352 269315 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.25 2.17 2.10 4/183 23234
/proc/meminfo: memFree=28589768/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 271065 0 0 0 10190 38 0 0 20 0 4 0 31118024 1351159808 270852 33554432000 4194304 16246674 140736900112224 140736900094144 5711801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 329873 270852 892 2943 0 326767 0
[pid=23226/tid=23227] ppid=23223 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1351159808 270852 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1351159808 270852 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1351159808 270852 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1362694144 273924 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.29 2.22 2.14 3/183 23287
/proc/meminfo: memFree=28560900/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1330756 CPUtime=1361.88 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 274262 0 0 0 136144 44 0 0 20 0 4 0 31118024 1362694144 273924 33554432000 4194304 16246674 140736900112224 140736900094144 5711108 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 332689 273924 892 2943 0 329583 0
[pid=23226/tid=23227] ppid=23223 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1362694144 273924 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1362694144 273924 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1362694144 273924 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.23 2.20 2.14 3/183 23288
/proc/meminfo: memFree=28552748/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1421.87 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276361 0 0 0 142143 44 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 140736900094144 5829080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276009 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.20 2.20 2.14 3/183 23289
/proc/meminfo: memFree=28552620/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1481.85 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276361 0 0 0 148141 44 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 140736900094144 5677908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276009 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.19 2.19 2.14 3/183 23291
/proc/meminfo: memFree=28552628/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1541.85 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276361 0 0 0 154141 44 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 140736900094144 5672230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276009 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.20 2.18 2.14 3/183 23292
/proc/meminfo: memFree=28552620/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1601.83 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276361 0 0 0 160139 44 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 140736900094144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276009 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.17 2.18 2.13 3/183 23293
/proc/meminfo: memFree=28552748/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1661.83 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276361 0 0 0 166138 45 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 140736900094144 5722987 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276009 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276009 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.14 3/183 23294
/proc/meminfo: memFree=28551620/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1339972 CPUtime=1721.82 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276580 0 0 0 172137 45 0 0 20 0 4 0 31118024 1372131328 276228 33554432000 4194304 16246674 140736900112224 140736900094144 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 334993 276228 892 2943 0 331887 0
[pid=23226/tid=23227] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276228 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276228 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1372131328 276228 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.15 2.17 2.13 3/183 23295
/proc/meminfo: memFree=28549880/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1342020 CPUtime=1781.81 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276940 0 0 0 178136 45 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 140736900094144 5546019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 335505 276588 892 2943 0 332399 0
[pid=23226/tid=23227] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.16 2.13 3/183 23296
/proc/meminfo: memFree=28549880/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1342020 CPUtime=1800.01 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276940 0 0 0 179956 45 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 140736900094144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 335505 276588 892 2943 0 332399 0
[pid=23226/tid=23227] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1342020

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.16 2.13 3/183 23296
/proc/meminfo: memFree=28549880/32872528 swapFree=870628/942168
[pid=23226] ppid=23223 vsize=1342020 CPUtime=1800.01 cores=0,2,4,6
/proc/23226/stat : 23226 (toysat) R 23223 23226 22716 0 -1 4202496 276940 0 0 0 179956 45 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 140736900094144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 335505 276588 892 2943 0 332399 0
[pid=23226/tid=23227] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23227/stat : 23227 (toysat) S 23223 23226 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942951890160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23226/tid=23228] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23228/stat : 23228 (toysat) S 23223 23226 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942941400304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23226/tid=23229] ppid=23223 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/23226/task/23229/stat : 23229 (toysat) S 23223 23226 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118024 1374228480 276588 33554432000 4194304 16246674 140736900112224 139942930926768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1342020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.57
CPU system time (s): 0.45393
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.45393
maximum resident set size= 1106352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276940
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= 409
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0049 second user time and 15.1407 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-27 00:39:43
IDJOB=4116085
IDBENCH=109426
IDSOLVER=2542
FILE ID=node113/4116085-1466980783
RUNJOBID= node113-1466975380-22732
PBS_JOBID= 19976383
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116085-1466980783/watcher-4116085-1466980783 -o /tmp/evaluation-result-4116085-1466980783/solver-4116085-1466980783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22732 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116085-1466980783.opb

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

MD5SUM BENCH= 07476883d79040c68787d0ce7712b615
RANDOM SEED=211195518

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30676364 kB
Buffers:           61208 kB
Cached:           358308 kB
SwapCached:        18844 kB
Active:           168204 kB
Inactive:         352420 kB
Active(anon):      83200 kB
Inactive(anon):    20016 kB
Active(file):      85004 kB
Inactive(file):   332404 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       1023368 kB
Mapped:            11432 kB
Shmem:                 0 kB
Slab:             598000 kB
SReclaimable:      41984 kB
SUnreclaim:       556016 kB
KernelStack:        1456 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2073260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71668 MiB
End job on node113 at 2016-06-27 01:09:44