Trace number 4078914

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
MD5SUMf1881d1e83243719865906bde58f94f2
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 variables21420
Total number of constraints21782
Number of constraints which are clauses21602
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint180
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 181
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:50:29+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-4078914-1465285829.opb"]
0.00/0.01	c use --random-gen="3599326875 3196040629 2233854985 4272489294 495402043 2409122196 3135742869 2560901127 1584074724 898964995 1641950458 1264034629 3695542079 3397659689 3821169197 634483221 3570319524 3369709768 3573305691 1401988199 294928194 1426765216 1738692662 1774794935 1168333867 1069261151 1482933825 2201076356 1107666598 2679960862 2356013526 3686157706 1356807828 1939650956 920418048 3521964685 403777277 711777670 749696991 3775853768 1669653414 206403175 1744766956 152055709 1307529382 4202964561 1366703392 2843234498 938213281 2405780914 3312078523 2238463001 2576702813 1192432967 3221051888 4140218180 3705667378 146549229 1918703659 4100449229 3416183206 3397699861 2393885314 2284303966 3928725545 3696526428 2004525974 3291730969 1110864688 1872912821 3261185235 3636084907 515699372 4097275416 2051692532 3519563427 2284592247 1116588523 2038666179 3505447465 2893210978 251199635 3251626278 889690426 2829262000 2584002423 1895935937 2122292903 2852819888 1787305037 1384507134 1816711174 2966417942 2829542113 2512412779 102866173 2303020876 2783246759 1917731833 1320583876 2613713554 1000638069 2268949106 1952699275 602867082 2171414392 3514746350 654493306 2195221776 131775915 687844544 2643752612 1026503188 989127143 319952749 2880872548 2642715006 837673975 3988630201 3059072425 1723053695 2146754396 902357002 1047481421 3948215296 2705858083 3259135878 2686791795 3814336359 4247035703 1611430770 44339460 1856031574 4134962206 1433391022 1521515384 3641099060 719995851 3523099830 2662703539 1377614189 3284618603 3804197593 186949910 1964374693 1048727172 2610112940 2522990868 2046900955 654230107 3918397794 1684472025 751210426 1178875812 2726871101 1159948837 535827199 519788132 867553154 548877946 802858799 3813850016 1053285554 2772449179 3512706895 539696231 3455259712 3457790406 897138573 582913402 3494258595 4085691495 4038173229 2300706023 3157465260 1506146125 247332063 1837317763 1121372315 48349991 3671112428 3878995007 1815956892 1382744 4163482686 3795279712 1378100784 1814680354 4251792826 3505230363 2085773083 2168605430 1011676560 1684444168 2859039405 2633655001 4113525646 3165342337 467132030 2714115150 1684645110 903193992 1484031948 3972247942 2341100955 1123863388 161126266 2351185788 3458439641 2858214921 261812307 1107984820 2013649013 857713287 3998823336 2061858353 983594460 1795408586 2205001661 4040855827 2684653740 1984855002 3158761314 3283766126 147434292 3537375979 1622162365 2488190667 3201195384 1946936378 3192168390 2668618811 3998280712 2085960361 38253745 3206500011 1231348785 1002067561 3660199949 1359302073 3446101534 1622841242 1712705608 708677206 3532388682 1187119263 844825256 3299802348 2814896226 763210246 236476076 1977368845 1025515967 2402618413 1062283695 2242248430 255 362436" option to reproduce the execution
0.19/0.28	c #vars 21420
0.19/0.28	c #constraints 21782
0.69/0.77	c Solving starts ...
0.69/0.77	c ============================[ Search Statistics ]============================
0.69/0.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.77	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.77	c =============================================================================
0.69/0.77	c  0.0s |       0 |        0 |        0 |    14400      0 |      742 |        0
1.99/2.07	c  1.3s |       1 |    12489 |      100 |    14400      0 |      743 |      634
3.19/3.20	c  2.4s |       2 |    27550 |      250 |    15841      0 |      743 |      634
3.79/3.83	c  3.1s |       3 |    32586 |      475 |    17426      0 |      743 |      634
4.89/4.98	c  4.2s |       4 |    52155 |      813 |    19169      0 |      745 |      636
6.99/7.01	c  6.2s |       4 |    94710 |     1313 |    21086      0 |      747 |      638
6.99/7.06	c  6.3s |       5 |    95535 |     1320 |    21086      0 |      747 |      638
9.09/9.14	c  8.4s |       5 |   132918 |     1820 |    23195      0 |      747 |      638
10.09/10.14	c  9.4s |       6 |   149544 |     2081 |    25515      0 |      748 |      639
12.29/12.30	c 11.5s |       6 |   173573 |     2781 |    25515      0 |      748 |      639
13.69/13.79	c 13.0s |       7 |   198392 |     3223 |    28067      0 |      749 |      640
15.89/15.94	c 15.2s |       7 |   239819 |     3723 |    28067      0 |      749 |      640
18.09/18.10	c 17.3s |       7 |   281324 |     4323 |    28067      0 |      749 |      640
20.09/20.15	c 19.4s |       7 |   316751 |     4923 |    30874      0 |      750 |      641
20.09/20.18	c 19.4s |       8 |   317027 |     4936 |    30874      0 |      750 |      641
22.29/22.33	c 21.6s |       8 |   351854 |     5536 |    30874      0 |      750 |      641
24.49/24.56	c 23.8s |       8 |   386631 |     6236 |    30874      0 |      751 |      642
26.49/26.59	c 25.8s |       8 |   414232 |     6836 |    30874      0 |      751 |      642
28.79/28.82	c 28.1s |       8 |   443936 |     7436 |    30874      0 |      751 |      642
28.99/29.03	c 28.3s |       9 |   445403 |     7506 |    33962      0 |      751 |      642
30.99/31.09	c 30.3s |       9 |   473997 |     8106 |    33962      0 |      752 |      643
33.09/33.12	c 32.3s |       9 |   497950 |     8706 |    33962      0 |      752 |      643
35.39/35.47	c 34.7s |       9 |   537529 |     9206 |    33962      0 |      752 |      643
37.69/37.75	c 37.0s |       9 |   563966 |     9706 |    33962      0 |      753 |      644
39.79/39.89	c 39.1s |       9 |   590042 |    10306 |    33962      0 |      753 |      644
42.18/42.27	c 41.5s |       9 |   632269 |    11006 |    33962      0 |      754 |      645
43.99/44.01	c 43.2s |      10 |   656868 |    11361 |    37359      0 |      754 |      645
46.08/46.20	c 45.4s |      10 |   688850 |    11961 |    37359      0 |      754 |      645
48.28/48.34	c 47.6s |      10 |   726334 |    12461 |    37359      0 |      754 |      645
50.28/50.34	c 49.6s |      10 |   755573 |    12861 |    37359      0 |      756 |      647
52.48/52.54	c 51.8s |      10 |   781280 |    13461 |    37359      0 |      757 |      648
54.48/54.59	c 53.8s |      10 |   811380 |    13961 |    37359      0 |      757 |      648
56.58/56.61	c 55.8s |      10 |   838787 |    14461 |    37359      0 |      758 |      649
58.88/58.93	c 58.2s |      10 |   869169 |    15061 |    37359      0 |      758 |      649
61.18/61.23	c 60.5s |      10 |   902408 |    15661 |    37359      0 |      758 |      649
63.48/63.53	c 62.8s |      10 |   923771 |    16261 |    37359      0 |      759 |      650
65.68/65.73	c 65.0s |      10 |   949357 |    16861 |    37359      0 |      759 |      650
67.19/67.24	c 66.5s |      11 |   970499 |    17144 |    41095      0 |      759 |      650
69.18/69.26	c 68.5s |      11 |   994572 |    17644 |    41095      0 |      759 |      650
71.49/71.51	c 70.7s |      11 |  1022691 |    18144 |    41095      0 |      759 |      650
73.58/73.69	c 72.9s |      11 |  1039719 |    18744 |    41095      0 |      759 |      650
75.78/75.82	c 75.1s |      11 |  1069682 |    19244 |    41095      0 |      759 |      650
77.88/77.97	c 77.2s |      11 |  1097953 |    19744 |    41095      0 |      760 |      651
80.08/80.10	c 79.3s |      11 |  1116103 |    20244 |    41095      0 |      762 |      653
82.48/82.59	c 81.8s |      11 |  1149545 |    20844 |    41095      0 |      762 |      653
84.78/84.83	c 84.1s |      11 |  1176375 |    21344 |    41095      0 |      762 |      653
86.98/87.02	c 86.3s |      11 |  1201989 |    21844 |    41095      0 |      762 |      653
89.27/89.32	c 88.6s |      11 |  1233330 |    22444 |    41095      0 |      762 |      653
91.57/91.64	c 90.9s |      11 |  1259645 |    23044 |    41095      0 |      762 |      653
93.67/93.70	c 92.9s |      11 |  1267984 |    23444 |    41095      0 |      762 |      653
95.78/95.85	c 95.1s |      11 |  1293585 |    23944 |    41095      0 |      762 |      653
97.88/97.96	c 97.2s |      11 |  1318548 |    24344 |    41095      0 |      763 |      654
100.37/100.42	c 99.6s |      11 |  1338665 |    24944 |    41095      0 |      763 |      654
102.57/102.66	c  101s |      11 |  1365372 |    25544 |    41095      0 |      763 |      654
103.97/104.05	c  103s |      12 |  1385143 |    25819 |    45205      0 |      763 |      654
106.27/106.34	c  105s |      12 |  1405612 |    26319 |    45205      0 |      763 |      654
108.67/108.72	c  107s |      12 |  1426729 |    27119 |    45205      0 |      763 |      654
111.08/111.13	c  110s |      12 |  1456380 |    27719 |    45205      0 |      763 |      654
113.57/113.63	c  112s |      12 |  1466916 |    28319 |    45205      0 |      763 |      654
115.97/116.06	c  115s |      12 |  1481603 |    28919 |    45205      0 |      763 |      654
118.27/118.35	c  117s |      12 |  1503297 |    29519 |    45205      0 |      763 |      654
120.87/120.99	c  120s |      12 |  1531012 |    29919 |    45205      0 |      764 |      655
123.27/123.34	c  122s |      12 |  1554400 |    30419 |    45205      0 |      764 |      655
125.47/125.52	c  124s |      12 |  1574493 |    30919 |    45205      0 |      764 |      655
127.67/127.73	c  126s |      12 |  1594228 |    31519 |    45205      0 |      764 |      655
129.87/129.93	c  129s |      12 |  1612688 |    31919 |    45205      0 |      765 |      656
131.97/132.02	c  131s |      12 |  1615689 |    32519 |    45205      0 |      765 |      656
134.07/134.12	c  133s |      12 |  1617200 |    32919 |    45205      0 |      765 |      656
136.47/136.52	c  135s |      12 |  1642595 |    33519 |    45205      0 |      765 |      656
138.47/138.59	c  137s |      12 |  1667764 |    34019 |    45205      0 |      765 |      656
140.77/140.82	c  140s |      12 |  1690120 |    34519 |    45205      0 |      765 |      656
142.86/142.99	c  142s |      12 |  1712906 |    35019 |    45205      0 |      765 |      656
145.46/145.52	c  144s |      12 |  1738937 |    35519 |    45205      0 |      765 |      656
147.76/147.84	c  147s |      12 |  1759543 |    36119 |    45205      0 |      765 |      656
149.86/149.91	c  149s |      12 |  1775005 |    36619 |    45205      0 |      765 |      656
152.06/152.13	c  151s |      12 |  1797935 |    37119 |    45205      0 |      765 |      656
154.16/154.22	c  153s |      12 |  1821636 |    37519 |    45205      0 |      765 |      656
156.36/156.43	c  155s |      12 |  1837157 |    37919 |    45205      0 |      765 |      656
158.86/158.95	c  158s |      12 |  1838560 |    38219 |    45205      0 |      765 |      656
160.96/161.08	c  160s |      12 |  1852070 |    38719 |    49726      0 |      765 |      656
161.56/161.70	c  160s |      13 |  1857870 |    38832 |    49726      0 |      765 |      656
163.66/163.77	c  163s |      13 |  1872771 |    39232 |    49726      0 |      765 |      656
166.37/166.40	c  165s |      13 |  1891515 |    39732 |    49726      0 |      766 |      657
168.47/168.58	c  167s |      13 |  1918329 |    40132 |    49726      0 |      766 |      657
170.97/171.00	c  170s |      13 |  1940974 |    40632 |    49726      0 |      766 |      657
173.07/173.17	c  172s |      13 |  1961904 |    41132 |    49726      0 |      766 |      657
175.57/175.60	c  174s |      13 |  1986885 |    41532 |    49726      0 |      766 |      657
177.97/178.09	c  177s |      13 |  2002362 |    42232 |    49726      0 |      766 |      657
180.07/180.16	c  179s |      13 |  2018055 |    42632 |    49726      0 |      766 |      657
182.36/182.47	c  181s |      13 |  2029856 |    43032 |    49726      0 |      766 |      657
184.56/184.66	c  183s |      13 |  2047232 |    43532 |    49726      0 |      766 |      657
186.66/186.70	c  185s |      13 |  2062442 |    43932 |    49726      0 |      766 |      657
189.06/189.11	c  188s |      13 |  2064216 |    44332 |    49726      0 |      766 |      657
191.06/191.13	c  190s |      13 |  2070961 |    44932 |    49726      0 |      766 |      657
193.57/193.61	c  192s |      13 |  2097243 |    45432 |    49726      0 |      766 |      657
195.66/195.78	c  195s |      13 |  2121001 |    45832 |    49726      0 |      766 |      657
197.76/197.84	c  197s |      13 |  2137553 |    46232 |    49726      0 |      766 |      657
199.96/200.03	c  199s |      13 |  2139130 |    46632 |    49726      0 |      766 |      657
202.56/202.67	c  201s |      13 |  2150206 |    47032 |    49726      0 |      766 |      657
204.96/205.00	c  204s |      13 |  2170791 |    47532 |    49726      0 |      766 |      657
207.06/207.11	c  206s |      13 |  2194313 |    47932 |    49726      0 |      766 |      657
209.16/209.22	c  208s |      13 |  2213485 |    48332 |    49726      0 |      766 |      657
211.27/211.31	c  210s |      13 |  2230004 |    48732 |    49726      0 |      766 |      657
213.37/213.41	c  212s |      13 |  2232950 |    49132 |    49726      0 |      766 |      657
215.57/215.70	c  214s |      13 |  2250973 |    49532 |    49726      0 |      766 |      657
217.96/218.04	c  217s |      13 |  2274157 |    50032 |    49726      0 |      766 |      657
220.46/220.53	c  219s |      13 |  2301385 |    50432 |    49726      0 |      766 |      657
223.76/223.81	c  223s |      13 |  2315987 |    50732 |    49726      1 |      767 |      658
225.96/226.03	c  225s |      13 |  2345621 |    51232 |    49726      1 |      767 |      658
228.36/228.42	c  227s |      13 |  2376369 |    51732 |    49726      1 |      767 |      658
230.56/230.64	c  229s |      13 |  2401811 |    52232 |    49726      1 |      767 |      658
232.96/233.00	c  232s |      13 |  2424093 |    52632 |    49726      1 |      768 |      659
235.56/235.62	c  234s |      13 |  2427689 |    53132 |    49726      1 |      768 |      659
237.66/237.71	c  236s |      13 |  2444744 |    53632 |    49726      1 |      768 |      659
239.86/239.95	c  239s |      13 |  2456106 |    54232 |    49726      1 |      768 |      659
242.15/242.27	c  241s |      13 |  2483282 |    54732 |    49726      1 |      768 |      659
244.35/244.42	c  243s |      13 |  2505227 |    55232 |    49726      1 |      768 |      659
246.46/246.53	c  245s |      13 |  2527454 |    55832 |    49726      1 |      768 |      659
248.75/248.82	c  248s |      13 |  2534966 |    56232 |    49726      1 |      768 |      659
251.16/251.23	c  250s |      13 |  2537846 |    56732 |    49726      1 |      768 |      659
253.16/253.25	c  252s |      13 |  2551712 |    57232 |    49726      1 |      768 |      659
255.56/255.62	c  254s |      13 |  2564222 |    57832 |    49726      1 |      768 |      659
257.65/257.71	c  256s |      13 |  2583781 |    58332 |    54699      1 |      768 |      659
257.65/257.79	c  257s |      14 |  2583912 |    58352 |    54699      1 |      768 |      659
259.85/259.99	c  259s |      14 |  2595391 |    58952 |    54699      1 |      768 |      659
262.25/262.34	c  261s |      14 |  2618355 |    59452 |    54699      1 |      768 |      659
264.25/264.38	c  263s |      14 |  2619817 |    59852 |    54699      1 |      768 |      659
266.65/266.77	c  265s |      14 |  2634798 |    60252 |    54699      1 |      768 |      659
268.95/269.00	c  268s |      14 |  2660212 |    60652 |    54699      1 |      768 |      659
270.95/271.09	c  270s |      14 |  2684767 |    61052 |    54699      1 |      768 |      659
273.15/273.24	c  272s |      14 |  2700640 |    61552 |    54699      1 |      768 |      659
276.06/276.18	c  275s |      14 |  2723347 |    62152 |    54699      1 |      769 |      660
278.15/278.29	c  277s |      14 |  2743112 |    62652 |    54699      1 |      769 |      660
280.56/280.61	c  279s |      14 |  2748311 |    63152 |    54699      1 |      769 |      660
282.55/282.68	c  281s |      14 |  2764634 |    63752 |    54699      1 |      769 |      660
285.05/285.14	c  284s |      14 |  2781491 |    64252 |    54699      1 |      769 |      660
287.45/287.54	c  286s |      14 |  2797546 |    64752 |    54699      1 |      769 |      660
289.65/289.71	c  288s |      14 |  2822185 |    65152 |    54699      1 |      769 |      660
291.64/291.77	c  291s |      14 |  2845623 |    65552 |    54699      1 |      769 |      660
293.75/293.87	c  293s |      14 |  2861138 |    65952 |    54699      1 |      769 |      660
296.24/296.31	c  295s |      14 |  2890040 |    66352 |    54699      1 |      769 |      660
298.24/298.34	c  297s |      14 |  2900724 |    66852 |    54699      1 |      769 |      660
300.44/300.50	c  299s |      14 |  2917769 |    67252 |    54699      1 |      769 |      660
302.45/302.56	c  301s |      14 |  2938242 |    67652 |    54699      1 |      769 |      660
304.84/304.91	c  304s |      14 |  2955139 |    68152 |    54699      1 |      769 |      660
307.14/307.25	c  306s |      14 |  2972770 |    68552 |    54699      1 |      769 |      660
309.34/309.44	c  308s |      14 |  2992149 |    68952 |    54699      1 |      769 |      660
311.44/311.59	c  310s |      14 |  3012294 |    69352 |    54699      1 |      769 |      660
313.94/314.06	c  313s |      14 |  3015023 |    69952 |    54699      1 |      769 |      660
316.45/316.58	c  315s |      14 |  3035442 |    70452 |    54699      1 |      769 |      660
319.05/319.14	c  318s |      14 |  3058203 |    70852 |    54699      1 |      769 |      660
321.25/321.34	c  320s |      14 |  3079010 |    71252 |    54699      1 |      769 |      660
323.45/323.52	c  322s |      14 |  3089931 |    71652 |    54699      1 |      770 |      661
325.74/325.85	c  325s |      14 |  3112946 |    72052 |    54699      1 |      770 |      661
328.14/328.23	c  327s |      14 |  3129760 |    72452 |    54699      1 |      771 |      662
330.14/330.23	c  329s |      14 |  3147703 |    72852 |    54699      1 |      771 |      662
332.54/332.66	c  331s |      14 |  3168747 |    73352 |    54699      1 |      771 |      662
335.04/335.16	c  334s |      14 |  3172154 |    73752 |    54699      1 |      771 |      662
337.34/337.49	c  336s |      14 |  3190454 |    74252 |    54699      1 |      771 |      662
339.54/339.68	c  338s |      14 |  3198339 |    74752 |    54699      1 |      771 |      662
341.64/341.79	c  341s |      14 |  3209115 |    75152 |    54699      1 |      771 |      662
344.04/344.10	c  343s |      14 |  3227804 |    75652 |    54699      1 |      771 |      662
346.45/346.53	c  345s |      14 |  3242784 |    76152 |    54699      1 |      771 |      662
348.54/348.60	c  347s |      14 |  3261249 |    76552 |    54699      1 |      771 |      662
351.14/351.26	c  350s |      14 |  3284809 |    76952 |    54699      1 |      771 |      662
354.24/354.37	c  353s |      14 |  3304432 |    77352 |    54699      1 |      772 |      663
356.64/356.72	c  355s |      14 |  3325083 |    77752 |    54699      1 |      772 |      663
359.24/359.31	c  358s |      14 |  3348381 |    78252 |    54699      1 |      772 |      663
361.24/361.38	c  360s |      14 |  3358602 |    78652 |    54699      1 |      772 |      663
363.34/363.46	c  362s |      14 |  3376664 |    79152 |    54699      1 |      772 |      663
365.34/365.48	c  364s |      14 |  3395808 |    79552 |    54699      1 |      772 |      663
367.94/368.05	c  367s |      14 |  3414314 |    80052 |    54699      1 |      772 |      663
370.03/370.12	c  369s |      14 |  3429309 |    80552 |    54699      1 |      772 |      663
372.03/372.17	c  371s |      14 |  3439564 |    81052 |    54699      1 |      772 |      663
374.23/374.35	c  373s |      14 |  3456541 |    81452 |    54699      1 |      772 |      663
376.53/376.61	c  375s |      14 |  3471327 |    81852 |    54699      1 |      772 |      663
378.63/378.72	c  377s |      14 |  3472956 |    82252 |    54699      1 |      772 |      663
381.03/381.17	c  380s |      14 |  3476941 |    82652 |    54699      1 |      772 |      663
383.63/383.70	c  382s |      14 |  3482073 |    83152 |    54699      1 |      772 |      663
386.43/386.50	c  385s |      14 |  3483377 |    83552 |    54699      1 |      772 |      663
389.03/389.13	c  388s |      14 |  3489684 |    83752 |    54699      2 |      772 |      663
391.33/391.44	c  390s |      14 |  3502764 |    84252 |    54699      2 |      772 |      663
393.33/393.48	c  392s |      14 |  3517335 |    84652 |    54699      2 |      772 |      663
395.83/395.96	c  395s |      14 |  3545133 |    85152 |    54699      2 |      772 |      663
398.03/398.11	c  397s |      14 |  3563364 |    85652 |    54699      2 |      772 |      663
400.43/400.58	c  399s |      14 |  3585353 |    86252 |    54699      2 |      772 |      663
402.53/402.66	c  401s |      14 |  3589177 |    86852 |    54699      2 |      772 |      663
404.73/404.83	c  404s |      14 |  3605686 |    87352 |    60169      2 |      772 |      663
406.02/406.15	c  405s |      15 |  3618825 |    87632 |    60169      2 |      772 |      663
408.33/408.49	c  407s |      15 |  3637081 |    88032 |    60169      2 |      772 |      663
410.53/410.69	c  409s |      15 |  3661431 |    88532 |    60169      2 |      772 |      663
413.03/413.11	c  412s |      15 |  3682250 |    89032 |    60169      2 |      772 |      663
415.33/415.47	c  414s |      15 |  3697907 |    89632 |    60169      2 |      772 |      663
417.94/418.08	c  417s |      15 |  3698840 |    89932 |    60169      2 |      772 |      663
420.33/420.46	c  419s |      15 |  3699758 |    90232 |    60169      2 |      772 |      663
422.53/422.63	c  421s |      15 |  3700446 |    90532 |    60169      2 |      772 |      663
425.43/425.54	c  424s |      15 |  3701819 |    90932 |    60169      2 |      772 |      663
429.03/429.13	c  428s |      15 |  3702573 |    91232 |    60169      2 |      772 |      663
432.92/433.05	c  432s |      15 |  3703012 |    91432 |    60169      2 |      772 |      663
435.22/435.31	c  434s |      15 |  3703248 |    91532 |    60169      2 |      772 |      663
438.13/438.22	c  437s |      15 |  3703978 |    91732 |    60169      2 |      772 |      663
440.33/440.48	c  439s |      15 |  3704379 |    91932 |    60169      2 |      772 |      663
442.73/442.87	c  442s |      15 |  3718790 |    92332 |    60169      2 |      772 |      663
444.93/445.09	c  444s |      15 |  3737987 |    92832 |    60169      2 |      772 |      663
447.23/447.35	c  446s |      15 |  3747163 |    93332 |    60169      2 |      772 |      663
449.62/449.72	c  448s |      15 |  3750750 |    93932 |    60169      2 |      772 |      663
452.13/452.26	c  451s |      15 |  3768514 |    94432 |    60169      2 |      772 |      663
454.42/454.58	c  453s |      15 |  3791487 |    95032 |    60169      2 |      772 |      663
456.62/456.71	c  455s |      15 |  3810943 |    95432 |    60169      2 |      772 |      663
459.02/459.13	c  458s |      15 |  3835769 |    95932 |    60169      2 |      772 |      663
461.12/461.24	c  460s |      15 |  3851983 |    96432 |    60169      2 |      772 |      663
463.52/463.60	c  462s |      15 |  3874916 |    97032 |    60169      2 |      772 |      663
465.62/465.70	c  464s |      15 |  3889343 |    97532 |    60169      2 |      772 |      663
467.92/468.06	c  467s |      15 |  3907257 |    98132 |    60169      2 |      772 |      663
470.02/470.12	c  469s |      15 |  3924871 |    98632 |    60169      2 |      772 |      663
472.12/472.27	c  471s |      15 |  3930104 |    99232 |    60169      2 |      772 |      663
474.51/474.60	c  473s |      15 |  3934960 |    99832 |    60169      2 |      772 |      663
476.61/476.79	c  476s |      15 |  3941185 |   100432 |    60169      2 |      772 |      663
478.81/478.91	c  478s |      15 |  3948611 |   101032 |    60169      2 |      772 |      663
480.91/481.08	c  480s |      15 |  3955822 |   101632 |    60169      2 |      772 |      663
482.92/483.09	c  482s |      15 |  3973403 |   102032 |    60169      2 |      772 |      663
485.21/485.39	c  484s |      15 |  3989026 |   102532 |    60169      2 |      772 |      663
487.71/487.80	c  487s |      15 |  4001431 |   103032 |    60169      2 |      772 |      663
490.01/490.17	c  489s |      15 |  4005499 |   103432 |    60169      2 |      772 |      663
492.11/492.22	c  491s |      15 |  4016666 |   103932 |    60169      2 |      772 |      663
494.21/494.32	c  493s |      15 |  4025491 |   104432 |    60169      2 |      772 |      663
496.81/496.90	c  496s |      15 |  4035724 |   105032 |    60169      2 |      772 |      663
499.01/499.19	c  498s |      15 |  4051848 |   105432 |    60169      2 |      772 |      663
501.21/501.38	c  500s |      15 |  4068990 |   105932 |    60169      2 |      772 |      663
503.31/503.47	c  502s |      15 |  4078171 |   106532 |    60169      2 |      772 |      663
505.71/505.82	c  505s |      15 |  4091928 |   107032 |    60169      2 |      772 |      663
507.81/507.91	c  507s |      15 |  4109363 |   107432 |    60169      2 |      772 |      663
510.11/510.26	c  509s |      15 |  4126479 |   107832 |    60169      2 |      772 |      663
512.21/512.34	c  511s |      15 |  4145667 |   108232 |    60169      2 |      772 |      663
514.62/514.76	c  513s |      15 |  4163776 |   108732 |    60169      2 |      772 |      663
516.72/516.86	c  516s |      15 |  4180164 |   109032 |    60169      2 |      772 |      663
519.02/519.15	c  518s |      15 |  4191405 |   109532 |    60169      2 |      772 |      663
521.52/521.63	c  520s |      15 |  4207778 |   109932 |    60169      2 |      772 |      663
523.62/523.76	c  522s |      15 |  4223563 |   110332 |    60169      2 |      772 |      663
525.82/525.99	c  525s |      15 |  4238257 |   110732 |    60169      2 |      772 |      663
528.02/528.19	c  527s |      15 |  4252144 |   111132 |    60169      2 |      772 |      663
530.12/530.23	c  529s |      15 |  4267986 |   111432 |    60169      2 |      772 |      663
532.51/532.62	c  531s |      15 |  4284167 |   111832 |    60169      2 |      772 |      663
534.91/535.01	c  534s |      15 |  4306146 |   112232 |    60169      2 |      772 |      663
536.91/537.09	c  536s |      15 |  4323862 |   112532 |    60169      2 |      772 |      663
539.41/539.51	c  538s |      15 |  4342545 |   112932 |    60169      2 |      772 |      663
541.81/541.98	c  541s |      15 |  4357961 |   113332 |    60169      2 |      772 |      663
544.21/544.33	c  543s |      15 |  4374476 |   113732 |    60169      2 |      772 |      663
546.62/546.74	c  545s |      15 |  4389137 |   114232 |    60169      2 |      772 |      663
548.71/548.84	c  548s |      15 |  4402952 |   114632 |    60169      2 |      772 |      663
551.12/551.22	c  550s |      15 |  4411682 |   115132 |    60169      2 |      772 |      663
553.22/553.31	c  552s |      15 |  4420667 |   115632 |    60169      2 |      772 |      663
555.31/555.49	c  554s |      15 |  4436450 |   116032 |    60169      2 |      772 |      663
557.41/557.53	c  556s |      15 |  4446979 |   116532 |    60169      2 |      772 |      663
559.51/559.66	c  558s |      15 |  4462594 |   116932 |    60169      2 |      772 |      663
561.81/561.93	c  561s |      15 |  4476266 |   117432 |    60169      2 |      772 |      663
563.91/564.01	c  563s |      15 |  4483577 |   117932 |    60169      2 |      772 |      663
566.21/566.37	c  565s |      15 |  4489050 |   118332 |    60169      2 |      772 |      663
568.50/568.70	c  567s |      15 |  4500173 |   118832 |    60169      2 |      772 |      663
571.10/571.27	c  570s |      15 |  4516081 |   119332 |    60169      2 |      772 |      663
573.30/573.47	c  572s |      15 |  4531497 |   119732 |    60169      2 |      772 |      663
575.90/576.05	c  575s |      15 |  4549845 |   120132 |    60169      2 |      772 |      663
578.20/578.30	c  577s |      15 |  4564445 |   120632 |    60169      2 |      772 |      663
582.10/582.27	c  581s |      15 |  4575154 |   121232 |    60169      3 |      772 |      663
584.20/584.30	c  583s |      15 |  4586186 |   121732 |    60169      3 |      772 |      663
586.21/586.39	c  585s |      15 |  4597230 |   122432 |    60169      3 |      772 |      663
588.70/588.80	c  588s |      15 |  4616534 |   123032 |    60169      3 |      772 |      663
590.90/591.09	c  590s |      15 |  4635147 |   123632 |    60169      3 |      772 |      663
593.20/593.38	c  592s |      15 |  4657182 |   124132 |    60169      3 |      772 |      663
595.60/595.71	c  594s |      15 |  4673954 |   124732 |    60169      3 |      772 |      663
597.70/597.88	c  597s |      15 |  4694924 |   125232 |    60169      3 |      772 |      663
600.00/600.14	c  599s |      15 |  4713567 |   125732 |    60169      3 |      772 |      663
602.10/602.25	c  601s |      15 |  4731748 |   126132 |    60169      3 |      772 |      663
604.20/604.34	c  603s |      15 |  4740835 |   126532 |    60169      3 |      772 |      663
606.59/606.77	c  606s |      15 |  4751803 |   127032 |    60169      3 |      772 |      663
608.89/609.01	c  608s |      15 |  4762322 |   127432 |    60169      3 |      772 |      663
610.99/611.18	c  610s |      15 |  4775839 |   127832 |    60169      3 |      772 |      663
613.09/613.27	c  612s |      15 |  4797662 |   128232 |    60169      3 |      772 |      663
615.79/615.90	c  615s |      15 |  4819095 |   128732 |    60169      3 |      772 |      663
618.21/618.38	c  617s |      15 |  4831355 |   129132 |    60169      3 |      772 |      663
620.41/620.59	c  619s |      15 |  4841366 |   129532 |    60169      3 |      772 |      663
622.80/622.92	c  622s |      15 |  4860635 |   129932 |    60169      3 |      772 |      663
625.00/625.16	c  624s |      15 |  4883312 |   130332 |    60169      3 |      772 |      663
627.30/627.43	c  626s |      15 |  4904638 |   130732 |    66186      3 |      772 |      663
629.50/629.63	c  628s |      15 |  4919512 |   131232 |    66186      3 |      772 |      663
631.00/631.19	c  630s |      16 |  4924429 |   131552 |    66186      3 |      772 |      663
633.20/633.36	c  632s |      16 |  4934489 |   131952 |    66186      3 |      772 |      663
635.60/635.72	c  634s |      16 |  4944715 |   132652 |    66186      3 |      772 |      663
637.80/637.95	c  637s |      16 |  4950147 |   133152 |    66186      3 |      772 |      663
640.30/640.41	c  639s |      16 |  4964812 |   133752 |    66186      3 |      772 |      663
642.40/642.54	c  641s |      16 |  4981545 |   134252 |    66186      3 |      772 |      663
644.60/644.78	c  644s |      16 |  4993373 |   134752 |    66186      3 |      772 |      663
646.80/646.95	c  646s |      16 |  5002137 |   135252 |    66186      3 |      772 |      663
648.90/649.02	c  648s |      16 |  5013448 |   135652 |    66186      3 |      772 |      663
651.10/651.29	c  650s |      16 |  5031670 |   136152 |    66186      3 |      772 |      663
653.40/653.57	c  652s |      16 |  5042744 |   136652 |    66186      3 |      772 |      663
655.60/655.72	c  654s |      16 |  5052638 |   137152 |    66186      3 |      772 |      663
657.59/657.77	c  656s |      16 |  5074104 |   137552 |    66186      3 |      772 |      663
659.90/660.02	c  659s |      16 |  5089650 |   137852 |    66186      3 |      773 |      664
662.10/662.26	c  661s |      16 |  5108384 |   138252 |    66186      3 |      773 |      664
664.19/664.31	c  663s |      16 |  5122537 |   138752 |    66186      3 |      773 |      664
666.39/666.59	c  665s |      16 |  5138460 |   139152 |    66186      3 |      773 |      664
669.09/669.21	c  668s |      16 |  5158947 |   139652 |    66186      3 |      773 |      664
671.09/671.27	c  670s |      16 |  5170652 |   140152 |    66186      3 |      773 |      664
673.20/673.38	c  672s |      16 |  5190423 |   140552 |    66186      3 |      773 |      664
675.79/675.94	c  675s |      16 |  5207312 |   140852 |    66186      3 |      774 |      665
678.39/678.57	c  677s |      16 |  5220905 |   141352 |    66186      3 |      774 |      665
680.89/681.02	c  680s |      16 |  5233984 |   141852 |    66186      3 |      774 |      665
683.19/683.31	c  682s |      16 |  5244572 |   142552 |    66186      3 |      774 |      665
685.29/685.45	c  684s |      16 |  5262381 |   142952 |    66186      3 |      774 |      665
687.29/687.49	c  686s |      16 |  5281130 |   143252 |    66186      3 |      774 |      665
690.09/690.20	c  689s |      16 |  5307445 |   143752 |    66186      3 |      774 |      665
692.18/692.30	c  691s |      16 |  5315147 |   144052 |    66186      3 |      775 |      666
694.98/695.18	c  694s |      16 |  5340458 |   144452 |    66186      3 |      775 |      666
697.29/697.46	c  696s |      16 |  5358174 |   144852 |    66186      3 |      775 |      666
699.38/699.51	c  698s |      16 |  5376755 |   145152 |    66186      3 |      775 |      666
701.79/701.99	c  701s |      16 |  5395908 |   145652 |    66186      3 |      775 |      666
704.28/704.41	c  703s |      16 |  5411695 |   145952 |    66186      3 |      776 |      667
706.28/706.45	c  705s |      16 |  5424661 |   146252 |    66186      3 |      776 |      667
708.58/708.79	c  708s |      16 |  5431636 |   146552 |    66186      3 |      776 |      667
710.98/711.16	c  710s |      16 |  5449752 |   146952 |    66186      3 |      776 |      667
713.28/713.40	c  712s |      16 |  5466818 |   147252 |    66186      3 |      776 |      667
715.48/715.68	c  714s |      16 |  5483647 |   147652 |    66186      3 |      776 |      667
718.07/718.22	c  717s |      16 |  5500734 |   148052 |    66186      3 |      776 |      667
720.27/720.45	c  719s |      16 |  5510029 |   148452 |    66186      3 |      776 |      667
722.77/722.97	c  722s |      16 |  5519233 |   148852 |    66186      3 |      776 |      667
725.07/725.25	c  724s |      16 |  5532710 |   149352 |    66186      3 |      776 |      667
727.57/727.74	c  726s |      16 |  5548474 |   149752 |    66186      3 |      776 |      667
729.77/729.93	c  729s |      16 |  5559791 |   150252 |    66186      3 |      776 |      667
731.97/732.15	c  731s |      16 |  5560473 |   150552 |    66186      3 |      776 |      667
734.07/734.24	c  733s |      16 |  5567906 |   150852 |    66186      3 |      776 |      667
736.37/736.53	c  735s |      16 |  5580799 |   151352 |    66186      3 |      776 |      667
738.66/738.87	c  738s |      16 |  5597016 |   151752 |    66186      3 |      776 |      667
741.06/741.21	c  740s |      16 |  5616872 |   152152 |    66186      3 |      776 |      667
743.36/743.51	c  742s |      16 |  5632424 |   152652 |    66186      3 |      776 |      667
745.46/745.67	c  744s |      16 |  5637589 |   153052 |    66186      3 |      776 |      667
747.66/747.88	c  747s |      16 |  5650877 |   153452 |    66186      3 |      776 |      667
750.07/750.23	c  749s |      16 |  5667614 |   153852 |    66186      3 |      776 |      667
752.16/752.35	c  751s |      16 |  5683194 |   154252 |    66186      3 |      776 |      667
754.76/754.91	c  754s |      16 |  5703227 |   154652 |    66186      3 |      776 |      667
756.77/756.92	c  756s |      16 |  5719170 |   154952 |    66186      3 |      776 |      667
759.16/759.36	c  758s |      16 |  5745365 |   155352 |    66186      3 |      776 |      667
761.26/761.44	c  760s |      16 |  5747597 |   155752 |    66186      3 |      776 |      667
764.87/765.01	c  764s |      16 |  5765325 |   156052 |    66186      4 |      776 |      667
767.17/767.34	c  766s |      16 |  5783306 |   156452 |    66186      4 |      777 |      668
769.37/769.52	c  768s |      16 |  5802411 |   156852 |    66186      4 |      777 |      668
771.77/771.92	c  771s |      16 |  5809956 |   157452 |    66186      4 |      777 |      668
773.97/774.10	c  773s |      16 |  5821381 |   157952 |    66186      4 |      777 |      668
775.97/776.18	c  775s |      16 |  5837569 |   158252 |    66186      4 |      778 |      669
778.06/778.24	c  777s |      16 |  5856895 |   158652 |    66186      4 |      778 |      669
780.06/780.26	c  779s |      16 |  5870310 |   159052 |    66186      4 |      778 |      669
782.56/782.73	c  781s |      16 |  5893377 |   159552 |    66186      4 |      778 |      669
784.96/785.15	c  784s |      16 |  5913944 |   160052 |    66186      4 |      778 |      669
787.36/787.50	c  786s |      16 |  5932970 |   160552 |    66186      4 |      778 |      669
789.67/789.85	c  789s |      16 |  5952765 |   160952 |    66186      4 |      778 |      669
791.76/791.97	c  791s |      16 |  5963254 |   161452 |    66186      4 |      778 |      669
794.07/794.28	c  793s |      16 |  5977559 |   161952 |    66186      4 |      778 |      669
796.46/796.65	c  795s |      16 |  5983383 |   162552 |    66186      4 |      778 |      669
798.76/798.97	c  798s |      16 |  5990836 |   163052 |    66186      4 |      778 |      669
801.46/801.61	c  800s |      16 |  6014981 |   163452 |    66186      4 |      778 |      669
803.86/804.04	c  803s |      16 |  6020484 |   163952 |    66186      4 |      778 |      669
806.36/806.50	c  805s |      16 |  6043847 |   164452 |    66186      4 |      778 |      669
808.55/808.78	c  808s |      16 |  6057274 |   164852 |    66186      4 |      778 |      669
810.56/810.80	c  810s |      16 |  6067988 |   165252 |    66186      4 |      778 |      669
812.65/812.90	c  812s |      16 |  6077222 |   165752 |    66186      4 |      778 |      669
814.96/815.14	c  814s |      16 |  6078011 |   166052 |    66186      4 |      778 |      669
816.95/817.19	c  816s |      16 |  6080927 |   166352 |    66186      4 |      778 |      669
819.45/819.62	c  818s |      16 |  6094868 |   166752 |    66186      4 |      778 |      669
821.55/821.76	c  820s |      16 |  6111679 |   167152 |    66186      4 |      778 |      669
823.75/824.00	c  823s |      16 |  6130082 |   167552 |    66186      4 |      778 |      669
826.14/826.37	c  825s |      16 |  6142318 |   168052 |    66186      4 |      778 |      669
828.34/828.53	c  827s |      16 |  6153944 |   168552 |    66186      4 |      778 |      669
830.45/830.61	c  829s |      16 |  6167765 |   168952 |    66186      4 |      778 |      669
832.95/833.11	c  832s |      16 |  6181847 |   169452 |    66186      4 |      778 |      669
834.95/835.19	c  834s |      16 |  6197139 |   169852 |    66186      4 |      778 |      669
837.25/837.48	c  836s |      16 |  6219209 |   170252 |    66186      4 |      778 |      669
839.34/839.57	c  838s |      16 |  6232599 |   170752 |    66186      4 |      778 |      669
841.54/841.79	c  841s |      16 |  6249986 |   171252 |    66186      4 |      778 |      669
843.94/844.13	c  843s |      16 |  6274547 |   171652 |    66186      4 |      778 |      669
846.14/846.38	c  845s |      16 |  6284397 |   172152 |    66186      4 |      778 |      669
848.64/848.85	c  848s |      16 |  6300026 |   172552 |    66186      4 |      778 |      669
851.24/851.44	c  850s |      16 |  6319688 |   173052 |    66186      4 |      778 |      669
853.34/853.52	c  852s |      16 |  6333430 |   173452 |    66186      4 |      778 |      669
855.64/855.88	c  855s |      16 |  6355708 |   173852 |    66186      4 |      778 |      669
858.03/858.22	c  857s |      16 |  6374690 |   174352 |    66186      4 |      778 |      669
860.23/860.49	c  859s |      16 |  6390747 |   174752 |    66186      4 |      778 |      669
862.93/863.16	c  862s |      16 |  6414626 |   175152 |    66186      4 |      778 |      669
865.23/865.42	c  864s |      16 |  6428506 |   175552 |    66186      4 |      778 |      669
867.43/867.62	c  866s |      16 |  6446571 |   175952 |    66186      4 |      778 |      669
869.63/869.84	c  869s |      16 |  6457813 |   176352 |    66186      4 |      778 |      669
872.03/872.27	c  871s |      16 |  6479514 |   176752 |    66186      4 |      778 |      669
874.73/874.99	c  874s |      16 |  6500394 |   177252 |    66186      4 |      778 |      669
876.93/877.16	c  876s |      16 |  6517636 |   177652 |    66186      4 |      778 |      669
879.33/879.50	c  878s |      16 |  6532054 |   178152 |    66186      4 |      778 |      669
881.93/882.20	c  881s |      16 |  6553556 |   178552 |    66186      4 |      778 |      669
884.13/884.33	c  883s |      16 |  6564086 |   179052 |    66186      4 |      778 |      669
886.32/886.52	c  885s |      16 |  6576425 |   179452 |    66186      4 |      778 |      669
888.42/888.70	c  887s |      16 |  6593832 |   179852 |    66186      4 |      778 |      669
890.62/890.81	c  890s |      16 |  6608943 |   180152 |    66186      4 |      778 |      669
892.62/892.83	c  892s |      16 |  6617912 |   180552 |    66186      4 |      778 |      669
894.92/895.11	c  894s |      16 |  6629217 |   181052 |    66186      4 |      778 |      669
897.22/897.42	c  896s |      16 |  6647481 |   181452 |    66186      4 |      778 |      669
899.82/900.00	c  899s |      16 |  6659884 |   181952 |    66186      4 |      778 |      669
902.22/902.46	c  901s |      16 |  6678541 |   182352 |    66186      4 |      778 |      669
904.52/904.79	c  904s |      16 |  6693213 |   182752 |    66186      4 |      778 |      669
906.62/906.88	c  906s |      16 |  6709678 |   183152 |    66186      4 |      778 |      669
908.72/908.98	c  908s |      16 |  6715173 |   183552 |    66186      4 |      778 |      669
911.22/911.47	c  910s |      16 |  6718728 |   184152 |    66186      4 |      778 |      669
913.72/913.93	c  913s |      16 |  6731042 |   184452 |    66186      4 |      779 |      670
915.72/915.95	c  915s |      16 |  6747240 |   184752 |    66186      4 |      779 |      670
918.01/918.27	c  917s |      16 |  6765583 |   185152 |    66186      4 |      779 |      670
920.62/920.88	c  920s |      16 |  6782347 |   185652 |    66186      4 |      779 |      670
922.82/923.10	c  922s |      16 |  6798871 |   185952 |    66186      4 |      779 |      670
925.21/925.44	c  924s |      16 |  6799804 |   186252 |    66186      4 |      779 |      670
927.42/927.67	c  926s |      16 |  6800934 |   186652 |    66186      4 |      779 |      670
930.02/930.29	c  929s |      16 |  6802255 |   186852 |    66186      4 |      779 |      670
932.12/932.31	c  931s |      16 |  6813187 |   187152 |    66186      4 |      779 |      670
934.62/934.81	c  934s |      16 |  6830546 |   187552 |    66186      4 |      779 |      670
936.82/937.04	c  936s |      16 |  6844761 |   187952 |    66186      4 |      779 |      670
938.91/939.11	c  938s |      16 |  6856500 |   188352 |    66186      4 |      779 |      670
941.01/941.29	c  940s |      16 |  6864101 |   188752 |    66186      4 |      779 |      670
943.62/943.88	c  943s |      16 |  6875867 |   189152 |    66186      4 |      779 |      670
945.71/945.97	c  945s |      16 |  6896405 |   189452 |    66186      4 |      779 |      670
947.71/947.99	c  947s |      16 |  6903392 |   189952 |    66186      4 |      779 |      670
950.31/950.56	c  949s |      16 |  6924441 |   190352 |    66186      4 |      779 |      670
953.41/953.60	c  952s |      16 |  6936049 |   190552 |    66186      5 |      779 |      670
955.41/955.61	c  954s |      16 |  6956662 |   190952 |    66186      5 |      779 |      670
957.41/957.67	c  956s |      16 |  6975546 |   191452 |    66186      5 |      779 |      670
959.60/959.88	c  959s |      16 |  6991909 |   191952 |    66186      5 |      779 |      670
961.80/962.03	c  961s |      16 |  7011384 |   192452 |    66186      5 |      779 |      670
964.00/964.26	c  963s |      16 |  7033882 |   192952 |    66186      5 |      779 |      670
966.20/966.42	c  965s |      16 |  7049304 |   193352 |    66186      5 |      779 |      670
968.60/968.87	c  968s |      16 |  7075882 |   193852 |    66186      5 |      779 |      670
970.70/970.91	c  970s |      16 |  7096372 |   194252 |    66186      5 |      779 |      670
972.99/973.23	c  972s |      16 |  7099275 |   194652 |    66186      5 |      779 |      670
975.19/975.48	c  974s |      16 |  7123423 |   195052 |    66186      5 |      779 |      670
977.59/977.83	c  977s |      16 |  7147335 |   195552 |    66186      5 |      779 |      670
979.59/979.84	c  979s |      16 |  7162353 |   195952 |    66186      5 |      779 |      670
981.89/982.12	c  981s |      16 |  7183882 |   196452 |    72805      5 |      779 |      670
984.49/984.74	c  983s |      16 |  7210756 |   196952 |    72805      5 |      779 |      670
986.59/986.85	c  986s |      17 |  7227824 |   197432 |    72805      5 |      779 |      670
988.79/989.09	c  988s |      17 |  7243640 |   197932 |    72805      5 |      779 |      670
990.99/991.28	c  990s |      17 |  7257584 |   198432 |    72805      5 |      779 |      670
993.28/993.53	c  992s |      17 |  7260975 |   198832 |    72805      5 |      779 |      670
995.28/995.59	c  994s |      17 |  7277734 |   199232 |    72805      5 |      779 |      670
997.38/997.68	c  996s |      17 |  7295159 |   199732 |    72805      5 |      779 |      670
999.68/999.96	c  999s |      17 |  7314348 |   200232 |    72805      5 |      779 |      670
1001.77/1002.02	c 1001s |      17 |  7327677 |   200832 |    72805      5 |      779 |      670
1003.97/1004.23	c 1003s |      17 |  7339092 |   201432 |    72805      5 |      779 |      670
1006.07/1006.30	c 1005s |      17 |  7347651 |   202032 |    72805      5 |      779 |      670
1008.27/1008.59	c 1007s |      17 |  7353038 |   202732 |    72805      5 |      779 |      670
1010.58/1010.88	c 1010s |      17 |  7358124 |   203332 |    72805      5 |      779 |      670
1012.58/1012.89	c 1012s |      17 |  7370602 |   203732 |    72805      5 |      779 |      670
1015.08/1015.36	c 1014s |      17 |  7389882 |   204232 |    72805      5 |      779 |      670
1017.28/1017.55	c 1016s |      17 |  7396657 |   204732 |    72805      5 |      779 |      670
1019.67/1019.92	c 1019s |      17 |  7409513 |   205232 |    72805      5 |      779 |      670
1021.97/1022.24	c 1021s |      17 |  7428545 |   205732 |    72805      5 |      779 |      670
1024.07/1024.33	c 1023s |      17 |  7446644 |   206132 |    72805      5 |      779 |      670
1026.08/1026.35	c 1025s |      17 |  7460959 |   206532 |    72805      5 |      779 |      670
1028.47/1028.71	c 1027s |      17 |  7482833 |   207032 |    72805      5 |      779 |      670
1030.77/1031.08	c 1030s |      17 |  7503622 |   207532 |    72805      5 |      779 |      670
1032.97/1033.23	c 1032s |      17 |  7521732 |   207932 |    72805      5 |      779 |      670
1035.16/1035.41	c 1034s |      17 |  7529111 |   208332 |    72805      5 |      779 |      670
1037.36/1037.64	c 1036s |      17 |  7540290 |   208832 |    72805      5 |      779 |      670
1039.46/1039.78	c 1039s |      17 |  7550282 |   209332 |    72805      5 |      779 |      670
1041.86/1042.12	c 1041s |      17 |  7559566 |   209932 |    72805      5 |      779 |      670
1043.86/1044.16	c 1043s |      17 |  7573699 |   210332 |    72805      5 |      779 |      670
1046.36/1046.68	c 1045s |      17 |  7590103 |   210732 |    72805      5 |      780 |      671
1049.05/1049.30	c 1048s |      17 |  7608439 |   211132 |    72805      5 |      781 |      672
1051.15/1051.45	c 1050s |      17 |  7625883 |   211732 |    72805      5 |      781 |      672
1053.25/1053.57	c 1052s |      17 |  7640254 |   212132 |    72805      5 |      781 |      672
1055.76/1056.03	c 1055s |      17 |  7663093 |   212632 |    72805      5 |      781 |      672
1057.95/1058.26	c 1057s |      17 |  7682474 |   213132 |    72805      5 |      781 |      672
1060.44/1060.78	c 1060s |      17 |  7701442 |   213632 |    72805      5 |      781 |      672
1062.64/1062.94	c 1062s |      17 |  7715625 |   214032 |    72805      5 |      781 |      672
1064.74/1065.07	c 1064s |      17 |  7733822 |   214432 |    72805      5 |      781 |      672
1067.14/1067.43	c 1066s |      17 |  7750970 |   214832 |    72805      5 |      781 |      672
1069.74/1070.04	c 1069s |      17 |  7770139 |   215332 |    72805      5 |      781 |      672
1072.14/1072.40	c 1071s |      17 |  7787010 |   215832 |    72805      5 |      781 |      672
1074.44/1074.73	c 1073s |      17 |  7804910 |   216232 |    72805      5 |      781 |      672
1076.64/1076.90	c 1076s |      17 |  7819073 |   216732 |    72805      5 |      781 |      672
1078.84/1079.19	c 1078s |      17 |  7823748 |   217232 |    72805      5 |      781 |      672
1080.83/1081.19	c 1080s |      17 |  7833123 |   217732 |    72805      5 |      781 |      672
1083.13/1083.43	c 1082s |      17 |  7845026 |   218232 |    72805      5 |      781 |      672
1085.33/1085.60	c 1084s |      17 |  7863538 |   218632 |    72805      5 |      781 |      672
1087.63/1087.91	c 1087s |      17 |  7878863 |   219132 |    72805      5 |      781 |      672
1090.02/1090.32	c 1089s |      17 |  7889773 |   219532 |    72805      5 |      781 |      672
1092.52/1092.81	c 1092s |      17 |  7903488 |   219932 |    72805      5 |      781 |      672
1095.43/1095.75	c 1094s |      17 |  7906874 |   220332 |    72805      5 |      781 |      672
1098.63/1098.93	c 1098s |      17 |  7908657 |   220732 |    72805      5 |      781 |      672
1100.83/1101.19	c 1100s |      17 |  7921526 |   221232 |    72805      5 |      781 |      672
1103.13/1103.49	c 1102s |      17 |  7928216 |   221732 |    72805      5 |      781 |      672
1105.62/1105.92	c 1105s |      17 |  7933584 |   222232 |    72805      5 |      781 |      672
1107.71/1108.08	c 1107s |      17 |  7934761 |   222432 |    72805      5 |      781 |      672
1110.01/1110.38	c 1109s |      17 |  7944544 |   222832 |    72805      5 |      781 |      672
1112.31/1112.61	c 1111s |      17 |  7955568 |   223332 |    72805      5 |      781 |      672
1114.71/1115.01	c 1114s |      17 |  7967446 |   223832 |    72805      5 |      781 |      672
1116.81/1117.15	c 1116s |      17 |  7981393 |   224332 |    72805      5 |      781 |      672
1119.00/1119.32	c 1118s |      17 |  7996641 |   224832 |    72805      5 |      781 |      672
1121.50/1121.88	c 1121s |      17 |  8015284 |   225432 |    72805      5 |      781 |      672
1123.70/1124.03	c 1123s |      17 |  8030927 |   225932 |    72805      5 |      781 |      672
1126.00/1126.36	c 1125s |      17 |  8046065 |   226532 |    72805      5 |      781 |      672
1128.20/1128.60	c 1127s |      17 |  8063684 |   226932 |    72805      5 |      781 |      672
1130.70/1131.07	c 1130s |      17 |  8075413 |   227432 |    72805      5 |      781 |      672
1132.80/1133.12	c 1132s |      17 |  8088708 |   227832 |    72805      5 |      781 |      672
1135.19/1135.54	c 1134s |      17 |  8106222 |   228332 |    72805      5 |      781 |      672
1137.49/1137.81	c 1137s |      17 |  8116929 |   228732 |    72805      5 |      781 |      672
1139.49/1139.84	c 1139s |      17 |  8124536 |   229132 |    72805      5 |      781 |      672
1141.89/1142.24	c 1141s |      17 |  8140977 |   229532 |    72805      5 |      781 |      672
1144.19/1144.53	c 1143s |      17 |  8156326 |   229932 |    72805      5 |      781 |      672
1146.69/1147.06	c 1146s |      17 |  8159459 |   230232 |    72805      5 |      781 |      672
1148.98/1149.35	c 1148s |      17 |  8160119 |   230432 |    72805      5 |      781 |      672
1151.08/1151.44	c 1150s |      17 |  8175900 |   230832 |    72805      5 |      781 |      672
1153.08/1153.49	c 1152s |      17 |  8188541 |   231232 |    72805      5 |      781 |      672
1155.18/1155.58	c 1154s |      17 |  8190230 |   231632 |    72805      5 |      781 |      672
1157.28/1157.68	c 1156s |      17 |  8191925 |   231932 |    72805      5 |      781 |      672
1159.38/1159.79	c 1159s |      17 |  8192769 |   232132 |    72805      5 |      781 |      672
1161.58/1161.99	c 1161s |      17 |  8193987 |   232432 |    72805      5 |      781 |      672
1164.38/1164.71	c 1163s |      17 |  8196281 |   232832 |    72805      5 |      781 |      672
1166.38/1166.72	c 1165s |      17 |  8197237 |   233132 |    72805      5 |      781 |      672
1168.68/1169.05	c 1168s |      17 |  8199277 |   233532 |    72805      5 |      781 |      672
1171.29/1171.68	c 1170s |      17 |  8200280 |   233832 |    72805      5 |      781 |      672
1173.57/1173.92	c 1173s |      17 |  8200803 |   234032 |    72805      5 |      781 |      672
1176.37/1176.75	c 1175s |      17 |  8201315 |   234232 |    72805      5 |      781 |      672
1178.76/1179.20	c 1178s |      17 |  8202264 |   234432 |    72805      5 |      781 |      672
1181.67/1182.07	c 1181s |      17 |  8202904 |   234632 |    72805      5 |      781 |      672
1184.87/1185.27	c 1184s |      17 |  8203491 |   234832 |    72805      5 |      781 |      672
1187.06/1187.46	c 1186s |      17 |  8203723 |   234932 |    72805      5 |      781 |      672
1189.26/1189.62	c 1188s |      17 |  8204020 |   235032 |    72805      5 |      781 |      672
1192.47/1192.87	c 1192s |      17 |  8204742 |   235232 |    72805      5 |      781 |      672
1195.76/1196.18	c 1195s |      17 |  8205274 |   235432 |    72805      5 |      781 |      672
1198.86/1199.27	c 1198s |      17 |  8206337 |   235732 |    72805      5 |      781 |      672
1202.06/1202.48	c 1201s |      17 |  8207022 |   235932 |    72805      5 |      781 |      672
1204.55/1204.94	c 1204s |      17 |  8214628 |   236332 |    72805      5 |      781 |      672
1206.75/1207.13	c 1206s |      17 |  8219744 |   236432 |    72805      6 |      781 |      672
1209.05/1209.43	c 1208s |      17 |  8230748 |   237032 |    72805      6 |      781 |      672
1211.25/1211.67	c 1210s |      17 |  8236824 |   237532 |    72805      6 |      781 |      672
1213.45/1213.87	c 1213s |      17 |  8252608 |   238132 |    72805      6 |      781 |      672
1215.55/1215.97	c 1215s |      17 |  8266263 |   238732 |    72805      6 |      781 |      672
1217.94/1218.31	c 1217s |      17 |  8274888 |   239232 |    72805      6 |      781 |      672
1220.04/1220.50	c 1219s |      17 |  8289779 |   239732 |    72805      6 |      781 |      672
1222.34/1222.72	c 1221s |      17 |  8296848 |   240232 |    72805      6 |      781 |      672
1224.54/1224.91	c 1224s |      17 |  8317494 |   240732 |    72805      6 |      781 |      672
1226.54/1226.94	c 1226s |      17 |  8335528 |   241132 |    72805      6 |      781 |      672
1229.03/1229.44	c 1228s |      17 |  8354858 |   241632 |    72805      6 |      781 |      672
1231.03/1231.46	c 1230s |      17 |  8371876 |   242032 |    72805      6 |      781 |      672
1233.33/1233.76	c 1232s |      17 |  8387060 |   242732 |    72805      6 |      781 |      672
1235.63/1236.05	c 1235s |      17 |  8408850 |   243232 |    72805      6 |      781 |      672
1238.13/1238.52	c 1237s |      17 |  8422536 |   243732 |    72805      6 |      781 |      672
1241.03/1241.44	c 1240s |      17 |  8423890 |   244132 |    72805      6 |      781 |      672
1243.44/1243.81	c 1243s |      17 |  8424850 |   244432 |    72805      6 |      781 |      672
1245.73/1246.17	c 1245s |      17 |  8438208 |   244832 |    72805      6 |      781 |      672
1248.14/1248.52	c 1247s |      17 |  8455031 |   245432 |    72805      6 |      781 |      672
1250.33/1250.71	c 1249s |      17 |  8468409 |   245732 |    72805      6 |      782 |      673
1252.43/1252.84	c 1252s |      17 |  8492058 |   246132 |    72805      6 |      782 |      673
1254.73/1255.11	c 1254s |      17 |  8514488 |   246732 |    72805      6 |      782 |      673
1256.93/1257.33	c 1256s |      17 |  8523313 |   247332 |    72805      6 |      782 |      673
1259.13/1259.56	c 1258s |      17 |  8535840 |   247932 |    72805      6 |      782 |      673
1261.22/1261.69	c 1260s |      17 |  8557209 |   248432 |    72805      6 |      782 |      673
1263.72/1264.10	c 1263s |      17 |  8581398 |   248932 |    72805      6 |      782 |      673
1265.92/1266.30	c 1265s |      17 |  8590367 |   249432 |    72805      6 |      782 |      673
1268.02/1268.49	c 1267s |      17 |  8600125 |   249732 |    72805      6 |      783 |      674
1270.12/1270.53	c 1269s |      17 |  8622524 |   250132 |    72805      6 |      783 |      674
1272.11/1272.58	c 1271s |      17 |  8640707 |   250632 |    72805      6 |      783 |      674
1274.31/1274.71	c 1273s |      17 |  8662507 |   251032 |    72805      6 |      783 |      674
1276.41/1276.88	c 1276s |      17 |  8679486 |   251432 |    72805      6 |      783 |      674
1278.70/1279.11	c 1278s |      17 |  8694838 |   251832 |    72805      6 |      783 |      674
1280.90/1281.31	c 1280s |      17 |  8715898 |   252332 |    72805      6 |      783 |      674
1283.20/1283.64	c 1282s |      17 |  8743056 |   252732 |    72805      6 |      783 |      674
1285.20/1285.64	c 1284s |      17 |  8757852 |   253132 |    72805      6 |      783 |      674
1287.50/1287.96	c 1287s |      17 |  8772581 |   253632 |    72805      6 |      783 |      674
1290.00/1290.42	c 1289s |      17 |  8787842 |   254332 |    72805      6 |      783 |      674
1292.30/1292.70	c 1291s |      17 |  8805487 |   254932 |    72805      6 |      783 |      674
1294.30/1294.80	c 1294s |      17 |  8820867 |   255432 |    72805      6 |      783 |      674
1296.60/1297.07	c 1296s |      17 |  8839339 |   255932 |    72805      6 |      783 |      674
1298.89/1299.38	c 1298s |      17 |  8863463 |   256432 |    72805      6 |      783 |      674
1301.19/1301.61	c 1300s |      17 |  8881730 |   256932 |    72805      6 |      783 |      674
1303.39/1303.82	c 1303s |      17 |  8896197 |   257432 |    72805      6 |      783 |      674
1305.79/1306.21	c 1305s |      17 |  8916875 |   257932 |    72805      6 |      783 |      674
1308.08/1308.57	c 1307s |      17 |  8940302 |   258432 |    72805      6 |      783 |      674
1310.48/1310.96	c 1310s |      17 |  8959246 |   258832 |    72805      6 |      783 |      674
1312.58/1313.02	c 1312s |      17 |  8975428 |   259232 |    72805      6 |      783 |      674
1314.78/1315.25	c 1314s |      17 |  8988945 |   259732 |    72805      6 |      783 |      674
1317.08/1317.55	c 1316s |      17 |  9004762 |   260232 |    72805      6 |      783 |      674
1319.08/1319.58	c 1318s |      17 |  9016974 |   260732 |    72805      6 |      783 |      674
1321.18/1321.62	c 1320s |      17 |  9032570 |   261232 |    72805      6 |      783 |      674
1323.38/1323.89	c 1323s |      17 |  9052535 |   261632 |    72805      6 |      783 |      674
1325.68/1326.14	c 1325s |      17 |  9062124 |   262232 |    72805      6 |      783 |      674
1327.97/1328.48	c 1327s |      17 |  9077252 |   262832 |    72805      6 |      783 |      674
1330.47/1330.93	c 1330s |      17 |  9100424 |   263332 |    72805      6 |      783 |      674
1332.57/1333.08	c 1332s |      17 |  9111942 |   263732 |    72805      6 |      783 |      674
1335.17/1335.67	c 1334s |      17 |  9126323 |   264232 |    72805      6 |      783 |      674
1337.47/1337.90	c 1337s |      17 |  9134578 |   264632 |    72805      6 |      783 |      674
1339.66/1340.11	c 1339s |      17 |  9154894 |   265032 |    72805      6 |      783 |      674
1342.16/1342.60	c 1341s |      17 |  9168391 |   265532 |    72805      6 |      783 |      674
1344.26/1344.70	c 1343s |      17 |  9186317 |   265932 |    72805      6 |      783 |      674
1346.26/1346.75	c 1345s |      17 |  9202287 |   266332 |    72805      6 |      783 |      674
1348.56/1349.07	c 1348s |      17 |  9215860 |   266832 |    72805      6 |      783 |      674
1350.66/1351.10	c 1350s |      17 |  9228170 |   267332 |    72805      6 |      783 |      674
1352.97/1353.44	c 1352s |      17 |  9237328 |   267832 |    72805      6 |      783 |      674
1355.17/1355.65	c 1354s |      17 |  9254190 |   268332 |    72805      6 |      783 |      674
1357.46/1357.90	c 1357s |      17 |  9274119 |   268732 |    72805      6 |      783 |      674
1359.86/1360.30	c 1359s |      17 |  9288083 |   269232 |    72805      6 |      783 |      674
1362.16/1362.61	c 1361s |      17 |  9306557 |   269732 |    72805      6 |      783 |      674
1364.26/1364.74	c 1363s |      17 |  9323049 |   270132 |    72805      6 |      783 |      674
1366.66/1367.11	c 1366s |      17 |  9338984 |   270632 |    72805      6 |      783 |      674
1368.95/1369.48	c 1368s |      17 |  9352472 |   271132 |    72805      6 |      783 |      674
1372.05/1372.56	c 1371s |      17 |  9363540 |   271332 |    72805      7 |      783 |      674
1374.15/1374.67	c 1373s |      17 |  9385348 |   271732 |    72805      7 |      783 |      674
1376.55/1377.04	c 1376s |      17 |  9407593 |   272232 |    72805      7 |      783 |      674
1378.65/1379.19	c 1378s |      17 |  9430981 |   272732 |    72805      7 |      783 |      674
1380.85/1381.35	c 1380s |      17 |  9450659 |   273232 |    72805      7 |      783 |      674
1382.95/1383.42	c 1382s |      17 |  9471114 |   273832 |    72805      7 |      783 |      674
1384.95/1385.49	c 1384s |      17 |  9496636 |   274332 |    72805      7 |      783 |      674
1387.25/1387.75	c 1386s |      17 |  9512909 |   274932 |    72805      7 |      783 |      674
1389.25/1389.80	c 1389s |      17 |  9529294 |   275532 |    72805      7 |      783 |      674
1391.65/1392.17	c 1391s |      17 |  9552680 |   276132 |    72805      7 |      783 |      674
1393.95/1394.49	c 1393s |      17 |  9569704 |   276732 |    72805      7 |      783 |      674
1396.05/1396.53	c 1395s |      17 |  9588843 |   277132 |    72805      7 |      783 |      674
1398.15/1398.63	c 1397s |      17 |  9606907 |   277632 |    72805      7 |      783 |      674
1400.25/1400.78	c 1400s |      17 |  9626516 |   278132 |    72805      7 |      783 |      674
1402.45/1402.93	c 1402s |      17 |  9648752 |   278632 |    72805      7 |      783 |      674
1404.55/1405.09	c 1404s |      17 |  9661413 |   279232 |    72805      7 |      783 |      674
1406.55/1407.09	c 1406s |      17 |  9674960 |   279732 |    72805      7 |      783 |      674
1408.75/1409.23	c 1408s |      17 |  9697965 |   280232 |    72805      7 |      783 |      674
1411.15/1411.68	c 1410s |      17 |  9718713 |   280732 |    72805      7 |      783 |      674
1413.45/1413.96	c 1413s |      17 |  9739630 |   281232 |    72805      7 |      783 |      674
1415.84/1416.32	c 1415s |      17 |  9757034 |   281732 |    72805      7 |      783 |      674
1418.04/1418.56	c 1417s |      17 |  9773379 |   282132 |    72805      7 |      783 |      674
1420.24/1420.70	c 1419s |      17 |  9790007 |   282532 |    72805      7 |      783 |      674
1422.34/1422.82	c 1422s |      17 |  9802223 |   283032 |    72805      7 |      783 |      674
1424.54/1425.00	c 1424s |      17 |  9810105 |   283532 |    72805      7 |      783 |      674
1426.64/1427.11	c 1426s |      17 |  9821651 |   284032 |    72805      7 |      783 |      674
1428.74/1429.21	c 1428s |      17 |  9835666 |   284632 |    72805      7 |      783 |      674
1430.75/1431.21	c 1430s |      17 |  9839107 |   285132 |    72805      7 |      783 |      674
1432.85/1433.37	c 1432s |      17 |  9845969 |   285532 |    72805      7 |      783 |      674
1434.94/1435.44	c 1434s |      17 |  9850165 |   285932 |    72805      7 |      783 |      674
1437.54/1438.01	c 1437s |      17 |  9866971 |   286532 |    72805      7 |      783 |      674
1439.84/1440.37	c 1439s |      17 |  9889207 |   286932 |    72805      7 |      783 |      674
1442.34/1442.86	c 1442s |      17 |  9914669 |   287432 |    72805      7 |      783 |      674
1444.34/1444.86	c 1444s |      17 |  9930432 |   287832 |    72805      7 |      783 |      674
1446.74/1447.28	c 1446s |      17 |  9953136 |   288332 |    72805      7 |      783 |      674
1448.74/1449.28	c 1448s |      17 |  9964580 |   288732 |    72805      7 |      783 |      674
1450.84/1451.37	c 1450s |      17 |  9971355 |   289232 |    72805      7 |      783 |      674
1453.34/1453.83	c 1453s |      17 |  9978726 |   289732 |    72805      7 |      783 |      674
1455.43/1455.98	c 1455s |      17 |  9995198 |   290132 |    72805      7 |      783 |      674
1457.93/1458.50	c 1457s |      17 |  9999106 |   290632 |    72805      7 |      783 |      674
1460.23/1460.78	c 1460s |      17 | 10015788 |   291132 |    72805      7 |      783 |      674
1462.64/1463.16	c 1462s |      17 | 10028829 |   291632 |    72805      7 |      783 |      674
1465.23/1465.70	c 1464s |      17 | 10030752 |   292032 |    72805      7 |      783 |      674
1467.54/1468.06	c 1467s |      17 | 10033175 |   292332 |    72805      7 |      783 |      674
1469.64/1470.19	c 1469s |      17 | 10044618 |   292832 |    72805      7 |      783 |      674
1471.84/1472.30	c 1471s |      17 | 10061425 |   293332 |    72805      7 |      783 |      674
1473.94/1474.46	c 1473s |      17 | 10071043 |   293932 |    72805      7 |      783 |      674
1476.94/1477.44	c 1476s |      17 | 10074590 |   294332 |    80086      7 |      783 |      674
1479.64/1480.18	c 1479s |      17 | 10075429 |   294632 |    80086      7 |      783 |      674
1481.73/1482.26	c 1481s |      17 | 10076952 |   294932 |    80086      7 |      783 |      674
1483.93/1484.47	c 1483s |      17 | 10081198 |   295332 |    80086      7 |      783 |      674
1486.03/1486.57	c 1485s |      17 | 10095292 |   295932 |    80086      7 |      783 |      674
1487.13/1487.61	c 1486s |      18 | 10103265 |   296252 |    80086      7 |      783 |      674
1489.23/1489.71	c 1488s |      18 | 10114972 |   296552 |    80086      7 |      783 |      674
1491.63/1492.14	c 1491s |      18 | 10136486 |   297252 |    80086      7 |      783 |      674
1494.13/1494.61	c 1493s |      18 | 10152875 |   297852 |    80086      7 |      783 |      674
1496.43/1496.98	c 1496s |      18 | 10168889 |   298452 |    80086      7 |      783 |      674
1498.63/1499.14	c 1498s |      18 | 10182858 |   299052 |    80086      7 |      783 |      674
1500.93/1501.41	c 1500s |      18 | 10196905 |   299652 |    80086      7 |      783 |      674
1503.03/1503.51	c 1502s |      18 | 10204951 |   300252 |    80086      7 |      783 |      674
1505.13/1505.67	c 1504s |      18 | 10224855 |   300652 |    80086      7 |      783 |      674
1507.53/1508.05	c 1507s |      18 | 10246723 |   301152 |    80086      7 |      783 |      674
1509.73/1510.26	c 1509s |      18 | 10261161 |   301652 |    80086      7 |      783 |      674
1511.83/1512.30	c 1511s |      18 | 10275031 |   302052 |    80086      7 |      783 |      674
1513.93/1514.43	c 1513s |      18 | 10287346 |   302452 |    80086      7 |      783 |      674
1516.13/1516.67	c 1515s |      18 | 10300079 |   302952 |    80086      7 |      783 |      674
1518.23/1518.74	c 1517s |      18 | 10309055 |   303352 |    80086      7 |      783 |      674
1520.43/1520.93	c 1520s |      18 | 10319114 |   303952 |    80086      7 |      783 |      674
1522.73/1523.23	c 1522s |      18 | 10333434 |   304452 |    80086      7 |      783 |      674
1525.13/1525.64	c 1524s |      18 | 10351286 |   304952 |    80086      7 |      783 |      674
1527.23/1527.76	c 1526s |      18 | 10367674 |   305352 |    80086      7 |      783 |      674
1529.43/1529.93	c 1529s |      18 | 10383096 |   305752 |    80086      7 |      783 |      674
1531.43/1531.97	c 1531s |      18 | 10388232 |   306152 |    80086      7 |      783 |      674
1533.62/1534.14	c 1533s |      18 | 10403018 |   306552 |    80086      7 |      783 |      674
1535.72/1536.29	c 1535s |      18 | 10419441 |   306952 |    80086      7 |      783 |      674
1537.82/1538.34	c 1537s |      18 | 10435468 |   307352 |    80086      7 |      783 |      674
1540.32/1540.86	c 1540s |      18 | 10450404 |   307752 |    80086      7 |      783 |      674
1542.72/1543.23	c 1542s |      18 | 10463747 |   308252 |    80086      7 |      783 |      674
1544.72/1545.25	c 1544s |      18 | 10481810 |   308652 |    80086      7 |      783 |      674
1547.02/1547.54	c 1546s |      18 | 10495421 |   309152 |    80086      7 |      783 |      674
1549.43/1549.95	c 1549s |      18 | 10517822 |   309652 |    80086      7 |      783 |      674
1551.63/1552.16	c 1551s |      18 | 10533210 |   310152 |    80086      7 |      783 |      674
1553.93/1554.46	c 1553s |      18 | 10544852 |   310552 |    80086      7 |      783 |      674
1556.22/1556.79	c 1556s |      18 | 10559334 |   310952 |    80086      7 |      783 |      674
1558.62/1559.16	c 1558s |      18 | 10574986 |   311352 |    80086      7 |      783 |      674
1560.92/1561.41	c 1560s |      18 | 10589575 |   311852 |    80086      7 |      783 |      674
1562.92/1563.48	c 1562s |      18 | 10600207 |   312552 |    80086      7 |      783 |      674
1565.22/1565.72	c 1564s |      18 | 10620495 |   313052 |    80086      7 |      783 |      674
1567.32/1567.89	c 1567s |      18 | 10633620 |   313552 |    80086      7 |      783 |      674
1569.42/1569.96	c 1569s |      18 | 10651919 |   313952 |    80086      7 |      783 |      674
1571.92/1572.49	c 1571s |      18 | 10669865 |   314452 |    80086      7 |      783 |      674
1574.32/1574.88	c 1574s |      18 | 10686539 |   314852 |    80086      7 |      783 |      674
1576.72/1577.23	c 1576s |      18 | 10702297 |   315252 |    80086      7 |      783 |      674
1579.02/1579.57	c 1578s |      18 | 10716938 |   315752 |    80086      7 |      783 |      674
1581.32/1581.87	c 1581s |      18 | 10737790 |   316152 |    80086      7 |      783 |      674
1583.52/1584.03	c 1583s |      18 | 10750545 |   316552 |    80086      7 |      783 |      674
1585.82/1586.32	c 1585s |      18 | 10768629 |   316952 |    80086      7 |      783 |      674
1589.91/1590.40	c 1589s |      18 | 10775417 |   317252 |    80086      8 |      783 |      674
1592.21/1592.71	c 1591s |      18 | 10789405 |   317752 |    80086      8 |      783 |      674
1594.21/1594.72	c 1593s |      18 | 10805102 |   318352 |    80086      8 |      783 |      674
1596.51/1597.05	c 1596s |      18 | 10828579 |   319052 |    80086      8 |      783 |      674
1598.61/1599.11	c 1598s |      18 | 10845940 |   319652 |    80086      8 |      783 |      674
1600.71/1601.22	c 1600s |      18 | 10864138 |   320152 |    80086      8 |      783 |      674
1602.71/1603.28	c 1602s |      18 | 10876219 |   320652 |    80086      8 |      784 |      675
1605.11/1605.67	c 1604s |      18 | 10902040 |   321152 |    80086      8 |      784 |      675
1607.21/1607.72	c 1606s |      18 | 10921055 |   321652 |    80086      8 |      784 |      675
1609.51/1610.07	c 1609s |      18 | 10949871 |   322152 |    80086      8 |      784 |      675
1611.61/1612.13	c 1611s |      18 | 10962296 |   322652 |    80086      8 |      784 |      675
1613.82/1614.34	c 1613s |      18 | 10963418 |   323152 |    80086      8 |      784 |      675
1616.22/1616.71	c 1615s |      18 | 10968768 |   323552 |    80086      8 |      784 |      675
1618.61/1619.12	c 1618s |      18 | 10969489 |   323852 |    80086      8 |      784 |      675
1620.71/1621.20	c 1620s |      18 | 10989878 |   324352 |    80086      8 |      784 |      675
1622.91/1623.48	c 1622s |      18 | 11008796 |   324952 |    80086      8 |      784 |      675
1625.21/1625.78	c 1625s |      18 | 11034474 |   325452 |    80086      8 |      784 |      675
1627.41/1628.00	c 1627s |      18 | 11055303 |   325952 |    80086      8 |      784 |      675
1630.01/1630.51	c 1629s |      18 | 11078985 |   326452 |    80086      8 |      784 |      675
1632.21/1632.75	c 1631s |      18 | 11092826 |   327052 |    80086      8 |      784 |      675
1634.22/1634.77	c 1633s |      18 | 11113702 |   327552 |    80086      8 |      784 |      675
1636.21/1636.79	c 1636s |      18 | 11130177 |   328052 |    80086      8 |      784 |      675
1638.52/1639.06	c 1638s |      18 | 11147854 |   328552 |    80086      8 |      784 |      675
1640.82/1641.39	c 1640s |      18 | 11160971 |   329152 |    80086      8 |      784 |      675
1643.11/1643.67	c 1642s |      18 | 11170995 |   329652 |    80086      8 |      784 |      675
1645.41/1646.00	c 1645s |      18 | 11181115 |   330152 |    80086      8 |      784 |      675
1647.61/1648.15	c 1647s |      18 | 11198355 |   330552 |    80086      8 |      784 |      675
1649.91/1650.43	c 1649s |      18 | 11210492 |   331152 |    80086      8 |      784 |      675
1652.01/1652.55	c 1651s |      18 | 11227611 |   331652 |    80086      8 |      784 |      675
1654.11/1654.60	c 1653s |      18 | 11236319 |   332152 |    80086      8 |      784 |      675
1656.31/1656.85	c 1656s |      18 | 11250940 |   332752 |    80086      8 |      784 |      675
1658.41/1658.95	c 1658s |      18 | 11265802 |   333252 |    80086      8 |      784 |      675
1660.91/1661.48	c 1660s |      18 | 11293106 |   333752 |    80086      8 |      784 |      675
1663.51/1664.01	c 1663s |      18 | 11310627 |   334352 |    80086      8 |      784 |      675
1665.61/1666.12	c 1665s |      18 | 11327026 |   334852 |    80086      8 |      784 |      675
1667.71/1668.21	c 1667s |      18 | 11339685 |   335352 |    80086      8 |      784 |      675
1669.71/1670.23	c 1669s |      18 | 11357054 |   335752 |    80086      8 |      784 |      675
1672.00/1672.56	c 1671s |      18 | 11368562 |   336352 |    80086      8 |      784 |      675
1674.50/1675.07	c 1674s |      18 | 11375273 |   336752 |    80086      8 |      785 |      676
1677.01/1677.54	c 1676s |      18 | 11398615 |   337252 |    80086      8 |      785 |      676
1679.31/1679.88	c 1679s |      18 | 11412234 |   337752 |    80086      8 |      785 |      676
1681.41/1681.94	c 1681s |      18 | 11431448 |   338152 |    80086      8 |      785 |      676
1683.50/1684.08	c 1683s |      18 | 11445665 |   338652 |    80086      8 |      785 |      676
1685.60/1686.16	c 1685s |      18 | 11464071 |   339052 |    80086      8 |      785 |      676
1687.70/1688.24	c 1687s |      18 | 11480879 |   339552 |    80086      8 |      785 |      676
1690.00/1690.55	c 1689s |      18 | 11503661 |   340052 |    80086      8 |      785 |      676
1692.41/1692.97	c 1692s |      18 | 11522974 |   340452 |    80086      8 |      785 |      676
1694.61/1695.19	c 1694s |      18 | 11538004 |   340952 |    80086      8 |      785 |      676
1697.30/1697.84	c 1697s |      18 | 11560439 |   341452 |    80086      8 |      785 |      676
1699.50/1700.08	c 1699s |      18 | 11578347 |   341952 |    80086      8 |      785 |      676
1701.90/1702.48	c 1701s |      18 | 11601294 |   342452 |    80086      8 |      785 |      676
1704.20/1704.70	c 1703s |      18 | 11618532 |   342952 |    80086      8 |      785 |      676
1706.60/1707.10	c 1706s |      18 | 11639913 |   343452 |    80086      8 |      785 |      676
1709.00/1709.54	c 1708s |      18 | 11647067 |   344052 |    80086      8 |      785 |      676
1711.59/1712.18	c 1711s |      18 | 11657506 |   344452 |    80086      8 |      785 |      676
1713.79/1714.34	c 1713s |      18 | 11679867 |   344852 |    80086      8 |      785 |      676
1715.99/1716.51	c 1715s |      18 | 11695414 |   345352 |    80086      8 |      785 |      676
1718.39/1718.90	c 1718s |      18 | 11711467 |   345952 |    80086      8 |      785 |      676
1720.49/1721.02	c 1720s |      18 | 11725454 |   346452 |    80086      8 |      785 |      676
1722.59/1723.10	c 1722s |      18 | 11738288 |   346952 |    80086      8 |      785 |      676
1724.69/1725.28	c 1724s |      18 | 11751876 |   347452 |    80086      8 |      785 |      676
1727.09/1727.68	c 1726s |      18 | 11764319 |   348052 |    80086      8 |      785 |      676
1729.50/1730.04	c 1729s |      18 | 11774883 |   348652 |    80086      8 |      785 |      676
1731.60/1732.19	c 1731s |      18 | 11777470 |   349052 |    80086      8 |      785 |      676
1733.80/1734.31	c 1733s |      18 | 11786034 |   349652 |    80086      8 |      785 |      676
1735.90/1736.48	c 1735s |      18 | 11794450 |   350152 |    80086      8 |      785 |      676
1738.00/1738.53	c 1737s |      18 | 11802945 |   350652 |    80086      8 |      785 |      676
1740.19/1740.78	c 1740s |      18 | 11815490 |   351152 |    80086      8 |      785 |      676
1742.39/1742.91	c 1742s |      18 | 11832053 |   351652 |    80086      8 |      785 |      676
1744.49/1745.01	c 1744s |      18 | 11843315 |   352052 |    80086      8 |      785 |      676
1746.49/1747.06	c 1746s |      18 | 11861124 |   352352 |    80086      8 |      785 |      676
1748.79/1749.39	c 1748s |      18 | 11875770 |   352852 |    80086      8 |      785 |      676
1751.29/1751.83	c 1751s |      18 | 11899632 |   353252 |    80086      8 |      785 |      676
1753.59/1754.15	c 1753s |      18 | 11916472 |   353652 |    80086      8 |      785 |      676
1755.69/1756.20	c 1755s |      18 | 11934803 |   354052 |    80086      8 |      785 |      676
1757.79/1758.31	c 1757s |      18 | 11948548 |   354452 |    80086      8 |      785 |      676
1760.09/1760.63	c 1759s |      18 | 11965418 |   354952 |    80086      8 |      785 |      676
1762.49/1763.07	c 1762s |      18 | 11983904 |   355452 |    80086      8 |      785 |      676
1765.00/1765.51	c 1764s |      18 | 11989238 |   355952 |    80086      8 |      785 |      676
1766.99/1767.52	c 1766s |      18 | 11989991 |   356252 |    80086      8 |      785 |      676
1768.99/1769.57	c 1768s |      18 | 11995856 |   356652 |    80086      8 |      785 |      676
1771.28/1771.87	c 1771s |      18 | 12004929 |   357152 |    80086      8 |      785 |      676
1773.28/1773.88	c 1773s |      18 | 12020095 |   357552 |    80086      8 |      785 |      676
1775.39/1775.96	c 1775s |      18 | 12033923 |   358052 |    80086      8 |      785 |      676
1777.49/1778.01	c 1777s |      18 | 12047861 |   358352 |    80086      8 |      785 |      676
1779.99/1780.56	c 1779s |      18 | 12066394 |   358852 |    80086      8 |      785 |      676
1782.09/1782.62	c 1781s |      18 | 12086362 |   359252 |    80086      8 |      785 |      676
1786.09/1786.69	c 1785s |      18 | 12100490 |   359652 |    80086      9 |      785 |      676
1788.20/1788.76	c 1787s |      18 | 12116139 |   360352 |    80086      9 |      785 |      676
1790.59/1791.13	c 1790s |      18 | 12128214 |   361052 |    80086      9 |      785 |      676
1792.99/1793.52	c 1792s |      18 | 12151460 |   361652 |    80086      9 |      785 |      676
1795.29/1795.82	c 1795s |      18 | 12173070 |   362252 |    80086      9 |      785 |      676
1797.39/1797.94	c 1797s |      18 | 12180150 |   362752 |    80086      9 |      785 |      676
1799.69/1800.27	c 1799s |      18 | 12186834 |   363452 |    80086      9 |      785 |      676

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.25 2.22 3/180 13442
/proc/meminfo: memFree=29202384/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 2810 0 0 0 0 0 0 0 20 0 4 0 110516257 770109440 2659 33554432000 4194304 16246674 140735883084032 140735883083456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 188527 2670 441 2943 0 185421 0
[pid=13442/tid=13443] ppid=13439 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 787935232 2729 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 792129536 2747 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110516257 796323840 2763 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100209 s]
/proc/loadavg: 2.25 2.25 2.22 3/180 13442
/proc/meminfo: memFree=29202384/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 29344 0 0 0 5 4 0 0 20 0 4 0 110516257 1333334016 29132 33554432000 4194304 16246674 140735883084032 140735883083344 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 325521 29146 801 2943 0 322415 0
[pid=13442/tid=13443] ppid=13439 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1333334016 29157 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1333334016 29168 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1333334016 29179 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200507 s]
/proc/loadavg: 2.25 2.25 2.22 3/180 13442
/proc/meminfo: memFree=29202384/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 47442 0 0 0 13 6 0 0 20 0 4 0 110516257 1345916928 47740 33554432000 4194304 16246674 140735883084032 140735883065920 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 328593 47740 801 2943 0 325487 0
[pid=13442/tid=13443] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 47740 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 47740 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 47740 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300498 s]
/proc/loadavg: 2.25 2.25 2.22 3/180 13442
/proc/meminfo: memFree=29202384/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 54145 0 0 0 22 7 0 0 20 0 4 0 110516257 1345916928 54443 33554432000 4194304 16246674 140735883084032 140735883065920 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 328593 54443 806 2943 0 325487 0
[pid=13442/tid=13443] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 54443 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 54443 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 54443 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700396 s]
/proc/loadavg: 2.25 2.25 2.22 3/180 13442
/proc/meminfo: memFree=29202384/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 111833 0 0 0 53 16 0 0 20 0 4 0 110516257 1345916928 112132 33554432000 4194304 16246674 140735883084032 140735883083344 5898045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 328593 112143 834 2943 0 325487 0
[pid=13442/tid=13443] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 112148 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 112157 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 112167 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.25 2.25 2.22 3/184 13446
/proc/meminfo: memFree=28499960/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 219783 0 0 0 120 29 0 0 20 0 4 0 110516257 1345916928 220081 33554432000 4194304 16246674 140735883084032 140735883065920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 328593 220087 876 2943 0 325487 0
[pid=13442/tid=13443] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 220091 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 220096 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1345916928 220100 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.25 2.25 2.22 3/184 13446
/proc/meminfo: memFree=28119396/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=3.09 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270802 0 0 0 272 37 0 0 20 0 4 0 110516257 1352208384 271100 33554432000 4194304 16246674 140735883084032 140735883065920 13898688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271100 883 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271100 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271100 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271100 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1320516

[startup+6.3004 s]
/proc/loadavg: 2.23 2.25 2.22 3/184 13446
/proc/meminfo: memFree=28118800/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=6.29 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270803 0 0 0 592 37 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 140735883065920 5829380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271101 883 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7004 s]
/proc/loadavg: 2.21 2.24 2.22 3/184 13446
/proc/meminfo: memFree=28118564/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270803 0 0 0 1232 37 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 140735883067032 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271101 883 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.24 2.25 2.22 3/184 13446
/proc/meminfo: memFree=28119200/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=25.49 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270803 0 0 0 2512 37 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 140735883065920 5663383 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271101 883 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271101 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.15 2.22 2.21 3/183 13446
/proc/meminfo: memFree=28117436/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=51.08 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270805 0 0 0 5071 37 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 140735883065920 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271103 885 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.11 2.20 2.21 3/183 13447
/proc/meminfo: memFree=28117264/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 270805 0 0 0 10191 37 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 140735883065920 5723560 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271103 885 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271103 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 13500
/proc/meminfo: memFree=28113736/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1301.89 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271148 0 0 0 130135 54 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 13502
/proc/meminfo: memFree=28113824/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1361.86 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271190 0 0 0 136131 55 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883083128 5677648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 13503
/proc/meminfo: memFree=28114008/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1421.85 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 142130 55 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 6021684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 13553
/proc/meminfo: memFree=28120692/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1481.83 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 148127 56 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 5523475 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 13554
/proc/meminfo: memFree=28119584/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1541.83 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 154127 56 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 12483636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 13555
/proc/meminfo: memFree=28119508/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1601.81 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 160125 56 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883083208 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 13557
/proc/meminfo: memFree=28118648/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1661.81 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 166124 57 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 13558
/proc/meminfo: memFree=28118544/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1721.79 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 172122 57 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883083128 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/184 13562
/proc/meminfo: memFree=28117620/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1781.79 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 178120 59 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 13562
/proc/meminfo: memFree=28118136/32872528 swapFree=15272/1656604
[pid=13442] ppid=13439 vsize=1320516 CPUtime=1800.09 cores=0,2,4,6
/proc/13442/stat : 13442 (toysat) R 13439 13442 9894 0 -1 4202496 271195 0 0 0 179950 59 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 140735883065920 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13442/statm: 330129 271360 886 2943 0 327023 0
[pid=13442/tid=13443] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13443/stat : 13443 (toysat) S 13439 13442 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823170956528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13442/tid=13444] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13444/stat : 13444 (toysat) S 13439 13442 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823160466672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13442/tid=13445] ppid=13439 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13442/task/13445/stat : 13445 (toysat) S 13439 13442 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110516257 1352208384 271360 33554432000 4194304 16246674 140735883084032 139823149993136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1320516

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 13442 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.1
CPU user time (s): 1799.51
CPU system time (s): 0.594909
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.594909
maximum resident set size= 1085440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271195
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= 404
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48032 second user time and 7.02793 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 09:50:29
IDJOB=4078914
IDBENCH=90186
IDSOLVER=2542
FILE ID=node136/4078914-1465285829
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= f1881d1e83243719865906bde58f94f2
RANDOM SEED=489895794

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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:        29202540 kB
Buffers:           52648 kB
Cached:           145240 kB
SwapCached:          768 kB
Active:          1156280 kB
Inactive:         122604 kB
Active(anon):    1079568 kB
Inactive(anon):     3536 kB
Active(file):      76712 kB
Inactive(file):   119068 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             17908 kB
Writeback:             0 kB
AnonPages:       2797852 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             598060 kB
SReclaimable:      42076 kB
SUnreclaim:       555984 kB
KernelStack:        1528 kB
PageTables:         9476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2883408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1708032 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 node136 at 2016-06-07 10:20:30