Trace number 4078853

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
MD5SUM67d021e5b92124566c71fb431934058c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48368
Total number of constraints1121286
Number of constraints which are clauses1007481
Number of constraints which are cardinality constraints (but not clauses)3534
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint1
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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-07T07:17:09+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-4078853-1465276627.opb"]
0.00/0.01	c use --random-gen="2246839262 2360343457 54446014 1369504069 2743312914 2642277468 3067286242 1768917859 488035510 636032770 1069682227 4281218004 9696780 4086133258 1811217610 3979446564 4040237060 2581170881 1383158900 62765841 2376257551 692391341 2622922182 1761308558 1194541257 3543726940 3870127333 2127204495 1404424962 781331467 1779633219 724483352 108748331 2796673791 3838128426 3395872934 1673795254 2360545461 2816762154 1925550539 2466385120 3329369244 4017719803 2384862608 2814356634 322152087 2957446634 586382136 4093353765 2844944962 257316239 693260121 1439329551 4131540757 1378135598 3204736862 2985068643 3415397796 3079426033 2426683028 1189722799 1731771881 4277443316 456260217 869238475 2779605126 2752396328 1141644091 3514687975 456770142 43334732 167408471 3961426868 1406579050 2321214640 734775240 1392775407 1907942398 3792540318 3597934382 3620884158 3123999214 3554721642 3433748257 318809169 2765612560 2240722906 4215063236 502158066 2127349491 2653952447 212641808 3395574004 4048587768 487666088 452864223 2168344480 2794971555 928577876 1319883815 1680395624 2386422626 3854390795 3920613365 1390835293 2353054491 861359163 3349593124 3958818455 772011639 1018396070 2615290794 956678099 604351839 1786893389 874133811 1498351205 1297450089 308165265 3125969678 1676682417 834231719 3292814810 1012844671 619878590 1007422970 3577941209 1270722188 3946618003 3589316360 2461465599 4170972400 2011438998 3783871638 3053139477 2937976882 3243314451 1475730692 955787530 2165688962 3872947423 3759351628 1534121974 3700420251 1989264039 3181357752 2081288185 2234343474 829235565 1799289613 266752653 613208876 3064561132 3430516164 3372540381 701073967 3527616800 2058274699 1264606228 1437530355 914035524 2056162332 800459017 1258466122 2470935398 1575832509 2527286890 2966239282 900755185 2094464244 807762349 796791813 3927307969 1147552014 1811645266 847327985 823912011 3167105799 1657412271 2432341388 2660905498 3600163566 2064678176 2406938337 1076657895 2728662259 1437302789 4191287712 2891321694 3150854430 1207725508 731899048 808174774 3301670173 391948229 2523428529 3357506025 2369268777 3036944935 4177211872 1692418907 2848265364 1454344920 1270463398 3547305022 4095847283 3144394031 3251216102 1693258491 2258930612 778344354 3575216667 3584148589 27113924 4130311322 2767949394 1156066155 1707135526 714972879 2008897393 3304473930 3696149191 3216181816 3116589138 674762405 2179625427 158910354 1860335989 220867382 908286955 358968905 596847219 3272230444 1093957501 3087532600 2648682870 4057732854 2992295928 2168846798 3961097971 3032505014 3933342441 2180186529 2068703993 2168997586 2766926718 281686889 1602141032 3566088411 1127562230 3699933216 2171052275 3867251829 1487719956 2792723690 3530666345 255 362436" option to reproduce the execution
9.69/9.77	c #vars 48368
9.69/9.77	c #constraints 1121286
29.99/30.09	c Solving starts ...
29.99/30.09	c ============================[ Search Statistics ]============================
29.99/30.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.99/30.09	c       |         |          |          |    Limit     GC | Var      | Constra 
29.99/30.09	c =============================================================================
30.09/30.10	c  0.0s |       0 |        0 |        0 |   388551      0 |      132 |        0
30.99/31.00	c  0.9s |       1 |      136 |      100 |   388551      0 |      132 |     1440
34.58/34.62	c  4.5s |       1 |     5518 |      200 |   427407      0 |      132 |     1440
35.49/35.53	c  5.4s |       2 |    10915 |      250 |   427407      0 |      132 |     1440
38.38/38.44	c  8.3s |       2 |    26058 |      350 |   470148      0 |      132 |     1440
40.99/41.09	c 11.0s |       2 |    43535 |      450 |   470148      0 |      132 |     1440
42.09/42.13	c 12.0s |       3 |    51423 |      475 |   470148      0 |      132 |     1440
44.08/44.14	c 14.0s |       3 |    59237 |      575 |   517163      0 |      132 |     1440
46.38/46.43	c 16.3s |       3 |    72906 |      675 |   517163      0 |      132 |     1440
47.08/47.10	c 17.0s |       4 |    73314 |      813 |   517163      0 |      132 |     1440
50.18/50.20	c 20.1s |       4 |    89296 |      913 |   568880      0 |      132 |     1440
57.08/57.12	c 27.0s |       4 |   139848 |     1013 |   568880      0 |      132 |     1440
61.58/61.65	c 31.6s |       4 |   173556 |     1113 |   568880      0 |      132 |     1440
70.57/70.69	c 40.6s |       4 |   239625 |     1213 |   568880      0 |      132 |     1440
79.37/79.48	c 49.4s |       4 |   307211 |     1313 |   568880      0 |      132 |     1440
80.37/80.47	c 50.4s |       5 |   316056 |     1320 |   568880      0 |      132 |     1440
83.17/83.28	c 53.2s |       5 |   332459 |     1420 |   625768      0 |      132 |     1440
88.47/88.59	c 58.5s |       5 |   355500 |     1920 |   625768      0 |      132 |     1440
94.46/94.50	c 64.4s |       5 |   410946 |     2020 |   625768      0 |      132 |     1440
94.76/94.81	c 64.7s |       6 |   411058 |     2081 |   688345      0 |      132 |     1440
102.57/102.62	c 72.5s |       6 |   468558 |     2181 |   688345      0 |      132 |     1440
109.56/109.68	c 79.6s |       6 |   535390 |     2281 |   688345      0 |      132 |     1440
113.36/113.48	c 83.4s |       6 |   553837 |     2781 |   688345      0 |      132 |     1440
117.36/117.42	c 87.3s |       6 |   574558 |     2881 |   688345      0 |      132 |     1440
119.46/119.55	c 89.5s |       6 |   621999 |     3081 |   688345      0 |      132 |     1440
119.96/120.08	c 90.0s |       7 |   650602 |     3223 |   757180      0 |      132 |     1440
122.26/122.36	c 92.3s |       7 |   762163 |     3723 |   757180      0 |      132 |     1440
124.66/124.72	c 94.6s |       7 |   791036 |     4323 |   757180      0 |      132 |     1440
126.66/126.78	c 96.7s |       7 |   791525 |     4723 |   757180      0 |      132 |     1440
127.55/127.69	c 97.6s |       8 |   791761 |     4936 |   832899      0 |      132 |     1440
129.96/130.03	c 99.9s |       8 |   808806 |     5036 |   832899      0 |      132 |     1440
135.85/135.91	c  105s |       8 |   887126 |     5636 |   832899      0 |      132 |     1440
138.75/138.89	c  108s |       8 |   909821 |     5836 |   832899      0 |      132 |     1440
142.26/142.36	c  112s |       8 |   942456 |     6036 |   832899      0 |      132 |     1440
145.75/145.90	c  115s |       8 |   971184 |     6236 |   832899      0 |      132 |     1440
148.05/148.14	c  118s |       8 |   991574 |     6436 |   832899      0 |      132 |     1440
150.96/151.08	c  120s |       8 |  1028475 |     6736 |   832899      0 |      132 |     1440
153.16/153.25	c  123s |       8 |  1043098 |     6936 |   832899      0 |      132 |     1440
155.65/155.71	c  125s |       8 |  1046787 |     7436 |   832899      0 |      132 |     1440
155.85/155.98	c  125s |       9 |  1046880 |     7506 |   916189      0 |      132 |     1440
160.05/160.15	c  130s |       9 |  1088849 |     7706 |   916189      0 |      132 |     1440
162.35/162.43	c  132s |       9 |  1142263 |     8106 |   916189      0 |      132 |     1440
171.95/172.08	c  141s |       9 |  1216850 |     8306 |   916189      0 |      132 |     1440
180.14/180.23	c  150s |       9 |  1280496 |     8406 |   916189      0 |      132 |     1440
184.24/184.38	c  154s |       9 |  1309809 |     8506 |   916189      0 |      132 |     1440
191.94/192.06	c  161s |       9 |  1376707 |     8606 |   916189      0 |      132 |     1440
195.74/195.89	c  165s |       9 |  1408560 |     9006 |   916189      0 |      132 |     1440
197.94/198.03	c  167s |       9 |  1436856 |     9206 |   916189      0 |      132 |     1440
200.94/201.01	c  170s |       9 |  1458640 |     9506 |   916189      0 |      132 |     1440
203.34/203.40	c  173s |       9 |  1471824 |     9706 |   916189      0 |      132 |     1440
205.54/205.62	c  175s |       9 |  1507119 |    10006 |   916189      0 |      132 |     1440
207.74/207.86	c  177s |       9 |  1508007 |    10506 |   916189      0 |      132 |     1440
209.84/209.92	c  179s |       9 |  1509061 |    10906 |   916189      0 |      132 |     1440
211.84/211.98	c  181s |       9 |  1510014 |    11306 |  1007808      0 |      132 |     1440
212.14/212.21	c  182s |      10 |  1510080 |    11361 |  1007808      0 |      132 |     1440
216.44/216.57	c  186s |      10 |  1536710 |    11461 |  1007808      0 |      132 |     1440
219.54/219.66	c  189s |      10 |  1633324 |    12461 |  1007808      0 |      132 |     1440
222.55/222.64	c  192s |      10 |  1655165 |    12661 |  1007808      0 |      132 |     1440
224.94/225.04	c  194s |      10 |  1712323 |    13161 |  1007808      0 |      132 |     1440
227.84/227.95	c  197s |      10 |  1733781 |    13461 |  1007808      0 |      132 |     1440
230.04/230.16	c  200s |      10 |  1744996 |    13861 |  1007808      0 |      132 |     1440
232.54/232.60	c  202s |      10 |  1745584 |    14361 |  1007808      0 |      132 |     1440
234.74/234.88	c  204s |      10 |  1746156 |    14861 |  1007808      0 |      132 |     1440
237.24/237.36	c  207s |      10 |  1747007 |    15361 |  1007808      0 |      132 |     1440
239.24/239.39	c  209s |      10 |  1747539 |    15761 |  1007808      0 |      132 |     1440
241.44/241.59	c  211s |      10 |  1748003 |    16161 |  1007808      0 |      132 |     1440
244.23/244.35	c  214s |      10 |  1792703 |    16461 |  1007808      0 |      132 |     1440
246.64/246.75	c  216s |      10 |  1838257 |    16661 |  1007808      0 |      132 |     1440
249.43/249.51	c  219s |      10 |  1873277 |    17061 |  1108589      0 |      132 |     1440
249.94/250.02	c  219s |      11 |  1879842 |    17144 |  1108589      0 |      132 |     1440
252.44/252.51	c  222s |      11 |  1899437 |    17244 |  1108589      0 |      132 |     1440
255.23/255.34	c  225s |      11 |  1923450 |    17744 |  1108589      0 |      132 |     1440
257.83/257.99	c  227s |      11 |  1946918 |    17944 |  1108589      0 |      132 |     1440
261.33/261.45	c  231s |      11 |  2004229 |    18544 |  1108589      0 |      132 |     1440
267.13/267.29	c  237s |      11 |  2060150 |    18844 |  1108589      0 |      132 |     1440
274.43/274.57	c  244s |      11 |  2136559 |    18944 |  1108589      0 |      132 |     1440
276.83/276.91	c  246s |      11 |  2207614 |    19244 |  1108589      0 |      132 |     1440
279.13/279.29	c  249s |      11 |  2227222 |    19644 |  1108589      0 |      132 |     1440
281.53/281.67	c  251s |      11 |  2254107 |    19944 |  1108589      0 |      132 |     1440
284.52/284.63	c  254s |      11 |  2284341 |    20244 |  1108589      0 |      132 |     1440
286.92/287.02	c  256s |      11 |  2285577 |    20744 |  1108589      0 |      132 |     1440
288.92/289.06	c  258s |      11 |  2286033 |    21144 |  1108589      0 |      132 |     1440
291.32/291.43	c  261s |      11 |  2286591 |    21644 |  1108589      0 |      132 |     1440
293.32/293.44	c  263s |      11 |  2287043 |    22044 |  1108589      0 |      132 |     1440
295.72/295.84	c  265s |      11 |  2287964 |    22444 |  1108589      0 |      132 |     1440
297.92/298.09	c  268s |      11 |  2288508 |    22844 |  1108589      0 |      132 |     1440
300.22/300.39	c  270s |      11 |  2289257 |    23344 |  1108589      0 |      132 |     1440
302.62/302.76	c  272s |      11 |  2289778 |    23744 |  1108589      0 |      132 |     1440
304.93/305.01	c  274s |      11 |  2290420 |    24144 |  1108589      0 |      132 |     1440
307.42/307.56	c  277s |      11 |  2291063 |    24644 |  1108589      0 |      132 |     1440
309.72/309.80	c  279s |      11 |  2291557 |    25044 |  1108589      0 |      132 |     1440
311.92/312.06	c  281s |      11 |  2292057 |    25444 |  1108589      0 |      132 |     1440
313.83/313.98	c  283s |      12 |  2292560 |    25819 |  1219448      0 |      132 |     1440
316.32/316.41	c  286s |      12 |  2309071 |    25919 |  1219448      0 |      132 |     1440
319.62/319.76	c  289s |      12 |  2331892 |    26119 |  1219448      0 |      132 |     1440
322.33/322.45	c  292s |      12 |  2357675 |    26219 |  1219448      0 |      132 |     1440
326.63/326.72	c  296s |      12 |  2381489 |    26319 |  1219448      0 |      132 |     1440
328.93/329.00	c  298s |      12 |  2385833 |    26619 |  1219448      0 |      132 |     1440
331.13/331.21	c  301s |      12 |  2386293 |    27019 |  1219448      0 |      132 |     1440
333.63/333.71	c  303s |      12 |  2387578 |    27519 |  1219448      0 |      132 |     1440
335.73/335.89	c  305s |      12 |  2388020 |    27819 |  1219448      0 |      132 |     1440
338.13/338.29	c  308s |      12 |  2388581 |    28219 |  1219448      0 |      132 |     1440
340.53/340.69	c  310s |      12 |  2389146 |    28619 |  1219448      0 |      132 |     1440
342.93/343.00	c  312s |      12 |  2389659 |    29019 |  1219448      0 |      132 |     1440
345.12/345.28	c  315s |      12 |  2390141 |    29419 |  1219448      0 |      132 |     1440
347.22/347.33	c  317s |      12 |  2390573 |    29719 |  1219448      0 |      132 |     1440
349.62/349.75	c  319s |      12 |  2391054 |    30119 |  1219448      0 |      132 |     1440
351.92/352.08	c  321s |      12 |  2391549 |    30519 |  1219448      0 |      132 |     1440
354.22/354.39	c  324s |      12 |  2392014 |    30919 |  1219448      0 |      132 |     1440
356.73/356.85	c  326s |      12 |  2400919 |    31219 |  1219448      0 |      132 |     1440
358.93/359.00	c  328s |      12 |  2445845 |    31719 |  1219448      0 |      132 |     1440
362.42/362.52	c  332s |      12 |  2468565 |    31919 |  1219448      0 |      132 |     1440
364.52/364.61	c  334s |      12 |  2512861 |    32419 |  1219448      0 |      132 |     1440
366.82/366.91	c  336s |      12 |  2534881 |    32619 |  1219448      0 |      132 |     1440
369.52/369.62	c  339s |      12 |  2542783 |    32919 |  1219448      0 |      132 |     1440
372.22/372.35	c  342s |      12 |  2543160 |    33219 |  1219448      0 |      132 |     1440
374.92/375.02	c  344s |      12 |  2543575 |    33519 |  1219448      0 |      132 |     1440
377.02/377.17	c  347s |      12 |  2558099 |    33819 |  1219448      0 |      132 |     1440
379.52/379.62	c  349s |      12 |  2558608 |    34119 |  1219448      0 |      132 |     1440
381.72/381.85	c  351s |      12 |  2560249 |    34419 |  1219448      0 |      132 |     1440
384.12/384.26	c  354s |      12 |  2560672 |    34719 |  1219448      0 |      132 |     1440
386.82/386.91	c  356s |      12 |  2561152 |    35119 |  1219448      0 |      132 |     1440
389.21/389.33	c  359s |      12 |  2561544 |    35419 |  1219448      0 |      132 |     1440
391.71/391.81	c  361s |      12 |  2561893 |    35719 |  1219448      0 |      132 |     1440
394.31/394.47	c  364s |      12 |  2562236 |    36019 |  1219448      0 |      132 |     1440
396.71/396.88	c  366s |      12 |  2562593 |    36319 |  1219448      0 |      132 |     1440
399.11/399.20	c  369s |      12 |  2562942 |    36619 |  1219448      0 |      132 |     1440
401.51/401.64	c  371s |      12 |  2563307 |    36919 |  1219448      0 |      132 |     1440
403.81/403.90	c  373s |      12 |  2563645 |    37219 |  1219448      0 |      132 |     1440
406.22/406.38	c  376s |      12 |  2564018 |    37519 |  1219448      0 |      132 |     1440
408.61/408.78	c  378s |      12 |  2583166 |    37719 |  1219448      0 |      132 |     1440
411.01/411.10	c  381s |      12 |  2586609 |    38119 |  1219448      0 |      132 |     1440
413.41/413.53	c  383s |      12 |  2587084 |    38519 |  1219448      0 |      132 |     1440
416.41/416.55	c  386s |      12 |  2587347 |    38719 |  1341393      0 |      132 |     1440
417.12/417.28	c  387s |      13 |  2587476 |    38832 |  1341393      0 |      132 |     1440
419.81/419.97	c  389s |      13 |  2619593 |    38932 |  1341393      0 |      132 |     1440
422.01/422.11	c  392s |      13 |  2658236 |    39032 |  1341393      0 |      132 |     1440
424.31/424.41	c  394s |      13 |  2711248 |    39232 |  1341393      0 |      132 |     1440
426.41/426.58	c  396s |      13 |  2767515 |    39532 |  1341393      0 |      132 |     1440
430.41/430.59	c  400s |      13 |  2788088 |    39732 |  1341393      0 |      132 |     1440
433.21/433.33	c  403s |      13 |  2792763 |    39932 |  1341393      0 |      132 |     1440
436.11/436.22	c  406s |      13 |  2806940 |    40132 |  1341393      0 |      132 |     1440
438.51/438.69	c  408s |      13 |  2807354 |    40432 |  1341393      0 |      132 |     1440
441.01/441.13	c  411s |      13 |  2822365 |    40632 |  1341393      0 |      132 |     1440
443.90/444.02	c  413s |      13 |  2841750 |    40832 |  1341393      0 |      132 |     1440
447.10/447.24	c  417s |      13 |  2885823 |    41332 |  1341393      0 |      132 |     1440
449.20/449.32	c  419s |      13 |  2933868 |    41832 |  1341393      0 |      132 |     1440
451.31/451.42	c  421s |      13 |  2934134 |    42032 |  1341393      0 |      132 |     1440
454.00/454.15	c  424s |      13 |  2934706 |    42332 |  1341393      0 |      132 |     1440
457.00/457.15	c  427s |      13 |  2935183 |    42632 |  1341393      0 |      132 |     1440
459.80/459.90	c  429s |      13 |  2935664 |    42932 |  1341393      0 |      132 |     1440
462.00/462.12	c  432s |      13 |  2935915 |    43132 |  1341393      0 |      132 |     1440
464.10/464.26	c  434s |      13 |  2936175 |    43332 |  1341393      0 |      132 |     1440
466.90/467.05	c  436s |      13 |  2936597 |    43632 |  1341393      0 |      132 |     1440
469.70/469.80	c  439s |      13 |  2936856 |    43832 |  1341393      0 |      132 |     1440
472.30/472.46	c  442s |      13 |  2937523 |    44132 |  1341393      0 |      132 |     1440
474.50/474.63	c  444s |      13 |  2954673 |    44332 |  1341393      0 |      132 |     1440
480.70/480.80	c  450s |      13 |  3014029 |    44432 |  1341393      0 |      132 |     1440
484.00/484.19	c  454s |      13 |  3043571 |    44632 |  1341393      0 |      132 |     1440
486.30/486.42	c  456s |      13 |  3058498 |    44732 |  1341393      0 |      132 |     1440
488.80/488.94	c  458s |      13 |  3095375 |    45332 |  1341393      0 |      132 |     1440
491.40/491.57	c  461s |      13 |  3107243 |    45632 |  1341393      0 |      132 |     1440
493.90/494.05	c  463s |      13 |  3125060 |    45932 |  1341393      0 |      132 |     1440
496.99/497.15	c  467s |      13 |  3157997 |    46132 |  1341393      0 |      132 |     1440
499.60/499.74	c  469s |      13 |  3179148 |    46332 |  1341393      0 |      132 |     1440
502.19/502.39	c  472s |      13 |  3207273 |    46632 |  1341393      0 |      132 |     1440
505.29/505.48	c  475s |      13 |  3237469 |    47032 |  1341393      0 |      132 |     1440
507.99/508.13	c  478s |      13 |  3244414 |    47232 |  1341393      0 |      132 |     1440
510.09/510.21	c  480s |      13 |  3264025 |    47432 |  1341393      0 |      132 |     1440
512.29/512.41	c  482s |      13 |  3283909 |    47732 |  1341393      0 |      132 |     1440
517.99/518.13	c  488s |      13 |  3333382 |    47932 |  1341393      0 |      132 |     1440
523.90/524.06	c  493s |      13 |  3373974 |    48032 |  1341393      0 |      132 |     1440
529.30/529.41	c  499s |      13 |  3400763 |    48132 |  1341393      0 |      132 |     1440
531.69/531.86	c  501s |      13 |  3400915 |    48232 |  1341393      0 |      132 |     1440
534.99/535.11	c  505s |      13 |  3420980 |    48632 |  1341393      0 |      132 |     1440
537.19/537.34	c  507s |      13 |  3469225 |    48932 |  1341393      0 |      132 |     1440
539.39/539.60	c  509s |      13 |  3496161 |    49232 |  1341393      0 |      132 |     1440
541.69/541.81	c  511s |      13 |  3497313 |    49532 |  1341393      0 |      132 |     1440
543.89/544.03	c  513s |      13 |  3512737 |    49632 |  1341393      0 |      132 |     1440
545.89/546.03	c  515s |      13 |  3521906 |    49832 |  1341393      0 |      132 |     1440
548.88/549.01	c  518s |      13 |  3522252 |    50132 |  1341393      0 |      132 |     1440
551.39/551.52	c  521s |      13 |  3522647 |    50432 |  1341393      0 |      132 |     1440
554.28/554.46	c  524s |      13 |  3522989 |    50732 |  1341393      0 |      132 |     1440
557.08/557.23	c  527s |      13 |  3523392 |    51032 |  1341393      0 |      132 |     1440
559.38/559.55	c  529s |      13 |  3523660 |    51232 |  1341393      0 |      132 |     1440
562.18/562.38	c  532s |      13 |  3524052 |    51532 |  1341393      0 |      132 |     1440
564.49/564.62	c  534s |      13 |  3524369 |    51732 |  1341393      0 |      132 |     1440
567.08/567.28	c  537s |      13 |  3524859 |    52032 |  1341393      0 |      132 |     1440
569.78/569.94	c  539s |      13 |  3525345 |    52332 |  1341393      0 |      132 |     1440
572.48/572.61	c  542s |      13 |  3525696 |    52632 |  1341393      0 |      132 |     1440
575.08/575.20	c  545s |      13 |  3526102 |    52932 |  1341393      0 |      132 |     1440
577.78/577.99	c  547s |      13 |  3526504 |    53232 |  1341393      0 |      132 |     1440
580.47/580.65	c  550s |      13 |  3526876 |    53532 |  1341393      0 |      132 |     1440
582.47/582.68	c  552s |      13 |  3527123 |    53732 |  1341393      0 |      132 |     1440
585.17/585.32	c  555s |      13 |  3527572 |    54032 |  1341393      0 |      132 |     1440
587.77/587.97	c  557s |      13 |  3527939 |    54332 |  1341393      0 |      132 |     1440
589.88/590.02	c  559s |      13 |  3528214 |    54532 |  1341393      0 |      132 |     1440
591.98/592.15	c  562s |      13 |  3528521 |    54732 |  1341393      0 |      132 |     1440
594.17/594.40	c  564s |      13 |  3528782 |    54932 |  1341393      0 |      132 |     1440
596.97/597.10	c  567s |      13 |  3529499 |    55232 |  1341393      0 |      132 |     1440
599.77/599.98	c  569s |      13 |  3529920 |    55532 |  1341393      0 |      132 |     1440
602.07/602.26	c  572s |      13 |  3530346 |    55732 |  1341393      0 |      132 |     1440
604.37/604.55	c  574s |      13 |  3530648 |    55932 |  1341393      0 |      132 |     1440
607.26/607.46	c  577s |      13 |  3531156 |    56232 |  1341393      0 |      132 |     1440
609.76/610.00	c  579s |      13 |  3531371 |    56432 |  1341393      0 |      132 |     1440
612.56/612.76	c  582s |      13 |  3532337 |    56732 |  1341393      0 |      132 |     1440
614.66/614.89	c  584s |      13 |  3532646 |    56932 |  1341393      0 |      132 |     1440
617.56/617.79	c  587s |      13 |  3549288 |    57132 |  1341393      0 |      132 |     1440
622.76/622.92	c  592s |      13 |  3581087 |    57332 |  1341393      0 |      132 |     1440
625.15/625.38	c  595s |      13 |  3595087 |    57632 |  1341393      0 |      132 |     1440
627.26/627.44	c  597s |      13 |  3635902 |    58132 |  1475533      0 |      132 |     1440
627.95/628.14	c  598s |      14 |  3665024 |    58352 |  1475533      0 |      132 |     1440
630.56/630.77	c  600s |      14 |  3691254 |    58752 |  1475533      0 |      132 |     1440
633.05/633.25	c  603s |      14 |  3691742 |    59152 |  1475533      0 |      132 |     1440
635.25/635.49	c  605s |      14 |  3692198 |    59552 |  1475533      0 |      132 |     1440
637.75/637.95	c  607s |      14 |  3692715 |    59952 |  1475533      0 |      132 |     1440
640.05/640.23	c  610s |      14 |  3693082 |    60252 |  1475533      0 |      132 |     1440
642.56/642.71	c  612s |      14 |  3693553 |    60652 |  1475533      0 |      132 |     1440
645.05/645.26	c  615s |      14 |  3694010 |    61052 |  1475533      0 |      132 |     1440
647.54/647.74	c  617s |      14 |  3694484 |    61452 |  1475533      0 |      132 |     1440
650.35/650.55	c  620s |      14 |  3695116 |    61852 |  1475533      0 |      132 |     1440
653.04/653.21	c  623s |      14 |  3699256 |    62152 |  1475533      0 |      132 |     1440
658.24/658.43	c  628s |      14 |  3727467 |    62352 |  1475533      0 |      132 |     1440
661.75/661.98	c  631s |      14 |  3739714 |    62652 |  1475533      0 |      132 |     1440
664.65/664.82	c  634s |      14 |  3775782 |    62952 |  1475533      0 |      132 |     1440
666.65/666.83	c  636s |      14 |  3815654 |    63352 |  1475533      0 |      132 |     1440
669.05/669.23	c  639s |      14 |  3871521 |    64052 |  1475533      0 |      132 |     1440
672.04/672.25	c  642s |      14 |  3881802 |    64252 |  1475533      0 |      132 |     1440
674.55/674.76	c  644s |      14 |  3882250 |    64652 |  1475533      0 |      132 |     1440
676.75/676.99	c  646s |      14 |  3882719 |    65052 |  1475533      0 |      132 |     1440
679.84/680.00	c  649s |      14 |  3893580 |    65352 |  1475533      0 |      132 |     1440
682.34/682.50	c  652s |      14 |  3893858 |    65552 |  1475533      0 |      132 |     1440
684.45/684.67	c  654s |      14 |  3894096 |    65752 |  1475533      0 |      132 |     1440
687.04/687.22	c  657s |      14 |  3894339 |    65952 |  1475533      0 |      132 |     1440
689.44/689.62	c  659s |      14 |  3894566 |    66152 |  1475533      0 |      132 |     1440
691.84/692.01	c  661s |      14 |  3894784 |    66352 |  1475533      0 |      132 |     1440
693.94/694.13	c  664s |      14 |  3895012 |    66552 |  1475533      0 |      132 |     1440
696.55/696.77	c  666s |      14 |  3895368 |    66852 |  1475533      0 |      132 |     1440
698.94/699.18	c  669s |      14 |  3895712 |    67152 |  1475533      0 |      132 |     1440
701.54/701.76	c  671s |      14 |  3896117 |    67452 |  1475533      0 |      132 |     1440
704.04/704.20	c  674s |      14 |  3896345 |    67652 |  1475533      0 |      132 |     1440
706.24/706.44	c  676s |      14 |  3896592 |    67852 |  1475533      0 |      132 |     1440
708.84/709.04	c  678s |      14 |  3896935 |    68152 |  1475533      0 |      132 |     1440
711.44/711.68	c  681s |      14 |  3897280 |    68452 |  1475533      0 |      132 |     1440
713.73/713.90	c  683s |      14 |  3897504 |    68652 |  1475533      0 |      132 |     1440
715.73/715.91	c  685s |      14 |  3897735 |    68852 |  1475533      0 |      132 |     1440
717.93/718.17	c  688s |      14 |  3898012 |    69052 |  1475533      0 |      132 |     1440
720.74/720.93	c  690s |      14 |  3898476 |    69452 |  1475533      0 |      132 |     1440
723.03/723.28	c  693s |      14 |  3898811 |    69752 |  1475533      0 |      132 |     1440
725.53/725.76	c  695s |      14 |  3899174 |    70052 |  1475533      0 |      132 |     1440
727.63/727.82	c  697s |      14 |  3899503 |    70352 |  1475533      0 |      132 |     1440
729.63/729.84	c  699s |      14 |  3899858 |    70652 |  1475533      0 |      132 |     1440
731.64/731.90	c  701s |      14 |  3900097 |    70852 |  1475533      0 |      132 |     1440
734.23/734.43	c  704s |      14 |  3900337 |    71052 |  1475533      0 |      132 |     1440
736.33/736.55	c  706s |      14 |  3900579 |    71252 |  1475533      0 |      132 |     1440
738.63/738.89	c  708s |      14 |  3900812 |    71452 |  1475533      0 |      132 |     1440
740.93/741.18	c  711s |      14 |  3901057 |    71652 |  1475533      0 |      132 |     1440
743.53/743.71	c  713s |      14 |  3901272 |    71852 |  1475533      0 |      132 |     1440
745.93/746.17	c  716s |      14 |  3901521 |    72052 |  1475533      0 |      132 |     1440
748.03/748.22	c  718s |      14 |  3901726 |    72252 |  1475533      0 |      132 |     1440
750.43/750.63	c  720s |      14 |  3902058 |    72552 |  1475533      0 |      132 |     1440
752.53/752.78	c  722s |      14 |  3902291 |    72752 |  1475533      0 |      132 |     1440
754.63/754.80	c  724s |      14 |  3902513 |    72952 |  1475533      0 |      132 |     1440
756.93/757.14	c  727s |      14 |  3902742 |    73152 |  1475533      0 |      132 |     1440
759.42/759.68	c  729s |      14 |  3902958 |    73352 |  1475533      0 |      132 |     1440
761.83/762.02	c  731s |      14 |  3903207 |    73552 |  1475533      0 |      132 |     1440
764.52/764.78	c  734s |      14 |  3903549 |    73852 |  1475533      0 |      132 |     1440
766.93/767.11	c  737s |      14 |  3903897 |    74152 |  1475533      0 |      132 |     1440
769.03/769.27	c  739s |      14 |  3904253 |    74452 |  1475533      0 |      132 |     1440
771.73/771.96	c  741s |      14 |  3904581 |    74752 |  1475533      0 |      132 |     1440
774.23/774.47	c  744s |      14 |  3904803 |    74952 |  1475533      0 |      132 |     1440
776.73/776.97	c  746s |      14 |  3904912 |    75052 |  1475533      0 |      132 |     1440
779.62/779.84	c  749s |      14 |  3905246 |    75352 |  1475533      0 |      132 |     1440
782.23/782.44	c  752s |      14 |  3905594 |    75652 |  1475533      0 |      132 |     1440
784.53/784.78	c  754s |      14 |  3905931 |    75952 |  1475533      0 |      132 |     1440
786.52/786.80	c  756s |      14 |  3906251 |    76252 |  1475533      0 |      132 |     1440
789.52/789.72	c  759s |      14 |  3906647 |    76552 |  1475533      0 |      132 |     1440
792.22/792.45	c  762s |      14 |  3906979 |    76852 |  1475533      0 |      132 |     1440
794.71/794.99	c  764s |      14 |  3907311 |    77152 |  1475533      0 |      132 |     1440
797.32/797.57	c  767s |      14 |  3907646 |    77452 |  1475533      0 |      132 |     1440
799.51/799.73	c  769s |      14 |  3907878 |    77652 |  1475533      0 |      132 |     1440
801.61/801.86	c  771s |      14 |  3908100 |    77852 |  1475533      0 |      132 |     1440
804.51/804.77	c  774s |      14 |  3908474 |    78152 |  1475533      0 |      132 |     1440
806.51/806.79	c  776s |      14 |  3908710 |    78352 |  1475533      0 |      132 |     1440
809.21/809.40	c  779s |      14 |  3909066 |    78652 |  1475533      0 |      132 |     1440
811.91/812.14	c  782s |      14 |  3909293 |    78852 |  1475533      0 |      132 |     1440
814.50/814.77	c  784s |      14 |  3909534 |    79052 |  1475533      0 |      132 |     1440
817.51/817.73	c  787s |      14 |  3909895 |    79352 |  1475533      0 |      132 |     1440
819.80/820.04	c  789s |      14 |  3910130 |    79552 |  1475533      0 |      132 |     1440
822.00/822.25	c  792s |      14 |  3910368 |    79752 |  1475533      0 |      132 |     1440
824.41/824.65	c  794s |      14 |  3910590 |    79952 |  1475533      0 |      132 |     1440
826.50/826.78	c  796s |      14 |  3910803 |    80152 |  1475533      0 |      132 |     1440
829.01/829.29	c  799s |      14 |  3911095 |    80352 |  1475533      0 |      132 |     1440
831.81/832.01	c  801s |      14 |  3911312 |    80552 |  1475533      0 |      132 |     1440
834.10/834.31	c  804s |      14 |  3911559 |    80752 |  1475533      0 |      132 |     1440
836.69/836.92	c  806s |      14 |  3911807 |    80952 |  1475533      0 |      132 |     1440
839.30/839.51	c  809s |      14 |  3911939 |    81052 |  1475533      0 |      132 |     1440
842.20/842.42	c  812s |      14 |  3912302 |    81352 |  1475533      0 |      132 |     1440
845.00/845.23	c  815s |      14 |  3912669 |    81652 |  1475533      0 |      132 |     1440
847.10/847.37	c  817s |      14 |  3912895 |    81852 |  1475533      0 |      132 |     1440
849.90/850.11	c  820s |      14 |  3913240 |    82152 |  1475533      0 |      132 |     1440
852.89/853.19	c  823s |      14 |  3913592 |    82452 |  1475533      0 |      132 |     1440
856.39/856.65	c  826s |      14 |  3913999 |    82752 |  1475533      0 |      132 |     1440
859.20/859.50	c  829s |      14 |  3914237 |    82952 |  1475533      0 |      132 |     1440
862.19/862.47	c  832s |      14 |  3914465 |    83152 |  1475533      0 |      132 |     1440
864.89/865.11	c  835s |      14 |  3914703 |    83352 |  1475533      0 |      132 |     1440
867.19/867.40	c  837s |      14 |  3914915 |    83552 |  1475533      0 |      132 |     1440
869.69/869.93	c  839s |      14 |  3915154 |    83752 |  1475533      0 |      132 |     1440
872.79/873.00	c  842s |      14 |  3915392 |    83952 |  1475533      0 |      132 |     1440
875.70/875.97	c  845s |      14 |  3915605 |    84152 |  1475533      0 |      132 |     1440
878.30/878.53	c  848s |      14 |  3915877 |    84352 |  1475533      0 |      132 |     1440
880.70/880.98	c  850s |      14 |  3916107 |    84552 |  1475533      0 |      132 |     1440
883.40/883.62	c  853s |      14 |  3916351 |    84752 |  1475533      0 |      132 |     1440
886.09/886.34	c  856s |      14 |  3916605 |    84952 |  1475533      0 |      132 |     1440
888.49/888.74	c  858s |      14 |  3916847 |    85152 |  1475533      0 |      132 |     1440
890.99/891.23	c  861s |      14 |  3917074 |    85352 |  1475533      0 |      132 |     1440
893.79/894.06	c  863s |      14 |  3917303 |    85552 |  1475533      0 |      132 |     1440
896.70/896.99	c  866s |      14 |  3917562 |    85752 |  1475533      0 |      132 |     1440
899.69/899.97	c  869s |      14 |  3917796 |    85952 |  1475533      0 |      132 |     1440
902.49/902.72	c  872s |      14 |  3918056 |    86152 |  1475533      0 |      132 |     1440
905.49/905.74	c  875s |      14 |  3918334 |    86352 |  1475533      0 |      132 |     1440
908.49/908.76	c  878s |      14 |  3918565 |    86552 |  1475533      0 |      132 |     1440
912.79/913.08	c  882s |      14 |  3918804 |    86752 |  1475533      0 |      132 |     1440
915.88/916.18	c  886s |      14 |  3919054 |    86952 |  1475533      0 |      132 |     1440
918.18/918.45	c  888s |      14 |  3919295 |    87152 |  1623087      0 |      132 |     1440
920.68/920.92	c  890s |      14 |  3919532 |    87352 |  1623087      0 |      132 |     1440
922.78/923.08	c  892s |      14 |  3919761 |    87552 |  1623087      0 |      132 |     1440
923.68/923.94	c  893s |      15 |  3919852 |    87632 |  1623087      0 |      132 |     1440
930.97/931.20	c  901s |      15 |  3971662 |    87732 |  1623087      0 |      132 |     1440
939.17/939.45	c  909s |      15 |  4070780 |    87832 |  1623087      0 |      132 |     1440
941.97/942.27	c  912s |      15 |  4081146 |    88132 |  1623087      0 |      132 |     1440
944.57/944.83	c  914s |      15 |  4081456 |    88332 |  1623087      0 |      132 |     1440
947.57/947.81	c  917s |      15 |  4081755 |    88532 |  1623087      0 |      132 |     1440
954.47/954.77	c  924s |      15 |  4139549 |    88632 |  1623087      0 |      132 |     1440
960.57/960.84	c  930s |      15 |  4187285 |    88732 |  1623087      0 |      132 |     1440
962.67/962.97	c  932s |      15 |  4188283 |    89132 |  1623087      0 |      132 |     1440
965.27/965.53	c  935s |      15 |  4188683 |    89332 |  1623087      0 |      132 |     1440
967.67/967.92	c  937s |      15 |  4188944 |    89532 |  1623087      0 |      132 |     1440
970.16/970.46	c  940s |      15 |  4189192 |    89732 |  1623087      0 |      132 |     1440
972.36/972.64	c  942s |      15 |  4189440 |    89932 |  1623087      0 |      132 |     1440
975.26/975.50	c  945s |      15 |  4189812 |    90232 |  1623087      0 |      132 |     1440
977.26/977.57	c  947s |      15 |  4190072 |    90432 |  1623087      0 |      132 |     1440
980.06/980.38	c  950s |      15 |  4190430 |    90732 |  1623087      0 |      132 |     1440
983.06/983.34	c  953s |      15 |  4190798 |    91032 |  1623087      0 |      132 |     1440
985.26/985.53	c  955s |      15 |  4191088 |    91232 |  1623087      0 |      132 |     1440
988.36/988.64	c  958s |      15 |  4191454 |    91532 |  1623087      0 |      132 |     1440
991.27/991.53	c  961s |      15 |  4191795 |    91832 |  1623087      0 |      132 |     1440
993.66/993.98	c  963s |      15 |  4192027 |    92032 |  1623087      0 |      132 |     1440
995.96/996.28	c  966s |      15 |  4192371 |    92332 |  1623087      0 |      132 |     1440
998.46/998.72	c  968s |      15 |  4192755 |    92632 |  1623087      0 |      132 |     1440
1000.46/1000.79	c  970s |      15 |  4192980 |    92832 |  1623087      0 |      132 |     1440
1003.16/1003.43	c  973s |      15 |  4193390 |    93132 |  1623087      0 |      132 |     1440
1006.16/1006.43	c  976s |      15 |  4193740 |    93432 |  1623087      0 |      132 |     1440
1008.26/1008.50	c  978s |      15 |  4193958 |    93632 |  1623087      0 |      132 |     1440
1010.26/1010.56	c  980s |      15 |  4194202 |    93832 |  1623087      0 |      132 |     1440
1012.36/1012.65	c  982s |      15 |  4194437 |    94032 |  1623087      0 |      132 |     1440
1015.06/1015.35	c  985s |      15 |  4194814 |    94332 |  1623087      0 |      132 |     1440
1017.66/1017.95	c  987s |      15 |  4195173 |    94632 |  1623087      0 |      132 |     1440
1019.96/1020.25	c  990s |      15 |  4195523 |    94932 |  1623087      0 |      132 |     1440
1022.26/1022.58	c  992s |      15 |  4195881 |    95232 |  1623087      0 |      132 |     1440
1024.96/1025.20	c  995s |      15 |  4196238 |    95532 |  1623087      0 |      132 |     1440
1027.66/1027.97	c  997s |      15 |  4196476 |    95732 |  1623087      0 |      132 |     1440
1029.86/1030.13	c 1000s |      15 |  4196712 |    95932 |  1623087      0 |      132 |     1440
1031.96/1032.28	c 1002s |      15 |  4196940 |    96132 |  1623087      0 |      132 |     1440
1034.26/1034.50	c 1004s |      15 |  4197210 |    96332 |  1623087      0 |      132 |     1440
1036.95/1037.27	c 1007s |      15 |  4197547 |    96632 |  1623087      0 |      132 |     1440
1039.56/1039.87	c 1009s |      15 |  4197916 |    96932 |  1623087      0 |      132 |     1440
1042.35/1042.69	c 1012s |      15 |  4198305 |    97232 |  1623087      0 |      132 |     1440
1044.95/1045.30	c 1015s |      15 |  4198637 |    97532 |  1623087      0 |      132 |     1440
1047.85/1048.15	c 1018s |      15 |  4198982 |    97832 |  1623087      0 |      132 |     1440
1049.95/1050.23	c 1020s |      15 |  4199237 |    98032 |  1623087      0 |      132 |     1440
1052.35/1052.67	c 1022s |      15 |  4199457 |    98232 |  1623087      0 |      132 |     1440
1054.75/1055.08	c 1024s |      15 |  4199688 |    98432 |  1623087      0 |      132 |     1440
1056.85/1057.11	c 1027s |      15 |  4199909 |    98632 |  1623087      0 |      132 |     1440
1059.36/1059.62	c 1029s |      15 |  4200126 |    98832 |  1623087      0 |      132 |     1440
1061.35/1061.66	c 1031s |      15 |  4200369 |    99032 |  1623087      0 |      132 |     1440
1063.45/1063.73	c 1033s |      15 |  4200597 |    99232 |  1623087      0 |      132 |     1440
1065.65/1065.95	c 1035s |      15 |  4200839 |    99432 |  1623087      0 |      132 |     1440
1068.05/1068.33	c 1038s |      15 |  4201063 |    99632 |  1623087      0 |      132 |     1440
1070.05/1070.38	c 1040s |      15 |  4201309 |    99832 |  1623087      0 |      132 |     1440
1073.76/1074.00	c 1043s |      15 |  4201539 |   100032 |  1623087      0 |      132 |     1440
1076.24/1076.51	c 1046s |      15 |  4201892 |   100332 |  1623087      0 |      132 |     1440
1078.84/1079.10	c 1049s |      15 |  4202253 |   100632 |  1623087      0 |      132 |     1440
1081.45/1081.79	c 1051s |      15 |  4202605 |   100932 |  1623087      0 |      132 |     1440
1084.04/1084.39	c 1054s |      15 |  4202943 |   101232 |  1623087      0 |      132 |     1440
1086.34/1086.65	c 1056s |      15 |  4203291 |   101532 |  1623087      0 |      132 |     1440
1088.84/1089.19	c 1059s |      15 |  4203632 |   101832 |  1623087      0 |      132 |     1440
1091.44/1091.72	c 1061s |      15 |  4203985 |   102132 |  1623087      0 |      132 |     1440
1093.45/1093.75	c 1063s |      15 |  4204205 |   102332 |  1623087      0 |      132 |     1440
1095.54/1095.80	c 1065s |      15 |  4204427 |   102532 |  1623087      0 |      132 |     1440
1098.34/1098.69	c 1068s |      15 |  4204782 |   102832 |  1623087      0 |      132 |     1440
1100.94/1101.26	c 1071s |      15 |  4205141 |   103132 |  1623087      0 |      132 |     1440
1103.54/1103.84	c 1073s |      15 |  4205509 |   103432 |  1623087      0 |      132 |     1440
1106.33/1106.68	c 1076s |      15 |  4205852 |   103732 |  1623087      0 |      132 |     1440
1108.73/1109.08	c 1078s |      15 |  4206214 |   104032 |  1623087      0 |      132 |     1440
1111.43/1111.75	c 1081s |      15 |  4206575 |   104332 |  1623087      0 |      132 |     1440
1113.93/1114.29	c 1084s |      15 |  4206936 |   104632 |  1623087      0 |      132 |     1440
1116.23/1116.50	c 1086s |      15 |  4207183 |   104832 |  1623087      0 |      132 |     1440
1119.13/1119.43	c 1089s |      15 |  4207520 |   105132 |  1623087      0 |      132 |     1440
1122.04/1122.32	c 1092s |      15 |  4207849 |   105432 |  1623087      0 |      132 |     1440
1124.03/1124.33	c 1094s |      15 |  4208078 |   105632 |  1623087      0 |      132 |     1440
1126.03/1126.35	c 1096s |      15 |  4208297 |   105832 |  1623087      0 |      132 |     1440
1128.63/1128.94	c 1098s |      15 |  4208645 |   106132 |  1623087      0 |      132 |     1440
1131.13/1131.47	c 1101s |      15 |  4209001 |   106432 |  1623087      0 |      132 |     1440
1133.93/1134.24	c 1104s |      15 |  4209352 |   106732 |  1623087      0 |      132 |     1440
1136.03/1136.30	c 1106s |      15 |  4209585 |   106932 |  1623087      0 |      132 |     1440
1138.23/1138.52	c 1108s |      15 |  4209819 |   107132 |  1623087      0 |      132 |     1440
1140.52/1140.89	c 1110s |      15 |  4210057 |   107332 |  1623087      0 |      132 |     1440
1142.52/1142.90	c 1112s |      15 |  4210288 |   107532 |  1623087      0 |      132 |     1440
1144.82/1145.14	c 1115s |      15 |  4210513 |   107732 |  1623087      0 |      132 |     1440
1147.22/1147.53	c 1117s |      15 |  4210755 |   107932 |  1623087      0 |      132 |     1440
1149.32/1149.63	c 1119s |      15 |  4210986 |   108132 |  1623087      0 |      132 |     1440
1152.23/1152.56	c 1122s |      15 |  4211339 |   108432 |  1623087      0 |      132 |     1440
1154.83/1155.16	c 1125s |      15 |  4211681 |   108732 |  1623087      0 |      132 |     1440
1157.82/1158.10	c 1128s |      15 |  4212064 |   109032 |  1623087      0 |      132 |     1440
1160.32/1160.67	c 1130s |      15 |  4212388 |   109332 |  1623087      0 |      132 |     1440
1162.73/1163.08	c 1132s |      15 |  4212734 |   109632 |  1623087      0 |      132 |     1440
1165.82/1166.13	c 1136s |      15 |  4213110 |   109932 |  1623087      0 |      132 |     1440
1168.62/1168.98	c 1138s |      15 |  4213475 |   110232 |  1623087      0 |      132 |     1440
1171.12/1171.41	c 1141s |      15 |  4213596 |   110332 |  1623087      0 |      132 |     1440
1173.22/1173.57	c 1143s |      15 |  4213825 |   110532 |  1623087      0 |      132 |     1440
1175.42/1175.73	c 1145s |      15 |  4214046 |   110732 |  1623087      0 |      132 |     1440
1178.42/1178.76	c 1148s |      15 |  4214386 |   111032 |  1623087      0 |      132 |     1440
1180.92/1181.22	c 1151s |      15 |  4214606 |   111232 |  1623087      0 |      132 |     1440
1182.92/1183.24	c 1153s |      15 |  4214835 |   111432 |  1623087      0 |      132 |     1440
1185.42/1185.78	c 1155s |      15 |  4215173 |   111732 |  1623087      0 |      132 |     1440
1187.72/1188.09	c 1157s |      15 |  4215537 |   112032 |  1623087      0 |      132 |     1440
1190.52/1190.85	c 1160s |      15 |  4215863 |   112332 |  1623087      0 |      132 |     1440
1193.12/1193.43	c 1163s |      15 |  4216203 |   112632 |  1623087      0 |      132 |     1440
1195.62/1195.99	c 1165s |      15 |  4216527 |   112932 |  1623087      0 |      132 |     1440
1198.51/1198.83	c 1168s |      15 |  4216867 |   113232 |  1623087      0 |      132 |     1440
1201.01/1201.31	c 1171s |      15 |  4217217 |   113532 |  1623087      0 |      132 |     1440
1203.01/1203.32	c 1173s |      15 |  4217444 |   113732 |  1623087      0 |      132 |     1440
1205.72/1206.08	c 1175s |      15 |  4217785 |   114032 |  1623087      0 |      132 |     1440
1207.71/1208.09	c 1177s |      15 |  4218040 |   114232 |  1623087      0 |      132 |     1440
1210.61/1210.95	c 1180s |      15 |  4218393 |   114532 |  1623087      0 |      132 |     1440
1213.32/1213.66	c 1183s |      15 |  4218742 |   114832 |  1623087      0 |      132 |     1440
1215.52/1215.86	c 1185s |      15 |  4218953 |   115032 |  1623087      0 |      132 |     1440
1218.31/1218.62	c 1188s |      15 |  4219273 |   115332 |  1623087      0 |      132 |     1440
1220.91/1221.27	c 1191s |      15 |  4219615 |   115632 |  1623087      0 |      132 |     1440
1223.51/1223.86	c 1193s |      15 |  4219847 |   115832 |  1623087      0 |      132 |     1440
1225.60/1225.92	c 1195s |      15 |  4220077 |   116032 |  1623087      0 |      132 |     1440
1227.91/1228.29	c 1198s |      15 |  4220295 |   116232 |  1623087      0 |      132 |     1440
1230.20/1230.57	c 1200s |      15 |  4220507 |   116432 |  1623087      0 |      132 |     1440
1232.90/1233.28	c 1203s |      15 |  4220733 |   116632 |  1623087      0 |      132 |     1440
1235.31/1235.67	c 1205s |      15 |  4220951 |   116832 |  1623087      0 |      132 |     1440
1237.61/1237.93	c 1207s |      15 |  4221173 |   117032 |  1623087      0 |      132 |     1440
1240.20/1240.51	c 1210s |      15 |  4221394 |   117232 |  1623087      0 |      132 |     1440
1242.69/1243.03	c 1212s |      15 |  4221628 |   117432 |  1623087      0 |      132 |     1440
1244.90/1245.29	c 1215s |      15 |  4221860 |   117632 |  1623087      0 |      132 |     1440
1247.40/1247.79	c 1217s |      15 |  4221963 |   117732 |  1623087      0 |      132 |     1440
1250.39/1250.72	c 1220s |      15 |  4222347 |   118032 |  1623087      0 |      132 |     1440
1252.49/1252.81	c 1222s |      15 |  4222713 |   118232 |  1623087      0 |      132 |     1440
1254.69/1255.07	c 1224s |      15 |  4223068 |   118432 |  1623087      0 |      132 |     1440
1256.89/1257.26	c 1227s |      15 |  4223364 |   118632 |  1623087      0 |      132 |     1440
1258.99/1259.32	c 1229s |      15 |  4223661 |   118832 |  1623087      0 |      132 |     1440
1261.09/1261.47	c 1231s |      15 |  4223943 |   119032 |  1623087      0 |      132 |     1440
1263.39/1263.79	c 1233s |      15 |  4224172 |   119232 |  1623087      0 |      132 |     1440
1265.69/1266.03	c 1235s |      15 |  4224392 |   119432 |  1623087      0 |      132 |     1440
1267.89/1268.22	c 1238s |      15 |  4224614 |   119632 |  1623087      0 |      132 |     1440
1270.70/1271.07	c 1240s |      15 |  4225074 |   119932 |  1623087      0 |      132 |     1440
1273.10/1273.48	c 1243s |      15 |  4225640 |   120232 |  1623087      0 |      132 |     1440
1275.50/1275.81	c 1245s |      15 |  4226014 |   120432 |  1623087      0 |      132 |     1440
1277.80/1278.17	c 1248s |      15 |  4226293 |   120632 |  1623087      0 |      132 |     1440
1280.30/1280.68	c 1250s |      15 |  4226753 |   120932 |  1623087      0 |      132 |     1440
1283.10/1283.41	c 1253s |      15 |  4227095 |   121232 |  1623087      0 |      132 |     1440
1285.40/1285.71	c 1255s |      15 |  4227343 |   121432 |  1623087      0 |      132 |     1440
1287.60/1287.90	c 1257s |      15 |  4227554 |   121632 |  1623087      0 |      132 |     1440
1290.30/1290.66	c 1260s |      15 |  4227877 |   121932 |  1623087      0 |      132 |     1440
1292.39/1292.71	c 1262s |      15 |  4228120 |   122132 |  1623087      0 |      132 |     1440
1294.59/1295.00	c 1264s |      15 |  4228397 |   122332 |  1623087      0 |      132 |     1440
1297.29/1297.67	c 1267s |      15 |  4228613 |   122532 |  1623087      0 |      132 |     1440
1300.20/1300.53	c 1270s |      15 |  4228985 |   122832 |  1623087      0 |      132 |     1440
1302.79/1303.18	c 1273s |      15 |  4229344 |   123132 |  1623087      0 |      132 |     1440
1305.49/1305.89	c 1275s |      15 |  4229658 |   123432 |  1623087      0 |      132 |     1440
1307.90/1308.22	c 1278s |      15 |  4229907 |   123632 |  1623087      0 |      132 |     1440
1310.39/1310.70	c 1280s |      15 |  4230135 |   123832 |  1623087      0 |      132 |     1440
1312.69/1313.02	c 1282s |      15 |  4230435 |   124032 |  1623087      0 |      132 |     1440
1315.69/1316.09	c 1286s |      15 |  4230777 |   124332 |  1623087      0 |      132 |     1440
1317.89/1318.21	c 1288s |      15 |  4231013 |   124532 |  1623087      0 |      132 |     1440
1320.28/1320.65	c 1290s |      15 |  4231133 |   124632 |  1623087      0 |      132 |     1440
1322.38/1322.70	c 1292s |      15 |  4231442 |   124832 |  1623087      0 |      132 |     1440
1324.98/1325.37	c 1295s |      15 |  4231810 |   125132 |  1623087      0 |      132 |     1440
1327.88/1328.23	c 1298s |      15 |  4232228 |   125432 |  1623087      0 |      132 |     1440
1330.48/1330.82	c 1300s |      15 |  4232601 |   125732 |  1623087      0 |      132 |     1440
1332.48/1332.88	c 1302s |      15 |  4232855 |   125932 |  1623087      0 |      132 |     1440
1335.08/1335.42	c 1305s |      15 |  4233240 |   126232 |  1623087      0 |      132 |     1440
1337.88/1338.28	c 1308s |      15 |  4233585 |   126532 |  1623087      0 |      132 |     1440
1339.98/1340.35	c 1310s |      15 |  4233876 |   126732 |  1623087      0 |      132 |     1440
1342.58/1342.92	c 1312s |      15 |  4234228 |   127032 |  1623087      0 |      132 |     1440
1344.88/1345.26	c 1315s |      15 |  4234492 |   127232 |  1623087      0 |      132 |     1440
1347.17/1347.52	c 1317s |      15 |  4234734 |   127432 |  1623087      0 |      132 |     1440
1349.57/1349.96	c 1319s |      15 |  4235010 |   127632 |  1623087      0 |      132 |     1440
1352.98/1353.35	c 1323s |      15 |  4235390 |   127932 |  1623087      0 |      132 |     1440
1355.57/1355.93	c 1325s |      15 |  4235650 |   128132 |  1623087      0 |      132 |     1440
1357.67/1358.01	c 1327s |      15 |  4235903 |   128332 |  1623087      0 |      132 |     1440
1360.68/1361.04	c 1330s |      15 |  4236263 |   128632 |  1623087      0 |      132 |     1440
1363.27/1363.61	c 1333s |      15 |  4236615 |   128932 |  1623087      0 |      132 |     1440
1365.97/1366.37	c 1336s |      15 |  4236972 |   129232 |  1623087      0 |      132 |     1440
1368.76/1369.13	c 1339s |      15 |  4237317 |   129532 |  1623087      0 |      132 |     1440
1371.67/1372.06	c 1341s |      15 |  4237669 |   129832 |  1623087      0 |      132 |     1440
1374.26/1374.66	c 1344s |      15 |  4238114 |   130132 |  1623087      0 |      132 |     1440
1376.56/1376.93	c 1346s |      15 |  4238453 |   130432 |  1623087      0 |      132 |     1440
1378.87/1379.21	c 1349s |      15 |  4238813 |   130732 |  1785396      0 |      132 |     1440
1381.37/1381.75	c 1351s |      15 |  4239172 |   131032 |  1785396      0 |      132 |     1440
1385.77/1386.12	c 1356s |      15 |  4239562 |   131332 |  1785396      0 |      132 |     1440
1387.67/1388.01	c 1357s |      16 |  4239790 |   131552 |  1785396      0 |      132 |     1440
1390.86/1391.26	c 1361s |      16 |  4240850 |   131652 |  1785396      0 |      132 |     1440
1395.56/1395.96	c 1365s |      16 |  4263051 |   131852 |  1785396      0 |      132 |     1440
1398.76/1399.19	c 1369s |      16 |  4290818 |   131952 |  1785396      0 |      132 |     1440
1400.86/1401.28	c 1371s |      16 |  4301409 |   132152 |  1785396      0 |      132 |     1440
1405.26/1405.61	c 1375s |      16 |  4327029 |   132452 |  1785396      0 |      132 |     1440
1408.56/1408.91	c 1378s |      16 |  4342854 |   132552 |  1785396      0 |      132 |     1440
1411.56/1412.00	c 1381s |      16 |  4371314 |   132752 |  1785396      0 |      132 |     1440
1413.76/1414.12	c 1384s |      16 |  4376409 |   133152 |  1785396      0 |      132 |     1440
1415.77/1416.13	c 1386s |      16 |  4376794 |   133252 |  1785396      0 |      132 |     1440
1418.96/1419.36	c 1389s |      16 |  4377262 |   133552 |  1785396      0 |      132 |     1440
1420.96/1421.37	c 1391s |      16 |  4377481 |   133652 |  1785396      0 |      132 |     1440
1424.06/1424.40	c 1394s |      16 |  4378158 |   133852 |  1785396      0 |      132 |     1440
1427.36/1427.77	c 1397s |      16 |  4378278 |   133952 |  1785396      0 |      132 |     1440
1430.36/1430.70	c 1400s |      16 |  4378544 |   134152 |  1785396      0 |      132 |     1440
1433.76/1434.16	c 1404s |      16 |  4378773 |   134352 |  1785396      0 |      132 |     1440
1437.46/1437.82	c 1407s |      16 |  4379008 |   134552 |  1785396      0 |      132 |     1440
1440.36/1440.71	c 1410s |      16 |  4379250 |   134752 |  1785396      0 |      132 |     1440
1443.36/1443.73	c 1413s |      16 |  4379555 |   134952 |  1785396      0 |      132 |     1440
1446.85/1447.21	c 1417s |      16 |  4379802 |   135152 |  1785396      0 |      132 |     1440
1449.15/1449.51	c 1419s |      16 |  4387443 |   135552 |  1785396      0 |      132 |     1440
1452.45/1452.83	c 1422s |      16 |  4388283 |   135952 |  1785396      0 |      132 |     1440
1454.85/1455.28	c 1425s |      16 |  4389653 |   136552 |  1785396      0 |      132 |     1440
1458.35/1458.74	c 1428s |      16 |  4390101 |   136752 |  1785396      0 |      132 |     1440
1461.96/1462.33	c 1432s |      16 |  4390316 |   136952 |  1785396      0 |      132 |     1440
1465.05/1465.50	c 1435s |      16 |  4390590 |   137152 |  1785396      0 |      132 |     1440
1468.05/1468.48	c 1438s |      16 |  4390817 |   137352 |  1785396      0 |      132 |     1440
1470.85/1471.21	c 1441s |      16 |  4391065 |   137552 |  1785396      0 |      132 |     1440
1473.95/1474.40	c 1444s |      16 |  4391320 |   137752 |  1785396      0 |      132 |     1440
1476.75/1477.19	c 1447s |      16 |  4391568 |   137952 |  1785396      0 |      132 |     1440
1479.74/1480.15	c 1450s |      16 |  4391805 |   138152 |  1785396      0 |      132 |     1440
1484.25/1484.69	c 1454s |      16 |  4392061 |   138352 |  1785396      0 |      132 |     1440
1486.94/1487.30	c 1457s |      16 |  4392310 |   138552 |  1785396      0 |      132 |     1440
1489.54/1489.92	c 1459s |      16 |  4392581 |   138752 |  1785396      0 |      132 |     1440
1492.34/1492.73	c 1462s |      16 |  4393663 |   139352 |  1785396      0 |      132 |     1440
1494.74/1495.12	c 1465s |      16 |  4394441 |   139852 |  1785396      0 |      132 |     1440
1497.05/1497.43	c 1467s |      16 |  4395036 |   140152 |  1785396      0 |      132 |     1440
1499.64/1500.03	c 1469s |      16 |  4395930 |   140752 |  1785396      0 |      132 |     1440
1502.34/1502.75	c 1472s |      16 |  4396166 |   140952 |  1785396      0 |      132 |     1440
1504.94/1505.35	c 1475s |      16 |  4396395 |   141152 |  1785396      0 |      132 |     1440
1507.94/1508.33	c 1478s |      16 |  4396646 |   141352 |  1785396      0 |      132 |     1440
1511.13/1511.54	c 1481s |      16 |  4396907 |   141552 |  1785396      0 |      132 |     1440
1513.44/1513.86	c 1483s |      16 |  4397186 |   141752 |  1785396      0 |      132 |     1440
1515.64/1516.05	c 1485s |      16 |  4397546 |   141952 |  1785396      0 |      132 |     1440
1518.32/1518.79	c 1488s |      16 |  4397830 |   142152 |  1785396      0 |      132 |     1440
1521.03/1521.42	c 1491s |      16 |  4398163 |   142352 |  1785396      0 |      132 |     1440
1523.53/1523.98	c 1493s |      16 |  4398396 |   142552 |  1785396      0 |      132 |     1440
1526.42/1526.82	c 1496s |      16 |  4398613 |   142752 |  1785396      0 |      132 |     1440
1529.62/1530.08	c 1499s |      16 |  4398727 |   142852 |  1785396      0 |      132 |     1440
1531.92/1532.35	c 1502s |      16 |  4398959 |   143052 |  1785396      0 |      132 |     1440
1534.92/1535.32	c 1505s |      16 |  4399212 |   143252 |  1785396      0 |      132 |     1440
1538.02/1538.43	c 1508s |      16 |  4399453 |   143452 |  1785396      0 |      132 |     1440
1541.42/1541.80	c 1511s |      16 |  4399721 |   143652 |  1785396      0 |      132 |     1440
1544.02/1544.42	c 1514s |      16 |  4399970 |   143852 |  1785396      0 |      132 |     1440
1547.22/1547.66	c 1517s |      16 |  4400195 |   144052 |  1785396      0 |      132 |     1440
1549.93/1550.36	c 1520s |      16 |  4400429 |   144252 |  1785396      0 |      132 |     1440
1552.82/1553.28	c 1523s |      16 |  4400672 |   144452 |  1785396      0 |      132 |     1440
1556.32/1556.77	c 1526s |      16 |  4400921 |   144652 |  1785396      0 |      132 |     1440
1559.73/1560.15	c 1530s |      16 |  4401167 |   144852 |  1785396      0 |      132 |     1440
1563.81/1564.25	c 1534s |      16 |  4401407 |   145052 |  1785396      0 |      132 |     1440
1567.22/1567.61	c 1537s |      16 |  4401622 |   145252 |  1785396      0 |      132 |     1440
1570.61/1571.02	c 1540s |      16 |  4401848 |   145452 |  1785396      0 |      132 |     1440
1574.02/1574.43	c 1544s |      16 |  4402074 |   145652 |  1785396      0 |      132 |     1440
1578.02/1578.47	c 1548s |      16 |  4402307 |   145852 |  1785396      0 |      132 |     1440
1583.42/1583.86	c 1553s |      16 |  4402531 |   146052 |  1785396      0 |      132 |     1440
1586.52/1586.99	c 1556s |      16 |  4402756 |   146252 |  1785396      0 |      132 |     1440
1588.72/1589.15	c 1559s |      16 |  4403010 |   146452 |  1785396      0 |      132 |     1440
1591.22/1591.60	c 1561s |      16 |  4403363 |   146752 |  1785396      0 |      132 |     1440
1593.32/1593.74	c 1563s |      16 |  4403675 |   146952 |  1785396      0 |      132 |     1440
1595.81/1596.25	c 1566s |      16 |  4403917 |   147152 |  1785396      0 |      132 |     1440
1598.01/1598.41	c 1568s |      16 |  4404259 |   147352 |  1785396      0 |      132 |     1440
1600.71/1601.13	c 1571s |      16 |  4404523 |   147552 |  1785396      0 |      132 |     1440
1603.61/1604.06	c 1573s |      16 |  4405059 |   147852 |  1785396      0 |      132 |     1440
1606.41/1606.86	c 1576s |      16 |  4405296 |   148052 |  1785396      0 |      132 |     1440
1609.81/1610.27	c 1580s |      16 |  4405528 |   148252 |  1785396      0 |      132 |     1440
1612.70/1613.13	c 1583s |      16 |  4405740 |   148452 |  1785396      0 |      132 |     1440
1615.31/1615.79	c 1585s |      16 |  4406053 |   148652 |  1785396      0 |      132 |     1440
1618.20/1618.69	c 1588s |      16 |  4406309 |   148852 |  1785396      0 |      132 |     1440
1621.51/1621.94	c 1591s |      16 |  4406530 |   149052 |  1785396      0 |      132 |     1440
1625.10/1625.55	c 1595s |      16 |  4406762 |   149252 |  1785396      0 |      132 |     1440
1630.01/1630.43	c 1600s |      16 |  4406997 |   149452 |  1785396      0 |      132 |     1440
1633.61/1634.08	c 1603s |      16 |  4407230 |   149652 |  1785396      0 |      132 |     1440
1637.31/1637.75	c 1607s |      16 |  4407526 |   149852 |  1785396      0 |      132 |     1440
1641.01/1641.41	c 1611s |      16 |  4407773 |   150052 |  1785396      0 |      132 |     1440
1644.51/1644.92	c 1614s |      16 |  4408014 |   150252 |  1785396      0 |      132 |     1440
1646.61/1647.08	c 1616s |      16 |  4408245 |   150452 |  1785396      0 |      132 |     1440
1650.11/1650.51	c 1620s |      16 |  4408495 |   150652 |  1785396      0 |      132 |     1440
1652.90/1653.34	c 1623s |      16 |  4408849 |   150852 |  1785396      0 |      132 |     1440
1656.29/1656.73	c 1626s |      16 |  4409089 |   151052 |  1785396      0 |      132 |     1440
1659.60/1660.06	c 1629s |      16 |  4409327 |   151252 |  1785396      0 |      132 |     1440
1662.80/1663.29	c 1633s |      16 |  4409602 |   151452 |  1785396      0 |      132 |     1440
1666.40/1666.89	c 1636s |      16 |  4409903 |   151652 |  1785396      0 |      132 |     1440
1669.71/1670.10	c 1640s |      16 |  4410161 |   151852 |  1785396      0 |      132 |     1440
1672.50/1672.94	c 1642s |      16 |  4410274 |   151952 |  1785396      0 |      132 |     1440
1675.30/1675.78	c 1645s |      16 |  4410637 |   152152 |  1785396      0 |      132 |     1440
1678.99/1679.44	c 1649s |      16 |  4410925 |   152352 |  1785396      0 |      132 |     1440
1681.39/1681.88	c 1651s |      16 |  4411165 |   152552 |  1785396      0 |      132 |     1440
1683.79/1684.28	c 1654s |      16 |  4411384 |   152752 |  1785396      0 |      132 |     1440
1685.89/1686.30	c 1656s |      16 |  4411496 |   152852 |  1785396      0 |      132 |     1440
1689.10/1689.57	c 1659s |      16 |  4411715 |   153052 |  1785396      0 |      132 |     1440
1691.30/1691.73	c 1661s |      16 |  4411951 |   153252 |  1785396      0 |      132 |     1440
1694.39/1694.85	c 1664s |      16 |  4412195 |   153452 |  1785396      0 |      132 |     1440
1697.69/1698.16	c 1668s |      16 |  4412432 |   153652 |  1785396      0 |      132 |     1440
1700.89/1701.30	c 1671s |      16 |  4412678 |   153852 |  1785396      0 |      132 |     1440
1703.69/1704.17	c 1674s |      16 |  4412906 |   154052 |  1785396      0 |      132 |     1440
1706.90/1707.31	c 1677s |      16 |  4413152 |   154252 |  1785396      0 |      132 |     1440
1710.29/1710.73	c 1680s |      16 |  4413366 |   154452 |  1785396      0 |      132 |     1440
1713.39/1713.89	c 1683s |      16 |  4413485 |   154552 |  1785396      0 |      132 |     1440
1716.29/1716.79	c 1686s |      16 |  4413692 |   154752 |  1785396      0 |      132 |     1440
1720.39/1720.86	c 1690s |      16 |  4413923 |   154952 |  1785396      0 |      132 |     1440
1723.69/1724.15	c 1694s |      16 |  4414154 |   155152 |  1785396      0 |      132 |     1440
1726.89/1727.37	c 1697s |      16 |  4414614 |   155352 |  1785396      0 |      132 |     1440
1728.98/1729.42	c 1699s |      16 |  4414711 |   155452 |  1785396      0 |      132 |     1440
1730.99/1731.47	c 1701s |      16 |  4414846 |   155552 |  1785396      0 |      132 |     1440
1734.70/1735.13	c 1705s |      16 |  4415100 |   155752 |  1785396      0 |      132 |     1440
1738.00/1738.42	c 1708s |      16 |  4415418 |   155952 |  1785396      0 |      132 |     1440
1741.48/1741.92	c 1711s |      16 |  4415703 |   156152 |  1785396      0 |      132 |     1440
1743.98/1744.49	c 1714s |      16 |  4415935 |   156352 |  1785396      0 |      132 |     1440
1747.18/1747.68	c 1717s |      16 |  4416178 |   156552 |  1785396      0 |      132 |     1440
1752.29/1752.71	c 1722s |      16 |  4416394 |   156752 |  1785396      0 |      132 |     1440
1756.08/1756.55	c 1726s |      16 |  4416647 |   156952 |  1785396      0 |      132 |     1440
1758.18/1758.63	c 1728s |      16 |  4416766 |   157052 |  1785396      0 |      132 |     1440
1761.58/1762.04	c 1731s |      16 |  4417043 |   157252 |  1785396      0 |      132 |     1440
1765.39/1765.81	c 1735s |      16 |  4417301 |   157452 |  1785396      0 |      132 |     1440
1767.47/1767.91	c 1737s |      16 |  4417415 |   157552 |  1785396      0 |      132 |     1440
1771.28/1771.72	c 1741s |      16 |  4417654 |   157752 |  1785396      0 |      132 |     1440
1774.87/1775.34	c 1745s |      16 |  4417903 |   157952 |  1785396      0 |      132 |     1440
1778.78/1779.29	c 1749s |      16 |  4418274 |   158152 |  1785396      0 |      132 |     1440
1782.17/1782.63	c 1752s |      16 |  4418504 |   158352 |  1785396      0 |      132 |     1440
1785.67/1786.14	c 1756s |      16 |  4418836 |   158552 |  1785396      0 |      132 |     1440
1787.68/1788.18	c 1758s |      16 |  4418960 |   158652 |  1785396      0 |      132 |     1440
1789.97/1790.44	c 1760s |      16 |  4419060 |   158752 |  1785396      0 |      132 |     1440
1793.87/1794.35	c 1764s |      16 |  4419191 |   158852 |  1785396      0 |      132 |     1440
1797.38/1797.89	c 1767s |      16 |  4419441 |   159052 |  1785396      0 |      132 |     1440

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

pid=8623
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.00 2.00 2.00 3/179 8626
/proc/meminfo: memFree=30423608/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 2788 0 0 0 0 0 0 0 20 0 4 0 109597610 763817984 3659 33554432000 4194304 16246674 140736975484512 140736975483936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 186991 3667 441 2943 0 183885 0
[pid=8626/tid=8627] ppid=8623 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 781643776 3726 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 785838080 3743 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=771516 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 790032384 3759 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8626
/proc/meminfo: memFree=30423608/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 30036 0 0 0 5 4 0 0 20 0 4 0 109597610 1249447936 30845 33554432000 4194304 16246674 140736975484512 140736975483824 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 305041 30845 801 2943 0 301935 0
[pid=8626/tid=8627] ppid=8623 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1249447936 30846 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1249447936 30846 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1249447936 30846 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200488 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8626
/proc/meminfo: memFree=30423608/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 51336 0 0 0 12 7 0 0 20 0 4 0 109597610 1339625472 52656 33554432000 4194304 16246674 140736975484512 140736975483824 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 327057 52659 801 2943 0 323951 0
[pid=8626/tid=8627] ppid=8623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1339625472 52662 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1339625472 52664 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1339625472 52666 33554432000 4194304 16246674 140736975484512 139859234647216 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) 1308228

[startup+0.300436 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8626
/proc/meminfo: memFree=30423608/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 64079 0 0 0 19 10 0 0 20 0 4 0 109597610 1344868352 65399 33554432000 4194304 16246674 140736975484512 140736975483824 4206653 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 328337 65399 801 2943 0 325231 0
[pid=8626/tid=8627] ppid=8623 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1344868352 65399 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1344868352 65399 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1344868352 65399 33554432000 4194304 16246674 140736975484512 139859234647216 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) 1313348

[startup+0.70038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8626
/proc/meminfo: memFree=30423608/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 71233 0 0 0 59 10 0 0 20 0 4 0 109597610 1345916928 72553 33554432000 4194304 16246674 140736975484512 140736975467504 4220888 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 328593 72553 801 2943 0 325487 0
[pid=8626/tid=8627] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 72553 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 72553 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 72553 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8630
/proc/meminfo: memFree=30089800/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 86764 0 0 0 137 12 0 0 20 0 4 0 109597610 1345916928 88084 33554432000 4194304 16246674 140736975484512 140736975467504 7374751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 328593 88084 802 2943 0 325487 0
[pid=8626/tid=8627] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 88084 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 88084 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1345916928 88084 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8630
/proc/meminfo: memFree=30019128/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1321540 CPUtime=3.09 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 121617 0 0 0 291 18 0 0 20 0 4 0 109597610 1353256960 122937 33554432000 4194304 16246674 140736975484512 140736975467504 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 330385 122937 802 2943 0 327279 0
[pid=8626/tid=8627] ppid=8623 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1353256960 122937 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1353256960 122937 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1353256960 122937 33554432000 4194304 16246674 140736975484512 139859234647216 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) 1321540

[startup+6.3004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 8630
/proc/meminfo: memFree=29492828/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1370692 CPUtime=6.29 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 224146 0 0 0 595 34 0 0 20 0 4 0 109597610 1403588608 234153 33554432000 4194304 16246674 140736975484512 140736975467504 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 342673 234153 802 2943 0 339567 0
[pid=8626/tid=8627] ppid=8623 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1403588608 234153 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1403588608 234153 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1403588608 234153 33554432000 4194304 16246674 140736975484512 139859234647216 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) 1370692

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 8679
/proc/meminfo: memFree=29897232/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=1516100 CPUtime=12.69 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 307388 0 0 0 1224 45 0 0 20 0 4 0 109597610 1552486400 320972 33554432000 4194304 16246674 140736975484512 140736975466432 7205236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 379025 320972 847 2943 0 375919 0
[pid=8626/tid=8627] ppid=8623 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 1552486400 320972 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 1552486400 320972 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=1516100 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 1552486400 320972 33554432000 4194304 16246674 140736975484512 139859234647216 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) 1516100

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 4/183 8679
/proc/meminfo: memFree=28259780/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=2390596 CPUtime=25.49 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 526021 0 0 0 2471 78 0 0 20 0 4 0 109597610 2447970304 539605 33554432000 4194304 16246674 140736975484512 140736975483608 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 597649 539605 849 2943 0 594543 0
[pid=8626/tid=8627] ppid=8623 vsize=2390596 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 2447970304 539605 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=2390596 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 2447970304 539605 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=2390596 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 2447970304 539605 33554432000 4194304 16246674 140736975484512 139859234647216 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) 2390596

[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8728
/proc/meminfo: memFree=27874200/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=2751044 CPUtime=51.08 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 616187 0 0 0 5016 92 0 0 20 0 4 0 109597610 2817069056 629763 33554432000 4194304 16246674 140736975484512 140736975466432 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 687761 629763 894 2943 0 684655 0
[pid=8626/tid=8627] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2751044

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 8729
/proc/meminfo: memFree=27617364/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=2751044 CPUtime=102.26 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 616198 0 0 0 10134 92 0 0 20 0 4 0 109597610 2817069056 629763 33554432000 4194304 16246674 140736975484512 140736975466432 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 687761 629763 894 2943 0 684655 0
[pid=8626/tid=8627] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 2817069056 629763 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2751044


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

/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 2958626816 664324 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 2889284

[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 8758
/proc/meminfo: memFree=27432800/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=2933316 CPUtime=1301.99 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 661822 0 0 0 129968 231 0 0 20 0 4 0 109597610 3003715584 675214 33554432000 4194304 16246674 140736975484512 140736975483688 5823786 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 733329 675214 895 2943 0 730223 0
[pid=8626/tid=8627] ppid=8623 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3003715584 675214 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3003715584 675214 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3003715584 675214 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 2933316

[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 8760
/proc/meminfo: memFree=27396996/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=2969156 CPUtime=1361.97 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 670742 0 0 0 135961 236 0 0 20 0 4 0 109597610 3040415744 684121 33554432000 4194304 16246674 140736975484512 140736975466432 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 742289 684121 895 2943 0 739183 0
[pid=8626/tid=8627] ppid=8623 vsize=2969156 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3040415744 684121 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=2969156 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3040415744 684121 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=2969156 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3040415744 684121 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 2969156

[startup+1422.3 s]
/proc/loadavg: 2.23 2.10 2.02 3/184 8763
/proc/meminfo: memFree=27362460/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3002948 CPUtime=1421.95 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 679369 0 0 0 141907 288 0 0 20 0 4 0 109597610 3075018752 692740 33554432000 4194304 16246674 140736975484512 140736975483688 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 750737 692740 895 2943 0 747631 0
[pid=8626/tid=8627] ppid=8623 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3075018752 692740 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3075018752 692740 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3075018752 692740 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 3002948

[startup+1482.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/183 8766
/proc/meminfo: memFree=27338804/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3026500 CPUtime=1481.94 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 685261 0 0 0 147897 297 0 0 20 0 4 0 109597610 3099136000 698628 33554432000 4194304 16246674 140736975484512 140736975483688 4220490 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 756625 698628 895 2943 0 753519 0
[pid=8626/tid=8627] ppid=8623 vsize=3026500 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3099136000 698628 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3026500 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3099136000 698628 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3026500 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3099136000 698628 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 3026500

[startup+1542.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/183 8766
/proc/meminfo: memFree=27306596/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3059268 CPUtime=1541.92 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 693273 0 0 0 153889 303 0 0 20 0 4 0 109597610 3132690432 706612 33554432000 4194304 16246674 140736975484512 140736975466432 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 764817 706612 895 2943 0 761711 0
[pid=8626/tid=8627] ppid=8623 vsize=3059268 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3132690432 706612 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3059268 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3132690432 706612 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3059268 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3132690432 706612 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 3059268

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/183 8767
/proc/meminfo: memFree=27285668/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3079748 CPUtime=1601.91 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 698551 0 0 0 159881 310 0 0 20 0 4 0 109597610 3153661952 711888 33554432000 4194304 16246674 140736975484512 140736975466432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 769937 711888 895 2943 0 766831 0
[pid=8626/tid=8627] ppid=8623 vsize=3079748 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3153661952 711888 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3079748 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3153661952 711888 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3079748 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3153661952 711888 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 3079748

[startup+1662.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 8768
/proc/meminfo: memFree=27265824/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3099204 CPUtime=1661.89 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 703474 0 0 0 165872 317 0 0 20 0 4 0 109597610 3173584896 716804 33554432000 4194304 16246674 140736975484512 140736975483688 5823542 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 774801 716804 895 2943 0 771695 0
[pid=8626/tid=8627] ppid=8623 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3173584896 716804 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3173584896 716804 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3173584896 716804 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 3099204

[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 8769
/proc/meminfo: memFree=27233732/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3131972 CPUtime=1721.88 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 711474 0 0 0 171862 326 0 0 20 0 4 0 109597610 3207139328 724801 33554432000 4194304 16246674 140736975484512 140736975466432 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 782993 724801 895 2943 0 779887 0
[pid=8626/tid=8627] ppid=8623 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3207139328 724801 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3207139328 724801 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3131972 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3207139328 724801 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 3131972

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/182 8771
/proc/meminfo: memFree=27218176/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3146308 CPUtime=1781.89 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 715261 0 0 0 177841 348 0 0 20 0 4 0 109597610 3221819392 728580 33554432000 4194304 16246674 140736975484512 140736975483688 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 786577 728580 895 2943 0 783471 0
[pid=8626/tid=8627] ppid=8623 vsize=3146308 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3221819392 728580 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3146308 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3221819392 728580 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3146308 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3221819392 728580 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 3146308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 8772
/proc/meminfo: memFree=27205480/32872528 swapFree=12744/274376
[pid=8626] ppid=8623 vsize=3159620 CPUtime=1800.07 cores=0,2,4,6
/proc/8626/stat : 8626 (toysat) R 8623 8626 5566 0 -1 4202496 718423 0 0 0 179647 360 0 0 20 0 4 0 109597610 3235450880 731735 33554432000 4194304 16246674 140736975484512 140736975466432 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8626/statm: 789905 731735 895 2943 0 786799 0
[pid=8626/tid=8627] ppid=8623 vsize=3159620 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8627/stat : 8627 (toysat) S 8623 8626 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109597611 3235450880 731735 33554432000 4194304 16246674 140736975484512 139859333197040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8626/tid=8628] ppid=8623 vsize=3159620 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8628/stat : 8628 (toysat) S 8623 8626 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109597611 3235450880 731735 33554432000 4194304 16246674 140736975484512 139859322707184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8626/tid=8629] ppid=8623 vsize=3159620 CPUtime=0 cores=0,2,4,6
/proc/8626/task/8629/stat : 8629 (toysat) S 8623 8626 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109597611 3235450880 731735 33554432000 4194304 16246674 140736975484512 139859234647216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3159620

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1796.48
CPU system time (s): 3.61845
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 3159620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 3.61845
maximum resident set size= 2926940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 718423
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= 369
involuntary context switches= 1823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47432 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 07:17:09
IDJOB=4078853
IDBENCH=89756
IDSOLVER=2542
FILE ID=node107/4078853-1465276627
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 67d021e5b92124566c71fb431934058c
RANDOM SEED=1003878252

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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.56
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.441
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:        30424244 kB
Buffers:          107980 kB
Cached:           213884 kB
SwapCached:         1664 kB
Active:          1275544 kB
Inactive:         160288 kB
Active(anon):    1113344 kB
Inactive(anon):     2864 kB
Active(file):     162200 kB
Inactive(file):   157424 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             65948 kB
Writeback:             0 kB
AnonPages:       1390024 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             603556 kB
SReclaimable:      46692 kB
SUnreclaim:       556864 kB
KernelStack:        1464 kB
PageTables:         6896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1531696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1366016 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= 71640 MiB
End job on node107 at 2016-06-07 07:47:09