Trace number 4080049

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
MD5SUMaa70ac3194742d51f6e4056a79ed9e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13964
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 243591
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 243591
Number of bits of the biggest sum of numbers18
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-07T10:43:44+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-4080049-1465289024.opb"]
0.00/0.01	c use --random-gen="985218298 443193965 2186916417 2372406207 2986037832 2613324832 2735208518 3990936481 3959981304 123743794 2945999529 2783742792 166003334 4265336715 3922667601 3096064905 114291749 1347866480 2315535231 3071655956 1476521669 3701488972 621158612 1045870106 679858386 780468019 3741922222 274640116 547376536 2147510813 1890361229 2336344326 601933174 27500612 2244291386 3702467937 2738806859 489184826 4252003769 3486327734 1516653586 2416858723 2452173203 365224980 43974604 779056023 102411235 2565083776 3524811834 2409769624 2278724668 115447922 1966342460 337970890 3069245235 2937068489 3206023058 3183761761 2326113141 1414786795 702510156 303122901 3919710724 279869698 1615566848 4123011338 206325607 155287616 3564996163 2022198609 3343154150 3752583191 3557109989 3508442107 3461138822 2770684871 2897474570 1480799353 1702713972 2333394304 2273410992 1790618119 49437790 2581951863 4252850548 3541500817 2200690538 1733043560 2536851964 3896339486 2279277017 1139443534 2875521799 2554934063 1145615066 2054456876 3954041860 3278822802 3551043749 3785198358 3036409062 2866474941 2746503651 974402429 3210072114 3960326886 366563265 3920224579 1595481657 4134723240 921428562 661287846 12641691 675935909 317030459 1316250954 2853957171 1392473683 1153185179 1771551680 499720486 389448835 4038693548 2689495859 1771125763 2803926237 3091170127 3474402245 970248701 3930844374 912289476 1113601397 436903837 3045127644 3732282407 4025134392 525287168 857628767 2265949268 3139815481 1981832327 2073966815 501903541 2744078390 709538985 127343827 3661326246 1262699803 3521943084 3306566328 3643873504 1886208818 3020896244 738677203 3253549935 3455137022 742318648 3755544069 1883674439 2339427561 4268149292 3979817762 3547417231 3012614362 2967093109 2349898580 2259872761 619244261 3194451811 41049245 2487609267 4030465731 1683338302 3542534149 1394561169 3935465191 361879877 2370436274 1167345215 3902901231 3949544378 2001511077 2854002441 4174508056 3494536393 2703433189 1457639286 1281256731 731891009 4036298583 3982729708 1446482082 1491322252 4098485131 3558576480 1639688882 3425122607 24477309 3422920571 2886598904 1191042131 1970128849 2835677044 3930481134 1962147186 2518776583 997679165 2219279777 731633953 100998448 2882325516 3967855705 439476587 450689582 1502515289 1426128550 1785923774 193646809 2559112076 7197317 1878825429 2124146009 458435559 3508257909 681125116 2333794794 2609276739 2338521846 4144718063 2256206662 2093902940 1529578921 3779884992 1120070827 3789212020 1040031615 869451880 148234397 3180516774 1442058493 2159747777 1333886152 3722662034 4157671449 1959422447 2567154051 577183833 630407731 3735958997 3650072077 3759740525 3353768199 1026743444 3681506163 2726172797 1223820229 255 362436" option to reproduce the execution
0.39/0.45	c #vars 40937
0.39/0.45	c #constraints 41436
1.49/1.53	c BCD2: Hardening is enabled.
1.49/1.53	c BCD2: BiasedSearch is enabled.
1.49/1.53	c Solving starts ...
1.49/1.53	c ============================[ Search Statistics ]============================
1.49/1.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.53	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.53	c =============================================================================
1.49/1.53	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.39/2.46	c  0.9s |       1 |     3645 |      100 |    27456      0 |      148 |      146
4.59/4.64	c  3.1s |       1 |     7149 |      200 |    30202      0 |      148 |      146
4.99/5.01	c  3.5s |       2 |     7427 |      250 |    30202      0 |      148 |      146
6.99/7.02	c  5.5s |       3 |    10266 |      475 |    33223      0 |      148 |      146
9.89/9.96	c  8.4s |       3 |    10679 |      675 |    36546      0 |      148 |      146
11.89/11.91	c 10.4s |       4 |    10893 |      813 |    36546      0 |      148 |      146
14.59/14.65	c 13.1s |       4 |    11473 |     1013 |    40201      0 |      148 |      146
17.09/17.19	c 15.7s |       4 |    12054 |     1213 |    40201      0 |      148 |      146
18.49/18.59	c 17.1s |       5 |    12302 |     1320 |    40201      0 |      148 |      146
21.08/21.13	c 19.6s |       5 |    13013 |     1520 |    44222      0 |      148 |      146
23.68/23.78	c 22.3s |       5 |    13733 |     1720 |    44222      0 |      148 |      146
26.49/26.52	c 25.0s |       5 |    14331 |     1920 |    44222      0 |      148 |      146
28.28/28.36	c 26.8s |       6 |    14693 |     2081 |    48645      0 |      148 |      146
31.38/31.48	c 30.0s |       6 |    15164 |     2281 |    48645      0 |      148 |      146
34.58/34.66	c 33.1s |       6 |    15669 |     2481 |    48645      0 |      148 |      146
37.68/37.71	c 36.2s |       6 |    16133 |     2681 |    48645      0 |      148 |      146
41.18/41.28	c 39.8s |       6 |    16499 |     2881 |    48645      0 |      148 |      146
43.48/43.52	c 42.0s |       6 |    16627 |     2981 |    48645      0 |      148 |      146
46.29/46.36	c 44.8s |       6 |    16890 |     3181 |    48645      0 |      148 |      146
47.08/47.15	c 45.6s |       7 |    16981 |     3223 |    53510      0 |      148 |      146
49.59/49.66	c 48.1s |       7 |    17458 |     3423 |    53510      0 |      148 |      146
52.48/52.54	c 51.0s |       7 |    18073 |     3623 |    53510      0 |      148 |      146
55.18/55.22	c 53.7s |       7 |    18331 |     3823 |    53510      0 |      148 |      146
57.78/57.81	c 56.3s |       7 |    18796 |     4023 |    53510      0 |      148 |      146
60.58/60.65	c 59.1s |       7 |    19106 |     4223 |    53510      0 |      148 |      146
63.78/63.84	c 62.3s |       7 |    19374 |     4423 |    53510      0 |      148 |      146
67.18/67.26	c 65.7s |       7 |    19619 |     4623 |    53510      0 |      148 |      146
70.78/70.80	c 69.3s |       7 |    19877 |     4823 |    53510      0 |      148 |      146
72.78/72.84	c 71.3s |       8 |    20191 |     4936 |    58862      0 |      148 |      146
74.78/74.84	c 73.3s |       8 |    20378 |     5036 |    58862      0 |      148 |      146
79.08/79.13	c 77.6s |       8 |    20853 |     5236 |    58862      0 |      148 |      146
81.38/81.44	c 79.9s |       8 |    20969 |     5336 |    58862      0 |      148 |      146
85.17/85.25	c 83.7s |       8 |    21350 |     5536 |    58862      0 |      148 |      146
88.67/88.76	c 87.2s |       8 |    21753 |     5736 |    58862      0 |      148 |      146
92.17/92.28	c 90.8s |       8 |    22270 |     5936 |    58862      0 |      148 |      146
96.17/96.21	c 94.7s |       8 |    22621 |     6136 |    58862      0 |      148 |      146
98.37/98.43	c 96.9s |       8 |    22910 |     6236 |    58862      0 |      148 |      146
100.67/100.72	c 99.2s |       8 |    23038 |     6336 |    58862      0 |      148 |      146
102.87/102.94	c  101s |       8 |    23231 |     6436 |    58862      0 |      148 |      146
106.68/106.75	c  105s |       8 |    23831 |     6636 |    58862      0 |      148 |      146
110.08/110.13	c  108s |       8 |    24342 |     6836 |    58862      0 |      148 |      146
113.77/113.83	c  112s |       8 |    24689 |     7036 |    58862      0 |      148 |      146
117.27/117.30	c  115s |       8 |    24956 |     7236 |    58862      0 |      148 |      146
120.97/121.10	c  119s |       8 |    25324 |     7436 |    58862      0 |      148 |      146
122.57/122.64	c  121s |       9 |    25864 |     7506 |    64749      0 |      148 |      146
125.07/125.10	c  123s |       9 |    26051 |     7606 |    64749      0 |      148 |      146
127.17/127.24	c  125s |       9 |    26261 |     7706 |    64749      0 |      148 |      146
129.87/129.94	c  128s |       9 |    26505 |     7806 |    64749      0 |      148 |      146
132.37/132.45	c  130s |       9 |    26631 |     7906 |    64749      0 |      148 |      146
134.67/134.78	c  133s |       9 |    26774 |     8006 |    64749      0 |      148 |      146
139.26/139.30	c  137s |       9 |    26906 |     8106 |    64749      0 |      148 |      146
142.06/142.10	c  140s |       9 |    27118 |     8206 |    64749      0 |      148 |      146
144.26/144.31	c  142s |       9 |    27269 |     8306 |    64749      0 |      148 |      146
147.37/147.50	c  145s |       9 |    27448 |     8406 |    64749      0 |      148 |      146
149.96/150.08	c  148s |       9 |    27577 |     8506 |    64749      0 |      148 |      146
152.16/152.24	c  150s |       9 |    27744 |     8606 |    64749      0 |      148 |      146
154.56/154.64	c  153s |       9 |    28130 |     8706 |    64749      0 |      148 |      146
156.96/157.06	c  155s |       9 |    28251 |     8806 |    64749      0 |      148 |      146
159.57/159.61	c  158s |       9 |    28372 |     8906 |    64749      0 |      148 |      146
162.36/162.44	c  160s |       9 |    28522 |     9006 |    64749      0 |      148 |      146
164.66/164.76	c  163s |       9 |    28662 |     9106 |    64749      0 |      148 |      146
168.27/168.38	c  166s |       9 |    29035 |     9306 |    64749      0 |      148 |      146
172.06/172.19	c  170s |       9 |    29314 |     9506 |    64749      0 |      148 |      146
176.07/176.17	c  174s |       9 |    29671 |     9706 |    64749      0 |      148 |      146
178.17/178.24	c  176s |       9 |    29964 |     9806 |    64749      0 |      148 |      146
180.47/180.55	c  179s |       9 |    30166 |     9906 |    64749      0 |      148 |      146
184.26/184.34	c  182s |       9 |    30498 |    10106 |    64749      0 |      148 |      146
186.86/186.93	c  185s |       9 |    30725 |    10206 |    64749      0 |      148 |      146
189.96/190.07	c  188s |       9 |    30882 |    10306 |    64749      0 |      148 |      146
192.66/192.74	c  191s |       9 |    30996 |    10406 |    64749      0 |      148 |      146
196.06/196.12	c  194s |       9 |    31132 |    10506 |    64749      0 |      148 |      146
198.25/198.33	c  196s |       9 |    31331 |    10606 |    64749      0 |      148 |      146
200.55/200.66	c  199s |       9 |    31467 |    10706 |    64749      0 |      148 |      146
203.05/203.10	c  201s |       9 |    31882 |    10806 |    64749      0 |      148 |      146
205.66/205.70	c  204s |       9 |    32023 |    10906 |    64749      0 |      148 |      146
209.75/209.83	c  208s |       9 |    32194 |    11006 |    64749      0 |      148 |      146
212.15/212.22	c  210s |       9 |    32349 |    11106 |    64749      0 |      148 |      146
214.65/214.78	c  213s |       9 |    32552 |    11206 |    64749      0 |      148 |      146
218.55/218.62	c  217s |       9 |    32680 |    11306 |    71224      0 |      148 |      146
220.45/220.57	c  219s |      10 |    32748 |    11361 |    71224      0 |      148 |      146
224.15/224.25	c  222s |      10 |    32909 |    11461 |    71224      0 |      148 |      146
227.66/227.72	c  226s |      10 |    33033 |    11561 |    71224      0 |      148 |      146
233.76/233.80	c  232s |      10 |    33166 |    11661 |    71224      0 |      148 |      146
236.96/237.07	c  235s |      10 |    33302 |    11761 |    71224      0 |      148 |      146
239.46/239.56	c  238s |      10 |    33434 |    11861 |    71224      0 |      148 |      146
242.06/242.17	c  240s |      10 |    33568 |    11961 |    71224      0 |      148 |      146
246.06/246.14	c  244s |      10 |    33718 |    12061 |    71224      0 |      148 |      146
248.36/248.44	c  246s |      10 |    33853 |    12161 |    71224      0 |      148 |      146
250.76/250.81	c  249s |      10 |    33997 |    12261 |    71224      0 |      148 |      146
255.06/255.15	c  253s |      10 |    34859 |    12461 |    71224      0 |      148 |      146
257.15/257.28	c  255s |      10 |    35173 |    12561 |    71224      0 |      148 |      146
259.25/259.38	c  257s |      10 |    35469 |    12661 |    71224      0 |      148 |      146
262.65/262.76	c  261s |      10 |    35780 |    12861 |    71224      0 |      148 |      146
266.16/266.25	c  264s |      10 |    36071 |    13061 |    71224      0 |      148 |      146
268.46/268.54	c  267s |      10 |    36223 |    13161 |    71224      0 |      148 |      146
272.45/272.53	c  271s |      10 |    36665 |    13361 |    71224      0 |      148 |      146
275.25/275.39	c  273s |      10 |    36813 |    13461 |    71224      0 |      148 |      146
279.46/279.53	c  277s |      10 |    37203 |    13661 |    71224      0 |      148 |      146
281.66/281.71	c  280s |      10 |    37426 |    13761 |    71224      0 |      148 |      146
283.65/283.73	c  282s |      10 |    37600 |    13861 |    71224      0 |      148 |      146
285.75/285.86	c  284s |      10 |    37727 |    13961 |    71224      0 |      148 |      146
289.05/289.14	c  287s |      10 |    37856 |    14061 |    71224      0 |      148 |      146
293.75/293.86	c  292s |      10 |    37974 |    14161 |    71224      0 |      148 |      146
296.25/296.32	c  294s |      10 |    38115 |    14261 |    71224      0 |      148 |      146
302.35/302.44	c  300s |      10 |    38237 |    14361 |    71224      0 |      148 |      146
305.65/305.77	c  304s |      10 |    38416 |    14461 |    71224      0 |      148 |      146
308.35/308.45	c  306s |      10 |    38584 |    14561 |    71224      0 |      148 |      146
310.44/310.53	c  309s |      10 |    38718 |    14661 |    71224      0 |      148 |      146
312.94/313.04	c  311s |      10 |    38851 |    14761 |    71224      0 |      148 |      146
315.04/315.14	c  313s |      10 |    39192 |    14861 |    71224      0 |      148 |      146
318.04/318.18	c  316s |      10 |    39431 |    14961 |    71224      0 |      148 |      146
322.14/322.22	c  320s |      10 |    39842 |    15161 |    71224      0 |      148 |      146
326.44/326.51	c  324s |      10 |    40703 |    15361 |    71224      0 |      148 |      146
329.04/329.14	c  327s |      10 |    40927 |    15461 |    71224      0 |      148 |      146
331.64/331.75	c  330s |      10 |    41535 |    15561 |    71224      0 |      148 |      146
333.94/334.07	c  332s |      10 |    42100 |    15661 |    71224      0 |      148 |      146
336.44/336.50	c  334s |      10 |    42886 |    15761 |    71224      0 |      148 |      146
339.24/339.37	c  337s |      10 |    43057 |    15861 |    71224      0 |      148 |      146
342.15/342.22	c  340s |      10 |    43255 |    15961 |    71224      0 |      148 |      146
344.74/344.89	c  343s |      10 |    43408 |    16061 |    71224      0 |      148 |      146
347.34/347.45	c  345s |      10 |    43934 |    16161 |    71224      0 |      148 |      146
350.44/350.54	c  349s |      10 |    44218 |    16261 |    71224      0 |      148 |      146
353.05/353.12	c  351s |      10 |    44363 |    16361 |    71224      0 |      148 |      146
355.35/355.42	c  353s |      10 |    44496 |    16461 |    71224      0 |      148 |      146
357.84/357.94	c  356s |      10 |    44704 |    16561 |    71224      0 |      148 |      146
360.84/360.95	c  359s |      10 |    45017 |    16661 |    71224      0 |      148 |      146
364.74/364.80	c  363s |      10 |    45236 |    16861 |    71224      0 |      148 |      146
367.04/367.11	c  365s |      10 |    45507 |    16961 |    71224      0 |      148 |      146
369.44/369.56	c  368s |      10 |    45664 |    17061 |    78347      0 |      148 |      146
371.24/371.37	c  369s |      11 |    45844 |    17144 |    78347      0 |      148 |      146
373.73/373.85	c  372s |      11 |    46029 |    17244 |    78347      0 |      148 |      146
376.03/376.11	c  374s |      11 |    46176 |    17344 |    78347      0 |      148 |      146
380.03/380.18	c  378s |      11 |    46522 |    17544 |    78347      0 |      148 |      146
382.63/382.75	c  381s |      11 |    46656 |    17644 |    78347      0 |      148 |      146
385.23/385.37	c  383s |      11 |    46794 |    17744 |    78347      0 |      148 |      146
387.43/387.57	c  386s |      11 |    46925 |    17844 |    78347      0 |      148 |      146
390.13/390.20	c  388s |      11 |    47049 |    17944 |    78347      0 |      148 |      146
392.23/392.36	c  390s |      11 |    47187 |    18044 |    78347      0 |      148 |      146
394.63/394.74	c  393s |      11 |    47558 |    18144 |    78347      0 |      148 |      146
396.93/397.04	c  395s |      11 |    47753 |    18244 |    78347      0 |      148 |      146
400.34/400.46	c  398s |      11 |    48065 |    18444 |    78347      0 |      148 |      146
403.83/403.93	c  402s |      11 |    48656 |    18644 |    78347      0 |      148 |      146
405.83/405.99	c  404s |      11 |    48831 |    18744 |    78347      0 |      148 |      146
410.73/410.81	c  409s |      11 |    49100 |    18944 |    78347      0 |      148 |      146
414.93/415.08	c  413s |      11 |    49363 |    19144 |    78347      0 |      148 |      146
418.23/418.31	c  416s |      11 |    49643 |    19344 |    78347      0 |      148 |      146
421.42/421.54	c  420s |      11 |    49887 |    19544 |    78347      0 |      148 |      146
424.72/424.80	c  423s |      11 |    50156 |    19744 |    78347      0 |      148 |      146
428.22/428.33	c  426s |      11 |    50508 |    19944 |    78347      0 |      148 |      146
430.42/430.57	c  429s |      11 |    50657 |    20044 |    78347      0 |      148 |      146
432.82/432.99	c  431s |      11 |    50795 |    20144 |    78347      0 |      148 |      146
435.32/435.49	c  433s |      11 |    50919 |    20244 |    78347      0 |      148 |      146
438.22/438.31	c  436s |      11 |    51048 |    20344 |    78347      0 |      148 |      146
440.52/440.68	c  439s |      11 |    51187 |    20444 |    78347      0 |      148 |      146
442.82/442.90	c  441s |      11 |    51326 |    20544 |    78347      0 |      148 |      146
445.22/445.33	c  443s |      11 |    51489 |    20644 |    78347      0 |      148 |      146
447.82/447.91	c  446s |      11 |    51617 |    20744 |    78347      0 |      148 |      146
450.42/450.50	c  448s |      11 |    51784 |    20844 |    78347      0 |      148 |      146
452.72/452.87	c  451s |      11 |    51922 |    20944 |    78347      0 |      148 |      146
455.12/455.24	c  453s |      11 |    52089 |    21044 |    78347      0 |      148 |      146
457.22/457.30	c  455s |      11 |    52272 |    21144 |    78347      0 |      148 |      146
460.02/460.13	c  458s |      11 |    52575 |    21344 |    78347      0 |      148 |      146
462.72/462.89	c  461s |      11 |    52946 |    21544 |    78347      0 |      148 |      146
465.62/465.75	c  464s |      11 |    53313 |    21744 |    78347      0 |      148 |      146
467.62/467.79	c  466s |      11 |    53490 |    21844 |    78347      0 |      148 |      146
470.32/470.48	c  468s |      11 |    53636 |    21944 |    78347      0 |      148 |      146
473.02/473.14	c  471s |      11 |    53901 |    22144 |    78347      0 |      148 |      146
475.82/475.97	c  474s |      11 |    54145 |    22344 |    78347      0 |      148 |      146
478.62/478.79	c  477s |      11 |    54485 |    22544 |    78347      0 |      148 |      146
481.52/481.68	c  480s |      11 |    54626 |    22644 |    78347      0 |      148 |      146
484.62/484.75	c  483s |      11 |    54862 |    22844 |    78347      0 |      148 |      146
487.41/487.52	c  485s |      11 |    55122 |    23044 |    78347      0 |      148 |      146
489.61/489.74	c  488s |      11 |    55288 |    23144 |    78347      0 |      148 |      146
492.11/492.27	c  490s |      11 |    55427 |    23244 |    78347      0 |      148 |      146
494.92/495.04	c  493s |      11 |    55567 |    23344 |    78347      0 |      148 |      146
497.22/497.37	c  495s |      11 |    55806 |    23544 |    78347      0 |      148 |      146
500.21/500.32	c  498s |      11 |    56061 |    23744 |    78347      0 |      148 |      146
503.11/503.27	c  501s |      11 |    56303 |    23944 |    78347      0 |      148 |      146
505.41/505.51	c  503s |      11 |    56639 |    24144 |    78347      0 |      148 |      146
507.71/507.87	c  506s |      11 |    57004 |    24344 |    78347      0 |      148 |      146
510.01/510.14	c  508s |      11 |    57363 |    24544 |    78347      0 |      148 |      146
512.81/512.96	c  511s |      11 |    57728 |    24844 |    78347      0 |      148 |      146
515.82/515.96	c  514s |      11 |    58499 |    25144 |    78347      0 |      148 |      146
517.81/517.97	c  516s |      11 |    58963 |    25344 |    78347      0 |      148 |      146
520.11/520.24	c  518s |      11 |    59566 |    25544 |    78347      0 |      148 |      146
522.81/522.96	c  521s |      11 |    60060 |    25744 |    86182      0 |      148 |      146
524.11/524.23	c  522s |      12 |    60168 |    25819 |    86182      0 |      148 |      146
527.11/527.22	c  525s |      12 |    60711 |    26019 |    86182      0 |      148 |      146
530.31/530.49	c  528s |      12 |    61031 |    26219 |    86182      0 |      148 |      146
532.81/532.91	c  531s |      12 |    61162 |    26319 |    86182      0 |      148 |      146
536.81/536.95	c  535s |      12 |    61296 |    26419 |    86182      0 |      148 |      146
540.21/540.32	c  538s |      12 |    61424 |    26519 |    86182      0 |      148 |      146
544.00/544.17	c  542s |      12 |    61553 |    26619 |    86182      0 |      148 |      146
546.40/546.54	c  545s |      12 |    61683 |    26719 |    86182      0 |      148 |      146
549.70/549.87	c  548s |      12 |    62074 |    26919 |    86182      0 |      148 |      146
551.90/552.01	c  550s |      12 |    62482 |    27119 |    86182      0 |      148 |      146
554.00/554.12	c  552s |      12 |    63314 |    27319 |    86182      0 |      148 |      146
556.70/556.86	c  555s |      12 |    63716 |    27519 |    86182      0 |      148 |      146
559.50/559.66	c  558s |      12 |    64486 |    27819 |    86182      0 |      148 |      146
562.80/562.93	c  561s |      12 |    65016 |    28119 |    86182      0 |      148 |      146
565.41/565.53	c  564s |      12 |    65332 |    28319 |    86182      0 |      148 |      146
569.00/569.16	c  567s |      12 |    65793 |    28519 |    86182      0 |      148 |      146
573.01/573.20	c  571s |      12 |    66238 |    28719 |    86182      0 |      148 |      146
576.10/576.20	c  574s |      12 |    66583 |    28919 |    86182      0 |      148 |      146
579.20/579.35	c  577s |      12 |    66972 |    29119 |    86182      0 |      148 |      146
582.50/582.63	c  581s |      12 |    67275 |    29319 |    86182      0 |      148 |      146
585.80/585.96	c  584s |      12 |    67586 |    29519 |    86182      0 |      148 |      146
588.80/588.98	c  587s |      12 |    67908 |    29719 |    86182      0 |      148 |      146
590.90/591.06	c  589s |      12 |    68212 |    29919 |    86182      0 |      148 |      146
594.30/594.41	c  592s |      12 |    68628 |    30219 |    86182      0 |      148 |      146
597.50/597.62	c  596s |      12 |    69059 |    30419 |    86182      0 |      148 |      146
599.60/599.73	c  598s |      12 |    69415 |    30619 |    86182      0 |      148 |      146
601.70/601.84	c  600s |      12 |    69669 |    30819 |    86182      0 |      148 |      146
604.90/605.02	c  603s |      12 |    70422 |    31119 |    86182      0 |      148 |      146
608.09/608.21	c  606s |      12 |    71034 |    31419 |    86182      0 |      148 |      146
610.29/610.50	c  608s |      12 |    71451 |    31619 |    86182      0 |      148 |      146
613.59/613.76	c  612s |      12 |    71984 |    31919 |    86182      0 |      148 |      146
615.69/615.87	c  614s |      12 |    72390 |    32119 |    86182      0 |      148 |      146
618.59/618.76	c  617s |      12 |    73064 |    32419 |    86182      0 |      148 |      146
621.50/621.69	c  620s |      12 |    73876 |    32719 |    86182      0 |      148 |      146
623.79/623.96	c  622s |      12 |    74167 |    32919 |    86182      0 |      148 |      146
626.59/626.75	c  625s |      12 |    74687 |    33219 |    86182      0 |      148 |      146
628.79/628.90	c  627s |      12 |    75035 |    33419 |    86182      0 |      148 |      146
630.99/631.19	c  629s |      12 |    75550 |    33619 |    86182      0 |      148 |      146
633.29/633.47	c  631s |      12 |    76200 |    33819 |    86182      0 |      148 |      146
635.39/635.53	c  634s |      12 |    76782 |    34019 |    86182      0 |      148 |      146
638.29/638.41	c  636s |      12 |    77360 |    34319 |    86182      0 |      148 |      146
640.59/640.79	c  639s |      12 |    77785 |    34519 |    86182      0 |      148 |      146
642.89/643.08	c  641s |      12 |    78115 |    34719 |    86182      0 |      148 |      146
645.29/645.42	c  643s |      12 |    78527 |    34919 |    86182      0 |      148 |      146
647.49/647.66	c  646s |      12 |    78827 |    35119 |    86182      0 |      148 |      146
650.49/650.60	c  649s |      12 |    79215 |    35319 |    86182      0 |      148 |      146
653.89/654.08	c  652s |      12 |    79473 |    35519 |    86182      0 |      148 |      146
657.69/657.89	c  656s |      12 |    79816 |    35719 |    86182      0 |      148 |      146
660.58/660.73	c  659s |      12 |    80201 |    35919 |    86182      0 |      148 |      146
663.58/663.72	c  662s |      12 |    80502 |    36119 |    86182      0 |      148 |      146
666.38/666.57	c  665s |      12 |    80863 |    36319 |    86182      0 |      148 |      146
669.08/669.27	c  667s |      12 |    81136 |    36519 |    86182      0 |      148 |      146
671.78/671.90	c  670s |      12 |    81400 |    36719 |    86182      0 |      148 |      146
673.98/674.10	c  672s |      12 |    81726 |    36919 |    86182      0 |      148 |      146
676.18/676.35	c  674s |      12 |    82013 |    37119 |    86182      0 |      148 |      146
678.28/678.42	c  676s |      12 |    82329 |    37319 |    86182      0 |      148 |      146
680.98/681.18	c  679s |      12 |    82943 |    37619 |    86182      0 |      148 |      146
683.98/684.17	c  682s |      12 |    83556 |    37919 |    86182      0 |      148 |      146
686.88/687.02	c  685s |      12 |    83825 |    38119 |    86182      0 |      148 |      146
689.08/689.23	c  687s |      12 |    84238 |    38319 |    86182      0 |      148 |      146
691.18/691.33	c  689s |      12 |    84791 |    38519 |    86182      0 |      148 |      146
693.99/694.17	c  692s |      12 |    85688 |    38819 |    94801      0 |      148 |      146
694.09/694.30	c  692s |      13 |    85703 |    38832 |    94801      0 |      148 |      146
696.78/696.97	c  695s |      13 |    85983 |    38932 |    94801      0 |      148 |      146
699.78/699.97	c  698s |      13 |    86505 |    39232 |    94801      0 |      148 |      146
701.98/702.17	c  700s |      13 |    86869 |    39432 |    94801      0 |      148 |      146
704.68/704.87	c  703s |      13 |    87136 |    39632 |    94801      0 |      148 |      146
707.08/707.23	c  705s |      13 |    87295 |    39732 |    94801      0 |      148 |      146
711.08/711.25	c  709s |      13 |    87445 |    39832 |    94801      0 |      148 |      146
713.08/713.26	c  711s |      13 |    87575 |    39932 |    94801      0 |      148 |      146
715.78/715.93	c  714s |      13 |    87709 |    40032 |    94801      0 |      148 |      146
717.77/717.95	c  716s |      13 |    87862 |    40132 |    94801      0 |      148 |      146
721.77/721.98	c  720s |      13 |    88159 |    40332 |    94801      0 |      148 |      146
724.97/725.11	c  723s |      13 |    88330 |    40432 |    94801      0 |      148 |      146
727.47/727.60	c  726s |      13 |    88655 |    40532 |    94801      0 |      148 |      146
730.17/730.33	c  728s |      13 |    88841 |    40632 |    94801      0 |      148 |      146
734.27/734.46	c  732s |      13 |    89254 |    40832 |    94801      0 |      148 |      146
736.77/736.97	c  735s |      13 |    89418 |    40932 |    94801      0 |      148 |      146
738.97/739.12	c  737s |      13 |    89949 |    41132 |    94801      0 |      148 |      146
741.07/741.21	c  739s |      13 |    90402 |    41332 |    94801      0 |      148 |      146
743.07/743.28	c  741s |      13 |    90713 |    41532 |    94801      0 |      148 |      146
746.17/746.31	c  744s |      13 |    91312 |    41832 |    94801      0 |      148 |      146
749.87/750.07	c  748s |      13 |    91749 |    42032 |    94801      0 |      148 |      146
752.77/752.93	c  751s |      13 |    91923 |    42132 |    94801      0 |      148 |      146
754.97/755.12	c  753s |      13 |    92104 |    42232 |    94801      0 |      148 |      146
758.57/758.73	c  757s |      13 |    92226 |    42332 |    94801      0 |      148 |      146
761.67/761.85	c  760s |      13 |    92335 |    42432 |    94801      0 |      148 |      146
766.67/766.81	c  765s |      13 |    92462 |    42532 |    94801      0 |      148 |      146
771.07/771.28	c  769s |      13 |    92584 |    42632 |    94801      0 |      148 |      146
775.27/775.48	c  773s |      13 |    92702 |    42732 |    94801      0 |      148 |      146
778.86/779.03	c  777s |      13 |    92840 |    42832 |    94801      0 |      148 |      146
782.56/782.70	c  781s |      13 |    92957 |    42932 |    94801      0 |      148 |      146
786.56/786.73	c  785s |      13 |    93078 |    43032 |    94801      0 |      148 |      146
790.06/790.22	c  788s |      13 |    93197 |    43132 |    94801      0 |      148 |      146
792.86/793.08	c  791s |      13 |    93318 |    43232 |    94801      0 |      148 |      146
796.66/796.82	c  795s |      13 |    93437 |    43332 |    94801      0 |      148 |      146
801.26/801.40	c  799s |      13 |    93563 |    43432 |    94801      0 |      148 |      146
805.77/805.95	c  804s |      13 |    93681 |    43532 |    94801      0 |      148 |      146
809.47/809.66	c  808s |      13 |    93811 |    43632 |    94801      0 |      148 |      146
813.77/813.90	c  812s |      13 |    93936 |    43732 |    94801      0 |      148 |      146
817.37/817.51	c  815s |      13 |    94081 |    43832 |    94801      0 |      148 |      146
820.27/820.42	c  818s |      13 |    94768 |    44132 |    94801      0 |      148 |      146
824.26/824.40	c  822s |      13 |    95325 |    44432 |    94801      0 |      148 |      146
826.86/827.06	c  825s |      13 |    95654 |    44632 |    94801      0 |      148 |      146
829.37/829.53	c  828s |      13 |    95884 |    44732 |    94801      0 |      148 |      146
831.47/831.66	c  830s |      13 |    96096 |    44832 |    94801      0 |      148 |      146
835.87/836.08	c  834s |      13 |    96300 |    44932 |    94801      0 |      148 |      146
838.17/838.37	c  836s |      13 |    96535 |    45032 |    94801      0 |      148 |      146
841.56/841.71	c  840s |      13 |    96679 |    45132 |    94801      0 |      148 |      146
844.46/844.63	c  843s |      13 |    96837 |    45232 |    94801      0 |      148 |      146
848.76/848.98	c  847s |      13 |    97011 |    45332 |    94801      0 |      148 |      146
854.26/854.49	c  852s |      13 |    98298 |    45632 |    94801      0 |      148 |      146
857.26/857.42	c  855s |      13 |    98777 |    45832 |    94801      0 |      148 |      146
859.86/860.03	c  858s |      13 |    99701 |    46032 |    94801      0 |      148 |      146
861.86/862.04	c  860s |      13 |    99838 |    46132 |    94801      0 |      148 |      146
864.36/864.59	c  863s |      13 |   100099 |    46332 |    94801      0 |      148 |      146
866.56/866.71	c  865s |      13 |   100236 |    46432 |    94801      0 |      148 |      146
868.66/868.89	c  867s |      13 |   100385 |    46532 |    94801      0 |      148 |      146
870.76/870.97	c  869s |      13 |   100848 |    46732 |    94801      0 |      148 |      146
872.86/873.06	c  871s |      13 |   101279 |    46932 |    94801      0 |      148 |      146
875.46/875.70	c  874s |      13 |   101753 |    47132 |    94801      0 |      148 |      146
877.66/877.83	c  876s |      13 |   102275 |    47332 |    94801      0 |      148 |      146
879.86/880.10	c  878s |      13 |   102633 |    47532 |    94801      0 |      148 |      146
882.16/882.35	c  880s |      13 |   102905 |    47732 |    94801      0 |      148 |      146
885.26/885.45	c  883s |      13 |   103480 |    47932 |    94801      0 |      148 |      146
889.35/889.59	c  888s |      13 |   103608 |    48032 |    94801      0 |      148 |      146
891.75/891.92	c  890s |      13 |   103772 |    48132 |    94801      0 |      148 |      146
895.65/895.86	c  894s |      13 |   103899 |    48232 |    94801      0 |      148 |      146
897.85/898.04	c  896s |      13 |   104057 |    48332 |    94801      0 |      148 |      146
900.45/900.66	c  899s |      13 |   104216 |    48432 |    94801      0 |      148 |      146
904.75/904.90	c  903s |      13 |   104557 |    48632 |    94801      0 |      148 |      146
907.85/908.08	c  906s |      13 |   104720 |    48732 |    94801      0 |      148 |      146
911.65/911.82	c  910s |      13 |   104857 |    48832 |    94801      0 |      148 |      146
914.35/914.56	c  913s |      13 |   105381 |    49032 |    94801      0 |      148 |      146
917.55/917.72	c  916s |      13 |   105630 |    49132 |    94801      0 |      148 |      146
920.75/920.90	c  919s |      13 |   105950 |    49332 |    94801      0 |      148 |      146
923.45/923.65	c  922s |      13 |   106110 |    49432 |    94801      0 |      148 |      146
926.55/926.73	c  925s |      13 |   106284 |    49532 |    94801      0 |      148 |      146
928.85/929.06	c  927s |      13 |   107267 |    49732 |    94801      0 |      148 |      146
931.05/931.20	c  929s |      13 |   107638 |    49932 |    94801      0 |      148 |      146
934.65/934.83	c  933s |      13 |   108076 |    50132 |    94801      0 |      148 |      146
938.25/938.41	c  936s |      13 |   108200 |    50232 |    94801      0 |      148 |      146
942.04/942.27	c  940s |      13 |   108340 |    50332 |    94801      0 |      148 |      146
945.14/945.38	c  943s |      13 |   108462 |    50432 |    94801      0 |      148 |      146
949.64/949.89	c  948s |      13 |   108595 |    50532 |    94801      0 |      148 |      146
953.34/953.55	c  952s |      13 |   108722 |    50632 |    94801      0 |      148 |      146
956.54/956.77	c  955s |      13 |   108839 |    50732 |    94801      0 |      148 |      146
959.54/959.79	c  958s |      13 |   108977 |    50832 |    94801      0 |      148 |      146
962.24/962.43	c  960s |      13 |   109098 |    50932 |    94801      0 |      148 |      146
964.55/964.72	c  963s |      13 |   109228 |    51032 |    94801      0 |      148 |      146
968.44/968.67	c  967s |      13 |   109330 |    51132 |    94801      0 |      148 |      146
971.84/972.00	c  970s |      13 |   109445 |    51232 |    94801      0 |      148 |      146
975.04/975.20	c  973s |      13 |   109563 |    51332 |    94801      0 |      148 |      146
977.64/977.88	c  976s |      13 |   109678 |    51432 |    94801      0 |      148 |      146
980.64/980.86	c  979s |      13 |   109826 |    51532 |    94801      0 |      148 |      146
983.34/983.59	c  982s |      13 |   110012 |    51632 |    94801      0 |      148 |      146
986.34/986.57	c  985s |      13 |   110275 |    51732 |    94801      0 |      148 |      146
988.84/989.02	c  987s |      13 |   110408 |    51832 |    94801      0 |      148 |      146
993.04/993.23	c  991s |      13 |   110549 |    51932 |    94801      0 |      148 |      146
996.73/996.99	c  995s |      13 |   110712 |    52032 |    94801      0 |      148 |      146
998.93/999.11	c  997s |      13 |   110961 |    52132 |    94801      0 |      148 |      146
1001.03/1001.26	c  999s |      13 |   111151 |    52232 |    94801      0 |      148 |      146
1003.23/1003.46	c 1001s |      13 |   111301 |    52332 |    94801      0 |      148 |      146
1005.53/1005.72	c 1004s |      13 |   111906 |    52532 |    94801      0 |      148 |      146
1007.73/1007.93	c 1006s |      13 |   112632 |    52732 |    94801      0 |      148 |      146
1010.93/1011.14	c 1009s |      13 |   113048 |    53032 |    94801      0 |      148 |      146
1013.13/1013.31	c 1011s |      13 |   113355 |    53232 |    94801      0 |      148 |      146
1016.53/1016.75	c 1015s |      13 |   113770 |    53432 |    94801      0 |      148 |      146
1018.63/1018.90	c 1017s |      13 |   114323 |    53632 |    94801      0 |      148 |      146
1021.03/1021.27	c 1019s |      13 |   114740 |    53832 |    94801      0 |      148 |      146
1023.13/1023.32	c 1021s |      13 |   115175 |    53932 |    94801      0 |      148 |      146
1025.63/1025.86	c 1024s |      13 |   115472 |    54132 |    94801      0 |      148 |      146
1027.73/1027.93	c 1026s |      13 |   116016 |    54332 |    94801      0 |      148 |      146
1029.73/1029.98	c 1028s |      13 |   116423 |    54532 |    94801      0 |      148 |      146
1033.23/1033.41	c 1031s |      13 |   116908 |    54732 |    94801      0 |      148 |      146
1036.04/1036.23	c 1034s |      13 |   117303 |    54932 |    94801      0 |      148 |      146
1038.83/1039.02	c 1037s |      13 |   118032 |    55232 |    94801      0 |      148 |      146
1041.93/1042.12	c 1040s |      13 |   118513 |    55432 |    94801      0 |      148 |      146
1044.03/1044.22	c 1042s |      13 |   119156 |    55632 |    94801      0 |      148 |      146
1046.33/1046.51	c 1044s |      13 |   119564 |    55832 |    94801      0 |      148 |      146
1048.43/1048.66	c 1047s |      13 |   120019 |    56032 |    94801      0 |      148 |      146
1050.63/1050.82	c 1049s |      13 |   121073 |    56232 |    94801      0 |      148 |      146
1052.93/1053.10	c 1051s |      13 |   121393 |    56432 |    94801      0 |      148 |      146
1055.23/1055.48	c 1053s |      13 |   121645 |    56632 |    94801      0 |      148 |      146
1057.53/1057.71	c 1056s |      13 |   121910 |    56832 |    94801      0 |      148 |      146
1059.72/1059.96	c 1058s |      13 |   122139 |    57032 |    94801      0 |      148 |      146
1061.92/1062.17	c 1060s |      13 |   122510 |    57232 |    94801      0 |      148 |      146
1064.02/1064.25	c 1062s |      13 |   122958 |    57432 |    94801      0 |      148 |      146
1066.32/1066.56	c 1065s |      13 |   123292 |    57632 |    94801      0 |      148 |      146
1068.52/1068.73	c 1067s |      13 |   123674 |    57832 |    94801      0 |      148 |      146
1072.12/1072.32	c 1070s |      13 |   123978 |    58032 |   104282      0 |      148 |      146
1075.02/1075.27	c 1073s |      13 |   124283 |    58232 |   104282      0 |      148 |      146
1076.22/1076.45	c 1074s |      14 |   124440 |    58352 |   104282      0 |      148 |      146
1078.82/1079.08	c 1077s |      14 |   124743 |    58552 |   104282      0 |      148 |      146
1081.72/1081.96	c 1080s |      14 |   125017 |    58752 |   104282      0 |      148 |      146
1084.62/1084.87	c 1083s |      14 |   125309 |    58952 |   104282      0 |      148 |      146
1089.22/1089.43	c 1087s |      14 |   125585 |    59152 |   104282      0 |      148 |      146
1091.22/1091.50	c 1089s |      14 |   125770 |    59252 |   104282      0 |      148 |      146
1093.52/1093.70	c 1092s |      14 |   126189 |    59452 |   104282      0 |      148 |      146
1095.52/1095.73	c 1094s |      14 |   126740 |    59652 |   104282      0 |      148 |      146
1098.92/1099.11	c 1097s |      14 |   127132 |    59852 |   104282      0 |      148 |      146
1102.71/1102.92	c 1101s |      14 |   127390 |    60052 |   104282      0 |      148 |      146
1105.01/1105.23	c 1103s |      14 |   127548 |    60152 |   104282      0 |      148 |      146
1107.31/1107.58	c 1106s |      14 |   127690 |    60252 |   104282      0 |      148 |      146
1111.61/1111.89	c 1110s |      14 |   127975 |    60452 |   104282      0 |      148 |      146
1113.91/1114.15	c 1112s |      14 |   128108 |    60552 |   104282      0 |      148 |      146
1116.21/1116.49	c 1114s |      14 |   128232 |    60652 |   104282      0 |      148 |      146
1118.91/1119.18	c 1117s |      14 |   128357 |    60752 |   104282      0 |      148 |      146
1121.21/1121.49	c 1119s |      14 |   128493 |    60852 |   104282      0 |      148 |      146
1124.71/1124.91	c 1123s |      14 |   128720 |    61052 |   104282      0 |      148 |      146
1127.21/1127.45	c 1125s |      14 |   128838 |    61152 |   104282      0 |      148 |      146
1129.52/1129.79	c 1128s |      14 |   128954 |    61252 |   104282      0 |      148 |      146
1131.91/1132.13	c 1130s |      14 |   129065 |    61352 |   104282      0 |      148 |      146
1135.21/1135.43	c 1133s |      14 |   129315 |    61552 |   104282      0 |      148 |      146
1137.91/1138.11	c 1136s |      14 |   129591 |    61752 |   104282      0 |      148 |      146
1140.51/1140.73	c 1139s |      14 |   129848 |    61952 |   104282      0 |      148 |      146
1143.01/1143.20	c 1141s |      14 |   130101 |    62152 |   104282      0 |      148 |      146
1145.81/1146.05	c 1144s |      14 |   130543 |    62452 |   104282      0 |      148 |      146
1148.21/1148.45	c 1146s |      14 |   130793 |    62652 |   104282      0 |      148 |      146
1150.51/1150.76	c 1149s |      14 |   131076 |    62852 |   104282      0 |      148 |      146
1152.61/1152.89	c 1151s |      14 |   131343 |    63052 |   104282      0 |      148 |      146
1155.60/1155.82	c 1154s |      14 |   131967 |    63352 |   104282      0 |      148 |      146
1158.70/1158.92	c 1157s |      14 |   132272 |    63552 |   104282      0 |      148 |      146
1161.20/1161.43	c 1159s |      14 |   133246 |    63852 |   104282      0 |      148 |      146
1164.10/1164.32	c 1162s |      14 |   134004 |    64152 |   104282      0 |      148 |      146
1167.39/1167.63	c 1166s |      14 |   134288 |    64352 |   104282      0 |      148 |      146
1170.59/1170.86	c 1169s |      14 |   134571 |    64552 |   104282      0 |      148 |      146
1173.50/1173.80	c 1172s |      14 |   135079 |    64852 |   104282      0 |      148 |      146
1176.09/1176.39	c 1174s |      14 |   135499 |    65152 |   104282      0 |      148 |      146
1179.00/1179.27	c 1177s |      14 |   135945 |    65452 |   104282      0 |      148 |      146
1181.89/1182.11	c 1180s |      14 |   136391 |    65752 |   104282      0 |      148 |      146
1184.60/1184.89	c 1183s |      14 |   136892 |    66052 |   104282      0 |      148 |      146
1187.39/1187.61	c 1186s |      14 |   137316 |    66352 |   104282      0 |      148 |      146
1189.39/1189.69	c 1188s |      14 |   137585 |    66552 |   104282      0 |      148 |      146
1192.30/1192.51	c 1190s |      14 |   138070 |    66852 |   104282      0 |      148 |      146
1195.39/1195.67	c 1194s |      14 |   138571 |    67152 |   104282      0 |      148 |      146
1197.59/1197.87	c 1196s |      14 |   138861 |    67352 |   104282      0 |      148 |      146
1200.09/1200.31	c 1198s |      14 |   139155 |    67552 |   104282      0 |      148 |      146
1203.08/1203.40	c 1201s |      14 |   139771 |    67852 |   104282      0 |      148 |      146
1205.28/1205.60	c 1204s |      14 |   140051 |    68052 |   104282      0 |      148 |      146
1208.08/1208.37	c 1206s |      14 |   140489 |    68352 |   104282      0 |      148 |      146
1211.18/1211.43	c 1209s |      14 |   140909 |    68652 |   104282      0 |      148 |      146
1213.38/1213.66	c 1212s |      14 |   141192 |    68852 |   104282      0 |      148 |      146
1216.68/1216.95	c 1215s |      14 |   141607 |    69152 |   104282      0 |      148 |      146
1219.58/1219.87	c 1218s |      14 |   142030 |    69452 |   104282      0 |      148 |      146
1221.78/1222.06	c 1220s |      14 |   142300 |    69652 |   104282      0 |      148 |      146
1223.88/1224.16	c 1222s |      14 |   142604 |    69852 |   104282      0 |      148 |      146
1225.97/1226.21	c 1224s |      14 |   142869 |    70052 |   104282      0 |      148 |      146
1228.07/1228.33	c 1226s |      14 |   143177 |    70252 |   104282      0 |      148 |      146
1230.47/1230.73	c 1229s |      14 |   143450 |    70452 |   104282      0 |      148 |      146
1232.67/1232.90	c 1231s |      14 |   143744 |    70652 |   104282      0 |      148 |      146
1235.18/1235.47	c 1233s |      14 |   144013 |    70852 |   104282      0 |      148 |      146
1237.77/1238.03	c 1236s |      14 |   144249 |    71052 |   104282      0 |      148 |      146
1240.87/1241.11	c 1239s |      14 |   144490 |    71252 |   104282      0 |      148 |      146
1244.37/1244.63	c 1243s |      14 |   144746 |    71452 |   104282      0 |      148 |      146
1246.97/1247.23	c 1245s |      14 |   144970 |    71652 |   104282      0 |      148 |      146
1250.86/1251.12	c 1249s |      14 |   145242 |    71852 |   104282      0 |      148 |      146
1252.96/1253.20	c 1251s |      14 |   145383 |    71952 |   104282      0 |      148 |      146
1257.17/1257.43	c 1255s |      14 |   145649 |    72152 |   104282      0 |      148 |      146
1259.86/1260.18	c 1258s |      14 |   145944 |    72352 |   104282      0 |      148 |      146
1262.66/1262.92	c 1261s |      14 |   146420 |    72652 |   104282      0 |      148 |      146
1265.86/1266.18	c 1264s |      14 |   146696 |    72852 |   104282      0 |      148 |      146
1268.06/1268.34	c 1266s |      14 |   146867 |    72952 |   104282      0 |      148 |      146
1271.26/1271.56	c 1270s |      14 |   146988 |    73052 |   104282      0 |      148 |      146
1274.35/1274.65	c 1273s |      14 |   147260 |    73252 |   104282      0 |      148 |      146
1277.25/1277.54	c 1276s |      14 |   147867 |    73552 |   104282      0 |      148 |      146
1279.45/1279.75	c 1278s |      14 |   148271 |    73752 |   104282      0 |      148 |      146
1281.55/1281.85	c 1280s |      14 |   148583 |    73952 |   104282      0 |      148 |      146
1283.66/1283.92	c 1282s |      14 |   148877 |    74152 |   104282      0 |      148 |      146
1285.67/1285.94	c 1284s |      14 |   149229 |    74352 |   104282      0 |      148 |      146
1288.56/1288.89	c 1287s |      14 |   149712 |    74652 |   104282      0 |      148 |      146
1290.66/1290.94	c 1289s |      14 |   149964 |    74852 |   104282      0 |      148 |      146
1293.37/1293.68	c 1292s |      14 |   150491 |    75152 |   104282      0 |      148 |      146
1296.26/1296.52	c 1294s |      14 |   150950 |    75452 |   104282      0 |      148 |      146
1298.26/1298.54	c 1297s |      14 |   151308 |    75652 |   104282      0 |      148 |      146
1300.36/1300.64	c 1299s |      14 |   151559 |    75852 |   104282      0 |      148 |      146
1303.26/1303.52	c 1301s |      14 |   152022 |    76152 |   104282      0 |      148 |      146
1305.76/1306.00	c 1304s |      14 |   152274 |    76352 |   104282      0 |      148 |      146
1308.26/1308.55	c 1307s |      14 |   152696 |    76552 |   104282      0 |      148 |      146
1310.96/1311.21	c 1309s |      14 |   152955 |    76752 |   104282      0 |      148 |      146
1313.06/1313.37	c 1311s |      14 |   153254 |    76952 |   104282      0 |      148 |      146
1316.36/1316.64	c 1315s |      14 |   153850 |    77252 |   104282      0 |      148 |      146
1318.36/1318.65	c 1317s |      14 |   153985 |    77352 |   104282      0 |      148 |      146
1321.56/1321.80	c 1320s |      14 |   154429 |    77552 |   104282      0 |      148 |      146
1324.35/1324.62	c 1323s |      14 |   154683 |    77752 |   104282      0 |      148 |      146
1327.56/1327.81	c 1326s |      14 |   155009 |    77952 |   104282      0 |      148 |      146
1330.55/1330.86	c 1329s |      14 |   155381 |    78152 |   104282      0 |      148 |      146
1332.85/1333.14	c 1331s |      14 |   155578 |    78252 |   104282      0 |      148 |      146
1335.85/1336.13	c 1334s |      14 |   155954 |    78452 |   104282      0 |      148 |      146
1337.95/1338.24	c 1336s |      14 |   156091 |    78552 |   104282      0 |      148 |      146
1340.25/1340.55	c 1339s |      14 |   156396 |    78752 |   104282      0 |      148 |      146
1342.55/1342.83	c 1341s |      14 |   156679 |    78952 |   104282      0 |      148 |      146
1345.25/1345.59	c 1344s |      14 |   157110 |    79252 |   104282      0 |      148 |      146
1348.25/1348.52	c 1346s |      14 |   157707 |    79552 |   104282      0 |      148 |      146
1350.25/1350.54	c 1349s |      14 |   157983 |    79752 |   104282      0 |      148 |      146
1352.55/1352.88	c 1351s |      14 |   158329 |    79952 |   104282      0 |      148 |      146
1355.15/1355.43	c 1353s |      14 |   158568 |    80152 |   104282      0 |      148 |      146
1359.25/1359.56	c 1358s |      14 |   158831 |    80352 |   104282      0 |      148 |      146
1362.55/1362.82	c 1361s |      14 |   159072 |    80552 |   104282      0 |      148 |      146
1364.95/1365.24	c 1363s |      14 |   159209 |    80652 |   104282      0 |      148 |      146
1367.65/1367.97	c 1366s |      14 |   159337 |    80752 |   104282      0 |      148 |      146
1370.15/1370.41	c 1368s |      14 |   159457 |    80852 |   104282      0 |      148 |      146
1373.05/1373.32	c 1371s |      14 |   159569 |    80952 |   104282      0 |      148 |      146
1375.15/1375.49	c 1373s |      14 |   159711 |    81052 |   104282      0 |      148 |      146
1377.64/1377.98	c 1376s |      14 |   159836 |    81152 |   104282      0 |      148 |      146
1379.94/1380.29	c 1378s |      14 |   159972 |    81252 |   104282      0 |      148 |      146
1384.65/1384.97	c 1383s |      14 |   160281 |    81452 |   104282      0 |      148 |      146
1386.74/1387.03	c 1385s |      14 |   160439 |    81552 |   104282      0 |      148 |      146
1388.84/1389.15	c 1387s |      14 |   160543 |    81652 |   104282      0 |      148 |      146
1391.74/1392.00	c 1390s |      14 |   160661 |    81752 |   104282      0 |      148 |      146
1394.04/1394.32	c 1392s |      14 |   160795 |    81852 |   104282      0 |      148 |      146
1396.34/1396.66	c 1395s |      14 |   160932 |    81952 |   104282      0 |      148 |      146
1398.95/1399.29	c 1397s |      14 |   161066 |    82052 |   104282      0 |      148 |      146
1402.74/1403.08	c 1401s |      14 |   161381 |    82252 |   104282      0 |      148 |      146
1405.34/1405.68	c 1404s |      14 |   161500 |    82352 |   104282      0 |      148 |      146
1407.75/1408.06	c 1406s |      14 |   161631 |    82452 |   104282      0 |      148 |      146
1410.64/1410.98	c 1409s |      14 |   161884 |    82652 |   104282      0 |      148 |      146
1415.34/1415.67	c 1414s |      14 |   162128 |    82852 |   104282      0 |      148 |      146
1417.75/1418.01	c 1416s |      14 |   162240 |    82952 |   104282      0 |      148 |      146
1420.24/1420.56	c 1419s |      14 |   162357 |    83052 |   104282      0 |      148 |      146
1422.54/1422.84	c 1421s |      14 |   162485 |    83152 |   104282      0 |      148 |      146
1425.94/1426.21	c 1424s |      14 |   162601 |    83252 |   104282      0 |      148 |      146
1430.34/1430.61	c 1429s |      14 |   162858 |    83452 |   104282      0 |      148 |      146
1433.84/1434.10	c 1432s |      14 |   163111 |    83652 |   104282      0 |      148 |      146
1438.44/1438.70	c 1437s |      14 |   163372 |    83852 |   104282      0 |      148 |      146
1442.03/1442.33	c 1440s |      14 |   163624 |    84052 |   104282      0 |      148 |      146
1445.03/1445.39	c 1443s |      14 |   163739 |    84152 |   104282      0 |      148 |      146
1447.34/1447.66	c 1446s |      14 |   163864 |    84252 |   104282      0 |      148 |      146
1451.03/1451.38	c 1449s |      14 |   164098 |    84452 |   104282      0 |      148 |      146
1453.33/1453.65	c 1452s |      14 |   164217 |    84552 |   104282      0 |      148 |      146
1455.53/1455.89	c 1454s |      14 |   164341 |    84652 |   104282      0 |      148 |      146
1459.63/1459.93	c 1458s |      14 |   164576 |    84852 |   104282      0 |      148 |      146
1461.93/1462.26	c 1460s |      14 |   164686 |    84952 |   104282      0 |      148 |      146
1465.53/1465.85	c 1464s |      14 |   164923 |    85152 |   104282      0 |      148 |      146
1470.44/1470.72	c 1469s |      14 |   165178 |    85352 |   104282      0 |      148 |      146
1473.03/1473.30	c 1471s |      14 |   165295 |    85452 |   104282      0 |      148 |      146
1475.23/1475.58	c 1474s |      14 |   165409 |    85552 |   104282      0 |      148 |      146
1477.93/1478.20	c 1476s |      14 |   165518 |    85652 |   104282      0 |      148 |      146
1482.03/1482.34	c 1480s |      14 |   165739 |    85852 |   104282      0 |      148 |      146
1485.73/1486.09	c 1484s |      14 |   165963 |    86052 |   104282      0 |      148 |      146
1489.43/1489.79	c 1488s |      14 |   166221 |    86252 |   104282      0 |      148 |      146
1491.63/1491.97	c 1490s |      14 |   166396 |    86352 |   104282      0 |      148 |      146
1494.82/1495.10	c 1493s |      14 |   166638 |    86552 |   104282      0 |      148 |      146
1498.32/1498.68	c 1497s |      14 |   166865 |    86752 |   104282      0 |      148 |      146
1503.22/1503.58	c 1502s |      14 |   167121 |    86952 |   104282      0 |      148 |      146
1507.52/1507.82	c 1506s |      14 |   167397 |    87152 |   114711      0 |      148 |      146
1509.62/1509.91	c 1508s |      14 |   167520 |    87252 |   114711      0 |      148 |      146
1511.72/1512.00	c 1510s |      14 |   167655 |    87352 |   114711      0 |      148 |      146
1514.32/1514.68	c 1513s |      14 |   167774 |    87452 |   114711      0 |      148 |      146
1516.92/1517.27	c 1515s |      14 |   167900 |    87552 |   114711      0 |      148 |      146
1519.32/1519.65	c 1518s |      15 |   167997 |    87632 |   114711      0 |      148 |      146
1522.52/1522.88	c 1521s |      15 |   168271 |    87832 |   114711      0 |      148 |      146
1525.53/1525.84	c 1524s |      15 |   168533 |    88032 |   114711      0 |      148 |      146
1528.73/1529.09	c 1527s |      15 |   168777 |    88232 |   114711      0 |      148 |      146
1532.03/1532.33	c 1530s |      15 |   169015 |    88432 |   114711      0 |      148 |      146
1535.33/1535.64	c 1534s |      15 |   169276 |    88632 |   114711      0 |      148 |      146
1538.63/1539.00	c 1537s |      15 |   169509 |    88832 |   114711      0 |      148 |      146
1541.92/1542.25	c 1540s |      15 |   169846 |    89032 |   114711      0 |      148 |      146
1545.32/1545.64	c 1544s |      15 |   170120 |    89232 |   114711      0 |      148 |      146
1547.82/1548.19	c 1546s |      15 |   170255 |    89332 |   114711      0 |      148 |      146
1551.52/1551.82	c 1550s |      15 |   170520 |    89532 |   114711      0 |      148 |      146
1555.12/1555.41	c 1553s |      15 |   170761 |    89732 |   114711      0 |      148 |      146
1558.71/1559.00	c 1557s |      15 |   171003 |    89932 |   114711      0 |      148 |      146
1561.91/1562.23	c 1560s |      15 |   171245 |    90132 |   114711      0 |      148 |      146
1565.41/1565.70	c 1564s |      15 |   171476 |    90332 |   114711      0 |      148 |      146
1569.01/1569.36	c 1567s |      15 |   171739 |    90532 |   114711      0 |      148 |      146
1572.31/1572.60	c 1571s |      15 |   172010 |    90732 |   114711      0 |      148 |      146
1575.31/1575.68	c 1574s |      15 |   172265 |    90932 |   114711      0 |      148 |      146
1578.41/1578.73	c 1577s |      15 |   172513 |    91132 |   114711      0 |      148 |      146
1580.81/1581.14	c 1579s |      15 |   172778 |    91332 |   114711      0 |      148 |      146
1583.91/1584.24	c 1582s |      15 |   173049 |    91532 |   114711      0 |      148 |      146
1586.91/1587.20	c 1585s |      15 |   173326 |    91732 |   114711      0 |      148 |      146
1589.71/1590.01	c 1588s |      15 |   173614 |    91932 |   114711      0 |      148 |      146
1592.31/1592.70	c 1591s |      15 |   173901 |    92132 |   114711      0 |      148 |      146
1594.72/1595.04	c 1593s |      15 |   174182 |    92332 |   114711      0 |      148 |      146
1598.12/1598.42	c 1596s |      15 |   174426 |    92532 |   114711      0 |      148 |      146
1600.81/1601.17	c 1599s |      15 |   174685 |    92732 |   114711      0 |      148 |      146
1603.41/1603.74	c 1602s |      15 |   174909 |    92932 |   114711      0 |      148 |      146
1606.30/1606.69	c 1605s |      15 |   175138 |    93132 |   114711      0 |      148 |      146
1609.50/1609.86	c 1608s |      15 |   175375 |    93332 |   114711      0 |      148 |      146
1612.90/1613.24	c 1611s |      15 |   175660 |    93532 |   114711      0 |      148 |      146
1616.40/1616.75	c 1615s |      15 |   175885 |    93732 |   114711      0 |      148 |      146
1619.90/1620.27	c 1618s |      15 |   176140 |    93932 |   114711      0 |      148 |      146
1623.31/1623.66	c 1622s |      15 |   176392 |    94132 |   114711      0 |      148 |      146
1626.40/1626.79	c 1625s |      15 |   176642 |    94332 |   114711      0 |      148 |      146
1629.80/1630.11	c 1628s |      15 |   176876 |    94532 |   114711      0 |      148 |      146
1633.61/1633.94	c 1632s |      15 |   177102 |    94732 |   114711      0 |      148 |      146
1637.31/1637.61	c 1636s |      15 |   177346 |    94932 |   114711      0 |      148 |      146
1640.61/1640.98	c 1639s |      15 |   177605 |    95132 |   114711      0 |      148 |      146
1644.71/1645.01	c 1643s |      15 |   177864 |    95332 |   114711      0 |      148 |      146
1648.11/1648.45	c 1646s |      15 |   178133 |    95532 |   114711      0 |      148 |      146
1651.60/1651.92	c 1650s |      15 |   178388 |    95732 |   114711      0 |      148 |      146
1655.21/1655.58	c 1654s |      15 |   178619 |    95932 |   114711      0 |      148 |      146
1657.80/1658.16	c 1656s |      15 |   178909 |    96132 |   114711      0 |      148 |      146
1660.40/1660.78	c 1659s |      15 |   179165 |    96332 |   114711      0 |      148 |      146
1663.70/1664.04	c 1662s |      15 |   179405 |    96532 |   114711      0 |      148 |      146
1666.70/1667.04	c 1665s |      15 |   179654 |    96732 |   114711      0 |      148 |      146
1670.10/1670.40	c 1668s |      15 |   179890 |    96932 |   114711      0 |      148 |      146
1673.50/1673.80	c 1672s |      15 |   180156 |    97132 |   114711      0 |      148 |      146
1676.80/1677.18	c 1675s |      15 |   180414 |    97332 |   114711      0 |      148 |      146
1680.30/1680.61	c 1679s |      15 |   180636 |    97532 |   114711      0 |      148 |      146
1683.50/1683.87	c 1682s |      15 |   180855 |    97732 |   114711      0 |      148 |      146
1686.60/1686.91	c 1685s |      15 |   181087 |    97932 |   114711      0 |      148 |      146
1689.31/1689.67	c 1688s |      15 |   181320 |    98132 |   114711      0 |      148 |      146
1692.30/1692.61	c 1691s |      15 |   181601 |    98332 |   114711      0 |      148 |      146
1695.20/1695.53	c 1694s |      15 |   181869 |    98532 |   114711      0 |      148 |      146
1698.10/1698.45	c 1696s |      15 |   182120 |    98732 |   114711      0 |      148 |      146
1701.10/1701.43	c 1699s |      15 |   182379 |    98932 |   114711      0 |      148 |      146
1704.30/1704.63	c 1703s |      15 |   182633 |    99132 |   114711      0 |      148 |      146
1707.60/1707.90	c 1706s |      15 |   182903 |    99332 |   114711      0 |      148 |      146
1710.80/1711.18	c 1709s |      15 |   183160 |    99532 |   114711      0 |      148 |      146
1714.30/1714.67	c 1713s |      15 |   183388 |    99732 |   114711      0 |      148 |      146
1717.49/1717.85	c 1716s |      15 |   183663 |    99932 |   114711      0 |      148 |      146
1720.79/1721.15	c 1719s |      15 |   183916 |   100132 |   114711      0 |      148 |      146
1724.19/1724.57	c 1723s |      15 |   184151 |   100332 |   114711      0 |      148 |      146
1727.59/1727.93	c 1726s |      15 |   184402 |   100532 |   114711      0 |      148 |      146
1730.99/1731.30	c 1729s |      15 |   184694 |   100732 |   114711      0 |      148 |      146
1734.19/1734.54	c 1733s |      15 |   184956 |   100932 |   114711      0 |      148 |      146
1737.09/1737.44	c 1735s |      15 |   185253 |   101132 |   114711      0 |      148 |      146
1740.29/1740.65	c 1739s |      15 |   185532 |   101332 |   114711      0 |      148 |      146
1743.59/1743.91	c 1742s |      15 |   185823 |   101532 |   114711      0 |      148 |      146
1746.19/1746.57	c 1745s |      15 |   186069 |   101732 |   114711      0 |      148 |      146
1749.19/1749.59	c 1748s |      15 |   186290 |   101932 |   114711      0 |      148 |      146
1752.39/1752.76	c 1751s |      15 |   186495 |   102132 |   114711      0 |      148 |      146
1755.59/1755.97	c 1754s |      15 |   186714 |   102332 |   114711      0 |      148 |      146
1758.79/1759.17	c 1757s |      15 |   186965 |   102532 |   114711      0 |      148 |      146
1761.99/1762.31	c 1760s |      15 |   187220 |   102732 |   114711      0 |      148 |      146
1764.89/1765.23	c 1763s |      15 |   187461 |   102932 |   114711      0 |      148 |      146
1767.79/1768.10	c 1766s |      15 |   187718 |   103132 |   114711      0 |      148 |      146
1770.59/1770.97	c 1769s |      15 |   187940 |   103332 |   114711      0 |      148 |      146
1773.38/1773.77	c 1772s |      15 |   188207 |   103532 |   114711      0 |      148 |      146
1775.98/1776.39	c 1774s |      15 |   188442 |   103732 |   114711      0 |      148 |      146
1778.68/1779.01	c 1777s |      15 |   188714 |   103932 |   114711      0 |      148 |      146
1781.18/1781.58	c 1780s |      15 |   188929 |   104132 |   114711      0 |      148 |      146
1783.99/1784.33	c 1782s |      15 |   189152 |   104332 |   114711      0 |      148 |      146
1786.68/1787.06	c 1785s |      15 |   189381 |   104532 |   114711      0 |      148 |      146
1789.68/1790.07	c 1788s |      15 |   189615 |   104732 |   114711      0 |      148 |      146
1792.28/1792.61	c 1791s |      15 |   189876 |   104932 |   114711      0 |      148 |      146
1794.89/1795.25	c 1793s |      15 |   190126 |   105132 |   114711      0 |      148 |      146
1797.68/1798.04	c 1796s |      15 |   190356 |   105332 |   114711      0 |      148 |      146

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

pid=16732
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.08 2.14 2.10 3/179 16735
/proc/meminfo: memFree=29500900/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 2533 0 0 0 0 0 0 0 20 0 4 0 110836954 697757696 3405 33554432000 4194304 16246674 140736908996080 140736908995504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 171119 3414 441 2943 0 168013 0
[pid=16735/tid=16736] ppid=16732 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 716632064 3476 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 720826368 3492 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 725020672 3510 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.08 2.14 2.10 3/179 16735
/proc/meminfo: memFree=29500900/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 27107 0 0 0 6 3 0 0 20 0 4 0 110836954 1333334016 27918 33554432000 4194304 16246674 140736908996080 140736908995392 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 325521 27934 800 2943 0 322415 0
[pid=16735/tid=16736] ppid=16732 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1333334016 27946 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1333334016 27958 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1333334016 27968 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20054 s]
/proc/loadavg: 2.08 2.14 2.10 3/179 16735
/proc/meminfo: memFree=29500900/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 45604 0 0 0 13 6 0 0 20 0 4 0 110836954 1344868352 46925 33554432000 4194304 16246674 140736908996080 140736908979072 8057066 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328337 46925 800 2943 0 325231 0
[pid=16735/tid=16736] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1344868352 46925 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1344868352 46925 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1344868352 46925 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300513 s]
/proc/loadavg: 2.08 2.14 2.10 3/179 16735
/proc/meminfo: memFree=29500900/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 56048 0 0 0 21 8 0 0 20 0 4 0 110836954 1344868352 57369 33554432000 4194304 16246674 140736908996080 140736908979072 4220982 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328337 57369 801 2943 0 325231 0
[pid=16735/tid=16736] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1344868352 57369 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1344868352 57369 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1344868352 57369 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.08 2.14 2.10 3/179 16735
/proc/meminfo: memFree=29500900/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 83635 0 0 0 58 11 0 0 20 0 4 0 110836954 1346965504 84957 33554432000 4194304 16246674 140736908996080 140736908979072 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 84966 837 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 84972 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 84978 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 84983 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.08 2.14 2.10 3/183 16739
/proc/meminfo: memFree=28855620/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 216665 0 0 0 118 31 0 0 20 0 4 0 110836954 1346965504 217986 33554432000 4194304 16246674 140736908996080 140736908995392 4206955 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 217986 843 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 217986 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 217986 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 217986 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.08 2.14 2.10 3/183 16739
/proc/meminfo: memFree=28629956/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 216720 0 0 0 278 31 0 0 20 0 4 0 110836954 1346965504 218041 33554432000 4194304 16246674 140736908996080 140736908977984 12483632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 218041 898 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 218041 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 218041 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 218041 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.08 2.14 2.10 3/183 16739
/proc/meminfo: memFree=28418312/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269532 0 0 0 591 38 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140736908977984 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270853 898 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.15 2.15 2.10 4/183 16739
/proc/meminfo: memFree=28418228/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269532 0 0 0 1231 38 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140736908977984 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270853 898 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.12 2.14 2.10 3/183 16739
/proc/meminfo: memFree=28418924/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269532 0 0 0 2510 38 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140736908977984 12483532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270853 898 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.08 2.13 2.09 3/183 16739
/proc/meminfo: memFree=28419056/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269532 0 0 0 5070 38 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140736908977984 12483532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270853 898 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270853 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.19 2.15 2.10 4/183 16740
/proc/meminfo: memFree=28418200/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269537 0 0 0 10190 38 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.11 2.19 2.16 3/183 16841
/proc/meminfo: memFree=28407944/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1302.06 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 130165 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5669543 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.08 2.16 2.15 3/183 16842
/proc/meminfo: memFree=28408112/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1362.05 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 136164 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.18 2.18 2.15 3/183 16843
/proc/meminfo: memFree=28408284/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1422.04 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 142163 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.22 2.19 2.16 3/183 16844
/proc/meminfo: memFree=28407808/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1482.03 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 148162 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5668720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.26 2.21 2.17 3/183 16846
/proc/meminfo: memFree=28407828/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1542.02 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 154161 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5710312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.26 2.21 2.17 3/184 16850
/proc/meminfo: memFree=28407704/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1602.01 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 160160 41 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5599982 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 16851
/proc/meminfo: memFree=28407376/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1662 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 166158 42 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5667620 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/182 16852
/proc/meminfo: memFree=28408060/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1721.99 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 172157 42 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 13780624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.17 4/183 16854
/proc/meminfo: memFree=28407496/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1781.98 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 178156 42 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 16856
/proc/meminfo: memFree=28407328/32872528 swapFree=12208/1156848
[pid=16735] ppid=16732 vsize=1315396 CPUtime=1800.08 cores=1,3,5,7
/proc/16735/stat : 16735 (toysat) R 16732 16735 15571 0 -1 4202496 269618 0 0 0 179966 42 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140736908977984 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16735/statm: 328849 270858 902 2943 0 325743 0
[pid=16735/tid=16736] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16736/stat : 16736 (toysat) S 16732 16735 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655110106352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16735/tid=16737] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16737/stat : 16737 (toysat) S 16732 16735 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110836954 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655099616496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16735/tid=16738] ppid=16732 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16735/task/16738/stat : 16738 (toysat) S 16732 16735 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110836955 1346965504 270858 33554432000 4194304 16246674 140736908996080 140655011556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1315396

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 16735 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.1
CPU user time (s): 1799.67
CPU system time (s): 0.423935
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.423935
maximum resident set size= 1083432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269618
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= 95
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43832 second user time and 7.10792 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 10:43:44
IDJOB=4080049
IDBENCH=90392
IDSOLVER=2542
FILE ID=node114/4080049-1465289024
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080049-1465289024/watcher-4080049-1465289024 -o /tmp/evaluation-result-4080049-1465289024/solver-4080049-1465289024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080049-1465289024.opb

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

MD5SUM BENCH= aa70ac3194742d51f6e4056a79ed9e8c
RANDOM SEED=222389022

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29501816 kB
Buffers:          148248 kB
Cached:           252244 kB
SwapCached:         1696 kB
Active:          1229376 kB
Inactive:         248828 kB
Active(anon):    1078784 kB
Inactive(anon):     1252 kB
Active(file):     150592 kB
Inactive(file):   247576 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18664 kB
Writeback:             0 kB
AnonPages:       2234032 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             602728 kB
SReclaimable:      46840 kB
SUnreclaim:       555888 kB
KernelStack:        1520 kB
PageTables:         8580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2377044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2217984 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= 71700 MiB
End job on node114 at 2016-06-07 11:13:44