Trace number 4078852

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.15 1800.46

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark489.747
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
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-07T07:12:20+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-4078852-1465276339.opb"]
0.00/0.01	c use --random-gen="3770222561 1643298112 2581367293 2334527249 731288014 3718764131 1726306473 3960084735 52257448 3326609181 1404062547 3327301637 716694199 2238257680 45649298 2728417855 313617131 1209421160 3388321305 2048683694 1243229775 3168271119 2792837679 2740598281 947848299 4021218356 3210572856 2440118483 3619937372 844045026 771880120 4201598682 942912135 3376919045 1475697873 1663918533 4110044765 3707926406 2855962349 2681905704 1078655603 1722994205 3376661170 3023647620 3655556178 3906690617 792132037 1681507627 390401323 3776912287 363285811 4102362159 3816303863 457290777 1142493782 2587639575 3847477196 2662880133 3391657975 772601369 69843363 533598401 1280730010 742146403 691948276 2371332676 3365802474 3390667664 3464256677 3623255800 2214916628 614196621 3110114563 2565034760 3376329153 421333944 1837032119 2357540509 3264139984 3958421355 2024230593 2365400262 4122069808 844218143 949104230 3548758012 2418823552 3109846266 13368081 1991802977 625182992 3681587464 426939340 34910656 333338092 1749088564 3862713701 3326445865 1373242128 4214961713 1415045585 364196499 1985773646 1822495044 1530929503 896844811 2995109407 3495283647 1995720120 1861060957 2338569360 3989538519 125382951 2904443959 4071709672 1965621831 1357995946 4039684348 3784497380 532403537 2852753637 3411671663 1363367880 1466042111 2257719354 3638429635 2000187939 3351007849 2627356488 2488214036 2281822899 2485091419 1759479720 1768472069 918101316 1200643746 3094754088 781003874 3617920344 3243039743 4067347516 3640939786 3417928425 2201617832 3686451397 1733167652 1198698725 2275388531 3028434294 1464249176 2272739849 3436034212 2409741927 2420087419 2825348468 2351258692 1391173604 2436905045 3528153232 815929856 1333862288 1319809091 1048744616 3602080021 596059196 3594582862 98421548 2396219223 3262175778 2948176119 3658182561 3145384605 1878544560 27472157 1679194132 328613104 517756740 219924162 2880836342 2896057960 4276472281 1541557026 1471347239 1202957838 3345977705 505749323 3708808720 548746719 3652562550 3805996165 2614657625 3580328765 2644763981 2473642168 4044555870 1738920100 2016279882 599213247 754694700 204611460 486911026 379713858 1958335056 2802060457 825168997 1059332396 2754063127 1841622195 470579496 3784528441 3029006814 600382064 4199109719 2680014464 1491852925 806642894 959353179 133160904 3605050860 388285133 2279118862 2080013036 4022409524 1546333759 781904034 1365033887 247352761 1331089260 3745364448 3055500439 2065732622 946350017 3346888392 388334650 3921300246 1438480515 2204778605 3801956601 2299392485 3092452582 733843255 3254146073 329906247 326800523 2463914921 1826520815 257005589 1832047467 1502882639 33046709 2476275384 1425496427 3255426196 4049971211 1425722379 1902201809 255 362436" option to reproduce the execution
6.89/6.91	c #vars 36611
6.89/6.91	c #constraints 853935
20.28/20.39	c Solving starts ...
20.28/20.39	c ============================[ Search Statistics ]============================
20.28/20.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.28/20.39	c       |         |          |          |    Limit     GC | Var      | Constra 
20.28/20.39	c =============================================================================
20.28/20.39	c  0.0s |       0 |        0 |        0 |   251878      0 |     7530 |        0
23.09/23.15	c  2.8s |       0 |     2213 |      100 |   251878      0 |     7532 |    88229
23.09/23.16	c  2.8s |       1 |     2213 |      100 |   251878      0 |     7532 |    88229
27.38/27.44	c  7.0s |       1 |    18108 |      200 |   277066      0 |     7536 |    88346
31.08/31.17	c 10.8s |       2 |    33750 |      250 |   277066      0 |     7541 |    88419
38.78/38.88	c 18.5s |       2 |    79387 |      350 |   304773      0 |     7547 |    88673
49.68/49.72	c 29.3s |       2 |   149709 |      450 |   304773      0 |     7557 |    88899
50.88/50.94	c 30.6s |       3 |   157595 |      475 |   304773      0 |     7558 |    88913
60.08/60.14	c 39.7s |       3 |   224247 |      575 |   335251      0 |     7562 |    89055
68.88/68.98	c 48.6s |       3 |   296979 |      675 |   335251      0 |     7566 |    89256
77.17/77.21	c 56.8s |       3 |   374965 |      775 |   335251      0 |     7567 |    89271
82.77/82.88	c 62.5s |       4 |   431282 |      813 |   335251      0 |     7568 |    89285
97.07/97.13	c 76.7s |       4 |   574580 |      913 |   368777      0 |     7571 |    89375
113.27/113.36	c 93.0s |       4 |   733402 |     1013 |   368777      0 |     7577 |    89461
123.17/123.27	c  102s |       4 |   844403 |     1113 |   368777      0 |     7577 |    89461
140.78/140.89	c  120s |       4 |  1074367 |     1213 |   368777      0 |     7579 |    89489
143.17/143.24	c  122s |       4 |  1121047 |     1313 |   368777      0 |     7579 |    89489
143.67/143.75	c  123s |       5 |  1122266 |     1320 |   368777      0 |     7580 |    89504
147.38/147.45	c  127s |       5 |  1138673 |     1420 |   405655      0 |     7583 |    89550
151.37/151.44	c  131s |       5 |  1184603 |     1520 |   405655      0 |     7584 |    89564
154.97/155.06	c  134s |       5 |  1208130 |     1620 |   405655      0 |     7586 |    89592
158.87/158.95	c  138s |       5 |  1248877 |     1820 |   405655      0 |     7588 |    89766
169.37/169.42	c  149s |       5 |  1343843 |     1920 |   405655      0 |     7595 |    90208
173.37/173.43	c  153s |       5 |  1369059 |     2020 |   405655      0 |     7597 |    90238
175.77/175.83	c  155s |       6 |  1395973 |     2081 |   446221      0 |     7597 |    90238
179.06/179.11	c  158s |       6 |  1437724 |     2281 |   446221      0 |     7603 |    90533
181.06/181.18	c  160s |       6 |  1448882 |     2381 |   446221      0 |     7608 |    90606
184.06/184.13	c  163s |       6 |  1477035 |     2481 |   446221      0 |     7610 |    90822
187.46/187.59	c  167s |       6 |  1519914 |     2581 |   446221      0 |     7610 |    90822
190.27/190.34	c  169s |       6 |  1553701 |     2681 |   446221      0 |     7611 |    90838
192.47/192.52	c  172s |       6 |  1627102 |     2981 |   446221      0 |     7613 |    90866
197.26/197.31	c  176s |       6 |  1698930 |     3181 |   446221      0 |     7617 |    91051
197.36/197.44	c  177s |       7 |  1699146 |     3223 |   490844      0 |     7617 |    91051
201.66/201.78	c  181s |       7 |  1763616 |     3523 |   490844      0 |     7621 |    91102
204.36/204.48	c  184s |       7 |  1809793 |     3923 |   490844      0 |     7623 |    91132
207.26/207.30	c  186s |       7 |  1836332 |     4023 |   490844      0 |     7626 |    91245
211.17/211.30	c  190s |       7 |  1882277 |     4323 |   490844      0 |     7629 |    91469
213.96/214.01	c  193s |       7 |  1912784 |     4523 |   490844      0 |     7634 |    91547
217.66/217.70	c  197s |       7 |  1963232 |     4923 |   539929      0 |     7640 |    91775
217.66/217.75	c  197s |       8 |  1967375 |     4936 |   539929      0 |     7640 |    91775
220.16/220.22	c  199s |       8 |  1982372 |     5036 |   539929      0 |     7643 |    92071
224.36/224.48	c  204s |       8 |  2028342 |     5236 |   539929      0 |     7649 |    92161
229.26/229.34	c  208s |       8 |  2082293 |     5436 |   539929      0 |     7653 |    92221
231.66/231.73	c  211s |       8 |  2120678 |     5636 |   539929      0 |     7653 |    92221
233.86/233.94	c  213s |       8 |  2134599 |     5736 |   539929      0 |     7657 |    92281
239.46/239.54	c  219s |       8 |  2202330 |     6036 |   539929      0 |     7661 |    92340
242.26/242.38	c  221s |       8 |  2220869 |     6136 |   539929      0 |     7664 |    92515
244.65/244.71	c  224s |       8 |  2234031 |     6236 |   539929      0 |     7668 |    92572
248.35/248.47	c  228s |       8 |  2278725 |     6336 |   539929      0 |     7669 |    92778
252.35/252.50	c  232s |       8 |  2331799 |     6436 |   539929      0 |     7671 |    92844
257.36/257.49	c  237s |       8 |  2366539 |     6536 |   539929      0 |     7675 |    92900
261.35/261.45	c  241s |       8 |  2388849 |     6636 |   539929      0 |     7680 |    92974
265.45/265.54	c  245s |       8 |  2440426 |     6836 |   539929      0 |     7685 |    93046
268.05/268.11	c  247s |       8 |  2478494 |     7036 |   539929      0 |     7687 |    93078
272.15/272.24	c  251s |       8 |  2542549 |     7236 |   539929      0 |     7690 |    93216
275.35/275.49	c  255s |       9 |  2587052 |     7506 |   593922      0 |     7693 |    93258
277.45/277.59	c  257s |       9 |  2622872 |     7606 |   593922      0 |     7696 |    93389
279.65/279.79	c  259s |       9 |  2676900 |     7906 |   593922      0 |     7697 |    93404
283.05/283.19	c  262s |       9 |  2709796 |     8206 |   593922      0 |     7702 |    93469
286.55/286.64	c  266s |       9 |  2749182 |     8506 |   593922      0 |     7706 |    93528
289.65/289.74	c  269s |       9 |  2791601 |     8706 |   593922      0 |     7707 |    93542
295.15/295.22	c  274s |       9 |  2833836 |     9006 |   593922      0 |     7712 |    93772
300.65/300.78	c  280s |       9 |  2877900 |     9206 |   593922      0 |     7717 |    93840
303.05/303.15	c  282s |       9 |  2917277 |     9406 |   593922      0 |     7717 |    93840
307.24/307.31	c  286s |       9 |  2965231 |     9906 |   593922      0 |     7721 |    93979
311.54/311.63	c  291s |       9 |  3002979 |    10106 |   593922      0 |     7723 |    94005
313.74/313.90	c  293s |       9 |  3020290 |    10206 |   593922      0 |     7724 |    94019
320.34/320.41	c  300s |       9 |  3080140 |    10306 |   593922      0 |     7725 |    94034
326.65/326.77	c  306s |       9 |  3128533 |    10406 |   593922      0 |     7728 |    94074
331.05/331.15	c  310s |       9 |  3171481 |    10506 |   593922      0 |     7730 |    94104
333.84/333.90	c  313s |       9 |  3217095 |    10706 |   593922      0 |     7731 |    94120
335.84/335.96	c  315s |       9 |  3252747 |    10806 |   593922      0 |     7733 |    94148
338.24/338.30	c  317s |       9 |  3295663 |    11206 |   593922      0 |     7734 |    94163
340.14/340.21	c  319s |      10 |  3316812 |    11361 |   653315      0 |     7737 |    94344
343.04/343.12	c  322s |      10 |  3334863 |    11661 |   653315      0 |     7740 |    94389
346.45/346.52	c  326s |      10 |  3370566 |    11861 |   653315      0 |     7743 |    94456
349.04/349.10	c  328s |      10 |  3405430 |    11961 |   653315      0 |     7744 |    94465
353.84/353.95	c  333s |      10 |  3428815 |    12061 |   653315      0 |     7751 |    94756
355.94/356.08	c  335s |      10 |  3458874 |    12161 |   653315      0 |     7752 |    94770
361.84/361.91	c  341s |      10 |  3513199 |    12361 |   653315      0 |     7759 |    95045
364.04/364.12	c  343s |      10 |  3594619 |    12861 |   653315      0 |     7759 |    95045
366.63/366.72	c  346s |      10 |  3609251 |    13161 |   653315      0 |     7764 |    95115
370.03/370.15	c  349s |      10 |  3627199 |    13261 |   653315      0 |     7770 |    95273
374.83/374.96	c  354s |      10 |  3688525 |    13661 |   653315      0 |     7775 |    95362
378.63/378.72	c  358s |      10 |  3744349 |    13861 |   653315      0 |     7778 |    95406
382.33/382.40	c  362s |      10 |  3770692 |    13961 |   653315      0 |     7783 |    95477
387.93/388.09	c  367s |      10 |  3813431 |    14161 |   653315      0 |     7784 |    95492
391.13/391.21	c  370s |      10 |  3870377 |    14561 |   653315      0 |     7787 |    95649
393.33/393.45	c  373s |      10 |  3895317 |    14661 |   653315      0 |     7787 |    95649
395.63/395.73	c  375s |      10 |  3939963 |    14761 |   653315      0 |     7787 |    95649
397.93/398.04	c  377s |      10 |  4010745 |    15161 |   653315      0 |     7787 |    95649
400.03/400.17	c  379s |      10 |  4044469 |    15461 |   653315      0 |     7788 |    95663
402.63/402.79	c  382s |      10 |  4074504 |    15661 |   653315      0 |     7791 |    95700
406.32/406.46	c  386s |      10 |  4103486 |    15761 |   653315      0 |     7793 |    95922
408.42/408.52	c  388s |      10 |  4133799 |    15861 |   653315      0 |     7793 |    95922
413.22/413.39	c  393s |      10 |  4170477 |    15961 |   653315      0 |     7797 |    95984
415.73/415.87	c  395s |      10 |  4218329 |    16161 |   653315      0 |     7800 |    96026
418.03/418.14	c  397s |      10 |  4234268 |    16261 |   653315      0 |     7802 |    96058
421.12/421.24	c  400s |      10 |  4287808 |    16561 |   653315      0 |     7807 |    96223
423.92/424.03	c  403s |      10 |  4312591 |    16861 |   653315      0 |     7812 |    96293
429.03/429.19	c  408s |      11 |  4353565 |    17144 |   718647      0 |     7817 |    96596
432.52/432.64	c  412s |      11 |  4397648 |    17344 |   718647      0 |     7820 |    96639
434.82/434.93	c  414s |      11 |  4437840 |    17544 |   718647      0 |     7822 |    96669
437.02/437.12	c  416s |      11 |  4499657 |    17944 |   718647      0 |     7824 |    96698
440.12/440.24	c  419s |      11 |  4513174 |    18144 |   718647      0 |     7830 |    96787
442.12/442.30	c  421s |      11 |  4537615 |    18244 |   718647      0 |     7830 |    96787
445.02/445.18	c  424s |      11 |  4570661 |    18544 |   718647      0 |     7830 |    96787
448.13/448.24	c  427s |      11 |  4596144 |    18944 |   718647      0 |     7832 |    96816
450.73/450.87	c  430s |      11 |  4611896 |    19044 |   718647      0 |     7834 |    96844
456.72/456.83	c  436s |      11 |  4648358 |    19344 |   718647      0 |     7846 |    97103
458.92/459.01	c  438s |      11 |  4687291 |    19744 |   718647      0 |     7847 |    97297
460.93/461.09	c  440s |      11 |  4713341 |    20144 |   718647      0 |     7848 |    97307
463.72/463.85	c  443s |      11 |  4741626 |    20244 |   718647      0 |     7850 |    97331
468.32/468.47	c  448s |      11 |  4766302 |    20344 |   718647      0 |     7857 |    97429
471.02/471.15	c  450s |      11 |  4798659 |    20444 |   718647      0 |     7858 |    97443
474.03/474.19	c  453s |      11 |  4833135 |    20544 |   718647      0 |     7858 |    97443
476.82/476.92	c  456s |      11 |  4855355 |    20744 |   718647      0 |     7859 |    97453
479.32/479.44	c  459s |      11 |  4917883 |    21044 |   718647      0 |     7861 |    97474
482.72/482.82	c  462s |      11 |  4947498 |    21244 |   718647      0 |     7867 |    97637
484.82/484.96	c  464s |      11 |  4967194 |    21344 |   718647      0 |     7867 |    97637
487.02/487.13	c  466s |      11 |  4982790 |    21944 |   718647      0 |     7867 |    97637
489.22/489.32	c  468s |      11 |  5002762 |    22244 |   718647      0 |     7869 |    97666
491.52/491.66	c  471s |      11 |  5042534 |    22744 |   718647      0 |     7869 |    97666
494.32/494.46	c  474s |      11 |  5148592 |    23044 |   718647      0 |     7869 |    97666
499.22/499.37	c  478s |      11 |  5192917 |    23244 |   718647      0 |     7871 |    97694
503.12/503.21	c  482s |      11 |  5224424 |    23344 |   718647      0 |     7874 |    97734
505.62/505.77	c  485s |      11 |  5268566 |    23744 |   718647      0 |     7876 |    97759
509.22/509.39	c  488s |      11 |  5307868 |    23944 |   718647      0 |     7880 |    97822
513.42/513.51	c  493s |      11 |  5344155 |    24144 |   718647      0 |     7887 |    97925
517.02/517.14	c  496s |      11 |  5392977 |    24244 |   718647      0 |     7891 |    98129
519.12/519.27	c  498s |      11 |  5411275 |    24344 |   718647      0 |     7893 |    98159
521.32/521.47	c  501s |      11 |  5456569 |    24644 |   718647      0 |     7895 |    98190
524.41/524.58	c  504s |      11 |  5501450 |    25044 |   718647      0 |     7898 |    98343
526.71/526.81	c  506s |      11 |  5524519 |    25144 |   718647      0 |     7899 |    98358
529.21/529.34	c  508s |      11 |  5546424 |    25444 |   718647      0 |     7901 |    98382
532.51/532.65	c  512s |      12 |  5581193 |    25819 |   790512      0 |     7905 |    98440
535.91/536.08	c  515s |      12 |  5607034 |    25919 |   790512      0 |     7905 |    98440
538.31/538.41	c  518s |      12 |  5634363 |    26119 |   790512      0 |     7908 |    98482
540.81/540.93	c  520s |      12 |  5673359 |    26719 |   790512      0 |     7908 |    98482
542.91/543.07	c  522s |      12 |  5729887 |    27519 |   790512      0 |     7908 |    98482
545.01/545.16	c  524s |      12 |  5776336 |    28019 |   790512      0 |     7908 |    98482
548.61/548.78	c  528s |      12 |  5826623 |    28119 |   790512      0 |     7910 |    98506
553.41/553.55	c  533s |      12 |  5857772 |    28319 |   790512      0 |     7919 |    98638
557.51/557.67	c  537s |      12 |  5886152 |    28519 |   790512      0 |     7928 |    98801
560.81/560.99	c  540s |      12 |  5898041 |    28619 |   790512      0 |     7933 |    98876
563.01/563.16	c  542s |      12 |  5950592 |    29419 |   790512      0 |     7934 |    98890
565.11/565.20	c  544s |      12 |  5975060 |    29619 |   790512      0 |     7936 |    98913
567.61/567.76	c  547s |      12 |  6021973 |    29919 |   790512      0 |     7938 |    98945
570.11/570.25	c  549s |      12 |  6062378 |    30419 |   790512      0 |     7941 |    98990
574.50/574.69	c  554s |      12 |  6083623 |    30619 |   790512      0 |     7948 |    99314
576.50/576.69	c  556s |      12 |  6096735 |    30719 |   790512      0 |     7951 |    99354
583.50/583.68	c  563s |      12 |  6125014 |    30919 |   790512      0 |     7963 |    99610
586.80/586.91	c  566s |      12 |  6151983 |    31119 |   790512      0 |     7969 |    99698
590.40/590.57	c  570s |      12 |  6173468 |    31519 |   790512      0 |     7975 |    99800
592.70/592.83	c  572s |      12 |  6204588 |    32019 |   790512      0 |     7975 |    99800
594.90/595.02	c  574s |      12 |  6229740 |    32719 |   790512      0 |     7975 |    99800
597.40/597.56	c  577s |      12 |  6272226 |    33119 |   790512      0 |     7977 |    99828
601.20/601.34	c  580s |      12 |  6294810 |    33519 |   790512      0 |     7982 |    99902
605.80/605.95	c  585s |      12 |  6310095 |    33619 |   790512      0 |     7988 |   100016
609.80/609.91	c  589s |      12 |  6337791 |    33819 |   790512      0 |     7989 |   100030
614.20/614.39	c  593s |      12 |  6364471 |    34019 |   790512      0 |     7994 |   100229
617.20/617.34	c  596s |      12 |  6379909 |    34219 |   790512      0 |     7998 |   100276
619.80/619.94	c  599s |      12 |  6418076 |    34619 |   790512      0 |     8001 |   100451
622.80/622.91	c  602s |      12 |  6430020 |    34719 |   790512      0 |     8006 |   100557
625.30/625.40	c  605s |      12 |  6451125 |    34919 |   790512      0 |     8007 |   100572
627.59/627.77	c  607s |      12 |  6521485 |    35319 |   790512      0 |     8007 |   100572
629.99/630.15	c  609s |      12 |  6538821 |    35719 |   790512      0 |     8007 |   100572
632.29/632.43	c  612s |      12 |  6570898 |    36119 |   790512      0 |     8008 |   100586
634.89/635.01	c  614s |      12 |  6587513 |    36319 |   790512      0 |     8012 |   100641
637.49/637.69	c  617s |      12 |  6631792 |    36619 |   790512      0 |     8013 |   100650
640.59/640.72	c  620s |      12 |  6674364 |    37019 |   790512      0 |     8015 |   100811
643.29/643.43	c  623s |      12 |  6688140 |    37219 |   790512      0 |     8019 |   100860
645.99/646.14	c  625s |      12 |  6715087 |    37619 |   790512      0 |     8021 |   100888
648.69/648.82	c  628s |      12 |  6723403 |    37719 |   790512      0 |     8024 |   100926
651.39/651.52	c  631s |      12 |  6752744 |    38119 |   790512      0 |     8026 |   100954
653.40/653.59	c  633s |      12 |  6787523 |    38419 |   790512      0 |     8027 |   100968
655.79/655.96	c  635s |      12 |  6800996 |    38619 |   869564      0 |     8030 |   101005
656.49/656.66	c  636s |      13 |  6810615 |    38832 |   869564      0 |     8030 |   101005
659.79/659.95	c  639s |      13 |  6830170 |    38932 |   869564      0 |     8031 |   101014
663.89/664.08	c  643s |      13 |  6862466 |    39132 |   869564      0 |     8037 |   101129
666.19/666.33	c  645s |      13 |  6908044 |    39932 |   869564      0 |     8037 |   101129
668.39/668.51	c  648s |      13 |  6932218 |    40332 |   869564      0 |     8038 |   101143
671.09/671.24	c  650s |      13 |  6961191 |    40432 |   869564      0 |     8038 |   101143
673.89/674.03	c  653s |      13 |  7038893 |    41132 |   869564      0 |     8038 |   101143
676.49/676.62	c  656s |      13 |  7064573 |    41432 |   869564      0 |     8041 |   101187
680.19/680.30	c  659s |      13 |  7107893 |    41932 |   869564      0 |     8044 |   101232
683.39/683.59	c  663s |      13 |  7130049 |    42332 |   869564      0 |     8046 |   101262
686.48/686.68	c  666s |      13 |  7157124 |    42732 |   869564      0 |     8048 |   101292
688.49/688.68	c  668s |      13 |  7191646 |    43332 |   869564      0 |     8048 |   101292
694.09/694.20	c  673s |      13 |  7215278 |    43632 |   869564      0 |     8053 |   101361
696.48/696.68	c  676s |      13 |  7250671 |    43932 |   869564      0 |     8053 |   101361
698.68/698.84	c  678s |      13 |  7282960 |    44532 |   869564      0 |     8053 |   101361
701.28/701.44	c  681s |      13 |  7317563 |    44832 |   869564      0 |     8055 |   101381
704.78/704.92	c  684s |      13 |  7347255 |    45032 |   869564      0 |     8058 |   101423
712.28/712.46	c  692s |      13 |  7454121 |    45832 |   869564      0 |     8061 |   101461
715.38/715.56	c  695s |      13 |  7506423 |    46132 |   869564      0 |     8064 |   101505
717.78/717.99	c  697s |      13 |  7537629 |    46232 |   869564      0 |     8065 |   101520
719.98/720.18	c  699s |      13 |  7601746 |    47232 |   869564      0 |     8065 |   101520
722.88/723.08	c  702s |      13 |  7633547 |    47432 |   869564      0 |     8066 |   101529
727.68/727.88	c  707s |      13 |  7686891 |    48032 |   869564      0 |     8069 |   101574
730.88/731.05	c  710s |      13 |  7713058 |    48732 |   869564      0 |     8072 |   101619
732.88/733.09	c  712s |      13 |  7738840 |    48932 |   869564      0 |     8072 |   101619
742.07/742.27	c  721s |      13 |  7829880 |    49032 |   869564      0 |     8073 |   101634
747.17/747.38	c  726s |      13 |  7884261 |    49132 |   869564      0 |     8075 |   101658
752.67/752.83	c  732s |      13 |  7941352 |    49232 |   869564      0 |     8078 |   101703
754.67/754.87	c  734s |      13 |  7971054 |    49432 |   869564      0 |     8079 |   101838
757.37/757.57	c  737s |      13 |  8009558 |    49932 |   869564      0 |     8081 |   101952
760.67/760.89	c  740s |      13 |  8033296 |    50032 |   869564      0 |     8083 |   101981
763.38/763.59	c  743s |      13 |  8053271 |    50132 |   869564      0 |     8086 |   102020
765.48/765.63	c  745s |      13 |  8064589 |    50232 |   869564      0 |     8089 |   102060
767.57/767.72	c  747s |      13 |  8145813 |    50732 |   869564      0 |     8090 |   102075
770.47/770.60	c  750s |      13 |  8169135 |    51032 |   869564      0 |     8094 |   102128
772.77/772.96	c  752s |      13 |  8198885 |    51332 |   869564      0 |     8096 |   102158
777.27/777.43	c  757s |      13 |  8251345 |    51432 |   869564      0 |     8097 |   102172
780.07/780.20	c  759s |      13 |  8287858 |    51932 |   869564      0 |     8100 |   102214
782.17/782.37	c  761s |      13 |  8319245 |    52132 |   869564      0 |     8100 |   102214
785.06/785.22	c  764s |      13 |  8354083 |    52332 |   869564      0 |     8101 |   102228
788.26/788.42	c  768s |      13 |  8406349 |    52632 |   869564      0 |     8105 |   102356
790.46/790.69	c  770s |      13 |  8416523 |    52732 |   869564      0 |     8109 |   102412
792.66/792.84	c  772s |      13 |  8467343 |    53232 |   869564      0 |     8110 |   102426
795.37/795.55	c  775s |      13 |  8504963 |    53732 |   869564      0 |     8112 |   102449
798.37/798.51	c  778s |      13 |  8556457 |    54232 |   869564      0 |     8113 |   102464
800.37/800.53	c  780s |      13 |  8584952 |    54632 |   869564      0 |     8115 |   102613
802.37/802.54	c  782s |      13 |  8618677 |    55632 |   869564      0 |     8115 |   102613
804.47/804.65	c  784s |      13 |  8653993 |    56632 |   869564      0 |     8115 |   102613
806.57/806.71	c  786s |      13 |  8685627 |    57132 |   869564      0 |     8116 |   102676
809.67/809.80	c  789s |      13 |  8706332 |    58032 |   956521      0 |     8118 |   102708
813.57/813.73	c  793s |      13 |  8712303 |    58132 |   956521      0 |     8125 |   102808
814.07/814.23	c  793s |      14 |  8717394 |    58352 |   956521      0 |     8125 |   102808
819.67/819.83	c  799s |      14 |  8747768 |    58452 |   956521      0 |     8130 |   102883
827.87/828.05	c  807s |      14 |  8829980 |    58552 |   956521      0 |     8132 |   102915
831.17/831.37	c  810s |      14 |  8893849 |    59152 |   956521      0 |     8134 |   102945
834.57/834.78	c  814s |      14 |  8921176 |    59252 |   956521      0 |     8137 |   103098
837.56/837.79	c  817s |      14 |  8967362 |    59552 |   956521      0 |     8139 |   103127
839.76/839.93	c  819s |      14 |  8997702 |    59852 |   956521      0 |     8140 |   103141
846.87/847.03	c  826s |      14 |  9043066 |    60652 |   956521      0 |     8149 |   103283
849.07/849.24	c  828s |      14 |  9084418 |    60852 |   956521      0 |     8150 |   103298
852.66/852.89	c  832s |      14 |  9115406 |    61052 |   956521      0 |     8154 |   103352
855.46/855.65	c  835s |      14 |  9152504 |    61752 |   956521      0 |     8155 |   103366
858.86/859.01	c  838s |      14 |  9169753 |    61952 |   956521      0 |     8157 |   103396
861.56/861.75	c  841s |      14 |  9198836 |    62052 |   956521      0 |     8157 |   103396
864.16/864.34	c  843s |      14 |  9222340 |    62852 |   956521      0 |     8159 |   103426
866.26/866.42	c  846s |      14 |  9247534 |    63852 |   956521      0 |     8159 |   103426
868.87/869.07	c  848s |      14 |  9267474 |    64152 |   956521      0 |     8162 |   103490
870.96/871.10	c  850s |      14 |  9309144 |    64552 |   956521      0 |     8164 |   103687
873.27/873.41	c  853s |      14 |  9347083 |    65452 |   956521      0 |     8164 |   103687
875.36/875.53	c  855s |      14 |  9367919 |    65852 |   956521      0 |     8166 |   103716
877.46/877.68	c  857s |      14 |  9392254 |    66252 |   956521      0 |     8167 |   103731
880.36/880.53	c  860s |      14 |  9434984 |    66552 |   956521      0 |     8170 |   103769
884.56/884.79	c  864s |      14 |  9475619 |    67152 |   956521      0 |     8175 |   103844
886.96/887.15	c  866s |      14 |  9490891 |    67252 |   956521      0 |     8177 |   103873
890.06/890.27	c  869s |      14 |  9511682 |    67452 |   956521      0 |     8180 |   103991
892.66/892.83	c  872s |      14 |  9532893 |    67652 |   956521      0 |     8181 |   104000
894.76/894.97	c  874s |      14 |  9547861 |    67952 |   956521      0 |     8182 |   104015
897.05/897.26	c  876s |      14 |  9567865 |    68152 |   956521      0 |     8183 |   104091
899.25/899.49	c  879s |      14 |  9599017 |    68552 |   956521      0 |     8184 |   104105
901.45/901.61	c  881s |      14 |  9637662 |    69652 |   956521      0 |     8184 |   104105
905.75/905.90	c  885s |      14 |  9677096 |    69952 |   956521      0 |     8189 |   104193
910.66/910.85	c  890s |      14 |  9747066 |    70052 |   956521      0 |     8191 |   104223
914.55/914.71	c  894s |      14 |  9787178 |    70152 |   956521      0 |     8194 |   104385
917.95/918.17	c  897s |      14 |  9814874 |    70352 |   956521      0 |     8196 |   104413
920.95/921.11	c  900s |      14 |  9853707 |    70652 |   956521      0 |     8196 |   104413
924.05/924.21	c  903s |      14 |  9892526 |    70752 |   956521      0 |     8196 |   104413
927.55/927.73	c  907s |      14 |  9930770 |    71452 |   956521      0 |     8198 |   104441
929.55/929.77	c  909s |      14 |  9948005 |    71852 |   956521      0 |     8199 |   104540
931.75/931.92	c  911s |      14 |  9976236 |    72752 |   956521      0 |     8199 |   104540
934.45/934.63	c  914s |      14 |  9998107 |    73052 |   956521      0 |     8202 |   104583
936.65/936.85	c  916s |      14 | 10020071 |    73952 |   956521      0 |     8202 |   104583
939.26/939.41	c  919s |      14 | 10045434 |    74152 |   956521      0 |     8204 |   104614
941.25/941.43	c  921s |      14 | 10077938 |    74352 |   956521      0 |     8205 |   104629
944.65/944.83	c  924s |      14 | 10090611 |    74452 |   956521      0 |     8208 |   104673
946.65/946.85	c  926s |      14 | 10104648 |    74552 |   956521      0 |     8210 |   104773
948.85/949.07	c  928s |      14 | 10112612 |    74652 |   956521      0 |     8213 |   104810
951.45/951.68	c  931s |      14 | 10143647 |    74952 |   956521      0 |     8216 |   104856
953.55/953.75	c  933s |      14 | 10187438 |    75452 |   956521      0 |     8217 |   104870
955.64/955.84	c  935s |      14 | 10205053 |    75852 |   956521      0 |     8219 |   104965
957.74/957.94	c  937s |      14 | 10229350 |    76652 |   956521      0 |     8220 |   105047
959.94/960.17	c  939s |      14 | 10255895 |    76952 |   956521      0 |     8221 |   105062
962.94/963.19	c  942s |      14 | 10273896 |    77752 |   956521      0 |     8223 |   105127
965.14/965.36	c  944s |      14 | 10282299 |    77852 |   956521      0 |     8226 |   105172
967.24/967.44	c  947s |      14 | 10307378 |    79052 |   956521      0 |     8226 |   105172
970.54/970.71	c  950s |      14 | 10320070 |    79152 |   956521      0 |     8229 |   105286
973.35/973.52	c  953s |      14 | 10337248 |    79552 |   956521      0 |     8231 |   105316
979.34/979.58	c  959s |      14 | 10379961 |    79752 |   956521      0 |     8236 |   105387
982.94/983.17	c  962s |      14 | 10414785 |    79952 |   956521      0 |     8240 |   105732
985.24/985.48	c  965s |      14 | 10442964 |    80252 |   956521      0 |     8241 |   105741
988.44/988.65	c  968s |      14 | 10453584 |    80552 |   956521      0 |     8245 |   105802
991.34/991.52	c  971s |      14 | 10483392 |    81352 |   956521      0 |     8247 |   105832
995.14/995.31	c  974s |      14 | 10499519 |    81452 |   956521      0 |     8252 |   105908
997.34/997.53	c  977s |      14 | 10538069 |    81752 |   956521      0 |     8254 |   106056
999.94/1000.14	c  979s |      14 | 10589035 |    82352 |   956521      0 |     8255 |   106070
1002.83/1003.05	c  982s |      14 | 10612275 |    82752 |   956521      0 |     8257 |   106094
1005.34/1005.51	c  985s |      14 | 10644234 |    83252 |   956521      0 |     8257 |   106094
1007.73/1007.91	c  987s |      14 | 10651772 |    83352 |   956521      0 |     8259 |   106114
1013.43/1013.64	c  993s |      14 | 10677685 |    83552 |   956521      0 |     8267 |   106225
1015.63/1015.83	c  995s |      14 | 10694532 |    83752 |   956521      0 |     8268 |   106371
1017.63/1017.87	c  997s |      14 | 10714739 |    83852 |   956521      0 |     8268 |   106371
1020.03/1020.29	c  999s |      14 | 10753579 |    84152 |   956521      0 |     8269 |   106386
1022.33/1022.57	c 1002s |      14 | 10786619 |    84352 |   956521      0 |     8270 |   106395
1025.53/1025.72	c 1005s |      14 | 10793389 |    84452 |   956521      0 |     8275 |   106554
1028.23/1028.49	c 1008s |      14 | 10819708 |    84652 |   956521      0 |     8277 |   106583
1030.33/1030.54	c 1010s |      14 | 10853832 |    85052 |   956521      0 |     8278 |   106598
1034.43/1034.64	c 1014s |      14 | 10870873 |    85552 |   956521      0 |     8282 |   106658
1036.93/1037.13	c 1016s |      14 | 10882846 |    85652 |   956521      0 |     8284 |   106690
1039.33/1039.60	c 1019s |      14 | 10892908 |    85852 |   956521      0 |     8285 |   106706
1041.63/1041.83	c 1021s |      14 | 10907612 |    85952 |   956521      0 |     8286 |   106888
1043.93/1044.16	c 1023s |      14 | 10925724 |    86852 |   956521      0 |     8286 |   106888
1045.43/1045.61	c 1025s |      15 | 10940811 |    87632 |  1052174      0 |     8286 |   106888
1048.32/1048.53	c 1028s |      15 | 10949119 |    87832 |  1052174      0 |     8288 |   106914
1051.32/1051.56	c 1031s |      15 | 10963049 |    87932 |  1052174      0 |     8291 |   106957
1053.64/1053.86	c 1033s |      15 | 10996026 |    88532 |  1052174      0 |     8291 |   106957
1055.84/1056.09	c 1035s |      15 | 11038400 |    88932 |  1052174      0 |     8291 |   106957
1062.73/1062.90	c 1042s |      15 | 11057354 |    89032 |  1052174      0 |     8301 |   107105
1065.03/1065.21	c 1044s |      15 | 11063543 |    89132 |  1052174      0 |     8304 |   107150
1067.13/1067.37	c 1046s |      15 | 11074638 |    89932 |  1052174      0 |     8304 |   107150
1069.63/1069.81	c 1049s |      15 | 11086034 |    90332 |  1052174      0 |     8305 |   107159
1072.44/1072.64	c 1052s |      15 | 11120326 |    90632 |  1052174      0 |     8306 |   107174
1078.33/1078.57	c 1058s |      15 | 11131696 |    90732 |  1052174      0 |     8313 |   107350
1080.83/1081.01	c 1060s |      15 | 11145673 |    90932 |  1052174      0 |     8315 |   107374
1083.13/1083.37	c 1062s |      15 | 11169072 |    91332 |  1052174      0 |     8316 |   107388
1085.23/1085.44	c 1065s |      15 | 11180515 |    91832 |  1052174      0 |     8316 |   107388
1087.23/1087.49	c 1067s |      15 | 11204663 |    92832 |  1052174      0 |     8316 |   107388
1090.73/1090.94	c 1070s |      15 | 11227599 |    93732 |  1052174      0 |     8319 |   107431
1092.83/1093.00	c 1072s |      15 | 11246260 |    94232 |  1052174      0 |     8319 |   107431
1094.83/1095.06	c 1074s |      15 | 11257667 |    94432 |  1052174      0 |     8320 |   107447
1098.83/1099.07	c 1078s |      15 | 11261000 |    94532 |  1052174      0 |     8326 |   107543
1100.82/1101.08	c 1080s |      15 | 11274202 |    95432 |  1052174      0 |     8326 |   107543
1104.52/1104.78	c 1084s |      15 | 11291303 |    95632 |  1052174      0 |     8330 |   107601
1109.92/1110.17	c 1089s |      15 | 11320483 |    95832 |  1052174      0 |     8337 |   107818
1112.82/1113.05	c 1092s |      15 | 11339189 |    96532 |  1052174      0 |     8337 |   107818
1116.12/1116.35	c 1095s |      15 | 11347838 |    96932 |  1052174      0 |     8340 |   107852
1118.22/1118.45	c 1098s |      15 | 11354480 |    97332 |  1052174      0 |     8341 |   107867
1120.52/1120.75	c 1100s |      15 | 11360667 |    97932 |  1052174      0 |     8341 |   107867
1122.62/1122.80	c 1102s |      15 | 11371417 |    98632 |  1052174      0 |     8341 |   107867
1124.62/1124.86	c 1104s |      15 | 11397104 |    99332 |  1052174      0 |     8341 |   107867
1126.62/1126.86	c 1106s |      15 | 11413986 |   100232 |  1052174      0 |     8341 |   107867
1129.42/1129.61	c 1109s |      15 | 11435175 |   100732 |  1052174      0 |     8343 |   107896
1131.62/1131.86	c 1111s |      15 | 11449526 |   101232 |  1052174      0 |     8343 |   107896
1134.92/1135.20	c 1114s |      15 | 11459011 |   101732 |  1052174      0 |     8345 |   107927
1137.72/1138.00	c 1117s |      15 | 11488999 |   102132 |  1052174      0 |     8345 |   107927
1140.72/1140.99	c 1120s |      15 | 11523408 |   102432 |  1052174      0 |     8347 |   107955
1142.82/1143.01	c 1122s |      15 | 11535712 |   103232 |  1052174      0 |     8347 |   107955
1144.92/1145.17	c 1124s |      15 | 11559493 |   103832 |  1052174      0 |     8348 |   107970
1147.12/1147.35	c 1126s |      15 | 11590809 |   104132 |  1052174      0 |     8349 |   107984
1149.32/1149.53	c 1129s |      15 | 11609921 |   104532 |  1052174      0 |     8349 |   107984
1151.52/1151.73	c 1131s |      15 | 11621715 |   105032 |  1052174      0 |     8349 |   107984
1153.72/1153.91	c 1133s |      15 | 11630629 |   105532 |  1052174      0 |     8349 |   107984
1156.12/1156.34	c 1135s |      15 | 11638287 |   106032 |  1052174      0 |     8349 |   107984
1158.51/1158.76	c 1138s |      15 | 11646832 |   106532 |  1052174      0 |     8349 |   107984
1160.61/1160.81	c 1140s |      15 | 11654674 |   107032 |  1052174      0 |     8349 |   107984
1162.71/1162.91	c 1142s |      15 | 11662808 |   107632 |  1052174      0 |     8349 |   107984
1164.91/1165.15	c 1144s |      15 | 11667024 |   108132 |  1052174      0 |     8349 |   107984
1167.11/1167.39	c 1147s |      15 | 11674029 |   108732 |  1052174      0 |     8349 |   107984
1169.22/1169.45	c 1149s |      15 | 11680326 |   109332 |  1052174      0 |     8349 |   107984
1171.42/1171.66	c 1151s |      15 | 11683040 |   109932 |  1052174      0 |     8349 |   107984
1176.01/1176.22	c 1155s |      15 | 11716793 |   110232 |  1052174      0 |     8350 |   107998
1178.31/1178.54	c 1158s |      15 | 11758120 |   110332 |  1052174      0 |     8350 |   107998
1180.61/1180.89	c 1160s |      15 | 11821248 |   110632 |  1052174      0 |     8350 |   107998
1183.21/1183.41	c 1163s |      15 | 11850291 |   110832 |  1052174      0 |     8350 |   107998
1185.31/1185.52	c 1165s |      15 | 11896089 |   111132 |  1052174      0 |     8350 |   107998
1187.41/1187.67	c 1167s |      15 | 11906964 |   111332 |  1052174      0 |     8352 |   108021
1190.71/1190.98	c 1170s |      15 | 11928026 |   111432 |  1052174      0 |     8354 |   108044
1192.91/1193.13	c 1172s |      15 | 11948921 |   112132 |  1052174      0 |     8354 |   108044
1195.01/1195.26	c 1174s |      15 | 11951573 |   112832 |  1052174      0 |     8354 |   108044
1197.41/1197.70	c 1177s |      15 | 11969557 |   113632 |  1052174      0 |     8354 |   108044
1199.60/1199.85	c 1179s |      15 | 11981743 |   114132 |  1052174      0 |     8354 |   108044
1201.80/1202.05	c 1181s |      15 | 11994659 |   114632 |  1052174      0 |     8354 |   108044
1204.00/1204.28	c 1183s |      15 | 12003670 |   115232 |  1052174      0 |     8354 |   108044
1206.40/1206.68	c 1186s |      15 | 12036862 |   115532 |  1052174      0 |     8354 |   108044
1210.00/1210.23	c 1189s |      15 | 12058287 |   115832 |  1052174      0 |     8355 |   108059
1212.11/1212.34	c 1191s |      15 | 12089963 |   116232 |  1052174      0 |     8355 |   108059
1214.60/1214.80	c 1194s |      15 | 12111098 |   116532 |  1052174      0 |     8356 |   108074
1216.80/1217.02	c 1196s |      15 | 12128266 |   116932 |  1052174      0 |     8356 |   108074
1220.70/1221.00	c 1200s |      15 | 12140585 |   117232 |  1052174      0 |     8360 |   108134
1223.30/1223.53	c 1203s |      15 | 12163155 |   117532 |  1052174      0 |     8361 |   108144
1225.60/1225.85	c 1205s |      15 | 12237033 |   117932 |  1052174      0 |     8361 |   108144
1227.90/1228.18	c 1207s |      15 | 12292373 |   118332 |  1052174      0 |     8361 |   108144
1232.10/1232.34	c 1211s |      15 | 12326167 |   118832 |  1052174      0 |     8364 |   108184
1234.60/1234.86	c 1214s |      15 | 12365622 |   119132 |  1052174      0 |     8364 |   108184
1236.70/1236.97	c 1216s |      15 | 12398649 |   119332 |  1052174      0 |     8365 |   108198
1239.00/1239.21	c 1218s |      15 | 12415787 |   119532 |  1052174      0 |     8366 |   108212
1241.50/1241.74	c 1221s |      15 | 12437404 |   120032 |  1052174      0 |     8366 |   108212
1243.70/1243.95	c 1223s |      15 | 12453251 |   120232 |  1052174      0 |     8367 |   108227
1246.11/1246.36	c 1225s |      15 | 12478469 |   120532 |  1052174      0 |     8368 |   108242
1248.41/1248.60	c 1228s |      15 | 12484918 |   120932 |  1052174      0 |     8368 |   108242
1250.61/1250.82	c 1230s |      15 | 12486431 |   121432 |  1052174      0 |     8368 |   108242
1252.81/1253.06	c 1232s |      15 | 12513292 |   121732 |  1052174      0 |     8368 |   108242
1254.80/1255.07	c 1234s |      15 | 12540271 |   122132 |  1052174      0 |     8369 |   108258
1258.10/1258.32	c 1237s |      15 | 12543957 |   122232 |  1052174      0 |     8373 |   108312
1260.30/1260.56	c 1240s |      15 | 12550547 |   122932 |  1052174      0 |     8373 |   108312
1262.40/1262.67	c 1242s |      15 | 12555668 |   123532 |  1052174      0 |     8373 |   108312
1265.30/1265.57	c 1245s |      15 | 12612453 |   123832 |  1052174      0 |     8374 |   108322
1267.40/1267.66	c 1247s |      15 | 12614172 |   124032 |  1052174      0 |     8374 |   108322
1269.50/1269.71	c 1249s |      15 | 12614778 |   124432 |  1052174      0 |     8374 |   108322
1272.60/1272.88	c 1252s |      15 | 12630886 |   124532 |  1052174      0 |     8377 |   108367
1275.90/1276.17	c 1255s |      15 | 12673770 |   124732 |  1052174      0 |     8379 |   108396
1278.00/1278.29	c 1257s |      15 | 12699682 |   124932 |  1052174      0 |     8379 |   108396
1280.20/1280.50	c 1260s |      15 | 12741671 |   125632 |  1052174      0 |     8379 |   108396
1285.19/1285.46	c 1265s |      15 | 12782800 |   126332 |  1052174      0 |     8381 |   108426
1290.20/1290.41	c 1270s |      15 | 12842074 |   126432 |  1052174      0 |     8381 |   108426
1292.59/1292.88	c 1272s |      15 | 12869499 |   126832 |  1052174      0 |     8381 |   108426
1294.89/1295.19	c 1274s |      15 | 12893217 |   127332 |  1052174      0 |     8381 |   108426
1297.19/1297.43	c 1277s |      15 | 12923169 |   127732 |  1052174      0 |     8381 |   108426
1299.39/1299.69	c 1279s |      15 | 12934980 |   128032 |  1052174      0 |     8382 |   108441
1301.69/1301.94	c 1281s |      15 | 12952960 |   128632 |  1052174      0 |     8382 |   108441
1304.19/1304.47	c 1284s |      15 | 12974819 |   129032 |  1052174      0 |     8383 |   108455
1306.79/1307.09	c 1286s |      15 | 13005503 |   129332 |  1052174      0 |     8383 |   108455
1309.19/1309.42	c 1289s |      15 | 13026477 |   129832 |  1052174      0 |     8383 |   108455
1313.39/1313.61	c 1293s |      15 | 13053108 |   130032 |  1052174      0 |     8386 |   108502
1315.79/1316.05	c 1295s |      15 | 13065290 |   130232 |  1052174      0 |     8386 |   108502
1318.29/1318.59	c 1298s |      15 | 13065754 |   130632 |  1052174      0 |     8386 |   108502
1320.90/1321.14	c 1300s |      15 | 13069428 |   131132 |  1157392      0 |     8386 |   108502
1323.29/1323.52	c 1303s |      15 | 13081654 |   131532 |  1157392      0 |     8386 |   108502
1323.39/1323.65	c 1303s |      16 | 13083183 |   131552 |  1157392      0 |     8386 |   108502
1325.79/1326.08	c 1305s |      16 | 13103432 |   131852 |  1157392      0 |     8386 |   108502
1328.39/1328.62	c 1308s |      16 | 13138249 |   132252 |  1157392      0 |     8386 |   108502
1330.68/1330.96	c 1310s |      16 | 13181792 |   132752 |  1157392      0 |     8386 |   108502
1332.88/1333.17	c 1312s |      16 | 13219088 |   133352 |  1157392      0 |     8386 |   108502
1335.48/1335.76	c 1315s |      16 | 13235392 |   133752 |  1157392      0 |     8386 |   108502
1337.68/1337.92	c 1317s |      16 | 13246956 |   134252 |  1157392      0 |     8386 |   108502
1340.88/1341.15	c 1320s |      16 | 13267099 |   134552 |  1157392      0 |     8388 |   108526
1345.19/1345.44	c 1325s |      16 | 13302003 |   134952 |  1157392      0 |     8388 |   108526
1347.68/1347.94	c 1327s |      16 | 13320003 |   135252 |  1157392      0 |     8389 |   108541
1349.88/1350.18	c 1329s |      16 | 13345676 |   135552 |  1157392      0 |     8389 |   108541
1353.49/1353.75	c 1333s |      16 | 13359882 |   135852 |  1157392      0 |     8391 |   108571
1355.79/1356.00	c 1335s |      16 | 13382242 |   136052 |  1157392      0 |     8391 |   108571
1358.29/1358.57	c 1338s |      16 | 13415047 |   136452 |  1157392      0 |     8392 |   108586
1360.59/1360.81	c 1340s |      16 | 13415507 |   136852 |  1157392      0 |     8392 |   108586
1362.59/1362.88	c 1342s |      16 | 13426128 |   137252 |  1157392      0 |     8392 |   108586
1364.69/1364.94	c 1344s |      16 | 13433641 |   137552 |  1157392      0 |     8393 |   108600
1366.79/1367.08	c 1346s |      16 | 13442079 |   138052 |  1157392      0 |     8393 |   108600
1368.88/1369.13	c 1348s |      16 | 13456168 |   138452 |  1157392      0 |     8393 |   108600
1371.08/1371.36	c 1350s |      16 | 13479060 |   138952 |  1157392      0 |     8393 |   108600
1373.18/1373.46	c 1353s |      16 | 13495604 |   139452 |  1157392      0 |     8393 |   108600
1375.99/1376.25	c 1355s |      16 | 13524562 |   139952 |  1157392      0 |     8393 |   108600
1378.28/1378.55	c 1358s |      16 | 13546299 |   140552 |  1157392      0 |     8393 |   108600
1381.98/1382.20	c 1361s |      16 | 13558274 |   140752 |  1157392      0 |     8396 |   108645
1384.38/1384.69	c 1364s |      16 | 13594933 |   141052 |  1157392      0 |     8396 |   108645
1386.58/1386.83	c 1366s |      16 | 13606351 |   141152 |  1157392      0 |     8396 |   108645
1391.08/1391.35	c 1370s |      16 | 13617615 |   141352 |  1157392      0 |     8400 |   108797
1394.78/1395.09	c 1374s |      16 | 13635859 |   141552 |  1157392      0 |     8402 |   108826
1397.58/1397.82	c 1377s |      16 | 13645851 |   141652 |  1157392      0 |     8404 |   108855
1399.88/1400.13	c 1379s |      16 | 13652058 |   141852 |  1157392      0 |     8405 |   108871
1402.18/1402.49	c 1382s |      16 | 13700350 |   142352 |  1157392      0 |     8405 |   108871
1404.28/1404.56	c 1384s |      16 | 13724165 |   142852 |  1157392      0 |     8405 |   108871
1406.68/1406.95	c 1386s |      16 | 13740964 |   143152 |  1157392      0 |     8406 |   108886
1409.08/1409.30	c 1388s |      16 | 13762991 |   143652 |  1157392      0 |     8406 |   108886
1411.68/1411.97	c 1391s |      16 | 13784889 |   144152 |  1157392      0 |     8406 |   108886
1414.48/1414.73	c 1394s |      16 | 13788059 |   144452 |  1157392      0 |     8406 |   108886
1416.68/1416.93	c 1396s |      16 | 13818821 |   144752 |  1157392      0 |     8406 |   108886
1418.97/1419.28	c 1398s |      16 | 13856332 |   145152 |  1157392      0 |     8406 |   108886
1421.17/1421.42	c 1401s |      16 | 13886586 |   145652 |  1157392      0 |     8406 |   108886
1423.47/1423.77	c 1403s |      16 | 13916788 |   146052 |  1157392      0 |     8406 |   108886
1425.57/1425.88	c 1405s |      16 | 13942618 |   146352 |  1157392      0 |     8406 |   108886
1427.68/1427.96	c 1407s |      16 | 13968624 |   146552 |  1157392      0 |     8407 |   108900
1429.78/1430.05	c 1409s |      16 | 13997327 |   146952 |  1157392      0 |     8407 |   108900
1432.27/1432.59	c 1412s |      16 | 14004085 |   147352 |  1157392      0 |     8407 |   108900
1435.17/1435.41	c 1415s |      16 | 14027637 |   147752 |  1157392      0 |     8407 |   108900
1437.17/1437.43	c 1417s |      16 | 14046994 |   148052 |  1157392      0 |     8407 |   108900
1439.68/1439.95	c 1419s |      16 | 14053246 |   148452 |  1157392      0 |     8407 |   108900
1441.98/1442.25	c 1421s |      16 | 14053675 |   148752 |  1157392      0 |     8407 |   108900
1444.77/1445.09	c 1424s |      16 | 14059452 |   149052 |  1157392      0 |     8407 |   108900
1447.48/1447.71	c 1427s |      16 | 14068961 |   149452 |  1157392      0 |     8407 |   108900
1449.97/1450.23	c 1429s |      16 | 14089183 |   149852 |  1157392      0 |     8407 |   108900
1452.17/1452.41	c 1432s |      16 | 14152667 |   150252 |  1157392      0 |     8407 |   108900
1455.97/1456.21	c 1435s |      16 | 14163991 |   150752 |  1157392      0 |     8409 |   108929
1458.27/1458.59	c 1438s |      16 | 14172454 |   151152 |  1157392      0 |     8409 |   108929
1460.57/1460.82	c 1440s |      16 | 14182160 |   151452 |  1157392      0 |     8409 |   108929
1462.67/1462.90	c 1442s |      16 | 14189374 |   151752 |  1157392      0 |     8409 |   108929
1465.47/1465.79	c 1445s |      16 | 14193556 |   152152 |  1157392      0 |     8410 |   108943
1468.76/1469.01	c 1448s |      16 | 14205890 |   152352 |  1157392      0 |     8412 |   108972
1471.06/1471.37	c 1450s |      16 | 14216666 |   152752 |  1157392      0 |     8412 |   108972
1473.36/1473.69	c 1453s |      16 | 14236015 |   153152 |  1157392      0 |     8412 |   108972
1475.76/1476.09	c 1455s |      16 | 14260657 |   153552 |  1157392      0 |     8412 |   108972
1477.86/1478.16	c 1457s |      16 | 14269281 |   153752 |  1157392      0 |     8413 |   108987
1480.37/1480.69	c 1460s |      16 | 14280531 |   154352 |  1157392      0 |     8413 |   108987
1482.86/1483.19	c 1462s |      16 | 14286111 |   154652 |  1157392      0 |     8413 |   108987
1487.46/1487.71	c 1467s |      16 | 14298653 |   154852 |  1157392      0 |     8417 |   109045
1490.96/1491.24	c 1470s |      16 | 14325022 |   155052 |  1157392      0 |     8420 |   109084
1493.16/1493.49	c 1473s |      16 | 14338206 |   155452 |  1157392      0 |     8420 |   109084
1495.46/1495.71	c 1475s |      16 | 14352870 |   155752 |  1157392      0 |     8420 |   109084
1497.66/1497.91	c 1477s |      16 | 14367464 |   156052 |  1157392      0 |     8421 |   109098
1499.66/1499.94	c 1479s |      16 | 14376769 |   156652 |  1157392      0 |     8421 |   109098
1504.46/1504.79	c 1484s |      16 | 14392450 |   157252 |  1157392      0 |     8423 |   109127
1506.76/1507.10	c 1486s |      16 | 14408399 |   157652 |  1157392      0 |     8423 |   109127
1509.16/1509.45	c 1489s |      16 | 14420285 |   158152 |  1157392      0 |     8423 |   109127
1511.26/1511.56	c 1491s |      16 | 14428993 |   158452 |  1157392      0 |     8424 |   109136
1514.16/1514.43	c 1494s |      16 | 14454525 |   158752 |  1157392      0 |     8424 |   109136
1516.56/1516.86	c 1496s |      16 | 14461868 |   159152 |  1157392      0 |     8424 |   109136
1518.76/1519.06	c 1498s |      16 | 14480748 |   159652 |  1157392      0 |     8424 |   109136
1521.06/1521.30	c 1500s |      16 | 14520491 |   160252 |  1157392      0 |     8424 |   109136
1523.05/1523.38	c 1502s |      16 | 14536210 |   160552 |  1157392      0 |     8424 |   109136
1526.75/1527.03	c 1506s |      16 | 14572197 |   161052 |  1157392      0 |     8425 |   109150
1528.86/1529.11	c 1508s |      16 | 14582546 |   161652 |  1157392      0 |     8425 |   109150
1531.15/1531.45	c 1511s |      16 | 14598982 |   162152 |  1157392      0 |     8425 |   109150
1533.16/1533.45	c 1513s |      16 | 14614321 |   162752 |  1157392      0 |     8425 |   109150
1535.46/1535.71	c 1515s |      16 | 14637429 |   163252 |  1157392      0 |     8425 |   109150
1538.25/1538.56	c 1518s |      16 | 14672119 |   163552 |  1157392      0 |     8425 |   109150
1542.06/1542.35	c 1521s |      16 | 14705705 |   163852 |  1157392      0 |     8425 |   109150
1544.55/1544.85	c 1524s |      16 | 14729698 |   164252 |  1157392      0 |     8425 |   109150
1546.65/1546.95	c 1526s |      16 | 14748083 |   164452 |  1157392      0 |     8425 |   109150
1549.05/1549.38	c 1528s |      16 | 14760449 |   164552 |  1157392      0 |     8427 |   109169
1552.24/1552.56	c 1532s |      16 | 14782177 |   164752 |  1157392      0 |     8428 |   109184
1554.34/1554.63	c 1534s |      16 | 14812761 |   165052 |  1157392      0 |     8428 |   109184
1556.64/1556.96	c 1536s |      16 | 14821484 |   165452 |  1157392      0 |     8428 |   109184
1558.84/1559.12	c 1538s |      16 | 14836668 |   165652 |  1157392      0 |     8429 |   109200
1561.34/1561.68	c 1541s |      16 | 14853589 |   165852 |  1157392      0 |     8430 |   109215
1563.84/1564.10	c 1543s |      16 | 14868785 |   166352 |  1157392      0 |     8430 |   109215
1566.04/1566.34	c 1545s |      16 | 14891527 |   166652 |  1157392      0 |     8430 |   109215
1568.04/1568.35	c 1547s |      16 | 14895650 |   166852 |  1157392      0 |     8430 |   109215
1571.34/1571.64	c 1551s |      16 | 14908903 |   167052 |  1157392      0 |     8431 |   109225
1573.74/1574.02	c 1553s |      16 | 14925731 |   167252 |  1157392      0 |     8432 |   109240
1576.34/1576.64	c 1556s |      16 | 14958622 |   167752 |  1157392      0 |     8432 |   109240
1578.44/1578.77	c 1558s |      16 | 14980640 |   167952 |  1157392      0 |     8432 |   109240
1580.54/1580.82	c 1560s |      16 | 15001850 |   168252 |  1157392      0 |     8432 |   109240
1582.65/1582.95	c 1562s |      16 | 15027825 |   168652 |  1157392      0 |     8432 |   109240
1585.05/1585.32	c 1564s |      16 | 15040324 |   168952 |  1157392      0 |     8432 |   109240
1587.15/1587.49	c 1567s |      16 | 15051126 |   169252 |  1157392      0 |     8432 |   109240
1589.25/1589.51	c 1569s |      16 | 15057958 |   169552 |  1157392      0 |     8432 |   109240
1592.24/1592.55	c 1572s |      16 | 15071396 |   169852 |  1157392      0 |     8433 |   109254
1595.14/1595.41	c 1575s |      16 | 15084722 |   170352 |  1157392      0 |     8433 |   109254
1597.34/1597.62	c 1577s |      16 | 15100387 |   170552 |  1157392      0 |     8434 |   109268
1600.44/1600.70	c 1580s |      16 | 15139853 |   170852 |  1157392      0 |     8434 |   109268
1603.44/1603.71	c 1583s |      16 | 15170478 |   171052 |  1157392      0 |     8435 |   109282
1606.13/1606.43	c 1586s |      16 | 15192723 |   171252 |  1157392      0 |     8435 |   109282
1609.04/1609.39	c 1589s |      16 | 15233767 |   171752 |  1157392      0 |     8435 |   109282
1611.43/1611.75	c 1591s |      16 | 15271139 |   171952 |  1157392      0 |     8435 |   109282
1613.54/1613.89	c 1593s |      16 | 15287984 |   172452 |  1157392      0 |     8435 |   109282
1615.93/1616.28	c 1595s |      16 | 15311889 |   172952 |  1157392      0 |     8435 |   109282
1619.83/1620.11	c 1599s |      16 | 15369101 |   173252 |  1157392      0 |     8435 |   109282
1621.83/1622.18	c 1601s |      16 | 15378472 |   173652 |  1157392      0 |     8435 |   109282
1624.44/1624.70	c 1604s |      16 | 15410290 |   174152 |  1157392      0 |     8435 |   109282
1626.53/1626.83	c 1606s |      16 | 15419593 |   174452 |  1157392      0 |     8435 |   109282
1629.13/1629.40	c 1609s |      16 | 15424464 |   174752 |  1157392      0 |     8435 |   109282
1632.03/1632.31	c 1611s |      16 | 15425031 |   175052 |  1157392      0 |     8435 |   109282
1634.23/1634.55	c 1614s |      16 | 15426353 |   175352 |  1157392      0 |     8435 |   109282
1636.73/1637.07	c 1616s |      16 | 15443510 |   175652 |  1157392      0 |     8435 |   109282
1639.03/1639.35	c 1618s |      16 | 15446568 |   175952 |  1157392      0 |     8435 |   109282
1641.43/1641.79	c 1621s |      16 | 15456405 |   176452 |  1157392      0 |     8435 |   109282
1643.73/1644.00	c 1623s |      16 | 15461438 |   176852 |  1157392      0 |     8435 |   109282
1646.63/1646.90	c 1626s |      16 | 15474843 |   177252 |  1157392      0 |     8435 |   109282
1649.33/1649.64	c 1629s |      16 | 15488289 |   177452 |  1157392      0 |     8435 |   109282
1651.93/1652.30	c 1631s |      16 | 15497759 |   177652 |  1157392      0 |     8435 |   109282
1654.43/1654.79	c 1634s |      16 | 15503701 |   177852 |  1157392      0 |     8435 |   109282
1657.93/1658.20	c 1637s |      16 | 15507912 |   178152 |  1157392      0 |     8436 |   109296
1660.83/1661.13	c 1640s |      16 | 15514864 |   178252 |  1157392      0 |     8438 |   109321
1663.22/1663.53	c 1643s |      16 | 15521553 |   178752 |  1157392      0 |     8438 |   109321
1665.92/1666.25	c 1645s |      16 | 15535599 |   179152 |  1157392      0 |     8438 |   109321
1668.02/1668.32	c 1647s |      16 | 15547573 |   179452 |  1157392      0 |     8438 |   109321
1670.12/1670.41	c 1650s |      16 | 15555584 |   179752 |  1157392      0 |     8438 |   109321
1672.62/1672.98	c 1652s |      16 | 15561441 |   180052 |  1157392      0 |     8438 |   109321
1674.92/1675.25	c 1654s |      16 | 15567696 |   180352 |  1157392      0 |     8438 |   109321
1677.23/1677.59	c 1657s |      16 | 15568592 |   180552 |  1157392      0 |     8438 |   109321
1679.82/1680.12	c 1659s |      16 | 15571084 |   180852 |  1157392      0 |     8438 |   109321
1682.02/1682.30	c 1661s |      16 | 15571670 |   181052 |  1157392      0 |     8438 |   109321
1684.52/1684.83	c 1664s |      16 | 15574245 |   181352 |  1157392      0 |     8438 |   109321
1686.52/1686.85	c 1666s |      16 | 15578345 |   181752 |  1157392      0 |     8438 |   109321
1689.52/1689.89	c 1669s |      16 | 15593103 |   182152 |  1157392      0 |     8438 |   109321
1692.22/1692.53	c 1672s |      16 | 15604491 |   182552 |  1157392      0 |     8438 |   109321
1695.02/1695.39	c 1674s |      16 | 15612748 |   182852 |  1157392      0 |     8438 |   109321
1697.22/1697.58	c 1677s |      16 | 15620490 |   183152 |  1157392      0 |     8438 |   109321
1699.32/1699.63	c 1679s |      16 | 15629618 |   183352 |  1157392      0 |     8438 |   109321
1701.81/1702.16	c 1681s |      16 | 15630924 |   183652 |  1157392      0 |     8438 |   109321
1704.11/1704.45	c 1684s |      16 | 15633371 |   183952 |  1157392      0 |     8438 |   109321
1706.82/1707.10	c 1686s |      16 | 15635688 |   184252 |  1157392      0 |     8438 |   109321
1709.42/1709.79	c 1689s |      16 | 15637960 |   184552 |  1157392      0 |     8438 |   109321
1711.92/1712.24	c 1691s |      16 | 15644418 |   184752 |  1157392      0 |     8438 |   109321
1714.72/1715.06	c 1694s |      16 | 15654531 |   185052 |  1157392      0 |     8438 |   109321
1717.42/1717.70	c 1697s |      16 | 15658898 |   185252 |  1157392      0 |     8438 |   109321
1719.71/1720.09	c 1699s |      16 | 15662087 |   185452 |  1157392      0 |     8438 |   109321
1721.81/1722.12	c 1701s |      16 | 15666809 |   185652 |  1157392      0 |     8438 |   109321
1724.21/1724.55	c 1704s |      16 | 15678712 |   185952 |  1157392      0 |     8438 |   109321
1726.41/1726.78	c 1706s |      16 | 15690524 |   186352 |  1157392      0 |     8438 |   109321
1729.11/1729.48	c 1709s |      16 | 15706792 |   186752 |  1157392      0 |     8438 |   109321
1732.22/1732.55	c 1712s |      16 | 15710486 |   187052 |  1157392      0 |     8438 |   109321
1734.61/1734.99	c 1714s |      16 | 15717022 |   187252 |  1157392      0 |     8438 |   109321
1737.82/1738.12	c 1717s |      16 | 15725009 |   187552 |  1157392      0 |     8438 |   109321
1740.81/1741.12	c 1720s |      16 | 15729078 |   187852 |  1157392      0 |     8438 |   109321
1743.61/1743.94	c 1723s |      16 | 15731166 |   188152 |  1157392      0 |     8438 |   109321
1745.81/1746.12	c 1725s |      16 | 15731968 |   188352 |  1157392      0 |     8438 |   109321
1748.11/1748.40	c 1728s |      16 | 15736897 |   188552 |  1157392      0 |     8438 |   109321
1751.71/1752.08	c 1731s |      16 | 15747322 |   188952 |  1157392      0 |     8439 |   109336
1753.91/1754.28	c 1733s |      16 | 15755537 |   189452 |  1157392      0 |     8439 |   109336
1756.11/1756.45	c 1736s |      16 | 15770241 |   189852 |  1157392      0 |     8439 |   109336
1758.51/1758.80	c 1738s |      16 | 15794004 |   190252 |  1157392      0 |     8439 |   109336
1760.71/1761.05	c 1740s |      16 | 15816153 |   190652 |  1157392      0 |     8439 |   109336
1762.80/1763.19	c 1742s |      16 | 15839437 |   191052 |  1157392      0 |     8439 |   109336
1765.21/1765.57	c 1745s |      16 | 15854552 |   191652 |  1157392      0 |     8439 |   109336
1767.20/1767.58	c 1747s |      16 | 15868427 |   192152 |  1157392      0 |     8439 |   109336
1770.00/1770.36	c 1749s |      16 | 15887030 |   192852 |  1157392      0 |     8439 |   109336
1772.19/1772.57	c 1752s |      16 | 15900279 |   193352 |  1157392      0 |     8439 |   109336
1774.29/1774.69	c 1754s |      16 | 15925673 |   193752 |  1157392      0 |     8439 |   109336
1776.79/1777.10	c 1756s |      16 | 15939973 |   194052 |  1157392      0 |     8439 |   109336
1779.50/1779.84	c 1759s |      16 | 15953210 |   194352 |  1157392      0 |     8439 |   109336
1781.59/1782.00	c 1761s |      16 | 15954437 |   194552 |  1157392      0 |     8439 |   109336
1783.69/1784.07	c 1763s |      16 | 15962223 |   195052 |  1157392      0 |     8439 |   109336
1785.89/1786.25	c 1765s |      16 | 15975470 |   195252 |  1157392      0 |     8439 |   109336
1788.09/1788.48	c 1768s |      16 | 15979494 |   195552 |  1157392      0 |     8439 |   109336
1796.09/1796.48	c 1776s |      16 | 16042074 |   195852 |  1157392      0 |     8440 |   109351
1798.98/1799.34	c 1778s |      16 | 16056968 |   196152 |  1273132      0 |     8441 |   109360

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

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.21 1.50 3/179 15620
/proc/meminfo: memFree=30251140/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 3019 0 0 0 0 0 0 0 20 0 4 0 109568534 824635392 3380 33554432000 4194304 16246674 140733224148096 140733224147520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 202095 3390 441 2943 0 198989 0
[pid=15620/tid=15621] ppid=15617 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 843509760 3452 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 847704064 3468 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=832956 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 852946944 3486 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 1.07 1.21 1.50 3/179 15620
/proc/meminfo: memFree=30251140/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 25876 0 0 0 5 4 0 0 20 0 4 0 109568534 1332285440 26174 33554432000 4194304 16246674 140733224148096 140733224147408 7366234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 325265 26193 800 2943 0 322159 0
[pid=15620/tid=15621] ppid=15617 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1332285440 26204 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1332285440 26215 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1332285440 26227 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200569 s]
/proc/loadavg: 1.07 1.21 1.50 3/179 15620
/proc/meminfo: memFree=30251140/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1309252 CPUtime=0.19 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 51235 0 0 0 12 7 0 0 20 0 4 0 109568534 1340674048 52044 33554432000 4194304 16246674 140733224148096 140733224147408 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 327313 52048 800 2943 0 324207 0
[pid=15620/tid=15621] ppid=15617 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1340674048 52050 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1340674048 52053 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1340674048 52055 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300509 s]
/proc/loadavg: 1.07 1.21 1.50 3/179 15620
/proc/meminfo: memFree=30251140/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 62398 0 0 0 20 9 0 0 20 0 4 0 109568534 1345916928 63207 33554432000 4194304 16246674 140733224148096 140733224147408 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 328593 63207 800 2943 0 325487 0
[pid=15620/tid=15621] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 63207 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 63207 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 63207 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700438 s]
/proc/loadavg: 1.07 1.21 1.50 3/179 15620
/proc/meminfo: memFree=30251140/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 70544 0 0 0 59 10 0 0 20 0 4 0 109568534 1345916928 71353 33554432000 4194304 16246674 140733224148096 140733224147192 7376907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 328593 71353 801 2943 0 325487 0
[pid=15620/tid=15621] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 71353 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 71353 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 71353 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 1.07 1.21 1.50 3/183 15624
/proc/meminfo: memFree=29663328/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 83492 0 0 0 138 11 0 0 20 0 4 0 109568534 1345916928 84301 33554432000 4194304 16246674 140733224148096 140733224131088 13927222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 328593 84301 802 2943 0 325487 0
[pid=15620/tid=15621] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 84301 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 84301 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1345916928 84301 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 1.07 1.21 1.50 3/183 15624
/proc/meminfo: memFree=29032956/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1338948 CPUtime=3.09 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 141103 0 0 0 290 19 0 0 20 0 4 0 109568534 1371082752 146000 33554432000 4194304 16246674 140733224148096 140733224147192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 334737 146000 802 2943 0 331631 0
[pid=15620/tid=15621] ppid=15617 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1371082752 146000 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1371082752 146000 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1371082752 146000 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.30043 s]
/proc/loadavg: 1.14 1.22 1.51 3/183 15624
/proc/meminfo: memFree=28520620/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1388100 CPUtime=6.29 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 215858 0 0 0 597 32 0 0 20 0 4 0 109568534 1421414400 231486 33554432000 4194304 16246674 140733224148096 140733224145984 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 347025 231486 802 2943 0 343919 0
[pid=15620/tid=15621] ppid=15617 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1421414400 231486 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1421414400 231486 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1421414400 231486 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 1.29 1.25 1.51 4/183 15624
/proc/meminfo: memFree=28187132/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1486404 CPUtime=12.68 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 293838 0 0 0 1226 42 0 0 20 0 4 0 109568534 1522077696 313043 33554432000 4194304 16246674 140733224148096 140733224129984 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 371601 313043 847 2943 0 368495 0
[pid=15620/tid=15621] ppid=15617 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1522077696 313043 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1522077696 313043 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1522077696 313043 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1486404

[startup+25.5005 s]
/proc/loadavg: 1.60 1.32 1.53 4/183 15624
/proc/meminfo: memFree=27851312/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1823300 CPUtime=25.48 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 378112 0 0 0 2496 52 0 0 20 0 4 0 109568534 1867059200 397317 33554432000 4194304 16246674 140733224148096 140733224129984 5824476 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 455825 397317 895 2943 0 452719 0
[pid=15620/tid=15621] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1823300

[startup+51.1005 s]
/proc/loadavg: 1.74 1.37 1.54 3/183 15624
/proc/meminfo: memFree=27851220/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1823300 CPUtime=51.08 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 378112 0 0 0 5056 52 0 0 20 0 4 0 109568534 1867059200 397317 33554432000 4194304 16246674 140733224148096 140733224129984 12997776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 455825 397317 895 2943 0 452719 0
[pid=15620/tid=15621] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1823300

[startup+102.301 s]
/proc/loadavg: 2.01 1.50 1.57 3/183 15625
/proc/meminfo: memFree=27851508/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1823300 CPUtime=102.28 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 378112 0 0 0 10176 52 0 0 20 0 4 0 109568534 1867059200 397317 33554432000 4194304 16246674 140733224148096 140733224129984 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 455825 397317 895 2943 0 452719 0
[pid=15620/tid=15621] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1823300 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1823300


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

/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1867059200 397317 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1823300

[startup+1302.3 s]
/proc/loadavg: 2.33 2.24 2.02 3/183 15655
/proc/meminfo: memFree=27819744/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1850948 CPUtime=1302.09 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 385025 0 0 0 130151 58 0 0 20 0 4 0 109568534 1895370752 404230 33554432000 4194304 16246674 140733224148096 140733224129984 5523475 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 462737 404230 896 2943 0 459631 0
[pid=15620/tid=15621] ppid=15617 vsize=1850948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1895370752 404230 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1850948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1895370752 404230 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1850948 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1895370752 404230 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1850948

[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.03 3/183 15657
/proc/meminfo: memFree=27817248/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1854020 CPUtime=1362.09 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 385793 0 0 0 136150 59 0 0 20 0 4 0 109568534 1898516480 404998 33554432000 4194304 16246674 140733224148096 140733224129984 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 463505 404998 896 2943 0 460399 0
[pid=15620/tid=15621] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1854020

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.05 4/183 15658
/proc/meminfo: memFree=27818248/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1854020 CPUtime=1422.08 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 385793 0 0 0 142149 59 0 0 20 0 4 0 109568534 1898516480 404998 33554432000 4194304 16246674 140733224148096 140733224147192 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 463505 404998 896 2943 0 460399 0
[pid=15620/tid=15621] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997156973584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1854020 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1898516480 404998 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1854020

[startup+1482.3 s]
/proc/loadavg: 2.24 2.25 2.06 4/183 15659
/proc/meminfo: memFree=27794024/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1876548 CPUtime=1482.06 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 391431 0 0 0 148146 60 0 0 20 0 4 0 109568534 1921585152 410886 33554432000 4194304 16246674 140733224148096 140733224129984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 469137 410886 896 2943 0 466031 0
[pid=15620/tid=15621] ppid=15617 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1921585152 410886 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1921585152 410886 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1876548 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1921585152 410886 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1876548

[startup+1542.31 s]
/proc/loadavg: 2.26 2.25 2.07 3/183 15660
/proc/meminfo: memFree=27771240/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1899076 CPUtime=1542.06 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 397064 0 0 0 154144 62 0 0 20 0 4 0 109568534 1944653824 416518 33554432000 4194304 16246674 140733224148096 140733224129984 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 474769 416518 896 2943 0 471663 0
[pid=15620/tid=15621] ppid=15617 vsize=1899076 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1944653824 416518 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1899076 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1944653824 416518 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1899076 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1944653824 416518 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1899076

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.08 3/183 15661
/proc/meminfo: memFree=27745000/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1925700 CPUtime=1602.04 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 403577 0 0 0 160141 63 0 0 20 0 4 0 109568534 1971916800 423022 33554432000 4194304 16246674 140733224148096 140733224129984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 481425 423022 896 2943 0 478319 0
[pid=15620/tid=15621] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1925700

[startup+1662.3 s]
/proc/loadavg: 2.27 2.26 2.09 3/184 15666
/proc/meminfo: memFree=27744664/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1925700 CPUtime=1662.02 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 403585 0 0 0 166139 63 0 0 20 0 4 0 109568534 1971916800 423022 33554432000 4194304 16246674 140733224148096 140733224129984 4206877 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 481425 423022 896 2943 0 478319 0
[pid=15620/tid=15621] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1925700 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 1971916800 423022 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1925700

[startup+1722.3 s]
/proc/loadavg: 2.19 2.24 2.09 3/183 15667
/proc/meminfo: memFree=27713244/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1957444 CPUtime=1722.01 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 411440 0 0 0 172136 65 0 0 20 0 4 0 109568534 2004422656 430872 33554432000 4194304 16246674 140733224148096 140733224129984 5823674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 489361 430872 896 2943 0 486255 0
[pid=15620/tid=15621] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1957444

[startup+1782.3 s]
/proc/loadavg: 2.35 2.28 2.11 3/183 15668
/proc/meminfo: memFree=27712656/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1957444 CPUtime=1781.99 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 411459 0 0 0 178134 65 0 0 20 0 4 0 109568534 2004422656 430872 33554432000 4194304 16246674 140733224148096 140733224129984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 489361 430872 896 2943 0 486255 0
[pid=15620/tid=15621] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1957444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.26 2.11 3/183 15668
/proc/meminfo: memFree=27712772/32872528 swapFree=12208/1156848
[pid=15620] ppid=15617 vsize=1957444 CPUtime=1800.08 cores=1,3,5,7
/proc/15620/stat : 15620 (toysat) R 15617 15620 15571 0 -1 4202496 411460 0 0 0 179943 65 0 0 20 0 4 0 109568534 2004422656 430872 33554432000 4194304 16246674 140733224148096 140733224147272 5823086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15620/statm: 489361 430872 896 2943 0 486255 0
[pid=15620/tid=15621] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15621/stat : 15621 (toysat) S 15617 15620 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997167463664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15620/tid=15622] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15622/stat : 15622 (toysat) S 15617 15620 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997156973808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15620/tid=15623] ppid=15617 vsize=1957444 CPUtime=0 cores=1,3,5,7
/proc/15620/task/15623/stat : 15623 (toysat) S 15617 15620 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109568535 2004422656 430872 33554432000 4194304 16246674 140733224148096 139997076253872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1957444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.15
CPU user time (s): 1799.44
CPU system time (s): 0.708892
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1957444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.708892
maximum resident set size= 1723488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411460
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= 179
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69728 second user time and 6.80797 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 07:12:20
IDJOB=4078852
IDBENCH=89740
IDSOLVER=2542
FILE ID=node114/4078852-1465276339
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=459513731

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.54
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.852
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:        30267300 kB
Buffers:          134224 kB
Cached:           286492 kB
SwapCached:         1696 kB
Active:           472668 kB
Inactive:         234712 kB
Active(anon):     288072 kB
Inactive(anon):     1252 kB
Active(file):     184596 kB
Inactive(file):   233460 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             77364 kB
Writeback:            20 kB
AnonPages:       1443432 kB
Mapped:            10280 kB
Shmem:                 0 kB
Slab:             604884 kB
SReclaimable:      48764 kB
SUnreclaim:       556120 kB
KernelStack:        1456 kB
PageTables:         8556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 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= 71664 MiB
End job on node114 at 2016-06-07 07:42:20