Trace number 4078907

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.08 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
MD5SUM5c9e224cdd9eef3594ee47236fa33798
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 variables19397
Total number of constraints19725
Number of constraints which are clauses19562
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 164
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T09:45:26+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-4078907-1465285525.opb"]
0.00/0.01	c use --random-gen="1286355605 1287118271 635903634 704763075 3809579378 2292887619 4018566855 316791552 3413499214 2980350026 3750795350 3537646830 3285317683 3300230487 1881157767 2839652127 4008590114 2840458567 1255588057 1463257658 2621499325 1419549665 601516319 1978531081 3603427955 2331836256 1616609855 3675263627 654299498 2935867787 516180721 3378719989 1581697698 2043793784 1611179436 2958562340 1246815734 3732016843 2065890273 3098906048 1297806393 4213864795 28118099 335086057 3808766623 1743590289 687515587 2426499025 2849297889 3743326133 60897275 2061987087 4219559178 2916244374 729951310 2457324163 1986937668 3630757975 87981352 4244503581 177916664 1931490303 2910543460 3040855865 184507060 3119460138 1542444949 3492914538 2144103758 2427596254 1576423765 2878921537 890403345 1521670033 2001664357 3371391720 1904933493 219892410 1355776046 3269624833 3046446451 3841840114 2175570724 3001638367 4116760119 3355339849 2772137525 1110153545 3419686596 1146188045 601580672 2449510059 224745283 1297660096 3435947609 1507278230 4082290699 3659029717 2298190574 2169428036 1236923765 3048484817 2217697697 1564889914 2165963673 2358351963 338270859 1094430291 883951853 637376618 1640142616 4187220857 1458154211 2460720325 1823160539 3503660986 1601850072 1189201218 2091543938 235351716 4075161736 2987179639 332933079 2586975014 2774495435 2035905556 325056847 3387606096 487668924 647868650 2921489982 561217998 2781319773 3392548117 949158164 3173678845 536178057 666843886 680688296 1031105534 482718305 3308310822 2713379635 519969175 2751459427 4125478463 1431684598 2035222594 916757354 2517783642 191426482 2550641752 1480849692 426502391 4009305966 1051112622 4231437206 1431177851 1941952689 3687800158 4276526858 1089106817 4167429129 1025134724 4254552910 2102698895 1748079153 186583804 560444028 1888300259 2687089750 1131725866 1921067578 2235174634 830274750 525748424 1784299100 3378609019 2605781973 2242814243 1266239194 1174220041 3297214032 1973594638 3211373525 1789859424 2786142582 1580152449 3036581349 2311687205 1825789000 3984257719 2765001560 3428162001 4026445530 26606136 3451154220 2615522268 2420764877 2441896089 2429045629 4205987380 2324018294 1479060513 3142316922 1359274253 1255597714 1066395447 2707673424 1450524682 3917553085 224886260 3490203147 3628410355 2546751780 2468154017 1322307674 1949247403 2945588920 2374846496 1126177388 3745761639 3876474992 2544862145 3568741892 974179796 796780239 3722964228 1686637653 2067288320 3381052414 3276300622 82705283 2281646717 408817080 4005838942 3656491693 2536875939 3610414202 335063420 91136355 3572854273 1498237399 3873970230 954200357 1444559634 1854341672 420927406 1555970535 4013468220 3073236668 3792409039 1770917346 3853224986 3507542562 1279999985 255 362436" option to reproduce the execution
0.19/0.28	c #vars 19397
0.19/0.28	c #constraints 19725
0.69/0.72	c Solving starts ...
0.69/0.72	c ============================[ Search Statistics ]============================
0.69/0.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.72	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.72	c =============================================================================
0.69/0.72	c  0.0s |       0 |        0 |        0 |    13040      0 |      742 |        0
1.59/1.65	c  0.9s |       1 |     8327 |      100 |    13040      0 |      743 |      634
2.09/2.11	c  1.4s |       2 |    11081 |      250 |    14345      0 |      743 |      634
2.79/2.83	c  2.1s |       3 |    24067 |      475 |    15780      0 |      744 |      635
3.99/4.05	c  3.3s |       4 |    45416 |      813 |    17358      0 |      744 |      635
5.19/5.28	c  4.6s |       5 |    64805 |     1320 |    19094      0 |      745 |      636
7.29/7.35	c  6.6s |       5 |    99712 |     2020 |    21004      0 |      746 |      637
7.39/7.47	c  6.7s |       6 |   101043 |     2081 |    23105      0 |      746 |      637
9.49/9.53	c  8.8s |       6 |   129959 |     2781 |    23105      0 |      748 |      639
10.49/10.52	c  9.8s |       7 |   142613 |     3223 |    25416      0 |      748 |      639
12.59/12.60	c 11.9s |       7 |   175060 |     3823 |    25416      0 |      748 |      639
14.68/14.78	c 14.1s |       7 |   205002 |     4723 |    25416      0 |      748 |      639
15.38/15.41	c 14.7s |       8 |   214529 |     4936 |    27958      0 |      748 |      639
17.38/17.46	c 16.7s |       8 |   245347 |     5536 |    27958      0 |      748 |      639
19.48/19.51	c 18.8s |       8 |   271208 |     6236 |    27958      0 |      749 |      640
21.58/21.61	c 20.9s |       8 |   298467 |     6836 |    27958      0 |      751 |      642
23.39/23.47	c 22.7s |       9 |   316382 |     7506 |    30754      0 |      751 |      642
25.59/25.69	c 25.0s |       9 |   342262 |     8306 |    30754      0 |      751 |      642
27.79/27.88	c 27.2s |       9 |   364609 |     9206 |    30754      0 |      751 |      642
29.89/29.92	c 29.2s |       9 |   393183 |     9706 |    30754      0 |      752 |      643
31.88/31.95	c 31.2s |       9 |   421287 |    10306 |    30754      0 |      754 |      645
34.18/34.30	c 33.6s |       9 |   449614 |    11006 |    30754      0 |      755 |      646
35.68/35.79	c 35.1s |      10 |   468699 |    11361 |    33830      0 |      756 |      647
37.98/38.05	c 37.3s |      10 |   492369 |    11961 |    33830      0 |      758 |      649
40.08/40.13	c 39.4s |      10 |   512196 |    12761 |    33830      0 |      758 |      649
42.28/42.34	c 41.6s |      10 |   541837 |    13361 |    33830      0 |      758 |      649
44.58/44.62	c 43.9s |      10 |   571044 |    14061 |    33830      0 |      758 |      649
46.58/46.63	c 45.9s |      10 |   588829 |    14761 |    33830      0 |      758 |      649
48.59/48.66	c 47.9s |      10 |   608343 |    15361 |    33830      0 |      758 |      649
50.89/50.91	c 50.2s |      10 |   632664 |    16161 |    33830      0 |      758 |      649
53.08/53.12	c 52.4s |      10 |   654302 |    16861 |    33830      0 |      758 |      649
54.18/54.29	c 53.6s |      11 |   671160 |    17144 |    37213      0 |      758 |      649
56.48/56.51	c 55.8s |      11 |   689823 |    17844 |    37213      0 |      758 |      649
58.58/58.67	c 58.0s |      11 |   712672 |    18544 |    37213      0 |      759 |      650
60.78/60.85	c 60.1s |      11 |   735586 |    19244 |    37213      0 |      759 |      650
62.98/63.05	c 62.3s |      11 |   757919 |    19844 |    37213      0 |      759 |      650
64.98/65.08	c 64.4s |      11 |   778916 |    20344 |    37213      0 |      759 |      650
67.38/67.47	c 66.8s |      11 |   804059 |    20944 |    37213      0 |      760 |      651
69.58/69.69	c 69.0s |      11 |   827921 |    21544 |    37213      0 |      760 |      651
71.68/71.73	c 71.0s |      11 |   852394 |    22044 |    37213      0 |      760 |      651
73.67/73.79	c 73.1s |      11 |   868458 |    22644 |    37213      0 |      761 |      652
75.97/76.07	c 75.3s |      11 |   894748 |    23344 |    37213      0 |      761 |      652
78.17/78.28	c 77.6s |      11 |   910972 |    23844 |    37213      0 |      762 |      653
80.27/80.38	c 79.7s |      11 |   939276 |    24444 |    37213      0 |      762 |      653
82.68/82.76	c 82.0s |      11 |   965539 |    25144 |    37213      0 |      762 |      653
84.77/84.84	c 84.1s |      12 |   987352 |    25819 |    40935      0 |      762 |      653
87.07/87.11	c 86.4s |      12 |  1007114 |    26419 |    40935      0 |      762 |      653
89.47/89.57	c 88.9s |      12 |  1023367 |    26919 |    40935      0 |      762 |      653
91.57/91.66	c 90.9s |      12 |  1051726 |    27419 |    40935      0 |      762 |      653
93.77/93.89	c 93.2s |      12 |  1072720 |    27919 |    40935      0 |      763 |      654
95.87/95.93	c 95.2s |      12 |  1091299 |    28419 |    40935      0 |      763 |      654
98.37/98.42	c 97.7s |      12 |  1122566 |    29019 |    40935      0 |      763 |      654
100.37/100.43	c 99.7s |      12 |  1141099 |    29519 |    40935      0 |      763 |      654
102.76/102.89	c  102s |      12 |  1161809 |    30119 |    40935      0 |      763 |      654
105.16/105.24	c  104s |      12 |  1185549 |    30619 |    40935      0 |      763 |      654
107.36/107.46	c  106s |      12 |  1211979 |    31119 |    40935      0 |      763 |      654
109.56/109.68	c  108s |      12 |  1228930 |    31819 |    40935      0 |      763 |      654
111.76/111.82	c  111s |      12 |  1249451 |    32319 |    40935      0 |      763 |      654
113.86/113.91	c  113s |      12 |  1262704 |    32819 |    40935      0 |      763 |      654
115.86/115.97	c  115s |      12 |  1270657 |    33419 |    40935      0 |      763 |      654
117.87/118.00	c  117s |      12 |  1289370 |    33919 |    40935      0 |      763 |      654
120.36/120.44	c  119s |      12 |  1312539 |    34519 |    40935      0 |      763 |      654
122.56/122.64	c  121s |      12 |  1321517 |    35019 |    40935      0 |      763 |      654
124.96/125.04	c  124s |      12 |  1326866 |    35519 |    40935      0 |      763 |      654
127.06/127.12	c  126s |      12 |  1343164 |    35919 |    40935      0 |      764 |      655
129.16/129.20	c  128s |      12 |  1362598 |    36419 |    40935      0 |      764 |      655
131.36/131.43	c  130s |      12 |  1376714 |    36919 |    40935      0 |      764 |      655
133.56/133.67	c  132s |      12 |  1381941 |    37519 |    40935      0 |      764 |      655
135.66/135.76	c  135s |      12 |  1390898 |    37919 |    40935      0 |      764 |      655
138.06/138.11	c  137s |      12 |  1416882 |    38419 |    40935      0 |      764 |      655
139.76/139.88	c  139s |      13 |  1433474 |    38832 |    45029      0 |      764 |      655
141.96/142.08	c  141s |      13 |  1449281 |    39232 |    45029      0 |      764 |      655
144.36/144.41	c  143s |      13 |  1470495 |    39732 |    45029      0 |      764 |      655
146.46/146.59	c  145s |      13 |  1484382 |    40232 |    45029      0 |      764 |      655
148.76/148.80	c  148s |      13 |  1499891 |    40732 |    45029      0 |      764 |      655
151.05/151.19	c  150s |      13 |  1501521 |    41332 |    45029      0 |      764 |      655
153.35/153.45	c  152s |      13 |  1503525 |    41832 |    45029      0 |      764 |      655
155.55/155.64	c  154s |      13 |  1521130 |    42332 |    45029      0 |      764 |      655
157.56/157.66	c  156s |      13 |  1534647 |    42932 |    45029      0 |      764 |      655
159.75/159.87	c  159s |      13 |  1558262 |    43432 |    45029      0 |      764 |      655
162.05/162.10	c  161s |      13 |  1579685 |    43932 |    45029      0 |      764 |      655
164.15/164.24	c  163s |      13 |  1597298 |    44532 |    45029      0 |      764 |      655
166.44/166.51	c  165s |      13 |  1608108 |    45132 |    45029      0 |      764 |      655
168.64/168.77	c  168s |      13 |  1613564 |    45732 |    45029      0 |      764 |      655
171.04/171.10	c  170s |      13 |  1637618 |    46232 |    45029      0 |      764 |      655
173.34/173.41	c  172s |      13 |  1659945 |    46632 |    45029      0 |      764 |      655
175.34/175.46	c  174s |      13 |  1667990 |    46832 |    45029      1 |      765 |      656
177.54/177.67	c  176s |      13 |  1695438 |    47332 |    45029      1 |      765 |      656
179.73/179.81	c  179s |      13 |  1713577 |    47932 |    45029      1 |      765 |      656
181.83/181.92	c  181s |      13 |  1733776 |    48532 |    45029      1 |      765 |      656
184.03/184.13	c  183s |      13 |  1758779 |    48932 |    45029      1 |      766 |      657
186.14/186.23	c  185s |      13 |  1778403 |    49432 |    45029      1 |      767 |      658
188.24/188.40	c  187s |      13 |  1789240 |    50132 |    45029      1 |      767 |      658
190.54/190.66	c  189s |      13 |  1810295 |    50732 |    45029      1 |      767 |      658
192.83/192.96	c  192s |      13 |  1818223 |    51232 |    45029      1 |      767 |      658
195.13/195.29	c  194s |      13 |  1826539 |    51832 |    45029      1 |      767 |      658
197.23/197.37	c  196s |      13 |  1846546 |    52432 |    45029      1 |      767 |      658
199.23/199.38	c  198s |      13 |  1862754 |    53232 |    45029      1 |      767 |      658
201.62/201.75	c  201s |      13 |  1879820 |    53732 |    45029      1 |      767 |      658
204.02/204.12	c  203s |      13 |  1904979 |    54332 |    45029      1 |      767 |      658
206.12/206.20	c  205s |      13 |  1917362 |    54832 |    45029      1 |      768 |      659
208.32/208.41	c  207s |      13 |  1922413 |    55432 |    45029      1 |      768 |      659
210.72/210.80	c  210s |      13 |  1923819 |    55832 |    45029      1 |      768 |      659
212.72/212.89	c  212s |      13 |  1925044 |    56132 |    45029      1 |      768 |      659
215.62/215.72	c  215s |      13 |  1925842 |    56432 |    45029      1 |      768 |      659
217.93/218.01	c  217s |      13 |  1926970 |    56732 |    45029      1 |      768 |      659
220.02/220.16	c  219s |      13 |  1928439 |    57132 |    45029      1 |      768 |      659
222.82/222.90	c  222s |      13 |  1929893 |    57532 |    45029      1 |      768 |      659
225.73/225.84	c  225s |      13 |  1930659 |    57832 |    45029      1 |      768 |      659
228.12/228.22	c  227s |      13 |  1931148 |    58032 |    49532      1 |      768 |      659
230.52/230.66	c  229s |      13 |  1932021 |    58332 |    49532      1 |      768 |      659
230.71/230.87	c  230s |      14 |  1932033 |    58352 |    49532      1 |      768 |      659
232.71/232.88	c  232s |      14 |  1949911 |    58652 |    49532      1 |      768 |      659
234.81/234.90	c  234s |      14 |  1958003 |    59152 |    49532      1 |      768 |      659
236.81/236.90	c  236s |      14 |  1960346 |    59652 |    49532      1 |      768 |      659
239.02/239.18	c  238s |      14 |  1968223 |    60152 |    49532      1 |      768 |      659
241.32/241.43	c  240s |      14 |  1990330 |    60652 |    49532      1 |      768 |      659
244.22/244.35	c  243s |      14 |  1991644 |    61152 |    49532      1 |      768 |      659
246.32/246.42	c  245s |      14 |  1992632 |    61552 |    49532      1 |      768 |      659
248.82/248.91	c  248s |      14 |  1993782 |    62052 |    49532      1 |      768 |      659
251.11/251.28	c  250s |      14 |  1994370 |    62352 |    49532      1 |      768 |      659
254.22/254.36	c  253s |      14 |  1995091 |    62652 |    49532      1 |      768 |      659
256.91/257.06	c  256s |      14 |  1995447 |    62852 |    49532      1 |      768 |      659
259.40/259.54	c  258s |      14 |  1995875 |    63052 |    49532      1 |      768 |      659
261.70/261.86	c  261s |      14 |  1999131 |    63452 |    49532      1 |      768 |      659
263.80/263.94	c  263s |      14 |  2021743 |    63952 |    49532      1 |      768 |      659
265.90/266.05	c  265s |      14 |  2040099 |    64452 |    49532      1 |      768 |      659
268.10/268.21	c  267s |      14 |  2051034 |    64852 |    49532      1 |      768 |      659
270.30/270.42	c  269s |      14 |  2066625 |    65452 |    49532      1 |      768 |      659
272.71/272.85	c  272s |      14 |  2076134 |    65852 |    49532      1 |      768 |      659
275.01/275.18	c  274s |      14 |  2094764 |    66352 |    49532      1 |      768 |      659
277.41/277.54	c  276s |      14 |  2111105 |    66952 |    49532      1 |      768 |      659
279.70/279.83	c  279s |      14 |  2126013 |    67452 |    49532      1 |      768 |      659
281.81/281.94	c  281s |      14 |  2143346 |    67852 |    49532      1 |      768 |      659
284.20/284.39	c  283s |      14 |  2164066 |    68352 |    49532      1 |      768 |      659
287.10/287.30	c  286s |      14 |  2178581 |    68852 |    49532      1 |      769 |      660
289.40/289.55	c  288s |      14 |  2195690 |    69452 |    49532      1 |      769 |      660
291.60/291.75	c  291s |      14 |  2212926 |    69952 |    49532      1 |      769 |      660
293.80/293.92	c  293s |      14 |  2225175 |    70452 |    49532      1 |      769 |      660
295.89/296.04	c  295s |      14 |  2241052 |    70952 |    49532      1 |      769 |      660
298.09/298.27	c  297s |      14 |  2252935 |    71452 |    49532      1 |      769 |      660
300.19/300.32	c  299s |      14 |  2272513 |    71852 |    49532      1 |      769 |      660
302.39/302.59	c  301s |      14 |  2293618 |    72252 |    49532      1 |      769 |      660
304.69/304.90	c  304s |      14 |  2312135 |    72652 |    49532      1 |      769 |      660
306.79/306.94	c  306s |      14 |  2314398 |    73152 |    49532      1 |      769 |      660
309.19/309.34	c  308s |      14 |  2332543 |    73652 |    49532      1 |      769 |      660
311.49/311.63	c  310s |      14 |  2346740 |    74152 |    49532      1 |      769 |      660
314.18/314.33	c  313s |      14 |  2354748 |    74652 |    49532      1 |      769 |      660
316.48/316.66	c  315s |      14 |  2364113 |    75052 |    49532      1 |      769 |      660
319.28/319.44	c  318s |      14 |  2366374 |    75352 |    49532      1 |      769 |      660
324.08/324.22	c  323s |      14 |  2367379 |    75552 |    49532      1 |      769 |      660
326.68/326.81	c  326s |      14 |  2372329 |    75752 |    49532      1 |      769 |      660
329.17/329.31	c  328s |      14 |  2382719 |    76152 |    49532      1 |      769 |      660
331.37/331.53	c  330s |      14 |  2389933 |    76552 |    49532      1 |      769 |      660
333.57/333.72	c  333s |      14 |  2399246 |    76952 |    49532      1 |      769 |      660
335.67/335.86	c  335s |      14 |  2401730 |    77152 |    49532      1 |      769 |      660
338.17/338.37	c  337s |      14 |  2407692 |    77552 |    49532      1 |      769 |      660
340.56/340.78	c  340s |      14 |  2414635 |    77952 |    49532      1 |      769 |      660
343.06/343.21	c  342s |      14 |  2424272 |    78352 |    49532      1 |      769 |      660
345.36/345.60	c  344s |      14 |  2428457 |    78752 |    49532      1 |      769 |      660
348.07/348.23	c  347s |      14 |  2432443 |    79052 |    49532      1 |      769 |      660
351.07/351.23	c  350s |      14 |  2433094 |    79252 |    49532      1 |      769 |      660
353.86/354.06	c  353s |      14 |  2436033 |    79552 |    49532      1 |      769 |      660
356.36/356.53	c  355s |      14 |  2442477 |    79852 |    49532      1 |      769 |      660
358.56/358.71	c  357s |      14 |  2448106 |    80152 |    49532      1 |      769 |      660
360.76/360.90	c  360s |      14 |  2451571 |    80452 |    49532      1 |      769 |      660
363.25/363.41	c  362s |      14 |  2458033 |    80852 |    49532      1 |      769 |      660
365.26/365.45	c  364s |      14 |  2458536 |    80952 |    49532      2 |      769 |      660
367.35/367.53	c  366s |      14 |  2461243 |    81152 |    49532      2 |      769 |      660
369.65/369.85	c  369s |      14 |  2464855 |    81452 |    49532      2 |      769 |      660
371.95/372.18	c  371s |      14 |  2469150 |    81752 |    49532      2 |      769 |      660
374.55/374.72	c  374s |      14 |  2472215 |    82052 |    49532      2 |      769 |      660
378.95/379.19	c  378s |      14 |  2473142 |    82252 |    49532      2 |      769 |      660
381.64/381.84	c  381s |      14 |  2473412 |    82352 |    49532      2 |      769 |      660
384.14/384.36	c  383s |      14 |  2473710 |    82452 |    49532      2 |      769 |      660
386.94/387.19	c  386s |      14 |  2473890 |    82552 |    49532      2 |      769 |      660
389.73/389.93	c  389s |      14 |  2474106 |    82652 |    49532      2 |      769 |      660
392.84/393.04	c  392s |      14 |  2474305 |    82752 |    49532      2 |      769 |      660
395.33/395.52	c  394s |      14 |  2474578 |    82852 |    49532      2 |      769 |      660
398.53/398.72	c  398s |      14 |  2474778 |    82952 |    49532      2 |      769 |      660
402.43/402.68	c  401s |      14 |  2475041 |    83052 |    49532      2 |      769 |      660
406.73/406.93	c  406s |      14 |  2475206 |    83152 |    49532      2 |      769 |      660
410.92/411.11	c  410s |      14 |  2475496 |    83252 |    49532      2 |      769 |      660
414.73/414.98	c  414s |      14 |  2475795 |    83352 |    49532      2 |      769 |      660
417.62/417.88	c  417s |      14 |  2477072 |    83452 |    49532      2 |      769 |      660
421.61/421.86	c  421s |      14 |  2479314 |    83752 |    49532      2 |      769 |      660
423.62/423.88	c  423s |      14 |  2482611 |    84052 |    49532      2 |      769 |      660
425.82/426.09	c  425s |      14 |  2486233 |    84352 |    49532      2 |      769 |      660
428.71/428.93	c  428s |      14 |  2487876 |    84652 |    49532      2 |      769 |      660
434.61/434.81	c  434s |      14 |  2491382 |    84952 |    49532      2 |      769 |      660
436.81/437.04	c  436s |      14 |  2491580 |    85052 |    49532      2 |      769 |      660
438.91/439.11	c  438s |      14 |  2491781 |    85152 |    49532      2 |      769 |      660
443.11/443.34	c  442s |      14 |  2492320 |    85352 |    49532      2 |      769 |      660
445.81/446.05	c  445s |      14 |  2492525 |    85452 |    49532      2 |      769 |      660
448.51/448.77	c  448s |      14 |  2495392 |    85752 |    49532      2 |      769 |      660
452.30/452.54	c  451s |      14 |  2497812 |    86052 |    49532      2 |      769 |      660
454.80/455.09	c  454s |      14 |  2502690 |    86352 |    49532      2 |      769 |      660
457.40/457.61	c  456s |      14 |  2504935 |    86552 |    49532      2 |      769 |      660
459.39/459.69	c  458s |      14 |  2513900 |    87052 |    54486      2 |      769 |      660
461.49/461.79	c  461s |      15 |  2530062 |    87632 |    54486      2 |      769 |      660
463.59/463.84	c  463s |      15 |  2542928 |    87932 |    54486      2 |      769 |      660
465.89/466.10	c  465s |      15 |  2561091 |    88432 |    54486      2 |      769 |      660
467.89/468.17	c  467s |      15 |  2574601 |    88932 |    54486      2 |      769 |      660
470.18/470.46	c  469s |      15 |  2591586 |    89532 |    54486      2 |      769 |      660
472.28/472.56	c  471s |      15 |  2606787 |    90032 |    54486      2 |      769 |      660
474.48/474.78	c  474s |      15 |  2618151 |    90632 |    54486      2 |      769 |      660
476.88/477.15	c  476s |      15 |  2634489 |    91132 |    54486      2 |      769 |      660
479.08/479.35	c  478s |      15 |  2652754 |    91632 |    54486      2 |      769 |      660
481.38/481.65	c  480s |      15 |  2672118 |    92132 |    54486      2 |      769 |      660
483.48/483.74	c  483s |      15 |  2690078 |    92632 |    54486      2 |      769 |      660
485.78/486.07	c  485s |      15 |  2694601 |    93232 |    54486      2 |      769 |      660
487.88/488.12	c  487s |      15 |  2703216 |    93632 |    54486      2 |      769 |      660
490.27/490.56	c  489s |      15 |  2718853 |    94232 |    54486      2 |      769 |      660
492.57/492.86	c  492s |      15 |  2739300 |    94732 |    54486      2 |      769 |      660
494.77/495.06	c  494s |      15 |  2759923 |    95232 |    54486      2 |      769 |      660
496.77/497.06	c  496s |      15 |  2773055 |    95732 |    54486      2 |      769 |      660
499.37/499.62	c  498s |      15 |  2789015 |    96032 |    54486      2 |      770 |      661
502.56/502.80	c  502s |      15 |  2795526 |    96432 |    54486      2 |      770 |      661
506.76/507.01	c  506s |      15 |  2796223 |    96632 |    54486      2 |      770 |      661
508.96/509.24	c  508s |      15 |  2806436 |    97232 |    54486      2 |      770 |      661
511.25/511.59	c  510s |      15 |  2819199 |    97732 |    54486      2 |      770 |      661
513.66/513.92	c  513s |      15 |  2820378 |    98032 |    54486      2 |      770 |      661
515.75/516.10	c  515s |      15 |  2821253 |    98232 |    54486      2 |      770 |      661
517.96/518.22	c  517s |      15 |  2821715 |    98432 |    54486      2 |      770 |      661
520.55/520.82	c  520s |      15 |  2823974 |    98732 |    54486      2 |      770 |      661
522.56/522.86	c  522s |      15 |  2834054 |    99232 |    54486      2 |      770 |      661
524.95/525.23	c  524s |      15 |  2855162 |    99632 |    54486      2 |      770 |      661
527.35/527.63	c  526s |      15 |  2871647 |   100132 |    54486      2 |      770 |      661
529.54/529.80	c  529s |      15 |  2880956 |   100632 |    54486      2 |      770 |      661
531.74/532.07	c  531s |      15 |  2894909 |   101132 |    54486      2 |      770 |      661
533.84/534.13	c  533s |      15 |  2906472 |   101632 |    54486      2 |      770 |      661
535.94/536.25	c  535s |      15 |  2918765 |   102232 |    54486      2 |      770 |      661
538.14/538.46	c  537s |      15 |  2926614 |   102832 |    54486      2 |      770 |      661
540.54/540.82	c  540s |      15 |  2945422 |   103432 |    54486      2 |      770 |      661
543.14/543.41	c  542s |      15 |  2962096 |   104032 |    54486      2 |      770 |      661
545.44/545.70	c  544s |      15 |  2972786 |   104532 |    54486      2 |      770 |      661
547.84/548.17	c  547s |      15 |  2988753 |   105032 |    54486      2 |      770 |      661
550.04/550.38	c  549s |      15 |  3009359 |   105432 |    54486      2 |      770 |      661
552.23/552.52	c  551s |      15 |  3025345 |   105832 |    54486      2 |      770 |      661
555.23/555.51	c  554s |      15 |  3032451 |   106332 |    54486      2 |      770 |      661
558.32/558.60	c  557s |      15 |  3033656 |   106632 |    54486      2 |      770 |      661
560.82/561.14	c  560s |      15 |  3035403 |   107032 |    54486      2 |      770 |      661
562.92/563.23	c  562s |      15 |  3036324 |   107332 |    54486      2 |      770 |      661
565.52/565.84	c  565s |      15 |  3037583 |   107632 |    54486      2 |      770 |      661
567.93/568.22	c  567s |      15 |  3039379 |   107932 |    54486      2 |      770 |      661
569.92/570.23	c  569s |      15 |  3040059 |   108132 |    54486      2 |      770 |      661
572.32/572.61	c  571s |      15 |  3040512 |   108332 |    54486      2 |      770 |      661
574.42/574.76	c  574s |      15 |  3041495 |   108532 |    54486      2 |      770 |      661
578.22/578.54	c  577s |      15 |  3054089 |   108932 |    54486      3 |      770 |      661
580.61/580.90	c  580s |      15 |  3069739 |   109432 |    54486      3 |      770 |      661
582.71/583.05	c  582s |      15 |  3081916 |   109932 |    54486      3 |      770 |      661
584.91/585.20	c  584s |      15 |  3097511 |   110432 |    54486      3 |      770 |      661
587.41/587.78	c  587s |      15 |  3099229 |   110932 |    54486      3 |      770 |      661
590.10/590.44	c  589s |      15 |  3100415 |   111332 |    54486      3 |      770 |      661
592.20/592.55	c  591s |      15 |  3109159 |   111732 |    54486      3 |      770 |      661
594.40/594.74	c  594s |      15 |  3117641 |   112132 |    54486      3 |      770 |      661
596.40/596.75	c  596s |      15 |  3132698 |   112532 |    54486      3 |      770 |      661
598.60/598.92	c  598s |      15 |  3137930 |   113132 |    54486      3 |      770 |      661
600.89/601.25	c  600s |      15 |  3156444 |   113832 |    54486      3 |      770 |      661
603.09/603.40	c  602s |      15 |  3160588 |   114432 |    54486      3 |      770 |      661
605.19/605.58	c  604s |      15 |  3166006 |   115032 |    54486      3 |      770 |      661
607.30/607.68	c  606s |      15 |  3167975 |   115532 |    54486      3 |      770 |      661
609.69/610.04	c  609s |      15 |  3169450 |   115832 |    54486      3 |      770 |      661
611.79/612.16	c  611s |      15 |  3171083 |   116132 |    54486      3 |      770 |      661
614.19/614.55	c  613s |      15 |  3172243 |   116332 |    54486      3 |      770 |      661
616.19/616.57	c  615s |      15 |  3173356 |   116532 |    54486      3 |      770 |      661
618.29/618.66	c  617s |      15 |  3174099 |   116732 |    54486      3 |      770 |      661
620.88/621.28	c  620s |      15 |  3174951 |   116932 |    54486      3 |      770 |      661
623.59/624.00	c  623s |      15 |  3175656 |   117132 |    54486      3 |      770 |      661
626.28/626.67	c  625s |      15 |  3177360 |   117432 |    54486      3 |      770 |      661
629.08/629.42	c  628s |      15 |  3178271 |   117632 |    54486      3 |      770 |      661
631.47/631.81	c  631s |      15 |  3179900 |   117932 |    54486      3 |      770 |      661
633.77/634.18	c  633s |      15 |  3180552 |   118132 |    54486      3 |      770 |      661
636.48/636.83	c  636s |      15 |  3181937 |   118432 |    54486      3 |      770 |      661
639.57/639.97	c  639s |      15 |  3182299 |   118632 |    54486      3 |      770 |      661
641.87/642.27	c  641s |      15 |  3184137 |   118932 |    54486      3 |      770 |      661
644.17/644.54	c  643s |      15 |  3184787 |   119132 |    54486      3 |      770 |      661
646.17/646.58	c  645s |      15 |  3185563 |   119332 |    54486      3 |      770 |      661
648.77/649.12	c  648s |      15 |  3187016 |   119632 |    54486      3 |      770 |      661
650.86/651.22	c  650s |      15 |  3187682 |   119832 |    54486      3 |      770 |      661
653.06/653.46	c  652s |      15 |  3188551 |   120032 |    54486      3 |      770 |      661
655.37/655.70	c  654s |      15 |  3188957 |   120232 |    54486      3 |      770 |      661
657.97/658.39	c  657s |      15 |  3189991 |   120532 |    54486      3 |      770 |      661
660.16/660.51	c  659s |      15 |  3190994 |   120832 |    54486      3 |      770 |      661
663.06/663.45	c  662s |      15 |  3192596 |   121132 |    54486      3 |      770 |      661
665.75/666.13	c  665s |      15 |  3193743 |   121332 |    54486      3 |      770 |      661
668.06/668.45	c  667s |      15 |  3194343 |   121532 |    54486      3 |      770 |      661
670.05/670.46	c  669s |      15 |  3195149 |   121732 |    54486      3 |      770 |      661
672.35/672.77	c  672s |      15 |  3195879 |   121932 |    54486      3 |      770 |      661
675.05/675.44	c  674s |      15 |  3196449 |   122132 |    54486      3 |      770 |      661
677.35/677.74	c  677s |      15 |  3197323 |   122332 |    54486      3 |      770 |      661
680.34/680.71	c  679s |      15 |  3198539 |   122632 |    54486      3 |      770 |      661
682.96/683.34	c  682s |      15 |  3199576 |   122832 |    54486      3 |      770 |      661
686.35/686.74	c  686s |      15 |  3200544 |   123132 |    54486      3 |      770 |      661
688.55/688.95	c  688s |      15 |  3209090 |   123532 |    54486      3 |      770 |      661
691.04/691.49	c  690s |      15 |  3221279 |   124032 |    54486      3 |      770 |      661
693.33/693.78	c  693s |      15 |  3232771 |   124432 |    54486      3 |      770 |      661
695.64/696.09	c  695s |      15 |  3241698 |   124832 |    54486      3 |      770 |      661
698.24/698.61	c  697s |      15 |  3257297 |   125332 |    54486      3 |      770 |      661
700.33/700.74	c  700s |      15 |  3271953 |   125732 |    54486      3 |      770 |      661
702.53/702.99	c  702s |      15 |  3286484 |   126132 |    54486      3 |      770 |      661
705.04/705.46	c  704s |      15 |  3302131 |   126532 |    54486      3 |      770 |      661
707.33/707.73	c  707s |      15 |  3307221 |   126932 |    54486      3 |      770 |      661
709.53/709.94	c  709s |      15 |  3320396 |   127432 |    54486      3 |      770 |      661
712.03/712.41	c  711s |      15 |  3329609 |   127932 |    54486      3 |      770 |      661
714.53/714.96	c  714s |      15 |  3331609 |   128332 |    54486      3 |      770 |      661
716.53/716.97	c  716s |      15 |  3332564 |   128632 |    54486      3 |      770 |      661
718.63/719.05	c  718s |      15 |  3337145 |   129032 |    54486      3 |      770 |      661
721.03/721.42	c  720s |      15 |  3343833 |   129532 |    54486      3 |      770 |      661
723.03/723.48	c  722s |      15 |  3345426 |   129932 |    54486      3 |      770 |      661
725.23/725.64	c  724s |      15 |  3350251 |   130332 |    54486      3 |      770 |      661
727.23/727.66	c  726s |      15 |  3363975 |   130732 |    59935      3 |      770 |      661
729.73/730.19	c  729s |      15 |  3379274 |   131132 |    59935      3 |      770 |      661
732.12/732.58	c  731s |      15 |  3392292 |   131532 |    59935      3 |      770 |      661
732.22/732.67	c  731s |      16 |  3392356 |   131552 |    59935      3 |      770 |      661
734.52/734.91	c  734s |      16 |  3395275 |   131752 |    59935      3 |      770 |      661
736.93/737.36	c  736s |      16 |  3404683 |   132252 |    59935      3 |      770 |      661
739.32/739.71	c  738s |      16 |  3421868 |   132652 |    59935      3 |      770 |      661
741.42/741.86	c  741s |      16 |  3432414 |   133052 |    59935      3 |      770 |      661
743.53/743.98	c  743s |      16 |  3435755 |   133452 |    59935      3 |      770 |      661
746.12/746.54	c  745s |      16 |  3455762 |   133852 |    59935      3 |      770 |      661
749.72/750.13	c  749s |      16 |  3467534 |   134152 |    59935      3 |      771 |      662
752.02/752.45	c  751s |      16 |  3479728 |   134552 |    59935      3 |      771 |      662
754.22/754.69	c  753s |      16 |  3494025 |   134952 |    59935      3 |      771 |      662
756.73/757.17	c  756s |      16 |  3510906 |   135352 |    59935      3 |      771 |      662
758.72/759.18	c  758s |      16 |  3514742 |   135752 |    59935      3 |      771 |      662
761.12/761.59	c  760s |      16 |  3521004 |   136152 |    59935      3 |      771 |      662
763.32/763.75	c  763s |      16 |  3533737 |   136452 |    59935      3 |      771 |      662
765.73/766.12	c  765s |      16 |  3539031 |   136752 |    59935      3 |      771 |      662
768.03/768.40	c  767s |      16 |  3553302 |   137252 |    59935      3 |      771 |      662
770.13/770.58	c  769s |      16 |  3561734 |   137752 |    59935      3 |      771 |      662
772.52/772.91	c  772s |      16 |  3574759 |   138152 |    59935      3 |      771 |      662
774.72/775.13	c  774s |      16 |  3575788 |   138452 |    59935      3 |      771 |      662
777.22/777.64	c  776s |      16 |  3590381 |   138852 |    59935      3 |      771 |      662
779.73/780.13	c  779s |      16 |  3605521 |   139252 |    59935      3 |      771 |      662
782.03/782.44	c  781s |      16 |  3607666 |   139652 |    59935      3 |      771 |      662
784.42/784.81	c  784s |      16 |  3608703 |   139952 |    59935      3 |      771 |      662
787.43/787.83	c  787s |      16 |  3612575 |   140152 |    59935      3 |      772 |      663
790.22/790.67	c  789s |      16 |  3622979 |   140552 |    59935      3 |      772 |      663
792.22/792.70	c  791s |      16 |  3638006 |   140952 |    59935      3 |      772 |      663
794.62/795.00	c  794s |      16 |  3651479 |   141352 |    59935      3 |      772 |      663
796.82/797.23	c  796s |      16 |  3665189 |   141752 |    59935      3 |      772 |      663
799.02/799.48	c  798s |      16 |  3679100 |   142052 |    59935      3 |      772 |      663
801.22/801.65	c  800s |      16 |  3691601 |   142452 |    59935      3 |      772 |      663
803.52/803.92	c  803s |      16 |  3706068 |   142852 |    59935      3 |      772 |      663
806.72/807.11	c  806s |      16 |  3709389 |   142952 |    59935      4 |      772 |      663
808.72/809.15	c  808s |      16 |  3718249 |   143352 |    59935      4 |      772 |      663
811.01/811.46	c  810s |      16 |  3739290 |   143752 |    59935      4 |      772 |      663
813.31/813.71	c  812s |      16 |  3753818 |   144252 |    59935      4 |      772 |      663
815.41/815.88	c  815s |      16 |  3769081 |   144752 |    59935      4 |      772 |      663
817.71/818.15	c  817s |      16 |  3786752 |   145252 |    59935      4 |      772 |      663
819.81/820.20	c  819s |      16 |  3795530 |   145652 |    59935      4 |      772 |      663
821.91/822.40	c  821s |      16 |  3806651 |   146052 |    59935      4 |      772 |      663
824.61/825.02	c  824s |      16 |  3817549 |   146452 |    59935      4 |      772 |      663
827.12/827.56	c  826s |      16 |  3833564 |   146852 |    59935      4 |      772 |      663
829.22/829.63	c  828s |      16 |  3834974 |   147152 |    59935      4 |      772 |      663
832.21/832.64	c  831s |      16 |  3835827 |   147452 |    59935      4 |      772 |      663
834.61/835.08	c  834s |      16 |  3842929 |   147852 |    59935      4 |      772 |      663
836.81/837.27	c  836s |      16 |  3857106 |   148352 |    59935      4 |      772 |      663
839.01/839.48	c  838s |      16 |  3865058 |   148852 |    59935      4 |      772 |      663
841.11/841.56	c  840s |      16 |  3876124 |   149352 |    59935      4 |      772 |      663
843.21/843.66	c  842s |      16 |  3882108 |   149752 |    59935      4 |      772 |      663
846.01/846.45	c  845s |      16 |  3883148 |   150052 |    59935      4 |      772 |      663
848.21/848.68	c  847s |      16 |  3898517 |   150452 |    59935      4 |      772 |      663
850.51/850.92	c  850s |      16 |  3911651 |   150952 |    59935      4 |      772 |      663
852.91/853.30	c  852s |      16 |  3923122 |   151652 |    59935      4 |      772 |      663
855.51/855.92	c  855s |      16 |  3936039 |   152152 |    59935      4 |      772 |      663
857.71/858.13	c  857s |      16 |  3944028 |   152552 |    59935      4 |      772 |      663
859.91/860.33	c  859s |      16 |  3955567 |   152952 |    59935      4 |      772 |      663
862.41/862.84	c  862s |      16 |  3966104 |   153452 |    59935      4 |      772 |      663
864.81/865.22	c  864s |      16 |  3976427 |   153852 |    59935      4 |      772 |      663
866.91/867.34	c  866s |      16 |  3982783 |   154052 |    59935      4 |      773 |      664
868.92/869.35	c  868s |      16 |  3994059 |   154352 |    59935      4 |      773 |      664
871.21/871.66	c  870s |      16 |  4006319 |   154752 |    59935      4 |      773 |      664
873.51/873.99	c  873s |      16 |  4021389 |   155152 |    59935      4 |      773 |      664
875.91/876.33	c  875s |      16 |  4039283 |   155652 |    59935      4 |      773 |      664
878.51/878.95	c  878s |      16 |  4056006 |   156052 |    59935      4 |      773 |      664
880.61/881.03	c  880s |      16 |  4069116 |   156452 |    59935      4 |      773 |      664
883.11/883.56	c  882s |      16 |  4077521 |   156952 |    59935      4 |      773 |      664
885.21/885.66	c  884s |      16 |  4087603 |   157352 |    59935      4 |      773 |      664
887.31/887.71	c  886s |      16 |  4095151 |   157752 |    59935      4 |      773 |      664
889.30/889.75	c  889s |      16 |  4106106 |   158152 |    59935      4 |      773 |      664
891.80/892.26	c  891s |      16 |  4115082 |   158652 |    59935      4 |      773 |      664
894.11/894.54	c  893s |      16 |  4128628 |   159152 |    59935      4 |      773 |      664
896.31/896.78	c  896s |      16 |  4140132 |   159652 |    59935      4 |      773 |      664
898.61/899.07	c  898s |      16 |  4157877 |   160052 |    59935      4 |      773 |      664
901.20/901.68	c  900s |      16 |  4174420 |   160552 |    59935      4 |      773 |      664
903.60/904.04	c  903s |      16 |  4189454 |   160952 |    59935      4 |      773 |      664
906.00/906.47	c  905s |      16 |  4201904 |   161352 |    59935      4 |      773 |      664
908.30/908.77	c  908s |      16 |  4219533 |   161752 |    59935      4 |      773 |      664
910.80/911.28	c  910s |      16 |  4235175 |   162252 |    59935      4 |      773 |      664
912.91/913.36	c  912s |      16 |  4247961 |   162652 |    59935      4 |      773 |      664
915.30/915.71	c  914s |      16 |  4258858 |   163152 |    59935      4 |      773 |      664
917.90/918.31	c  917s |      16 |  4273425 |   163552 |    59935      4 |      773 |      664
920.30/920.75	c  920s |      16 |  4286687 |   164052 |    59935      4 |      773 |      664
922.60/923.03	c  922s |      16 |  4302088 |   164452 |    59935      4 |      773 |      664
925.20/925.60	c  924s |      16 |  4311921 |   164952 |    59935      4 |      773 |      664
927.20/927.65	c  926s |      16 |  4319301 |   165352 |    59935      4 |      773 |      664
929.59/930.03	c  929s |      16 |  4326530 |   165752 |    59935      4 |      773 |      664
931.69/932.12	c  931s |      16 |  4337278 |   166152 |    59935      4 |      773 |      664
933.99/934.41	c  933s |      16 |  4346598 |   166652 |    59935      4 |      773 |      664
936.01/936.47	c  935s |      16 |  4350897 |   167152 |    59935      4 |      773 |      664
938.11/938.60	c  937s |      16 |  4353197 |   167552 |    59935      4 |      773 |      664
940.50/940.92	c  940s |      16 |  4356846 |   167952 |    59935      4 |      773 |      664
942.70/943.14	c  942s |      16 |  4358952 |   168252 |    59935      4 |      773 |      664
944.90/945.39	c  944s |      16 |  4360268 |   168552 |    59935      4 |      773 |      664
947.10/947.54	c  946s |      16 |  4373828 |   168952 |    59935      4 |      773 |      664
949.30/949.75	c  949s |      16 |  4387875 |   169352 |    59935      4 |      773 |      664
951.70/952.11	c  951s |      16 |  4394969 |   169852 |    59935      4 |      773 |      664
954.00/954.48	c  953s |      16 |  4398539 |   170252 |    59935      4 |      773 |      664
956.39/956.80	c  956s |      16 |  4403111 |   170552 |    59935      4 |      773 |      664
958.39/958.83	c  958s |      16 |  4404451 |   170852 |    59935      4 |      773 |      664
960.59/961.07	c  960s |      16 |  4416428 |   171352 |    59935      4 |      773 |      664
962.99/963.41	c  962s |      16 |  4427157 |   171752 |    59935      4 |      773 |      664
965.29/965.76	c  965s |      16 |  4432237 |   172252 |    59935      4 |      773 |      664
967.59/968.01	c  967s |      16 |  4439980 |   172752 |    59935      4 |      773 |      664
970.19/970.65	c  969s |      16 |  4441722 |   173152 |    59935      4 |      773 |      664
972.20/972.66	c  971s |      16 |  4443274 |   173452 |    59935      4 |      773 |      664
976.39/976.88	c  976s |      16 |  4453067 |   173952 |    59935      5 |      773 |      664
978.49/978.93	c  978s |      16 |  4464664 |   174352 |    59935      5 |      773 |      664
980.69/981.18	c  980s |      16 |  4468348 |   174752 |    59935      5 |      773 |      664
983.09/983.52	c  982s |      16 |  4484590 |   175252 |    59935      5 |      773 |      664
985.09/985.52	c  984s |      16 |  4499040 |   175652 |    59935      5 |      773 |      664
987.60/988.05	c  987s |      16 |  4504441 |   175952 |    59935      5 |      773 |      664
989.90/990.36	c  989s |      16 |  4523213 |   176352 |    59935      5 |      773 |      664
992.10/992.56	c  991s |      16 |  4537062 |   176752 |    59935      5 |      773 |      664
994.49/994.97	c  994s |      16 |  4537943 |   177052 |    59935      5 |      773 |      664
996.69/997.14	c  996s |      16 |  4539215 |   177452 |    59935      5 |      773 |      664
999.19/999.67	c  998s |      16 |  4548870 |   177752 |    59935      5 |      773 |      664
1001.69/1002.18	c 1001s |      16 |  4565932 |   178252 |    59935      5 |      773 |      664
1003.79/1004.23	c 1003s |      16 |  4580401 |   178652 |    59935      5 |      773 |      664
1006.09/1006.53	c 1005s |      16 |  4597250 |   179052 |    59935      5 |      773 |      664
1008.08/1008.55	c 1007s |      16 |  4610413 |   179352 |    59935      5 |      773 |      664
1010.58/1011.02	c 1010s |      16 |  4626467 |   179852 |    59935      5 |      773 |      664
1012.78/1013.26	c 1012s |      16 |  4637969 |   180252 |    59935      5 |      773 |      664
1014.88/1015.35	c 1014s |      16 |  4654041 |   180652 |    59935      5 |      773 |      664
1016.88/1017.36	c 1016s |      16 |  4668518 |   181052 |    59935      5 |      773 |      664
1019.18/1019.68	c 1018s |      16 |  4683546 |   181452 |    59935      5 |      773 |      664
1021.18/1021.69	c 1020s |      16 |  4692494 |   181952 |    59935      5 |      773 |      664
1023.68/1024.12	c 1023s |      16 |  4705251 |   182452 |    59935      5 |      773 |      664
1025.78/1026.27	c 1025s |      16 |  4720874 |   182852 |    59935      5 |      773 |      664
1027.88/1028.38	c 1027s |      16 |  4734175 |   183252 |    59935      5 |      773 |      664
1030.18/1030.61	c 1029s |      16 |  4751889 |   183652 |    59935      5 |      773 |      664
1032.18/1032.68	c 1031s |      16 |  4760414 |   184152 |    59935      5 |      773 |      664
1034.58/1035.05	c 1034s |      16 |  4769448 |   184652 |    59935      5 |      773 |      664
1036.68/1037.10	c 1036s |      16 |  4779960 |   185052 |    59935      5 |      773 |      664
1039.08/1039.52	c 1038s |      16 |  4788311 |   185552 |    59935      5 |      773 |      664
1041.38/1041.87	c 1041s |      16 |  4797109 |   186052 |    59935      5 |      773 |      664
1043.68/1044.14	c 1043s |      16 |  4799380 |   186552 |    59935      5 |      773 |      664
1046.18/1046.65	c 1045s |      16 |  4802481 |   187052 |    59935      5 |      773 |      664
1048.57/1049.02	c 1048s |      16 |  4816391 |   187552 |    59935      5 |      773 |      664
1050.57/1051.09	c 1050s |      16 |  4827954 |   187952 |    59935      5 |      773 |      664
1052.77/1053.24	c 1052s |      16 |  4836491 |   188352 |    59935      5 |      773 |      664
1054.97/1055.48	c 1054s |      16 |  4851037 |   188852 |    59935      5 |      773 |      664
1057.67/1058.18	c 1057s |      16 |  4867456 |   189352 |    59935      5 |      773 |      664
1060.08/1060.59	c 1059s |      16 |  4885671 |   189752 |    59935      5 |      773 |      664
1062.18/1062.66	c 1061s |      16 |  4896830 |   190152 |    59935      5 |      773 |      664
1064.38/1064.80	c 1064s |      16 |  4912651 |   190452 |    59935      5 |      773 |      664
1066.79/1067.27	c 1066s |      16 |  4931560 |   190852 |    59935      5 |      773 |      664
1069.28/1069.77	c 1069s |      16 |  4945711 |   191252 |    59935      5 |      773 |      664
1071.58/1072.02	c 1071s |      16 |  4961789 |   191552 |    59935      5 |      773 |      664
1073.78/1074.26	c 1073s |      16 |  4972226 |   191952 |    59935      5 |      773 |      664
1076.18/1076.61	c 1075s |      16 |  4973772 |   192352 |    59935      5 |      773 |      664
1078.58/1079.09	c 1078s |      16 |  4981186 |   192752 |    59935      5 |      773 |      664
1080.98/1081.40	c 1080s |      16 |  4985894 |   193152 |    59935      5 |      773 |      664
1083.28/1083.77	c 1083s |      16 |  4990474 |   193452 |    59935      5 |      773 |      664
1085.67/1086.16	c 1085s |      16 |  5000781 |   193852 |    59935      5 |      773 |      664
1088.27/1088.79	c 1088s |      16 |  5001702 |   194152 |    59935      5 |      773 |      664
1090.87/1091.34	c 1090s |      16 |  5005278 |   194452 |    59935      5 |      773 |      664
1093.37/1093.89	c 1093s |      16 |  5019744 |   194852 |    59935      5 |      773 |      664
1095.97/1096.44	c 1095s |      16 |  5033148 |   195252 |    59935      5 |      773 |      664
1098.57/1099.02	c 1098s |      16 |  5048290 |   195652 |    59935      5 |      773 |      664
1102.07/1102.56	c 1101s |      16 |  5050475 |   195952 |    59935      5 |      773 |      664
1104.47/1104.95	c 1104s |      16 |  5050686 |   196052 |    59935      5 |      773 |      664
1106.67/1107.19	c 1106s |      16 |  5055158 |   196252 |    65929      5 |      773 |      664
1109.07/1109.53	c 1108s |      16 |  5061508 |   196652 |    65929      5 |      773 |      664
1111.57/1112.09	c 1111s |      16 |  5067924 |   197052 |    65929      5 |      773 |      664
1113.67/1114.16	c 1113s |      17 |  5075859 |   197432 |    65929      5 |      773 |      664
1115.77/1116.27	c 1115s |      17 |  5083928 |   197632 |    65929      5 |      773 |      664
1118.27/1118.74	c 1118s |      17 |  5093152 |   198132 |    65929      5 |      773 |      664
1120.57/1121.05	c 1120s |      17 |  5104845 |   198632 |    65929      5 |      773 |      664
1122.88/1123.36	c 1122s |      17 |  5117043 |   199132 |    65929      5 |      773 |      664
1125.27/1125.78	c 1125s |      17 |  5126726 |   199532 |    65929      5 |      773 |      664
1127.67/1128.12	c 1127s |      17 |  5138873 |   199832 |    65929      5 |      773 |      664
1129.97/1130.46	c 1129s |      17 |  5150353 |   200232 |    65929      5 |      773 |      664
1132.57/1133.07	c 1132s |      17 |  5158057 |   200632 |    65929      5 |      773 |      664
1135.17/1135.69	c 1134s |      17 |  5172215 |   201032 |    65929      5 |      773 |      664
1137.47/1137.90	c 1137s |      17 |  5175649 |   201432 |    65929      5 |      773 |      664
1139.47/1139.99	c 1139s |      17 |  5182081 |   201832 |    65929      5 |      773 |      664
1141.77/1142.20	c 1141s |      17 |  5190034 |   202132 |    65929      5 |      773 |      664
1144.17/1144.64	c 1143s |      17 |  5195227 |   202532 |    65929      5 |      773 |      664
1146.77/1147.29	c 1146s |      17 |  5204333 |   203032 |    65929      5 |      773 |      664
1149.27/1149.79	c 1149s |      17 |  5219271 |   203432 |    65929      5 |      773 |      664
1151.57/1152.09	c 1151s |      17 |  5222853 |   203732 |    65929      5 |      773 |      664
1153.96/1154.49	c 1153s |      17 |  5230960 |   204232 |    65929      5 |      773 |      664
1156.06/1156.54	c 1155s |      17 |  5240506 |   204632 |    65929      5 |      773 |      664
1158.17/1158.62	c 1157s |      17 |  5251944 |   204932 |    65929      5 |      773 |      664
1160.16/1160.69	c 1159s |      17 |  5263091 |   205332 |    65929      5 |      773 |      664
1162.57/1163.10	c 1162s |      17 |  5269085 |   205532 |    65929      5 |      774 |      665
1164.86/1165.39	c 1164s |      17 |  5281378 |   205932 |    65929      5 |      774 |      665
1167.16/1167.63	c 1166s |      17 |  5291514 |   206332 |    65929      5 |      774 |      665
1169.76/1170.21	c 1169s |      17 |  5308470 |   206732 |    65929      5 |      774 |      665
1172.37/1172.84	c 1172s |      17 |  5321473 |   207032 |    65929      5 |      774 |      665
1174.57/1175.07	c 1174s |      17 |  5330604 |   207432 |    65929      5 |      774 |      665
1176.87/1177.38	c 1176s |      17 |  5344545 |   207832 |    65929      5 |      774 |      665
1178.97/1179.43	c 1178s |      17 |  5354688 |   208132 |    65929      5 |      774 |      665
1181.17/1181.61	c 1180s |      17 |  5370494 |   208432 |    65929      5 |      774 |      665
1183.76/1184.25	c 1183s |      17 |  5385777 |   208832 |    65929      5 |      774 |      665
1186.26/1186.72	c 1185s |      17 |  5396895 |   209232 |    65929      5 |      774 |      665
1188.36/1188.81	c 1188s |      17 |  5407182 |   209532 |    65929      5 |      774 |      665
1190.76/1191.29	c 1190s |      17 |  5421673 |   210032 |    65929      5 |      774 |      665
1193.46/1193.91	c 1193s |      17 |  5438946 |   210432 |    65929      5 |      774 |      665
1195.86/1196.32	c 1195s |      17 |  5447194 |   210832 |    65929      5 |      774 |      665
1199.05/1199.55	c 1198s |      17 |  5454410 |   211032 |    65929      6 |      774 |      665
1201.15/1201.64	c 1200s |      17 |  5469434 |   211432 |    65929      6 |      774 |      665
1203.16/1203.67	c 1202s |      17 |  5483322 |   211832 |    65929      6 |      774 |      665
1205.55/1206.06	c 1205s |      17 |  5494122 |   212432 |    65929      6 |      774 |      665
1208.25/1208.70	c 1207s |      17 |  5514525 |   212932 |    65929      6 |      774 |      665
1210.45/1210.96	c 1210s |      17 |  5526701 |   213332 |    65929      6 |      774 |      665
1212.65/1213.11	c 1212s |      17 |  5538237 |   213732 |    65929      6 |      775 |      666
1214.75/1215.29	c 1214s |      17 |  5553035 |   214132 |    65929      6 |      775 |      666
1216.95/1217.44	c 1216s |      17 |  5564999 |   214532 |    65929      6 |      775 |      666
1219.25/1219.77	c 1219s |      17 |  5575176 |   214932 |    65929      6 |      775 |      666
1221.35/1221.85	c 1221s |      17 |  5592463 |   215332 |    65929      6 |      775 |      666
1223.45/1223.91	c 1223s |      17 |  5606268 |   215732 |    65929      6 |      775 |      666
1225.85/1226.36	c 1225s |      17 |  5619837 |   216232 |    65929      6 |      775 |      666
1228.15/1228.67	c 1227s |      17 |  5625385 |   216832 |    65929      6 |      775 |      666
1230.35/1230.82	c 1230s |      17 |  5629542 |   217332 |    65929      6 |      775 |      666
1232.75/1233.22	c 1232s |      17 |  5640131 |   217832 |    65929      6 |      775 |      666
1235.06/1235.60	c 1234s |      17 |  5646634 |   218232 |    65929      6 |      775 |      666
1237.75/1238.27	c 1237s |      17 |  5660053 |   218732 |    65929      6 |      775 |      666
1240.05/1240.58	c 1239s |      17 |  5670253 |   219132 |    65929      6 |      776 |      667
1242.05/1242.58	c 1241s |      17 |  5681476 |   219532 |    65929      6 |      776 |      667
1244.45/1244.96	c 1244s |      17 |  5689375 |   219932 |    65929      6 |      776 |      667
1246.65/1247.12	c 1246s |      17 |  5700687 |   220332 |    65929      6 |      776 |      667
1248.85/1249.35	c 1248s |      17 |  5705600 |   220732 |    65929      6 |      776 |      667
1250.95/1251.44	c 1250s |      17 |  5715501 |   221132 |    65929      6 |      776 |      667
1253.15/1253.61	c 1252s |      17 |  5724108 |   221632 |    65929      6 |      776 |      667
1255.55/1256.08	c 1255s |      17 |  5728509 |   222132 |    65929      6 |      776 |      667
1257.75/1258.25	c 1257s |      17 |  5733185 |   222532 |    65929      6 |      776 |      667
1260.15/1260.68	c 1259s |      17 |  5746731 |   223032 |    65929      6 |      776 |      667
1262.35/1262.85	c 1262s |      17 |  5760160 |   223432 |    65929      6 |      776 |      667
1264.35/1264.87	c 1264s |      17 |  5766778 |   223832 |    65929      6 |      776 |      667
1266.75/1267.29	c 1266s |      17 |  5775627 |   224332 |    65929      6 |      776 |      667
1269.05/1269.58	c 1268s |      17 |  5786358 |   224732 |    65929      6 |      776 |      667
1271.64/1272.15	c 1271s |      17 |  5802809 |   225232 |    65929      6 |      776 |      667
1273.65/1274.20	c 1273s |      17 |  5813150 |   225632 |    65929      6 |      776 |      667
1276.24/1276.71	c 1275s |      17 |  5831840 |   226032 |    65929      6 |      776 |      667
1278.94/1279.40	c 1278s |      17 |  5847562 |   226332 |    65929      6 |      777 |      668
1281.04/1281.56	c 1280s |      17 |  5858501 |   226732 |    65929      6 |      777 |      668
1283.14/1283.62	c 1282s |      17 |  5868743 |   227232 |    65929      6 |      777 |      668
1285.54/1286.00	c 1285s |      17 |  5881662 |   227732 |    65929      6 |      777 |      668
1287.64/1288.19	c 1287s |      17 |  5893277 |   228132 |    65929      6 |      777 |      668
1289.84/1290.37	c 1289s |      17 |  5907513 |   228532 |    65929      6 |      777 |      668
1291.94/1292.41	c 1291s |      17 |  5918747 |   229032 |    65929      6 |      777 |      668
1294.55/1295.04	c 1294s |      17 |  5934177 |   229432 |    65929      6 |      777 |      668
1296.74/1297.23	c 1296s |      17 |  5939348 |   229732 |    65929      6 |      777 |      668
1299.24/1299.71	c 1298s |      17 |  5950476 |   230232 |    65929      6 |      777 |      668
1301.24/1301.72	c 1301s |      17 |  5957537 |   230432 |    65929      6 |      778 |      669
1303.44/1303.94	c 1303s |      17 |  5972982 |   230732 |    65929      6 |      778 |      669
1305.74/1306.29	c 1305s |      17 |  5986824 |   231132 |    65929      6 |      778 |      669
1308.13/1308.65	c 1307s |      17 |  5996827 |   231632 |    65929      6 |      778 |      669
1310.33/1310.81	c 1310s |      17 |  6009826 |   232032 |    65929      6 |      778 |      669
1312.63/1313.18	c 1312s |      17 |  6022505 |   232532 |    65929      6 |      778 |      669
1315.23/1315.77	c 1315s |      17 |  6031104 |   232932 |    65929      6 |      778 |      669
1317.64/1318.12	c 1317s |      17 |  6038387 |   233332 |    65929      6 |      778 |      669
1319.75/1320.23	c 1319s |      17 |  6045809 |   233632 |    65929      6 |      778 |      669
1322.14/1322.61	c 1321s |      17 |  6056425 |   234032 |    65929      6 |      778 |      669
1324.34/1324.86	c 1324s |      17 |  6070177 |   234432 |    65929      6 |      778 |      669
1326.34/1326.90	c 1326s |      17 |  6080390 |   234732 |    65929      6 |      778 |      669
1328.84/1329.30	c 1328s |      17 |  6090602 |   235132 |    65929      6 |      778 |      669
1331.04/1331.54	c 1330s |      17 |  6099781 |   235532 |    65929      6 |      778 |      669
1333.24/1333.79	c 1333s |      17 |  6109600 |   236032 |    65929      6 |      778 |      669
1335.34/1335.81	c 1335s |      17 |  6117640 |   236332 |    65929      6 |      778 |      669
1337.44/1337.91	c 1337s |      17 |  6130099 |   236732 |    65929      6 |      778 |      669
1340.03/1340.51	c 1339s |      17 |  6145951 |   237132 |    65929      6 |      778 |      669
1342.03/1342.55	c 1341s |      17 |  6157087 |   237432 |    65929      6 |      778 |      669
1344.73/1345.23	c 1344s |      17 |  6166944 |   237932 |    65929      6 |      778 |      669
1347.24/1347.72	c 1347s |      17 |  6183825 |   238332 |    65929      6 |      778 |      669
1349.44/1349.99	c 1349s |      17 |  6186212 |   238632 |    65929      6 |      778 |      669
1352.03/1352.52	c 1351s |      17 |  6198528 |   239032 |    65929      6 |      778 |      669
1354.53/1355.08	c 1354s |      17 |  6209357 |   239332 |    65929      6 |      778 |      669
1357.03/1357.52	c 1356s |      17 |  6214582 |   239832 |    65929      6 |      778 |      669
1359.83/1360.33	c 1359s |      17 |  6217754 |   240232 |    65929      6 |      778 |      669
1362.23/1362.78	c 1362s |      17 |  6218708 |   240532 |    65929      6 |      778 |      669
1364.93/1365.46	c 1364s |      17 |  6219465 |   240732 |    65929      6 |      778 |      669
1367.83/1368.39	c 1367s |      17 |  6219910 |   240932 |    65929      6 |      778 |      669
1370.13/1370.65	c 1369s |      17 |  6225862 |   241332 |    65929      6 |      778 |      669
1372.73/1373.26	c 1372s |      17 |  6236516 |   241732 |    65929      6 |      778 |      669
1374.74/1375.28	c 1374s |      17 |  6240916 |   242032 |    65929      6 |      778 |      669
1377.23/1377.72	c 1377s |      17 |  6248873 |   242532 |    65929      6 |      778 |      669
1379.43/1379.95	c 1379s |      17 |  6260342 |   242932 |    65929      6 |      778 |      669
1382.23/1382.73	c 1382s |      17 |  6273034 |   243532 |    65929      6 |      778 |      669
1384.23/1384.73	c 1384s |      17 |  6283152 |   243932 |    65929      6 |      778 |      669
1386.33/1386.86	c 1386s |      17 |  6289398 |   244232 |    65929      6 |      778 |      669
1388.63/1389.13	c 1388s |      17 |  6300025 |   244632 |    65929      6 |      778 |      669
1391.13/1391.69	c 1390s |      17 |  6313417 |   245032 |    65929      6 |      778 |      669
1393.83/1394.31	c 1393s |      17 |  6316975 |   245532 |    65929      6 |      778 |      669
1395.93/1396.47	c 1395s |      17 |  6319141 |   245832 |    65929      6 |      778 |      669
1398.12/1398.65	c 1397s |      17 |  6320689 |   246132 |    65929      6 |      778 |      669
1401.92/1402.42	c 1401s |      17 |  6327595 |   246432 |    65929      7 |      778 |      669
1404.22/1404.77	c 1404s |      17 |  6341666 |   246932 |    65929      7 |      778 |      669
1406.63/1407.14	c 1406s |      17 |  6357095 |   247432 |    65929      7 |      778 |      669
1408.72/1409.23	c 1408s |      17 |  6365352 |   248032 |    65929      7 |      778 |      669
1410.72/1411.25	c 1410s |      17 |  6373997 |   248532 |    65929      7 |      778 |      669
1413.12/1413.66	c 1412s |      17 |  6395319 |   248932 |    65929      7 |      778 |      669
1415.72/1416.23	c 1415s |      17 |  6411553 |   249432 |    65929      7 |      778 |      669
1418.12/1418.66	c 1417s |      17 |  6422402 |   249932 |    65929      7 |      778 |      669
1420.62/1421.18	c 1420s |      17 |  6433926 |   250332 |    65929      7 |      778 |      669
1422.72/1423.26	c 1422s |      17 |  6445471 |   250832 |    65929      7 |      778 |      669
1425.02/1425.50	c 1424s |      17 |  6457827 |   251332 |    65929      7 |      778 |      669
1427.63/1428.20	c 1427s |      17 |  6463551 |   251732 |    65929      7 |      778 |      669
1430.02/1430.55	c 1429s |      17 |  6478561 |   252232 |    65929      7 |      778 |      669
1432.22/1432.74	c 1432s |      17 |  6483437 |   252732 |    65929      7 |      778 |      669
1434.32/1434.83	c 1434s |      17 |  6496301 |   253132 |    65929      7 |      778 |      669
1436.43/1436.96	c 1436s |      17 |  6513166 |   253532 |    65929      7 |      778 |      669
1438.53/1439.02	c 1438s |      17 |  6527882 |   253932 |    65929      7 |      778 |      669
1440.73/1441.24	c 1440s |      17 |  6537200 |   254432 |    65929      7 |      778 |      669
1442.93/1443.45	c 1442s |      17 |  6550147 |   254932 |    65929      7 |      778 |      669
1445.23/1445.72	c 1445s |      17 |  6566288 |   255332 |    65929      7 |      778 |      669
1447.33/1447.86	c 1447s |      17 |  6580944 |   255732 |    65929      7 |      778 |      669
1449.63/1450.12	c 1449s |      17 |  6596857 |   256232 |    65929      7 |      778 |      669
1452.02/1452.53	c 1451s |      17 |  6602362 |   256732 |    65929      7 |      778 |      669
1454.22/1454.71	c 1453s |      17 |  6605506 |   257032 |    65929      7 |      778 |      669
1456.92/1457.43	c 1456s |      17 |  6607267 |   257432 |    65929      7 |      778 |      669
1459.22/1459.71	c 1458s |      17 |  6620089 |   257832 |    65929      7 |      778 |      669
1462.02/1462.50	c 1461s |      17 |  6631654 |   258232 |    65929      7 |      778 |      669
1464.22/1464.79	c 1464s |      17 |  6644347 |   258732 |    65929      7 |      778 |      669
1466.52/1467.01	c 1466s |      17 |  6655080 |   259132 |    65929      7 |      778 |      669
1468.71/1469.29	c 1468s |      17 |  6666924 |   259532 |    65929      7 |      778 |      669
1471.31/1471.86	c 1471s |      17 |  6677074 |   260032 |    65929      7 |      778 |      669
1473.72/1474.30	c 1473s |      17 |  6687231 |   260532 |    65929      7 |      778 |      669
1476.21/1476.73	c 1476s |      17 |  6698139 |   260932 |    65929      7 |      778 |      669
1478.41/1478.94	c 1478s |      17 |  6708294 |   261332 |    65929      7 |      778 |      669
1481.01/1481.51	c 1480s |      17 |  6721095 |   261832 |    65929      7 |      778 |      669
1483.11/1483.64	c 1482s |      17 |  6728791 |   262232 |    65929      7 |      778 |      669
1485.61/1486.18	c 1485s |      17 |  6740852 |   262732 |    65929      7 |      778 |      669
1487.71/1488.21	c 1487s |      17 |  6751388 |   263132 |    65929      7 |      778 |      669
1489.81/1490.33	c 1489s |      17 |  6760616 |   263532 |    65929      7 |      778 |      669
1492.21/1492.71	c 1491s |      17 |  6769409 |   263932 |    65929      7 |      778 |      669
1494.62/1495.13	c 1494s |      17 |  6784289 |   264332 |    65929      7 |      778 |      669
1496.82/1497.36	c 1496s |      17 |  6797508 |   264732 |    65929      7 |      778 |      669
1498.91/1499.40	c 1498s |      17 |  6804441 |   265132 |    65929      7 |      778 |      669
1501.11/1501.64	c 1500s |      17 |  6818251 |   265532 |    65929      7 |      778 |      669
1503.21/1503.78	c 1503s |      17 |  6821407 |   265932 |    65929      7 |      778 |      669
1505.61/1506.15	c 1505s |      17 |  6823025 |   266332 |    65929      7 |      778 |      669
1507.60/1508.15	c 1507s |      17 |  6823636 |   266532 |    65929      7 |      778 |      669
1509.71/1510.27	c 1509s |      17 |  6824382 |   266732 |    65929      7 |      778 |      669
1511.91/1512.44	c 1511s |      17 |  6825336 |   267032 |    65929      7 |      778 |      669
1514.11/1514.68	c 1513s |      17 |  6829029 |   267332 |    65929      7 |      778 |      669
1516.41/1516.92	c 1516s |      17 |  6840213 |   267732 |    65929      7 |      778 |      669
1518.81/1519.34	c 1518s |      17 |  6841595 |   268232 |    65929      7 |      778 |      669
1521.31/1521.81	c 1521s |      17 |  6843048 |   268632 |    65929      7 |      778 |      669
1523.61/1524.11	c 1523s |      17 |  6852480 |   269032 |    65929      7 |      778 |      669
1526.00/1526.51	c 1525s |      17 |  6860767 |   269432 |    65929      7 |      778 |      669
1528.30/1528.83	c 1528s |      17 |  6866850 |   269932 |    65929      7 |      778 |      669
1530.30/1530.84	c 1530s |      17 |  6872561 |   270332 |    65929      7 |      778 |      669
1532.70/1533.27	c 1532s |      17 |  6884827 |   270732 |    65929      7 |      778 |      669
1534.90/1535.43	c 1534s |      17 |  6886057 |   271132 |    65929      7 |      778 |      669
1537.30/1537.80	c 1537s |      17 |  6887969 |   271532 |    65929      7 |      778 |      669
1539.60/1540.17	c 1539s |      17 |  6898194 |   271932 |    65929      7 |      778 |      669
1541.80/1542.31	c 1541s |      17 |  6908552 |   272332 |    65929      7 |      778 |      669
1543.80/1544.32	c 1543s |      17 |  6917425 |   272732 |    65929      7 |      778 |      669
1546.00/1546.54	c 1545s |      17 |  6925539 |   273132 |    65929      7 |      778 |      669
1548.20/1548.73	c 1548s |      17 |  6935116 |   273532 |    65929      7 |      778 |      669
1550.60/1551.14	c 1550s |      17 |  6949008 |   273932 |    65929      7 |      778 |      669
1552.70/1553.20	c 1552s |      17 |  6960060 |   274232 |    65929      7 |      778 |      669
1555.11/1555.66	c 1554s |      17 |  6966544 |   274632 |    65929      7 |      778 |      669
1557.60/1558.10	c 1557s |      17 |  6981193 |   275032 |    65929      7 |      778 |      669
1559.80/1560.38	c 1559s |      17 |  6986906 |   275532 |    65929      7 |      778 |      669
1562.20/1562.70	c 1561s |      17 |  6999146 |   275932 |    65929      7 |      778 |      669
1564.50/1565.09	c 1564s |      17 |  7000260 |   276332 |    65929      7 |      778 |      669
1566.70/1567.28	c 1566s |      17 |  7001652 |   276732 |    65929      7 |      778 |      669
1568.90/1569.49	c 1568s |      17 |  7002578 |   277132 |    65929      7 |      778 |      669
1571.40/1571.98	c 1571s |      17 |  7004003 |   277532 |    65929      7 |      778 |      669
1573.91/1574.45	c 1573s |      17 |  7005946 |   278032 |    65929      7 |      778 |      669
1576.20/1576.70	c 1575s |      17 |  7006753 |   278332 |    65929      7 |      778 |      669
1578.21/1578.79	c 1578s |      17 |  7009362 |   278632 |    65929      7 |      778 |      669
1580.30/1580.85	c 1580s |      17 |  7021334 |   278932 |    65929      7 |      778 |      669
1582.90/1583.42	c 1582s |      17 |  7034272 |   279432 |    65929      7 |      778 |      669
1585.40/1585.94	c 1585s |      17 |  7042878 |   279932 |    65929      7 |      778 |      669
1587.80/1588.32	c 1587s |      17 |  7046184 |   280032 |    65929      8 |      778 |      669
1590.31/1590.89	c 1590s |      17 |  7064894 |   280632 |    65929      8 |      778 |      669
1592.80/1593.37	c 1592s |      17 |  7082215 |   281132 |    65929      8 |      778 |      669
1595.10/1595.68	c 1594s |      17 |  7098964 |   281632 |    65929      8 |      778 |      669
1597.90/1598.42	c 1597s |      17 |  7107739 |   282132 |    65929      8 |      778 |      669
1600.30/1600.81	c 1600s |      17 |  7124054 |   282632 |    65929      8 |      778 |      669
1602.60/1603.15	c 1602s |      17 |  7130810 |   283032 |    65929      8 |      778 |      669
1604.79/1605.30	c 1604s |      17 |  7134884 |   283432 |    65929      8 |      778 |      669
1607.09/1607.63	c 1606s |      17 |  7145399 |   284132 |    65929      8 |      778 |      669
1609.39/1609.96	c 1609s |      17 |  7159143 |   284632 |    65929      8 |      778 |      669
1611.49/1612.00	c 1611s |      17 |  7175663 |   285032 |    65929      8 |      778 |      669
1613.50/1614.01	c 1613s |      17 |  7186970 |   285432 |    65929      8 |      778 |      669
1615.99/1616.52	c 1615s |      17 |  7205390 |   285832 |    65929      8 |      778 |      669
1618.09/1618.64	c 1617s |      17 |  7214170 |   286332 |    65929      8 |      778 |      669
1620.10/1620.67	c 1619s |      17 |  7225786 |   286732 |    65929      8 |      778 |      669
1622.59/1623.18	c 1622s |      17 |  7237255 |   287232 |    65929      8 |      778 |      669
1624.79/1625.38	c 1624s |      17 |  7249612 |   287732 |    65929      8 |      778 |      669
1627.09/1627.63	c 1626s |      17 |  7257806 |   288232 |    65929      8 |      778 |      669
1629.09/1629.63	c 1628s |      17 |  7264463 |   288632 |    65929      8 |      778 |      669
1631.29/1631.82	c 1631s |      17 |  7274702 |   289132 |    65929      8 |      778 |      669
1633.49/1634.08	c 1633s |      17 |  7285309 |   289632 |    65929      8 |      778 |      669
1635.69/1636.21	c 1635s |      17 |  7294780 |   290132 |    65929      8 |      778 |      669
1637.99/1638.57	c 1637s |      17 |  7307322 |   290632 |    65929      8 |      778 |      669
1640.39/1640.90	c 1640s |      17 |  7315427 |   291132 |    65929      8 |      778 |      669
1642.49/1643.06	c 1642s |      17 |  7330925 |   291532 |    65929      8 |      778 |      669
1644.69/1645.21	c 1644s |      17 |  7341053 |   292032 |    65929      8 |      778 |      669
1647.09/1647.67	c 1646s |      17 |  7349232 |   292632 |    65929      8 |      778 |      669
1649.29/1649.89	c 1649s |      17 |  7350584 |   293032 |    65929      8 |      778 |      669
1651.49/1652.00	c 1651s |      17 |  7360748 |   293432 |    65929      8 |      778 |      669
1653.58/1654.13	c 1653s |      17 |  7375836 |   293832 |    65929      8 |      778 |      669
1655.98/1656.55	c 1655s |      17 |  7391024 |   294232 |    72522      8 |      778 |      669
1658.38/1658.90	c 1658s |      17 |  7406955 |   294632 |    72522      8 |      778 |      669
1660.48/1661.03	c 1660s |      17 |  7419958 |   295232 |    72522      8 |      778 |      669
1662.89/1663.44	c 1662s |      17 |  7433230 |   295732 |    72522      8 |      778 |      669
1665.09/1665.70	c 1664s |      17 |  7440257 |   296232 |    72522      8 |      778 |      669
1665.19/1665.78	c 1665s |      18 |  7440321 |   296252 |    72522      8 |      778 |      669
1667.39/1667.92	c 1667s |      18 |  7450454 |   296552 |    72522      8 |      778 |      669
1669.68/1670.22	c 1669s |      18 |  7469947 |   296952 |    72522      8 |      778 |      669
1671.88/1672.47	c 1671s |      18 |  7484884 |   297452 |    72522      8 |      778 |      669
1673.89/1674.47	c 1673s |      18 |  7500206 |   297852 |    72522      8 |      778 |      669
1676.09/1676.66	c 1675s |      18 |  7504028 |   298352 |    72522      8 |      778 |      669
1678.29/1678.83	c 1678s |      18 |  7516789 |   298752 |    72522      8 |      778 |      669
1680.59/1681.13	c 1680s |      18 |  7525388 |   299252 |    72522      8 |      778 |      669
1683.08/1683.60	c 1682s |      18 |  7536369 |   299852 |    72522      8 |      778 |      669
1685.18/1685.73	c 1685s |      18 |  7547930 |   300252 |    72522      8 |      778 |      669
1687.58/1688.19	c 1687s |      18 |  7564324 |   300752 |    72522      8 |      778 |      669
1690.18/1690.70	c 1689s |      18 |  7579646 |   301152 |    72522      8 |      778 |      669
1692.38/1692.91	c 1692s |      18 |  7588711 |   301452 |    72522      8 |      778 |      669
1694.48/1695.09	c 1694s |      18 |  7606571 |   301852 |    72522      8 |      778 |      669
1696.88/1697.44	c 1696s |      18 |  7623735 |   302252 |    72522      8 |      778 |      669
1699.29/1699.87	c 1699s |      18 |  7631148 |   302652 |    72522      8 |      778 |      669
1701.58/1702.16	c 1701s |      18 |  7634502 |   302952 |    72522      8 |      778 |      669
1703.88/1704.49	c 1703s |      18 |  7647375 |   303352 |    72522      8 |      778 |      669
1706.38/1706.92	c 1706s |      18 |  7651935 |   303852 |    72522      8 |      778 |      669
1708.38/1708.96	c 1708s |      18 |  7652790 |   304152 |    72522      8 |      778 |      669
1710.48/1711.07	c 1710s |      18 |  7658129 |   304452 |    72522      8 |      778 |      669
1712.58/1713.13	c 1712s |      18 |  7661353 |   305052 |    72522      8 |      778 |      669
1715.08/1715.65	c 1714s |      18 |  7669609 |   305552 |    72522      8 |      778 |      669
1717.18/1717.79	c 1717s |      18 |  7677796 |   305852 |    72522      8 |      778 |      669
1719.58/1720.19	c 1719s |      18 |  7690964 |   306252 |    72522      8 |      778 |      669
1721.78/1722.35	c 1721s |      18 |  7699247 |   306652 |    72522      8 |      778 |      669
1723.98/1724.53	c 1723s |      18 |  7707747 |   307052 |    72522      8 |      778 |      669
1726.58/1727.11	c 1726s |      18 |  7720838 |   307452 |    72522      8 |      778 |      669
1729.18/1729.73	c 1729s |      18 |  7731577 |   307852 |    72522      8 |      778 |      669
1731.47/1732.01	c 1731s |      18 |  7743303 |   308252 |    72522      8 |      778 |      669
1733.47/1734.03	c 1733s |      18 |  7752502 |   308652 |    72522      8 |      778 |      669
1736.07/1736.61	c 1735s |      18 |  7774508 |   309052 |    72522      8 |      778 |      669
1738.37/1738.99	c 1738s |      18 |  7788924 |   309452 |    72522      8 |      778 |      669
1740.77/1741.30	c 1740s |      18 |  7796493 |   309852 |    72522      8 |      778 |      669
1743.07/1743.65	c 1742s |      18 |  7805003 |   310252 |    72522      8 |      778 |      669
1745.57/1746.17	c 1745s |      18 |  7816119 |   310752 |    72522      8 |      778 |      669
1748.78/1749.31	c 1748s |      18 |  7833825 |   311152 |    72522      8 |      779 |      670
1751.37/1751.96	c 1751s |      18 |  7854238 |   311552 |    72522      8 |      779 |      670
1753.37/1753.98	c 1753s |      18 |  7858023 |   311952 |    72522      8 |      779 |      670
1755.77/1756.32	c 1755s |      18 |  7864941 |   312452 |    72522      8 |      779 |      670
1758.77/1759.35	c 1758s |      18 |  7865562 |   312652 |    72522      8 |      779 |      670
1761.37/1761.94	c 1761s |      18 |  7866053 |   312852 |    72522      8 |      779 |      670
1763.47/1764.05	c 1763s |      18 |  7866625 |   313052 |    72522      8 |      779 |      670
1767.16/1767.72	c 1766s |      18 |  7867418 |   313252 |    72522      8 |      779 |      670
1770.78/1771.33	c 1770s |      18 |  7868069 |   313452 |    72522      8 |      779 |      670
1772.77/1773.38	c 1772s |      18 |  7868906 |   313652 |    72522      8 |      779 |      670
1775.17/1775.76	c 1775s |      18 |  7870205 |   313952 |    72522      8 |      779 |      670
1777.86/1778.49	c 1777s |      18 |  7872119 |   314352 |    72522      8 |      779 |      670
1780.36/1780.99	c 1780s |      18 |  7872913 |   314552 |    72522      8 |      779 |      670
1783.37/1783.98	c 1783s |      18 |  7874129 |   314852 |    72522      8 |      779 |      670
1785.67/1786.21	c 1785s |      18 |  7874845 |   315052 |    72522      8 |      779 |      670
1788.67/1789.27	c 1788s |      18 |  7875766 |   315352 |    72522      8 |      779 |      670
1791.17/1791.78	c 1791s |      18 |  7876394 |   315552 |    72522      8 |      779 |      670
1794.16/1794.77	c 1794s |      18 |  7876763 |   315752 |    72522      8 |      779 |      670
1796.96/1797.54	c 1796s |      18 |  7876956 |   315852 |    72522      8 |      779 |      670
1799.47/1800.00	c 1799s |      18 |  7877123 |   315952 |    72522      8 |      779 |      670

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

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

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


[startup+0 s]
/proc/loadavg: 2.42 2.26 2.20 3/179 6659
/proc/meminfo: memFree=29070240/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 110485702 751235072 3100 33554432000 4194304 16246674 140733959099040 140733959098464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 183919 3107 441 2943 0 180813 0
[pid=6659/tid=6660] ppid=6656 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 768012288 3167 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 773255168 3185 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 777449472 3200 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.42 2.26 2.20 3/179 6659
/proc/meminfo: memFree=29070240/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 29048 0 0 0 5 4 0 0 20 0 4 0 110485702 1333334016 29347 33554432000 4194304 16246674 140733959099040 140733959098352 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 325521 29363 801 2943 0 322415 0
[pid=6659/tid=6660] ppid=6656 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1333334016 29375 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1333334016 29386 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1333334016 29397 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200544 s]
/proc/loadavg: 2.42 2.26 2.20 3/179 6659
/proc/meminfo: memFree=29070240/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 47154 0 0 0 12 7 0 0 20 0 4 0 110485702 1344868352 47963 33554432000 4194304 16246674 140733959099040 140733959098352 8058576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 47968 801 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 47971 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 47971 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 47971 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.42 2.26 2.20 3/179 6659
/proc/meminfo: memFree=29070240/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 57219 0 0 0 20 8 0 0 20 0 4 0 110485702 1344868352 58028 33554432000 4194304 16246674 140733959099040 140733959098352 4220487 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 58028 812 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 58028 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 58028 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 58028 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700422 s]
/proc/loadavg: 2.42 2.26 2.20 3/179 6659
/proc/meminfo: memFree=29070240/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 114460 0 0 0 51 18 0 0 20 0 4 0 110485702 1344868352 115270 33554432000 4194304 16246674 140733959099040 140733959080960 6762828 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 115284 834 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 115293 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 115304 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 115311 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50049 s]
/proc/loadavg: 2.42 2.26 2.20 4/183 6663
/proc/meminfo: memFree=28322724/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 215488 0 0 0 116 33 0 0 20 0 4 0 110485702 1344868352 216297 33554432000 4194304 16246674 140733959099040 140733959080960 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 216304 876 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 216307 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 216311 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 216315 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.42 2.26 2.20 4/183 6663
/proc/meminfo: memFree=27991892/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269004 0 0 0 269 40 0 0 20 0 4 0 110485702 1344868352 269813 33554432000 4194304 16246674 140733959099040 140733959080960 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269813 879 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269813 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269813 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269813 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30039 s]
/proc/loadavg: 2.39 2.26 2.20 3/183 6663
/proc/meminfo: memFree=27992024/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269010 0 0 0 589 40 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140733959080960 6022795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269819 884 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.43 2.27 2.20 3/183 6663
/proc/meminfo: memFree=27991880/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269010 0 0 0 1229 40 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140733959080960 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269819 884 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.34 2.25 2.20 4/183 6663
/proc/meminfo: memFree=27991872/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269010 0 0 0 2509 40 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140733959080960 6861771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269819 884 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269819 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.28 2.25 2.20 3/183 6663
/proc/meminfo: memFree=27992372/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269011 0 0 0 5068 40 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140733959080960 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269820 885 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.23 2.24 2.19 3/183 6665
/proc/meminfo: memFree=27990768/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1313348 CPUtime=102.26 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 269026 0 0 0 10186 40 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140733959080960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 328337 269820 885 2943 0 325231 0
[pid=6659/tid=6660] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1344868352 269820 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1313348


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

/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/182 6766
/proc/meminfo: memFree=28008908/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1301.84 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 130122 62 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 5754723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 6768
/proc/meminfo: memFree=28008936/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1361.83 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 136120 63 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 6769
/proc/meminfo: memFree=28008648/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1421.82 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 142118 64 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959098216 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/184 6773
/proc/meminfo: memFree=28008112/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1481.81 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 148116 65 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 6774
/proc/meminfo: memFree=28008572/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1541.8 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 154114 66 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/183 6775
/proc/meminfo: memFree=28008544/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1601.8 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 160113 67 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959098216 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 6777
/proc/meminfo: memFree=28008420/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1661.79 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 166112 67 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.37 2.22 2.19 3/183 6778
/proc/meminfo: memFree=28006452/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1721.78 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 172110 68 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1317444

[startup+1782.31 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 6779
/proc/meminfo: memFree=28006332/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1781.78 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 178107 71 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959080960 12478276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.23 2.19 4/183 6779
/proc/meminfo: memFree=28006208/32872528 swapFree=17892/1720544
[pid=6659] ppid=6656 vsize=1317444 CPUtime=1800.07 cores=1,3,5,7
/proc/6659/stat : 6659 (toysat) R 6656 6659 3556 0 -1 4202496 270420 0 0 0 179935 72 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140733959098216 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 329361 270846 887 2943 0 326255 0
[pid=6659/tid=6660] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (toysat) S 6656 6659 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227992595696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6661] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (toysat) S 6656 6659 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227982105840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6662] ppid=6656 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (toysat) S 6656 6659 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110485702 1349062656 270846 33554432000 4194304 16246674 140733959099040 140227863637168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.36
CPU system time (s): 0.72189
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.72189
maximum resident set size= 1083384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270420
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= 398
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40533 second user time and 7.14691 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 09:45:25
IDJOB=4078907
IDBENCH=90172
IDSOLVER=2542
FILE ID=node117/4078907-1465285525
RUNJOBID= node117-1465262703-3573
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798
RANDOM SEED=489209754

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29070504 kB
Buffers:           87492 kB
Cached:           124340 kB
SwapCached:        29276 kB
Active:          1184276 kB
Inactive:         159724 kB
Active(anon):    1104796 kB
Inactive(anon):    29468 kB
Active(file):      79480 kB
Inactive(file):   130256 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071196 kB
Dirty:             17504 kB
Writeback:             0 kB
AnonPages:       2810452 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             599224 kB
SReclaimable:      43364 kB
SUnreclaim:       555860 kB
KernelStack:        1480 kB
PageTables:         9244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2969180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2754560 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= 71704 MiB
End job on node117 at 2016-06-07 10:15:26