Trace number 4120258

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-02UNSAT 1466.19 1466.6

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n92-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM4b7e05c0098a08389be231b2054e6845
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.6631
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables138
Total number of constraints368
Number of constraints which are clauses368
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:19:24+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-4120258-1467310764.opb"]
0.00/0.01	c use --random-gen="532766717 1853969834 3918907039 2537879739 2277817321 367585553 4241590603 3981217371 1230147870 775675387 2005717142 3697228358 3279351926 3732416958 2997553387 3549833007 3684696872 3725103968 3384531071 3386147852 1179631775 1339457195 108824807 3821613593 3160531930 3796088110 1878786820 1107532859 3486935742 4015677785 609310811 1402348062 1142345585 3394755888 119534099 2192693141 91341628 1934974274 1957937500 3098647883 3515675640 3087134886 822961822 2693842032 2052583119 4211106754 1277225602 95242681 1952280556 4123087079 946961024 2625313619 3815421322 3092140415 593072504 3212152512 1651681787 2638068446 2704521924 1731900976 1625411533 90576754 1291219301 2150262680 1153897323 4089262769 4053539685 55733517 1742983173 551610065 3154518808 2306349973 1091334749 2967050741 3223302435 2780966220 1014480930 909497091 1613123849 1864839724 2841198739 3438981485 2674476223 3737483342 436550762 4085711432 4128684856 1585335296 3305437925 4041369778 3706125362 3549437096 3359302167 1881115060 577467574 1191936459 1282444020 3134552295 658815736 1410400191 2860790444 452377080 2000402048 2617828722 1887881060 3611899750 3987722737 149940873 2989723114 1070835456 1852847087 57111375 2577991973 3761794567 2208654940 4123116622 329033267 981969085 3566324314 938360248 4117130410 39064615 2149685744 3363587524 1276450787 2425628463 1790816833 1066211141 1884224853 2131313085 1600102610 1415125936 3661362112 1020113423 3089068172 3740991640 2618050185 142836190 963316123 79125916 1857431737 1240457977 1754394374 1469625289 1824383678 3652923186 1224313322 497564565 2356298744 3117661304 3100174165 695039534 3565626663 4180779410 70266916 4072745400 2073356826 1380233142 2474589837 2330232117 2794158543 1881401740 1073034817 3930008722 1799628149 2646977410 1750997025 409044790 1136026111 1753349760 461762349 3682374155 3487343178 2512756173 1872084448 1081476370 2690101367 1777640848 3810256535 1603413298 1215282628 156305956 1787376869 2143905672 3568426330 3019373798 3121258606 3974706391 2271489234 1009748289 1582415894 1355787519 827466442 3182426445 3781600836 1532565648 3477643344 3441612567 243056730 2749746643 2044923310 1689238936 2165864034 2852238039 3480315502 3924036228 1600307714 1644102462 2576271169 3823317676 134720997 2928304341 1986470603 479009266 2276465106 3256970514 3682270334 4144360044 524514836 151005065 1290047094 3372520710 2692908318 2895316193 1957710131 32311922 3461108933 3223338327 1905477974 2619400247 2221481612 313808755 1618467644 3067314011 1607868387 3639266488 1422399400 991660508 262424748 207086104 2702263720 82786721 3085147888 3993133668 1988969828 3619947673 3728086402 50112987 94906475 150046442 2624936601 934813525 1486325289 178743215 3395690006 3094559773 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 368
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      263 |      100 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      481 |      250 |      185      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      877 |      475 |      204      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1420 |      813 |      225      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2112 |     1320 |      248      8 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3042 |     2081 |      301     13 |        0 |        0
0.29/0.78	c  0.3s |       7 |     4683 |     3223 |      332     19 |        0 |        0
0.29/0.78	c  0.5s |       8 |     6919 |     4936 |      366     29 |        0 |        0
0.29/0.78	c  0.7s |       9 |    10138 |     7506 |      403     42 |        0 |        0
0.99/1.10	c  1.1s |      10 |    15776 |    11361 |      444     59 |        0 |        0
1.50/1.54	c  1.5s |      11 |    22875 |    17144 |      489     84 |        0 |        0
2.19/2.21	c  2.2s |      12 |    34254 |    25819 |      538    118 |        0 |        0
3.09/3.10	c  3.1s |      13 |    51610 |    38832 |      592    164 |        0 |        0
4.29/4.39	c  4.4s |      14 |    76965 |    58352 |      652    228 |        0 |        0
6.39/6.40	c  6.4s |      14 |   116320 |    86752 |      652    314 |        0 |        0
6.39/6.46	c  6.4s |      15 |   117559 |    87632 |      718    316 |        0 |        0
8.39/8.46	c  8.4s |      15 |   151640 |   114132 |      718    388 |        0 |        0
9.79/9.87	c  9.9s |      16 |   172985 |   131552 |      790    436 |        0 |        0
11.79/11.87	c 11.9s |      16 |   208431 |   157752 |      790    501 |        0 |        0
13.79/13.87	c 13.9s |      16 |   245122 |   185652 |      790    570 |        0 |        0
14.59/14.70	c 14.7s |      17 |   261272 |   197432 |      870    599 |        0 |        0
16.69/16.70	c 16.7s |      17 |   295835 |   223632 |      870    658 |        0 |        0
18.68/18.71	c 18.7s |      17 |   330286 |   250232 |      870    719 |        0 |        0
20.68/20.71	c 20.7s |      17 |   362434 |   276132 |      870    778 |        0 |        0
22.18/22.24	c 22.2s |      18 |   389449 |   296252 |      958    823 |        0 |        0
24.19/24.25	c 24.2s |      18 |   420713 |   320752 |      958    873 |        0 |        0
26.19/26.25	c 26.2s |      18 |   453930 |   345752 |      958    924 |        0 |        0
28.19/28.25	c 28.2s |      18 |   488300 |   371352 |      958    977 |        0 |        0
30.20/30.26	c 30.2s |      18 |   520110 |   395752 |      958   1027 |        0 |        0
32.19/32.26	c 32.2s |      18 |   553584 |   421352 |      958   1080 |        0 |        0
34.09/34.15	c 34.1s |      19 |   582658 |   444482 |     1054   1127 |        0 |        0
36.09/36.15	c 36.1s |      19 |   616660 |   470082 |     1054   1175 |        0 |        0
38.09/38.16	c 38.1s |      19 |   650926 |   495682 |     1054   1223 |        0 |        0
40.09/40.17	c 40.1s |      19 |   685354 |   521482 |     1054   1272 |        0 |        0
42.08/42.17	c 42.2s |      19 |   716771 |   545982 |     1054   1318 |        0 |        0
44.08/44.17	c 44.2s |      19 |   746787 |   570182 |     1054   1363 |        0 |        0
46.08/46.17	c 46.2s |      19 |   778298 |   593882 |     1054   1408 |        0 |        0
48.08/48.18	c 48.2s |      19 |   808646 |   617082 |     1054   1452 |        0 |        0
50.08/50.18	c 50.2s |      19 |   843192 |   643282 |     1054   1501 |        0 |        0
52.09/52.17	c 52.2s |      20 |   871990 |   666827 |     1160   1544 |        0 |        0
54.08/54.18	c 54.2s |      20 |   907421 |   692627 |     1160   1588 |        0 |        0
56.08/56.18	c 56.2s |      20 |   941161 |   717727 |     1160   1631 |        0 |        0
58.08/58.19	c 58.2s |      20 |   976434 |   742827 |     1160   1673 |        0 |        0
60.08/60.19	c 60.2s |      20 |  1007499 |   766627 |     1160   1714 |        0 |        0
62.18/62.20	c 62.2s |      20 |  1036319 |   789227 |     1160   1753 |        0 |        0
64.09/64.20	c 64.2s |      20 |  1069944 |   813927 |     1160   1795 |        0 |        0
66.18/66.20	c 66.2s |      20 |  1099357 |   836427 |     1160   1833 |        0 |        0
68.18/68.21	c 68.2s |      20 |  1127255 |   858727 |     1160   1871 |        0 |        0
70.18/70.21	c 70.2s |      20 |  1156991 |   881627 |     1160   1910 |        0 |        0
72.18/72.21	c 72.2s |      20 |  1184785 |   903927 |     1160   1949 |        0 |        0
74.19/74.22	c 74.2s |      20 |  1216109 |   926527 |     1160   1987 |        0 |        0
76.18/76.23	c 76.2s |      20 |  1243878 |   948927 |     1160   2026 |        0 |        0
78.18/78.23	c 78.2s |      20 |  1277404 |   973227 |     1160   2067 |        0 |        0
80.18/80.23	c 80.2s |      20 |  1309152 |   996727 |     1276   2107 |        0 |        0
80.48/80.58	c 80.6s |      21 |  1313780 |  1000345 |     1276   2112 |        0 |        0
82.48/82.59	c 82.6s |      21 |  1339110 |  1021445 |     1276   2145 |        0 |        0
84.48/84.59	c 84.6s |      21 |  1365733 |  1042245 |     1276   2177 |        0 |        0
86.48/86.59	c 86.6s |      21 |  1392643 |  1063145 |     1276   2210 |        0 |        0
88.48/88.60	c 88.6s |      21 |  1419742 |  1084445 |     1276   2243 |        0 |        0
90.47/90.60	c 90.6s |      21 |  1451449 |  1107745 |     1276   2279 |        0 |        0
92.57/92.60	c 92.6s |      21 |  1480279 |  1130045 |     1276   2314 |        0 |        0
94.57/94.61	c 94.6s |      21 |  1511813 |  1153345 |     1276   2350 |        0 |        0
96.57/96.61	c 96.6s |      21 |  1542264 |  1175445 |     1276   2384 |        0 |        0
98.57/98.61	c 98.6s |      21 |  1572123 |  1198145 |     1276   2420 |        0 |        0
100.57/100.62	c  100s |      21 |  1604335 |  1221645 |     1276   2456 |        0 |        0
102.57/102.62	c  102s |      21 |  1636211 |  1245245 |     1276   2493 |        0 |        0
104.58/104.63	c  104s |      21 |  1667003 |  1267945 |     1276   2528 |        0 |        0
106.58/106.63	c  106s |      21 |  1697468 |  1291145 |     1276   2564 |        0 |        0
108.57/108.63	c  108s |      21 |  1723155 |  1311445 |     1276   2596 |        0 |        0
110.57/110.64	c  110s |      21 |  1752144 |  1332445 |     1276   2629 |        0 |        0
112.58/112.65	c  112s |      21 |  1782636 |  1355945 |     1276   2665 |        0 |        0
114.57/114.65	c  114s |      21 |  1812987 |  1379045 |     1276   2701 |        0 |        0
116.57/116.66	c  116s |      21 |  1843398 |  1402045 |     1276   2737 |        0 |        0
118.57/118.66	c  118s |      21 |  1875714 |  1425645 |     1276   2773 |        0 |        0
120.57/120.67	c  120s |      21 |  1906594 |  1448745 |     1276   2809 |        0 |        0
122.58/122.67	c  122s |      21 |  1934692 |  1470345 |     1276   2843 |        0 |        0
124.57/124.68	c  124s |      21 |  1965473 |  1492845 |     1404   2877 |        0 |        0
125.27/125.36	c  125s |      22 |  1975371 |  1500622 |     1404   2888 |        0 |        0
127.27/127.37	c  127s |      22 |  2005473 |  1523022 |     1404   2920 |        0 |        0
129.27/129.38	c  129s |      22 |  2033858 |  1544722 |     1404   2950 |        0 |        0
131.28/131.38	c  131s |      22 |  2059879 |  1565322 |     1404   2980 |        0 |        0
133.27/133.39	c  133s |      22 |  2090511 |  1587822 |     1404   3011 |        0 |        0
135.27/135.39	c  135s |      22 |  2121666 |  1610622 |     1404   3044 |        0 |        0
137.27/137.39	c  137s |      22 |  2148833 |  1632422 |     1404   3074 |        0 |        0
139.37/139.40	c  139s |      22 |  2177622 |  1654422 |     1404   3106 |        0 |        0
141.37/141.40	c  141s |      22 |  2204781 |  1675722 |     1404   3136 |        0 |        0
143.37/143.41	c  143s |      22 |  2234693 |  1697822 |     1404   3167 |        0 |        0
145.36/145.42	c  145s |      22 |  2263393 |  1719922 |     1404   3198 |        0 |        0
147.36/147.43	c  147s |      22 |  2290108 |  1740322 |     1404   3227 |        0 |        0
149.36/149.43	c  149s |      22 |  2318904 |  1761722 |     1404   3257 |        0 |        0
151.36/151.44	c  151s |      22 |  2348393 |  1783422 |     1404   3288 |        0 |        0
153.37/153.44	c  153s |      22 |  2378712 |  1805922 |     1404   3320 |        0 |        0
155.36/155.44	c  155s |      22 |  2408301 |  1828122 |     1404   3351 |        0 |        0
157.36/157.45	c  157s |      22 |  2438207 |  1851122 |     1404   3384 |        0 |        0
159.36/159.45	c  159s |      22 |  2468295 |  1874022 |     1404   3416 |        0 |        0
161.36/161.45	c  161s |      22 |  2498026 |  1896422 |     1404   3448 |        0 |        0
163.36/163.45	c  163s |      22 |  2528899 |  1919122 |     1404   3480 |        0 |        0
165.36/165.45	c  165s |      22 |  2558356 |  1941222 |     1404   3511 |        0 |        0
167.35/167.46	c  167s |      22 |  2582858 |  1961422 |     1404   3540 |        0 |        0
169.35/169.47	c  169s |      22 |  2611306 |  1983722 |     1404   3571 |        0 |        0
171.35/171.48	c  171s |      22 |  2639020 |  2005722 |     1404   3603 |        0 |        0
173.35/173.49	c  173s |      22 |  2667032 |  2028322 |     1404   3635 |        0 |        0
175.36/175.49	c  175s |      22 |  2695148 |  2050522 |     1404   3666 |        0 |        0
177.35/177.49	c  177s |      22 |  2723737 |  2072922 |     1404   3698 |        0 |        0
179.45/179.50	c  179s |      22 |  2752644 |  2095122 |     1404   3729 |        0 |        0
181.45/181.50	c  181s |      22 |  2778369 |  2116422 |     1404   3759 |        0 |        0
183.45/183.51	c  183s |      22 |  2806166 |  2138422 |     1404   3790 |        0 |        0
185.45/185.52	c  185s |      22 |  2834672 |  2160422 |     1404   3821 |        0 |        0
187.45/187.52	c  187s |      22 |  2863877 |  2182422 |     1404   3853 |        0 |        0
189.45/189.52	c  189s |      22 |  2892951 |  2204922 |     1404   3885 |        0 |        0
191.45/191.53	c  191s |      22 |  2918977 |  2225422 |     1404   3913 |        0 |        0
193.45/193.54	c  193s |      22 |  2944447 |  2244122 |     1545   3939 |        0 |        0
194.15/194.27	c  194s |      23 |  2953898 |  2251038 |     1545   3948 |        0 |        0
196.16/196.27	c  196s |      23 |  2983227 |  2272738 |     1545   3975 |        0 |        0
198.14/198.28	c  198s |      23 |  3012209 |  2294638 |     1545   4004 |        0 |        0
200.15/200.28	c  200s |      23 |  3039886 |  2316138 |     1545   4031 |        0 |        0
202.14/202.28	c  202s |      23 |  3068492 |  2337638 |     1545   4059 |        0 |        0
204.14/204.28	c  204s |      23 |  3096978 |  2358838 |     1545   4086 |        0 |        0
206.15/206.28	c  206s |      23 |  3127804 |  2381138 |     1545   4115 |        0 |        0
208.14/208.29	c  208s |      23 |  3156129 |  2402638 |     1545   4142 |        0 |        0
210.14/210.29	c  210s |      23 |  3184333 |  2423838 |     1545   4170 |        0 |        0
212.24/212.30	c  212s |      23 |  3210947 |  2444238 |     1545   4196 |        0 |        0
214.24/214.30	c  214s |      23 |  3235996 |  2464438 |     1545   4222 |        0 |        0
216.24/216.30	c  216s |      23 |  3265648 |  2486138 |     1545   4250 |        0 |        0
218.24/218.31	c  218s |      23 |  3297855 |  2509238 |     1545   4279 |        0 |        0
220.23/220.31	c  220s |      23 |  3327007 |  2531538 |     1545   4308 |        0 |        0
222.24/222.32	c  222s |      23 |  3356556 |  2553938 |     1545   4337 |        0 |        0
224.23/224.32	c  224s |      23 |  3387258 |  2576338 |     1545   4366 |        0 |        0
226.23/226.32	c  226s |      23 |  3417216 |  2598638 |     1545   4395 |        0 |        0
228.23/228.33	c  228s |      23 |  3446312 |  2620438 |     1545   4423 |        0 |        0
230.24/230.34	c  230s |      23 |  3476190 |  2643538 |     1545   4452 |        0 |        0
232.23/232.34	c  232s |      23 |  3507018 |  2665638 |     1545   4481 |        0 |        0
234.23/234.34	c  234s |      23 |  3534774 |  2687138 |     1545   4509 |        0 |        0
236.23/236.35	c  236s |      23 |  3565569 |  2710238 |     1545   4538 |        0 |        0
238.24/238.35	c  238s |      23 |  3598272 |  2734038 |     1545   4569 |        0 |        0
240.24/240.36	c  240s |      23 |  3628855 |  2757038 |     1545   4599 |        0 |        0
242.24/242.36	c  242s |      23 |  3660577 |  2780338 |     1545   4629 |        0 |        0
244.24/244.36	c  244s |      23 |  3689554 |  2802338 |     1545   4657 |        0 |        0
246.24/246.36	c  246s |      23 |  3719636 |  2824938 |     1545   4686 |        0 |        0
248.23/248.36	c  248s |      23 |  3749338 |  2847838 |     1545   4715 |        0 |        0
250.23/250.37	c  250s |      23 |  3781457 |  2871338 |     1545   4746 |        0 |        0
252.24/252.37	c  252s |      23 |  3813752 |  2894438 |     1545   4775 |        0 |        0
254.23/254.38	c  254s |      23 |  3845552 |  2917138 |     1545   4805 |        0 |        0
256.23/256.39	c  256s |      23 |  3876292 |  2939638 |     1545   4834 |        0 |        0
258.23/258.39	c  258s |      23 |  3903963 |  2961038 |     1545   4861 |        0 |        0
260.33/260.40	c  260s |      23 |  3934690 |  2983338 |     1545   4890 |        0 |        0
262.33/262.41	c  262s |      23 |  3960590 |  3004038 |     1545   4916 |        0 |        0
264.33/264.41	c  264s |      23 |  3987003 |  3024338 |     1545   4943 |        0 |        0
266.33/266.42	c  266s |      23 |  4011108 |  3042438 |     1545   4966 |        0 |        0
268.32/268.42	c  268s |      23 |  4036169 |  3060138 |     1545   4989 |        0 |        0
270.32/270.42	c  270s |      23 |  4061254 |  3079438 |     1545   5013 |        0 |        0
272.32/272.43	c  272s |      23 |  4085389 |  3098738 |     1545   5038 |        0 |        0
274.33/274.44	c  274s |      23 |  4111739 |  3119238 |     1545   5065 |        0 |        0
276.32/276.45	c  276s |      23 |  4137318 |  3138638 |     1545   5090 |        0 |        0
278.32/278.45	c  278s |      23 |  4161150 |  3156738 |     1545   5113 |        0 |        0
280.32/280.46	c  280s |      23 |  4184835 |  3175938 |     1545   5138 |        0 |        0
282.32/282.47	c  282s |      23 |  4211863 |  3196838 |     1545   5165 |        0 |        0
284.32/284.47	c  284s |      23 |  4241607 |  3218438 |     1545   5192 |        0 |        0
286.32/286.48	c  286s |      23 |  4272616 |  3241238 |     1545   5222 |        0 |        0
288.31/288.48	c  288s |      23 |  4303807 |  3264238 |     1545   5251 |        0 |        0
290.31/290.49	c  290s |      23 |  4333555 |  3285938 |     1545   5279 |        0 |        0
292.31/292.50	c  292s |      23 |  4361894 |  3307738 |     1545   5307 |        0 |        0
294.41/294.50	c  294s |      23 |  4391877 |  3330038 |     1545   5336 |        0 |        0
296.41/296.50	c  296s |      23 |  4423548 |  3352538 |     1700   5365 |        0 |        0
298.41/298.51	c  298s |      23 |  4456044 |  3375138 |     1700   5391 |        0 |        0
298.51/298.64	c  298s |      24 |  4458344 |  3376662 |     1700   5393 |        0 |        0
300.50/300.65	c  300s |      24 |  4489216 |  3399362 |     1700   5420 |        0 |        0
302.50/302.65	c  302s |      24 |  4518115 |  3421262 |     1700   5445 |        0 |        0
304.50/304.65	c  304s |      24 |  4548425 |  3443662 |     1700   5472 |        0 |        0
306.50/306.65	c  306s |      24 |  4577312 |  3465262 |     1700   5497 |        0 |        0
308.49/308.66	c  308s |      24 |  4608559 |  3487862 |     1700   5523 |        0 |        0
310.50/310.66	c  310s |      24 |  4635533 |  3509262 |     1700   5549 |        0 |        0
312.49/312.66	c  312s |      24 |  4662966 |  3530262 |     1700   5573 |        0 |        0
314.49/314.67	c  314s |      24 |  4690953 |  3551062 |     1700   5597 |        0 |        0
316.49/316.68	c  316s |      24 |  4715303 |  3570062 |     1700   5620 |        0 |        0
318.49/318.69	c  318s |      24 |  4739408 |  3589162 |     1700   5642 |        0 |        0
320.49/320.69	c  320s |      24 |  4765307 |  3609062 |     1700   5665 |        0 |        0
322.49/322.70	c  322s |      24 |  4792266 |  3630162 |     1700   5690 |        0 |        0
324.58/324.71	c  324s |      24 |  4818044 |  3650462 |     1700   5714 |        0 |        0
326.59/326.71	c  326s |      24 |  4843568 |  3670762 |     1700   5738 |        0 |        0
328.59/328.71	c  328s |      24 |  4869021 |  3690862 |     1700   5761 |        0 |        0
330.59/330.71	c  330s |      24 |  4893173 |  3709462 |     1700   5783 |        0 |        0
332.60/332.72	c  332s |      24 |  4918443 |  3728562 |     1700   5805 |        0 |        0
334.59/334.72	c  334s |      24 |  4943997 |  3748062 |     1700   5828 |        0 |        0
336.59/336.72	c  336s |      24 |  4967000 |  3766462 |     1700   5850 |        0 |        0
338.58/338.73	c  338s |      24 |  4991077 |  3785062 |     1700   5871 |        0 |        0
340.58/340.73	c  340s |      24 |  5018325 |  3805962 |     1700   5896 |        0 |        0
342.58/342.74	c  342s |      24 |  5045711 |  3826262 |     1700   5920 |        0 |        0
344.58/344.74	c  344s |      24 |  5072827 |  3847162 |     1700   5944 |        0 |        0
346.58/346.74	c  346s |      24 |  5101299 |  3867762 |     1700   5968 |        0 |        0
348.57/348.75	c  348s |      24 |  5129623 |  3888762 |     1700   5993 |        0 |        0
350.57/350.76	c  350s |      24 |  5157120 |  3909562 |     1700   6017 |        0 |        0
352.57/352.76	c  352s |      24 |  5184845 |  3930062 |     1700   6041 |        0 |        0
354.57/354.76	c  354s |      24 |  5209246 |  3948962 |     1700   6063 |        0 |        0
356.58/356.77	c  356s |      24 |  5237718 |  3970062 |     1700   6088 |        0 |        0
358.57/358.77	c  358s |      24 |  5265053 |  3990862 |     1700   6112 |        0 |        0
360.57/360.78	c  360s |      24 |  5291833 |  4011462 |     1700   6137 |        0 |        0
362.57/362.78	c  362s |      24 |  5317822 |  4031862 |     1700   6161 |        0 |        0
364.57/364.79	c  364s |      24 |  5346068 |  4053362 |     1700   6186 |        0 |        0
366.58/366.79	c  366s |      24 |  5373491 |  4074462 |     1700   6210 |        0 |        0
368.67/368.80	c  368s |      24 |  5404021 |  4096562 |     1700   6236 |        0 |        0
370.66/370.81	c  370s |      24 |  5431891 |  4116662 |     1700   6260 |        0 |        0
372.67/372.81	c  372s |      24 |  5458615 |  4136962 |     1700   6284 |        0 |        0
374.67/374.81	c  374s |      24 |  5488021 |  4158862 |     1700   6309 |        0 |        0
376.66/376.82	c  376s |      24 |  5515367 |  4179962 |     1700   6334 |        0 |        0
378.67/378.82	c  378s |      24 |  5542715 |  4200762 |     1700   6358 |        0 |        0
380.66/380.82	c  380s |      24 |  5569570 |  4221462 |     1700   6383 |        0 |        0
382.66/382.83	c  382s |      24 |  5596792 |  4242262 |     1700   6407 |        0 |        0
384.66/384.83	c  384s |      24 |  5620850 |  4261762 |     1700   6430 |        0 |        0
386.66/386.83	c  386s |      24 |  5649157 |  4283262 |     1700   6455 |        0 |        0
388.66/388.83	c  388s |      24 |  5675259 |  4303662 |     1700   6479 |        0 |        0
390.66/390.84	c  390s |      24 |  5701663 |  4323362 |     1700   6502 |        0 |        0
392.66/392.84	c  392s |      24 |  5725814 |  4342962 |     1700   6525 |        0 |        0
394.66/394.84	c  394s |      24 |  5750196 |  4362262 |     1700   6548 |        0 |        0
396.65/396.84	c  396s |      24 |  5775774 |  4381962 |     1700   6571 |        0 |        0
398.65/398.84	c  398s |      24 |  5802757 |  4402162 |     1700   6594 |        0 |        0
400.66/400.84	c  400s |      24 |  5829664 |  4422662 |     1700   6618 |        0 |        0
402.65/402.85	c  402s |      24 |  5856882 |  4443662 |     1700   6643 |        0 |        0
404.65/404.85	c  404s |      24 |  5883945 |  4464862 |     1700   6668 |        0 |        0
406.65/406.85	c  406s |      24 |  5910109 |  4485362 |     1700   6692 |        0 |        0
408.64/408.86	c  408s |      24 |  5936936 |  4506062 |     1700   6716 |        0 |        0
410.65/410.87	c  410s |      24 |  5963711 |  4527062 |     1700   6741 |        0 |        0
412.64/412.87	c  412s |      24 |  5982748 |  4543662 |     1700   6760 |        0 |        0
414.64/414.88	c  414s |      24 |  6004528 |  4561362 |     1700   6781 |        0 |        0
416.65/416.89	c  416s |      24 |  6026899 |  4579362 |     1700   6802 |        0 |        0
418.64/418.89	c  418s |      24 |  6047638 |  4597262 |     1700   6823 |        0 |        0
420.64/420.89	c  420s |      24 |  6071977 |  4616662 |     1700   6846 |        0 |        0
422.75/422.90	c  422s |      24 |  6095749 |  4635862 |     1700   6869 |        0 |        0
424.74/424.91	c  424s |      24 |  6121425 |  4655762 |     1700   6892 |        0 |        0
426.74/426.91	c  426s |      24 |  6147072 |  4675862 |     1700   6916 |        0 |        0
428.73/428.92	c  428s |      24 |  6170932 |  4694962 |     1700   6938 |        0 |        0
430.73/430.93	c  430s |      24 |  6194341 |  4713262 |     1700   6960 |        0 |        0
432.73/432.93	c  432s |      24 |  6220366 |  4732562 |     1700   6982 |        0 |        0
434.73/434.94	c  434s |      24 |  6246498 |  4752162 |     1700   7005 |        0 |        0
436.73/436.94	c  436s |      24 |  6267337 |  4770162 |     1700   7026 |        0 |        0
438.72/438.95	c  438s |      24 |  6290710 |  4789162 |     1700   7049 |        0 |        0
440.72/440.95	c  440s |      24 |  6315114 |  4808962 |     1700   7072 |        0 |        0
442.72/442.96	c  442s |      24 |  6340965 |  4829062 |     1700   7095 |        0 |        0
444.73/444.97	c  444s |      24 |  6364318 |  4848662 |     1700   7119 |        0 |        0
446.72/446.97	c  446s |      24 |  6388021 |  4868362 |     1700   7142 |        0 |        0
448.72/448.99	c  448s |      24 |  6414001 |  4888362 |     1700   7165 |        0 |        0
450.72/450.99	c  450s |      24 |  6440366 |  4908262 |     1700   7188 |        0 |        0
452.81/453.00	c  452s |      24 |  6464398 |  4927062 |     1700   7210 |        0 |        0
454.81/455.00	c  454s |      24 |  6489010 |  4946762 |     1700   7233 |        0 |        0
456.82/457.00	c  456s |      24 |  6514406 |  4966662 |     1700   7257 |        0 |        0
458.82/459.01	c  458s |      24 |  6536406 |  4985362 |     1700   7279 |        0 |        0
460.82/461.01	c  460s |      24 |  6561476 |  5005462 |     1700   7302 |        0 |        0
462.82/463.03	c  463s |      24 |  6585874 |  5024462 |     1700   7324 |        0 |        0
464.82/465.03	c  465s |      24 |  6613332 |  5045262 |     1871   7347 |        0 |        0
466.82/467.03	c  467s |      24 |  6635706 |  5063562 |     1871   7366 |        0 |        0
467.02/467.21	c  467s |      25 |  6637598 |  5065098 |     1871   7368 |        0 |        0
469.02/469.21	c  469s |      25 |  6658641 |  5082898 |     1871   7387 |        0 |        0
471.02/471.22	c  471s |      25 |  6685054 |  5102998 |     1871   7408 |        0 |        0
473.01/473.23	c  473s |      25 |  6713432 |  5123498 |     1871   7430 |        0 |        0
475.01/475.23	c  475s |      25 |  6736834 |  5142098 |     1871   7450 |        0 |        0
477.01/477.24	c  477s |      25 |  6759079 |  5160198 |     1871   7469 |        0 |        0
479.01/479.24	c  479s |      25 |  6779462 |  5177498 |     1871   7488 |        0 |        0
481.02/481.25	c  481s |      25 |  6802502 |  5196198 |     1871   7507 |        0 |        0
483.01/483.25	c  483s |      25 |  6830187 |  5215898 |     1871   7528 |        0 |        0
485.01/485.25	c  485s |      25 |  6856965 |  5235798 |     1871   7549 |        0 |        0
487.01/487.26	c  487s |      25 |  6883883 |  5256298 |     1871   7571 |        0 |        0
489.01/489.27	c  489s |      25 |  6911192 |  5277098 |     1871   7593 |        0 |        0
491.00/491.28	c  491s |      25 |  6937396 |  5296898 |     1871   7614 |        0 |        0
493.01/493.28	c  493s |      25 |  6962604 |  5316598 |     1871   7635 |        0 |        0
495.00/495.28	c  495s |      25 |  6987510 |  5335498 |     1871   7656 |        0 |        0
497.00/497.29	c  497s |      25 |  7013657 |  5354998 |     1871   7676 |        0 |        0
498.99/499.29	c  499s |      25 |  7040008 |  5374598 |     1871   7697 |        0 |        0
500.99/501.29	c  501s |      25 |  7064406 |  5393398 |     1871   7717 |        0 |        0
503.10/503.30	c  503s |      25 |  7091744 |  5413598 |     1871   7739 |        0 |        0
505.00/505.30	c  505s |      25 |  7117179 |  5432798 |     1871   7759 |        0 |        0
507.10/507.30	c  507s |      25 |  7142746 |  5452698 |     1871   7780 |        0 |        0
509.10/509.31	c  509s |      25 |  7166401 |  5471698 |     1871   7800 |        0 |        0
511.10/511.31	c  511s |      25 |  7191853 |  5491398 |     1871   7821 |        0 |        0
513.10/513.32	c  513s |      25 |  7216864 |  5510898 |     1871   7842 |        0 |        0
515.10/515.33	c  515s |      25 |  7243032 |  5530498 |     1871   7863 |        0 |        0
517.09/517.33	c  517s |      25 |  7267143 |  5549498 |     1871   7883 |        0 |        0
519.09/519.33	c  519s |      25 |  7293057 |  5568298 |     1871   7903 |        0 |        0
521.09/521.34	c  521s |      25 |  7319965 |  5588898 |     1871   7925 |        0 |        0
523.09/523.35	c  523s |      25 |  7346927 |  5608698 |     1871   7946 |        0 |        0
525.09/525.36	c  525s |      25 |  7374990 |  5629298 |     1871   7968 |        0 |        0
527.10/527.36	c  527s |      25 |  7401577 |  5650198 |     1871   7991 |        0 |        0
529.08/529.37	c  529s |      25 |  7428961 |  5670598 |     1871   8012 |        0 |        0
531.08/531.37	c  531s |      25 |  7455572 |  5689898 |     1871   8033 |        0 |        0
533.08/533.37	c  533s |      25 |  7484785 |  5711098 |     1871   8055 |        0 |        0
535.08/535.38	c  535s |      25 |  7511502 |  5731898 |     1871   8078 |        0 |        0
537.09/537.39	c  537s |      25 |  7540587 |  5753098 |     1871   8100 |        0 |        0
539.07/539.40	c  539s |      25 |  7569564 |  5773998 |     1871   8122 |        0 |        0
541.17/541.40	c  541s |      25 |  7597249 |  5794698 |     1871   8144 |        0 |        0
543.17/543.40	c  543s |      25 |  7625851 |  5815498 |     1871   8167 |        0 |        0
545.18/545.40	c  545s |      25 |  7655211 |  5837198 |     1871   8190 |        0 |        0
547.18/547.40	c  547s |      25 |  7680131 |  5856598 |     1871   8210 |        0 |        0
549.18/549.41	c  549s |      25 |  7706018 |  5876198 |     1871   8231 |        0 |        0
551.17/551.41	c  551s |      25 |  7730230 |  5895198 |     1871   8251 |        0 |        0
553.17/553.41	c  553s |      25 |  7756693 |  5915598 |     1871   8273 |        0 |        0
555.17/555.41	c  555s |      25 |  7779846 |  5934798 |     1871   8294 |        0 |        0
557.17/557.41	c  557s |      25 |  7801972 |  5953698 |     1871   8314 |        0 |        0
559.17/559.42	c  559s |      25 |  7828253 |  5974198 |     1871   8336 |        0 |        0
561.17/561.43	c  561s |      25 |  7852021 |  5993698 |     1871   8356 |        0 |        0
563.17/563.44	c  563s |      25 |  7878501 |  6014198 |     1871   8378 |        0 |        0
565.17/565.44	c  565s |      25 |  7905081 |  6034598 |     1871   8400 |        0 |        0
567.16/567.44	c  567s |      25 |  7930941 |  6055098 |     1871   8422 |        0 |        0
569.16/569.45	c  569s |      25 |  7957300 |  6075798 |     1871   8444 |        0 |        0
571.17/571.45	c  571s |      25 |  7981618 |  6095698 |     1871   8465 |        0 |        0
573.16/573.46	c  573s |      25 |  8005185 |  6114898 |     1871   8485 |        0 |        0
575.16/575.47	c  575s |      25 |  8031282 |  6135498 |     1871   8507 |        0 |        0
577.16/577.47	c  577s |      25 |  8053844 |  6153798 |     1871   8527 |        0 |        0
579.15/579.47	c  579s |      25 |  8080368 |  6174598 |     1871   8549 |        0 |        0
581.15/581.47	c  581s |      25 |  8106638 |  6195198 |     1871   8571 |        0 |        0
583.15/583.47	c  583s |      25 |  8133169 |  6215598 |     1871   8593 |        0 |        0
585.15/585.48	c  585s |      25 |  8161802 |  6237398 |     1871   8616 |        0 |        0
587.14/587.49	c  587s |      25 |  8188086 |  6258198 |     1871   8638 |        0 |        0
589.15/589.49	c  589s |      25 |  8216093 |  6279498 |     1871   8661 |        0 |        0
591.15/591.49	c  591s |      25 |  8244356 |  6301198 |     1871   8684 |        0 |        0
593.25/593.50	c  593s |      25 |  8270255 |  6322198 |     1871   8706 |        0 |        0
595.25/595.50	c  595s |      25 |  8293440 |  6341798 |     1871   8727 |        0 |        0
597.25/597.50	c  597s |      25 |  8316825 |  6361798 |     1871   8749 |        0 |        0
599.25/599.51	c  599s |      25 |  8343525 |  6382598 |     1871   8771 |        0 |        0
601.25/601.52	c  601s |      25 |  8369143 |  6403198 |     1871   8793 |        0 |        0
603.24/603.53	c  603s |      25 |  8397590 |  6424498 |     1871   8815 |        0 |        0
605.25/605.54	c  605s |      25 |  8424990 |  6442598 |     1871   8835 |        0 |        0
607.24/607.54	c  607s |      25 |  8449142 |  6462498 |     1871   8856 |        0 |        0
609.24/609.55	c  609s |      25 |  8472795 |  6481598 |     1871   8876 |        0 |        0
611.24/611.55	c  611s |      25 |  8499860 |  6502598 |     1871   8899 |        0 |        0
613.23/613.56	c  613s |      25 |  8527597 |  6523998 |     1871   8921 |        0 |        0
615.23/615.56	c  615s |      25 |  8554646 |  6544598 |     1871   8943 |        0 |        0
617.24/617.57	c  617s |      25 |  8578941 |  6564498 |     1871   8965 |        0 |        0
619.23/619.57	c  619s |      25 |  8603495 |  6583698 |     1871   8985 |        0 |        0
621.23/621.58	c  621s |      25 |  8629918 |  6603398 |     1871   9006 |        0 |        0
623.23/623.59	c  623s |      25 |  8657921 |  6624498 |     1871   9029 |        0 |        0
625.23/625.59	c  625s |      25 |  8684707 |  6645198 |     1871   9051 |        0 |        0
627.24/627.59	c  627s |      25 |  8706198 |  6663498 |     1871   9070 |        0 |        0
629.22/629.60	c  629s |      25 |  8730340 |  6682998 |     1871   9091 |        0 |        0
631.32/631.60	c  631s |      25 |  8758715 |  6704798 |     1871   9114 |        0 |        0
633.33/633.61	c  633s |      25 |  8789925 |  6726698 |     1871   9137 |        0 |        0
635.33/635.62	c  635s |      25 |  8818106 |  6748198 |     1871   9160 |        0 |        0
637.33/637.62	c  637s |      25 |  8848245 |  6769598 |     1871   9183 |        0 |        0
639.33/639.63	c  639s |      25 |  8876916 |  6790498 |     1871   9205 |        0 |        0
641.33/641.63	c  641s |      25 |  8906047 |  6812198 |     1871   9229 |        0 |        0
643.33/643.63	c  643s |      25 |  8932985 |  6833498 |     1871   9251 |        0 |        0
645.33/645.64	c  645s |      25 |  8960766 |  6853698 |     1871   9273 |        0 |        0
647.32/647.64	c  647s |      25 |  8988068 |  6874498 |     1871   9295 |        0 |        0
649.32/649.65	c  649s |      25 |  9015862 |  6895498 |     1871   9317 |        0 |        0
651.33/651.65	c  651s |      25 |  9043057 |  6915498 |     1871   9339 |        0 |        0
653.32/653.66	c  653s |      25 |  9070113 |  6935298 |     1871   9360 |        0 |        0
655.32/655.66	c  655s |      25 |  9098866 |  6956398 |     1871   9382 |        0 |        0
657.32/657.66	c  657s |      25 |  9126587 |  6976398 |     1871   9403 |        0 |        0
659.31/659.66	c  659s |      25 |  9151845 |  6996098 |     1871   9424 |        0 |        0
661.32/661.67	c  661s |      25 |  9180461 |  7017498 |     1871   9447 |        0 |        0
663.31/663.67	c  663s |      25 |  9208361 |  7038798 |     1871   9470 |        0 |        0
665.31/665.68	c  665s |      25 |  9234157 |  7059398 |     1871   9492 |        0 |        0
667.31/667.68	c  667s |      25 |  9254176 |  7076198 |     1871   9510 |        0 |        0
669.30/669.69	c  669s |      25 |  9275514 |  7094198 |     1871   9529 |        0 |        0
671.30/671.69	c  671s |      25 |  9299209 |  7112998 |     1871   9549 |        0 |        0
673.31/673.70	c  673s |      25 |  9328564 |  7135498 |     1871   9573 |        0 |        0
675.40/675.70	c  675s |      25 |  9356017 |  7155698 |     1871   9594 |        0 |        0
677.40/677.71	c  677s |      25 |  9382322 |  7176198 |     1871   9616 |        0 |        0
679.40/679.72	c  679s |      25 |  9408926 |  7195598 |     1871   9637 |        0 |        0
681.41/681.72	c  681s |      25 |  9434768 |  7216298 |     1871   9659 |        0 |        0
683.41/683.72	c  683s |      25 |  9463678 |  7237098 |     1871   9681 |        0 |        0
685.41/685.73	c  685s |      25 |  9490988 |  7257698 |     1871   9703 |        0 |        0
687.40/687.73	c  687s |      25 |  9515949 |  7277298 |     1871   9724 |        0 |        0
689.41/689.73	c  689s |      25 |  9541570 |  7297698 |     1871   9746 |        0 |        0
691.40/691.74	c  691s |      25 |  9568606 |  7319098 |     1871   9769 |        0 |        0
693.40/693.74	c  693s |      25 |  9593832 |  7338898 |     1871   9790 |        0 |        0
695.41/695.75	c  695s |      25 |  9615911 |  7356998 |     1871   9809 |        0 |        0
697.40/697.76	c  697s |      25 |  9638839 |  7375298 |     1871   9828 |        0 |        0
699.40/699.76	c  699s |      25 |  9661826 |  7393698 |     1871   9848 |        0 |        0
701.40/701.77	c  701s |      25 |  9683747 |  7411598 |     1871   9867 |        0 |        0
703.40/703.77	c  703s |      25 |  9707236 |  7430198 |     1871   9887 |        0 |        0
705.40/705.78	c  705s |      25 |  9734003 |  7450198 |     1871   9908 |        0 |        0
707.41/707.79	c  707s |      25 |  9761833 |  7471198 |     1871   9931 |        0 |        0
709.40/709.79	c  709s |      25 |  9787292 |  7491298 |     1871   9952 |        0 |        0
711.40/711.79	c  711s |      25 |  9814433 |  7511798 |     1871   9974 |        0 |        0
713.40/713.79	c  713s |      25 |  9840781 |  7531698 |     1871   9995 |        0 |        0
715.50/715.80	c  715s |      25 |  9864392 |  7550298 |     2059  10014 |        0 |        0
717.50/717.81	c  717s |      25 |  9888181 |  7569098 |     2059  10032 |        0 |        0
719.50/719.81	c  719s |      25 |  9911979 |  7586998 |     2059  10050 |        0 |        0
720.49/720.88	c  720s |      26 |  9927288 |  7597752 |     2059  10060 |        0 |        0
722.50/722.89	c  722s |      26 |  9952500 |  7616652 |     2059  10078 |        0 |        0
724.49/724.89	c  724s |      26 |  9978523 |  7636052 |     2059  10097 |        0 |        0
726.59/726.90	c  726s |      26 | 10006861 |  7656652 |     2059  10117 |        0 |        0
728.59/728.90	c  728s |      26 | 10036193 |  7678052 |     2059  10138 |        0 |        0
730.60/730.91	c  730s |      26 | 10062290 |  7697652 |     2059  10157 |        0 |        0
732.59/732.91	c  732s |      26 | 10089080 |  7718052 |     2059  10176 |        0 |        0
734.59/734.91	c  734s |      26 | 10116332 |  7738852 |     2059  10196 |        0 |        0
736.59/736.92	c  736s |      26 | 10144192 |  7759552 |     2059  10216 |        0 |        0
738.59/738.92	c  738s |      26 | 10171962 |  7780252 |     2059  10236 |        0 |        0
740.59/740.93	c  740s |      26 | 10200235 |  7801552 |     2059  10257 |        0 |        0
742.60/742.93	c  742s |      26 | 10228048 |  7822052 |     2059  10277 |        0 |        0
744.59/744.93	c  744s |      26 | 10254910 |  7841252 |     2059  10295 |        0 |        0
746.59/746.94	c  746s |      26 | 10282047 |  7861152 |     2059  10315 |        0 |        0
748.59/748.95	c  748s |      26 | 10309354 |  7881552 |     2059  10334 |        0 |        0
750.59/750.95	c  750s |      26 | 10336315 |  7901952 |     2059  10354 |        0 |        0
752.59/752.95	c  752s |      26 | 10364507 |  7922652 |     2059  10374 |        0 |        0
754.60/754.96	c  754s |      26 | 10392941 |  7943752 |     2059  10395 |        0 |        0
756.60/756.96	c  756s |      26 | 10420372 |  7963952 |     2059  10414 |        0 |        0
758.59/758.97	c  758s |      26 | 10449383 |  7985252 |     2059  10435 |        0 |        0
760.59/760.97	c  760s |      26 | 10477605 |  8006552 |     2059  10455 |        0 |        0
762.59/762.97	c  762s |      26 | 10502043 |  8026152 |     2059  10474 |        0 |        0
764.60/764.98	c  764s |      26 | 10527150 |  8046052 |     2059  10494 |        0 |        0
766.59/766.98	c  766s |      26 | 10557812 |  8068252 |     2059  10515 |        0 |        0
768.59/768.98	c  768s |      26 | 10581878 |  8087752 |     2059  10534 |        0 |        0
770.59/770.98	c  770s |      26 | 10606536 |  8107752 |     2059  10553 |        0 |        0
772.59/772.99	c  772s |      26 | 10633421 |  8128352 |     2059  10573 |        0 |        0
774.69/775.00	c  774s |      26 | 10663702 |  8149952 |     2059  10594 |        0 |        0
776.59/777.00	c  776s |      26 | 10690125 |  8170152 |     2059  10614 |        0 |        0
778.69/779.01	c  778s |      26 | 10715185 |  8190252 |     2059  10633 |        0 |        0
780.69/781.02	c  781s |      26 | 10739836 |  8208952 |     2059  10651 |        0 |        0
782.69/783.03	c  783s |      26 | 10765272 |  8228252 |     2059  10670 |        0 |        0
784.69/785.03	c  785s |      26 | 10789848 |  8247652 |     2059  10689 |        0 |        0
786.69/787.03	c  787s |      26 | 10814409 |  8266752 |     2059  10707 |        0 |        0
788.69/789.03	c  789s |      26 | 10840293 |  8286352 |     2059  10726 |        0 |        0
790.68/791.04	c  791s |      26 | 10866569 |  8306552 |     2059  10746 |        0 |        0
792.68/793.04	c  793s |      26 | 10893266 |  8326752 |     2059  10765 |        0 |        0
794.69/795.05	c  795s |      26 | 10918787 |  8346952 |     2059  10785 |        0 |        0
796.68/797.05	c  797s |      26 | 10945469 |  8366952 |     2059  10804 |        0 |        0
798.69/799.07	c  799s |      26 | 10966805 |  8384552 |     2059  10821 |        0 |        0
800.68/801.07	c  801s |      26 | 10990377 |  8402252 |     2059  10838 |        0 |        0
802.68/803.07	c  803s |      26 | 11017365 |  8422252 |     2059  10858 |        0 |        0
804.68/805.07	c  805s |      26 | 11041060 |  8441452 |     2059  10876 |        0 |        0
806.68/807.07	c  807s |      26 | 11067980 |  8461752 |     2059  10896 |        0 |        0
808.69/809.08	c  809s |      26 | 11096080 |  8482352 |     2059  10916 |        0 |        0
810.68/811.08	c  811s |      26 | 11123264 |  8503152 |     2059  10936 |        0 |        0
812.68/813.08	c  813s |      26 | 11146844 |  8522152 |     2059  10954 |        0 |        0
814.78/815.10	c  815s |      26 | 11171744 |  8541852 |     2059  10974 |        0 |        0
816.78/817.10	c  817s |      26 | 11196609 |  8561352 |     2059  10992 |        0 |        0
818.78/819.11	c  819s |      26 | 11224229 |  8582352 |     2059  11013 |        0 |        0
820.79/821.12	c  821s |      26 | 11251667 |  8603052 |     2059  11033 |        0 |        0
822.78/823.13	c  823s |      26 | 11278747 |  8623452 |     2059  11053 |        0 |        0
824.78/825.13	c  825s |      26 | 11305904 |  8644352 |     2059  11073 |        0 |        0
826.78/827.14	c  827s |      26 | 11332363 |  8664652 |     2059  11092 |        0 |        0
828.78/829.14	c  829s |      26 | 11360879 |  8686252 |     2059  11113 |        0 |        0
830.78/831.15	c  831s |      26 | 11386397 |  8706552 |     2059  11133 |        0 |        0
832.78/833.15	c  833s |      26 | 11410130 |  8725252 |     2059  11151 |        0 |        0
834.78/835.16	c  835s |      26 | 11435901 |  8744252 |     2059  11170 |        0 |        0
836.78/837.16	c  837s |      26 | 11462098 |  8763252 |     2059  11188 |        0 |        0
838.78/839.17	c  839s |      26 | 11487026 |  8782352 |     2059  11206 |        0 |        0
840.78/841.17	c  841s |      26 | 11512312 |  8800652 |     2059  11224 |        0 |        0
842.78/843.18	c  843s |      26 | 11538224 |  8818852 |     2059  11242 |        0 |        0
844.77/845.18	c  845s |      26 | 11562205 |  8837452 |     2059  11260 |        0 |        0
846.78/847.18	c  847s |      26 | 11584956 |  8855752 |     2059  11278 |        0 |        0
848.78/849.19	c  849s |      26 | 11608978 |  8874952 |     2059  11296 |        0 |        0
850.88/851.20	c  851s |      26 | 11634174 |  8894452 |     2059  11315 |        0 |        0
852.88/853.20	c  853s |      26 | 11658867 |  8914352 |     2059  11334 |        0 |        0
854.89/855.20	c  855s |      26 | 11685983 |  8935652 |     2059  11355 |        0 |        0
856.88/857.21	c  857s |      26 | 11713897 |  8957252 |     2059  11376 |        0 |        0
858.88/859.22	c  859s |      26 | 11743975 |  8979352 |     2059  11397 |        0 |        0
860.88/861.22	c  861s |      26 | 11774399 |  9001652 |     2059  11419 |        0 |        0
862.88/863.22	c  863s |      26 | 11801870 |  9023052 |     2059  11440 |        0 |        0
864.88/865.23	c  865s |      26 | 11830253 |  9044552 |     2059  11460 |        0 |        0
866.88/867.24	c  867s |      26 | 11858842 |  9066252 |     2059  11481 |        0 |        0
868.87/869.24	c  869s |      26 | 11877785 |  9082152 |     2059  11497 |        0 |        0
870.87/871.25	c  871s |      26 | 11905677 |  9103152 |     2059  11517 |        0 |        0
872.87/873.25	c  873s |      26 | 11932054 |  9123152 |     2059  11537 |        0 |        0
874.87/875.25	c  875s |      26 | 11957058 |  9142252 |     2059  11555 |        0 |        0
876.88/877.25	c  877s |      26 | 11983502 |  9162552 |     2059  11575 |        0 |        0
878.87/879.25	c  879s |      26 | 12009196 |  9181952 |     2059  11593 |        0 |        0
880.87/881.26	c  881s |      26 | 12033717 |  9201252 |     2059  11612 |        0 |        0
882.87/883.28	c  883s |      26 | 12060429 |  9220052 |     2059  11630 |        0 |        0
884.87/885.28	c  885s |      26 | 12082273 |  9237352 |     2059  11647 |        0 |        0
886.87/887.29	c  887s |      26 | 12107407 |  9256252 |     2059  11665 |        0 |        0
888.88/889.30	c  889s |      26 | 12131898 |  9274352 |     2059  11683 |        0 |        0
890.97/891.30	c  891s |      26 | 12158530 |  9292852 |     2059  11701 |        0 |        0
892.97/893.30	c  893s |      26 | 12182632 |  9310952 |     2059  11718 |        0 |        0
894.97/895.30	c  895s |      26 | 12207705 |  9329052 |     2059  11736 |        0 |        0
896.97/897.31	c  897s |      26 | 12232385 |  9348352 |     2059  11754 |        0 |        0
898.97/899.32	c  899s |      26 | 12258652 |  9368152 |     2059  11774 |        0 |        0
900.97/901.32	c  901s |      26 | 12285411 |  9388252 |     2059  11793 |        0 |        0
902.97/903.32	c  903s |      26 | 12309237 |  9407052 |     2059  11811 |        0 |        0
904.97/905.34	c  905s |      26 | 12335594 |  9426952 |     2059  11831 |        0 |        0
906.97/907.35	c  907s |      26 | 12362700 |  9446352 |     2059  11849 |        0 |        0
908.96/909.35	c  909s |      26 | 12389040 |  9466052 |     2059  11868 |        0 |        0
910.97/911.35	c  911s |      26 | 12415103 |  9484952 |     2059  11887 |        0 |        0
912.96/913.35	c  913s |      26 | 12438140 |  9502752 |     2059  11904 |        0 |        0
914.96/915.36	c  915s |      26 | 12463694 |  9522052 |     2059  11922 |        0 |        0
916.96/917.36	c  917s |      26 | 12489661 |  9541452 |     2059  11941 |        0 |        0
918.96/919.36	c  919s |      26 | 12514337 |  9560152 |     2059  11959 |        0 |        0
920.96/921.37	c  921s |      26 | 12539081 |  9579552 |     2059  11978 |        0 |        0
922.97/923.37	c  923s |      26 | 12564631 |  9599052 |     2059  11997 |        0 |        0
924.96/925.38	c  925s |      26 | 12591543 |  9619252 |     2059  12017 |        0 |        0
926.96/927.39	c  927s |      26 | 12618872 |  9639952 |     2059  12037 |        0 |        0
929.06/929.40	c  929s |      26 | 12645806 |  9659852 |     2059  12056 |        0 |        0
931.06/931.41	c  931s |      26 | 12672921 |  9679952 |     2059  12075 |        0 |        0
933.06/933.41	c  933s |      26 | 12699038 |  9699952 |     2059  12095 |        0 |        0
935.07/935.42	c  935s |      26 | 12724938 |  9719952 |     2059  12114 |        0 |        0
937.06/937.42	c  937s |      26 | 12750562 |  9738852 |     2059  12132 |        0 |        0
939.07/939.42	c  939s |      26 | 12773812 |  9757452 |     2059  12150 |        0 |        0
941.07/941.43	c  941s |      26 | 12800656 |  9777152 |     2059  12169 |        0 |        0
943.07/943.44	c  943s |      26 | 12826647 |  9796952 |     2059  12189 |        0 |        0
945.07/945.45	c  945s |      26 | 12852690 |  9815852 |     2059  12207 |        0 |        0
947.07/947.45	c  947s |      26 | 12879759 |  9836452 |     2059  12227 |        0 |        0
949.06/949.46	c  949s |      26 | 12903386 |  9854952 |     2059  12245 |        0 |        0
951.06/951.46	c  951s |      26 | 12929963 |  9875052 |     2059  12264 |        0 |        0
953.06/953.46	c  953s |      26 | 12956109 |  9895252 |     2059  12284 |        0 |        0
955.06/955.46	c  955s |      26 | 12979340 |  9914252 |     2059  12302 |        0 |        0
957.07/957.47	c  957s |      26 | 13006100 |  9934352 |     2059  12322 |        0 |        0
959.06/959.48	c  959s |      26 | 13034494 |  9955352 |     2059  12342 |        0 |        0
961.06/961.48	c  961s |      26 | 13063427 |  9976252 |     2059  12362 |        0 |        0
963.06/963.49	c  963s |      26 | 13090092 |  9996552 |     2059  12382 |        0 |        0
965.16/965.50	c  965s |      26 | 13119935 | 10018052 |     2059  12403 |        0 |        0
967.16/967.50	c  967s |      26 | 13146246 | 10037652 |     2059  12422 |        0 |        0
969.17/969.51	c  969s |      26 | 13167130 | 10054852 |     2059  12438 |        0 |        0
971.16/971.51	c  971s |      26 | 13195505 | 10076052 |     2059  12459 |        0 |        0
973.16/973.52	c  973s |      26 | 13224248 | 10097252 |     2059  12480 |        0 |        0
975.16/975.53	c  975s |      26 | 13250869 | 10117352 |     2059  12499 |        0 |        0
977.16/977.53	c  977s |      26 | 13277495 | 10137252 |     2059  12518 |        0 |        0
979.16/979.53	c  979s |      26 | 13304589 | 10157852 |     2059  12538 |        0 |        0
981.15/981.53	c  981s |      26 | 13330130 | 10177652 |     2059  12557 |        0 |        0
983.16/983.54	c  983s |      26 | 13358037 | 10198852 |     2059  12578 |        0 |        0
985.15/985.55	c  985s |      26 | 13384110 | 10218952 |     2059  12598 |        0 |        0
987.16/987.56	c  987s |      26 | 13412566 | 10240052 |     2059  12618 |        0 |        0
989.15/989.56	c  989s |      26 | 13438811 | 10260052 |     2059  12637 |        0 |        0
991.16/991.56	c  991s |      26 | 13466904 | 10281152 |     2059  12658 |        0 |        0
993.15/993.56	c  993s |      26 | 13492056 | 10300952 |     2059  12677 |        0 |        0
995.15/995.57	c  995s |      26 | 13519714 | 10321252 |     2059  12696 |        0 |        0
997.15/997.57	c  997s |      26 | 13547595 | 10342352 |     2059  12717 |        0 |        0
999.16/999.57	c  999s |      26 | 13575067 | 10362852 |     2059  12737 |        0 |        0
1001.17/1001.58	c 1001s |      26 | 13602593 | 10383352 |     2059  12757 |        0 |        0
1003.16/1003.59	c 1003s |      26 | 13629739 | 10404252 |     2059  12777 |        0 |        0
1005.16/1005.59	c 1005s |      26 | 13658072 | 10424652 |     2059  12797 |        0 |        0
1007.25/1007.60	c 1007s |      26 | 13687518 | 10446452 |     2059  12818 |        0 |        0
1009.25/1009.60	c 1009s |      26 | 13717245 | 10467852 |     2059  12838 |        0 |        0
1011.25/1011.60	c 1011s |      26 | 13745537 | 10488752 |     2059  12859 |        0 |        0
1013.26/1013.61	c 1013s |      26 | 13772309 | 10509652 |     2059  12879 |        0 |        0
1015.25/1015.61	c 1015s |      26 | 13799176 | 10530152 |     2059  12899 |        0 |        0
1017.25/1017.61	c 1017s |      26 | 13828711 | 10552152 |     2059  12920 |        0 |        0
1019.25/1019.62	c 1019s |      26 | 13858901 | 10573852 |     2059  12941 |        0 |        0
1021.25/1021.62	c 1021s |      26 | 13887133 | 10594652 |     2059  12961 |        0 |        0
1023.25/1023.63	c 1023s |      26 | 13914872 | 10615552 |     2059  12981 |        0 |        0
1025.26/1025.63	c 1025s |      26 | 13940296 | 10635652 |     2059  13001 |        0 |        0
1027.25/1027.64	c 1027s |      26 | 13969241 | 10656852 |     2059  13021 |        0 |        0
1029.25/1029.64	c 1029s |      26 | 13998232 | 10678652 |     2059  13042 |        0 |        0
1031.25/1031.65	c 1031s |      26 | 14025684 | 10698752 |     2059  13062 |        0 |        0
1033.25/1033.65	c 1033s |      26 | 14050894 | 10718452 |     2059  13081 |        0 |        0
1035.26/1035.66	c 1035s |      26 | 14076343 | 10737752 |     2059  13099 |        0 |        0
1037.25/1037.66	c 1037s |      26 | 14102614 | 10758152 |     2059  13119 |        0 |        0
1039.25/1039.66	c 1039s |      26 | 14132263 | 10780052 |     2059  13140 |        0 |        0
1041.25/1041.67	c 1041s |      26 | 14159652 | 10799252 |     2059  13159 |        0 |        0
1043.25/1043.67	c 1043s |      26 | 14187324 | 10818652 |     2059  13178 |        0 |        0
1045.25/1045.67	c 1045s |      26 | 14214375 | 10839052 |     2059  13197 |        0 |        0
1047.25/1047.67	c 1047s |      26 | 14241265 | 10859052 |     2059  13217 |        0 |        0
1049.24/1049.67	c 1049s |      26 | 14269493 | 10880452 |     2059  13238 |        0 |        0
1051.24/1051.68	c 1051s |      26 | 14297606 | 10901852 |     2059  13258 |        0 |        0
1053.24/1053.68	c 1053s |      26 | 14325624 | 10922752 |     2059  13278 |        0 |        0
1055.24/1055.68	c 1055s |      26 | 14349512 | 10942052 |     2059  13297 |        0 |        0
1057.25/1057.69	c 1057s |      26 | 14375116 | 10961952 |     2059  13316 |        0 |        0
1059.24/1059.69	c 1059s |      26 | 14403155 | 10982652 |     2059  13336 |        0 |        0
1061.34/1061.70	c 1061s |      26 | 14428729 | 11002552 |     2059  13356 |        0 |        0
1063.34/1063.71	c 1063s |      26 | 14455811 | 11022952 |     2059  13375 |        0 |        0
1065.34/1065.71	c 1065s |      26 | 14483236 | 11042752 |     2059  13394 |        0 |        0
1067.34/1067.72	c 1067s |      26 | 14511092 | 11063552 |     2059  13415 |        0 |        0
1069.35/1069.72	c 1069s |      26 | 14539727 | 11084852 |     2059  13435 |        0 |        0
1071.34/1071.73	c 1071s |      26 | 14570456 | 11105752 |     2059  13455 |        0 |        0
1073.34/1073.73	c 1073s |      26 | 14597588 | 11125752 |     2059  13475 |        0 |        0
1075.34/1075.74	c 1075s |      26 | 14625876 | 11147152 |     2059  13495 |        0 |        0
1077.34/1077.74	c 1077s |      26 | 14653827 | 11168152 |     2059  13516 |        0 |        0
1079.34/1079.75	c 1079s |      26 | 14681681 | 11189352 |     2059  13536 |        0 |        0
1081.34/1081.76	c 1081s |      26 | 14708147 | 11210152 |     2059  13556 |        0 |        0
1083.34/1083.77	c 1083s |      26 | 14734089 | 11230652 |     2059  13576 |        0 |        0
1085.34/1085.77	c 1085s |      26 | 14761358 | 11251452 |     2059  13596 |        0 |        0
1087.34/1087.77	c 1087s |      26 | 14789040 | 11272352 |     2059  13616 |        0 |        0
1089.34/1089.78	c 1089s |      26 | 14813791 | 11291452 |     2059  13634 |        1 |        4
1091.35/1091.78	c 1091s |      26 | 14836845 | 11309052 |     2059  13651 |        1 |        4
1093.34/1093.79	c 1093s |      26 | 14859456 | 11325452 |     2265  13666 |        1 |        4
1095.34/1095.79	c 1095s |      26 | 14881275 | 11342052 |     2265  13680 |        1 |        4
1097.44/1097.80	c 1097s |      26 | 14902397 | 11358252 |     2265  13695 |        1 |        4
1099.44/1099.81	c 1099s |      26 | 14927822 | 11376052 |     2265  13710 |        1 |        4
1101.44/1101.81	c 1101s |      26 | 14952143 | 11394452 |     2265  13727 |        1 |        4
1101.64/1102.04	c 1102s |      27 | 14955111 | 11396733 |     2265  13729 |        1 |        4
1103.64/1104.05	c 1104s |      27 | 14980690 | 11416633 |     2265  13746 |        1 |        4
1105.65/1106.05	c 1106s |      27 | 15005164 | 11435633 |     2265  13763 |        1 |        4
1107.64/1108.05	c 1108s |      27 | 15026109 | 11452733 |     2265  13778 |        1 |        4
1109.64/1110.06	c 1110s |      27 | 15051413 | 11472433 |     2265  13795 |        1 |        4
1111.64/1112.07	c 1112s |      27 | 15077160 | 11492133 |     2265  13812 |        1 |        4
1113.63/1114.07	c 1114s |      27 | 15102011 | 11511933 |     2265  13830 |        1 |        4
1115.63/1116.07	c 1116s |      27 | 15124493 | 11530233 |     2265  13846 |        1 |        4
1117.64/1118.08	c 1118s |      27 | 15148076 | 11548133 |     2265  13862 |        1 |        4
1119.63/1120.08	c 1120s |      27 | 15171823 | 11566833 |     2265  13878 |        1 |        4
1121.63/1122.08	c 1122s |      27 | 15196785 | 11585933 |     2265  13895 |        1 |        4
1123.63/1124.09	c 1124s |      27 | 15221170 | 11604633 |     2265  13911 |        1 |        4
1125.73/1126.10	c 1126s |      27 | 15245858 | 11622933 |     2265  13927 |        1 |        4
1127.73/1128.11	c 1128s |      27 | 15268257 | 11640833 |     2265  13943 |        1 |        4
1129.74/1130.11	c 1130s |      27 | 15289673 | 11657933 |     2265  13958 |        1 |        4
1131.74/1132.11	c 1132s |      27 | 15312118 | 11675933 |     2265  13974 |        1 |        4
1133.74/1134.12	c 1134s |      27 | 15334940 | 11693633 |     2265  13990 |        1 |        4
1135.74/1136.13	c 1136s |      27 | 15361404 | 11713733 |     2265  14007 |        1 |        4
1137.74/1138.13	c 1138s |      27 | 15387914 | 11734133 |     2265  14025 |        1 |        4
1139.74/1140.14	c 1140s |      27 | 15413887 | 11753833 |     2265  14043 |        1 |        4
1141.73/1142.15	c 1142s |      27 | 15438735 | 11772433 |     2265  14059 |        1 |        4
1143.73/1144.15	c 1144s |      27 | 15461617 | 11790733 |     2265  14075 |        1 |        4
1145.73/1146.15	c 1146s |      27 | 15489884 | 11812333 |     2265  14094 |        1 |        4
1147.73/1148.17	c 1148s |      27 | 15513827 | 11830933 |     2265  14110 |        1 |        4
1149.73/1150.17	c 1150s |      27 | 15538302 | 11849733 |     2265  14127 |        1 |        4
1151.74/1152.18	c 1152s |      27 | 15565413 | 11870933 |     2265  14146 |        1 |        4
1153.73/1154.18	c 1154s |      27 | 15591504 | 11891233 |     2265  14164 |        1 |        4
1155.73/1156.19	c 1156s |      27 | 15616695 | 11911633 |     2265  14182 |        1 |        4
1157.73/1158.19	c 1158s |      27 | 15645088 | 11932533 |     2265  14200 |        1 |        4
1159.73/1160.20	c 1160s |      27 | 15671304 | 11952233 |     2265  14217 |        1 |        4
1161.83/1162.20	c 1162s |      27 | 15698140 | 11972433 |     2265  14235 |        1 |        4
1163.73/1164.20	c 1164s |      27 | 15723948 | 11991533 |     2265  14252 |        1 |        4
1165.82/1166.21	c 1166s |      27 | 15751954 | 12012333 |     2265  14270 |        1 |        4
1167.82/1168.21	c 1168s |      27 | 15776675 | 12031733 |     2265  14287 |        1 |        4
1169.82/1170.21	c 1170s |      27 | 15800915 | 12050933 |     2265  14304 |        1 |        4
1171.82/1172.21	c 1172s |      27 | 15827589 | 12071533 |     2265  14322 |        1 |        4
1173.84/1174.22	c 1174s |      27 | 15854027 | 12091633 |     2265  14340 |        1 |        4
1175.83/1176.23	c 1176s |      27 | 15879315 | 12111033 |     2265  14357 |        1 |        4
1177.83/1178.24	c 1178s |      27 | 15904060 | 12130433 |     2265  14374 |        1 |        4
1179.83/1180.25	c 1180s |      27 | 15931899 | 12151133 |     2265  14392 |        1 |        4
1181.83/1182.25	c 1182s |      27 | 15957321 | 12170833 |     2265  14409 |        1 |        4
1183.83/1184.26	c 1184s |      27 | 15981711 | 12189433 |     2265  14426 |        1 |        4
1185.83/1186.26	c 1186s |      27 | 16005714 | 12207633 |     2265  14442 |        1 |        4
1187.83/1188.27	c 1188s |      27 | 16032275 | 12227633 |     2265  14459 |        1 |        4
1189.83/1190.27	c 1190s |      27 | 16056884 | 12246433 |     2265  14476 |        1 |        4
1191.82/1192.28	c 1192s |      27 | 16081195 | 12265733 |     2265  14493 |        1 |        4
1193.83/1194.28	c 1194s |      27 | 16106314 | 12285833 |     2265  14511 |        1 |        4
1195.83/1196.29	c 1196s |      27 | 16132280 | 12305233 |     2265  14528 |        1 |        4
1197.82/1198.30	c 1198s |      27 | 16158128 | 12324333 |     2265  14544 |        1 |        4
1199.92/1200.30	c 1200s |      27 | 16181432 | 12342933 |     2265  14561 |        1 |        4
1201.92/1202.30	c 1202s |      27 | 16208391 | 12363733 |     2265  14579 |        1 |        4
1203.92/1204.31	c 1204s |      27 | 16234929 | 12383633 |     2265  14597 |        1 |        4
1205.92/1206.32	c 1206s |      27 | 16262128 | 12403833 |     2265  14614 |        1 |        4
1207.93/1208.33	c 1208s |      27 | 16286390 | 12422633 |     2265  14631 |        1 |        4
1209.92/1210.33	c 1210s |      27 | 16310174 | 12441533 |     2265  14647 |        1 |        4
1211.92/1212.33	c 1212s |      27 | 16337238 | 12461733 |     2265  14665 |        1 |        4
1213.92/1214.34	c 1214s |      27 | 16364856 | 12482333 |     2265  14683 |        1 |        4
1215.92/1216.34	c 1216s |      27 | 16393270 | 12503733 |     2265  14702 |        1 |        4
1217.92/1218.35	c 1218s |      27 | 16415712 | 12521233 |     2265  14716 |        2 |        8
1219.92/1220.36	c 1220s |      27 | 16441572 | 12540233 |     2265  14733 |        2 |        8
1221.92/1222.37	c 1222s |      27 | 16464653 | 12558333 |     2265  14749 |        2 |        8
1223.92/1224.38	c 1224s |      27 | 16488136 | 12577033 |     2265  14765 |        2 |        8
1225.92/1226.38	c 1226s |      27 | 16508938 | 12594033 |     2265  14780 |        2 |        8
1227.92/1228.39	c 1228s |      27 | 16530739 | 12611333 |     2265  14795 |        2 |        8
1229.92/1230.39	c 1230s |      27 | 16555537 | 12630333 |     2265  14812 |        2 |        8
1231.91/1232.40	c 1232s |      27 | 16579805 | 12649033 |     2265  14828 |        2 |        8
1234.01/1234.40	c 1234s |      27 | 16603937 | 12667733 |     2265  14845 |        2 |        8
1236.01/1236.40	c 1236s |      27 | 16630811 | 12687833 |     2265  14862 |        2 |        8
1238.02/1238.40	c 1238s |      27 | 16656376 | 12707533 |     2265  14880 |        2 |        8
1240.02/1240.41	c 1240s |      27 | 16681738 | 12727233 |     2265  14897 |        2 |        8
1242.03/1242.42	c 1242s |      27 | 16704287 | 12745033 |     2265  14913 |        2 |        8
1244.02/1244.43	c 1244s |      27 | 16728574 | 12763233 |     2265  14929 |        2 |        8
1246.02/1246.44	c 1246s |      27 | 16750944 | 12780933 |     2265  14944 |        2 |        8
1248.02/1248.45	c 1248s |      27 | 16772863 | 12798333 |     2265  14959 |        2 |        8
1250.02/1250.46	c 1250s |      27 | 16798638 | 12817733 |     2265  14977 |        2 |        8
1252.02/1252.47	c 1252s |      27 | 16821766 | 12836433 |     2265  14993 |        2 |        8
1254.02/1254.47	c 1254s |      27 | 16846771 | 12855933 |     2265  15010 |        2 |        8
1256.02/1256.47	c 1256s |      27 | 16871409 | 12874533 |     2265  15026 |        2 |        8
1258.02/1258.48	c 1258s |      27 | 16894411 | 12892833 |     2265  15043 |        2 |        8
1260.01/1260.48	c 1260s |      27 | 16920257 | 12912233 |     2265  15060 |        2 |        8
1262.02/1262.49	c 1262s |      27 | 16945260 | 12931133 |     2265  15076 |        2 |        8
1264.11/1264.50	c 1264s |      27 | 16969826 | 12950233 |     2265  15093 |        2 |        8
1266.01/1266.50	c 1266s |      27 | 16994522 | 12969533 |     2265  15110 |        2 |        8
1268.11/1268.50	c 1268s |      27 | 17021515 | 12989533 |     2265  15128 |        2 |        8
1270.11/1270.51	c 1270s |      27 | 17047351 | 13009033 |     2265  15145 |        2 |        8
1272.11/1272.52	c 1272s |      27 | 17072720 | 13028433 |     2265  15162 |        2 |        8
1274.11/1274.52	c 1274s |      27 | 17100570 | 13049133 |     2265  15180 |        2 |        8
1276.12/1276.52	c 1276s |      27 | 17123827 | 13068133 |     2265  15197 |        2 |        8
1278.11/1278.53	c 1278s |      27 | 17147647 | 13086933 |     2265  15213 |        2 |        8
1280.11/1280.53	c 1280s |      27 | 17172349 | 13106133 |     2265  15230 |        2 |        8
1282.11/1282.54	c 1282s |      27 | 17195571 | 13125033 |     2265  15247 |        2 |        8
1284.11/1284.55	c 1284s |      27 | 17221497 | 13145733 |     2265  15265 |        2 |        8
1286.11/1286.55	c 1286s |      27 | 17245100 | 13164633 |     2265  15282 |        2 |        8
1288.11/1288.56	c 1288s |      27 | 17268057 | 13183833 |     2265  15298 |        2 |        8
1290.11/1290.56	c 1290s |      27 | 17290065 | 13201533 |     2265  15314 |        2 |        8
1292.11/1292.57	c 1292s |      27 | 17313937 | 13220233 |     2265  15330 |        2 |        8
1294.11/1294.58	c 1294s |      27 | 17338651 | 13239733 |     2265  15348 |        2 |        8
1296.11/1296.59	c 1296s |      27 | 17365315 | 13259633 |     2265  15365 |        2 |        8
1298.11/1298.59	c 1298s |      27 | 17389842 | 13278333 |     2265  15381 |        2 |        8
1300.11/1300.59	c 1300s |      27 | 17416641 | 13298733 |     2265  15399 |        2 |        8
1302.11/1302.59	c 1302s |      27 | 17443034 | 13318033 |     2265  15416 |        2 |        8
1304.20/1304.60	c 1304s |      27 | 17465013 | 13335133 |     2265  15431 |        2 |        8
1306.20/1306.61	c 1306s |      27 | 17488858 | 13353933 |     2265  15448 |        2 |        8
1308.20/1308.61	c 1308s |      27 | 17508692 | 13370833 |     2265  15463 |        2 |        8
1310.21/1310.62	c 1310s |      27 | 17528007 | 13387333 |     2265  15477 |        2 |        8
1312.21/1312.62	c 1312s |      27 | 17547195 | 13403833 |     2265  15492 |        2 |        8
1314.21/1314.63	c 1314s |      27 | 17567666 | 13420833 |     2265  15507 |        2 |        8
1316.21/1316.65	c 1316s |      27 | 17588605 | 13437833 |     2265  15522 |        2 |        8
1318.21/1318.65	c 1318s |      27 | 17609148 | 13455533 |     2265  15537 |        2 |        8
1320.21/1320.65	c 1320s |      27 | 17633342 | 13474133 |     2265  15553 |        2 |        8
1322.22/1322.66	c 1322s |      27 | 17659909 | 13494233 |     2265  15571 |        2 |        8
1324.21/1324.66	c 1324s |      27 | 17686091 | 13513733 |     2265  15588 |        2 |        8
1326.21/1326.67	c 1326s |      27 | 17707006 | 13531233 |     2265  15604 |        2 |        8
1328.21/1328.68	c 1328s |      27 | 17732161 | 13550333 |     2265  15620 |        2 |        8
1330.21/1330.68	c 1330s |      27 | 17758792 | 13569833 |     2265  15637 |        2 |        8
1332.21/1332.68	c 1332s |      27 | 17787257 | 13591033 |     2265  15656 |        2 |        8
1334.20/1334.69	c 1334s |      27 | 17813983 | 13611333 |     2265  15673 |        3 |       12
1336.20/1336.69	c 1336s |      27 | 17837253 | 13629733 |     2265  15689 |        3 |       12
1338.30/1338.70	c 1338s |      27 | 17861086 | 13647233 |     2265  15704 |        3 |       12
1340.30/1340.70	c 1340s |      27 | 17884170 | 13665733 |     2265  15720 |        3 |       12
1342.30/1342.71	c 1342s |      27 | 17909356 | 13684733 |     2265  15737 |        3 |       12
1344.31/1344.71	c 1344s |      27 | 17934002 | 13703533 |     2265  15754 |        3 |       12
1346.30/1346.72	c 1346s |      27 | 17954989 | 13720733 |     2265  15769 |        3 |       12
1348.30/1348.73	c 1348s |      27 | 17977380 | 13737233 |     2265  15783 |        3 |       12
1350.30/1350.73	c 1350s |      27 | 17998364 | 13752433 |     2265  15797 |        3 |       12
1352.30/1352.73	c 1352s |      27 | 18023793 | 13770833 |     2265  15813 |        3 |       12
1354.30/1354.73	c 1354s |      27 | 18049776 | 13790333 |     2265  15830 |        3 |       12
1356.31/1356.74	c 1356s |      27 | 18073594 | 13808933 |     2265  15846 |        3 |       12
1358.30/1358.74	c 1358s |      27 | 18099624 | 13828233 |     2265  15863 |        3 |       12
1360.30/1360.75	c 1360s |      27 | 18125105 | 13847433 |     2265  15880 |        3 |       12
1362.30/1362.75	c 1362s |      27 | 18151443 | 13866733 |     2265  15897 |        3 |       12
1364.30/1364.77	c 1364s |      27 | 18175801 | 13885633 |     2265  15914 |        3 |       12
1366.31/1366.77	c 1366s |      27 | 18202377 | 13905933 |     2265  15931 |        3 |       12
1368.30/1368.77	c 1368s |      27 | 18227197 | 13925033 |     2265  15948 |        3 |       12
1370.30/1370.78	c 1370s |      27 | 18254569 | 13944933 |     2265  15966 |        3 |       12
1372.30/1372.78	c 1372s |      27 | 18280578 | 13964933 |     2265  15983 |        3 |       12
1374.30/1374.79	c 1374s |      27 | 18306381 | 13985133 |     2265  16001 |        3 |       12
1376.39/1376.80	c 1376s |      27 | 18329136 | 14002833 |     2265  16017 |        3 |       12
1378.40/1378.81	c 1378s |      27 | 18351891 | 14020733 |     2265  16032 |        3 |       12
1380.39/1380.81	c 1380s |      27 | 18377152 | 14040233 |     2265  16049 |        3 |       12
1382.39/1382.82	c 1382s |      27 | 18400258 | 14058533 |     2265  16066 |        3 |       12
1384.39/1384.83	c 1384s |      27 | 18425685 | 14077233 |     2265  16082 |        3 |       12
1386.39/1386.83	c 1386s |      27 | 18450342 | 14095033 |     2265  16098 |        3 |       12
1388.39/1388.83	c 1388s |      27 | 18478420 | 14115533 |     2265  16116 |        3 |       12
1390.40/1390.84	c 1390s |      27 | 18502491 | 14134533 |     2265  16132 |        3 |       12
1392.39/1392.84	c 1392s |      27 | 18526498 | 14153333 |     2265  16149 |        3 |       12
1394.40/1394.85	c 1394s |      27 | 18552424 | 14173033 |     2265  16166 |        3 |       12
1396.40/1396.85	c 1396s |      27 | 18578751 | 14192933 |     2265  16183 |        4 |       16
1398.40/1398.85	c 1398s |      27 | 18605925 | 14212933 |     2265  16200 |        4 |       16
1400.40/1400.86	c 1400s |      27 | 18631644 | 14232233 |     2265  16217 |        4 |       16
1402.39/1402.86	c 1402s |      27 | 18659262 | 14252733 |     2265  16235 |        4 |       16
1404.39/1404.87	c 1404s |      27 | 18687260 | 14273633 |     2265  16253 |        4 |       16
1406.39/1406.87	c 1406s |      27 | 18708194 | 14290233 |     2265  16268 |        4 |       16
1408.39/1408.88	c 1408s |      27 | 18732056 | 14307733 |     2265  16283 |        4 |       16
1410.39/1410.88	c 1410s |      27 | 18755919 | 14326133 |     2265  16299 |        4 |       16
1412.40/1412.89	c 1412s |      27 | 18781432 | 14345033 |     2265  16316 |        4 |       16
1414.40/1414.89	c 1414s |      27 | 18809740 | 14365033 |     2265  16334 |        4 |       16
1416.50/1416.90	c 1416s |      27 | 18837297 | 14384333 |     2265  16351 |        4 |       16
1418.50/1418.91	c 1418s |      27 | 18864891 | 14403833 |     2265  16368 |        4 |       16
1420.50/1420.91	c 1420s |      27 | 18889875 | 14423633 |     2265  16385 |        4 |       16
1422.49/1422.92	c 1422s |      27 | 18915326 | 14443233 |     2265  16402 |        4 |       16
1424.50/1424.92	c 1424s |      27 | 18941952 | 14463233 |     2265  16420 |        4 |       16
1426.49/1426.93	c 1426s |      27 | 18964659 | 14481833 |     2265  16435 |        5 |       20
1428.49/1428.94	c 1428s |      27 | 18987631 | 14500333 |     2265  16451 |        5 |       20
1430.49/1430.94	c 1430s |      27 | 19014311 | 14520133 |     2265  16468 |        5 |       20
1432.49/1432.95	c 1432s |      27 | 19039262 | 14539033 |     2265  16485 |        5 |       20
1434.50/1434.96	c 1434s |      27 | 19065540 | 14558533 |     2265  16502 |        5 |       20
1436.49/1436.96	c 1436s |      27 | 19086936 | 14576233 |     2265  16518 |        5 |       20
1438.49/1438.96	c 1438s |      27 | 19113797 | 14596533 |     2265  16535 |        5 |       20
1440.49/1440.97	c 1440s |      27 | 19138156 | 14615833 |     2265  16552 |        5 |       20
1442.49/1442.97	c 1442s |      27 | 19163336 | 14635333 |     2265  16570 |        5 |       20
1444.49/1444.97	c 1444s |      27 | 19188039 | 14654933 |     2265  16587 |        5 |       20
1446.50/1446.98	c 1446s |      27 | 19214314 | 14674533 |     2265  16603 |        6 |       24
1448.49/1448.99	c 1448s |      27 | 19242086 | 14695133 |     2265  16621 |        6 |       24
1450.59/1451.00	c 1450s |      27 | 19268685 | 14715833 |     2265  16639 |        6 |       24
1452.59/1453.01	c 1452s |      27 | 19296043 | 14736233 |     2265  16657 |        6 |       24
1454.59/1455.01	c 1454s |      27 | 19322932 | 14757033 |     2265  16675 |        6 |       24
1456.59/1457.01	c 1456s |      27 | 19349162 | 14777133 |     2265  16691 |        7 |       28
1458.59/1459.02	c 1459s |      27 | 19374673 | 14796933 |     2265  16709 |        7 |       28
1460.59/1461.03	c 1461s |      27 | 19401833 | 14818233 |     2265  16727 |        7 |       28
1462.59/1463.03	c 1463s |      27 | 19427539 | 14838033 |     2265  16744 |        8 |       32
1464.59/1465.04	c 1465s |      27 | 19452703 | 14857933 |     2265  16761 |        9 |       36
1466.08/1466.59	c 1466s |      27 | 19474100 | 14874625 |     2265  16772 |       24 |       80
1466.08/1466.59	c #cpu_time = 1462.543s
1466.08/1466.59	c #wall_clock_time = 1466.573s
1466.08/1466.59	c #decision = 19474100
1466.08/1466.59	c #random_decision = 94686
1466.08/1466.59	c #conflict = 14874625
1466.08/1466.59	c #restart = 27
1466.08/1466.59	s UNSATISFIABLE
1466.08/1466.59	c total CPU time = 1462.562s
1466.08/1466.59	c total wall clock time = 1466.593s

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.79 3.17 3/234 16444
/proc/meminfo: memFree=31201376/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 3097 0 0 0 0 0 0 0 20 0 4 0 12182914 845606912 2947 33554432000 4194304 16246674 140734702607136 140734702606560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 206959 2958 441 2943 0 203853 0
[pid=16444/tid=16445] ppid=16441 vsize=844220 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 864481280 3019 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=848316 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 868675584 3036 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=852412 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12182914 872869888 3053 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.14 2.79 3.17 3/234 16444
/proc/meminfo: memFree=31201376/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 25651 0 0 0 6 3 0 0 20 0 4 0 12182914 1247350784 25489 33554432000 4194304 16246674 140734702607136 140734702606560 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 304529 25497 708 2943 0 301423 0
[pid=16444/tid=16445] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 25507 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 25513 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 25520 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1218116

[startup+0.200493 s]
/proc/loadavg: 2.14 2.79 3.17 3/234 16444
/proc/meminfo: memFree=31201376/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 49906 0 0 0 12 7 0 0 20 0 4 0 12182914 1247350784 49744 33554432000 4194304 16246674 140734702607136 140734702606560 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 304529 49752 708 2943 0 301423 0
[pid=16444/tid=16445] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 49760 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 49766 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 49772 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.14 2.79 3.17 3/234 16444
/proc/meminfo: memFree=31201376/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 73783 0 0 0 20 9 0 0 20 0 4 0 12182914 1247350784 73622 33554432000 4194304 16246674 140734702607136 140734702606560 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 304529 73632 708 2943 0 301423 0
[pid=16444/tid=16445] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 73641 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 73646 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 73655 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1218116

[startup+0.897384 s]
/proc/loadavg: 2.14 2.79 3.17 3/234 16444
/proc/meminfo: memFree=31201376/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1218116 CPUtime=0.89 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 213063 0 0 0 58 31 0 0 20 0 4 0 12182914 1247350784 212901 33554432000 4194304 16246674 140734702607136 140734702589056 5665836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 304529 212910 709 2943 0 301423 0
[pid=16444/tid=16445] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 212918 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 212925 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12182914 1247350784 212929 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.29 2.81 3.18 3/247 16461
/proc/meminfo: memFree=29237420/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1219140 CPUtime=1.5 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 245609 0 0 0 115 35 0 0 20 0 4 0 12182914 1248399360 245427 33554432000 4194304 16246674 140734702607136 140734702606448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 304785 245427 786 2943 0 301679 0
[pid=16444/tid=16445] ppid=16441 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1248399360 245427 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1248399360 245427 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1248399360 245427 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1219140

[startup+3.10048 s]
/proc/loadavg: 2.29 2.81 3.18 3/247 16461
/proc/meminfo: memFree=29062456/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267427 0 0 0 271 38 0 0 20 0 4 0 12182914 1337528320 267245 33554432000 4194304 16246674 140734702607136 140734702589056 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326545 267245 786 2943 0 323439 0
[pid=16444/tid=16445] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267245 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267245 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267245 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.26 2.79 3.17 3/247 16461
/proc/meminfo: memFree=29062180/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267429 0 0 0 591 38 0 0 20 0 4 0 12182914 1337528320 267247 33554432000 4194304 16246674 140734702607136 140734702589056 6024255 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326545 267247 786 2943 0 323439 0
[pid=16444/tid=16445] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267247 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267247 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267247 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.24 2.78 3.17 3/247 16461
/proc/meminfo: memFree=29061940/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267486 0 0 0 1231 38 0 0 20 0 4 0 12182914 1337528320 267304 33554432000 4194304 16246674 140734702607136 140734702589056 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326545 267304 786 2943 0 323439 0
[pid=16444/tid=16445] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267304 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267304 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1337528320 267304 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.20 2.75 3.15 3/247 16461
/proc/meminfo: memFree=29061420/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267779 0 0 0 2510 39 0 0 20 0 4 0 12182914 1338576896 267597 33554432000 4194304 16246674 140734702607136 140734702589056 6010091 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326801 267597 786 2943 0 323695 0
[pid=16444/tid=16445] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267597 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267597 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267597 33554432000 4194304 16246674 140734702607136 140004952100016 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) 1307204

[startup+51.1075 s]
/proc/loadavg: 2.19 2.70 3.12 3/248 16513
/proc/meminfo: memFree=29059840/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1307204 CPUtime=51.09 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267821 0 0 0 5070 39 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140734702589056 5676344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326801 267639 789 2943 0 323695 0
[pid=16444/tid=16445] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.14 2.60 3.06 3/247 16514
/proc/meminfo: memFree=29059772/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 267827 0 0 0 10187 40 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140734702589056 5662304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 326801 267639 789 2943 0 323695 0
[pid=16444/tid=16445] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1338576896 267639 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 136128 63 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.26 3/247 16741
/proc/meminfo: memFree=29047592/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1421.89 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 142124 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702590136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1314372

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16444 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1434 s]
/proc/loadavg: 2.02 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29047712/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1433.59 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 143294 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1433.59
Current children cumulated vsize (KiB) 1314372

[startup+1446.8 s]
/proc/loadavg: 2.01 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29048212/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1446.39 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 144574 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1446.39
Current children cumulated vsize (KiB) 1314372

[startup+1459.6 s]
/proc/loadavg: 2.01 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29048212/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1459.19 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 145854 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1459.19
Current children cumulated vsize (KiB) 1314372

[startup+1462.8 s]
/proc/loadavg: 2.01 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1462.38 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146173 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 13198488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1462.38
Current children cumulated vsize (KiB) 1314372

[startup+1464.4 s]
/proc/loadavg: 2.01 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1463.98 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146333 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 5823751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1463.98
Current children cumulated vsize (KiB) 1314372

[startup+1465.2 s]
/proc/loadavg: 2.01 2.02 2.25 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1464.79 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146414 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1464.79
Current children cumulated vsize (KiB) 1314372

[startup+1466 s]
/proc/loadavg: 2.01 2.02 2.24 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1465.59 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146494 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1465.59
Current children cumulated vsize (KiB) 1314372

[startup+1466.4 s]
/proc/loadavg: 2.01 2.02 2.24 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1465.98 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146533 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1465.98
Current children cumulated vsize (KiB) 1314372

[startup+1466.5 s]
/proc/loadavg: 2.01 2.02 2.24 3/247 16741
/proc/meminfo: memFree=29048316/32872528 swapFree=189444/189444
[pid=16444] ppid=16441 vsize=1314372 CPUtime=1466.08 cores=0,2,4,6
/proc/16444/stat : 16444 (toysat) R 16441 16444 13211 0 -1 4202496 269947 0 0 0 146543 65 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140734702589056 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16444/statm: 328593 269440 791 2943 0 325487 0
[pid=16444/tid=16445] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16445/stat : 16445 (toysat) S 16441 16444 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004973063408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16444/tid=16446] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16446/stat : 16446 (toysat) S 16441 16444 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004962573552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16444/tid=16447] ppid=16441 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16444/task/16447/stat : 16447 (toysat) S 16441 16444 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12182914 1345916928 269440 33554432000 4194304 16246674 140734702607136 140004952100016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1466.08
Current children cumulated vsize (KiB) 1314372

Child status: 0
Real time (s): 1466.6
CPU time (s): 1466.19
CPU user time (s): 1465.53
CPU system time (s): 0.657899
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1465.53
system time used= 0.657899
maximum resident set size= 1077776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269952
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= 346
involuntary context switches= 1556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.49871 second user time and 15.3977 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 20:19:24
IDJOB=4120258
IDBENCH=109857
IDSOLVER=2542
FILE ID=node102/4120258-1467310764
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120258-1467310764/watcher-4120258-1467310764 -o /tmp/evaluation-result-4120258-1467310764/solver-4120258-1467310764 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120258-1467310764.opb

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

MD5SUM BENCH= 4b7e05c0098a08389be231b2054e6845
RANDOM SEED=1830983259

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.744
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:        31202448 kB
Buffers:          154816 kB
Cached:           568792 kB
SwapCached:            0 kB
Active:           308120 kB
Inactive:         432452 kB
Active(anon):      19236 kB
Inactive(anon):        0 kB
Active(file):     288884 kB
Inactive(file):   432452 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32724 kB
Writeback:             0 kB
AnonPages:        206068 kB
Mapped:            14348 kB
Shmem:               204 kB
Slab:             609256 kB
SReclaimable:      53056 kB
SUnreclaim:       556200 kB
KernelStack:        1896 kB
PageTables:         4480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     302944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71636 MiB
End job on node102 at 2016-06-30 20:43:50