Trace number 4079316

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_9.opb
MD5SUM0d1a0fb36198b9d5326d15feff3f543b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5327765
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 139798359
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 110323070365
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 139798359
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 110323070365
Number of bits of the biggest sum of numbers37
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-07T23:21:17+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-4079316-1465334477.opb"]
0.00/0.01	c use --random-gen="2142915 3861455653 2308270362 3726670702 2355330237 1960855488 2313215316 1991717203 3283306318 773487119 3591276399 3365366321 3554658203 1400923288 3747599120 1347290064 248061002 1758131825 369027158 215978397 2277900662 2316951664 1177450840 4067090412 4131873824 112241575 4028292124 326158281 1828051389 3670723559 607386537 460421075 2108255244 1913992654 2800391914 3876084720 4264535222 835011101 3282110750 1143177671 880904902 120501022 2881903404 1735728057 1577419570 236776710 1652832962 74989520 3143083373 2278248635 812507478 1075524618 2094115548 3939559940 1552976791 396308879 398310566 1022598568 2029494657 3468378190 1050674496 3343203048 2200930488 89352255 117061569 221535296 3605720173 2926201214 4219323949 516629126 2027988316 3320328684 750540015 3721396612 1369328791 3126360082 3621854847 1634294516 2806394771 4016939423 1105560958 297911577 2653299361 3244131438 2432249495 860294629 113818280 1807493250 105673033 786605268 597884568 3099184415 3472008146 3903413743 2492027919 3948287302 3704756202 1206154133 3290453554 2952443575 461164822 2628449624 2227551440 3927842631 3848563909 2841395702 2636764367 2139022206 3255863693 3082047124 2205992745 270864367 2752875750 3175792072 2338044146 1580528086 2003563689 1359180273 2176515588 6053267 3085522776 964430873 4133701228 2985651797 1006424525 3085554844 1049421680 1594596449 2335553408 966402522 2973260699 2337496200 3572212065 4153249427 481979176 2389348040 4085772980 3473872491 2616690484 898494209 4111388513 4056620730 507436745 3674066595 2207964341 3889268948 3475782343 3876021621 3756681844 3354432544 2682614265 1065625028 3897999056 2840919982 2303510619 2542700695 472253953 2727557337 3088511131 1851218164 415042247 1680694585 2932386156 2748314476 3963559313 1570973027 1003066600 4099936884 2867039511 340578468 509126578 333060398 3959385866 1254862463 2392327428 4265556045 224781283 1613019568 332054634 3185845997 4195685516 677049702 87624377 1678822223 2488070383 4115647180 316787461 2337034125 1462669713 131043920 3104484029 1563514595 1664302131 382027485 1924539834 3259295536 3882329626 830454807 365238002 2483757724 4123426932 2946448695 541123165 3850459249 237960777 510561122 1550399261 1075377835 1355932450 616276886 1094255425 1361011122 565882050 280552106 1101603352 3934868694 156608288 2419414064 1657961694 2473742454 1309570581 3140494497 1276237741 2443054007 4026589203 1891195989 3945634528 4020971375 2763091099 163487107 3588246106 2518784594 3552187298 3162341 491371630 2247085246 3684458566 517047650 3072411073 3587242274 1406489665 380469169 907929123 1689191471 1377991308 3553185693 1004130979 2111756018 1253358963 1592983767 2197596185 2649940406 2836195657 272383070 1078725670 1002092471 255 362436" option to reproduce the execution
0.18/0.23	c #vars 14620
0.18/0.23	c #constraints 21851
0.99/1.01	c BCD2: Hardening is enabled.
0.99/1.01	c BCD2: BiasedSearch is enabled.
0.99/1.01	c Solving starts ...
0.99/1.01	c ============================[ Search Statistics ]============================
0.99/1.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.01	c =============================================================================
0.99/1.01	c  0.0s |       0 |        0 |        0 |    16917      0 |      170 |        0
1.38/1.44	c  0.4s |       1 |      171 |      100 |    16917      0 |      170 |        0
3.78/3.82	c  2.8s |       1 |      410 |      200 |    18609      0 |      170 |        0
4.88/4.98	c  4.0s |       2 |      486 |      250 |    18609      0 |      170 |        0
8.58/8.69	c  7.7s |       2 |      797 |      450 |    20470      0 |      170 |        0
8.79/8.86	c  7.9s |       3 |      814 |      475 |    20470      0 |      170 |        0
10.89/10.96	c 10.0s |       3 |     1116 |      675 |    22517      0 |      170 |        0
13.20/13.26	c 12.3s |       4 |     1295 |      813 |    22517      0 |      170 |        0
16.29/16.38	c 15.4s |       4 |     1602 |     1013 |    24769      0 |      170 |        0
19.09/19.13	c 18.1s |       4 |     1819 |     1213 |    24769      0 |      170 |        0
19.99/20.05	c 19.0s |       5 |     1932 |     1320 |    24769      0 |      170 |        0
23.20/23.21	c 22.2s |       5 |     2284 |     1520 |    27246      0 |      170 |        0
25.40/25.45	c 24.4s |       5 |     2558 |     1720 |    27246      0 |      170 |        0
27.69/27.72	c 26.7s |       5 |     2787 |     1920 |    27246      0 |      170 |        0
29.19/29.27	c 28.3s |       6 |     2995 |     2081 |    29971      0 |      170 |        0
31.29/31.39	c 30.4s |       6 |     3298 |     2281 |    29971      0 |      170 |        0
34.29/34.33	c 33.3s |       6 |     3722 |     2581 |    29971      0 |      170 |        0
36.49/36.58	c 35.6s |       6 |     3950 |     2781 |    29971      0 |      170 |        0
39.09/39.11	c 38.1s |       6 |     4186 |     2981 |    29971      0 |      170 |        0
41.59/41.60	c 40.6s |       6 |     4600 |     3181 |    29971      0 |      170 |        0
42.09/42.16	c 41.2s |       7 |     4641 |     3223 |    32969      0 |      170 |        0
45.59/45.61	c 44.6s |       7 |     4980 |     3423 |    32969      0 |      170 |        0
48.18/48.22	c 47.2s |       7 |     5201 |     3623 |    32969      0 |      170 |        0
50.18/50.27	c 49.3s |       7 |     5310 |     3723 |    32969      0 |      170 |        0
52.79/52.87	c 51.9s |       7 |     5541 |     3923 |    32969      0 |      170 |        0
54.99/55.02	c 54.0s |       7 |     5803 |     4123 |    32969      0 |      170 |        0
57.38/57.49	c 56.5s |       7 |     6005 |     4323 |    32969      0 |      170 |        0
59.58/59.61	c 58.6s |       7 |     6316 |     4623 |    32969      0 |      170 |        0
61.98/62.02	c 61.0s |       7 |     6514 |     4823 |    32969      0 |      170 |        0
62.88/62.98	c 62.0s |       8 |     6642 |     4936 |    36266      0 |      170 |        0
65.78/65.86	c 64.9s |       8 |     6934 |     5136 |    36266      0 |      170 |        0
68.58/68.64	c 67.6s |       8 |     7143 |     5336 |    36266      0 |      170 |        0
70.88/70.92	c 69.9s |       8 |     7481 |     5636 |    36266      0 |      170 |        0
72.88/72.95	c 71.9s |       8 |     7743 |     5836 |    36266      0 |      170 |        0
75.68/75.72	c 74.7s |       8 |     8155 |     6136 |    36266      0 |      170 |        0
78.18/78.21	c 77.2s |       8 |     8389 |     6336 |    36266      0 |      170 |        0
80.87/80.91	c 79.9s |       8 |     8602 |     6536 |    36266      0 |      170 |        0
83.17/83.25	c 82.2s |       8 |     8953 |     6836 |    36266      0 |      170 |        0
85.67/85.78	c 84.8s |       8 |     9282 |     7136 |    36266      0 |      170 |        0
87.87/87.96	c 87.0s |       8 |     9712 |     7436 |    36266      0 |      170 |        0
88.27/88.36	c 87.3s |       9 |     9789 |     7506 |    39893      0 |      170 |        0
90.87/90.92	c 89.9s |       9 |    10213 |     7806 |    39893      0 |      170 |        0
93.48/93.52	c 92.5s |       9 |    10557 |     8106 |    39893      0 |      170 |        0
95.87/95.98	c 95.0s |       9 |    10930 |     8406 |    39893      0 |      170 |        0
98.37/98.43	c 97.4s |       9 |    11267 |     8706 |    39893      0 |      170 |        0
100.67/100.79	c 99.8s |       9 |    11683 |     9006 |    39893      0 |      170 |        0
102.87/102.94	c  101s |       9 |    11910 |     9206 |    39893      0 |      170 |        0
105.37/105.47	c  104s |       9 |    12123 |     9406 |    39893      0 |      170 |        0
108.07/108.10	c  107s |       9 |    12482 |     9706 |    39893      0 |      170 |        0
110.17/110.26	c  109s |       9 |    12690 |     9906 |    39893      0 |      170 |        0
112.97/113.07	c  112s |       9 |    13043 |    10206 |    39893      0 |      170 |        0
115.87/115.97	c  114s |       9 |    13381 |    10506 |    39893      0 |      170 |        0
118.47/118.55	c  117s |       9 |    13617 |    10706 |    39893      0 |      170 |        0
120.87/120.96	c  119s |       9 |    13919 |    11006 |    39893      0 |      170 |        0
123.97/124.09	c  123s |       9 |    14141 |    11206 |    39893      0 |      170 |        0
125.67/125.77	c  124s |      10 |    14294 |    11361 |    43883      0 |      170 |        0
128.57/128.67	c  127s |      10 |    14619 |    11561 |    43883      0 |      170 |        0
132.17/132.22	c  131s |      10 |    14842 |    11761 |    43883      0 |      170 |        0
134.66/134.70	c  133s |      10 |    15155 |    12061 |    43883      0 |      170 |        0
138.06/138.14	c  137s |      10 |    15504 |    12361 |    43883      0 |      170 |        0
140.66/140.76	c  139s |      10 |    15754 |    12561 |    43883      0 |      170 |        0
143.07/143.13	c  142s |      10 |    15984 |    12761 |    43883      0 |      170 |        0
145.27/145.38	c  144s |      10 |    16185 |    12961 |    43883      0 |      170 |        0
147.66/147.71	c  146s |      10 |    16418 |    13161 |    43883      0 |      170 |        0
150.77/150.89	c  149s |      10 |    16749 |    13461 |    43883      0 |      170 |        0
153.67/153.73	c  152s |      10 |    16997 |    13661 |    43883      0 |      170 |        0
156.07/156.13	c  155s |      10 |    17253 |    13861 |    43883      0 |      170 |        0
158.27/158.38	c  157s |      10 |    17628 |    14061 |    43883      0 |      170 |        0
160.37/160.49	c  159s |      10 |    17846 |    14261 |    43883      0 |      170 |        0
163.67/163.73	c  162s |      10 |    18179 |    14561 |    43883      0 |      170 |        0
166.37/166.44	c  165s |      10 |    18559 |    14861 |    43883      0 |      170 |        0
169.07/169.18	c  168s |      10 |    18884 |    15161 |    43883      0 |      170 |        0
171.77/171.87	c  170s |      10 |    19149 |    15361 |    43883      0 |      170 |        0
174.47/174.50	c  173s |      10 |    19455 |    15661 |    43883      0 |      170 |        0
176.97/177.10	c  176s |      10 |    19704 |    15861 |    43883      0 |      170 |        0
179.57/179.69	c  178s |      10 |    19960 |    16061 |    43883      0 |      170 |        0
181.67/181.79	c  180s |      10 |    20160 |    16261 |    43883      0 |      170 |        0
184.56/184.67	c  183s |      10 |    20478 |    16561 |    43883      0 |      170 |        0
188.17/188.23	c  187s |      10 |    20741 |    16761 |    43883      0 |      170 |        0
190.66/190.70	c  189s |      10 |    20939 |    16961 |    43883      0 |      170 |        0
193.57/193.64	c  192s |      11 |    21154 |    17144 |    48272      0 |      170 |        0
195.96/196.04	c  195s |      11 |    21326 |    17244 |    48272      0 |      170 |        0
199.76/199.80	c  198s |      11 |    21530 |    17444 |    48272      0 |      170 |        0
203.06/203.13	c  202s |      11 |    21762 |    17644 |    48272      0 |      170 |        0
205.96/206.04	c  205s |      11 |    21969 |    17844 |    48272      0 |      170 |        0
208.97/209.02	c  208s |      11 |    22230 |    18044 |    48272      0 |      170 |        0
211.66/211.73	c  210s |      11 |    22438 |    18244 |    48272      0 |      170 |        0
214.16/214.20	c  213s |      11 |    22815 |    18544 |    48272      0 |      170 |        0
216.16/216.21	c  215s |      11 |    22917 |    18644 |    48272      0 |      170 |        0
218.66/218.78	c  217s |      11 |    23249 |    18844 |    48272      0 |      170 |        0
221.16/221.22	c  220s |      11 |    23530 |    19044 |    48272      0 |      170 |        0
223.76/223.85	c  222s |      11 |    23756 |    19244 |    48272      0 |      170 |        0
227.06/227.10	c  226s |      11 |    23977 |    19444 |    48272      0 |      170 |        0
229.86/229.91	c  228s |      11 |    24176 |    19644 |    48272      0 |      170 |        0
232.65/232.78	c  231s |      11 |    24517 |    19944 |    48272      0 |      170 |        0
236.35/236.44	c  235s |      11 |    24749 |    20144 |    48272      0 |      170 |        0
239.76/239.88	c  238s |      11 |    24973 |    20344 |    48272      0 |      170 |        0
242.35/242.43	c  241s |      11 |    25185 |    20544 |    48272      0 |      170 |        0
245.05/245.17	c  244s |      11 |    25558 |    20744 |    48272      0 |      170 |        0
247.35/247.46	c  246s |      11 |    25662 |    20844 |    48272      0 |      170 |        0
250.75/250.83	c  249s |      11 |    25917 |    21044 |    48272      0 |      170 |        0
253.45/253.59	c  252s |      11 |    26132 |    21244 |    48272      0 |      170 |        0
257.15/257.29	c  256s |      11 |    26337 |    21444 |    48272      0 |      170 |        0
260.45/260.59	c  259s |      11 |    26587 |    21644 |    48272      0 |      170 |        0
263.65/263.74	c  262s |      11 |    26799 |    21844 |    48272      0 |      170 |        0
266.45/266.53	c  265s |      11 |    27019 |    22044 |    48272      0 |      170 |        0
268.75/268.84	c  267s |      11 |    27097 |    22144 |    48272      0 |      170 |        0
270.84/270.97	c  269s |      11 |    27214 |    22244 |    48272      0 |      170 |        0
273.34/273.48	c  272s |      11 |    27337 |    22344 |    48272      0 |      170 |        0
276.44/276.58	c  275s |      11 |    27566 |    22544 |    48272      0 |      170 |        0
279.45/279.59	c  278s |      11 |    27784 |    22744 |    48272      0 |      170 |        0
281.65/281.71	c  280s |      11 |    27894 |    22844 |    48272      0 |      170 |        0
284.04/284.10	c  283s |      11 |    27994 |    22944 |    48272      0 |      170 |        0
286.14/286.28	c  285s |      11 |    28144 |    23044 |    48272      0 |      170 |        0
289.44/289.52	c  288s |      11 |    28207 |    23144 |    48272      0 |      170 |        0
292.24/292.36	c  291s |      11 |    28430 |    23344 |    48272      0 |      170 |        0
295.24/295.34	c  294s |      11 |    28721 |    23644 |    48272      0 |      170 |        0
298.74/298.81	c  297s |      11 |    28926 |    23844 |    48272      0 |      170 |        0
302.75/302.80	c  301s |      11 |    29145 |    24044 |    48272      0 |      170 |        0
305.05/305.14	c  304s |      11 |    29357 |    24244 |    48272      0 |      170 |        0
308.15/308.26	c  307s |      11 |    29567 |    24444 |    48272      0 |      170 |        0
311.74/311.81	c  310s |      11 |    29770 |    24644 |    48272      0 |      170 |        0
314.24/314.34	c  313s |      11 |    29987 |    24844 |    48272      0 |      170 |        0
316.75/316.83	c  315s |      11 |    30179 |    25044 |    48272      0 |      170 |        0
319.84/319.97	c  318s |      11 |    30492 |    25344 |    48272      0 |      170 |        0
322.14/322.27	c  321s |      11 |    30694 |    25544 |    48272      0 |      170 |        0
324.34/324.41	c  323s |      11 |    30800 |    25644 |    48272      0 |      170 |        0
326.75/326.82	c  325s |      12 |    30994 |    25819 |    53100      0 |      170 |        0
329.44/329.56	c  328s |      12 |    31309 |    26019 |    53100      0 |      170 |        0
331.84/331.91	c  330s |      12 |    31537 |    26219 |    53100      0 |      170 |        0
333.94/334.07	c  333s |      12 |    31771 |    26419 |    53100      0 |      170 |        0
335.94/336.09	c  335s |      12 |    32024 |    26619 |    53100      0 |      170 |        0
338.54/338.64	c  337s |      12 |    32240 |    26819 |    53100      0 |      170 |        0
340.95/341.08	c  340s |      12 |    32582 |    27119 |    53100      0 |      170 |        0
343.84/343.98	c  342s |      12 |    32883 |    27419 |    53100      0 |      170 |        0
346.74/346.84	c  345s |      12 |    33181 |    27719 |    53100      0 |      170 |        0
349.04/349.16	c  348s |      12 |    33563 |    28019 |    53100      0 |      170 |        0
351.44/351.56	c  350s |      12 |    33873 |    28319 |    53100      0 |      170 |        0
354.24/354.34	c  353s |      12 |    34180 |    28619 |    53100      0 |      170 |        0
356.44/356.57	c  355s |      12 |    34385 |    28819 |    53100      0 |      170 |        0
358.73/358.86	c  357s |      12 |    34712 |    29119 |    53100      0 |      170 |        0
361.23/361.37	c  360s |      12 |    35036 |    29419 |    53100      0 |      170 |        0
363.73/363.80	c  362s |      12 |    35332 |    29719 |    53100      0 |      170 |        0
365.83/365.91	c  364s |      12 |    35665 |    30019 |    53100      0 |      170 |        0
367.83/367.96	c  366s |      12 |    35878 |    30219 |    53100      0 |      170 |        0
369.93/370.04	c  369s |      12 |    36067 |    30419 |    53100      0 |      170 |        0
372.23/372.36	c  371s |      12 |    36315 |    30619 |    53100      0 |      170 |        0
374.63/374.76	c  373s |      12 |    36529 |    30819 |    53100      0 |      170 |        0
376.93/377.01	c  375s |      12 |    36741 |    31019 |    53100      0 |      170 |        0
378.93/379.05	c  378s |      12 |    36961 |    31219 |    53100      0 |      170 |        0
381.33/381.48	c  380s |      12 |    37182 |    31419 |    53100      0 |      170 |        0
383.63/383.76	c  382s |      12 |    37388 |    31619 |    53100      0 |      170 |        0
386.53/386.60	c  385s |      12 |    37600 |    31819 |    53100      0 |      170 |        0
389.53/389.69	c  388s |      12 |    37827 |    32019 |    53100      0 |      170 |        0
392.83/392.92	c  391s |      12 |    38042 |    32219 |    53100      0 |      170 |        0
394.84/394.98	c  393s |      12 |    38273 |    32419 |    53100      0 |      170 |        0
397.53/397.63	c  396s |      12 |    38618 |    32719 |    53100      0 |      170 |        0
400.93/401.06	c  400s |      12 |    38855 |    32919 |    53100      0 |      170 |        0
403.33/403.44	c  402s |      12 |    39066 |    33119 |    53100      0 |      170 |        0
406.23/406.36	c  405s |      12 |    39294 |    33319 |    53100      0 |      170 |        0
408.33/408.47	c  407s |      12 |    39495 |    33519 |    53100      0 |      170 |        0
411.03/411.14	c  410s |      12 |    39806 |    33819 |    53100      0 |      170 |        0
414.23/414.33	c  413s |      12 |    40051 |    34019 |    53100      0 |      170 |        0
416.83/416.95	c  415s |      12 |    40260 |    34219 |    53100      0 |      170 |        0
419.52/419.65	c  418s |      12 |    40484 |    34419 |    53100      0 |      170 |        0
422.43/422.52	c  421s |      12 |    40821 |    34719 |    53100      0 |      170 |        0
425.12/425.24	c  424s |      12 |    41008 |    34919 |    53100      0 |      170 |        0
428.22/428.30	c  427s |      12 |    41224 |    35119 |    53100      0 |      170 |        0
431.02/431.19	c  430s |      12 |    41458 |    35319 |    53100      0 |      170 |        0
433.22/433.40	c  432s |      12 |    41546 |    35419 |    53100      0 |      170 |        0
435.42/435.55	c  434s |      12 |    41657 |    35519 |    53100      0 |      170 |        0
438.32/438.40	c  437s |      12 |    41865 |    35719 |    53100      0 |      170 |        0
441.72/441.88	c  440s |      12 |    42100 |    35919 |    53100      0 |      170 |        0
443.82/443.94	c  442s |      12 |    42299 |    36119 |    53100      0 |      170 |        0
445.92/446.07	c  445s |      12 |    42516 |    36319 |    53100      0 |      170 |        0
447.92/448.09	c  447s |      12 |    42611 |    36419 |    53100      0 |      170 |        0
450.93/451.10	c  450s |      12 |    42820 |    36619 |    53100      0 |      170 |        0
454.12/454.28	c  453s |      12 |    43029 |    36819 |    53100      0 |      170 |        0
456.42/456.54	c  455s |      12 |    43224 |    37019 |    53100      0 |      170 |        0
459.12/459.21	c  458s |      12 |    43548 |    37319 |    53100      0 |      170 |        0
461.62/461.71	c  460s |      12 |    43746 |    37519 |    53100      0 |      170 |        0
464.91/465.06	c  464s |      12 |    44124 |    37819 |    53100      0 |      170 |        0
468.21/468.31	c  467s |      12 |    44358 |    38019 |    53100      0 |      170 |        0
471.71/471.89	c  470s |      12 |    44569 |    38219 |    53100      0 |      170 |        0
473.91/474.04	c  473s |      12 |    44688 |    38319 |    53100      0 |      170 |        0
476.41/476.52	c  475s |      12 |    44808 |    38419 |    53100      0 |      170 |        0
478.91/479.00	c  477s |      12 |    45011 |    38619 |    58411      0 |      170 |        0
480.91/481.05	c  480s |      12 |    45210 |    38819 |    58411      0 |      170 |        0
481.01/481.15	c  480s |      13 |    45226 |    38832 |    58411      0 |      170 |        0
483.81/483.99	c  482s |      13 |    45555 |    39032 |    58411      0 |      170 |        0
486.41/486.55	c  485s |      13 |    45820 |    39232 |    58411      0 |      170 |        0
489.11/489.26	c  488s |      13 |    46070 |    39432 |    58411      0 |      170 |        0
492.51/492.66	c  491s |      13 |    46363 |    39632 |    58411      0 |      170 |        0
496.32/496.43	c  495s |      13 |    46651 |    39832 |    58411      0 |      170 |        0
499.52/499.65	c  498s |      13 |    46919 |    40032 |    58411      0 |      170 |        0
502.32/502.49	c  501s |      13 |    47283 |    40232 |    58411      0 |      170 |        0
504.42/504.53	c  503s |      13 |    47477 |    40432 |    58411      0 |      170 |        0
507.72/507.83	c  506s |      13 |    47889 |    40732 |    58411      0 |      170 |        0
510.32/510.46	c  509s |      13 |    48144 |    40932 |    58411      0 |      170 |        0
512.42/512.57	c  511s |      13 |    48343 |    41132 |    58411      0 |      170 |        0
515.71/515.89	c  514s |      13 |    48612 |    41332 |    58411      0 |      170 |        0
518.31/518.42	c  517s |      13 |    48693 |    41432 |    58411      0 |      170 |        0
521.32/521.47	c  520s |      13 |    48910 |    41632 |    58411      0 |      170 |        0
524.21/524.39	c  523s |      13 |    49112 |    41832 |    58411      0 |      170 |        0
527.81/527.91	c  526s |      13 |    49336 |    42032 |    58411      0 |      170 |        0
530.41/530.59	c  529s |      13 |    49529 |    42232 |    58411      0 |      170 |        0
532.91/533.07	c  532s |      13 |    49730 |    42432 |    58411      0 |      170 |        0
536.31/536.49	c  535s |      13 |    50084 |    42732 |    58411      0 |      170 |        0
540.01/540.20	c  539s |      13 |    50307 |    42932 |    58411      0 |      170 |        0
542.11/542.28	c  541s |      13 |    50463 |    43032 |    58411      0 |      170 |        0
545.51/545.62	c  544s |      13 |    50733 |    43232 |    58411      0 |      170 |        0
547.90/548.02	c  547s |      13 |    50926 |    43432 |    58411      0 |      170 |        0
550.80/550.98	c  549s |      13 |    51249 |    43732 |    58411      0 |      170 |        0
554.00/554.13	c  553s |      13 |    51472 |    43932 |    58411      0 |      170 |        0
556.90/557.03	c  556s |      13 |    51720 |    44132 |    58411      0 |      170 |        0
560.60/560.71	c  559s |      13 |    52028 |    44332 |    58411      0 |      170 |        0
565.00/565.11	c  564s |      13 |    52285 |    44532 |    58411      0 |      170 |        0
567.00/567.14	c  566s |      13 |    52399 |    44632 |    58411      0 |      170 |        0
569.60/569.70	c  568s |      13 |    52608 |    44832 |    58411      0 |      170 |        0
573.01/573.12	c  572s |      13 |    52826 |    45032 |    58411      0 |      170 |        0
575.90/576.04	c  575s |      13 |    53143 |    45332 |    58411      0 |      170 |        0
578.51/578.65	c  577s |      13 |    53359 |    45532 |    58411      0 |      170 |        0
581.70/581.88	c  580s |      13 |    53711 |    45732 |    58411      0 |      170 |        0
585.40/585.51	c  584s |      13 |    53933 |    45932 |    58411      0 |      170 |        0
588.50/588.69	c  587s |      13 |    54140 |    46132 |    58411      0 |      170 |        0
592.59/592.71	c  591s |      13 |    54424 |    46332 |    58411      0 |      170 |        0
594.79/594.96	c  593s |      13 |    54548 |    46432 |    58411      0 |      170 |        0
598.40/598.52	c  597s |      13 |    54806 |    46632 |    58411      0 |      170 |        0
600.89/601.00	c  599s |      13 |    55039 |    46832 |    58411      0 |      170 |        0
603.29/603.40	c  602s |      13 |    55360 |    47132 |    58411      0 |      170 |        0
606.79/606.92	c  605s |      13 |    55568 |    47332 |    58411      0 |      170 |        0
608.99/609.17	c  608s |      13 |    55761 |    47532 |    58411      0 |      170 |        0
611.99/612.17	c  611s |      13 |    55983 |    47732 |    58411      0 |      170 |        0
615.69/615.87	c  614s |      13 |    56189 |    47932 |    58411      0 |      170 |        0
619.20/619.31	c  618s |      13 |    56403 |    48132 |    58411      0 |      170 |        0
622.79/622.99	c  621s |      13 |    56634 |    48332 |    58411      0 |      170 |        0
626.79/626.91	c  625s |      13 |    56888 |    48532 |    58411      0 |      170 |        0
628.90/629.08	c  628s |      13 |    57002 |    48632 |    58411      0 |      170 |        0
631.30/631.47	c  630s |      13 |    57108 |    48732 |    58411      0 |      170 |        0
635.40/635.50	c  634s |      13 |    57342 |    48932 |    58411      0 |      170 |        0
637.50/637.61	c  636s |      13 |    57466 |    49032 |    58411      0 |      170 |        0
639.49/639.66	c  638s |      13 |    57588 |    49132 |    58411      0 |      170 |        0
641.69/641.83	c  640s |      13 |    57792 |    49332 |    58411      0 |      170 |        0
644.19/644.35	c  643s |      13 |    58078 |    49632 |    58411      0 |      170 |        0
646.80/646.93	c  645s |      13 |    58332 |    49832 |    58411      0 |      170 |        0
650.09/650.27	c  649s |      13 |    58631 |    50032 |    58411      0 |      170 |        0
653.39/653.55	c  652s |      13 |    58883 |    50232 |    58411      0 |      170 |        0
655.88/656.00	c  654s |      13 |    59106 |    50432 |    58411      0 |      170 |        0
658.58/658.77	c  657s |      13 |    59398 |    50732 |    58411      0 |      170 |        0
661.78/661.96	c  660s |      13 |    59629 |    50932 |    58411      0 |      170 |        0
664.68/664.90	c  663s |      13 |    59834 |    51132 |    58411      0 |      170 |        0
667.08/667.25	c  666s |      13 |    60115 |    51332 |    58411      0 |      170 |        0
670.08/670.25	c  669s |      13 |    60369 |    51532 |    58411      0 |      170 |        0
673.09/673.24	c  672s |      13 |    60669 |    51732 |    58411      0 |      170 |        0
675.98/676.16	c  675s |      13 |    60895 |    51932 |    58411      0 |      170 |        0
678.59/678.74	c  677s |      13 |    61142 |    52132 |    58411      0 |      170 |        0
681.08/681.21	c  680s |      13 |    61364 |    52332 |    58411      0 |      170 |        0
684.19/684.32	c  683s |      13 |    61588 |    52532 |    58411      0 |      170 |        0
686.40/686.57	c  685s |      13 |    61801 |    52732 |    58411      0 |      170 |        0
689.49/689.70	c  688s |      13 |    62126 |    53032 |    58411      0 |      170 |        0
692.39/692.50	c  691s |      13 |    62431 |    53332 |    58411      0 |      170 |        0
694.99/695.13	c  694s |      13 |    62741 |    53632 |    58411      0 |      170 |        0
697.09/697.26	c  696s |      13 |    62939 |    53832 |    58411      0 |      170 |        0
700.49/700.62	c  699s |      13 |    63315 |    54132 |    58411      0 |      170 |        0
703.09/703.22	c  702s |      13 |    63648 |    54432 |    58411      0 |      170 |        0
705.38/705.55	c  704s |      13 |    63893 |    54632 |    58411      0 |      170 |        0
708.18/708.33	c  707s |      13 |    64189 |    54932 |    58411      0 |      170 |        0
710.68/710.85	c  709s |      13 |    64400 |    55132 |    58411      0 |      170 |        0
712.88/713.02	c  712s |      13 |    64599 |    55332 |    58411      0 |      170 |        0
715.48/715.67	c  714s |      13 |    64930 |    55632 |    58411      0 |      170 |        0
717.58/717.71	c  716s |      13 |    65135 |    55832 |    58411      0 |      170 |        0
720.78/720.94	c  719s |      13 |    65358 |    56032 |    58411      0 |      170 |        0
723.79/723.96	c  722s |      13 |    65582 |    56232 |    58411      0 |      170 |        0
725.88/726.05	c  725s |      13 |    65674 |    56332 |    58411      0 |      170 |        0
728.88/729.06	c  728s |      13 |    65887 |    56532 |    58411      0 |      170 |        0
731.38/731.58	c  730s |      13 |    66084 |    56732 |    58411      0 |      170 |        0
734.07/734.22	c  733s |      13 |    66398 |    57032 |    58411      0 |      170 |        0
737.17/737.33	c  736s |      13 |    66697 |    57332 |    58411      0 |      170 |        0
739.97/740.16	c  739s |      13 |    66898 |    57532 |    58411      0 |      170 |        0
742.67/742.81	c  741s |      13 |    67097 |    57732 |    58411      0 |      170 |        0
744.77/744.90	c  743s |      13 |    67296 |    57932 |    58411      0 |      170 |        0
747.47/747.61	c  746s |      13 |    67669 |    58232 |    64253      0 |      170 |        0
748.77/748.95	c  747s |      14 |    67802 |    58352 |    64253      0 |      170 |        0
751.07/751.27	c  750s |      14 |    67996 |    58452 |    64253      0 |      170 |        0
753.27/753.46	c  752s |      14 |    68271 |    58652 |    64253      0 |      170 |        0
756.77/756.99	c  755s |      14 |    68529 |    58852 |    64253      0 |      170 |        0
760.46/760.62	c  759s |      14 |    68815 |    59052 |    64253      0 |      170 |        0
764.37/764.57	c  763s |      14 |    69028 |    59252 |    64253      0 |      170 |        0
768.26/768.46	c  767s |      14 |    69261 |    59452 |    64253      0 |      170 |        0
770.56/770.76	c  769s |      14 |    69350 |    59552 |    64253      0 |      170 |        0
773.06/773.24	c  772s |      14 |    69469 |    59652 |    64253      0 |      170 |        0
776.66/776.87	c  775s |      14 |    69715 |    59852 |    64253      0 |      170 |        0
780.16/780.34	c  779s |      14 |    69932 |    60052 |    64253      0 |      170 |        0
782.96/783.17	c  782s |      14 |    70160 |    60252 |    64253      0 |      170 |        0
785.96/786.14	c  785s |      14 |    70378 |    60452 |    64253      0 |      170 |        0
789.36/789.55	c  788s |      14 |    70599 |    60652 |    64253      0 |      170 |        0
792.35/792.51	c  791s |      14 |    70829 |    60852 |    64253      0 |      170 |        0
794.85/795.09	c  794s |      14 |    71030 |    61052 |    64253      0 |      170 |        0
797.85/798.02	c  797s |      14 |    71239 |    61252 |    64253      0 |      170 |        0
800.55/800.75	c  799s |      14 |    71471 |    61452 |    64253      0 |      170 |        0
803.25/803.49	c  802s |      14 |    71821 |    61652 |    64253      0 |      170 |        0
806.05/806.24	c  805s |      14 |    72028 |    61852 |    64253      0 |      170 |        0
808.15/808.35	c  807s |      14 |    72249 |    62052 |    64253      0 |      170 |        0
810.15/810.36	c  809s |      14 |    72455 |    62252 |    64253      0 |      170 |        0
812.75/812.97	c  811s |      14 |    72762 |    62552 |    64253      0 |      170 |        0
815.14/815.31	c  814s |      14 |    73087 |    62852 |    64253      0 |      170 |        0
817.64/817.80	c  816s |      14 |    73411 |    63152 |    64253      0 |      170 |        0
820.54/820.78	c  819s |      14 |    73634 |    63352 |    64253      0 |      170 |        0
823.23/823.45	c  822s |      14 |    73864 |    63552 |    64253      0 |      170 |        0
826.73/826.91	c  825s |      14 |    74189 |    63852 |    64253      0 |      170 |        0
829.93/830.12	c  829s |      14 |    74412 |    64052 |    64253      0 |      170 |        0
832.43/832.70	c  831s |      14 |    74523 |    64152 |    64253      0 |      170 |        0
835.73/835.95	c  834s |      14 |    74723 |    64352 |    64253      0 |      170 |        0
838.93/839.10	c  838s |      14 |    74923 |    64552 |    64253      0 |      170 |        0
841.23/841.41	c  840s |      14 |    75125 |    64752 |    64253      0 |      170 |        0
844.93/845.14	c  844s |      14 |    75501 |    65052 |    64253      0 |      170 |        0
848.74/848.95	c  847s |      14 |    75753 |    65252 |    64253      0 |      170 |        0
851.13/851.33	c  850s |      14 |    75867 |    65352 |    64253      0 |      170 |        0
853.33/853.51	c  852s |      14 |    75977 |    65452 |    64253      0 |      170 |        0
856.84/857.01	c  855s |      14 |    76193 |    65652 |    64253      0 |      170 |        0
858.83/859.02	c  858s |      14 |    76307 |    65752 |    64253      0 |      170 |        0
861.13/861.32	c  860s |      14 |    76404 |    65852 |    64253      0 |      170 |        0
864.53/864.73	c  863s |      14 |    76790 |    66152 |    64253      0 |      170 |        0
868.23/868.43	c  867s |      14 |    76993 |    66352 |    64253      0 |      170 |        0
872.62/872.89	c  871s |      14 |    77216 |    66552 |    64253      0 |      170 |        0
876.02/876.24	c  875s |      14 |    77417 |    66752 |    64253      0 |      170 |        0
879.02/879.25	c  878s |      14 |    77613 |    66952 |    64253      0 |      170 |        0
881.22/881.41	c  880s |      14 |    77839 |    67152 |    64253      0 |      170 |        0
883.23/883.42	c  882s |      14 |    77959 |    67252 |    64253      0 |      170 |        0
886.72/886.94	c  885s |      14 |    78210 |    67452 |    64253      0 |      170 |        0
889.22/889.44	c  888s |      14 |    78315 |    67552 |    64253      0 |      170 |        0
893.41/893.69	c  892s |      14 |    78530 |    67752 |    64253      0 |      170 |        0
897.52/897.70	c  896s |      14 |    78770 |    67952 |    64253      0 |      170 |        0
900.21/900.48	c  899s |      14 |    78867 |    68052 |    64253      0 |      170 |        0
904.51/904.74	c  903s |      14 |    79114 |    68252 |    64253      0 |      170 |        0
908.21/908.41	c  907s |      14 |    79382 |    68452 |    64253      0 |      170 |        0
910.21/910.49	c  909s |      14 |    79476 |    68552 |    64253      0 |      170 |        0
912.50/912.70	c  911s |      14 |    79610 |    68652 |    64253      0 |      170 |        0
914.50/914.72	c  913s |      14 |    79701 |    68752 |    64253      0 |      170 |        0
918.80/919.02	c  918s |      14 |    79924 |    68952 |    64253      0 |      170 |        0
921.40/921.61	c  920s |      14 |    80037 |    69052 |    64253      0 |      170 |        0
925.50/925.79	c  924s |      14 |    80239 |    69252 |    64253      0 |      170 |        0
928.10/928.37	c  927s |      14 |    80345 |    69352 |    64253      0 |      170 |        0
930.30/930.53	c  929s |      14 |    80466 |    69452 |    64253      0 |      170 |        0
933.50/933.71	c  932s |      14 |    80670 |    69652 |    64253      0 |      170 |        0
936.29/936.52	c  935s |      14 |    80782 |    69752 |    64253      0 |      170 |        0
939.30/939.59	c  938s |      14 |    80919 |    69852 |    64253      0 |      170 |        0
942.09/942.32	c  941s |      14 |    81023 |    69952 |    64253      0 |      170 |        0
944.29/944.53	c  943s |      14 |    81146 |    70052 |    64253      0 |      170 |        0
947.49/947.73	c  946s |      14 |    81340 |    70252 |    64253      0 |      170 |        0
951.48/951.76	c  950s |      14 |    81545 |    70452 |    64253      0 |      170 |        0
954.18/954.45	c  953s |      14 |    81642 |    70552 |    64253      0 |      170 |        0
956.48/956.74	c  955s |      14 |    81760 |    70652 |    64253      0 |      170 |        0
959.58/959.82	c  958s |      14 |    81960 |    70852 |    64253      0 |      170 |        0
963.67/963.91	c  962s |      14 |    82166 |    71052 |    64253      0 |      170 |        0
966.47/966.70	c  965s |      14 |    82352 |    71252 |    64253      0 |      170 |        0
969.67/969.91	c  968s |      14 |    82602 |    71452 |    64253      0 |      170 |        0
973.57/973.85	c  972s |      14 |    82816 |    71652 |    64253      0 |      170 |        0
975.87/976.19	c  975s |      14 |    82909 |    71752 |    64253      0 |      170 |        0
978.77/979.07	c  978s |      14 |    83001 |    71852 |    64253      0 |      170 |        0
984.96/985.24	c  984s |      14 |    83210 |    72052 |    64253      1 |      170 |        0
987.67/987.97	c  986s |      14 |    83320 |    72152 |    64253      1 |      170 |        0
989.96/990.28	c  989s |      14 |    83448 |    72252 |    64253      1 |      170 |        0
992.46/992.72	c  991s |      14 |    83563 |    72352 |    64253      1 |      170 |        0
994.85/995.18	c  994s |      14 |    83824 |    72552 |    64253      1 |      170 |        0
999.55/999.86	c  998s |      14 |    84020 |    72752 |    64253      1 |      170 |        0
1002.35/1002.69	c 1001s |      14 |    84220 |    72952 |    64253      1 |      170 |        0
1004.75/1005.09	c 1004s |      14 |    84397 |    73052 |    64253      1 |      170 |        0
1007.55/1007.81	c 1006s |      14 |    84511 |    73152 |    64253      1 |      170 |        0
1011.45/1011.74	c 1010s |      14 |    84607 |    73252 |    64253      1 |      170 |        0
1015.16/1015.49	c 1014s |      14 |    84715 |    73352 |    64253      1 |      170 |        0
1017.95/1018.21	c 1017s |      14 |    84815 |    73452 |    64253      1 |      170 |        0
1024.65/1024.93	c 1023s |      14 |    85043 |    73652 |    64253      1 |      170 |        0
1026.95/1027.27	c 1026s |      14 |    85144 |    73752 |    64253      1 |      170 |        0
1030.05/1030.33	c 1029s |      14 |    85347 |    73952 |    64253      1 |      170 |        0
1032.66/1032.94	c 1031s |      14 |    85548 |    74152 |    64253      1 |      170 |        0
1035.65/1035.90	c 1034s |      14 |    85783 |    74352 |    64253      1 |      170 |        0
1038.55/1038.83	c 1037s |      14 |    85980 |    74552 |    64253      1 |      170 |        0
1042.35/1042.67	c 1041s |      14 |    86191 |    74752 |    64253      1 |      170 |        0
1046.05/1046.32	c 1045s |      14 |    86398 |    74952 |    64253      1 |      170 |        0
1048.65/1048.91	c 1047s |      14 |    86615 |    75152 |    64253      1 |      170 |        0
1050.85/1051.17	c 1050s |      14 |    86713 |    75252 |    64253      1 |      170 |        0
1052.95/1053.20	c 1052s |      14 |    86815 |    75352 |    64253      1 |      170 |        0
1055.65/1055.98	c 1054s |      14 |    87030 |    75552 |    64253      1 |      170 |        0
1058.75/1059.00	c 1057s |      14 |    87336 |    75852 |    64253      1 |      170 |        0
1060.75/1061.02	c 1060s |      14 |    87540 |    76052 |    64253      1 |      170 |        0
1062.95/1063.25	c 1062s |      14 |    87731 |    76252 |    64253      1 |      170 |        0
1065.05/1065.33	c 1064s |      14 |    87927 |    76452 |    64253      1 |      170 |        0
1067.04/1067.34	c 1066s |      14 |    88131 |    76652 |    64253      1 |      170 |        0
1069.34/1069.67	c 1068s |      14 |    88329 |    76852 |    64253      1 |      170 |        0
1072.44/1072.72	c 1071s |      14 |    88627 |    77152 |    64253      1 |      170 |        0
1075.14/1075.42	c 1074s |      14 |    88831 |    77352 |    64253      1 |      170 |        0
1077.44/1077.77	c 1076s |      14 |    88963 |    77452 |    64253      1 |      170 |        0
1080.64/1080.91	c 1079s |      14 |    89179 |    77652 |    64253      1 |      170 |        0
1084.24/1084.52	c 1083s |      14 |    89382 |    77852 |    64253      1 |      170 |        0
1087.14/1087.43	c 1086s |      14 |    89521 |    77952 |    64253      1 |      170 |        0
1090.24/1090.57	c 1089s |      14 |    89728 |    78152 |    64253      1 |      170 |        0
1093.54/1093.88	c 1092s |      14 |    89931 |    78352 |    64253      1 |      170 |        0
1096.84/1097.17	c 1096s |      14 |    90033 |    78452 |    64253      1 |      170 |        0
1099.54/1099.80	c 1098s |      14 |    90139 |    78552 |    64253      1 |      170 |        0
1102.74/1103.00	c 1101s |      14 |    90377 |    78752 |    64253      1 |      170 |        0
1106.64/1107.00	c 1105s |      14 |    90597 |    78952 |    64253      1 |      170 |        0
1109.65/1109.93	c 1108s |      14 |    90695 |    79052 |    64253      1 |      170 |        0
1111.64/1111.95	c 1110s |      14 |    90792 |    79152 |    64253      1 |      170 |        0
1114.34/1114.66	c 1113s |      14 |    91079 |    79352 |    64253      1 |      170 |        0
1119.04/1119.39	c 1118s |      14 |    91293 |    79552 |    64253      1 |      170 |        0
1121.64/1122.00	c 1120s |      14 |    91425 |    79652 |    64253      1 |      170 |        0
1125.74/1126.09	c 1125s |      14 |    91662 |    79852 |    64253      1 |      170 |        0
1128.14/1128.47	c 1127s |      14 |    91799 |    79952 |    64253      1 |      170 |        0
1131.64/1131.91	c 1130s |      14 |    91885 |    80052 |    64253      1 |      170 |        0
1135.23/1135.54	c 1134s |      14 |    91984 |    80152 |    64253      1 |      170 |        0
1138.83/1139.18	c 1138s |      14 |    92064 |    80252 |    64253      1 |      170 |        0
1141.73/1142.04	c 1141s |      14 |    92185 |    80352 |    64253      1 |      170 |        0
1144.94/1145.25	c 1144s |      14 |    92286 |    80452 |    64253      1 |      170 |        0
1147.14/1147.44	c 1146s |      14 |    92400 |    80552 |    64253      1 |      170 |        0
1150.53/1150.88	c 1149s |      14 |    92610 |    80752 |    64253      1 |      170 |        0
1153.93/1154.30	c 1153s |      14 |    92801 |    80952 |    64253      1 |      170 |        0
1156.53/1156.83	c 1155s |      14 |    92914 |    81052 |    64253      1 |      170 |        0
1159.93/1160.26	c 1159s |      14 |    93096 |    81252 |    64253      1 |      170 |        0
1162.73/1163.03	c 1162s |      14 |    93305 |    81452 |    64253      1 |      170 |        0
1165.73/1166.03	c 1165s |      14 |    93508 |    81652 |    64253      1 |      170 |        0
1168.63/1168.95	c 1167s |      14 |    93793 |    81752 |    64253      1 |      170 |        0
1171.33/1171.61	c 1170s |      14 |    93924 |    81852 |    64253      1 |      170 |        0
1173.33/1173.62	c 1172s |      14 |    94032 |    81952 |    64253      1 |      170 |        0
1176.32/1176.69	c 1175s |      14 |    94259 |    82152 |    64253      1 |      170 |        0
1179.03/1179.33	c 1178s |      14 |    94366 |    82252 |    64253      1 |      170 |        0
1181.92/1182.27	c 1181s |      14 |    94454 |    82352 |    64253      1 |      170 |        0
1185.32/1185.66	c 1184s |      14 |    94663 |    82552 |    64253      1 |      170 |        0
1188.02/1188.39	c 1187s |      14 |    94851 |    82752 |    64253      1 |      170 |        0
1190.22/1190.57	c 1189s |      14 |    95073 |    82952 |    64253      1 |      170 |        0
1192.62/1192.92	c 1191s |      14 |    95186 |    83052 |    64253      1 |      170 |        0
1196.22/1196.58	c 1195s |      14 |    95410 |    83252 |    64253      1 |      170 |        0
1199.02/1199.35	c 1198s |      14 |    95540 |    83352 |    64253      1 |      170 |        0
1202.22/1202.53	c 1201s |      14 |    95711 |    83452 |    64253      1 |      170 |        0
1204.72/1205.02	c 1204s |      14 |    95836 |    83552 |    64253      1 |      170 |        0
1207.53/1207.88	c 1206s |      14 |    95994 |    83652 |    64253      1 |      170 |        0
1210.02/1210.32	c 1209s |      14 |    96106 |    83752 |    64253      1 |      170 |        0
1212.52/1212.88	c 1211s |      14 |    96233 |    83852 |    64253      1 |      170 |        0
1214.62/1214.93	c 1213s |      14 |    96337 |    83952 |    64253      1 |      170 |        0
1218.02/1218.36	c 1217s |      14 |    96549 |    84152 |    64253      1 |      170 |        0
1221.32/1221.64	c 1220s |      14 |    96790 |    84352 |    64253      1 |      170 |        0
1224.62/1224.90	c 1223s |      14 |    97068 |    84552 |    64253      1 |      170 |        0
1226.62/1226.90	c 1225s |      14 |    97261 |    84752 |    64253      1 |      170 |        0
1230.02/1230.38	c 1229s |      14 |    97493 |    84952 |    64253      1 |      170 |        0
1233.71/1234.08	c 1233s |      14 |    97834 |    85152 |    64253      1 |      170 |        0
1236.12/1236.49	c 1235s |      14 |    97943 |    85252 |    64253      1 |      170 |        0
1238.21/1238.50	c 1237s |      14 |    98036 |    85352 |    64253      1 |      170 |        0
1240.21/1240.55	c 1239s |      14 |    98158 |    85452 |    64253      1 |      170 |        0
1242.72/1243.03	c 1242s |      14 |    98299 |    85552 |    64253      1 |      170 |        0
1246.91/1247.27	c 1246s |      14 |    98513 |    85752 |    64253      1 |      170 |        0
1249.11/1249.46	c 1248s |      14 |    98608 |    85852 |    64253      1 |      170 |        0
1251.31/1251.64	c 1250s |      14 |    98722 |    85952 |    64253      1 |      170 |        0
1255.61/1255.99	c 1254s |      14 |    98942 |    86152 |    64253      1 |      170 |        0
1257.71/1258.00	c 1256s |      14 |    99046 |    86252 |    64253      1 |      170 |        0
1261.52/1261.85	c 1260s |      14 |    99238 |    86452 |    64253      1 |      170 |        0
1264.51/1264.83	c 1263s |      14 |    99437 |    86652 |    64253      1 |      170 |        0
1266.81/1267.17	c 1266s |      14 |    99649 |    86852 |    64253      1 |      170 |        0
1271.32/1271.63	c 1270s |      14 |    99840 |    87052 |    70679      1 |      170 |        0
1274.91/1275.29	c 1274s |      14 |   100053 |    87252 |    70679      1 |      170 |        0
1277.11/1277.48	c 1276s |      14 |   100146 |    87352 |    70679      1 |      170 |        0
1281.41/1281.73	c 1280s |      14 |   100358 |    87552 |    70679      1 |      170 |        0
1282.71/1283.06	c 1282s |      15 |   100454 |    87632 |    70679      1 |      170 |        0
1285.41/1285.71	c 1284s |      15 |   100653 |    87732 |    70679      1 |      170 |        0
1289.51/1289.80	c 1288s |      15 |   100905 |    87932 |    70679      1 |      170 |        0
1292.01/1292.38	c 1291s |      15 |   101021 |    88032 |    70679      1 |      170 |        0
1294.11/1294.48	c 1293s |      15 |   101136 |    88132 |    70679      1 |      170 |        0
1297.31/1297.65	c 1296s |      15 |   101351 |    88332 |    70679      1 |      170 |        0
1299.41/1299.71	c 1298s |      15 |   101590 |    88532 |    70679      1 |      170 |        0
1302.31/1302.65	c 1301s |      15 |   101795 |    88732 |    70679      1 |      170 |        0
1305.01/1305.35	c 1304s |      15 |   102051 |    88932 |    70679      1 |      170 |        0
1307.41/1307.76	c 1306s |      15 |   102249 |    89132 |    70679      1 |      170 |        0
1309.61/1309.91	c 1308s |      15 |   102467 |    89332 |    70679      1 |      170 |        0
1311.91/1312.30	c 1311s |      15 |   102673 |    89532 |    70679      1 |      170 |        0
1314.11/1314.40	c 1313s |      15 |   102885 |    89732 |    70679      1 |      170 |        0
1316.91/1317.20	c 1316s |      15 |   103098 |    89932 |    70679      1 |      170 |        0
1319.11/1319.47	c 1318s |      15 |   103320 |    90132 |    70679      1 |      170 |        0
1322.02/1322.33	c 1321s |      15 |   103530 |    90332 |    70679      1 |      170 |        0
1324.91/1325.26	c 1324s |      15 |   103748 |    90532 |    70679      1 |      170 |        0
1328.11/1328.43	c 1327s |      15 |   103952 |    90732 |    70679      1 |      170 |        0
1331.21/1331.58	c 1330s |      15 |   104160 |    90932 |    70679      1 |      170 |        0
1333.51/1333.85	c 1332s |      15 |   104380 |    91132 |    70679      1 |      170 |        0
1336.81/1337.10	c 1336s |      15 |   104601 |    91332 |    70679      1 |      170 |        0
1339.01/1339.36	c 1338s |      15 |   104704 |    91432 |    70679      1 |      170 |        0
1342.01/1342.31	c 1341s |      15 |   105016 |    91732 |    70679      1 |      170 |        0
1344.21/1344.56	c 1343s |      15 |   105292 |    91932 |    70679      1 |      170 |        0
1347.81/1348.11	c 1347s |      15 |   105512 |    92132 |    70679      1 |      170 |        0
1351.61/1351.95	c 1350s |      15 |   105729 |    92332 |    70679      1 |      170 |        0
1354.20/1354.51	c 1353s |      15 |   105810 |    92432 |    70679      1 |      170 |        0
1356.50/1356.89	c 1355s |      15 |   106018 |    92632 |    70679      1 |      170 |        0
1359.20/1359.60	c 1358s |      15 |   106241 |    92832 |    70679      1 |      170 |        0
1362.71/1363.07	c 1362s |      15 |   106442 |    93032 |    70679      1 |      170 |        0
1364.81/1365.17	c 1364s |      15 |   106662 |    93232 |    70679      1 |      170 |        0
1368.11/1368.46	c 1367s |      15 |   106888 |    93432 |    70679      1 |      170 |        0
1371.51/1371.84	c 1370s |      15 |   107086 |    93632 |    70679      1 |      170 |        0
1375.20/1375.58	c 1374s |      15 |   107309 |    93832 |    70679      1 |      170 |        0
1378.01/1378.38	c 1377s |      15 |   107495 |    94032 |    70679      1 |      170 |        0
1380.10/1380.40	c 1379s |      15 |   107731 |    94232 |    70679      1 |      170 |        0
1382.30/1382.60	c 1381s |      15 |   107974 |    94432 |    70679      1 |      170 |        0
1385.60/1385.94	c 1384s |      15 |   108213 |    94632 |    70679      1 |      170 |        0
1387.80/1388.10	c 1387s |      15 |   108316 |    94732 |    70679      1 |      170 |        0
1391.70/1392.03	c 1391s |      15 |   108608 |    94932 |    70679      1 |      170 |        0
1393.90/1394.21	c 1393s |      15 |   108726 |    95032 |    70679      1 |      170 |        0
1396.00/1396.36	c 1395s |      15 |   108833 |    95132 |    70679      1 |      170 |        0
1399.60/1399.93	c 1398s |      15 |   109078 |    95332 |    70679      1 |      170 |        0
1402.30/1402.68	c 1401s |      15 |   109218 |    95432 |    70679      1 |      170 |        0
1404.40/1404.77	c 1403s |      15 |   109314 |    95532 |    70679      1 |      170 |        0
1408.39/1408.75	c 1407s |      15 |   109526 |    95732 |    70679      1 |      170 |        0
1410.89/1411.28	c 1410s |      15 |   109734 |    95932 |    70679      1 |      170 |        0
1413.39/1413.76	c 1412s |      15 |   109952 |    96132 |    70679      1 |      170 |        0
1416.60/1416.96	c 1415s |      15 |   110039 |    96232 |    70679      1 |      170 |        0
1419.59/1419.98	c 1418s |      15 |   110152 |    96332 |    70679      1 |      170 |        0
1422.19/1422.52	c 1421s |      15 |   110268 |    96432 |    70679      1 |      170 |        0
1426.29/1426.67	c 1425s |      15 |   110475 |    96632 |    70679      1 |      170 |        0
1428.79/1429.14	c 1428s |      15 |   110597 |    96732 |    70679      1 |      170 |        0
1432.19/1432.56	c 1431s |      15 |   110810 |    96932 |    70679      1 |      170 |        0
1434.49/1434.82	c 1433s |      15 |   110902 |    97032 |    70679      1 |      170 |        0
1437.59/1437.97	c 1436s |      15 |   111107 |    97232 |    70679      1 |      170 |        0
1439.89/1440.29	c 1439s |      15 |   111301 |    97432 |    70679      1 |      170 |        0
1443.69/1444.07	c 1443s |      15 |   111520 |    97632 |    70679      1 |      170 |        0
1445.99/1446.34	c 1445s |      15 |   111645 |    97732 |    70679      1 |      170 |        0
1448.79/1449.11	c 1448s |      15 |   111746 |    97832 |    70679      1 |      170 |        0
1450.79/1451.15	c 1450s |      15 |   111875 |    97932 |    70679      1 |      170 |        0
1453.29/1453.66	c 1452s |      15 |   111998 |    98032 |    70679      1 |      170 |        0
1456.79/1457.16	c 1456s |      15 |   112222 |    98232 |    70679      1 |      170 |        0
1459.89/1460.21	c 1459s |      15 |   112445 |    98432 |    70679      1 |      170 |        0
1462.08/1462.47	c 1461s |      15 |   112667 |    98632 |    70679      1 |      170 |        0
1466.58/1466.94	c 1465s |      15 |   112867 |    98832 |    70679      1 |      170 |        0
1469.98/1470.39	c 1469s |      15 |   113073 |    99032 |    70679      1 |      170 |        0
1472.48/1472.86	c 1471s |      15 |   113182 |    99132 |    70679      1 |      170 |        0
1475.08/1475.47	c 1474s |      15 |   113280 |    99232 |    70679      1 |      170 |        0
1477.88/1478.22	c 1477s |      15 |   113366 |    99332 |    70679      1 |      170 |        0
1480.78/1481.12	c 1480s |      15 |   113489 |    99432 |    70679      1 |      170 |        0
1483.28/1483.61	c 1482s |      15 |   113610 |    99532 |    70679      1 |      170 |        0
1486.48/1486.86	c 1485s |      15 |   113813 |    99732 |    70679      1 |      170 |        0
1488.78/1489.11	c 1488s |      15 |   113917 |    99832 |    70679      1 |      170 |        0
1491.08/1491.47	c 1490s |      15 |   114147 |   100032 |    70679      1 |      170 |        0
1493.98/1494.33	c 1493s |      15 |   114458 |   100332 |    70679      1 |      170 |        0
1498.18/1498.59	c 1497s |      15 |   114648 |   100532 |    70679      1 |      170 |        0
1500.58/1500.99	c 1499s |      15 |   114763 |   100632 |    70679      1 |      170 |        0
1503.58/1503.98	c 1502s |      15 |   114984 |   100832 |    70679      1 |      170 |        0
1506.48/1506.85	c 1505s |      15 |   115282 |   101032 |    70679      1 |      170 |        0
1509.68/1510.02	c 1509s |      15 |   115567 |   101232 |    70679      1 |      170 |        0
1512.68/1513.04	c 1512s |      15 |   115921 |   101532 |    70679      1 |      170 |        0
1515.38/1515.70	c 1514s |      15 |   116279 |   101832 |    70679      1 |      170 |        0
1517.98/1518.36	c 1517s |      15 |   116507 |   102032 |    70679      1 |      170 |        0
1521.37/1521.74	c 1520s |      15 |   116817 |   102332 |    70679      1 |      170 |        0
1523.37/1523.79	c 1522s |      15 |   117063 |   102532 |    70679      1 |      170 |        0
1525.97/1526.37	c 1525s |      15 |   117386 |   102832 |    70679      1 |      170 |        0
1528.07/1528.48	c 1527s |      15 |   117603 |   103032 |    70679      1 |      170 |        0
1531.17/1531.50	c 1530s |      15 |   117900 |   103332 |    70679      1 |      170 |        0
1533.18/1533.52	c 1532s |      15 |   118171 |   103532 |    70679      1 |      170 |        0
1536.17/1536.53	c 1535s |      15 |   118514 |   103832 |    70679      1 |      170 |        0
1538.58/1538.94	c 1537s |      15 |   118735 |   104032 |    70679      1 |      170 |        0
1540.78/1541.14	c 1540s |      15 |   118945 |   104232 |    70679      1 |      170 |        0
1543.87/1544.27	c 1543s |      15 |   119152 |   104432 |    70679      1 |      170 |        0
1546.38/1546.73	c 1545s |      15 |   119360 |   104632 |    70679      1 |      170 |        0
1549.17/1549.52	c 1548s |      15 |   119690 |   104932 |    70679      1 |      170 |        0
1552.47/1552.84	c 1551s |      15 |   119930 |   105132 |    70679      1 |      170 |        0
1555.87/1556.27	c 1555s |      15 |   120151 |   105332 |    70679      1 |      170 |        0
1557.97/1558.37	c 1557s |      15 |   120366 |   105532 |    70679      1 |      170 |        0
1560.97/1561.31	c 1560s |      15 |   120629 |   105732 |    70679      1 |      170 |        0
1564.67/1565.02	c 1564s |      15 |   120850 |   105932 |    70679      1 |      170 |        0
1566.97/1567.30	c 1566s |      15 |   120950 |   106032 |    70679      1 |      170 |        0
1570.77/1571.16	c 1570s |      15 |   121160 |   106232 |    70679      1 |      170 |        0
1572.77/1573.17	c 1572s |      15 |   121285 |   106332 |    70679      1 |      170 |        0
1576.17/1576.58	c 1575s |      15 |   121493 |   106532 |    70679      1 |      170 |        0
1580.26/1580.66	c 1579s |      15 |   121825 |   106832 |    70679      1 |      170 |        0
1582.57/1582.94	c 1581s |      15 |   122030 |   107032 |    70679      1 |      170 |        0
1585.26/1585.67	c 1584s |      15 |   122251 |   107232 |    70679      1 |      170 |        0
1587.66/1588.06	c 1587s |      15 |   122351 |   107332 |    70679      1 |      170 |        0
1591.37/1591.76	c 1590s |      15 |   122598 |   107532 |    70679      1 |      170 |        0
1593.36/1593.78	c 1592s |      15 |   122712 |   107632 |    70679      1 |      170 |        0
1596.56/1596.96	c 1595s |      15 |   122900 |   107832 |    70679      1 |      170 |        0
1598.66/1599.06	c 1598s |      15 |   123115 |   108032 |    70679      1 |      170 |        0
1601.37/1601.75	c 1600s |      15 |   123321 |   108232 |    70679      1 |      170 |        0
1603.36/1603.80	c 1602s |      15 |   123527 |   108432 |    70679      1 |      170 |        0
1606.06/1606.44	c 1605s |      15 |   123733 |   108632 |    70679      1 |      170 |        0
1609.07/1609.44	c 1608s |      15 |   124057 |   108932 |    70679      1 |      170 |        0
1611.76/1612.19	c 1611s |      15 |   124179 |   109032 |    70679      1 |      170 |        0
1615.16/1615.55	c 1614s |      15 |   124275 |   109132 |    70679      1 |      170 |        0
1617.46/1617.84	c 1616s |      15 |   124387 |   109232 |    70679      1 |      170 |        0
1622.06/1622.40	c 1621s |      15 |   124614 |   109432 |    70679      1 |      170 |        0
1624.06/1624.44	c 1623s |      15 |   124731 |   109532 |    70679      1 |      170 |        0
1626.06/1626.45	c 1625s |      15 |   124826 |   109632 |    70679      1 |      170 |        0
1630.66/1631.05	c 1630s |      15 |   125041 |   109832 |    70679      1 |      170 |        0
1633.36/1633.70	c 1632s |      15 |   125150 |   109932 |    70679      1 |      170 |        0
1635.56/1635.98	c 1634s |      15 |   125245 |   110032 |    70679      1 |      170 |        0
1640.05/1640.49	c 1639s |      15 |   125441 |   110232 |    70679      1 |      170 |        0
1642.25/1642.69	c 1641s |      15 |   125543 |   110332 |    70679      1 |      170 |        0
1645.36/1645.78	c 1644s |      15 |   125750 |   110532 |    70679      1 |      170 |        0
1647.65/1648.08	c 1647s |      15 |   126098 |   110732 |    70679      1 |      170 |        0
1650.55/1650.98	c 1649s |      15 |   126219 |   110832 |    70679      1 |      170 |        0
1653.55/1653.98	c 1652s |      15 |   126412 |   111032 |    70679      1 |      170 |        0
1658.65/1659.08	c 1658s |      15 |   126762 |   111332 |    70679      1 |      170 |        0
1662.25/1662.66	c 1661s |      15 |   126969 |   111532 |    70679      1 |      170 |        0
1664.25/1664.68	c 1663s |      15 |   127090 |   111632 |    70679      1 |      170 |        0
1667.26/1667.65	c 1666s |      15 |   127197 |   111732 |    70679      1 |      170 |        0
1670.85/1671.23	c 1670s |      15 |   127298 |   111832 |    70679      1 |      170 |        0
1673.15/1673.56	c 1672s |      15 |   127414 |   111932 |    70679      1 |      170 |        0
1675.15/1675.57	c 1674s |      15 |   127526 |   112032 |    70679      1 |      170 |        0
1678.95/1679.36	c 1678s |      15 |   127760 |   112232 |    70679      1 |      170 |        0
1681.55/1681.93	c 1680s |      15 |   127865 |   112332 |    70679      1 |      170 |        0
1683.55/1683.96	c 1682s |      15 |   127970 |   112432 |    70679      1 |      170 |        0
1686.95/1687.39	c 1686s |      15 |   128162 |   112632 |    70679      1 |      170 |        0
1689.45/1689.84	c 1688s |      15 |   128357 |   112832 |    70679      1 |      170 |        0
1692.05/1692.42	c 1691s |      15 |   128604 |   113032 |    70679      1 |      170 |        0
1695.25/1695.65	c 1694s |      15 |   128839 |   113232 |    70679      1 |      170 |        0
1698.65/1699.08	c 1698s |      15 |   129062 |   113432 |    70679      1 |      170 |        0
1702.15/1702.58	c 1701s |      15 |   129291 |   113632 |    70679      1 |      170 |        0
1704.95/1705.31	c 1704s |      15 |   129509 |   113832 |    70679      1 |      170 |        0
1708.65/1709.04	c 1708s |      15 |   129742 |   114032 |    70679      1 |      170 |        0
1711.36/1711.74	c 1710s |      15 |   130030 |   114232 |    70679      1 |      170 |        0
1714.56/1714.98	c 1713s |      15 |   130261 |   114432 |    70679      1 |      170 |        0
1716.76/1717.13	c 1716s |      15 |   130370 |   114532 |    70679      1 |      170 |        0
1720.06/1720.45	c 1719s |      15 |   130578 |   114732 |    70679      1 |      170 |        0
1724.25/1724.64	c 1723s |      15 |   130791 |   114932 |    70679      1 |      170 |        0
1728.05/1728.44	c 1727s |      15 |   131007 |   115132 |    70679      1 |      170 |        0
1730.25/1730.68	c 1729s |      15 |   131227 |   115332 |    70679      1 |      170 |        0
1732.85/1733.27	c 1732s |      15 |   131420 |   115532 |    70679      1 |      170 |        0
1736.44/1736.87	c 1735s |      15 |   131572 |   115632 |    70679      2 |      170 |        0
1739.34/1739.71	c 1738s |      15 |   131725 |   115732 |    70679      2 |      170 |        0
1742.54/1742.99	c 1741s |      15 |   131940 |   115932 |    70679      2 |      170 |        0
1744.94/1745.38	c 1744s |      15 |   132045 |   116032 |    70679      2 |      170 |        0
1748.54/1748.93	c 1747s |      15 |   132398 |   116332 |    70679      2 |      170 |        0
1751.74/1752.17	c 1751s |      15 |   132628 |   116532 |    70679      2 |      170 |        0
1754.24/1754.62	c 1753s |      15 |   132855 |   116732 |    70679      2 |      170 |        0
1757.93/1758.35	c 1757s |      15 |   133202 |   117032 |    70679      2 |      170 |        0
1760.13/1760.55	c 1759s |      15 |   133290 |   117132 |    70679      2 |      170 |        0
1764.14/1764.54	c 1763s |      15 |   133500 |   117332 |    70679      2 |      170 |        0
1767.63/1768.04	c 1767s |      15 |   133807 |   117632 |    70679      2 |      170 |        0
1770.64/1771.06	c 1770s |      15 |   134013 |   117832 |    70679      2 |      170 |        0
1772.63/1773.07	c 1772s |      15 |   134210 |   118032 |    70679      2 |      170 |        0
1775.93/1776.32	c 1775s |      15 |   134593 |   118332 |    70679      2 |      170 |        0
1779.13/1779.55	c 1778s |      15 |   134855 |   118532 |    70679      2 |      170 |        0
1782.63/1783.06	c 1782s |      15 |   135100 |   118732 |    70679      2 |      170 |        0
1786.84/1787.20	c 1786s |      15 |   135319 |   118932 |    70679      2 |      170 |        0
1789.14/1789.57	c 1788s |      15 |   135436 |   119032 |    70679      2 |      170 |        0
1791.34/1791.75	c 1790s |      15 |   135550 |   119132 |    70679      2 |      170 |        0
1794.94/1795.31	c 1794s |      15 |   135768 |   119332 |    70679      2 |      170 |        0
1797.04/1797.44	c 1796s |      15 |   135866 |   119432 |    70679      2 |      170 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079316-1465334477/watcher-4079316-1465334477 -o /tmp/evaluation-result-4079316-1465334477/solver-4079316-1465334477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079316-1465334477.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 22071
/proc/meminfo: memFree=29168692/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 2880 0 0 0 0 0 0 0 20 0 4 0 115380041 787935232 2729 33554432000 4194304 16246674 140733451968176 140733451967600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 192879 2737 441 2943 0 189773 0
[pid=22071/tid=22072] ppid=22068 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 804712448 2794 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=790972 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 809955328 2810 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115380041 814149632 2827 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 22071
/proc/meminfo: memFree=29168692/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 29995 0 0 0 5 4 0 0 20 0 4 0 115380041 1334382592 29783 33554432000 4194304 16246674 140733451968176 140733451967488 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 325777 29797 800 2943 0 322671 0
[pid=22071/tid=22072] ppid=22068 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1334382592 29808 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1334382592 29819 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1334382592 29831 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200507 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 22071
/proc/meminfo: memFree=29168692/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 48144 0 0 0 12 6 0 0 20 0 4 0 115380041 1344868352 48442 33554432000 4194304 16246674 140733451968176 140733451967488 13780514 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 328337 48442 800 2943 0 325231 0
[pid=22071/tid=22072] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 48442 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 48442 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 48442 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300485 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 22071
/proc/meminfo: memFree=29168692/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 52945 0 0 0 22 7 0 0 20 0 4 0 115380041 1344868352 53243 33554432000 4194304 16246674 140733451968176 140733451950080 5593864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 328337 53243 838 2943 0 325231 0
[pid=22071/tid=22072] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 53243 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 53243 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 53243 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700382 s]
/proc/loadavg: 2.26 2.26 2.26 3/179 22071
/proc/meminfo: memFree=29168692/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 107370 0 0 0 53 16 0 0 20 0 4 0 115380041 1344868352 107668 33554432000 4194304 16246674 140733451968176 140733451950080 6771081 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 328337 107676 839 2943 0 325231 0
[pid=22071/tid=22072] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 107682 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 107687 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1344868352 107692 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.24 2.25 2.26 4/183 22075
/proc/meminfo: memFree=28678516/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=1.48 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122517 0 0 0 130 18 0 0 20 0 4 0 115380041 1368985600 122815 33554432000 4194304 16246674 140733451968176 140733451967352 5754952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122815 888 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122815 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122815 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122815 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1336900

[startup+3.10035 s]
/proc/loadavg: 2.24 2.25 2.26 4/183 22075
/proc/meminfo: memFree=28677772/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=3.08 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122519 0 0 0 290 18 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 140733451950080 5711355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122817 890 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1336900

[startup+6.3004 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 22075
/proc/meminfo: memFree=28677784/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=6.28 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122519 0 0 0 610 18 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 140733451950080 5823821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122817 890 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.20 2.25 2.26 3/183 22075
/proc/meminfo: memFree=28677328/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=12.69 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122519 0 0 0 1250 19 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 140733451950080 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122817 890 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122817 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5004 s]
/proc/loadavg: 2.24 2.25 2.26 3/183 22075
/proc/meminfo: memFree=28677564/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=25.49 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122523 0 0 0 2530 19 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 140733451950080 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122821 894 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 22075
/proc/meminfo: memFree=28677648/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=51.08 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122523 0 0 0 5089 19 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 140733451950080 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122821 894 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1336900

[startup+102.3 s]
/proc/loadavg: 2.40 2.30 2.27 3/183 22076
/proc/meminfo: memFree=28677740/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1336900 CPUtime=102.28 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 122523 0 0 0 10209 19 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 140733451950080 5676316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334225 122821 894 2943 0 331119 0
[pid=22071/tid=22072] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1368985600 122821 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900


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

/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.07 2.16 2.20 3/183 22154
/proc/meminfo: memFree=28068668/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1302.01 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 130174 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451967272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.28 2.20 2.21 3/183 22155
/proc/meminfo: memFree=28054900/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1362 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 136173 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.27 2.21 2.21 3/183 22156
/proc/meminfo: memFree=28053784/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1422 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 142173 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.20 2.20 2.20 3/183 22157
/proc/meminfo: memFree=28029480/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1481.98 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 148171 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.25 2.21 2.20 3/183 22159
/proc/meminfo: memFree=28028980/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1541.98 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 154171 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 5721410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.24 2.21 2.20 3/183 22160
/proc/meminfo: memFree=28029228/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1601.96 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 160169 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.19 4/183 22161
/proc/meminfo: memFree=28028476/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1661.95 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 166168 27 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 12483218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.29 2.22 2.19 4/183 22162
/proc/meminfo: memFree=28028352/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1338948 CPUtime=1721.95 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 130826 0 0 0 172167 28 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 140733451950080 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 334737 275980 900 2943 0 331631 0
[pid=22071/tid=22072] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1371082752 275980 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.10 2.18 2.18 3/184 22166
/proc/meminfo: memFree=28012276/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1355332 CPUtime=1781.93 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 134922 0 0 0 178165 28 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 140733451950080 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 338833 280076 900 2943 0 335727 0
[pid=22071/tid=22072] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1355332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.17 2.17 4/183 22168
/proc/meminfo: memFree=28012388/32872528 swapFree=16636/1570076
[pid=22071] ppid=22068 vsize=1355332 CPUtime=1800.04 cores=0,2,4,6
/proc/22071/stat : 22071 (toysat) R 22068 22071 2168 0 -1 4202496 134922 0 0 0 179975 29 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 140733451950080 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22071/statm: 338833 280076 900 2943 0 335727 0
[pid=22071/tid=22072] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22072/stat : 22072 (toysat) S 22068 22071 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833916763376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22071/tid=22073] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22073/stat : 22073 (toysat) S 22068 22071 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833906273520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22071/tid=22074] ppid=22068 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/22071/task/22074/stat : 22074 (toysat) S 22068 22071 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115380041 1387859968 280076 33554432000 4194304 16246674 140733451968176 139833895799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1355332

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 22071 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.41
CPU time (s): 1800.05
CPU user time (s): 1799.76
CPU system time (s): 0.291955
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 1355332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.291955
maximum resident set size= 1120304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134922
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= 156
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48932 second user time and 7.02493 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 23:21:17
IDJOB=4079316
IDBENCH=92743
IDSOLVER=2542
FILE ID=node140/4079316-1465334477
RUNJOBID= node140-1465312758-19943
PBS_JOBID= 19850417
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079316-1465334477/watcher-4079316-1465334477 -o /tmp/evaluation-result-4079316-1465334477/solver-4079316-1465334477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079316-1465334477.opb

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

MD5SUM BENCH= 0d1a0fb36198b9d5326d15feff3f543b
RANDOM SEED=300118398

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29168584 kB
Buffers:           69236 kB
Cached:           216828 kB
SwapCached:         1660 kB
Active:          1235468 kB
Inactive:         148548 kB
Active(anon):    1093876 kB
Inactive(anon):     6668 kB
Active(file):     141592 kB
Inactive(file):   141880 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17516 kB
Writeback:             0 kB
AnonPages:       2778144 kB
Mapped:            10808 kB
Shmem:                 0 kB
Slab:             614284 kB
SReclaimable:      58260 kB
SUnreclaim:       556024 kB
KernelStack:        1520 kB
PageTables:         9324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2809240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2256896 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= 71708 MiB
End job on node140 at 2016-06-07 23:51:17