Trace number 4079315

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_8.opb
MD5SUMf1796031dd2222ba84ddb055b00dac83
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4486431
Best CPU time to get the best result obtained on this benchmark1800.77
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 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 102095438945
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 102095438945
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:53:15+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-4079315-1465336394.opb"]
0.00/0.01	c use --random-gen="4047655185 3652991180 955957268 2586937612 1822033278 541732580 3913006902 1668216141 3329240600 2769104466 3216335288 2309165229 1661592231 1128601590 3369980829 2276088891 491965016 1756148577 2871641805 2352669404 3644750975 3422308047 4103114317 400141971 635125863 3185417729 2593306502 4031205187 1610860585 456732209 2304085387 3504214564 3692333200 284415712 2249763237 877214311 3018260885 3535434452 2312240229 1376764219 2980552620 3191685632 883207721 3213887214 843213881 4147037059 33220635 2466519570 504403117 1392817488 1673744276 2422663091 4032568713 54564891 376498036 688111878 3641333207 2738940420 1678053317 2521071833 2710109103 910660863 2238617445 3881466779 3503751076 3443288300 2350460082 4030552120 1830280747 4242735971 4252627327 1533962530 890980531 2824444889 999581393 4067007599 2263874593 3772947458 949293186 940915520 335152292 1132657350 332186519 2673788011 4174055767 3983819758 4170361673 4035936232 1244999926 3457125669 952276586 3327604962 743150914 4051563694 1969644734 276451791 3323685274 4240116653 3688630888 3307627929 3622737769 3961026728 342378845 1584528338 333365902 3290395685 804657051 977423444 377148138 2664698355 1433710640 1961941430 3382660815 2084479398 4090422539 3414144294 3151012690 3758796981 3946102728 3142271397 3077002781 2445997427 3461054046 1450841116 1975540452 1356604962 296218226 1472274737 2058210499 729799827 3963146842 1356249031 3089773379 238206803 1775870386 3377969546 1273594991 3284459698 2306435227 280584169 1686531329 3555640721 98580812 2234385091 2798360856 3050761434 2035818092 976333952 241124781 2539872533 3298348913 2702071862 1911271148 555305205 386983956 2365870331 1471339328 1073820346 910266173 3308122994 1318434834 2597635126 235958401 3139137880 3321016501 1870149481 317640970 2140649439 442695824 2438453020 911940978 4286678387 136664764 1808526562 974545856 1380360553 272867788 4250838056 2070030456 4155126862 1593298101 614936521 456989182 1132713216 492844685 2824663650 2504094930 2516781120 2020879135 338850337 2603440523 3781994181 3186175526 674071290 1170940993 1812952786 1138530352 1071314338 1407899245 3501141412 1664063747 565170509 3220834734 3825936546 4189972040 2375030876 2377708147 3627600007 3214316889 3068374033 2975457051 160655949 4228947263 3276217823 1759618974 2088866823 3562375569 2652403261 3151598272 331964360 4168533317 1455629232 1154810820 431958207 367640367 2775469889 1960383117 3023982878 2517220216 3261923209 3182360747 3755750692 3376580947 3518112398 602920301 1405869520 175132157 2158991863 138297758 564259462 1685072697 495920908 422273932 1103781825 2533265551 1851311257 2525011947 3482485653 1501790549 2689205742 3552175716 3049118364 3153757165 3711855642 281038139 2510548161 255 362436" option to reproduce the execution
0.19/0.24	c #vars 14620
0.19/0.24	c #constraints 21851
0.99/1.03	c BCD2: Hardening is enabled.
0.99/1.03	c BCD2: BiasedSearch is enabled.
0.99/1.03	c Solving starts ...
0.99/1.03	c ============================[ Search Statistics ]============================
0.99/1.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.03	c =============================================================================
0.99/1.03	c  0.0s |       0 |        0 |        0 |    16917      0 |      170 |        0
1.39/1.48	c  0.5s |       1 |      171 |      100 |    16917      0 |      170 |        0
3.79/3.89	c  2.9s |       1 |      410 |      200 |    18609      0 |      170 |        0
4.99/5.08	c  4.1s |       2 |      486 |      250 |    18609      0 |      170 |        0
7.09/7.11	c  6.1s |       2 |      659 |      350 |    20470      0 |      170 |        0
8.99/9.03	c  8.0s |       3 |      814 |      475 |    20470      0 |      170 |        0
11.10/11.16	c 10.1s |       3 |     1116 |      675 |    22517      0 |      170 |        0
13.49/13.50	c 12.5s |       4 |     1295 |      813 |    22517      0 |      170 |        0
16.60/16.63	c 15.6s |       4 |     1603 |     1013 |    24769      0 |      170 |        0
19.29/19.34	c 18.3s |       4 |     1820 |     1213 |    24769      0 |      170 |        0
20.19/20.25	c 19.2s |       5 |     1933 |     1320 |    24769      0 |      170 |        0
23.39/23.47	c 22.4s |       5 |     2285 |     1520 |    27246      0 |      170 |        0
25.69/25.73	c 24.7s |       5 |     2558 |     1720 |    27246      0 |      170 |        0
27.89/28.00	c 27.0s |       5 |     2786 |     1920 |    27246      0 |      170 |        0
29.49/29.53	c 28.5s |       6 |     2994 |     2081 |    29971      0 |      170 |        0
31.59/31.65	c 30.6s |       6 |     3296 |     2281 |    29971      0 |      170 |        0
34.58/34.61	c 33.6s |       6 |     3720 |     2581 |    29971      0 |      170 |        0
36.78/36.87	c 35.8s |       6 |     3948 |     2781 |    29971      0 |      170 |        0
39.38/39.43	c 38.4s |       6 |     4184 |     2981 |    29971      0 |      170 |        0
41.89/41.96	c 40.9s |       6 |     4600 |     3181 |    29971      0 |      170 |        0
42.48/42.53	c 41.5s |       7 |     4642 |     3223 |    32969      0 |      170 |        0
45.78/45.90	c 44.9s |       7 |     4981 |     3423 |    32969      0 |      170 |        0
49.49/49.53	c 48.5s |       7 |     5322 |     3723 |    32969      0 |      170 |        0
52.89/52.90	c 51.9s |       7 |     5542 |     3923 |    32969      0 |      170 |        0
54.88/54.91	c 53.9s |       7 |     5782 |     4123 |    32969      0 |      170 |        0
58.18/58.28	c 57.3s |       7 |     6015 |     4323 |    32969      0 |      170 |        0
61.98/62.00	c 61.0s |       7 |     6316 |     4623 |    32969      0 |      170 |        0
64.48/64.57	c 63.5s |       7 |     6560 |     4823 |    32969      0 |      170 |        0
65.68/65.70	c 64.7s |       8 |     6700 |     4936 |    36266      0 |      170 |        0
68.48/68.56	c 67.5s |       8 |     7002 |     5136 |    36266      0 |      170 |        0
70.88/70.99	c 70.0s |       8 |     7209 |     5336 |    36266      0 |      170 |        0
73.98/74.09	c 73.1s |       8 |     7463 |     5536 |    36266      0 |      170 |        0
76.38/76.48	c 75.5s |       8 |     7693 |     5736 |    36266      0 |      170 |        0
78.68/78.70	c 77.7s |       8 |     8005 |     6036 |    36266      0 |      170 |        0
81.08/81.19	c 80.2s |       8 |     8213 |     6236 |    36266      0 |      170 |        0
83.48/83.57	c 82.5s |       8 |     8441 |     6436 |    36266      0 |      170 |        0
85.88/85.98	c 85.0s |       8 |     8634 |     6636 |    36266      0 |      170 |        0
88.27/88.33	c 87.3s |       8 |     8836 |     6836 |    36266      0 |      170 |        0
90.97/91.08	c 90.1s |       8 |     9138 |     7136 |    36266      0 |      170 |        0
94.17/94.29	c 93.3s |       8 |     9489 |     7436 |    36266      0 |      170 |        0
95.17/95.20	c 94.2s |       9 |     9573 |     7506 |    39893      0 |      170 |        0
98.17/98.20	c 97.2s |       9 |     9921 |     7706 |    39893      0 |      170 |        0
100.18/100.23	c 99.2s |       9 |    10232 |     7906 |    39893      0 |      170 |        0
102.17/102.25	c  101s |       9 |    10682 |     8106 |    39893      0 |      170 |        0
104.87/104.92	c  103s |       9 |    11080 |     8406 |    39893      0 |      170 |        0
107.37/107.40	c  106s |       9 |    11522 |     8706 |    39893      0 |      170 |        0
109.87/109.90	c  108s |       9 |    11871 |     9006 |    39893      0 |      170 |        0
111.97/112.02	c  110s |       9 |    12197 |     9306 |    39893      0 |      170 |        0
114.58/114.64	c  113s |       9 |    12770 |     9806 |    39893      0 |      170 |        0
116.68/116.79	c  115s |       9 |    13182 |    10206 |    39893      0 |      170 |        0
119.08/119.14	c  118s |       9 |    13512 |    10506 |    39893      0 |      170 |        0
121.28/121.34	c  120s |       9 |    13899 |    10806 |    39893      0 |      170 |        0
123.38/123.40	c  122s |       9 |    14320 |    11206 |    39893      0 |      170 |        0
124.78/124.85	c  123s |      10 |    14509 |    11361 |    43883      0 |      170 |        0
127.17/127.27	c  126s |      10 |    14892 |    11561 |    43883      0 |      170 |        0
129.88/129.94	c  128s |      10 |    15209 |    11761 |    43883      0 |      170 |        0
131.98/132.07	c  131s |      10 |    15427 |    11961 |    43883      0 |      170 |        0
134.57/134.60	c  133s |      10 |    15654 |    12161 |    43883      0 |      170 |        0
136.97/137.05	c  136s |      10 |    15993 |    12461 |    43883      0 |      170 |        0
139.37/139.49	c  138s |      10 |    16417 |    12761 |    43883      0 |      170 |        0
141.47/141.51	c  140s |      10 |    16743 |    12961 |    43883      0 |      170 |        0
143.77/143.83	c  142s |      10 |    17050 |    13261 |    43883      0 |      170 |        0
146.17/146.20	c  145s |      10 |    17374 |    13561 |    43883      0 |      170 |        0
148.67/148.72	c  147s |      10 |    17686 |    13861 |    43883      0 |      170 |        0
151.07/151.19	c  150s |      10 |    18010 |    14161 |    43883      0 |      170 |        0
153.67/153.74	c  152s |      10 |    18361 |    14461 |    43883      0 |      170 |        0
156.47/156.53	c  155s |      10 |    18677 |    14761 |    43883      0 |      170 |        0
159.17/159.24	c  158s |      10 |    18882 |    14961 |    43883      0 |      170 |        0
161.78/161.86	c  160s |      10 |    19129 |    15161 |    43883      0 |      170 |        0
164.57/164.66	c  163s |      10 |    19365 |    15361 |    43883      0 |      170 |        0
166.67/166.76	c  165s |      10 |    19573 |    15561 |    43883      0 |      170 |        0
168.87/168.96	c  167s |      10 |    19924 |    15861 |    43883      0 |      170 |        0
171.07/171.14	c  170s |      10 |    20119 |    16061 |    43883      0 |      170 |        0
173.77/173.84	c  172s |      10 |    20458 |    16361 |    43883      0 |      170 |        0
176.56/176.63	c  175s |      10 |    20664 |    16561 |    43883      0 |      170 |        0
179.46/179.55	c  178s |      10 |    20985 |    16861 |    43883      0 |      170 |        0
182.57/182.64	c  181s |      10 |    21191 |    17061 |    48272      0 |      170 |        0
183.56/183.66	c  182s |      11 |    21291 |    17144 |    48272      0 |      170 |        0
186.36/186.43	c  185s |      11 |    21663 |    17344 |    48272      0 |      170 |        0
188.56/188.67	c  187s |      11 |    21882 |    17544 |    48272      0 |      170 |        0
190.96/191.05	c  190s |      11 |    22201 |    17844 |    48272      0 |      170 |        0
193.46/193.58	c  192s |      11 |    22556 |    18144 |    48272      0 |      170 |        0
195.96/196.08	c  195s |      11 |    22903 |    18444 |    48272      0 |      170 |        0
198.76/198.89	c  197s |      11 |    23234 |    18744 |    48272      0 |      170 |        0
201.37/201.44	c  200s |      11 |    23539 |    19044 |    48272      0 |      170 |        0
203.86/203.98	c  202s |      11 |    23920 |    19344 |    48272      0 |      170 |        0
206.66/206.70	c  205s |      11 |    24130 |    19544 |    48272      0 |      170 |        0
209.56/209.62	c  208s |      11 |    24381 |    19744 |    48272      0 |      170 |        0
212.16/212.30	c  211s |      11 |    24621 |    19944 |    48272      0 |      170 |        0
214.86/214.98	c  213s |      11 |    24868 |    20144 |    48272      0 |      170 |        0
217.77/217.83	c  216s |      11 |    25098 |    20344 |    48272      0 |      170 |        0
220.26/220.32	c  219s |      11 |    25389 |    20544 |    48272      0 |      170 |        0
223.66/223.77	c  222s |      11 |    25633 |    20744 |    48272      0 |      170 |        0
226.36/226.49	c  225s |      11 |    25852 |    20944 |    48272      0 |      170 |        0
229.26/229.31	c  228s |      11 |    26066 |    21144 |    48272      0 |      170 |        0
232.46/232.55	c  231s |      11 |    26305 |    21344 |    48272      0 |      170 |        0
234.66/234.78	c  233s |      11 |    26529 |    21544 |    48272      0 |      170 |        0
236.86/236.96	c  235s |      11 |    26616 |    21644 |    48272      0 |      170 |        0
239.86/239.98	c  238s |      11 |    26850 |    21844 |    48272      0 |      170 |        0
243.25/243.33	c  242s |      11 |    27047 |    22044 |    48272      0 |      170 |        0
245.26/245.36	c  244s |      11 |    27242 |    22244 |    48272      0 |      170 |        0
248.05/248.17	c  247s |      11 |    27478 |    22444 |    48272      0 |      170 |        0
251.05/251.19	c  250s |      11 |    27689 |    22644 |    48272      0 |      170 |        0
253.45/253.56	c  252s |      11 |    27884 |    22844 |    48272      0 |      170 |        0
256.05/256.16	c  255s |      11 |    28091 |    23044 |    48272      0 |      170 |        0
258.15/258.21	c  257s |      11 |    28291 |    23244 |    48272      0 |      170 |        0
260.76/260.89	c  259s |      11 |    28508 |    23444 |    48272      0 |      170 |        0
262.86/262.93	c  261s |      11 |    28710 |    23644 |    48272      0 |      170 |        0
265.65/265.74	c  264s |      11 |    28905 |    23844 |    48272      0 |      170 |        0
268.85/268.92	c  267s |      11 |    29236 |    24144 |    48272      0 |      170 |        0
271.55/271.67	c  270s |      11 |    29437 |    24344 |    48272      0 |      170 |        0
274.55/274.60	c  273s |      11 |    29660 |    24544 |    48272      0 |      170 |        0
276.55/276.67	c  275s |      11 |    29855 |    24744 |    48272      0 |      170 |        0
279.25/279.37	c  278s |      11 |    30112 |    24944 |    48272      0 |      170 |        0
281.56/281.63	c  280s |      11 |    30308 |    25144 |    48272      0 |      170 |        0
284.75/284.86	c  283s |      11 |    30612 |    25444 |    48272      0 |      170 |        0
287.95/288.02	c  286s |      11 |    30812 |    25644 |    48272      0 |      170 |        0
290.55/290.68	c  289s |      12 |    31013 |    25819 |    53100      0 |      170 |        0
294.05/294.12	c  293s |      12 |    31324 |    26019 |    53100      0 |      170 |        0
297.54/297.63	c  296s |      12 |    31543 |    26219 |    53100      0 |      170 |        0
301.54/301.64	c  300s |      12 |    31763 |    26419 |    53100      0 |      170 |        0
303.55/303.67	c  302s |      12 |    31888 |    26519 |    53100      0 |      170 |        0
305.64/305.75	c  304s |      12 |    32082 |    26719 |    53100      0 |      170 |        0
308.14/308.24	c  307s |      12 |    32373 |    27019 |    53100      0 |      170 |        0
310.25/310.37	c  309s |      12 |    32582 |    27219 |    53100      0 |      170 |        0
313.55/313.66	c  312s |      12 |    32841 |    27419 |    53100      0 |      170 |        0
315.94/316.05	c  315s |      12 |    33049 |    27619 |    53100      0 |      170 |        0
318.44/318.52	c  317s |      12 |    33241 |    27819 |    53100      0 |      170 |        0
320.64/320.79	c  319s |      12 |    33453 |    28019 |    53100      0 |      170 |        0
323.44/323.53	c  322s |      12 |    33738 |    28319 |    53100      0 |      170 |        0
325.74/325.83	c  324s |      12 |    34088 |    28619 |    53100      0 |      170 |        0
327.84/327.97	c  326s |      12 |    34312 |    28819 |    53100      0 |      170 |        0
330.64/330.75	c  329s |      12 |    34657 |    29119 |    53100      0 |      170 |        0
333.04/333.13	c  332s |      12 |    35030 |    29419 |    53100      0 |      170 |        0
335.74/335.85	c  334s |      12 |    35408 |    29719 |    53100      0 |      170 |        0
338.34/338.49	c  337s |      12 |    35707 |    30019 |    53100      0 |      170 |        0
340.44/340.55	c  339s |      12 |    35970 |    30219 |    53100      0 |      170 |        0
343.04/343.11	c  342s |      12 |    36260 |    30519 |    53100      0 |      170 |        0
345.64/345.79	c  344s |      12 |    36588 |    30819 |    53100      0 |      170 |        0
348.44/348.54	c  347s |      12 |    36905 |    31119 |    53100      0 |      170 |        0
350.95/351.01	c  349s |      12 |    37237 |    31419 |    53100      0 |      170 |        0
353.05/353.10	c  352s |      12 |    37437 |    31619 |    53100      0 |      170 |        0
355.25/355.38	c  354s |      12 |    37654 |    31819 |    53100      0 |      170 |        0
357.45/357.57	c  356s |      12 |    37864 |    32019 |    53100      0 |      170 |        0
359.84/359.95	c  358s |      12 |    38191 |    32319 |    53100      0 |      170 |        0
361.94/362.02	c  360s |      12 |    38389 |    32519 |    53100      0 |      170 |        0
364.64/364.75	c  363s |      12 |    38603 |    32719 |    53100      0 |      170 |        0
366.84/366.98	c  365s |      12 |    38831 |    32919 |    53100      0 |      170 |        0
369.03/369.19	c  368s |      12 |    39031 |    33119 |    53100      0 |      170 |        0
371.84/371.95	c  370s |      12 |    39356 |    33419 |    53100      0 |      170 |        0
374.13/374.25	c  373s |      12 |    39589 |    33619 |    53100      0 |      170 |        0
377.13/377.22	c  376s |      12 |    39774 |    33819 |    53100      0 |      170 |        0
379.33/379.49	c  378s |      12 |    40078 |    34119 |    53100      0 |      170 |        0
381.64/381.73	c  380s |      12 |    40399 |    34419 |    53100      0 |      170 |        0
384.73/384.80	c  383s |      12 |    40721 |    34719 |    53100      0 |      170 |        0
387.14/387.29	c  386s |      12 |    40915 |    34919 |    53100      0 |      170 |        0
389.83/389.94	c  388s |      12 |    41133 |    35119 |    53100      0 |      170 |        0
392.53/392.67	c  391s |      12 |    41459 |    35419 |    53100      0 |      170 |        0
395.23/395.39	c  394s |      12 |    41778 |    35719 |    53100      0 |      170 |        0
398.53/398.61	c  397s |      12 |    41991 |    35919 |    53100      0 |      170 |        0
400.73/400.85	c  399s |      12 |    42213 |    36119 |    53100      0 |      170 |        0
403.53/403.64	c  402s |      12 |    42436 |    36319 |    53100      0 |      170 |        0
406.33/406.42	c  405s |      12 |    42742 |    36619 |    53100      0 |      170 |        0
408.32/408.48	c  407s |      12 |    42978 |    36819 |    53100      0 |      170 |        0
411.52/411.67	c  410s |      12 |    43184 |    37019 |    53100      0 |      170 |        0
413.92/414.08	c  413s |      12 |    43400 |    37219 |    53100      0 |      170 |        0
416.42/416.53	c  415s |      12 |    43647 |    37419 |    53100      0 |      170 |        0
418.92/419.04	c  418s |      12 |    43860 |    37619 |    53100      0 |      170 |        0
421.52/421.66	c  420s |      12 |    44160 |    37919 |    53100      0 |      170 |        0
423.53/423.66	c  422s |      12 |    44379 |    38119 |    53100      0 |      170 |        0
426.42/426.51	c  425s |      12 |    44587 |    38319 |    53100      0 |      170 |        0
429.03/429.19	c  428s |      12 |    44876 |    38619 |    58411      0 |      170 |        0
431.23/431.35	c  430s |      13 |    45131 |    38832 |    58411      0 |      170 |        0
433.52/433.61	c  432s |      13 |    45352 |    38932 |    58411      0 |      170 |        0
436.52/436.70	c  435s |      13 |    45549 |    39132 |    58411      0 |      170 |        0
439.22/439.37	c  438s |      13 |    45743 |    39332 |    58411      0 |      170 |        0
442.52/442.64	c  441s |      13 |    46044 |    39632 |    58411      0 |      170 |        0
445.03/445.16	c  444s |      13 |    46239 |    39832 |    58411      0 |      170 |        0
447.03/447.16	c  446s |      13 |    46367 |    39932 |    58411      0 |      170 |        0
449.83/449.91	c  448s |      13 |    46480 |    40032 |    58411      0 |      170 |        0
452.43/452.53	c  451s |      13 |    46582 |    40132 |    58411      0 |      170 |        0
454.62/454.79	c  453s |      13 |    46692 |    40232 |    58411      0 |      170 |        0
456.92/457.10	c  456s |      13 |    46789 |    40332 |    58411      0 |      170 |        0
459.73/459.83	c  458s |      13 |    46903 |    40432 |    58411      0 |      170 |        0
463.62/463.75	c  462s |      13 |    47128 |    40632 |    58411      0 |      170 |        0
466.82/466.98	c  465s |      13 |    47356 |    40832 |    58411      0 |      170 |        0
469.73/469.81	c  468s |      13 |    47556 |    41032 |    58411      0 |      170 |        0
472.22/472.33	c  471s |      13 |    47749 |    41232 |    58411      0 |      170 |        0
475.72/475.84	c  474s |      13 |    48063 |    41532 |    58411      0 |      170 |        0
479.42/479.52	c  478s |      13 |    48250 |    41732 |    58411      0 |      170 |        0
481.92/482.03	c  481s |      13 |    48453 |    41932 |    58411      0 |      170 |        0
485.52/485.69	c  484s |      13 |    48713 |    42132 |    58411      0 |      170 |        0
488.02/488.19	c  487s |      13 |    48805 |    42232 |    58411      0 |      170 |        0
492.52/492.68	c  491s |      13 |    49001 |    42432 |    58411      0 |      170 |        0
494.72/494.89	c  493s |      13 |    49113 |    42532 |    58411      0 |      170 |        0
497.72/497.86	c  496s |      13 |    49366 |    42732 |    58411      0 |      170 |        0
501.02/501.18	c  500s |      13 |    49609 |    42932 |    58411      0 |      170 |        0
503.62/503.79	c  502s |      13 |    49803 |    43132 |    58411      0 |      170 |        0
506.82/506.93	c  505s |      13 |    50018 |    43332 |    58411      0 |      170 |        0
509.51/509.68	c  508s |      13 |    50303 |    43532 |    58411      0 |      170 |        0
512.52/512.65	c  511s |      13 |    50514 |    43732 |    58411      0 |      170 |        0
515.51/515.65	c  514s |      13 |    50720 |    43932 |    58411      0 |      170 |        0
517.71/517.88	c  516s |      13 |    50925 |    44132 |    58411      0 |      170 |        0
519.81/519.94	c  518s |      13 |    51110 |    44332 |    58411      0 |      170 |        0
521.81/521.99	c  520s |      13 |    51443 |    44532 |    58411      0 |      170 |        0
524.51/524.68	c  523s |      13 |    51637 |    44732 |    58411      0 |      170 |        0
527.41/527.56	c  526s |      13 |    51942 |    45032 |    58411      0 |      170 |        0
529.61/529.77	c  528s |      13 |    52126 |    45232 |    58411      0 |      170 |        0
532.81/532.90	c  531s |      13 |    52440 |    45532 |    58411      0 |      170 |        0
535.62/535.79	c  534s |      13 |    52733 |    45832 |    58411      0 |      170 |        0
538.21/538.30	c  537s |      13 |    52932 |    46032 |    58411      0 |      170 |        0
541.22/541.35	c  540s |      13 |    53229 |    46332 |    58411      0 |      170 |        0
543.42/543.51	c  542s |      13 |    53429 |    46532 |    58411      0 |      170 |        0
545.41/545.51	c  544s |      13 |    53629 |    46732 |    58411      0 |      170 |        0
547.91/548.09	c  547s |      13 |    53834 |    46932 |    58411      0 |      170 |        0
550.11/550.24	c  549s |      13 |    54037 |    47132 |    58411      0 |      170 |        0
552.51/552.66	c  551s |      13 |    54230 |    47332 |    58411      0 |      170 |        0
554.91/555.03	c  554s |      13 |    54462 |    47532 |    58411      0 |      170 |        0
557.11/557.26	c  556s |      13 |    54582 |    47632 |    58411      0 |      170 |        0
559.31/559.47	c  558s |      13 |    54673 |    47732 |    58411      0 |      170 |        0
561.71/561.87	c  560s |      13 |    54789 |    47832 |    58411      0 |      170 |        0
564.81/564.98	c  563s |      13 |    54992 |    48032 |    58411      0 |      170 |        0
566.90/567.01	c  565s |      13 |    55206 |    48232 |    58411      0 |      170 |        0
569.30/569.48	c  568s |      13 |    55401 |    48432 |    58411      0 |      170 |        0
571.50/571.66	c  570s |      13 |    55555 |    48532 |    58411      0 |      170 |        0
574.21/574.39	c  573s |      13 |    55741 |    48732 |    58411      0 |      170 |        0
577.80/577.97	c  576s |      13 |    55960 |    48932 |    58411      0 |      170 |        0
580.71/580.84	c  579s |      13 |    56194 |    49132 |    58411      0 |      170 |        0
584.40/584.50	c  583s |      13 |    56401 |    49332 |    58411      0 |      170 |        0
586.90/587.04	c  586s |      13 |    56587 |    49532 |    58411      0 |      170 |        0
590.30/590.41	c  589s |      13 |    56886 |    49832 |    58411      0 |      170 |        0
593.30/593.47	c  592s |      13 |    57079 |    50032 |    58411      0 |      170 |        0
595.60/595.74	c  594s |      13 |    57317 |    50232 |    58411      0 |      170 |        0
598.10/598.27	c  597s |      13 |    57531 |    50432 |    58411      0 |      170 |        0
600.20/600.37	c  599s |      13 |    57748 |    50632 |    58411      0 |      170 |        0
603.20/603.39	c  602s |      13 |    58062 |    50932 |    58411      0 |      170 |        0
606.40/606.52	c  605s |      13 |    58368 |    51232 |    58411      0 |      170 |        0
609.60/609.70	c  608s |      13 |    58689 |    51532 |    58411      0 |      170 |        0
612.50/612.68	c  611s |      13 |    59001 |    51832 |    58411      0 |      170 |        0
614.70/614.86	c  613s |      13 |    59210 |    52032 |    58411      0 |      170 |        0
616.90/617.07	c  616s |      13 |    59418 |    52232 |    58411      0 |      170 |        0
619.20/619.31	c  618s |      13 |    59629 |    52432 |    58411      0 |      170 |        0
622.30/622.40	c  621s |      13 |    59962 |    52732 |    58411      0 |      170 |        0
624.50/624.64	c  623s |      13 |    60171 |    52932 |    58411      0 |      170 |        0
627.39/627.52	c  626s |      13 |    60375 |    53132 |    58411      0 |      170 |        0
629.69/629.88	c  628s |      13 |    60582 |    53332 |    58411      0 |      170 |        0
632.40/632.52	c  631s |      13 |    60807 |    53532 |    58411      0 |      170 |        0
635.29/635.40	c  634s |      13 |    61236 |    53832 |    58411      0 |      170 |        0
638.00/638.18	c  637s |      13 |    61440 |    54032 |    58411      0 |      170 |        0
640.79/640.98	c  639s |      13 |    61841 |    54232 |    58411      0 |      170 |        0
642.89/643.09	c  642s |      13 |    62045 |    54432 |    58411      0 |      170 |        0
645.39/645.56	c  644s |      13 |    62265 |    54632 |    58411      0 |      170 |        0
648.49/648.70	c  647s |      13 |    62495 |    54832 |    58411      0 |      170 |        0
651.79/651.93	c  650s |      13 |    62701 |    55032 |    58411      0 |      170 |        0
654.29/654.43	c  653s |      13 |    62902 |    55232 |    58411      0 |      170 |        0
656.60/656.77	c  655s |      13 |    63111 |    55432 |    58411      0 |      170 |        0
658.59/658.79	c  657s |      13 |    63324 |    55632 |    58411      0 |      170 |        0
661.49/661.62	c  660s |      13 |    63656 |    55832 |    58411      0 |      170 |        0
664.49/664.69	c  663s |      13 |    63854 |    56032 |    58411      0 |      170 |        0
667.39/667.54	c  666s |      13 |    64095 |    56232 |    58411      0 |      170 |        0
669.49/669.62	c  668s |      13 |    64292 |    56432 |    58411      0 |      170 |        0
672.18/672.37	c  671s |      13 |    64522 |    56632 |    58411      0 |      170 |        0
674.29/674.44	c  673s |      13 |    64721 |    56832 |    58411      0 |      170 |        0
676.49/676.65	c  675s |      13 |    64920 |    57032 |    58411      0 |      170 |        0
678.98/679.16	c  678s |      13 |    65150 |    57232 |    58411      0 |      170 |        0
681.18/681.30	c  680s |      13 |    65365 |    57432 |    58411      0 |      170 |        0
683.88/684.09	c  683s |      13 |    65580 |    57632 |    58411      0 |      170 |        0
687.28/687.46	c  686s |      13 |    65900 |    57832 |    58411      0 |      170 |        0
690.18/690.38	c  689s |      13 |    66095 |    58032 |    64253      0 |      170 |        0
692.58/692.73	c  691s |      13 |    66298 |    58232 |    64253      0 |      170 |        0
694.10/694.26	c  693s |      14 |    66409 |    58352 |    64253      0 |      170 |        0
696.39/696.53	c  695s |      14 |    66598 |    58452 |    64253      0 |      170 |        0
698.59/698.73	c  697s |      14 |    66823 |    58652 |    64253      0 |      170 |        0
700.70/700.86	c  699s |      14 |    67050 |    58852 |    64253      0 |      170 |        0
702.99/703.11	c  702s |      14 |    67256 |    59052 |    64253      0 |      170 |        0
705.79/705.95	c  704s |      14 |    67590 |    59352 |    64253      0 |      170 |        0
708.79/708.93	c  707s |      14 |    67857 |    59552 |    64253      0 |      170 |        0
710.99/711.11	c  710s |      14 |    68052 |    59752 |    64253      0 |      170 |        0
713.59/713.75	c  712s |      14 |    68274 |    59952 |    64253      0 |      170 |        0
716.29/716.43	c  715s |      14 |    68528 |    60152 |    64253      0 |      170 |        0
718.99/719.19	c  718s |      14 |    68850 |    60452 |    64253      0 |      170 |        0
721.59/721.71	c  720s |      14 |    69129 |    60652 |    64253      0 |      170 |        0
723.88/724.00	c  722s |      14 |    69362 |    60852 |    64253      0 |      170 |        0
726.48/726.66	c  725s |      14 |    69592 |    61052 |    64253      0 |      170 |        0
729.19/729.31	c  728s |      14 |    69814 |    61252 |    64253      0 |      170 |        0
731.39/731.58	c  730s |      14 |    70011 |    61452 |    64253      0 |      170 |        0
734.79/734.94	c  733s |      14 |    70249 |    61652 |    64253      0 |      170 |        0
736.78/736.99	c  735s |      14 |    70503 |    61852 |    64253      0 |      170 |        0
739.68/739.82	c  738s |      14 |    70725 |    62052 |    64253      0 |      170 |        0
742.68/742.83	c  741s |      14 |    70978 |    62252 |    64253      0 |      170 |        0
745.58/745.72	c  744s |      14 |    71184 |    62452 |    64253      0 |      170 |        0
748.58/748.72	c  747s |      14 |    71385 |    62652 |    64253      0 |      170 |        0
751.38/751.51	c  750s |      14 |    71636 |    62852 |    64253      0 |      170 |        0
755.69/755.82	c  754s |      14 |    71882 |    63052 |    64253      0 |      170 |        0
758.48/758.68	c  757s |      14 |    71981 |    63152 |    64253      0 |      170 |        0
761.78/761.98	c  760s |      14 |    72251 |    63352 |    64253      0 |      170 |        0
764.88/765.04	c  764s |      14 |    72450 |    63552 |    64253      0 |      170 |        0
767.28/767.41	c  766s |      14 |    72663 |    63752 |    64253      0 |      170 |        0
770.28/770.42	c  769s |      14 |    72875 |    63952 |    64253      0 |      170 |        0
772.88/773.08	c  772s |      14 |    73066 |    64152 |    64253      0 |      170 |        0
775.08/775.27	c  774s |      14 |    73299 |    64352 |    64253      0 |      170 |        0
778.37/778.58	c  777s |      14 |    73605 |    64552 |    64253      0 |      170 |        0
780.77/780.95	c  779s |      14 |    73714 |    64652 |    64253      0 |      170 |        0
784.37/784.51	c  783s |      14 |    73913 |    64852 |    64253      0 |      170 |        0
786.77/786.94	c  785s |      14 |    74060 |    64952 |    64253      0 |      170 |        0
788.77/788.97	c  787s |      14 |    74174 |    65052 |    64253      0 |      170 |        0
792.57/792.75	c  791s |      14 |    74391 |    65252 |    64253      0 |      170 |        0
796.47/796.64	c  795s |      14 |    74697 |    65452 |    64253      0 |      170 |        0
800.27/800.40	c  799s |      14 |    74931 |    65652 |    64253      0 |      170 |        0
803.27/803.43	c  802s |      14 |    75114 |    65852 |    64253      0 |      170 |        0
805.47/805.68	c  804s |      14 |    75337 |    66052 |    64253      0 |      170 |        0
807.57/807.70	c  806s |      14 |    75443 |    66152 |    64253      0 |      170 |        0
809.97/810.13	c  809s |      14 |    75638 |    66352 |    64253      0 |      170 |        0
812.67/812.88	c  811s |      14 |    75987 |    66552 |    64253      0 |      170 |        0
815.27/815.42	c  814s |      14 |    76098 |    66652 |    64253      0 |      170 |        0
818.67/818.84	c  817s |      14 |    76306 |    66852 |    64253      0 |      170 |        0
820.77/820.96	c  819s |      14 |    76437 |    66952 |    64253      0 |      170 |        0
823.07/823.24	c  822s |      14 |    76536 |    67052 |    64253      0 |      170 |        0
826.57/826.72	c  825s |      14 |    76730 |    67252 |    64253      0 |      170 |        0
828.77/828.99	c  827s |      14 |    76865 |    67352 |    64253      0 |      170 |        0
831.27/831.43	c  830s |      14 |    76976 |    67452 |    64253      0 |      170 |        0
833.77/833.97	c  832s |      14 |    77075 |    67552 |    64253      0 |      170 |        0
838.27/838.42	c  837s |      14 |    77295 |    67752 |    64253      0 |      170 |        0
840.47/840.60	c  839s |      14 |    77435 |    67852 |    64253      0 |      170 |        0
842.97/843.15	c  842s |      14 |    77529 |    67952 |    64253      0 |      170 |        0
846.17/846.32	c  845s |      14 |    77757 |    68152 |    64253      0 |      170 |        0
848.37/848.57	c  847s |      14 |    77868 |    68252 |    64253      0 |      170 |        0
850.76/850.94	c  849s |      14 |    78067 |    68452 |    64253      0 |      170 |        0
853.47/853.68	c  852s |      14 |    78286 |    68652 |    64253      0 |      170 |        0
856.16/856.33	c  855s |      14 |    78375 |    68752 |    64253      0 |      170 |        0
859.36/859.51	c  858s |      14 |    78591 |    68952 |    64253      0 |      170 |        0
861.66/861.87	c  860s |      14 |    78797 |    69152 |    64253      0 |      170 |        0
865.36/865.54	c  864s |      14 |    78998 |    69352 |    64253      0 |      170 |        0
867.66/867.81	c  866s |      14 |    79120 |    69452 |    64253      0 |      170 |        0
871.17/871.37	c  870s |      14 |    79336 |    69652 |    64253      0 |      170 |        0
875.16/875.30	c  874s |      14 |    79556 |    69852 |    64253      0 |      170 |        0
877.96/878.18	c  877s |      14 |    79926 |    70052 |    64253      0 |      170 |        0
880.46/880.68	c  879s |      14 |    80042 |    70152 |    64253      0 |      170 |        0
883.36/883.51	c  882s |      14 |    80153 |    70252 |    64253      0 |      170 |        0
886.56/886.76	c  885s |      14 |    80339 |    70452 |    64253      0 |      170 |        0
889.16/889.32	c  888s |      14 |    80544 |    70652 |    64253      0 |      170 |        0
891.46/891.69	c  890s |      14 |    80765 |    70852 |    64253      0 |      170 |        0
893.56/893.70	c  892s |      14 |    80875 |    70952 |    64253      0 |      170 |        0
897.16/897.34	c  896s |      14 |    81110 |    71152 |    64253      0 |      170 |        0
899.86/900.03	c  899s |      14 |    81219 |    71252 |    64253      0 |      170 |        0
902.15/902.35	c  901s |      14 |    81322 |    71352 |    64253      0 |      170 |        0
905.05/905.25	c  904s |      14 |    81445 |    71452 |    64253      0 |      170 |        0
907.25/907.48	c  906s |      14 |    81549 |    71552 |    64253      0 |      170 |        0
909.45/909.64	c  908s |      14 |    81654 |    71652 |    64253      0 |      170 |        0
913.45/913.61	c  912s |      14 |    81854 |    71852 |    64253      0 |      170 |        0
915.75/915.91	c  914s |      14 |    82086 |    72052 |    64253      0 |      170 |        0
917.75/917.93	c  916s |      14 |    82317 |    72252 |    64253      0 |      170 |        0
924.35/924.50	c  923s |      14 |    82524 |    72452 |    64253      1 |      170 |        0
926.45/926.60	c  925s |      14 |    82632 |    72552 |    64253      1 |      170 |        0
929.05/929.29	c  928s |      14 |    82886 |    72752 |    64253      1 |      170 |        0
932.35/932.50	c  931s |      14 |    83096 |    72952 |    64253      1 |      170 |        0
935.55/935.77	c  934s |      14 |    83318 |    73152 |    64253      1 |      170 |        0
938.05/938.20	c  937s |      14 |    83525 |    73352 |    64253      1 |      170 |        0
940.94/941.18	c  940s |      14 |    83834 |    73652 |    64253      1 |      170 |        0
943.75/943.92	c  942s |      14 |    84044 |    73852 |    64253      1 |      170 |        0
945.95/946.19	c  945s |      14 |    84232 |    74052 |    64253      1 |      170 |        0
949.15/949.31	c  948s |      14 |    84536 |    74352 |    64253      1 |      170 |        0
951.54/951.75	c  950s |      14 |    84744 |    74552 |    64253      1 |      170 |        0
954.04/954.28	c  953s |      14 |    85104 |    74852 |    64253      1 |      170 |        0
956.74/956.97	c  955s |      14 |    85309 |    75052 |    64253      1 |      170 |        0
958.84/959.03	c  958s |      14 |    85501 |    75252 |    64253      1 |      170 |        0
960.94/961.15	c  960s |      14 |    85719 |    75452 |    64253      1 |      170 |        0
963.74/963.93	c  962s |      14 |    85926 |    75652 |    64253      1 |      170 |        0
966.64/966.83	c  965s |      14 |    86268 |    75952 |    64253      1 |      170 |        0
969.44/969.63	c  968s |      14 |    86511 |    76152 |    64253      1 |      170 |        0
971.84/972.06	c  971s |      14 |    86608 |    76252 |    64253      1 |      170 |        0
974.55/974.71	c  973s |      14 |    86739 |    76352 |    64253      1 |      170 |        0
977.24/977.47	c  976s |      14 |    86847 |    76452 |    64253      1 |      170 |        0
980.05/980.27	c  979s |      14 |    87076 |    76652 |    64253      1 |      170 |        0
983.84/984.01	c  982s |      14 |    87295 |    76852 |    64253      1 |      170 |        0
986.24/986.45	c  985s |      14 |    87397 |    76952 |    64253      1 |      170 |        0
988.64/988.89	c  987s |      14 |    87515 |    77052 |    64253      1 |      170 |        0
991.04/991.29	c  990s |      14 |    87609 |    77152 |    64253      1 |      170 |        0
993.34/993.51	c  992s |      14 |    87713 |    77252 |    64253      1 |      170 |        0
995.44/995.64	c  994s |      14 |    87837 |    77352 |    64253      1 |      170 |        0
998.24/998.49	c  997s |      14 |    88036 |    77552 |    64253      1 |      170 |        0
1001.64/1001.82	c 1000s |      14 |    88240 |    77752 |    64253      1 |      170 |        0
1004.44/1004.64	c 1003s |      14 |    88438 |    77952 |    64253      1 |      170 |        0
1006.54/1006.76	c 1005s |      14 |    88635 |    78152 |    64253      1 |      170 |        0
1008.94/1009.14	c 1008s |      14 |    88868 |    78352 |    64253      1 |      170 |        0
1013.74/1013.90	c 1012s |      14 |    89297 |    78552 |    64253      1 |      170 |        0
1017.04/1017.22	c 1016s |      14 |    89447 |    78652 |    64253      1 |      170 |        0
1020.64/1020.83	c 1019s |      14 |    89603 |    78752 |    64253      1 |      170 |        0
1024.24/1024.46	c 1023s |      14 |    89765 |    78852 |    64253      1 |      170 |        0
1028.13/1028.33	c 1027s |      14 |    89923 |    78952 |    64253      1 |      170 |        0
1032.03/1032.23	c 1031s |      14 |    90087 |    79052 |    64253      1 |      170 |        0
1035.73/1035.98	c 1034s |      14 |    90218 |    79152 |    64253      1 |      170 |        0
1039.83/1040.03	c 1039s |      14 |    90370 |    79252 |    64253      1 |      170 |        0
1044.14/1044.30	c 1043s |      14 |    90529 |    79352 |    64253      1 |      170 |        0
1047.23/1047.40	c 1046s |      14 |    90661 |    79452 |    64253      1 |      170 |        0
1050.53/1050.75	c 1049s |      14 |    90758 |    79552 |    64253      1 |      170 |        0
1054.43/1054.62	c 1053s |      14 |    90881 |    79652 |    64253      1 |      170 |        0
1057.03/1057.22	c 1056s |      14 |    90991 |    79752 |    64253      1 |      170 |        0
1059.42/1059.61	c 1058s |      14 |    91046 |    79852 |    64253      1 |      170 |        0
1062.73/1062.92	c 1061s |      14 |    91153 |    79952 |    64253      1 |      170 |        0
1066.13/1066.30	c 1065s |      14 |    91236 |    80052 |    64253      1 |      170 |        0
1070.83/1071.07	c 1070s |      14 |    91350 |    80152 |    64253      1 |      170 |        0
1075.93/1076.11	c 1075s |      14 |    91434 |    80252 |    64253      1 |      170 |        0
1080.73/1080.98	c 1079s |      14 |    91544 |    80352 |    64253      1 |      170 |        0
1085.53/1085.78	c 1084s |      14 |    91629 |    80452 |    64253      1 |      170 |        0
1089.72/1089.97	c 1088s |      14 |    91740 |    80552 |    64253      1 |      170 |        0
1094.22/1094.48	c 1093s |      14 |    91823 |    80652 |    64253      1 |      170 |        0
1097.63/1097.85	c 1096s |      14 |    91950 |    80752 |    64253      1 |      170 |        0
1101.12/1101.38	c 1100s |      14 |    92272 |    80952 |    64253      1 |      170 |        0
1103.23/1103.45	c 1102s |      14 |    92391 |    81052 |    64253      1 |      170 |        0
1106.32/1106.51	c 1105s |      14 |    92604 |    81252 |    64253      1 |      170 |        0
1109.02/1109.25	c 1108s |      14 |    92802 |    81452 |    64253      1 |      170 |        0
1113.13/1113.33	c 1112s |      14 |    93109 |    81652 |    64253      1 |      170 |        0
1116.52/1116.73	c 1115s |      14 |    93339 |    81852 |    64253      1 |      170 |        0
1118.62/1118.89	c 1117s |      14 |    93444 |    81952 |    64253      1 |      170 |        0
1121.02/1121.24	c 1120s |      14 |    93546 |    82052 |    64253      1 |      170 |        0
1124.13/1124.39	c 1123s |      14 |    93756 |    82252 |    64253      1 |      170 |        0
1126.62/1126.80	c 1125s |      14 |    93876 |    82352 |    64253      1 |      170 |        0
1130.12/1130.31	c 1129s |      14 |    94118 |    82552 |    64253      1 |      170 |        0
1132.52/1132.71	c 1131s |      14 |    94309 |    82752 |    64253      1 |      170 |        0
1134.52/1134.78	c 1133s |      14 |    94519 |    82952 |    64253      1 |      170 |        0
1138.01/1138.25	c 1137s |      14 |    94738 |    83152 |    64253      1 |      170 |        0
1141.32/1141.53	c 1140s |      14 |    94972 |    83352 |    64253      1 |      170 |        0
1144.02/1144.27	c 1143s |      14 |    95168 |    83552 |    64253      1 |      170 |        0
1146.82/1147.06	c 1146s |      14 |    95312 |    83652 |    64253      1 |      170 |        0
1149.02/1149.28	c 1148s |      14 |    95421 |    83752 |    64253      1 |      170 |        0
1151.22/1151.40	c 1150s |      14 |    95522 |    83852 |    64253      1 |      170 |        0
1154.82/1155.08	c 1154s |      14 |    95745 |    84052 |    64253      1 |      170 |        0
1157.91/1158.12	c 1157s |      14 |    95978 |    84252 |    64253      1 |      170 |        0
1160.02/1160.22	c 1159s |      14 |    96188 |    84452 |    64253      1 |      170 |        0
1163.82/1164.03	c 1163s |      14 |    96406 |    84652 |    64253      1 |      170 |        0
1166.42/1166.60	c 1165s |      14 |    96508 |    84752 |    64253      1 |      170 |        0
1168.71/1168.97	c 1167s |      14 |    96611 |    84852 |    64253      1 |      170 |        0
1170.81/1171.09	c 1170s |      14 |    96714 |    84952 |    64253      1 |      170 |        0
1173.41/1173.65	c 1172s |      14 |    96829 |    85052 |    64253      1 |      170 |        0
1177.51/1177.70	c 1176s |      14 |    97032 |    85252 |    64253      1 |      170 |        0
1180.01/1180.22	c 1179s |      14 |    97142 |    85352 |    64253      1 |      170 |        0
1182.42/1182.67	c 1181s |      14 |    97274 |    85452 |    64253      1 |      170 |        0
1184.41/1184.70	c 1183s |      14 |    97376 |    85552 |    64253      1 |      170 |        0
1186.61/1186.85	c 1185s |      14 |    97492 |    85652 |    64253      1 |      170 |        0
1189.91/1190.10	c 1189s |      14 |    97692 |    85852 |    64253      1 |      170 |        0
1193.51/1193.76	c 1192s |      14 |    97813 |    85952 |    64253      1 |      170 |        0
1196.81/1197.01	c 1195s |      14 |    98008 |    86152 |    64253      1 |      170 |        0
1202.61/1202.87	c 1201s |      14 |    98216 |    86352 |    64253      1 |      170 |        0
1206.00/1206.25	c 1205s |      14 |    98314 |    86452 |    64253      1 |      170 |        0
1209.82/1210.02	c 1208s |      14 |    98431 |    86552 |    64253      1 |      170 |        0
1212.40/1212.68	c 1211s |      14 |    98530 |    86652 |    64253      1 |      170 |        0
1215.10/1215.38	c 1214s |      14 |    98637 |    86752 |    64253      1 |      170 |        0
1217.70/1217.94	c 1216s |      14 |    98744 |    86852 |    64253      1 |      170 |        0
1220.60/1220.84	c 1219s |      14 |    98857 |    86952 |    64253      1 |      170 |        0
1222.80/1223.09	c 1222s |      14 |    98999 |    87052 |    70679      1 |      170 |        0
1226.40/1226.67	c 1225s |      14 |    99100 |    87152 |    70679      1 |      170 |        0
1229.80/1230.07	c 1229s |      14 |    99200 |    87252 |    70679      1 |      170 |        0
1233.19/1233.47	c 1232s |      14 |    99317 |    87352 |    70679      1 |      170 |        0
1235.90/1236.13	c 1235s |      14 |    99437 |    87452 |    70679      1 |      170 |        0
1238.00/1238.29	c 1237s |      14 |    99543 |    87552 |    70679      1 |      170 |        0
1239.09/1239.33	c 1238s |      15 |    99613 |    87632 |    70679      1 |      170 |        0
1246.69/1246.93	c 1245s |      15 |   101088 |    87732 |    70679      1 |      170 |        0
1249.29/1249.55	c 1248s |      15 |   101302 |    87932 |    70679      1 |      170 |        0
1252.19/1252.49	c 1251s |      15 |   101516 |    88132 |    70679      1 |      170 |        0
1255.48/1255.75	c 1254s |      15 |   101732 |    88332 |    70679      1 |      170 |        0
1257.58/1257.87	c 1256s |      15 |   101933 |    88532 |    70679      1 |      170 |        0
1259.79/1260.02	c 1258s |      15 |   102528 |    89132 |    70679      1 |      170 |        0
1261.98/1262.22	c 1261s |      15 |   103133 |    89732 |    70679      1 |      170 |        0
1264.39/1264.64	c 1263s |      15 |   103724 |    90332 |    70679      1 |      170 |        0
1266.69/1266.96	c 1265s |      15 |   104227 |    90832 |    70679      1 |      170 |        0
1269.08/1269.33	c 1268s |      15 |   104726 |    91332 |    70679      1 |      170 |        0
1271.58/1271.83	c 1270s |      15 |   105223 |    91832 |    70679      1 |      170 |        0
1273.69/1273.93	c 1272s |      15 |   105617 |    92232 |    70679      1 |      170 |        0
1275.89/1276.16	c 1275s |      15 |   106023 |    92632 |    70679      1 |      170 |        0
1278.19/1278.44	c 1277s |      15 |   106420 |    93032 |    70679      1 |      170 |        0
1280.58/1280.81	c 1279s |      15 |   106812 |    93432 |    70679      1 |      170 |        0
1283.08/1283.33	c 1282s |      15 |   107218 |    93832 |    70679      1 |      170 |        0
1285.69/1285.95	c 1284s |      15 |   107612 |    94232 |    70679      1 |      170 |        0
1287.68/1287.96	c 1286s |      15 |   107912 |    94532 |    70679      1 |      170 |        0
1289.78/1290.05	c 1289s |      15 |   108210 |    94832 |    70679      1 |      170 |        0
1291.98/1292.21	c 1291s |      15 |   108508 |    95132 |    70679      1 |      170 |        0
1294.28/1294.50	c 1293s |      15 |   108805 |    95432 |    70679      1 |      170 |        0
1296.48/1296.79	c 1295s |      15 |   109080 |    95632 |    70679      1 |      170 |        0
1299.48/1299.78	c 1298s |      15 |   109309 |    95832 |    70679      1 |      170 |        0
1301.97/1302.27	c 1301s |      15 |   109703 |    96232 |    70679      1 |      170 |        0
1304.17/1304.49	c 1303s |      15 |   109991 |    96532 |    70679      1 |      170 |        0
1306.69/1306.96	c 1305s |      15 |   110287 |    96832 |    70679      1 |      170 |        0
1309.48/1309.79	c 1308s |      15 |   110586 |    97132 |    70679      1 |      170 |        0
1311.58/1311.82	c 1310s |      15 |   110782 |    97332 |    70679      1 |      170 |        0
1313.67/1313.90	c 1312s |      15 |   110980 |    97532 |    70679      1 |      170 |        0
1316.77/1317.05	c 1316s |      15 |   111318 |    97832 |    70679      1 |      170 |        0
1319.07/1319.33	c 1318s |      15 |   111546 |    98032 |    70679      1 |      170 |        0
1322.17/1322.47	c 1321s |      15 |   111769 |    98232 |    70679      1 |      170 |        0
1324.87/1325.14	c 1324s |      15 |   111981 |    98432 |    70679      1 |      170 |        0
1326.87/1327.16	c 1326s |      15 |   112275 |    98732 |    70679      1 |      170 |        0
1329.26/1329.57	c 1328s |      15 |   112770 |    99232 |    70679      1 |      170 |        0
1331.66/1331.92	c 1330s |      15 |   113273 |    99732 |    70679      1 |      170 |        0
1333.66/1333.93	c 1332s |      15 |   113673 |   100132 |    70679      1 |      170 |        0
1335.76/1336.06	c 1335s |      15 |   114065 |   100532 |    70679      1 |      170 |        0
1337.96/1338.24	c 1337s |      15 |   114469 |   100932 |    70679      1 |      170 |        0
1340.26/1340.59	c 1339s |      15 |   114866 |   101332 |    70679      1 |      170 |        0
1342.66/1342.96	c 1341s |      15 |   115262 |   101732 |    70679      1 |      170 |        0
1345.26/1345.50	c 1344s |      15 |   115662 |   102132 |    70679      1 |      170 |        0
1347.86/1348.18	c 1347s |      15 |   116060 |   102532 |    70679      1 |      170 |        0
1349.95/1350.24	c 1349s |      15 |   116360 |   102832 |    70679      1 |      170 |        0
1352.16/1352.41	c 1351s |      15 |   116662 |   103132 |    70679      1 |      170 |        0
1354.16/1354.47	c 1353s |      15 |   116958 |   103432 |    70679      1 |      170 |        0
1356.26/1356.60	c 1355s |      15 |   117257 |   103732 |    70679      1 |      170 |        0
1358.45/1358.78	c 1357s |      15 |   117557 |   104032 |    70679      1 |      170 |        0
1360.75/1361.03	c 1360s |      15 |   117854 |   104332 |    70679      1 |      170 |        0
1363.05/1363.36	c 1362s |      15 |   118154 |   104632 |    70679      1 |      170 |        0
1365.45/1365.75	c 1364s |      15 |   118452 |   104932 |    70679      1 |      170 |        0
1367.85/1368.19	c 1367s |      15 |   118750 |   105232 |    70679      1 |      170 |        0
1370.64/1370.98	c 1369s |      15 |   118989 |   105432 |    70679      1 |      170 |        0
1372.94/1373.26	c 1372s |      15 |   119184 |   105632 |    70679      1 |      170 |        0
1375.45/1375.77	c 1374s |      15 |   119418 |   105832 |    70679      1 |      170 |        0
1378.25/1378.54	c 1377s |      15 |   119669 |   106032 |    70679      1 |      170 |        0
1380.65/1380.99	c 1379s |      15 |   119893 |   106232 |    70679      1 |      170 |        0
1383.24/1383.58	c 1382s |      15 |   120119 |   106432 |    70679      1 |      170 |        0
1385.54/1385.88	c 1384s |      15 |   120328 |   106632 |    70679      1 |      170 |        0
1388.14/1388.40	c 1387s |      15 |   120550 |   106832 |    70679      1 |      170 |        0
1391.74/1392.01	c 1390s |      15 |   120769 |   107032 |    70679      1 |      170 |        0
1393.94/1394.26	c 1393s |      15 |   121077 |   107332 |    70679      1 |      170 |        0
1397.63/1397.98	c 1396s |      15 |   121290 |   107532 |    70679      1 |      170 |        0
1400.33/1400.66	c 1399s |      15 |   121598 |   107832 |    70679      1 |      170 |        0
1403.14/1403.46	c 1402s |      15 |   121808 |   108032 |    70679      1 |      170 |        0
1406.33/1406.60	c 1405s |      15 |   122036 |   108232 |    70679      1 |      170 |        0
1408.63/1408.97	c 1407s |      15 |   122243 |   108432 |    70679      1 |      170 |        0
1412.43/1412.70	c 1411s |      15 |   122573 |   108732 |    70679      1 |      170 |        0
1415.33/1415.66	c 1414s |      15 |   122783 |   108932 |    70679      1 |      170 |        0
1418.23/1418.55	c 1417s |      15 |   122990 |   109132 |    70679      1 |      170 |        0
1420.23/1420.56	c 1419s |      15 |   123285 |   109432 |    70679      1 |      170 |        0
1422.62/1422.95	c 1421s |      15 |   123590 |   109732 |    70679      1 |      170 |        0
1425.34/1425.66	c 1424s |      15 |   123985 |   110132 |    70679      1 |      170 |        0
1427.43/1427.76	c 1426s |      15 |   124284 |   110432 |    70679      1 |      170 |        0
1429.42/1429.77	c 1428s |      15 |   124585 |   110732 |    70679      1 |      170 |        0
1431.82/1432.14	c 1431s |      15 |   124884 |   111032 |    70679      1 |      170 |        0
1434.02/1434.40	c 1433s |      15 |   125184 |   111332 |    70679      1 |      170 |        0
1436.23/1436.59	c 1435s |      15 |   125482 |   111632 |    70679      1 |      170 |        0
1438.53/1438.81	c 1437s |      15 |   125783 |   111932 |    70679      1 |      170 |        0
1440.72/1441.03	c 1440s |      15 |   126080 |   112232 |    70679      1 |      170 |        0
1443.02/1443.38	c 1442s |      15 |   126379 |   112532 |    70679      1 |      170 |        0
1445.52/1445.88	c 1444s |      15 |   126685 |   112832 |    70679      1 |      170 |        0
1448.02/1448.35	c 1447s |      15 |   126980 |   113132 |    70679      1 |      170 |        0
1450.63/1450.91	c 1449s |      15 |   127283 |   113432 |    70679      1 |      170 |        0
1453.02/1453.35	c 1452s |      15 |   127579 |   113732 |    70679      1 |      170 |        0
1455.71/1456.04	c 1455s |      15 |   127881 |   114032 |    70679      1 |      170 |        0
1458.32/1458.68	c 1457s |      15 |   128181 |   114332 |    70679      1 |      170 |        0
1461.01/1461.35	c 1460s |      15 |   128480 |   114632 |    70679      1 |      170 |        0
1463.61/1463.92	c 1462s |      15 |   128779 |   114932 |    70679      1 |      170 |        0
1466.41/1466.70	c 1465s |      15 |   129080 |   115232 |    70679      1 |      170 |        0
1468.50/1468.81	c 1467s |      15 |   129274 |   115432 |    70679      1 |      170 |        0
1471.30/1471.65	c 1470s |      15 |   129580 |   115732 |    70679      1 |      170 |        0
1474.10/1474.49	c 1473s |      15 |   129875 |   116032 |    70679      1 |      170 |        0
1476.91/1477.22	c 1476s |      15 |   130178 |   116332 |    70679      1 |      170 |        0
1479.70/1480.07	c 1479s |      15 |   130477 |   116632 |    70679      1 |      170 |        0
1481.70/1482.07	c 1481s |      15 |   130672 |   116832 |    70679      1 |      170 |        0
1483.80/1484.17	c 1483s |      15 |   130874 |   117032 |    70679      1 |      170 |        0
1486.00/1486.34	c 1485s |      15 |   131074 |   117232 |    70679      1 |      170 |        0
1489.00/1489.32	c 1488s |      15 |   131373 |   117532 |    70679      1 |      170 |        0
1491.90/1492.25	c 1491s |      15 |   131673 |   117832 |    70679      1 |      170 |        0
1493.90/1494.27	c 1493s |      15 |   131876 |   118032 |    70679      1 |      170 |        0
1496.10/1496.40	c 1495s |      15 |   132073 |   118232 |    70679      1 |      170 |        0
1498.30/1498.65	c 1497s |      15 |   132273 |   118432 |    70679      1 |      170 |        0
1500.39/1500.79	c 1499s |      15 |   132471 |   118632 |    70679      1 |      170 |        0
1502.59/1502.97	c 1501s |      15 |   132672 |   118832 |    70679      1 |      170 |        0
1504.89/1505.26	c 1504s |      15 |   132876 |   119032 |    70679      1 |      170 |        0
1507.90/1508.27	c 1507s |      15 |   133175 |   119332 |    70679      1 |      170 |        0
1510.10/1510.47	c 1509s |      15 |   133373 |   119532 |    70679      1 |      170 |        0
1512.29/1512.69	c 1511s |      15 |   133570 |   119732 |    70679      1 |      170 |        0
1514.59/1514.99	c 1513s |      15 |   133772 |   119932 |    70679      1 |      170 |        0
1516.89/1517.25	c 1516s |      15 |   133972 |   120132 |    70679      1 |      170 |        0
1519.09/1519.47	c 1518s |      15 |   134172 |   120332 |    70679      1 |      170 |        0
1521.28/1521.64	c 1520s |      15 |   134372 |   120532 |    70679      1 |      170 |        0
1523.58/1523.96	c 1522s |      15 |   134570 |   120732 |    70679      1 |      170 |        0
1525.89/1526.25	c 1525s |      15 |   134767 |   120932 |    70679      1 |      170 |        0
1528.28/1528.61	c 1527s |      15 |   134973 |   121132 |    70679      1 |      170 |        0
1530.68/1531.06	c 1530s |      15 |   135171 |   121332 |    70679      1 |      170 |        0
1534.29/1534.61	c 1533s |      15 |   135371 |   121532 |    70679      2 |      170 |        0
1536.58/1536.94	c 1535s |      15 |   135569 |   121732 |    70679      2 |      170 |        0
1538.88/1539.29	c 1538s |      15 |   135769 |   121932 |    70679      2 |      170 |        0
1541.27/1541.60	c 1540s |      15 |   135970 |   122132 |    70679      2 |      170 |        0
1543.77/1544.14	c 1543s |      15 |   136169 |   122332 |    70679      2 |      170 |        0
1546.28/1546.61	c 1545s |      15 |   136370 |   122532 |    70679      2 |      170 |        0
1548.87/1549.21	c 1548s |      15 |   136566 |   122732 |    70679      2 |      170 |        0
1551.28/1551.69	c 1550s |      15 |   136767 |   122932 |    70679      2 |      170 |        0
1553.87/1554.21	c 1553s |      15 |   136966 |   123132 |    70679      2 |      170 |        0
1556.37/1556.77	c 1555s |      15 |   137170 |   123332 |    70679      2 |      170 |        0
1558.77/1559.17	c 1558s |      15 |   137370 |   123532 |    70679      2 |      170 |        0
1561.27/1561.67	c 1560s |      15 |   137566 |   123732 |    70679      2 |      170 |        0
1563.98/1564.36	c 1563s |      15 |   137768 |   123932 |    70679      2 |      170 |        0
1566.66/1567.02	c 1565s |      15 |   137969 |   124132 |    70679      2 |      170 |        0
1569.07/1569.47	c 1568s |      15 |   138170 |   124332 |    70679      2 |      170 |        0
1571.67/1572.06	c 1571s |      15 |   138361 |   124532 |    70679      2 |      170 |        0
1574.17/1574.55	c 1573s |      15 |   138564 |   124732 |    70679      2 |      170 |        0
1576.56/1576.98	c 1575s |      15 |   138768 |   124932 |    70679      2 |      170 |        0
1579.16/1579.55	c 1578s |      15 |   138967 |   125132 |    70679      2 |      170 |        0
1581.97/1582.33	c 1581s |      15 |   139164 |   125332 |    70679      2 |      170 |        0
1584.56/1584.90	c 1583s |      15 |   139400 |   125532 |    70679      2 |      170 |        0
1587.36/1587.72	c 1586s |      15 |   139608 |   125732 |    70679      2 |      170 |        0
1589.96/1590.31	c 1589s |      15 |   139805 |   125932 |    70679      2 |      170 |        0
1592.36/1592.73	c 1591s |      15 |   140020 |   126132 |    70679      2 |      170 |        0
1594.77/1595.12	c 1594s |      15 |   140240 |   126332 |    70679      2 |      170 |        0
1598.07/1598.41	c 1597s |      15 |   140472 |   126532 |    70679      2 |      170 |        0
1600.45/1600.80	c 1599s |      15 |   140743 |   126732 |    70679      2 |      170 |        0
1603.56/1603.91	c 1602s |      15 |   140964 |   126932 |    70679      2 |      170 |        0
1606.45/1606.84	c 1605s |      15 |   141181 |   127132 |    70679      2 |      170 |        0
1609.06/1609.42	c 1608s |      15 |   141391 |   127332 |    70679      2 |      170 |        0
1611.85/1612.20	c 1611s |      15 |   141617 |   127532 |    70679      2 |      170 |        0
1614.65/1615.08	c 1614s |      15 |   141827 |   127732 |    70679      2 |      170 |        0
1616.85/1617.22	c 1616s |      15 |   142043 |   127932 |    70679      2 |      170 |        0
1619.84/1620.29	c 1619s |      15 |   142252 |   128132 |    70679      2 |      170 |        0
1622.85/1623.28	c 1622s |      15 |   142471 |   128332 |    70679      2 |      170 |        0
1625.64/1626.04	c 1625s |      15 |   142681 |   128532 |    70679      2 |      170 |        0
1628.14/1628.53	c 1627s |      15 |   142891 |   128732 |    70679      2 |      170 |        0
1630.54/1630.95	c 1629s |      15 |   143104 |   128932 |    70679      2 |      170 |        0
1633.44/1633.84	c 1632s |      15 |   143310 |   129132 |    70679      2 |      170 |        0
1636.34/1636.74	c 1635s |      15 |   143616 |   129432 |    70679      2 |      170 |        0
1638.74/1639.13	c 1638s |      15 |   143822 |   129632 |    70679      2 |      170 |        0
1640.84/1641.24	c 1640s |      15 |   144030 |   129832 |    70679      2 |      170 |        0
1643.53/1643.95	c 1642s |      15 |   144346 |   130132 |    70679      2 |      170 |        0
1646.73/1647.17	c 1646s |      15 |   144571 |   130332 |    70679      2 |      170 |        0
1649.53/1649.94	c 1648s |      15 |   144780 |   130532 |    70679      2 |      170 |        0
1651.64/1652.02	c 1650s |      15 |   144983 |   130732 |    77747      2 |      170 |        0
1654.34/1654.74	c 1653s |      15 |   145186 |   130932 |    77747      2 |      170 |        0
1656.43/1656.84	c 1655s |      15 |   145487 |   131232 |    77747      2 |      170 |        0
1659.93/1660.34	c 1659s |      15 |   145800 |   131532 |    77747      2 |      170 |        0
1660.13/1660.55	c 1659s |      16 |   145829 |   131552 |    77747      2 |      170 |        0
1667.53/1667.99	c 1666s |      16 |   146143 |   131652 |    77747      2 |      170 |        0
1670.54/1670.96	c 1669s |      16 |   146317 |   131752 |    77747      2 |      170 |        0
1673.13/1673.52	c 1672s |      16 |   146561 |   131952 |    77747      2 |      170 |        0
1677.33/1677.75	c 1676s |      16 |   146689 |   132052 |    77747      2 |      170 |        0
1681.53/1681.96	c 1680s |      16 |   146873 |   132152 |    77747      2 |      170 |        0
1686.33/1686.73	c 1685s |      16 |   147037 |   132252 |    77747      2 |      170 |        0
1691.22/1691.64	c 1690s |      16 |   147206 |   132352 |    77747      2 |      170 |        0
1693.22/1693.66	c 1692s |      16 |   147581 |   132552 |    77747      2 |      170 |        0
1695.93/1696.36	c 1695s |      16 |   147707 |   132652 |    77747      2 |      170 |        0
1700.33/1700.71	c 1699s |      16 |   147999 |   132852 |    77747      2 |      170 |        0
1705.02/1705.47	c 1704s |      16 |   148371 |   133152 |    77747      2 |      170 |        0
1708.42/1708.83	c 1707s |      16 |   148506 |   133252 |    77747      2 |      170 |        0
1712.12/1712.50	c 1711s |      16 |   148717 |   133352 |    77747      2 |      170 |        0
1715.62/1716.05	c 1715s |      16 |   148811 |   133452 |    77747      2 |      170 |        0
1719.42/1719.87	c 1718s |      16 |   148964 |   133552 |    77747      2 |      170 |        0
1723.22/1723.65	c 1722s |      16 |   149065 |   133652 |    77747      2 |      170 |        0
1725.81/1726.20	c 1725s |      16 |   149181 |   133752 |    77747      2 |      170 |        0
1729.61/1730.02	c 1728s |      16 |   149268 |   133852 |    77747      2 |      170 |        0
1733.61/1734.08	c 1733s |      16 |   149389 |   133952 |    77747      2 |      170 |        0
1736.31/1736.71	c 1735s |      16 |   149516 |   134052 |    77747      2 |      170 |        0
1739.21/1739.65	c 1738s |      16 |   149623 |   134152 |    77747      2 |      170 |        0
1742.71/1743.11	c 1742s |      16 |   150126 |   134452 |    77747      2 |      170 |        0
1744.71/1745.17	c 1744s |      16 |   150238 |   134552 |    77747      2 |      170 |        0
1748.31/1748.77	c 1747s |      16 |   150490 |   134752 |    77747      2 |      170 |        0
1752.21/1752.61	c 1751s |      16 |   150720 |   134952 |    77747      2 |      170 |        0
1755.91/1756.37	c 1755s |      16 |   150940 |   135152 |    77747      2 |      170 |        0
1757.91/1758.39	c 1757s |      16 |   151073 |   135252 |    77747      2 |      170 |        0
1761.31/1761.80	c 1760s |      16 |   151363 |   135452 |    77747      2 |      170 |        0
1763.71/1764.12	c 1763s |      16 |   151472 |   135552 |    77747      2 |      170 |        0
1765.90/1766.37	c 1765s |      16 |   151597 |   135652 |    77747      2 |      170 |        0
1769.10/1769.51	c 1768s |      16 |   151709 |   135752 |    77747      2 |      170 |        0
1771.10/1771.56	c 1770s |      16 |   151866 |   135852 |    77747      2 |      170 |        0
1773.70/1774.12	c 1773s |      16 |   151978 |   135952 |    77747      2 |      170 |        0
1775.80/1776.23	c 1775s |      16 |   152105 |   136052 |    77747      2 |      170 |        0
1778.10/1778.55	c 1777s |      16 |   152238 |   136152 |    77747      2 |      170 |        0
1781.50/1782.00	c 1780s |      16 |   152507 |   136352 |    77747      2 |      170 |        0
1783.70/1784.10	c 1783s |      16 |   152628 |   136452 |    77747      2 |      170 |        0
1786.40/1786.84	c 1785s |      16 |   152753 |   136552 |    77747      2 |      170 |        0
1789.00/1789.43	c 1788s |      16 |   152874 |   136652 |    77747      2 |      170 |        0
1791.20/1791.60	c 1790s |      16 |   153012 |   136752 |    77747      2 |      170 |        0
1793.90/1794.37	c 1793s |      16 |   153257 |   136952 |    77747      2 |      170 |        0
1796.10/1796.55	c 1795s |      16 |   153367 |   137052 |    77747      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-4079315-1465336394/watcher-4079315-1465336394 -o /tmp/evaluation-result-4079315-1465336394/solver-4079315-1465336394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079315-1465336394.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.18 2.18 4/180 21799
/proc/meminfo: memFree=29249096/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 2754 0 0 0 0 0 0 0 20 0 4 0 115572320 755429376 2604 33554432000 4194304 16246674 140734773919152 140734773918576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 184943 2613 441 2943 0 181837 0
[pid=21799/tid=21800] ppid=21796 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 772206592 2672 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 777449472 2690 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115572320 781643776 2706 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100217 s]
/proc/loadavg: 2.26 2.18 2.18 4/180 21799
/proc/meminfo: memFree=29249096/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 30049 0 0 0 4 5 0 0 20 0 4 0 115572320 1334382592 29836 33554432000 4194304 16246674 140734773919152 140734773918464 7440033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 325777 29852 800 2943 0 322671 0
[pid=21799/tid=21800] ppid=21796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1334382592 29864 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1334382592 29876 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1334382592 29886 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200544 s]
/proc/loadavg: 2.26 2.18 2.18 4/180 21799
/proc/meminfo: memFree=29249096/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 45678 0 0 0 12 7 0 0 20 0 4 0 115572320 1344868352 45976 33554432000 4194304 16246674 140734773919152 140734773918464 7371572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 328337 45976 801 2943 0 325231 0
[pid=21799/tid=21800] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 45976 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 45976 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 45976 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300411 s]
/proc/loadavg: 2.26 2.18 2.18 4/180 21799
/proc/meminfo: memFree=29249096/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 55280 0 0 0 21 8 0 0 20 0 4 0 115572320 1344868352 55578 33554432000 4194304 16246674 140734773919152 140734773918464 5636720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 328337 55578 838 2943 0 325231 0
[pid=21799/tid=21800] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 55578 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 55578 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 55578 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700359 s]
/proc/loadavg: 2.26 2.18 2.18 4/180 21799
/proc/meminfo: memFree=29249096/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 110362 0 0 0 52 17 0 0 20 0 4 0 115572320 1344868352 110660 33554432000 4194304 16246674 140734773919152 140734773901056 5741135 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 328337 110669 839 2943 0 325231 0
[pid=21799/tid=21800] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 110674 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 110679 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1344868352 110684 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.26 2.18 2.18 3/184 21803
/proc/meminfo: memFree=28750356/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124451 0 0 0 129 20 0 0 20 0 4 0 115572320 1357451264 124749 33554432000 4194304 16246674 140734773919152 140734773901056 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124749 888 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124749 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124749 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124749 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.1004 s]
/proc/loadavg: 2.26 2.18 2.18 3/184 21803
/proc/meminfo: memFree=28749984/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124453 0 0 0 289 20 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 140734773901056 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124751 890 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30043 s]
/proc/loadavg: 2.24 2.18 2.18 3/184 21803
/proc/meminfo: memFree=28750424/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124453 0 0 0 609 20 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 140734773901056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124751 890 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.30 2.19 2.18 3/184 21803
/proc/meminfo: memFree=28750628/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124453 0 0 0 1249 20 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 140734773901056 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124751 890 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124751 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.39 2.22 2.19 3/184 21803
/proc/meminfo: memFree=28751432/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=25.49 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124457 0 0 0 2529 20 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 140734773901056 5711956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124755 894 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 21803
/proc/meminfo: memFree=28751444/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124457 0 0 0 5088 20 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 140734773901056 12483464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124755 894 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 21804
/proc/meminfo: memFree=28751316/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 124457 0 0 0 10208 20 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 140734773901056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 331409 124755 894 2943 0 328303 0
[pid=21799/tid=21800] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1357451264 124755 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1384004

[startup+1302.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 21906
/proc/meminfo: memFree=28406084/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1384004 CPUtime=1302.07 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 212342 0 0 0 130146 61 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 140734773918328 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 346001 287244 899 2943 0 342895 0
[pid=21799/tid=21800] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1384004

[startup+1362.3 s]
/proc/loadavg: 2.12 2.21 2.18 3/183 21908
/proc/meminfo: memFree=28284968/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1384004 CPUtime=1362.05 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 212370 0 0 0 136137 68 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 140734773901056 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 346001 287244 899 2943 0 342895 0
[pid=21799/tid=21800] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1384004

[startup+1422.3 s]
/proc/loadavg: 2.04 2.17 2.16 4/183 21909
/proc/meminfo: memFree=28132184/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1384004 CPUtime=1422.03 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 212404 0 0 0 142131 72 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 140734773918328 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 346001 287244 899 2943 0 342895 0
[pid=21799/tid=21800] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1384004

[startup+1482.3 s]
/proc/loadavg: 2.24 2.20 2.17 4/183 21910
/proc/meminfo: memFree=28132232/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1384004 CPUtime=1482 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 212440 0 0 0 148119 81 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 140734773918328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 346001 287244 899 2943 0 342895 0
[pid=21799/tid=21800] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1384004

[startup+1542.31 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 21911
/proc/meminfo: memFree=28128760/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1384004 CPUtime=1541.98 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 212475 0 0 0 154106 92 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 140734773918328 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 346001 287244 899 2943 0 342895 0
[pid=21799/tid=21800] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1417220096 287244 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1384004

[startup+1602.3 s]
/proc/loadavg: 2.26 2.22 2.18 4/183 21912
/proc/meminfo: memFree=28092016/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1420868 CPUtime=1601.95 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 221681 0 0 0 160095 100 0 0 20 0 4 0 115572320 1454968832 296425 33554432000 4194304 16246674 140734773919152 140734773901056 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 355217 296425 899 2943 0 352111 0
[pid=21799/tid=21800] ppid=21796 vsize=1420868 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1454968832 296425 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1420868 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1454968832 296425 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1420868 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1454968832 296425 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1420868

[startup+1662.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/184 21917
/proc/meminfo: memFree=27974352/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1495620 CPUtime=1661.93 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 240285 0 0 0 166088 105 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 140734773918328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 373905 314999 899 2943 0 370799 0
[pid=21799/tid=21800] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1495620

[startup+1722.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 21918
/proc/meminfo: memFree=27775152/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1495620 CPUtime=1721.92 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 240302 0 0 0 172086 106 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 140734773901056 5600186 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 373905 314999 899 2943 0 370799 0
[pid=21799/tid=21800] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1495620

[startup+1782.3 s]
/proc/loadavg: 2.26 2.22 2.18 4/182 21919
/proc/meminfo: memFree=27774588/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1495620 CPUtime=1781.9 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 240302 0 0 0 178084 106 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 140734773901056 5711992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 373905 314999 899 2943 0 370799 0
[pid=21799/tid=21800] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1495620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 21920
/proc/meminfo: memFree=27774176/32872528 swapFree=16204/1518544
[pid=21799] ppid=21796 vsize=1495620 CPUtime=1800 cores=1,3,5,7
/proc/21799/stat : 21799 (toysat) R 21796 21799 19387 0 -1 4202496 240302 0 0 0 179894 106 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 140734773901056 5602895 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21799/statm: 373905 314999 899 2943 0 370799 0
[pid=21799/tid=21800] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21800/stat : 21800 (toysat) S 21796 21799 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862289132784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21799/tid=21801] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21801/stat : 21801 (toysat) S 21796 21799 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862278642928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21799/tid=21802] ppid=21796 vsize=1495620 CPUtime=0 cores=1,3,5,7
/proc/21799/task/21802/stat : 21802 (toysat) S 21796 21799 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115572320 1531514880 314999 33554432000 4194304 16246674 140734773919152 139862268169392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1495620

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 21799 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.02
CPU user time (s): 1798.95
CPU system time (s): 1.06984
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 1495620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.06984
maximum resident set size= 1259996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240302
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= 259
involuntary context switches= 1911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47732 second user time and 7.02593 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 23:53:15
IDJOB=4079315
IDBENCH=92752
IDSOLVER=2542
FILE ID=node129/4079315-1465336394
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= f1796031dd2222ba84ddb055b00dac83
RANDOM SEED=2079798239

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29248988 kB
Buffers:           44760 kB
Cached:           201840 kB
SwapCached:         1836 kB
Active:          1223044 kB
Inactive:         141416 kB
Active(anon):    1115964 kB
Inactive(anon):     4524 kB
Active(file):     107080 kB
Inactive(file):   136892 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             17924 kB
Writeback:             0 kB
AnonPages:       2636208 kB
Mapped:            11740 kB
Shmem:                 0 kB
Slab:             604500 kB
SReclaimable:      48612 kB
SUnreclaim:       555888 kB
KernelStack:        1520 kB
PageTables:         9224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2778644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2613248 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= 71704 MiB
End job on node129 at 2016-06-08 00:23:15