Trace number 4108918

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.45

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-135.opb
MD5SUM0bf2f4aff59c663568b0bfbd80eaa689
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 variables55296
Total number of constraints1282690
Number of constraints which are clauses1152492
Number of constraints which are cardinality constraints (but not clauses)4030
Number of constraints which are nor clauses,nor cardinality constraints126168
Minimum length of a constraint2
Maximum length of a constraint756
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 757
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-19T01:30:50+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-4108918-1466292649.opb"]
0.00/0.01	c use --random-gen="759833636 4077970094 2672926804 2893086021 3455081492 3416503193 1027959274 2637819362 2429058104 2725910619 543846527 1090233655 850931573 845648556 2308773024 1533040011 921683536 3617653667 2069311459 2613854128 4294773373 3125665440 275731199 813310161 302743081 2630650479 855000289 3989164131 677037702 3688154874 2273403416 194693246 545074153 609416231 2648036064 2731073461 4227138938 866565155 2034575202 3270157345 4161921239 3384111624 439515703 186021683 3289346439 1861014456 3135080019 3430011249 420037527 2924222033 213922096 843352156 3720355807 2176434947 4222972560 855437827 1837774441 2964924258 461423635 1155849221 1267582000 627490093 2163724014 2054116949 1551493517 619799633 2616915841 2965599111 1982742465 2233903701 1116477836 1540467150 565648799 3556259098 4126280384 1803237471 1408823961 2742014219 1434356259 2068523667 1196227743 2909689443 3033451852 1331280831 1031087284 3595747303 1391736469 2432812457 114030335 1940651122 4129847410 825953913 2832358160 502261059 3724675655 751859022 2110897508 4176651727 2399824807 1464141569 2866699540 4253904656 213867336 4174566150 3065215456 2796594437 2311785671 3694683664 3573060136 1488757215 463644784 3438701015 405241717 2438098147 1174396709 592653604 1414005681 3974912427 1624751870 875104796 1024651772 3382403481 723759534 3441267178 3482001198 558149394 3740913234 2148691156 3595081526 1519555223 641474221 1723718355 2894121774 1007084279 995140699 612751713 2480028595 3689067094 3715783119 2337029777 1974475886 569961659 1343993345 2100751622 4073814409 2014890291 864753675 18603287 108917383 2119056220 1100426650 1874237927 1296207571 727997938 2453926758 1489663033 627313489 2285384345 499670942 4064701346 184500425 804880206 2975320625 1949707013 3472800544 2938847360 3732431536 542222388 3038439950 1339316636 2247756217 2140289765 3552184031 401053554 3107649219 2641868673 1776025155 1918756593 711566347 1377318014 1363672952 3057526190 1598547707 3762275860 348449265 1395190809 4031718140 2683335184 3507839123 1941298596 1417001565 2170515776 2491967215 1655462229 568179666 1533912323 2324840451 143902398 542160718 2779505877 2524393263 2239332912 2789058066 808268350 733749818 353157983 1913605184 3997238082 2333908020 3969593529 2692589477 256076658 2462487146 3031952190 4022557490 2167680042 2644139459 785905862 3512058970 1525630401 3749094476 3318361903 1279752181 808598261 2941374519 1616886077 2275791786 2365396049 600431688 610397933 2645843338 1497319794 879772485 3168529347 3818337706 410331232 1184356120 321486791 1238796074 1466585334 2575135079 1204124078 1165137632 580916560 311854761 308196819 1808681992 530751028 3739006956 2808515707 1836954534 1703174070 1761234303 1860409035 545739601 3790413671 255 362436" option to reproduce the execution
10.69/10.70	c #vars 55296
10.69/10.70	c #constraints 1282690
36.18/36.24	c Solving starts ...
36.18/36.24	c ============================[ Search Statistics ]============================
36.18/36.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.18/36.24	c       |         |          |          |    Limit     GC | Var      | Constra 
36.18/36.24	c =============================================================================
36.18/36.25	c  0.0s |       0 |        0 |        0 |   446671      0 |        0 |        0
37.29/37.33	c  1.1s |       1 |      158 |      100 |   446671      0 |        0 |        0
40.48/40.59	c  4.3s |       1 |     6779 |      200 |   491339      0 |        0 |        0
40.89/40.97	c  4.7s |       2 |     6842 |      250 |   491339      0 |        0 |        0
42.49/42.59	c  6.3s |       3 |     7509 |      475 |   540473      0 |        0 |        0
46.69/46.79	c 10.5s |       3 |    23850 |      575 |   594521      0 |        0 |        0
49.28/49.31	c 13.1s |       3 |    32639 |      775 |   594521      0 |        0 |        0
50.18/50.20	c 14.0s |       4 |    36043 |      813 |   594521      0 |        0 |        0
54.09/54.15	c 17.9s |       4 |    51137 |      913 |   653974      0 |        0 |        0
55.48/55.57	c 19.3s |       5 |    51600 |     1320 |   653974      0 |        0 |        0
61.68/61.75	c 25.5s |       5 |    71552 |     1520 |   719372      0 |        0 |        0
66.88/66.90	c 30.7s |       5 |   107065 |     1620 |   719372      0 |        0 |        0
74.07/74.14	c 37.9s |       5 |   169695 |     1720 |   719372      0 |        0 |        0
79.17/79.28	c 43.0s |       5 |   221971 |     1820 |   719372      0 |        0 |        0
83.17/83.23	c 47.0s |       5 |   289691 |     2020 |   719372      0 |        0 |        0
84.57/84.61	c 48.4s |       6 |   306023 |     2081 |   791310      0 |        0 |        0
87.47/87.52	c 51.3s |       6 |   330192 |     2181 |   791310      0 |        0 |        0
89.97/90.04	c 53.8s |       6 |   364499 |     2281 |   791310      0 |        0 |        0
92.07/92.15	c 55.9s |       6 |   425801 |     2581 |   791310      0 |        0 |        0
94.27/94.32	c 58.1s |       6 |   426516 |     3181 |   791310      0 |        0 |        0
94.37/94.46	c 58.2s |       7 |   426559 |     3223 |   870442      0 |        0 |        0
97.88/97.94	c 61.7s |       7 |   452946 |     3323 |   870442      0 |        0 |        0
100.18/100.21	c 64.0s |       7 |   466260 |     3523 |   870442      0 |        0 |        0
103.18/103.24	c 67.0s |       7 |   478633 |     3923 |   870442      0 |        0 |        0
105.68/105.78	c 69.5s |       7 |   501526 |     4023 |   870442      0 |        0 |        0
108.98/109.09	c 72.8s |       7 |   546254 |     4123 |   870442      0 |        0 |        0
114.48/114.53	c 78.3s |       7 |   590548 |     4323 |   870442      0 |        0 |        0
120.17/120.26	c 84.0s |       7 |   651277 |     4423 |   870442      0 |        0 |        0
122.37/122.49	c 86.2s |       7 |   673327 |     4523 |   870442      0 |        0 |        0
128.37/128.42	c 92.2s |       7 |   728408 |     4623 |   870442      0 |        0 |        0
131.97/132.10	c 95.9s |       7 |   757474 |     4723 |   870442      0 |        0 |        0
139.47/139.59	c  103s |       7 |   806094 |     4823 |   870442      0 |        0 |        0
141.37/141.42	c  105s |       8 |   823089 |     4936 |   957487      0 |        0 |        0
143.67/143.70	c  107s |       8 |   825547 |     5236 |   957487      0 |        0 |        0
145.77/145.81	c  109s |       8 |   826128 |     5736 |   957487      0 |        0 |        0
149.46/149.59	c  113s |       8 |   826796 |     6336 |   957487      0 |        0 |        0
151.76/151.89	c  115s |       8 |   827667 |     7136 |   957487      0 |        0 |        0
153.16/153.25	c  117s |       9 |   828082 |     7506 |  1053236      0 |        0 |        0
155.36/155.43	c  119s |       9 |   828820 |     7806 |  1053236      0 |        0 |        0
157.56/157.66	c  121s |       9 |   829390 |     8306 |  1053236      0 |        0 |        0
160.46/160.51	c  124s |       9 |   850316 |     9206 |  1053236      0 |        0 |        0
164.76/164.89	c  128s |       9 |   878528 |     9306 |  1053236      0 |        0 |        0
168.16/168.21	c  131s |       9 |   906415 |     9506 |  1053236      0 |        0 |        0
170.57/170.68	c  134s |       9 |   930833 |     9606 |  1053236      0 |        0 |        0
172.66/172.75	c  136s |       9 |   944601 |     9706 |  1053236      0 |        0 |        0
175.36/175.40	c  139s |       9 |  1003927 |     9906 |  1053236      0 |        0 |        0
177.56/177.62	c  141s |       9 |  1063368 |    10106 |  1053236      0 |        0 |        0
179.86/179.95	c  143s |       9 |  1124597 |    10506 |  1053236      0 |        0 |        0
182.36/182.40	c  146s |       9 |  1137600 |    10806 |  1053236      0 |        0 |        0
183.96/184.06	c  147s |      10 |  1247407 |    11361 |  1158560      0 |        0 |        0
186.26/186.38	c  150s |      10 |  1260964 |    11661 |  1158560      0 |        0 |        0
188.56/188.65	c  152s |      10 |  1261582 |    12161 |  1158560      0 |        0 |        0
190.56/190.67	c  154s |      10 |  1262064 |    12561 |  1158560      0 |        0 |        0
193.15/193.23	c  156s |      10 |  1262758 |    13061 |  1158560      0 |        0 |        0
195.15/195.23	c  158s |      10 |  1263280 |    13461 |  1158560      0 |        0 |        0
197.65/197.72	c  161s |      10 |  1267983 |    13861 |  1158560      0 |        0 |        0
199.65/199.73	c  163s |      10 |  1268438 |    14261 |  1158560      0 |        0 |        0
201.95/202.03	c  165s |      10 |  1269021 |    14761 |  1158560      0 |        0 |        0
204.05/204.17	c  167s |      10 |  1269603 |    15261 |  1158560      0 |        0 |        0
206.35/206.46	c  170s |      10 |  1270282 |    15861 |  1158560      0 |        0 |        0
208.85/208.96	c  172s |      10 |  1270845 |    16361 |  1158560      0 |        0 |        0
211.05/211.14	c  174s |      10 |  1271309 |    16761 |  1158560      0 |        0 |        0
212.85/212.95	c  176s |      11 |  1271745 |    17144 |  1274416      0 |        0 |        0
215.15/215.27	c  179s |      11 |  1304644 |    17544 |  1274416      0 |        0 |        0
217.56/217.69	c  181s |      11 |  1305246 |    17844 |  1274416      0 |        0 |        0
220.35/220.49	c  184s |      11 |  1306418 |    18144 |  1274416      0 |        0 |        0
222.75/222.88	c  186s |      11 |  1318619 |    18244 |  1274416      0 |        0 |        0
224.95/225.04	c  188s |      11 |  1318961 |    18544 |  1274416      0 |        0 |        0
227.35/227.41	c  191s |      11 |  1319460 |    18944 |  1274416      0 |        0 |        0
229.65/229.75	c  193s |      11 |  1319803 |    19244 |  1274416      0 |        0 |        0
231.85/231.92	c  195s |      11 |  1319913 |    19344 |  1274416      0 |        0 |        0
234.55/234.61	c  198s |      11 |  1320596 |    19744 |  1274416      0 |        0 |        0
236.56/236.63	c  200s |      11 |  1320933 |    20044 |  1274416      0 |        0 |        0
238.76/238.83	c  202s |      11 |  1321388 |    20444 |  1274416      0 |        0 |        0
241.25/241.38	c  205s |      11 |  1321834 |    20844 |  1274416      0 |        0 |        0
243.85/243.97	c  207s |      11 |  1322210 |    21144 |  1274416      0 |        0 |        0
246.65/246.74	c  210s |      11 |  1322592 |    21444 |  1274416      0 |        0 |        0
249.15/249.22	c  212s |      11 |  1322931 |    21744 |  1274416      0 |        0 |        0
251.45/251.58	c  215s |      11 |  1323297 |    22044 |  1274416      0 |        0 |        0
253.55/253.63	c  217s |      11 |  1323624 |    22344 |  1274416      0 |        0 |        0
255.85/255.99	c  219s |      11 |  1324023 |    22644 |  1274416      0 |        0 |        0
258.05/258.10	c  221s |      11 |  1324374 |    22944 |  1274416      0 |        0 |        0
260.15/260.23	c  223s |      11 |  1324716 |    23244 |  1274416      0 |        0 |        0
262.75/262.80	c  226s |      11 |  1325118 |    23544 |  1274416      0 |        0 |        0
264.95/265.08	c  228s |      11 |  1325497 |    23844 |  1274416      0 |        0 |        0
267.15/267.21	c  230s |      11 |  1325841 |    24144 |  1274416      0 |        0 |        0
269.55/269.63	c  233s |      11 |  1326155 |    24444 |  1274416      0 |        0 |        0
271.94/272.02	c  235s |      11 |  1326535 |    24744 |  1274416      0 |        0 |        0
274.24/274.38	c  238s |      11 |  1326873 |    25044 |  1274416      0 |        0 |        0
276.64/276.71	c  240s |      11 |  1327229 |    25344 |  1274416      0 |        0 |        0
279.24/279.32	c  243s |      11 |  1327586 |    25644 |  1274416      0 |        0 |        0
280.55/280.68	c  244s |      12 |  1327775 |    25819 |  1401858      0 |        0 |        0
284.74/284.83	c  248s |      12 |  1367066 |    25919 |  1401858      0 |        0 |        0
289.35/289.43	c  253s |      12 |  1442540 |    26019 |  1401858      0 |        0 |        0
291.74/291.81	c  255s |      12 |  1471741 |    26119 |  1401858      0 |        0 |        0
296.24/296.33	c  260s |      12 |  1517113 |    26219 |  1401858      0 |        0 |        0
298.34/298.44	c  262s |      12 |  1529236 |    26319 |  1401858      0 |        0 |        0
303.65/303.78	c  267s |      12 |  1566653 |    26419 |  1401858      0 |        0 |        0
307.05/307.12	c  270s |      12 |  1586994 |    26519 |  1401858      0 |        0 |        0
310.74/310.86	c  274s |      12 |  1635998 |    26619 |  1401858      0 |        0 |        0
312.84/312.94	c  276s |      12 |  1750860 |    27019 |  1401858      0 |        0 |        0
314.84/314.96	c  278s |      12 |  1880326 |    27619 |  1401858      0 |        0 |        0
318.04/318.12	c  281s |      12 |  1903610 |    27919 |  1401858      0 |        0 |        0
325.03/325.11	c  288s |      12 |  1964743 |    28019 |  1401858      0 |        0 |        0
332.54/332.61	c  296s |      12 |  2017998 |    28119 |  1401858      0 |        0 |        0
335.74/335.87	c  299s |      12 |  2045754 |    28219 |  1401858      0 |        0 |        0
338.14/338.22	c  301s |      12 |  2046203 |    28519 |  1401858      0 |        0 |        0
340.84/340.92	c  304s |      12 |  2046686 |    28819 |  1401858      0 |        0 |        0
343.43/343.58	c  307s |      12 |  2047132 |    29119 |  1401858      0 |        0 |        0
345.54/345.65	c  309s |      12 |  2052197 |    29319 |  1401858      0 |        0 |        0
350.63/350.70	c  314s |      12 |  2106445 |    29419 |  1401858      0 |        0 |        0
353.53/353.69	c  317s |      12 |  2124725 |    29519 |  1401858      0 |        0 |        0
356.44/356.55	c  320s |      12 |  2149489 |    29619 |  1401858      0 |        0 |        0
358.43/358.57	c  322s |      12 |  2256218 |    30119 |  1401858      0 |        0 |        0
361.43/361.51	c  325s |      12 |  2324939 |    30719 |  1401858      0 |        0 |        0
368.54/368.70	c  332s |      12 |  2374266 |    30919 |  1401858      0 |        0 |        0
372.73/372.88	c  336s |      12 |  2392976 |    31019 |  1401858      0 |        0 |        0
375.03/375.12	c  338s |      12 |  2541884 |    31519 |  1401858      0 |        0 |        0
377.33/377.44	c  341s |      12 |  2557944 |    31819 |  1401858      0 |        0 |        0
379.63/379.78	c  343s |      12 |  2652900 |    32619 |  1401858      0 |        0 |        0
381.83/381.97	c  345s |      12 |  2653366 |    33019 |  1401858      0 |        0 |        0
384.03/384.14	c  347s |      12 |  2653816 |    33419 |  1401858      0 |        0 |        0
386.33/386.49	c  350s |      12 |  2654292 |    33819 |  1401858      0 |        0 |        0
388.93/389.02	c  352s |      12 |  2654755 |    34219 |  1401858      0 |        0 |        0
391.12/391.29	c  355s |      12 |  2655385 |    34519 |  1401858      0 |        0 |        0
393.83/393.98	c  357s |      12 |  2655865 |    34919 |  1401858      0 |        0 |        0
395.92/396.07	c  359s |      12 |  2656203 |    35219 |  1401858      0 |        0 |        0
398.42/398.59	c  362s |      12 |  2656658 |    35619 |  1401858      0 |        0 |        0
400.72/400.80	c  364s |      12 |  2657000 |    35919 |  1401858      0 |        0 |        0
402.82/402.95	c  366s |      12 |  2657374 |    36219 |  1401858      0 |        0 |        0
405.12/405.30	c  369s |      12 |  2657844 |    36519 |  1401858      0 |        0 |        0
407.62/407.71	c  371s |      12 |  2658214 |    36819 |  1401858      0 |        0 |        0
409.72/409.84	c  373s |      12 |  2658581 |    37119 |  1401858      0 |        0 |        0
411.91/412.06	c  375s |      12 |  2658945 |    37419 |  1401858      0 |        0 |        0
414.52/414.67	c  378s |      12 |  2659279 |    37719 |  1401858      0 |        0 |        0
416.93/417.02	c  380s |      12 |  2659623 |    38019 |  1401858      0 |        0 |        0
419.12/419.30	c  383s |      12 |  2659995 |    38319 |  1401858      0 |        0 |        0
422.72/422.89	c  386s |      12 |  2660345 |    38619 |  1542044      0 |        0 |        0
424.42/424.54	c  388s |      13 |  2660608 |    38832 |  1542044      0 |        0 |        0
427.82/427.92	c  391s |      13 |  2677467 |    38932 |  1542044      0 |        0 |        0
430.02/430.18	c  393s |      13 |  2687843 |    39032 |  1542044      0 |        0 |        0
432.12/432.27	c  396s |      13 |  2709626 |    39132 |  1542044      0 |        0 |        0
434.72/434.89	c  398s |      13 |  2720487 |    39332 |  1542044      0 |        0 |        0
437.02/437.19	c  400s |      13 |  2720938 |    39632 |  1542044      0 |        0 |        0
439.32/439.41	c  403s |      13 |  2721395 |    39932 |  1542044      0 |        0 |        0
442.02/442.16	c  405s |      13 |  2721751 |    40232 |  1542044      0 |        0 |        0
444.81/444.93	c  408s |      13 |  2722238 |    40532 |  1542044      0 |        0 |        0
448.51/448.61	c  412s |      13 |  2736430 |    40732 |  1542044      0 |        0 |        0
450.91/451.07	c  414s |      13 |  2757013 |    40832 |  1542044      0 |        0 |        0
453.61/453.79	c  417s |      13 |  2798831 |    41032 |  1542044      0 |        0 |        0
455.71/455.85	c  419s |      13 |  2835074 |    41232 |  1542044      0 |        0 |        0
457.91/458.00	c  421s |      13 |  2865515 |    41532 |  1542044      0 |        0 |        0
459.92/460.03	c  423s |      13 |  2865946 |    41832 |  1542044      0 |        0 |        0
461.91/462.06	c  425s |      13 |  2866320 |    42132 |  1542044      0 |        0 |        0
468.11/468.21	c  431s |      13 |  2906043 |    42332 |  1542044      0 |        0 |        0
475.71/475.86	c  439s |      13 |  2955207 |    42432 |  1542044      0 |        0 |        0
478.61/478.71	c  442s |      13 |  2976219 |    42632 |  1542044      0 |        0 |        0
484.81/484.94	c  448s |      13 |  2991683 |    42932 |  1542044      0 |        0 |        0
487.11/487.26	c  451s |      13 |  3031473 |    43432 |  1542044      0 |        0 |        0
489.61/489.76	c  453s |      13 |  3031969 |    43832 |  1542044      0 |        0 |        0
491.71/491.90	c  455s |      13 |  3032417 |    44132 |  1542044      0 |        0 |        0
494.61/494.74	c  458s |      13 |  3043791 |    44432 |  1542044      0 |        0 |        0
497.10/497.27	c  461s |      13 |  3063811 |    44632 |  1542044      0 |        0 |        0
499.41/499.59	c  463s |      13 |  3064392 |    45032 |  1542044      0 |        0 |        0
501.61/501.79	c  465s |      13 |  3065006 |    45432 |  1542044      0 |        0 |        0
503.70/503.87	c  467s |      13 |  3098379 |    45832 |  1542044      0 |        0 |        0
506.60/506.73	c  470s |      13 |  3114047 |    46132 |  1542044      0 |        0 |        0
508.60/508.77	c  472s |      13 |  3116032 |    46332 |  1542044      0 |        0 |        0
510.60/510.78	c  474s |      13 |  3116356 |    46532 |  1542044      0 |        0 |        0
513.50/513.62	c  477s |      13 |  3118788 |    46832 |  1542044      0 |        0 |        0
516.10/516.25	c  480s |      13 |  3119132 |    47132 |  1542044      0 |        0 |        0
520.31/520.44	c  484s |      13 |  3139062 |    47332 |  1542044      0 |        0 |        0
522.40/522.59	c  486s |      13 |  3153169 |    47432 |  1542044      0 |        0 |        0
527.60/527.74	c  491s |      13 |  3206890 |    47532 |  1542044      0 |        0 |        0
530.00/530.17	c  493s |      13 |  3225058 |    47932 |  1542044      0 |        0 |        0
532.00/532.17	c  495s |      13 |  3239915 |    48132 |  1542044      0 |        0 |        0
534.49/534.61	c  498s |      13 |  3252508 |    49032 |  1542044      0 |        0 |        0
536.91/537.03	c  500s |      13 |  3269494 |    49232 |  1542044      0 |        0 |        0
539.30/539.45	c  503s |      13 |  3315285 |    49632 |  1542044      0 |        0 |        0
543.59/543.72	c  507s |      13 |  3343345 |    49832 |  1542044      0 |        0 |        0
547.39/547.60	c  511s |      13 |  3394337 |    50032 |  1542044      0 |        0 |        0
549.69/549.80	c  513s |      13 |  3420677 |    50232 |  1542044      0 |        0 |        0
551.69/551.82	c  515s |      13 |  3434714 |    50632 |  1542044      0 |        0 |        0
553.99/554.11	c  517s |      13 |  3453061 |    50832 |  1542044      0 |        0 |        0
557.19/557.31	c  521s |      13 |  3472053 |    51032 |  1542044      0 |        0 |        0
563.30/563.42	c  527s |      13 |  3524183 |    51832 |  1542044      0 |        0 |        0
571.60/571.78	c  535s |      13 |  3602464 |    51932 |  1542044      0 |        0 |        0
573.99/574.18	c  537s |      13 |  3624813 |    52732 |  1542044      0 |        0 |        0
577.70/577.86	c  541s |      13 |  3654916 |    52832 |  1542044      0 |        0 |        0
580.49/580.69	c  544s |      13 |  3659423 |    53032 |  1542044      0 |        0 |        0
585.59/585.79	c  549s |      13 |  3677799 |    53232 |  1542044      0 |        0 |        0
590.39/590.58	c  554s |      13 |  3713082 |    53732 |  1542044      0 |        0 |        0
592.49/592.63	c  556s |      13 |  3726649 |    54432 |  1542044      0 |        0 |        0
596.30/596.43	c  560s |      13 |  3754178 |    54932 |  1542044      0 |        0 |        0
615.39/615.53	c  579s |      13 |  3919140 |    55032 |  1542044      0 |        0 |        0
617.48/617.66	c  581s |      13 |  3934439 |    55532 |  1542044      0 |        0 |        0
621.99/622.12	c  585s |      13 |  3945995 |    56232 |  1542044      0 |        0 |        0
627.28/627.44	c  591s |      13 |  3997755 |    56532 |  1542044      0 |        0 |        0
644.98/645.15	c  608s |      13 |  4159771 |    56632 |  1542044      0 |        0 |        0
658.37/658.56	c  622s |      13 |  4275590 |    56732 |  1542044      0 |        0 |        0
664.97/665.16	c  628s |      13 |  4326270 |    57132 |  1542044      0 |        0 |        0
669.37/669.51	c  633s |      13 |  4355680 |    57232 |  1542044      0 |        0 |        0
671.87/672.03	c  635s |      13 |  4399244 |    57532 |  1542044      0 |        0 |        0
674.07/674.25	c  638s |      13 |  4428890 |    57932 |  1542044      0 |        0 |        0
676.17/676.39	c  640s |      13 |  4429218 |    58132 |  1696249      0 |        0 |        0
678.37/678.52	c  642s |      14 |  4429515 |    58352 |  1696249      0 |        0 |        0
681.36/681.55	c  645s |      14 |  4439468 |    58452 |  1696249      0 |        0 |        0
683.97/684.12	c  647s |      14 |  4477030 |    58752 |  1696249      0 |        0 |        0
687.86/688.03	c  651s |      14 |  4495017 |    59052 |  1696249      0 |        0 |        0
690.17/690.30	c  654s |      14 |  4495459 |    59352 |  1696249      0 |        0 |        0
692.66/692.81	c  656s |      14 |  4551296 |    59652 |  1696249      0 |        0 |        0
694.77/694.99	c  658s |      14 |  4569417 |    59852 |  1696249      0 |        0 |        0
697.47/697.69	c  661s |      14 |  4601714 |    60052 |  1696249      0 |        0 |        0
700.17/700.31	c  664s |      14 |  4623249 |    60252 |  1696249      0 |        0 |        0
702.27/702.46	c  666s |      14 |  4632959 |    60552 |  1696249      0 |        0 |        0
704.97/705.17	c  668s |      14 |  4634556 |    60852 |  1696249      0 |        0 |        0
707.17/707.35	c  671s |      14 |  4634968 |    61152 |  1696249      0 |        0 |        0
709.37/709.57	c  673s |      14 |  4635343 |    61452 |  1696249      0 |        0 |        0
711.57/711.77	c  675s |      14 |  4635918 |    61752 |  1696249      0 |        0 |        0
714.06/714.23	c  677s |      14 |  4636278 |    62052 |  1696249      0 |        0 |        0
716.26/716.47	c  680s |      14 |  4636902 |    62352 |  1696249      0 |        0 |        0
718.66/718.81	c  682s |      14 |  4637290 |    62652 |  1696249      0 |        0 |        0
720.76/720.95	c  684s |      14 |  4637673 |    62952 |  1696249      0 |        0 |        0
723.36/723.59	c  687s |      14 |  4638330 |    63452 |  1696249      0 |        0 |        0
725.76/725.92	c  689s |      14 |  4638784 |    63852 |  1696249      0 |        0 |        0
728.16/728.40	c  692s |      14 |  4639320 |    64252 |  1696249      0 |        0 |        0
730.56/730.78	c  694s |      14 |  4639764 |    64652 |  1696249      0 |        0 |        0
732.76/732.92	c  696s |      14 |  4640119 |    64952 |  1696249      0 |        0 |        0
735.35/735.52	c  699s |      14 |  4640648 |    65352 |  1696249      0 |        0 |        0
738.16/738.36	c  702s |      14 |  4641146 |    65752 |  1696249      0 |        0 |        0
740.15/740.37	c  704s |      14 |  4641493 |    66052 |  1696249      0 |        0 |        0
742.65/742.81	c  706s |      14 |  4641982 |    66452 |  1696249      0 |        0 |        0
745.05/745.26	c  709s |      14 |  4642332 |    66752 |  1696249      0 |        0 |        0
747.45/747.61	c  711s |      14 |  4642678 |    67052 |  1696249      0 |        0 |        0
750.16/750.31	c  714s |      14 |  4643192 |    67352 |  1696249      0 |        0 |        0
752.75/752.91	c  716s |      14 |  4643555 |    67652 |  1696249      0 |        0 |        0
755.25/755.48	c  719s |      14 |  4643906 |    67952 |  1696249      0 |        0 |        0
757.65/757.82	c  721s |      14 |  4644263 |    68252 |  1696249      0 |        0 |        0
760.54/760.71	c  724s |      14 |  4644620 |    68552 |  1696249      0 |        0 |        0
763.14/763.36	c  727s |      14 |  4644968 |    68852 |  1696249      0 |        0 |        0
765.34/765.55	c  729s |      14 |  4645213 |    69052 |  1696249      0 |        0 |        0
767.86/768.08	c  731s |      14 |  4645325 |    69152 |  1696249      0 |        0 |        0
770.65/770.86	c  734s |      14 |  4645705 |    69452 |  1696249      0 |        0 |        0
773.15/773.38	c  737s |      14 |  4646144 |    69752 |  1696249      0 |        0 |        0
775.55/775.75	c  739s |      14 |  4646554 |    70052 |  1696249      0 |        0 |        0
778.05/778.28	c  742s |      14 |  4647144 |    70452 |  1696249      0 |        0 |        0
780.85/781.04	c  744s |      14 |  4647725 |    70852 |  1696249      0 |        0 |        0
783.35/783.52	c  747s |      14 |  4648168 |    71152 |  1696249      0 |        0 |        0
785.35/785.52	c  749s |      14 |  4648405 |    71352 |  1696249      0 |        0 |        0
787.84/788.02	c  751s |      14 |  4648825 |    71652 |  1696249      0 |        0 |        0
790.34/790.52	c  754s |      14 |  4649191 |    71952 |  1696249      0 |        0 |        0
792.54/792.74	c  756s |      14 |  4649586 |    72252 |  1696249      0 |        0 |        0
794.84/795.03	c  758s |      14 |  4649943 |    72552 |  1696249      0 |        0 |        0
797.55/797.78	c  761s |      14 |  4650278 |    72852 |  1696249      0 |        0 |        0
800.04/800.28	c  764s |      14 |  4650660 |    73152 |  1696249      0 |        0 |        0
802.34/802.53	c  766s |      14 |  4651003 |    73452 |  1696249      0 |        0 |        0
805.04/805.23	c  768s |      14 |  4651384 |    73752 |  1696249      0 |        0 |        0
807.44/807.65	c  771s |      14 |  4651619 |    73952 |  1696249      0 |        0 |        0
809.54/809.78	c  773s |      14 |  4651858 |    74152 |  1696249      0 |        0 |        0
812.54/812.70	c  776s |      14 |  4652194 |    74452 |  1696249      0 |        0 |        0
815.44/815.61	c  779s |      14 |  4652585 |    74752 |  1696249      0 |        0 |        0
817.43/817.66	c  781s |      14 |  4652840 |    74952 |  1696249      0 |        0 |        0
819.73/819.93	c  783s |      14 |  4652979 |    75052 |  1696249      0 |        0 |        0
821.93/822.13	c  785s |      14 |  4653537 |    75352 |  1696249      0 |        0 |        0
824.63/824.86	c  788s |      14 |  4653956 |    75652 |  1696249      0 |        0 |        0
827.33/827.51	c  791s |      14 |  4654393 |    75952 |  1696249      0 |        0 |        0
830.13/830.37	c  794s |      14 |  4654797 |    76252 |  1696249      0 |        0 |        0
833.14/833.33	c  797s |      14 |  4655143 |    76552 |  1696249      0 |        0 |        0
835.94/836.15	c  799s |      14 |  4655532 |    76852 |  1696249      0 |        0 |        0
838.14/838.30	c  802s |      14 |  4655847 |    77052 |  1696249      0 |        0 |        0
840.54/840.77	c  804s |      14 |  4656113 |    77252 |  1696249      0 |        0 |        0
842.84/843.08	c  806s |      14 |  4656361 |    77452 |  1696249      0 |        0 |        0
845.53/845.76	c  809s |      14 |  4656637 |    77652 |  1696249      0 |        0 |        0
848.23/848.44	c  812s |      14 |  4657026 |    77952 |  1696249      0 |        0 |        0
850.23/850.49	c  814s |      14 |  4657275 |    78152 |  1696249      0 |        0 |        0
852.33/852.53	c  816s |      14 |  4657506 |    78352 |  1696249      0 |        0 |        0
854.83/855.03	c  818s |      14 |  4657786 |    78552 |  1696249      0 |        0 |        0
857.43/857.62	c  821s |      14 |  4658224 |    78852 |  1696249      0 |        0 |        0
859.53/859.72	c  823s |      14 |  4658578 |    79152 |  1696249      0 |        0 |        0
862.13/862.35	c  826s |      14 |  4658925 |    79452 |  1696249      0 |        0 |        0
865.13/865.33	c  829s |      14 |  4659190 |    79652 |  1696249      0 |        0 |        0
867.23/867.49	c  831s |      14 |  4659549 |    79952 |  1696249      0 |        0 |        0
869.92/870.18	c  833s |      14 |  4660046 |    80352 |  1696249      0 |        0 |        0
872.02/872.23	c  835s |      14 |  4660435 |    80652 |  1696249      0 |        0 |        0
874.53/874.73	c  838s |      14 |  4660852 |    80952 |  1696249      0 |        0 |        0
877.02/877.26	c  841s |      14 |  4661230 |    81252 |  1696249      0 |        0 |        0
879.42/879.67	c  843s |      14 |  4661621 |    81552 |  1696249      0 |        0 |        0
882.13/882.36	c  846s |      14 |  4662038 |    81852 |  1696249      0 |        0 |        0
884.82/885.03	c  848s |      14 |  4662462 |    82152 |  1696249      0 |        0 |        0
887.73/887.97	c  851s |      14 |  4662824 |    82452 |  1696249      0 |        0 |        0
889.72/889.99	c  853s |      14 |  4663088 |    82652 |  1696249      0 |        0 |        0
892.02/892.25	c  856s |      14 |  4663457 |    82952 |  1696249      0 |        0 |        0
894.72/894.99	c  858s |      14 |  4663902 |    83252 |  1696249      0 |        0 |        0
897.22/897.40	c  861s |      14 |  4664306 |    83552 |  1696249      0 |        0 |        0
899.83/900.02	c  863s |      14 |  4664680 |    83852 |  1696249      0 |        0 |        0
902.62/902.87	c  866s |      14 |  4665079 |    84152 |  1696249      0 |        0 |        0
904.82/905.07	c  868s |      14 |  4665477 |    84452 |  1696249      0 |        0 |        0
907.02/907.26	c  871s |      14 |  4665586 |    84552 |  1696249      0 |        0 |        0
909.82/910.00	c  873s |      14 |  4666188 |    84952 |  1696249      0 |        0 |        0
912.22/912.42	c  876s |      14 |  4666619 |    85252 |  1696249      0 |        0 |        0
914.51/914.78	c  878s |      14 |  4666988 |    85552 |  1696249      0 |        0 |        0
917.21/917.50	c  881s |      14 |  4667439 |    85852 |  1696249      0 |        0 |        0
919.81/920.08	c  883s |      14 |  4667795 |    86152 |  1696249      0 |        0 |        0
922.41/922.68	c  886s |      14 |  4668144 |    86452 |  1696249      0 |        0 |        0
925.51/925.76	c  889s |      14 |  4668636 |    86852 |  1696249      0 |        0 |        0
928.21/928.43	c  892s |      14 |  4668981 |    87152 |  1865874      0 |        0 |        0
930.71/930.97	c  894s |      14 |  4669339 |    87452 |  1865874      0 |        0 |        0
931.91/932.17	c  895s |      15 |  4669538 |    87632 |  1865874      0 |        0 |        0
936.12/936.35	c  900s |      15 |  4688547 |    87732 |  1865874      0 |        0 |        0
938.61/938.81	c  902s |      15 |  4689247 |    88032 |  1865874      0 |        0 |        0
941.41/941.65	c  905s |      15 |  4689606 |    88332 |  1865874      0 |        0 |        0
944.21/944.48	c  908s |      15 |  4690003 |    88632 |  1865874      0 |        0 |        0
946.41/946.63	c  910s |      15 |  4690158 |    88732 |  1865874      0 |        0 |        0
948.51/948.71	c  912s |      15 |  4690548 |    89032 |  1865874      0 |        0 |        0
950.61/950.80	c  914s |      15 |  4690888 |    89332 |  1865874      0 |        0 |        0
952.71/952.98	c  916s |      15 |  4691235 |    89632 |  1865874      0 |        0 |        0
955.11/955.30	c  919s |      15 |  4691579 |    89932 |  1865874      0 |        0 |        0
957.61/957.90	c  921s |      15 |  4692059 |    90332 |  1865874      0 |        0 |        0
960.21/960.42	c  924s |      15 |  4692391 |    90632 |  1865874      0 |        0 |        0
962.41/962.69	c  926s |      15 |  4692742 |    90932 |  1865874      0 |        0 |        0
964.61/964.89	c  928s |      15 |  4693083 |    91232 |  1865874      0 |        0 |        0
966.91/967.12	c  930s |      15 |  4693431 |    91532 |  1865874      0 |        0 |        0
972.41/972.68	c  936s |      15 |  4745276 |    91632 |  1865874      0 |        0 |        0
974.41/974.70	c  938s |      15 |  4765946 |    91932 |  1865874      0 |        0 |        0
976.81/977.04	c  940s |      15 |  4766393 |    92332 |  1865874      0 |        0 |        0
979.20/979.49	c  943s |      15 |  4766858 |    92732 |  1865874      0 |        0 |        0
981.41/981.67	c  945s |      15 |  4767197 |    93032 |  1865874      0 |        0 |        0
983.81/984.01	c  947s |      15 |  4767535 |    93332 |  1865874      0 |        0 |        0
986.00/986.27	c  950s |      15 |  4767887 |    93632 |  1865874      0 |        0 |        0
988.20/988.44	c  952s |      15 |  4768003 |    93732 |  1865874      0 |        0 |        0
990.30/990.51	c  954s |      15 |  4768339 |    94032 |  1865874      0 |        0 |        0
993.90/994.18	c  957s |      15 |  4778401 |    94332 |  1865874      0 |        0 |        0
996.20/996.43	c  960s |      15 |  4805027 |    94632 |  1865874      0 |        0 |        0
998.40/998.69	c  962s |      15 |  4805381 |    94932 |  1865874      0 |        0 |        0
1004.60/1004.85	c  968s |      15 |  4842990 |    95132 |  1865874      0 |        0 |        0
1015.20/1015.46	c  979s |      15 |  4951159 |    95232 |  1865874      0 |        0 |        0
1017.51/1017.72	c  981s |      15 |  5019585 |    95532 |  1865874      0 |        0 |        0
1019.70/1019.97	c  983s |      15 |  5117858 |    96032 |  1865874      0 |        0 |        0
1023.00/1023.26	c  987s |      15 |  5172174 |    96532 |  1865874      0 |        0 |        0
1025.70/1025.96	c  989s |      15 |  5192065 |    96632 |  1865874      0 |        0 |        0
1027.90/1028.16	c  991s |      15 |  5257434 |    97332 |  1865874      0 |        0 |        0
1030.20/1030.41	c  994s |      15 |  5295135 |    97832 |  1865874      0 |        0 |        0
1032.30/1032.54	c  996s |      15 |  5295501 |    98132 |  1865874      0 |        0 |        0
1034.50/1034.75	c  998s |      15 |  5295935 |    98532 |  1865874      0 |        0 |        0
1036.90/1037.13	c 1000s |      15 |  5296874 |    98932 |  1865874      0 |        0 |        0
1039.30/1039.59	c 1003s |      15 |  5297435 |    99432 |  1865874      0 |        0 |        0
1041.50/1041.79	c 1005s |      15 |  5298002 |    99932 |  1865874      0 |        0 |        0
1043.80/1044.06	c 1007s |      15 |  5298482 |   100332 |  1865874      0 |        0 |        0
1046.10/1046.39	c 1010s |      15 |  5302508 |   100632 |  1865874      0 |        0 |        0
1048.69/1048.99	c 1012s |      15 |  5378704 |   100832 |  1865874      0 |        0 |        0
1051.60/1051.83	c 1015s |      15 |  5388766 |   101132 |  1865874      0 |        0 |        0
1054.70/1055.00	c 1018s |      15 |  5416569 |   101232 |  1865874      0 |        0 |        0
1057.00/1057.26	c 1021s |      15 |  5493068 |   101532 |  1865874      0 |        0 |        0
1059.39/1059.68	c 1023s |      15 |  5569700 |   101932 |  1865874      0 |        0 |        0
1062.09/1062.33	c 1026s |      15 |  5602092 |   102332 |  1865874      0 |        0 |        0
1064.29/1064.57	c 1028s |      15 |  5633881 |   102632 |  1865874      0 |        0 |        0
1066.89/1067.14	c 1030s |      15 |  5690552 |   102832 |  1865874      0 |        0 |        0
1069.29/1069.51	c 1033s |      15 |  5770978 |   103132 |  1865874      0 |        0 |        0
1071.29/1071.59	c 1035s |      15 |  5897755 |   103732 |  1865874      0 |        0 |        0
1073.59/1073.89	c 1037s |      15 |  5984719 |   104232 |  1865874      0 |        0 |        0
1075.69/1075.92	c 1039s |      15 |  6050652 |   105332 |  1865874      0 |        0 |        0
1079.79/1080.07	c 1043s |      15 |  6100856 |   105732 |  1865874      0 |        0 |        0
1082.08/1082.32	c 1046s |      15 |  6144997 |   105932 |  1865874      0 |        0 |        0
1084.28/1084.53	c 1048s |      15 |  6197066 |   106232 |  1865874      0 |        0 |        0
1087.58/1087.85	c 1051s |      15 |  6252921 |   106532 |  1865874      0 |        0 |        0
1090.39/1090.64	c 1054s |      15 |  6283119 |   106732 |  1865874      0 |        0 |        0
1092.88/1093.19	c 1056s |      15 |  6339777 |   106932 |  1865874      0 |        0 |        0
1094.99/1095.24	c 1058s |      15 |  6388815 |   107332 |  1865874      0 |        0 |        0
1097.88/1098.19	c 1061s |      15 |  6430987 |   107832 |  1865874      0 |        0 |        0
1102.48/1102.77	c 1066s |      15 |  6446829 |   108032 |  1865874      0 |        0 |        0
1105.09/1105.37	c 1069s |      15 |  6458843 |   108132 |  1865874      0 |        0 |        0
1108.38/1108.63	c 1072s |      15 |  6471052 |   108232 |  1865874      0 |        0 |        0
1110.78/1111.05	c 1074s |      15 |  6485452 |   108332 |  1865874      0 |        0 |        0
1113.09/1113.38	c 1077s |      15 |  6493019 |   108532 |  1865874      0 |        0 |        0
1116.28/1116.51	c 1080s |      15 |  6510968 |   108732 |  1865874      0 |        0 |        0
1119.48/1119.73	c 1083s |      15 |  6565506 |   108932 |  1865874      0 |        0 |        0
1121.98/1122.24	c 1085s |      15 |  6574952 |   109132 |  1865874      0 |        0 |        0
1125.08/1125.31	c 1089s |      15 |  6596339 |   109232 |  1865874      0 |        0 |        0
1127.28/1127.60	c 1091s |      15 |  6627580 |   109432 |  1865874      0 |        0 |        0
1129.98/1130.25	c 1094s |      15 |  6650444 |   109632 |  1865874      0 |        0 |        0
1132.89/1133.14	c 1096s |      15 |  6702066 |   110032 |  1865874      0 |        0 |        0
1134.98/1135.22	c 1098s |      15 |  6708687 |   110132 |  1865874      0 |        0 |        0
1137.78/1138.01	c 1101s |      15 |  6713477 |   110332 |  1865874      0 |        0 |        0
1140.38/1140.66	c 1104s |      15 |  6713648 |   110432 |  1865874      0 |        0 |        0
1143.28/1143.52	c 1107s |      15 |  6714003 |   110732 |  1865874      0 |        0 |        0
1146.18/1146.49	c 1110s |      15 |  6714468 |   111032 |  1865874      0 |        0 |        0
1148.77/1149.00	c 1112s |      15 |  6714779 |   111232 |  1865874      0 |        0 |        0
1150.87/1151.13	c 1114s |      15 |  6715030 |   111432 |  1865874      0 |        0 |        0
1153.17/1153.45	c 1117s |      15 |  6715266 |   111632 |  1865874      0 |        0 |        0
1155.47/1155.77	c 1119s |      15 |  6715497 |   111832 |  1865874      0 |        0 |        0
1157.77/1158.02	c 1121s |      15 |  6715736 |   112032 |  1865874      0 |        0 |        0
1160.38/1160.64	c 1124s |      15 |  6716099 |   112332 |  1865874      0 |        0 |        0
1162.37/1162.66	c 1126s |      15 |  6716365 |   112532 |  1865874      0 |        0 |        0
1164.47/1164.76	c 1128s |      15 |  6716608 |   112732 |  1865874      0 |        0 |        0
1167.67/1167.98	c 1131s |      15 |  6716970 |   113032 |  1865874      0 |        0 |        0
1170.28/1170.56	c 1134s |      15 |  6717248 |   113232 |  1865874      0 |        0 |        0
1172.97/1173.23	c 1136s |      15 |  6717353 |   113332 |  1865874      0 |        0 |        0
1175.67/1176.00	c 1139s |      15 |  6717712 |   113632 |  1865874      0 |        0 |        0
1178.77/1179.02	c 1142s |      15 |  6718077 |   113932 |  1865874      0 |        0 |        0
1180.97/1181.24	c 1144s |      15 |  6718303 |   114132 |  1865874      0 |        0 |        0
1183.07/1183.31	c 1147s |      15 |  6718564 |   114332 |  1865874      0 |        0 |        0
1185.27/1185.51	c 1149s |      15 |  6718800 |   114532 |  1865874      0 |        0 |        0
1187.47/1187.77	c 1151s |      15 |  6719030 |   114732 |  1865874      0 |        0 |        0
1189.77/1190.04	c 1153s |      15 |  6719277 |   114932 |  1865874      0 |        0 |        0
1192.16/1192.47	c 1156s |      15 |  6719516 |   115132 |  1865874      0 |        0 |        0
1194.36/1194.65	c 1158s |      15 |  6719758 |   115332 |  1865874      0 |        0 |        0
1196.47/1196.70	c 1160s |      15 |  6719969 |   115532 |  1865874      0 |        0 |        0
1198.46/1198.74	c 1162s |      15 |  6720219 |   115732 |  1865874      0 |        0 |        0
1200.86/1201.11	c 1164s |      15 |  6720442 |   115932 |  1865874      0 |        0 |        0
1204.37/1204.64	c 1168s |      15 |  6720687 |   116132 |  1865874      0 |        0 |        0
1207.37/1207.67	c 1171s |      15 |  6721167 |   116432 |  1865874      0 |        0 |        0
1209.87/1210.17	c 1173s |      15 |  6721450 |   116632 |  1865874      0 |        0 |        0
1212.66/1212.94	c 1176s |      15 |  6721680 |   116832 |  1865874      0 |        0 |        0
1215.16/1215.48	c 1179s |      15 |  6721897 |   117032 |  1865874      0 |        0 |        0
1217.46/1217.72	c 1181s |      15 |  6722149 |   117232 |  1865874      0 |        0 |        0
1220.16/1220.48	c 1184s |      15 |  6722391 |   117432 |  1865874      0 |        0 |        0
1222.46/1222.72	c 1186s |      15 |  6722670 |   117632 |  1865874      0 |        0 |        0
1224.86/1225.15	c 1188s |      15 |  6722934 |   117832 |  1865874      0 |        0 |        0
1226.86/1227.16	c 1190s |      15 |  6723178 |   118032 |  1865874      0 |        0 |        0
1229.26/1229.53	c 1193s |      15 |  6723415 |   118232 |  1865874      0 |        0 |        0
1232.16/1232.45	c 1196s |      15 |  6723771 |   118532 |  1865874      0 |        0 |        0
1234.66/1235.00	c 1198s |      15 |  6723873 |   118632 |  1865874      0 |        0 |        0
1237.47/1237.79	c 1201s |      15 |  6724106 |   118832 |  1865874      0 |        0 |        0
1240.67/1240.97	c 1204s |      15 |  6724463 |   119132 |  1865874      0 |        0 |        0
1243.26/1243.59	c 1207s |      15 |  6724694 |   119332 |  1865874      0 |        0 |        0
1245.95/1246.28	c 1210s |      15 |  6724931 |   119532 |  1865874      0 |        0 |        0
1248.47/1248.73	c 1212s |      15 |  6725183 |   119732 |  1865874      0 |        0 |        0
1250.86/1251.13	c 1214s |      15 |  6725439 |   119932 |  1865874      0 |        0 |        0
1252.95/1253.29	c 1217s |      15 |  6725691 |   120132 |  1865874      0 |        0 |        0
1255.46/1255.78	c 1219s |      15 |  6725945 |   120332 |  1865874      0 |        0 |        0
1257.95/1258.29	c 1222s |      15 |  6726187 |   120532 |  1865874      0 |        0 |        0
1262.06/1262.30	c 1226s |      15 |  6726406 |   120732 |  1865874      0 |        0 |        0
1264.26/1264.57	c 1228s |      15 |  6726625 |   120932 |  1865874      0 |        0 |        0
1266.75/1267.00	c 1230s |      15 |  6726869 |   121132 |  1865874      0 |        0 |        0
1269.55/1269.82	c 1233s |      15 |  6727133 |   121332 |  1865874      0 |        0 |        0
1271.95/1272.24	c 1236s |      15 |  6727397 |   121532 |  1865874      0 |        0 |        0
1274.75/1275.01	c 1238s |      15 |  6727619 |   121732 |  1865874      0 |        0 |        0
1277.14/1277.44	c 1241s |      15 |  6727868 |   121932 |  1865874      0 |        0 |        0
1279.75/1280.02	c 1243s |      15 |  6728130 |   122132 |  1865874      0 |        0 |        0
1282.55/1282.84	c 1246s |      15 |  6728389 |   122332 |  1865874      0 |        0 |        0
1285.35/1285.63	c 1249s |      15 |  6728625 |   122532 |  1865874      0 |        0 |        0
1287.84/1288.17	c 1251s |      15 |  6728858 |   122732 |  1865874      0 |        0 |        0
1290.34/1290.61	c 1254s |      15 |  6728971 |   122832 |  1865874      0 |        0 |        0
1292.94/1293.21	c 1256s |      15 |  6729307 |   123132 |  1865874      0 |        0 |        0
1295.14/1295.44	c 1259s |      15 |  6729528 |   123332 |  1865874      0 |        0 |        0
1297.35/1297.63	c 1261s |      15 |  6729783 |   123532 |  1865874      0 |        0 |        0
1299.74/1300.02	c 1263s |      15 |  6730042 |   123732 |  1865874      0 |        0 |        0
1302.24/1302.57	c 1266s |      15 |  6730275 |   123932 |  1865874      0 |        0 |        0
1304.74/1305.08	c 1268s |      15 |  6730489 |   124132 |  1865874      0 |        0 |        0
1307.14/1307.41	c 1271s |      15 |  6730731 |   124332 |  1865874      0 |        0 |        0
1309.54/1309.89	c 1273s |      15 |  6730992 |   124532 |  1865874      0 |        0 |        0
1312.04/1312.33	c 1276s |      15 |  6731208 |   124732 |  1865874      0 |        0 |        0
1314.54/1314.85	c 1278s |      15 |  6731442 |   124932 |  1865874      0 |        0 |        0
1318.63/1318.93	c 1282s |      15 |  6731695 |   125132 |  1865874      0 |        0 |        0
1320.95/1321.26	c 1285s |      15 |  6731938 |   125332 |  1865874      0 |        0 |        0
1323.43/1323.76	c 1287s |      15 |  6732203 |   125532 |  1865874      0 |        0 |        0
1325.84/1326.10	c 1289s |      15 |  6732434 |   125732 |  1865874      0 |        0 |        0
1328.14/1328.47	c 1292s |      15 |  6732677 |   125932 |  1865874      0 |        0 |        0
1330.85/1331.15	c 1294s |      15 |  6732907 |   126132 |  1865874      0 |        0 |        0
1333.14/1333.49	c 1297s |      15 |  6733121 |   126332 |  1865874      0 |        0 |        0
1335.64/1335.91	c 1299s |      15 |  6733371 |   126532 |  1865874      0 |        0 |        0
1337.83/1338.19	c 1301s |      15 |  6733588 |   126732 |  1865874      0 |        0 |        0
1340.24/1340.54	c 1304s |      15 |  6733812 |   126932 |  1865874      0 |        0 |        0
1342.74/1343.03	c 1306s |      15 |  6734140 |   127232 |  1865874      0 |        0 |        0
1345.24/1345.59	c 1309s |      15 |  6734264 |   127332 |  1865874      0 |        0 |        0
1348.03/1348.31	c 1312s |      15 |  6734608 |   127632 |  1865874      0 |        0 |        0
1350.73/1351.07	c 1314s |      15 |  6734865 |   127832 |  1865874      0 |        0 |        0
1353.13/1353.43	c 1317s |      15 |  6735091 |   128032 |  1865874      0 |        0 |        0
1355.73/1356.01	c 1319s |      15 |  6735348 |   128232 |  1865874      0 |        0 |        0
1357.72/1358.04	c 1321s |      15 |  6735582 |   128432 |  1865874      0 |        0 |        0
1360.54/1360.86	c 1324s |      15 |  6735940 |   128732 |  1865874      0 |        0 |        0
1362.63/1362.91	c 1326s |      15 |  6736159 |   128932 |  1865874      0 |        0 |        0
1365.72/1366.01	c 1329s |      15 |  6736513 |   129232 |  1865874      0 |        0 |        0
1368.53/1368.83	c 1332s |      15 |  6736848 |   129532 |  1865874      0 |        0 |        0
1371.92/1372.22	c 1335s |      15 |  6737087 |   129732 |  1865874      0 |        0 |        0
1374.42/1374.74	c 1338s |      15 |  6737332 |   129932 |  1865874      0 |        0 |        0
1377.22/1377.55	c 1341s |      15 |  6737688 |   130232 |  1865874      0 |        0 |        0
1380.33/1380.69	c 1344s |      15 |  6737937 |   130432 |  1865874      0 |        0 |        0
1383.12/1383.49	c 1347s |      15 |  6738157 |   130632 |  1865874      0 |        0 |        0
1386.32/1386.64	c 1350s |      15 |  6738389 |   130832 |  2052462      0 |        0 |        0
1389.31/1389.69	c 1353s |      15 |  6738654 |   131032 |  2052462      0 |        0 |        0
1392.22/1392.58	c 1356s |      15 |  6738888 |   131232 |  2052462      0 |        0 |        0
1395.22/1395.56	c 1359s |      15 |  6739106 |   131432 |  2052462      0 |        0 |        0
1397.92/1398.22	c 1361s |      15 |  6739238 |   131532 |  2052462      0 |        0 |        0
1398.11/1398.44	c 1362s |      16 |  6739260 |   131552 |  2052462      0 |        0 |        0
1402.72/1403.08	c 1366s |      16 |  6762102 |   131652 |  2052462      0 |        0 |        0
1407.31/1407.67	c 1371s |      16 |  6811247 |   131752 |  2052462      0 |        0 |        0
1413.12/1413.49	c 1377s |      16 |  6863848 |   131852 |  2052462      0 |        0 |        0
1421.81/1422.18	c 1385s |      16 |  6942300 |   131952 |  2052462      0 |        0 |        0
1424.70/1425.02	c 1388s |      16 |  6943261 |   132252 |  2052462      0 |        0 |        0
1427.51/1427.90	c 1391s |      16 |  6957537 |   132552 |  2052462      0 |        0 |        0
1430.91/1431.21	c 1394s |      16 |  6958103 |   132752 |  2052462      0 |        0 |        0
1433.21/1433.59	c 1397s |      16 |  6959838 |   132952 |  2052462      0 |        0 |        0
1435.50/1435.82	c 1399s |      16 |  6960776 |   133252 |  2052462      0 |        0 |        0
1438.50/1438.82	c 1402s |      16 |  6961021 |   133452 |  2052462      0 |        0 |        0
1441.30/1441.60	c 1405s |      16 |  6961250 |   133652 |  2052462      0 |        0 |        0
1443.30/1443.69	c 1407s |      16 |  6961778 |   133852 |  2052462      0 |        0 |        0
1451.80/1452.14	c 1415s |      16 |  7014780 |   134252 |  2052462      0 |        0 |        0
1464.80/1465.12	c 1428s |      16 |  7147880 |   134352 |  2052462      0 |        0 |        0
1469.10/1469.42	c 1433s |      16 |  7177665 |   134452 |  2052462      0 |        0 |        0
1471.10/1471.45	c 1435s |      16 |  7210318 |   134752 |  2052462      0 |        0 |        0
1474.49/1474.83	c 1438s |      16 |  7226214 |   135052 |  2052462      0 |        0 |        0
1476.70/1477.04	c 1440s |      16 |  7226501 |   135252 |  2052462      0 |        0 |        0
1478.80/1479.18	c 1442s |      16 |  7226719 |   135452 |  2052462      0 |        0 |        0
1481.50/1481.82	c 1445s |      16 |  7227075 |   135752 |  2052462      0 |        0 |        0
1483.59/1483.96	c 1447s |      16 |  7227321 |   135952 |  2052462      0 |        0 |        0
1485.80/1486.16	c 1449s |      16 |  7227567 |   136152 |  2052462      0 |        0 |        0
1488.69/1489.04	c 1452s |      16 |  7227915 |   136452 |  2052462      0 |        0 |        0
1491.29/1491.67	c 1455s |      16 |  7228254 |   136752 |  2052462      0 |        0 |        0
1493.70/1494.06	c 1457s |      16 |  7228366 |   136852 |  2052462      0 |        0 |        0
1496.20/1496.52	c 1460s |      16 |  7228700 |   137152 |  2052462      0 |        0 |        0
1498.39/1498.79	c 1462s |      16 |  7229037 |   137452 |  2052462      0 |        0 |        0
1501.19/1501.50	c 1465s |      16 |  7229358 |   137752 |  2052462      0 |        0 |        0
1503.79/1504.13	c 1467s |      16 |  7229703 |   138052 |  2052462      0 |        0 |        0
1506.30/1506.61	c 1470s |      16 |  7230043 |   138352 |  2052462      0 |        0 |        0
1508.89/1509.24	c 1472s |      16 |  7230373 |   138652 |  2052462      0 |        0 |        0
1511.49/1511.84	c 1475s |      16 |  7230707 |   138952 |  2052462      0 |        0 |        0
1513.79/1514.18	c 1477s |      16 |  7231045 |   139252 |  2052462      0 |        0 |        0
1517.69/1518.08	c 1481s |      16 |  7231380 |   139552 |  2052462      0 |        0 |        0
1520.39/1520.79	c 1484s |      16 |  7231720 |   139852 |  2052462      0 |        0 |        0
1523.39/1523.76	c 1487s |      16 |  7232164 |   140252 |  2052462      0 |        0 |        0
1526.19/1526.52	c 1490s |      16 |  7232503 |   140552 |  2052462      0 |        0 |        0
1528.98/1529.38	c 1493s |      16 |  7232853 |   140852 |  2052462      0 |        0 |        0
1531.18/1531.51	c 1495s |      16 |  7233095 |   141052 |  2052462      0 |        0 |        0
1533.19/1533.57	c 1497s |      16 |  7233331 |   141252 |  2052462      0 |        0 |        0
1535.98/1536.34	c 1500s |      16 |  7233667 |   141552 |  2052462      0 |        0 |        0
1538.28/1538.68	c 1502s |      16 |  7234006 |   141852 |  2052462      0 |        0 |        0
1542.38/1542.78	c 1506s |      16 |  7234356 |   142152 |  2052462      0 |        0 |        0
1545.18/1545.51	c 1509s |      16 |  7234671 |   142452 |  2052462      0 |        0 |        0
1547.88/1548.21	c 1511s |      16 |  7235014 |   142752 |  2052462      0 |        0 |        0
1550.98/1551.31	c 1515s |      16 |  7235375 |   143052 |  2052462      0 |        0 |        0
1553.38/1553.71	c 1517s |      16 |  7235607 |   143252 |  2052462      0 |        0 |        0
1555.68/1556.07	c 1519s |      16 |  7235852 |   143452 |  2052462      0 |        0 |        0
1558.08/1558.49	c 1522s |      16 |  7236074 |   143652 |  2052462      0 |        0 |        0
1560.48/1560.82	c 1524s |      16 |  7236298 |   143852 |  2052462      0 |        0 |        0
1562.48/1562.87	c 1526s |      16 |  7236521 |   144052 |  2052462      0 |        0 |        0
1564.67/1565.00	c 1528s |      16 |  7236730 |   144252 |  2052462      0 |        0 |        0
1567.07/1567.49	c 1531s |      16 |  7236840 |   144352 |  2052462      0 |        0 |        0
1569.68/1570.09	c 1533s |      16 |  7237171 |   144652 |  2052462      0 |        0 |        0
1571.78/1572.11	c 1535s |      16 |  7237411 |   144852 |  2052462      0 |        0 |        0
1574.47/1574.87	c 1538s |      16 |  7237764 |   145152 |  2052462      0 |        0 |        0
1577.18/1577.51	c 1541s |      16 |  7238092 |   145452 |  2052462      0 |        0 |        0
1579.48/1579.81	c 1543s |      16 |  7238419 |   145752 |  2052462      0 |        0 |        0
1582.27/1582.68	c 1546s |      16 |  7238745 |   146052 |  2052462      0 |        0 |        0
1584.88/1585.27	c 1549s |      16 |  7239079 |   146352 |  2052462      0 |        0 |        0
1586.97/1587.37	c 1551s |      16 |  7239312 |   146552 |  2052462      0 |        0 |        0
1590.38/1590.78	c 1554s |      16 |  7239539 |   146752 |  2052462      0 |        0 |        0
1593.27/1593.64	c 1557s |      16 |  7239867 |   147052 |  2052462      0 |        0 |        0
1596.07/1596.48	c 1560s |      16 |  7240212 |   147352 |  2052462      0 |        0 |        0
1598.97/1599.33	c 1563s |      16 |  7240543 |   147652 |  2052462      0 |        0 |        0
1601.77/1602.10	c 1565s |      16 |  7240865 |   147952 |  2052462      0 |        0 |        0
1604.07/1604.44	c 1568s |      16 |  7241120 |   148152 |  2052462      0 |        0 |        0
1606.47/1606.84	c 1570s |      16 |  7241355 |   148352 |  2052462      0 |        0 |        0
1608.67/1609.02	c 1572s |      16 |  7241599 |   148552 |  2052462      0 |        0 |        0
1611.46/1611.87	c 1575s |      16 |  7241936 |   148852 |  2052462      0 |        0 |        0
1613.58/1613.97	c 1577s |      16 |  7242170 |   149052 |  2052462      0 |        0 |        0
1616.17/1616.52	c 1580s |      16 |  7242297 |   149152 |  2052462      0 |        0 |        0
1618.66/1619.03	c 1582s |      16 |  7242647 |   149452 |  2052462      0 |        0 |        0
1621.66/1622.00	c 1585s |      16 |  7242991 |   149752 |  2052462      0 |        0 |        0
1624.36/1624.75	c 1588s |      16 |  7243321 |   150052 |  2052462      0 |        0 |        0
1626.87/1627.29	c 1591s |      16 |  7243645 |   150352 |  2052462      0 |        0 |        0
1629.47/1629.89	c 1593s |      16 |  7243904 |   150552 |  2052462      0 |        0 |        0
1632.06/1632.48	c 1596s |      16 |  7244124 |   150752 |  2052462      0 |        0 |        0
1634.96/1635.31	c 1599s |      16 |  7244386 |   150952 |  2052462      0 |        0 |        0
1637.46/1637.86	c 1601s |      16 |  7244621 |   151152 |  2052462      0 |        0 |        0
1641.35/1641.79	c 1605s |      16 |  7244849 |   151352 |  2052462      0 |        0 |        0
1644.26/1644.70	c 1608s |      16 |  7245224 |   151652 |  2052462      0 |        0 |        0
1647.25/1647.61	c 1611s |      16 |  7245557 |   151952 |  2052462      0 |        0 |        0
1649.36/1649.73	c 1613s |      16 |  7245788 |   152152 |  2052462      0 |        0 |        0
1652.26/1652.69	c 1616s |      16 |  7246116 |   152452 |  2052462      0 |        0 |        0
1654.35/1654.72	c 1618s |      16 |  7246339 |   152652 |  2052462      0 |        0 |        0
1656.86/1657.26	c 1621s |      16 |  7246599 |   152852 |  2052462      0 |        0 |        0
1659.05/1659.47	c 1623s |      16 |  7246840 |   153052 |  2052462      0 |        0 |        0
1661.46/1661.80	c 1625s |      16 |  7247083 |   153252 |  2052462      0 |        0 |        0
1665.56/1665.94	c 1629s |      16 |  7247308 |   153452 |  2052462      0 |        0 |        0
1668.06/1668.45	c 1632s |      16 |  7247575 |   153652 |  2052462      0 |        0 |        0
1670.76/1671.10	c 1634s |      16 |  7247791 |   153852 |  2052462      0 |        0 |        0
1673.56/1673.95	c 1637s |      16 |  7248014 |   154052 |  2052462      0 |        0 |        0
1676.16/1676.52	c 1640s |      16 |  7248242 |   154252 |  2052462      0 |        0 |        0
1678.36/1678.71	c 1642s |      16 |  7248473 |   154452 |  2052462      0 |        0 |        0
1680.75/1681.13	c 1644s |      16 |  7248702 |   154652 |  2052462      0 |        0 |        0
1682.86/1683.28	c 1647s |      16 |  7248944 |   154852 |  2052462      0 |        0 |        0
1686.05/1686.41	c 1650s |      16 |  7249297 |   155152 |  2052462      0 |        0 |        0
1689.95/1690.39	c 1654s |      16 |  7249519 |   155352 |  2052462      0 |        0 |        0
1692.25/1692.60	c 1656s |      16 |  7249742 |   155552 |  2052462      0 |        0 |        0
1695.25/1695.61	c 1659s |      16 |  7250086 |   155852 |  2052462      0 |        0 |        0
1697.35/1697.76	c 1661s |      16 |  7250300 |   156052 |  2052462      0 |        0 |        0
1699.45/1699.80	c 1663s |      16 |  7250534 |   156252 |  2052462      0 |        0 |        0
1701.75/1702.15	c 1665s |      16 |  7250768 |   156452 |  2052462      0 |        0 |        0
1704.14/1704.50	c 1668s |      16 |  7251002 |   156652 |  2052462      0 |        0 |        0
1706.95/1707.36	c 1671s |      16 |  7251336 |   156952 |  2052462      0 |        0 |        0
1709.15/1709.57	c 1673s |      16 |  7251575 |   157152 |  2052462      0 |        0 |        0
1711.45/1711.87	c 1675s |      16 |  7251801 |   157352 |  2052462      0 |        0 |        0
1714.84/1715.25	c 1679s |      16 |  7252025 |   157552 |  2052462      0 |        0 |        0
1716.95/1717.34	c 1681s |      16 |  7252285 |   157752 |  2052462      0 |        0 |        0
1718.94/1719.35	c 1683s |      16 |  7252497 |   157952 |  2052462      0 |        0 |        0
1721.35/1721.72	c 1685s |      16 |  7252735 |   158152 |  2052462      0 |        0 |        0
1723.34/1723.79	c 1687s |      16 |  7252969 |   158352 |  2052462      0 |        0 |        0
1725.54/1725.98	c 1689s |      16 |  7253194 |   158552 |  2052462      0 |        0 |        0
1727.65/1728.01	c 1691s |      16 |  7253419 |   158752 |  2052462      0 |        0 |        0
1729.94/1730.34	c 1694s |      16 |  7253650 |   158952 |  2052462      0 |        0 |        0
1732.25/1732.67	c 1696s |      16 |  7253863 |   159152 |  2052462      0 |        0 |        0
1735.24/1735.63	c 1699s |      16 |  7254190 |   159452 |  2052462      0 |        0 |        0
1738.95/1739.39	c 1703s |      16 |  7254419 |   159652 |  2052462      0 |        0 |        0
1741.34/1741.79	c 1705s |      16 |  7254634 |   159852 |  2052462      0 |        0 |        0
1743.54/1743.96	c 1707s |      16 |  7254865 |   160052 |  2052462      0 |        0 |        0
1745.94/1746.34	c 1710s |      16 |  7255099 |   160252 |  2052462      0 |        0 |        0
1748.04/1748.46	c 1712s |      16 |  7255338 |   160452 |  2052462      0 |        0 |        0
1751.24/1751.61	c 1715s |      16 |  7255689 |   160752 |  2052462      0 |        0 |        0
1753.44/1753.88	c 1717s |      16 |  7255907 |   160952 |  2052462      0 |        0 |        0
1755.84/1756.28	c 1720s |      16 |  7256143 |   161152 |  2052462      0 |        0 |        0
1757.83/1758.29	c 1722s |      16 |  7256366 |   161352 |  2052462      0 |        0 |        0
1761.04/1761.40	c 1725s |      16 |  7256697 |   161652 |  2052462      0 |        0 |        0
1764.24/1764.69	c 1728s |      16 |  7256913 |   161852 |  2052462      0 |        0 |        0
1766.34/1766.78	c 1730s |      16 |  7257146 |   162052 |  2052462      0 |        0 |        0
1769.24/1769.70	c 1733s |      16 |  7257502 |   162352 |  2052462      0 |        0 |        0
1771.64/1772.06	c 1735s |      16 |  7257734 |   162552 |  2052462      0 |        0 |        0
1773.93/1774.34	c 1738s |      16 |  7257963 |   162752 |  2052462      0 |        0 |        0
1776.14/1776.52	c 1740s |      16 |  7258199 |   162952 |  2052462      0 |        0 |        0
1778.33/1778.74	c 1742s |      16 |  7258406 |   163152 |  2052462      0 |        0 |        0
1780.44/1780.87	c 1744s |      16 |  7258633 |   163352 |  2052462      0 |        0 |        0
1782.63/1783.00	c 1746s |      16 |  7258856 |   163552 |  2052462      0 |        0 |        0
1784.84/1785.20	c 1748s |      16 |  7259084 |   163752 |  2052462      0 |        0 |        0
1787.24/1787.62	c 1751s |      16 |  7259295 |   163952 |  2052462      0 |        0 |        0
1789.73/1790.16	c 1753s |      16 |  7259407 |   164052 |  2052462      0 |        0 |        0
1792.74/1793.17	c 1756s |      16 |  7259725 |   164352 |  2052462      0 |        0 |        0
1795.13/1795.53	c 1759s |      16 |  7259955 |   164552 |  2052462      0 |        0 |        0
1797.23/1797.64	c 1761s |      16 |  7260170 |   164752 |  2052462      0 |        0 |        0
1799.33/1799.78	c 1763s |      16 |  7260399 |   164952 |  2052462      0 |        0 |        0

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

pid=31611
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.22 2.24 2.19 3/180 31614
/proc/meminfo: memFree=15119368/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 2664 0 0 0 0 0 0 0 20 0 4 0 31311639 731312128 3025 33554432000 4194304 16246674 140734803826592 140734803826016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 179311 3034 441 2943 0 176205 0
[pid=31614/tid=31615] ppid=31611 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 749137920 3093 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 753332224 3109 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31311640 758575104 3125 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.22 2.24 2.19 3/180 31614
/proc/meminfo: memFree=15119368/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 30010 0 0 0 5 4 0 0 20 0 4 0 31311639 1249447936 30309 33554432000 4194304 16246674 140734803826592 140734803825904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 305041 30309 801 2943 0 301935 0
[pid=31614/tid=31615] ppid=31611 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1249447936 30309 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1249447936 30309 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1249447936 30309 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200512 s]
/proc/loadavg: 2.22 2.24 2.19 3/180 31614
/proc/meminfo: memFree=15119368/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 51569 0 0 0 11 8 0 0 20 0 4 0 31311639 1340674048 52379 33554432000 4194304 16246674 140734803826592 140734803825904 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 327313 52386 801 2943 0 324207 0
[pid=31614/tid=31615] ppid=31611 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1340674048 52390 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1340674048 52395 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1340674048 52398 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300451 s]
/proc/loadavg: 2.22 2.24 2.19 3/180 31614
/proc/meminfo: memFree=15119368/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 60785 0 0 0 20 9 0 0 20 0 4 0 31311639 1344868352 61595 33554432000 4194304 16246674 140734803826592 140734803824384 4207606 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 328337 61595 801 2943 0 325231 0
[pid=31614/tid=31615] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 61595 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 61595 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 61595 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700401 s]
/proc/loadavg: 2.22 2.24 2.19 3/180 31614
/proc/meminfo: memFree=15119368/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 68934 0 0 0 58 10 0 0 20 0 4 0 31311639 1344868352 69744 33554432000 4194304 16246674 140734803826592 140734803824384 7371600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 328337 69744 801 2943 0 325231 0
[pid=31614/tid=31615] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 69744 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 69744 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 69744 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50047 s]
/proc/loadavg: 2.22 2.24 2.19 3/184 31618
/proc/meminfo: memFree=14785144/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 82487 0 0 0 136 13 0 0 20 0 4 0 31311639 1344868352 83297 33554432000 4194304 16246674 140734803826592 140734803824384 7368964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 328337 83297 802 2943 0 325231 0
[pid=31614/tid=31615] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 83297 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 83297 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1344868352 83297 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.36 2.27 2.20 3/184 31618
/proc/meminfo: memFree=14583320/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 138583 0 0 0 288 21 0 0 20 0 4 0 31311639 1370034176 143481 33554432000 4194304 16246674 140734803826592 140734803808512 7364254 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 334481 143481 802 2943 0 331375 0
[pid=31614/tid=31615] ppid=31611 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1370034176 143481 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1370034176 143481 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1370034176 143481 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.36 2.27 2.20 3/184 31618
/proc/meminfo: memFree=14186160/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1387076 CPUtime=6.28 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 219092 0 0 0 595 33 0 0 20 0 4 0 31311639 1420365824 234721 33554432000 4194304 16246674 140734803826592 140734803824384 8055390 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 346769 234721 802 2943 0 343663 0
[pid=31614/tid=31615] ppid=31611 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1420365824 234721 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1420365824 234721 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1420365824 234721 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.20 3/183 31618
/proc/meminfo: memFree=13883180/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=1472068 CPUtime=12.69 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 290247 0 0 0 1225 44 0 0 20 0 4 0 31311639 1507397632 309453 33554432000 4194304 16246674 140734803826592 140734803808512 13008217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 368017 309453 846 2943 0 364911 0
[pid=31614/tid=31615] ppid=31611 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 1507397632 309453 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 1507397632 309453 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 1507397632 309453 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1472068

[startup+25.5074 s]
/proc/loadavg: 2.26 2.25 2.20 3/183 31618
/proc/meminfo: memFree=12999104/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=2354756 CPUtime=25.49 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 510928 0 0 0 2474 75 0 0 20 0 4 0 31311639 2411270144 530134 33554432000 4194304 16246674 140734803826592 140734803825768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 588689 530134 848 2943 0 585583 0
[pid=31614/tid=31615] ppid=31611 vsize=2354756 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 2411270144 530134 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=2354756 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 2411270144 530134 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=2354756 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 2411270144 530134 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2354756

[startup+51.1004 s]
/proc/loadavg: 2.17 2.23 2.19 3/183 31618
/proc/meminfo: memFree=11964260/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3339844 CPUtime=51.08 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 757242 0 0 0 4995 113 0 0 20 0 4 0 31311639 3420000256 776448 33554432000 4194304 16246674 140734803826592 140734803825768 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 834961 776448 888 2943 0 831855 0
[pid=31614/tid=31615] ppid=31611 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3420000256 776448 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3420000256 776448 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3420000256 776448 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3339844

[startup+102.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 31668
/proc/meminfo: memFree=26161572/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=102.28 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846589 0 0 0 10103 125 0 0 20 0 4 0 31311639 3785953280 865795 33554432000 4194304 16246674 140734803826592 140734803808512 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865795 891 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865795 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865795 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865795 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3697220


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

/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3697220

[startup+1362.3 s]
/proc/loadavg: 2.09 2.18 2.17 3/183 31747
/proc/meminfo: memFree=26052592/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1362.03 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846697 0 0 0 135985 218 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825768 5523325 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 3697220

[startup+1422.3 s]
/proc/loadavg: 2.14 2.18 2.17 4/183 31748
/proc/meminfo: memFree=26052496/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1422.01 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846714 0 0 0 141973 228 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 3697220

[startup+1482.3 s]
/proc/loadavg: 2.14 2.17 2.17 4/183 31750
/proc/meminfo: memFree=26052772/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1482 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846718 0 0 0 147964 236 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 4223702 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3697220

[startup+1542.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 31751
/proc/meminfo: memFree=26052672/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1541.99 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846730 0 0 0 153952 247 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3697220

[startup+1602.3 s]
/proc/loadavg: 2.06 2.13 2.16 3/183 31752
/proc/meminfo: memFree=26052456/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1601.97 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846734 0 0 0 159939 258 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3697220

[startup+1662.31 s]
/proc/loadavg: 2.18 2.15 2.16 3/183 31753
/proc/meminfo: memFree=26052608/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1661.96 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846747 0 0 0 165928 268 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3697220

[startup+1722.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/183 31754
/proc/meminfo: memFree=26052760/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1721.95 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846754 0 0 0 171915 280 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803808512 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3697220

[startup+1782.3 s]
/proc/loadavg: 2.12 2.15 2.16 4/184 31759
/proc/meminfo: memFree=26051956/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1781.93 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846755 0 0 0 177904 289 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3697220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.16 2.16 3/184 31760
/proc/meminfo: memFree=26052164/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1800.02 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846757 0 0 0 179710 292 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3697220

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

[startup+1800.4 s]
/proc/loadavg: 2.17 2.16 2.16 3/184 31760
/proc/meminfo: memFree=26052164/32872528 swapFree=1191052/1305516
[pid=31614] ppid=31611 vsize=3697220 CPUtime=1800.02 cores=0,2,4,6
/proc/31614/stat : 31614 (toysat) R 31611 31614 26736 0 -1 4202496 846757 0 0 0 179710 292 0 0 20 0 4 0 31311639 3785953280 865799 33554432000 4194304 16246674 140734803826592 140734803825688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31614/statm: 924305 865799 892 2943 0 921199 0
[pid=31614/tid=31615] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31615/stat : 31615 (toysat) S 31611 31614 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447292828912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31614/tid=31616] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31616/stat : 31616 (toysat) S 31611 31614 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447282339056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31614/tid=31617] ppid=31611 vsize=3697220 CPUtime=0 cores=0,2,4,6
/proc/31614/task/31617/stat : 31617 (toysat) S 31611 31614 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31311640 3785953280 865799 33554432000 4194304 16246674 140734803826592 140447271865520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3697220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.08
CPU user time (s): 1797.11
CPU system time (s): 2.96955
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 3697220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.11
system time used= 2.96955
maximum resident set size= 3463196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846757
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= 332
involuntary context switches= 1812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71328 second user time and 6.94494 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-19 01:30:50
IDJOB=4108918
IDBENCH=89720
IDSOLVER=2542
FILE ID=node127/4108918-1466292649
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71004 MiB

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

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

MD5SUM BENCH= 0bf2f4aff59c663568b0bfbd80eaa689
RANDOM SEED=788444155

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.769
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.769
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:        15119624 kB
Buffers:            3672 kB
Cached:           338132 kB
SwapCached:          160 kB
Active:         14843820 kB
Inactive:         827252 kB
Active(anon):   14643264 kB
Inactive(anon):   688424 kB
Active(file):     200556 kB
Inactive(file):   138828 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             73364 kB
Writeback:             0 kB
AnonPages:      16636688 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             613956 kB
SReclaimable:      57744 kB
SUnreclaim:       556212 kB
KernelStack:        1472 kB
PageTables:        36660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   16881616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1792000 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= 71648 MiB
End job on node127 at 2016-06-19 02:00:51