Trace number 4117348

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.06 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM4388f70cc0fac0165a49b338c248bcae
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
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-29T16:25:09+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-4117348-1467210309.opb"]
0.00/0.01	c use --random-gen="3803171141 1479789341 3288740441 4067424835 4238937010 3676248110 3322864497 2743519350 2938917217 2363715202 2165947978 1878901455 3829893246 4133942648 417840279 1177180892 1209304482 1795203258 1652754556 2525784663 201248485 2442570538 1845853070 1873711257 139510837 532915813 2074759666 443735728 3351886331 3009518424 3926820431 2275674124 255624693 3353196303 2032452060 3171699019 403310042 1016135492 1440217183 1569412062 1350700675 4245884176 1664543173 2278064449 432540373 3907578352 1555957098 1518407595 1504102891 2355290449 387367367 1331669812 4281754441 2133843001 3050278747 2304879797 2913170083 2609779067 1603550280 1777795059 2355722846 724208332 1690192773 4232584797 3371661207 2792000579 2788954273 2688528663 173767600 1224927043 3001776349 1078069542 3923505149 1546531552 4240032349 2109311541 2496202385 57990889 558546489 3989326905 1582420786 2258388668 3385688309 2966682377 3296985250 2818836464 2008517777 2429662203 2336810887 93515062 773220264 2446241091 2843798662 2877123871 2114844891 4040072076 2670962595 3835406879 333231386 324532958 1528795677 1168730563 3250659841 3088944403 4277642445 617939584 802911427 87815190 596493026 716759450 2621309945 2052865236 2241369211 445298207 1414864583 428516970 4075216829 2860103209 153206087 3431006372 289885545 2857656097 3506189266 2869994608 313903291 3865071172 2279910366 1285061339 1294537375 2242936219 547893785 3222617872 3241609811 945503518 3085381349 1870472472 1551828940 2301973148 1943801557 2634792134 1250500136 3909971309 743319362 2886511153 2455870527 1616108673 28645052 1266124224 148222479 3837305278 4048053376 3181303707 955090269 2330187184 1791004632 823840939 3417797606 3964193845 1288342910 4178558422 40976800 354555689 3739164402 2797428518 506013930 3594870881 3345539791 814379512 2793147233 3523641185 1952523165 1474955457 1035046721 1675088343 3240618740 2085464776 4007882540 2209629774 4251124392 3077057555 2036582871 3370908944 3811495147 1069615560 2347283661 3540683215 2842450478 3267341331 4022007658 3940425121 460785698 4218406413 4261834129 2582062666 1005831137 2142411218 1933373151 1690330829 3942412945 4014301254 3249289511 2154760481 3483841382 1937304444 2035489138 4289866660 783688103 3654389390 2916578246 3508245288 874393978 3070685865 1075370273 252932997 1626621022 1013429927 289980280 3431518611 1969561762 1149121055 2137976536 4221877282 537957660 686423606 3411370888 2093298756 3846373731 60885189 1114810700 2746295329 59743243 2933401180 2615847508 1487813919 4108712395 3303078063 1921451973 1488721453 1950618425 980611622 3186600198 1187545121 120862420 3248201833 3298376785 3722486724 826825112 3917558774 1259031881 4286153440 1718180907 3145961604 2912477632 755030819 2865700715 3169586313 255 362436" option to reproduce the execution
0.18/0.23	c #vars 9632
0.18/0.23	c #constraints 29620
0.59/0.66	c BCD2: Hardening is enabled.
0.59/0.66	c BCD2: BiasedSearch is enabled.
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.67	c  0.0s |       0 |        0 |        0 |    13084      0 |        0 |        0
0.79/0.83	c  0.2s |       1 |     9388 |      100 |    13084      0 |        0 |        0
0.89/0.94	c  0.3s |       2 |    12177 |      250 |    14393      0 |        0 |        0
0.98/1.08	c  0.4s |       3 |    18047 |      475 |    15833      0 |        0 |        0
1.20/1.25	c  0.6s |       4 |    23895 |      813 |    17417      0 |        0 |        0
1.38/1.49	c  0.8s |       5 |    31292 |     1320 |    19159      0 |        0 |        0
1.79/1.89	c  1.2s |       6 |    45401 |     2081 |    23183      0 |        0 |        0
2.39/2.45	c  1.8s |       7 |    77394 |     3223 |    25502      0 |        0 |        0
3.49/3.58	c  2.9s |       8 |   132632 |     4936 |    28053      0 |        0 |        0
4.89/4.99	c  4.3s |       9 |   166646 |     7506 |    30859      0 |        0 |        0
6.89/6.98	c  6.3s |      10 |   221945 |    11361 |    33945      0 |        0 |        0
8.99/9.01	c  8.3s |      10 |   321512 |    13361 |    33945      0 |        0 |        0
10.29/10.37	c  9.7s |      11 |   325654 |    17144 |    37340      0 |        0 |        0
12.39/12.40	c 11.7s |      11 |   345305 |    21644 |    37340      0 |        0 |        0
14.19/14.21	c 13.5s |      12 |   349495 |    25819 |    41074      0 |        0 |        0
16.18/16.22	c 15.6s |      12 |   388301 |    30819 |    41074      0 |        0 |        0
18.18/18.23	c 17.6s |      12 |   393033 |    35219 |    41074      0 |        0 |        0
20.18/20.24	c 19.6s |      12 |   396595 |    38519 |    41074      0 |        0 |        0
20.38/20.44	c 19.8s |      13 |   396927 |    38832 |    45182      0 |        0 |        0
22.38/22.49	c 21.8s |      13 |   401163 |    42632 |    45182      0 |        0 |        0
24.48/24.58	c 23.9s |      13 |   404883 |    46132 |    45182      1 |        0 |        0
26.58/26.60	c 25.9s |      13 |   408199 |    49232 |    45182      1 |        0 |        0
28.59/28.64	c 28.0s |      13 |   410925 |    51732 |    45182      1 |        0 |        0
30.68/30.76	c 30.1s |      13 |   413831 |    54332 |    45182      1 |        0 |        0
32.78/32.83	c 32.2s |      13 |   416629 |    56832 |    45182      1 |        0 |        0
34.09/34.15	c 33.5s |      14 |   418336 |    58352 |    49701      1 |        0 |        0
36.08/36.18	c 35.5s |      14 |   471117 |    63552 |    49701      1 |        0 |        0
38.18/38.23	c 37.6s |      14 |   475385 |    67652 |    49701      1 |        0 |        0
40.18/40.25	c 39.6s |      14 |   479131 |    71252 |    49701      1 |        0 |        0
42.28/42.31	c 41.6s |      14 |   482158 |    74152 |    49701      1 |        0 |        0
44.28/44.39	c 43.7s |      14 |   484744 |    76652 |    49701      2 |        0 |        0
46.38/46.46	c 45.8s |      14 |   487222 |    79052 |    49701      2 |        0 |        0
48.38/48.47	c 47.8s |      14 |   488851 |    80652 |    49701      2 |        0 |        0
50.48/50.56	c 49.9s |      14 |   490931 |    82652 |    49701      2 |        0 |        0
52.68/52.75	c 52.1s |      14 |   492789 |    84452 |    49701      2 |        0 |        0
54.78/54.81	c 54.1s |      14 |   493788 |    85452 |    49701      2 |        0 |        0
56.78/56.87	c 56.2s |      14 |   495224 |    86852 |    49701      2 |        0 |        0
58.48/58.51	c 57.8s |      15 |   496045 |    87632 |    54672      2 |        0 |        0
60.49/60.51	c 59.8s |      15 |   580488 |    90632 |    54672      2 |        0 |        0
62.48/62.54	c 61.9s |      15 |   586708 |    96132 |    54672      2 |        0 |        0
64.48/64.57	c 63.9s |      15 |   590649 |    99832 |    54672      2 |        0 |        0
66.58/66.62	c 66.0s |      15 |   593983 |   103032 |    54672      2 |        0 |        0
68.58/68.62	c 68.0s |      15 |   596647 |   105632 |    54672      2 |        0 |        0
70.58/70.63	c 70.0s |      15 |   599131 |   108032 |    54672      2 |        0 |        0
72.69/72.71	c 72.0s |      15 |   601331 |   110132 |    54672      2 |        0 |        0
74.78/74.81	c 74.1s |      15 |   603022 |   111732 |    54672      3 |        0 |        0
76.88/76.92	c 76.3s |      15 |   605166 |   113832 |    54672      3 |        0 |        0
78.98/79.00	c 78.3s |      15 |   607095 |   115732 |    54672      3 |        0 |        0
81.38/81.40	c 80.7s |      15 |   614201 |   117432 |    54672      3 |        0 |        0
83.37/83.45	c 82.8s |      15 |   625830 |   120132 |    54672      3 |        0 |        0
85.57/85.61	c 84.9s |      15 |   627087 |   121332 |    54672      3 |        0 |        0
87.57/87.62	c 87.0s |      15 |   628096 |   122332 |    54672      3 |        0 |        0
89.57/89.69	c 89.0s |      15 |   629032 |   123232 |    54672      3 |        0 |        0
92.28/92.34	c 91.7s |      15 |   640864 |   124632 |    54672      3 |        0 |        0
94.28/94.37	c 93.7s |      15 |   650115 |   129132 |    54672      3 |        0 |        0
95.68/95.74	c 95.1s |      16 |   652782 |   131552 |    60140      3 |        0 |        0
99.37/99.42	c 98.8s |      16 |   657627 |   131652 |    60140      3 |        0 |        0
107.37/107.49	c  106s |      16 |   657730 |   131752 |    60140      3 |        0 |        0
111.37/111.46	c  110s |      16 |   658754 |   132752 |    60140      3 |        0 |        0
113.47/113.52	c  112s |      16 |   661559 |   135452 |    60140      3 |        0 |        0
115.47/115.52	c  114s |      16 |   664348 |   138152 |    60140      3 |        0 |        0
117.47/117.53	c  116s |      16 |   666603 |   140352 |    60140      3 |        0 |        0
119.46/119.54	c  118s |      16 |   668739 |   142352 |    60140      3 |        0 |        0
121.46/121.56	c  120s |      16 |   670677 |   144152 |    60140      3 |        0 |        0
123.56/123.62	c  122s |      16 |   672488 |   145852 |    60140      3 |        0 |        0
125.76/125.87	c  125s |      16 |   673796 |   147052 |    60140      4 |        0 |        0
127.87/127.98	c  127s |      16 |   675493 |   148652 |    60140      4 |        0 |        0
129.97/130.06	c  129s |      16 |   677359 |   150452 |    60140      4 |        0 |        0
131.97/132.07	c  131s |      16 |   678850 |   151852 |    60140      4 |        0 |        0
134.17/134.22	c  133s |      16 |   680332 |   153252 |    60140      4 |        0 |        0
136.27/136.35	c  135s |      16 |   681803 |   154652 |    60140      4 |        0 |        0
138.26/138.36	c  137s |      16 |   683179 |   155952 |    60140      4 |        0 |        0
140.36/140.41	c  139s |      16 |   684542 |   157252 |    60140      4 |        0 |        0
142.36/142.49	c  141s |      16 |   685948 |   158552 |    60140      4 |        0 |        0
144.46/144.50	c  143s |      16 |   687079 |   159652 |    60140      4 |        0 |        0
146.56/146.63	c  145s |      16 |   688339 |   160852 |    60140      4 |        0 |        0
148.76/148.80	c  148s |      16 |   689414 |   161852 |    60140      4 |        0 |        0
150.86/150.94	c  150s |      16 |   690346 |   162752 |    60140      4 |        0 |        0
152.97/153.01	c  152s |      16 |   691384 |   163752 |    60140      4 |        0 |        0
154.96/155.05	c  154s |      16 |   692328 |   164652 |    60140      4 |        0 |        0
157.06/157.13	c  156s |      16 |   693497 |   165752 |    60140      4 |        0 |        0
159.06/159.15	c  158s |      16 |   694639 |   166852 |    60140      4 |        0 |        0
161.26/161.32	c  160s |      16 |   695395 |   167552 |    60140      4 |        0 |        0
163.26/163.40	c  162s |      16 |   696435 |   168552 |    60140      4 |        0 |        0
165.36/165.44	c  164s |      16 |   697452 |   169552 |    60140      4 |        0 |        0
167.76/167.89	c  167s |      16 |   698309 |   170352 |    60140      4 |        0 |        0
170.06/170.12	c  169s |      16 |   698889 |   170852 |    60140      4 |        0 |        0
172.46/172.50	c  171s |      16 |   699520 |   171452 |    60140      4 |        0 |        0
174.46/174.51	c  173s |      16 |   700066 |   171952 |    60140      4 |        0 |        0
176.76/176.83	c  176s |      16 |   700723 |   172552 |    60140      4 |        0 |        0
178.96/179.00	c  178s |      16 |   701270 |   173052 |    60140      4 |        0 |        0
181.06/181.12	c  180s |      16 |   701908 |   173652 |    60140      4 |        0 |        0
183.36/183.47	c  182s |      16 |   702635 |   174352 |    60140      4 |        0 |        0
185.76/185.86	c  185s |      16 |   703258 |   174952 |    60140      4 |        0 |        0
188.07/188.15	c  187s |      16 |   703772 |   175452 |    60140      4 |        0 |        0
190.16/190.26	c  189s |      16 |   704383 |   176052 |    60140      4 |        0 |        0
192.26/192.37	c  191s |      16 |   705110 |   176752 |    60140      4 |        0 |        0
194.36/194.44	c  193s |      16 |   705959 |   177552 |    60140      4 |        0 |        0
196.36/196.47	c  195s |      16 |   706782 |   178352 |    60140      4 |        0 |        0
198.76/198.82	c  198s |      16 |   707536 |   179052 |    60140      4 |        0 |        0
200.86/200.99	c  200s |      16 |   708289 |   179752 |    60140      4 |        0 |        0
203.96/204.05	c  203s |      16 |   709052 |   180452 |    60140      5 |        0 |        0
206.66/206.79	c  206s |      16 |   709691 |   181052 |    60140      5 |        0 |        0
208.66/208.79	c  208s |      16 |   710720 |   182052 |    60140      5 |        0 |        0
210.85/210.99	c  210s |      16 |   711860 |   183152 |    60140      5 |        0 |        0
212.95/213.06	c  212s |      16 |   712904 |   184152 |    60140      5 |        0 |        0
215.15/215.24	c  214s |      16 |   714135 |   185352 |    60140      5 |        0 |        0
217.15/217.27	c  216s |      16 |   715291 |   186452 |    60140      5 |        0 |        0
219.15/219.29	c  218s |      16 |   716323 |   187452 |    60140      5 |        0 |        0
221.65/221.75	c  221s |      16 |   717042 |   188152 |    60140      5 |        0 |        0
223.65/223.77	c  223s |      16 |   717682 |   188752 |    60140      5 |        0 |        0
225.85/225.97	c  225s |      16 |   718473 |   189452 |    60140      5 |        0 |        0
227.95/228.01	c  227s |      16 |   719321 |   190252 |    60140      5 |        0 |        0
230.05/230.10	c  229s |      16 |   720082 |   190952 |    60140      5 |        0 |        0
232.25/232.31	c  231s |      16 |   720895 |   191752 |    60140      5 |        0 |        0
234.26/234.34	c  233s |      16 |   721520 |   192352 |    60140      5 |        0 |        0
236.46/236.52	c  235s |      16 |   722153 |   192952 |    60140      5 |        0 |        0
238.55/238.64	c  237s |      16 |   722776 |   193552 |    60140      5 |        0 |        0
240.55/240.67	c  240s |      16 |   723397 |   194152 |    60140      5 |        0 |        0
246.85/246.97	c  246s |      16 |   724041 |   194752 |    60140      5 |        0 |        0
249.15/249.24	c  248s |      16 |   724801 |   195452 |    60140      5 |        0 |        0
251.15/251.25	c  250s |      16 |   725438 |   196052 |    60140      5 |        0 |        0
253.35/253.47	c  252s |      16 |   726189 |   196752 |    66154      5 |        0 |        0
255.55/255.67	c  255s |      17 |   726912 |   197432 |    66154      5 |        0 |        0
257.55/257.69	c  257s |      17 |   734831 |   199232 |    66154      5 |        0 |        0
260.54/260.61	c  259s |      17 |   745547 |   199832 |    66154      5 |        0 |        0
262.54/262.62	c  261s |      17 |   754029 |   204332 |    66154      5 |        0 |        0
264.54/264.63	c  263s |      17 |   758751 |   209032 |    66154      5 |        0 |        0
266.54/266.67	c  266s |      17 |   762760 |   213032 |    66154      5 |        0 |        0
268.64/268.72	c  268s |      17 |   766679 |   216932 |    66154      5 |        0 |        0
270.65/270.74	c  270s |      17 |   769593 |   219832 |    66154      6 |        0 |        0
272.64/272.79	c  272s |      17 |   772803 |   223032 |    66154      6 |        0 |        0
274.74/274.82	c  274s |      17 |   775713 |   225932 |    66154      6 |        0 |        0
276.74/276.88	c  276s |      17 |   778931 |   229132 |    66154      6 |        0 |        0
278.84/278.95	c  278s |      17 |   781245 |   231432 |    66154      6 |        0 |        0
280.84/280.97	c  280s |      17 |   783654 |   233832 |    66154      6 |        0 |        0
282.94/283.04	c  282s |      17 |   786066 |   236232 |    66154      6 |        0 |        0
285.04/285.10	c  284s |      17 |   788584 |   238732 |    66154      6 |        0 |        0
286.94/287.10	c  286s |      17 |   791091 |   241232 |    66154      6 |        0 |        0
289.04/289.17	c  288s |      17 |   793604 |   243732 |    66154      6 |        0 |        0
291.14/291.22	c  290s |      17 |   795517 |   245632 |    66154      6 |        0 |        0
293.24/293.31	c  292s |      17 |   797525 |   247632 |    66154      6 |        0 |        0
295.25/295.33	c  294s |      17 |   799436 |   249532 |    66154      6 |        0 |        0
297.35/297.44	c  296s |      17 |   801343 |   251432 |    66154      6 |        0 |        0
300.54/300.66	c  299s |      17 |   802750 |   252832 |    66154      7 |        0 |        0
302.74/302.86	c  302s |      17 |   804961 |   255032 |    66154      7 |        0 |        0
304.75/304.88	c  304s |      17 |   807268 |   257332 |    66154      7 |        0 |        0
306.95/307.05	c  306s |      17 |   808693 |   258732 |    66154      7 |        0 |        0
332.04/332.19	c  331s |      17 |   808823 |   258832 |    66154      7 |        0 |        0
334.24/334.34	c  333s |      17 |   810021 |   260032 |    66154      7 |        0 |        0
336.44/336.55	c  335s |      17 |   811186 |   261132 |    66154      7 |        0 |        0
338.64/338.75	c  338s |      17 |   812349 |   262232 |    66154      7 |        0 |        0
340.64/340.77	c  340s |      17 |   813459 |   263332 |    66154      7 |        0 |        0
342.74/342.81	c  342s |      17 |   814573 |   264432 |    66154      7 |        0 |        0
344.84/344.93	c  344s |      17 |   815704 |   265532 |    66154      7 |        0 |        0
346.84/346.98	c  346s |      17 |   816766 |   266532 |    66154      7 |        0 |        0
348.94/349.06	c  348s |      17 |   817868 |   267632 |    66154      7 |        0 |        0
351.04/351.15	c  350s |      17 |   818881 |   268632 |    66154      7 |        0 |        0
353.14/353.21	c  352s |      17 |   819908 |   269632 |    66154      7 |        0 |        0
355.14/355.25	c  354s |      17 |   820872 |   270532 |    66154      7 |        0 |        0
357.33/357.47	c  356s |      17 |   821837 |   271432 |    66154      7 |        0 |        0
359.53/359.66	c  358s |      17 |   822847 |   272432 |    66154      7 |        0 |        0
361.63/361.78	c  361s |      17 |   823858 |   273432 |    66154      7 |        0 |        0
363.73/363.80	c  363s |      17 |   824869 |   274432 |    66154      7 |        0 |        0
365.73/365.81	c  365s |      17 |   825779 |   275332 |    66154      7 |        0 |        0
367.83/367.99	c  367s |      17 |   826788 |   276332 |    66154      7 |        0 |        0
370.03/370.12	c  369s |      17 |   827705 |   277232 |    66154      7 |        0 |        0
372.03/372.14	c  371s |      17 |   828557 |   278032 |    66154      7 |        0 |        0
374.13/374.26	c  373s |      17 |   829478 |   278932 |    66154      7 |        0 |        0
376.33/376.48	c  375s |      17 |   830414 |   279832 |    66154      7 |        0 |        0
378.44/378.59	c  377s |      17 |   831345 |   280732 |    66154      7 |        0 |        0
380.73/380.80	c  380s |      17 |   832155 |   281532 |    66154      7 |        0 |        0
382.73/382.80	c  382s |      17 |   833058 |   282432 |    66154      7 |        0 |        0
384.73/384.81	c  384s |      17 |   833880 |   283232 |    66154      7 |        0 |        0
386.93/387.01	c  386s |      17 |   834730 |   284032 |    66154      7 |        0 |        0
389.03/389.19	c  388s |      17 |   835552 |   284832 |    66154      7 |        0 |        0
391.23/391.38	c  390s |      17 |   836342 |   285532 |    66154      7 |        0 |        0
396.53/396.67	c  396s |      17 |   836550 |   285732 |    66154      8 |        0 |        0
399.03/399.14	c  398s |      17 |   836881 |   286032 |    66154      8 |        0 |        0
402.73/402.87	c  402s |      17 |   838140 |   287132 |    66154      8 |        0 |        0
404.84/404.95	c  404s |      17 |   839158 |   288132 |    66154      8 |        0 |        0
406.83/406.95	c  406s |      17 |   840296 |   289232 |    66154      8 |        0 |        0
409.03/409.13	c  408s |      17 |   841436 |   290332 |    66154      8 |        0 |        0
411.23/411.33	c  410s |      17 |   842543 |   291332 |    66154      8 |        0 |        0
413.23/413.36	c  412s |      17 |   843496 |   292232 |    66154      8 |        0 |        0
415.33/415.49	c  414s |      17 |   844514 |   293132 |    66154      8 |        0 |        0
417.53/417.65	c  416s |      17 |   845482 |   294032 |    66154      8 |        0 |        0
419.53/419.68	c  419s |      17 |   846411 |   294832 |    72770      8 |        0 |        0
425.63/425.80	c  425s |      17 |   846541 |   294932 |    72770      8 |        0 |        0
427.93/428.06	c  427s |      17 |   847240 |   295632 |    72770      8 |        0 |        0
429.52/429.66	c  428s |      18 |   847858 |   296252 |    72770      8 |        0 |        0
437.12/437.24	c  436s |      18 |   860905 |   296352 |    72770      8 |        0 |        0
439.12/439.24	c  438s |      18 |   865933 |   300952 |    72770      8 |        0 |        0
441.13/441.28	c  440s |      18 |   870334 |   304952 |    72770      8 |        0 |        0
443.23/443.38	c  442s |      18 |   873535 |   308052 |    72770      8 |        0 |        0
445.32/445.44	c  444s |      18 |   876384 |   310752 |    72770      8 |        0 |        0
447.32/447.46	c  446s |      18 |   878972 |   313252 |    72770      8 |        0 |        0
449.42/449.55	c  448s |      18 |   881222 |   315352 |    72770      8 |        0 |        0
451.42/451.58	c  450s |      18 |   883909 |   317852 |    72770      8 |        0 |        0
453.52/453.62	c  452s |      18 |   886055 |   319852 |    72770      8 |        0 |        0
455.52/455.65	c  454s |      18 |   888274 |   321952 |    72770      8 |        0 |        0
457.62/457.75	c  457s |      18 |   890079 |   323652 |    72770      8 |        0 |        0
459.62/459.80	c  459s |      18 |   891784 |   325252 |    72770      8 |        0 |        0
461.72/461.88	c  461s |      18 |   893563 |   326952 |    72770      8 |        0 |        0
463.91/464.06	c  463s |      18 |   895123 |   328452 |    72770      9 |        0 |        0
466.01/466.17	c  465s |      18 |   896696 |   329952 |    72770      9 |        0 |        0
468.11/468.28	c  467s |      18 |   898431 |   331552 |    72770      9 |        0 |        0
472.72/472.85	c  472s |      18 |   926345 |   331952 |    72770      9 |        0 |        0
474.72/474.87	c  474s |      18 |   940129 |   337852 |    72770      9 |        0 |        0
481.83/481.98	c  481s |      18 |   944507 |   338552 |    72770      9 |        0 |        0
483.82/484.00	c  483s |      18 |   948365 |   341152 |    72770      9 |        0 |        0
485.92/486.02	c  485s |      18 |   962763 |   344852 |    72770      9 |        0 |        0
487.92/488.03	c  487s |      18 |   966210 |   347952 |    72770      9 |        0 |        0
489.92/490.07	c  489s |      18 |   968702 |   350252 |    72770      9 |        0 |        0
491.92/492.09	c  491s |      18 |   970965 |   352352 |    72770      9 |        0 |        0
493.92/494.09	c  493s |      18 |   973181 |   354452 |    72770      9 |        0 |        0
496.02/496.11	c  495s |      18 |   975147 |   356252 |    72770      9 |        0 |        0
498.02/498.11	c  497s |      18 |   976985 |   357952 |    72770      9 |        0 |        0
500.02/500.16	c  499s |      18 |   979009 |   359852 |    72770      9 |        0 |        0
502.11/502.27	c  501s |      18 |   980773 |   361452 |    72770      9 |        0 |        0
504.31/504.40	c  503s |      18 |   982251 |   362852 |    72770      9 |        0 |        0
506.41/506.50	c  505s |      18 |   983633 |   364152 |    72770      9 |        0 |        0
508.41/508.52	c  507s |      18 |   985133 |   365552 |    72770      9 |        0 |        0
510.42/510.56	c  509s |      18 |   986456 |   366752 |    72770      9 |        0 |        0
512.62/512.78	c  512s |      18 |   987616 |   367852 |    72770     10 |        0 |        0
514.82/514.93	c  514s |      18 |   988790 |   368952 |    72770     10 |        0 |        0
516.81/516.94	c  516s |      18 |   990062 |   370152 |    72770     10 |        0 |        0
519.01/519.13	c  518s |      18 |   991040 |   371052 |    72770     10 |        0 |        0
521.01/521.15	c  520s |      18 |   991906 |   371852 |    72770     10 |        0 |        0
523.01/523.15	c  522s |      18 |   992951 |   372852 |    72770     10 |        0 |        0
525.11/525.24	c  524s |      18 |   994020 |   373852 |    72770     10 |        0 |        0
527.30/527.44	c  526s |      18 |   995111 |   374852 |    72770     10 |        0 |        0
529.40/529.57	c  528s |      18 |   995969 |   375652 |    72770     10 |        0 |        0
531.40/531.58	c  530s |      18 |   996807 |   376452 |    72770     10 |        0 |        0
533.51/533.69	c  533s |      18 |   997859 |   377452 |    72770     10 |        0 |        0
535.61/535.72	c  535s |      18 |   998929 |   378452 |    72770     10 |        0 |        0
537.81/537.93	c  537s |      18 |  1000118 |   379552 |    72770     10 |        0 |        0
539.90/540.03	c  539s |      18 |  1000959 |   380352 |    72770     10 |        0 |        0
542.00/542.18	c  541s |      18 |  1004255 |   381352 |    72770     10 |        0 |        0
544.10/544.21	c  543s |      18 |  1016369 |   385852 |    72770     10 |        0 |        0
546.10/546.26	c  545s |      18 |  1020359 |   389652 |    72770     10 |        0 |        0
548.10/548.26	c  547s |      18 |  1023149 |   392252 |    72770     10 |        0 |        0
550.20/550.37	c  549s |      18 |  1025476 |   394452 |    72770     10 |        0 |        0
552.30/552.47	c  551s |      18 |  1027928 |   396752 |    72770     10 |        0 |        0
554.41/554.53	c  553s |      18 |  1030469 |   399152 |    72770     10 |        0 |        0
591.59/591.77	c  591s |      18 |  1046031 |   399452 |    72770     10 |        0 |        0
593.70/593.81	c  593s |      18 |  1049707 |   402952 |    72770     10 |        0 |        0
595.70/595.87	c  595s |      18 |  1053654 |   406552 |    72770     10 |        0 |        0
597.70/597.88	c  597s |      18 |  1056117 |   408752 |    72770     11 |        0 |        0
599.80/599.90	c  599s |      18 |  1058849 |   411252 |    72770     11 |        0 |        0
601.80/601.97	c  601s |      18 |  1061523 |   413652 |    72770     11 |        0 |        0
603.81/604.00	c  603s |      18 |  1063745 |   415652 |    72770     11 |        0 |        0
606.01/606.11	c  605s |      18 |  1065861 |   417552 |    72770     11 |        0 |        0
608.10/608.26	c  607s |      18 |  1067722 |   419252 |    72770     11 |        0 |        0
610.20/610.36	c  609s |      18 |  1069189 |   420552 |    72770     11 |        0 |        0
612.30/612.46	c  611s |      18 |  1070637 |   421852 |    72770     11 |        0 |        0
614.50/614.61	c  613s |      18 |  1072270 |   423352 |    72770     11 |        0 |        0
616.50/616.68	c  616s |      18 |  1073584 |   424552 |    72770     11 |        0 |        0
618.70/618.82	c  618s |      18 |  1074887 |   425752 |    72770     11 |        0 |        0
620.80/620.97	c  620s |      18 |  1076194 |   426952 |    72770     11 |        0 |        0
622.90/623.07	c  622s |      18 |  1077645 |   428252 |    72770     11 |        0 |        0
625.00/625.14	c  624s |      18 |  1078954 |   429452 |    72770     11 |        0 |        0
627.19/627.35	c  626s |      18 |  1080097 |   430452 |    72770     11 |        0 |        0
629.20/629.37	c  628s |      18 |  1081180 |   431452 |    72770     11 |        0 |        0
631.30/631.45	c  630s |      18 |  1082277 |   432452 |    72770     11 |        0 |        0
633.50/633.62	c  632s |      18 |  1083631 |   433652 |    72770     11 |        0 |        0
635.70/635.82	c  635s |      18 |  1084848 |   434752 |    72770     11 |        0 |        0
637.90/638.05	c  637s |      18 |  1085811 |   435652 |    72770     11 |        0 |        0
640.10/640.24	c  639s |      18 |  1086783 |   436552 |    72770     11 |        0 |        0
642.09/642.25	c  641s |      18 |  1087642 |   437352 |    72770     11 |        0 |        0
644.29/644.43	c  643s |      18 |  1088512 |   438152 |    72770     11 |        0 |        0
646.29/646.44	c  645s |      18 |  1089357 |   438952 |    72770     11 |        0 |        0
648.39/648.51	c  647s |      18 |  1089905 |   439452 |    72770     11 |        0 |        0
650.69/650.84	c  650s |      18 |  1090698 |   440152 |    72770     11 |        0 |        0
652.79/652.97	c  652s |      18 |  1091462 |   440852 |    72770     11 |        0 |        0
654.79/654.99	c  654s |      18 |  1092312 |   441652 |    80047     11 |        0 |        0
656.99/657.13	c  656s |      18 |  1092969 |   442252 |    80047     11 |        0 |        0
659.29/659.46	c  658s |      18 |  1093646 |   442852 |    80047     11 |        0 |        0
661.29/661.49	c  660s |      18 |  1094309 |   443452 |    80047     11 |        0 |        0
663.59/663.76	c  663s |      18 |  1095089 |   444152 |    80047     11 |        0 |        0
664.59/664.75	c  664s |      19 |  1095445 |   444482 |    80047     11 |        0 |        0
680.68/680.85	c  680s |      19 |  1095688 |   444682 |    80047     11 |        0 |        0
690.28/690.40	c  689s |      19 |  1101965 |   445182 |    80047     11 |        0 |        0
695.99/696.12	c  695s |      19 |  1112569 |   445382 |    80047     11 |        0 |        0
697.98/698.16	c  697s |      19 |  1118404 |   450782 |    80047     11 |        0 |        0
700.08/700.21	c  699s |      19 |  1121683 |   453982 |    80047     12 |        0 |        0
702.08/702.22	c  701s |      19 |  1125083 |   457282 |    80047     12 |        0 |        0
704.48/704.61	c  703s |      19 |  1132369 |   459382 |    80047     12 |        0 |        0
715.08/715.27	c  714s |      19 |  1155639 |   459682 |    80047     12 |        0 |        0
722.18/722.33	c  721s |      19 |  1165876 |   459782 |    80047     12 |        0 |        0
724.18/724.34	c  723s |      19 |  1173084 |   463082 |    80047     12 |        0 |        0
726.18/726.38	c  725s |      19 |  1176780 |   466682 |    80047     12 |        0 |        0
728.28/728.42	c  727s |      19 |  1179675 |   469482 |    80047     12 |        0 |        0
730.28/730.47	c  729s |      19 |  1182457 |   472182 |    80047     12 |        0 |        0
732.37/732.55	c  731s |      19 |  1184624 |   474282 |    80047     12 |        0 |        0
734.47/734.67	c  734s |      19 |  1186359 |   475982 |    80047     12 |        0 |        0
736.57/736.74	c  736s |      19 |  1188187 |   477782 |    80047     12 |        0 |        0
738.67/738.85	c  738s |      19 |  1189898 |   479482 |    80047     12 |        0 |        0
740.77/740.98	c  740s |      19 |  1191732 |   481282 |    80047     12 |        0 |        0
742.87/743.02	c  742s |      19 |  1193574 |   483082 |    80047     12 |        0 |        0
744.87/745.07	c  744s |      19 |  1195003 |   484482 |    80047     12 |        0 |        0
746.97/747.11	c  746s |      19 |  1196444 |   485882 |    80047     12 |        0 |        0
749.08/749.25	c  748s |      19 |  1198192 |   487582 |    80047     12 |        0 |        0
751.18/751.32	c  750s |      19 |  1199637 |   488982 |    80047     12 |        0 |        0
753.17/753.37	c  752s |      19 |  1201160 |   490482 |    80047     12 |        0 |        0
755.27/755.43	c  754s |      19 |  1202771 |   492082 |    80047     12 |        0 |        0
757.27/757.45	c  756s |      19 |  1204188 |   493482 |    80047     12 |        0 |        0
759.37/759.57	c  758s |      19 |  1205318 |   494582 |    80047     13 |        0 |        0
761.47/761.62	c  760s |      19 |  1206769 |   495982 |    80047     13 |        0 |        0
763.57/763.76	c  763s |      19 |  1207898 |   497082 |    80047     13 |        0 |        0
765.77/765.92	c  765s |      19 |  1208902 |   498082 |    80047     13 |        0 |        0
767.78/767.98	c  767s |      19 |  1209931 |   499082 |    80047     13 |        0 |        0
769.87/770.01	c  769s |      19 |  1211055 |   500182 |    80047     13 |        0 |        0
771.97/772.17	c  771s |      19 |  1212278 |   501382 |    80047     13 |        0 |        0
774.07/774.27	c  773s |      19 |  1213104 |   502182 |    80047     13 |        0 |        0
776.37/776.50	c  775s |      19 |  1214012 |   503082 |    80047     13 |        0 |        0
778.46/778.63	c  777s |      19 |  1214939 |   503982 |    80047     13 |        0 |        0
780.56/780.74	c  780s |      19 |  1216372 |   505382 |    80047     13 |        0 |        0
782.56/782.78	c  782s |      19 |  1217509 |   506482 |    80047     13 |        0 |        0
784.76/784.90	c  784s |      19 |  1218637 |   507582 |    80047     13 |        0 |        0
786.76/786.90	c  786s |      19 |  1219543 |   508482 |    80047     13 |        0 |        0
788.76/788.95	c  788s |      19 |  1220658 |   509582 |    80047     13 |        0 |        0
790.78/790.96	c  790s |      19 |  1221677 |   510582 |    80047     13 |        0 |        0
792.77/792.97	c  792s |      19 |  1222691 |   511582 |    80047     13 |        0 |        0
794.97/795.16	c  794s |      19 |  1223398 |   512282 |    80047     13 |        0 |        0
797.17/797.32	c  796s |      19 |  1224317 |   513182 |    80047     13 |        0 |        0
799.17/799.35	c  798s |      19 |  1225137 |   513982 |    80047     13 |        0 |        0
801.37/801.54	c  800s |      19 |  1225952 |   514782 |    80047     13 |        0 |        0
803.57/803.73	c  803s |      19 |  1226871 |   515682 |    80047     13 |        0 |        0
805.57/805.79	c  805s |      19 |  1227778 |   516582 |    80047     13 |        0 |        0
807.97/808.11	c  807s |      19 |  1228287 |   517082 |    80047     13 |        0 |        0
810.17/810.30	c  809s |      19 |  1228807 |   517582 |    80047     13 |        0 |        0
812.27/812.40	c  811s |      19 |  1229417 |   518182 |    80047     13 |        0 |        0
814.27/814.46	c  813s |      19 |  1230132 |   518882 |    80047     13 |        0 |        0
816.37/816.52	c  815s |      19 |  1230746 |   519482 |    80047     13 |        0 |        0
818.57/818.72	c  818s |      19 |  1231548 |   520282 |    80047     13 |        0 |        0
820.57/820.75	c  820s |      19 |  1232364 |   521082 |    80047     13 |        0 |        0
822.97/823.13	c  822s |      19 |  1233178 |   521882 |    80047     13 |        0 |        0
825.07/825.20	c  824s |      19 |  1233792 |   522482 |    80047     13 |        0 |        0
827.27/827.42	c  826s |      19 |  1234499 |   523182 |    80047     13 |        0 |        0
829.37/829.55	c  828s |      19 |  1235214 |   523882 |    80047     13 |        0 |        0
831.36/831.60	c  830s |      19 |  1235931 |   524582 |    80047     13 |        0 |        0
833.46/833.67	c  833s |      19 |  1236657 |   525282 |    80047     13 |        0 |        0
835.66/835.84	c  835s |      19 |  1237468 |   526082 |    80047     13 |        0 |        0
837.76/837.98	c  837s |      19 |  1238282 |   526882 |    80047     13 |        0 |        0
840.27/840.43	c  839s |      19 |  1238898 |   527482 |    80047     13 |        0 |        0
842.57/842.72	c  842s |      19 |  1239513 |   528082 |    80047     13 |        0 |        0
844.56/844.72	c  844s |      19 |  1240125 |   528682 |    80047     13 |        0 |        0
846.66/846.87	c  846s |      19 |  1240948 |   529482 |    80047     13 |        0 |        0
848.76/848.90	c  848s |      19 |  1241445 |   529982 |    80047     13 |        0 |        0
850.86/851.07	c  850s |      19 |  1241945 |   530482 |    80047     13 |        0 |        0
853.26/853.47	c  852s |      19 |  1242457 |   530982 |    80047     13 |        0 |        0
855.56/855.80	c  855s |      19 |  1242980 |   531482 |    80047     13 |        0 |        0
857.66/857.88	c  857s |      19 |  1243491 |   531982 |    80047     13 |        0 |        0
859.86/860.09	c  859s |      19 |  1244089 |   532582 |    80047     13 |        0 |        0
861.96/862.15	c  861s |      19 |  1244705 |   533182 |    80047     13 |        0 |        0
864.16/864.31	c  863s |      19 |  1245312 |   533782 |    80047     13 |        0 |        0
866.36/866.53	c  865s |      19 |  1246028 |   534482 |    80047     13 |        0 |        0
868.46/868.67	c  868s |      19 |  1246744 |   535182 |    80047     13 |        0 |        0
870.76/870.92	c  870s |      19 |  1247453 |   535882 |    80047     13 |        0 |        0
873.75/873.92	c  873s |      19 |  1247651 |   536082 |    80047     14 |        0 |        0
877.15/877.36	c  876s |      19 |  1248478 |   536882 |    80047     14 |        0 |        0
881.15/881.34	c  880s |      19 |  1249207 |   537582 |    80047     14 |        0 |        0
883.26/883.43	c  882s |      19 |  1250229 |   538582 |    80047     14 |        0 |        0
1007.13/1007.31	c 1006s |      19 |  1250966 |   539282 |    80047     14 |        0 |        0
1009.13/1009.39	c 1008s |      19 |  1252492 |   540782 |    80047     14 |        0 |        0
1011.23/1011.45	c 1010s |      19 |  1253921 |   542182 |    80047     14 |        0 |        0
1013.23/1013.49	c 1012s |      19 |  1255570 |   543782 |    80047     14 |        0 |        0
1015.43/1015.63	c 1014s |      19 |  1257335 |   545482 |    80047     14 |        0 |        0
1017.44/1017.66	c 1016s |      19 |  1258901 |   546982 |    80047     14 |        0 |        0
1019.44/1019.70	c 1019s |      19 |  1260438 |   548482 |    80047     14 |        0 |        0
1021.54/1021.79	c 1021s |      19 |  1261587 |   549582 |    80047     14 |        0 |        0
1023.64/1023.86	c 1023s |      19 |  1262839 |   550782 |    80047     14 |        0 |        0
1025.74/1025.94	c 1025s |      19 |  1263970 |   551882 |    80047     14 |        0 |        0
1027.73/1027.99	c 1027s |      19 |  1265108 |   552982 |    80047     14 |        0 |        0
1029.93/1030.10	c 1029s |      19 |  1266542 |   554382 |    80047     14 |        0 |        0
1032.03/1032.21	c 1031s |      19 |  1267900 |   555682 |    80047     14 |        0 |        0
1034.13/1034.37	c 1033s |      19 |  1269149 |   556882 |    80047     14 |        0 |        0
1036.14/1036.38	c 1035s |      19 |  1270398 |   558082 |    80047     14 |        0 |        0
1038.34/1038.60	c 1037s |      19 |  1271324 |   558982 |    80047     14 |        0 |        0
1040.54/1040.73	c 1040s |      19 |  1272360 |   559982 |    80047     14 |        0 |        0
1042.93/1043.11	c 1042s |      19 |  1273513 |   561082 |    80047     14 |        0 |        0
1045.03/1045.20	c 1044s |      19 |  1274536 |   562082 |    80047     14 |        0 |        0
1047.04/1047.29	c 1046s |      19 |  1275469 |   562982 |    80047     14 |        0 |        0
1049.03/1049.29	c 1048s |      19 |  1276295 |   563782 |    80047     14 |        0 |        0
1051.13/1051.32	c 1050s |      19 |  1277013 |   564482 |    80047     14 |        0 |        0
1053.13/1053.39	c 1052s |      19 |  1277932 |   565382 |    80047     14 |        0 |        0
1055.43/1055.68	c 1055s |      19 |  1278868 |   566282 |    80047     14 |        0 |        0
1057.53/1057.78	c 1057s |      19 |  1279276 |   566682 |    80047     14 |        0 |        0
1060.02/1060.27	c 1059s |      19 |  1279787 |   567182 |    80047     14 |        0 |        0
1062.53/1062.76	c 1062s |      19 |  1280189 |   567582 |    80047     14 |        0 |        0
1064.63/1064.87	c 1064s |      19 |  1280590 |   567982 |    80047     14 |        0 |        0
1067.02/1067.24	c 1066s |      19 |  1281409 |   568782 |    80047     14 |        0 |        0
1069.13/1069.38	c 1068s |      19 |  1282039 |   569382 |    80047     14 |        0 |        0
1071.52/1071.79	c 1071s |      19 |  1282756 |   570082 |    80047     14 |        0 |        0
1073.62/1073.85	c 1073s |      19 |  1283163 |   570482 |    80047     14 |        0 |        0
1075.63/1075.86	c 1075s |      19 |  1283673 |   570982 |    80047     14 |        0 |        0
1077.83/1078.08	c 1077s |      19 |  1284176 |   571482 |    80047     14 |        0 |        0
1079.92/1080.14	c 1079s |      19 |  1284692 |   571982 |    80047     14 |        0 |        0
1082.23/1082.43	c 1081s |      19 |  1285212 |   572482 |    80047     14 |        0 |        0
1084.72/1084.92	c 1084s |      19 |  1285712 |   572982 |    80047     14 |        0 |        0
1086.92/1087.18	c 1086s |      19 |  1286217 |   573482 |    80047     14 |        0 |        0
1089.12/1089.35	c 1088s |      19 |  1286724 |   573982 |    80047     14 |        0 |        0
1091.22/1091.48	c 1090s |      19 |  1287232 |   574482 |    80047     14 |        0 |        0
1093.52/1093.72	c 1093s |      19 |  1287638 |   574882 |    80047     14 |        0 |        0
1095.72/1095.97	c 1095s |      19 |  1288150 |   575382 |    80047     14 |        0 |        0
1097.73/1097.98	c 1097s |      19 |  1288771 |   575982 |    80047     14 |        0 |        0
1099.93/1100.13	c 1099s |      19 |  1289393 |   576582 |    80047     14 |        0 |        0
1102.02/1102.22	c 1101s |      19 |  1289904 |   577082 |    80047     14 |        0 |        0
1104.02/1104.27	c 1103s |      19 |  1290523 |   577682 |    80047     14 |        0 |        0
1110.32/1110.52	c 1109s |      19 |  1290823 |   577982 |    80047     15 |        0 |        0
1112.62/1112.87	c 1112s |      19 |  1291022 |   578182 |    80047     15 |        0 |        0
1114.92/1115.15	c 1114s |      19 |  1291333 |   578482 |    80047     15 |        0 |        0
1117.12/1117.38	c 1116s |      19 |  1292039 |   579182 |    80047     15 |        0 |        0
1119.22/1119.47	c 1118s |      19 |  1292869 |   579982 |    80047     15 |        0 |        0
1121.52/1121.70	c 1121s |      19 |  1293692 |   580782 |    80047     15 |        0 |        0
1123.72/1123.92	c 1123s |      19 |  1294611 |   581682 |    80047     15 |        0 |        0
1128.92/1129.13	c 1128s |      19 |  1295745 |   582782 |    80047     15 |        0 |        0
1179.11/1179.37	c 1178s |      19 |  1295840 |   582882 |    80047     15 |        0 |        0
1181.31/1181.57	c 1180s |      19 |  1296342 |   583382 |    80047     15 |        0 |        0
1183.41/1183.68	c 1183s |      19 |  1296847 |   583882 |    80047     15 |        0 |        0
1185.61/1185.90	c 1185s |      19 |  1297350 |   584382 |    80047     15 |        0 |        0
1196.81/1197.01	c 1196s |      19 |  1297852 |   584882 |    80047     15 |        0 |        0
1198.91/1199.11	c 1198s |      19 |  1298353 |   585382 |    80047     15 |        0 |        0
1201.01/1201.25	c 1200s |      19 |  1299059 |   586082 |    80047     15 |        0 |        0
1203.11/1203.35	c 1202s |      19 |  1299656 |   586682 |    80047     15 |        0 |        0
1205.20/1205.47	c 1204s |      19 |  1300289 |   587282 |    80047     15 |        0 |        0
1207.50/1207.73	c 1207s |      19 |  1300899 |   587882 |    80047     15 |        0 |        0
1209.70/1210.00	c 1209s |      19 |  1301611 |   588582 |    80047     15 |        0 |        0
1212.11/1212.31	c 1211s |      19 |  1302434 |   589382 |    80047     15 |        0 |        0
1214.10/1214.33	c 1213s |      19 |  1303252 |   590182 |    80047     15 |        0 |        0
1216.10/1216.34	c 1215s |      19 |  1303877 |   590782 |    80047     15 |        0 |        0
1218.20/1218.47	c 1217s |      19 |  1304692 |   591582 |    80047     15 |        0 |        0
1220.40/1220.64	c 1219s |      19 |  1305508 |   592382 |    80047     15 |        0 |        0
1222.70/1222.90	c 1222s |      19 |  1306434 |   593282 |    80047     15 |        0 |        0
1224.90/1225.16	c 1224s |      19 |  1307159 |   593982 |    80047     15 |        0 |        0
1227.10/1227.38	c 1226s |      19 |  1307879 |   594682 |    80047     15 |        0 |        0
1229.30/1229.56	c 1228s |      19 |  1308595 |   595382 |    80047     15 |        0 |        0
1231.50/1231.77	c 1231s |      19 |  1309206 |   595982 |    80047     15 |        0 |        0
1233.60/1233.88	c 1233s |      19 |  1309914 |   596682 |    80047     15 |        0 |        0
1235.90/1236.13	c 1235s |      19 |  1310530 |   597282 |    80047     15 |        0 |        0
1238.20/1238.45	c 1237s |      19 |  1311144 |   597882 |    80047     15 |        0 |        0
1240.39/1240.68	c 1240s |      19 |  1311858 |   598582 |    80047     15 |        0 |        0
1242.80/1243.01	c 1242s |      19 |  1312471 |   599182 |    80047     15 |        0 |        0
1244.89/1245.10	c 1244s |      19 |  1313180 |   599882 |    80047     15 |        0 |        0
1247.00/1247.29	c 1246s |      19 |  1313908 |   600582 |    80047     15 |        0 |        0
1249.30/1249.53	c 1248s |      19 |  1314726 |   601382 |    80047     15 |        0 |        0
1251.50/1251.70	c 1251s |      19 |  1315446 |   602082 |    80047     15 |        0 |        0
1253.70/1254.00	c 1253s |      19 |  1316296 |   602882 |    80047     15 |        0 |        0
1255.80/1256.04	c 1255s |      19 |  1317020 |   603582 |    80047     15 |        0 |        0
1257.90/1258.13	c 1257s |      19 |  1317800 |   604282 |    80047     15 |        0 |        0
1260.00/1260.23	c 1259s |      19 |  1318615 |   604982 |    80047     15 |        0 |        0
1262.30/1262.53	c 1261s |      19 |  1319358 |   605682 |    80047     15 |        0 |        0
1264.40/1264.61	c 1263s |      19 |  1319984 |   606282 |    80047     15 |        0 |        0
1266.70/1266.99	c 1266s |      19 |  1320594 |   606882 |    80047     15 |        0 |        0
1268.80/1269.09	c 1268s |      19 |  1321104 |   607382 |    80047     15 |        0 |        0
1271.20/1271.42	c 1270s |      19 |  1321608 |   607882 |    80047     15 |        0 |        0
1273.40/1273.65	c 1272s |      19 |  1322114 |   608382 |    80047     15 |        0 |        0
1275.70/1275.99	c 1275s |      19 |  1322622 |   608882 |    80047     15 |        0 |        0
1278.39/1278.63	c 1277s |      19 |  1323024 |   609282 |    80047     15 |        0 |        0
1280.39/1280.66	c 1279s |      19 |  1323330 |   609582 |    80047     15 |        0 |        0
1282.89/1283.11	c 1282s |      19 |  1323735 |   609982 |    80047     15 |        0 |        0
1285.09/1285.37	c 1284s |      19 |  1324142 |   610382 |    80047     15 |        0 |        0
1287.39/1287.62	c 1286s |      19 |  1324651 |   610882 |    80047     15 |        0 |        0
1289.69/1289.91	c 1289s |      19 |  1325159 |   611382 |    80047     15 |        0 |        0
1291.99/1292.20	c 1291s |      19 |  1325668 |   611882 |    80047     15 |        0 |        0
1293.99/1294.23	c 1293s |      19 |  1326184 |   612382 |    80047     15 |        0 |        0
1296.19/1296.48	c 1295s |      19 |  1326888 |   613082 |    80047     15 |        0 |        0
1298.29/1298.52	c 1297s |      19 |  1327393 |   613582 |    80047     15 |        0 |        0
1300.29/1300.56	c 1299s |      19 |  1327800 |   613982 |    80047     15 |        0 |        0
1302.39/1302.69	c 1302s |      19 |  1328310 |   614482 |    80047     15 |        0 |        0
1304.79/1305.00	c 1304s |      19 |  1328943 |   615082 |    80047     15 |        0 |        0
1306.99/1307.27	c 1306s |      19 |  1329544 |   615682 |    80047     15 |        0 |        0
1309.19/1309.46	c 1308s |      19 |  1330266 |   616382 |    80047     15 |        0 |        0
1311.39/1311.68	c 1311s |      19 |  1330984 |   617082 |    80047     15 |        0 |        0
1313.69/1313.99	c 1313s |      19 |  1331705 |   617782 |    80047     15 |        0 |        0
1315.79/1316.07	c 1315s |      19 |  1332317 |   618382 |    80047     15 |        0 |        0
1318.09/1318.38	c 1317s |      19 |  1333019 |   619082 |    80047     15 |        0 |        0
1320.29/1320.58	c 1319s |      19 |  1333734 |   619782 |    80047     15 |        0 |        0
1323.88/1324.13	c 1323s |      19 |  1333941 |   619982 |    80047     16 |        0 |        0
1340.69/1340.96	c 1340s |      19 |  1334042 |   620082 |    80047     16 |        0 |        0
1344.18/1344.47	c 1343s |      19 |  1334358 |   620382 |    80047     16 |        0 |        0
1346.19/1346.49	c 1345s |      19 |  1335469 |   621482 |    80047     16 |        0 |        0
1348.28/1348.52	c 1347s |      19 |  1336587 |   622582 |    80047     16 |        0 |        0
1350.28/1350.56	c 1349s |      19 |  1337711 |   623682 |    80047     16 |        0 |        0
1352.37/1352.61	c 1351s |      19 |  1338736 |   624682 |    80047     16 |        0 |        0
1354.37/1354.62	c 1353s |      19 |  1339866 |   625782 |    80047     16 |        0 |        0
1356.37/1356.64	c 1355s |      19 |  1340980 |   626882 |    80047     16 |        0 |        0
1358.47/1358.74	c 1358s |      19 |  1342215 |   628082 |    80047     16 |        0 |        0
1360.77/1361.00	c 1360s |      19 |  1343123 |   628982 |    80047     16 |        0 |        0
1511.14/1511.45	c 1510s |      19 |  1343651 |   629382 |    80047     16 |        0 |        0
1513.23/1513.55	c 1512s |      19 |  1344050 |   629782 |    80047     16 |        0 |        0
1515.33/1515.66	c 1514s |      19 |  1344558 |   630282 |    80047     16 |        0 |        0
1517.63/1517.95	c 1517s |      19 |  1345362 |   631082 |    80047     16 |        0 |        0
1519.64/1519.96	c 1519s |      19 |  1346163 |   631882 |    80047     16 |        0 |        0
1521.74/1522.05	c 1521s |      19 |  1346968 |   632682 |    80047     16 |        0 |        0
1523.74/1524.05	c 1523s |      19 |  1347673 |   633382 |    80047     16 |        0 |        0
1525.74/1526.06	c 1525s |      19 |  1348277 |   633982 |    80047     16 |        0 |        0
1527.94/1528.20	c 1527s |      19 |  1348778 |   634482 |    80047     16 |        0 |        0
1530.14/1530.44	c 1529s |      19 |  1349377 |   635082 |    80047     16 |        0 |        0
1532.14/1532.45	c 1531s |      19 |  1350185 |   635882 |    80047     16 |        0 |        0
1534.34/1534.67	c 1534s |      19 |  1350985 |   636682 |    80047     16 |        0 |        0
1536.54/1536.85	c 1536s |      19 |  1351789 |   637482 |    80047     16 |        0 |        0
1538.64/1538.97	c 1538s |      19 |  1352601 |   638282 |    80047     16 |        0 |        0
1540.94/1541.29	c 1540s |      19 |  1353011 |   638682 |    80047     16 |        0 |        0
1543.04/1543.35	c 1542s |      19 |  1353517 |   639182 |    80047     16 |        0 |        0
1545.43/1545.71	c 1545s |      19 |  1354132 |   639782 |    80047     16 |        0 |        0
1547.63/1547.94	c 1547s |      19 |  1354947 |   640582 |    80047     16 |        0 |        0
1549.64/1549.94	c 1549s |      19 |  1355661 |   641282 |    80047     16 |        0 |        0
1551.63/1551.96	c 1551s |      19 |  1356369 |   641982 |    80047     16 |        0 |        0
1553.73/1554.00	c 1553s |      19 |  1357184 |   642782 |    80047     16 |        0 |        0
1555.83/1556.10	c 1555s |      19 |  1358122 |   643682 |    80047     16 |        0 |        0
1557.92/1558.29	c 1557s |      19 |  1359427 |   644982 |    80047     16 |        0 |        0
1560.12/1560.43	c 1559s |      19 |  1360437 |   645982 |    80047     16 |        0 |        0
1562.22/1562.54	c 1561s |      19 |  1361440 |   646982 |    80047     16 |        0 |        0
1564.32/1564.60	c 1563s |      19 |  1362466 |   647982 |    80047     16 |        0 |        0
1566.62/1566.90	c 1566s |      19 |  1363076 |   648582 |    80047     16 |        0 |        0
1568.62/1568.98	c 1568s |      19 |  1363678 |   649182 |    80047     16 |        0 |        0
1570.72/1571.07	c 1570s |      19 |  1364384 |   649882 |    80047     16 |        0 |        0
1573.02/1573.31	c 1572s |      19 |  1365291 |   650782 |    80047     16 |        0 |        0
1575.02/1575.34	c 1574s |      19 |  1366101 |   651582 |    80047     16 |        0 |        0
1577.12/1577.43	c 1576s |      19 |  1367216 |   652682 |    80047     16 |        0 |        0
1579.32/1579.63	c 1578s |      19 |  1368418 |   653882 |    80047     16 |        0 |        0
1581.52/1581.81	c 1581s |      19 |  1369633 |   655082 |    80047     16 |        0 |        0
1583.61/1583.95	c 1583s |      19 |  1370748 |   656182 |    80047     16 |        0 |        0
1585.71/1586.09	c 1585s |      19 |  1371753 |   657182 |    80047     16 |        0 |        0
1587.81/1588.14	c 1587s |      19 |  1372168 |   657582 |    80047     16 |        0 |        0
1590.42/1590.75	c 1590s |      19 |  1372575 |   657982 |    80047     16 |        0 |        0
1592.71/1593.04	c 1592s |      19 |  1372991 |   658382 |    80047     16 |        0 |        0
1595.01/1595.35	c 1594s |      19 |  1373399 |   658782 |    80047     16 |        0 |        0
1597.12/1597.48	c 1596s |      19 |  1373911 |   659282 |    80047     16 |        0 |        0
1599.22/1599.54	c 1598s |      19 |  1374312 |   659682 |    80047     16 |        0 |        0
1601.32/1601.65	c 1600s |      19 |  1374720 |   660082 |    80047     16 |        0 |        0
1603.71/1604.08	c 1603s |      19 |  1375260 |   660582 |    80047     16 |        0 |        0
1605.72/1606.09	c 1605s |      19 |  1375767 |   661082 |    80047     16 |        0 |        0
1608.21/1608.56	c 1607s |      19 |  1376285 |   661582 |    80047     16 |        0 |        0
1618.50/1618.87	c 1618s |      19 |  1376687 |   661982 |    80047     17 |        0 |        0
1627.10/1627.47	c 1626s |      19 |  1376795 |   662082 |    80047     17 |        0 |        0
1629.30/1629.65	c 1628s |      19 |  1377803 |   663082 |    88052     17 |        0 |        0
1633.90/1634.27	c 1633s |      19 |  1378218 |   663482 |    88052     17 |        0 |        0
1636.20/1636.51	c 1635s |      19 |  1379132 |   664382 |    88052     17 |        0 |        0
1638.20/1638.59	c 1637s |      19 |  1379957 |   665182 |    88052     17 |        0 |        0
1640.40/1640.72	c 1640s |      19 |  1380778 |   665982 |    88052     17 |        0 |        0
1642.50/1642.83	c 1642s |      19 |  1381600 |   666782 |    88052     17 |        0 |        0
1642.60/1642.94	c 1642s |      20 |  1381641 |   666827 |    88052     17 |        0 |        0
1644.69/1645.04	c 1644s |      20 |  1393600 |   666927 |    88052     17 |        0 |        0
1646.89/1647.25	c 1646s |      20 |  1397194 |   668227 |    88052     17 |        0 |        0
1653.50/1653.86	c 1653s |      20 |  1399400 |   668927 |    88052     17 |        0 |        0
1655.50/1655.87	c 1655s |      20 |  1419368 |   675327 |    88052     17 |        0 |        0
1657.50/1657.89	c 1657s |      20 |  1424339 |   680127 |    88052     17 |        0 |        0
1659.60/1659.93	c 1659s |      20 |  1428071 |   683727 |    88052     17 |        0 |        0
1661.59/1661.96	c 1661s |      20 |  1431434 |   686927 |    88052     17 |        0 |        0
1663.69/1664.02	c 1663s |      20 |  1434245 |   689627 |    88052     17 |        0 |        0
1665.69/1666.02	c 1665s |      20 |  1436341 |   691627 |    88052     17 |        0 |        0
1667.69/1668.07	c 1667s |      20 |  1438564 |   693727 |    88052     17 |        0 |        0
1669.89/1670.21	c 1669s |      20 |  1439909 |   695027 |    88052     17 |        0 |        0
1671.89/1672.24	c 1671s |      20 |  1442009 |   697027 |    88052     17 |        0 |        0
1673.89/1674.26	c 1673s |      20 |  1443987 |   698927 |    88052     17 |        0 |        0
1675.88/1676.30	c 1675s |      20 |  1445768 |   700627 |    88052     17 |        0 |        0
1677.98/1678.34	c 1677s |      20 |  1447319 |   702127 |    88052     17 |        0 |        0
1680.08/1680.44	c 1679s |      20 |  1449096 |   703827 |    88052     17 |        0 |        0
1682.18/1682.51	c 1681s |      20 |  1450457 |   705127 |    88052     17 |        0 |        0
1684.18/1684.52	c 1683s |      20 |  1451693 |   706327 |    88052     17 |        0 |        0
1686.18/1686.56	c 1685s |      20 |  1453290 |   707827 |    88052     17 |        0 |        0
1688.28/1688.65	c 1687s |      20 |  1454892 |   709327 |    88052     17 |        0 |        0
1690.38/1690.75	c 1690s |      20 |  1455835 |   710227 |    88052     17 |        0 |        0
1692.37/1692.76	c 1692s |      20 |  1456964 |   711327 |    88052     17 |        0 |        0
1694.47/1694.89	c 1694s |      20 |  1458122 |   712427 |    88052     17 |        0 |        0
1696.57/1696.98	c 1696s |      20 |  1459036 |   713327 |    88052     18 |        0 |        0
1698.77/1699.12	c 1698s |      20 |  1460318 |   714527 |    88052     18 |        0 |        0
1700.98/1701.30	c 1700s |      20 |  1461592 |   715727 |    88052     18 |        0 |        0
1703.08/1703.44	c 1702s |      20 |  1462541 |   716627 |    88052     18 |        0 |        0
1705.17/1705.58	c 1704s |      20 |  1463179 |   717227 |    88052     18 |        0 |        0
1707.37/1707.72	c 1707s |      20 |  1463908 |   717927 |    88052     18 |        0 |        0
1709.37/1709.79	c 1709s |      20 |  1464868 |   718827 |    88052     18 |        0 |        0
1711.57/1711.99	c 1711s |      20 |  1465699 |   719627 |    88052     18 |        0 |        0
1713.77/1714.14	c 1713s |      20 |  1466536 |   720427 |    88052     18 |        0 |        0
1715.87/1716.23	c 1715s |      20 |  1467374 |   721227 |    88052     18 |        0 |        0
1717.87/1718.30	c 1717s |      20 |  1468208 |   722027 |    88052     18 |        0 |        0
1719.96/1720.36	c 1719s |      20 |  1469152 |   722927 |    88052     18 |        0 |        0
1722.16/1722.59	c 1721s |      20 |  1470103 |   723827 |    88052     18 |        0 |        0
1724.26/1724.64	c 1723s |      20 |  1471052 |   724727 |    88052     18 |        0 |        0
1726.77/1727.12	c 1726s |      20 |  1471916 |   725527 |    88052     18 |        0 |        0
1729.06/1729.44	c 1728s |      20 |  1472420 |   726027 |    88052     18 |        0 |        0
1731.26/1731.69	c 1731s |      20 |  1473039 |   726627 |    88052     18 |        0 |        0
1733.66/1734.03	c 1733s |      20 |  1473545 |   727127 |    88052     18 |        0 |        0
1735.66/1736.04	c 1735s |      20 |  1474079 |   727627 |    88052     18 |        0 |        0
1737.95/1738.30	c 1737s |      20 |  1474687 |   728227 |    88052     18 |        0 |        0
1740.05/1740.46	c 1739s |      20 |  1475420 |   728927 |    88052     18 |        0 |        0
1742.25/1742.69	c 1742s |      20 |  1476271 |   729727 |    88052     18 |        0 |        0
1744.36/1744.72	c 1744s |      20 |  1477011 |   730427 |    88052     18 |        0 |        0
1746.46/1746.84	c 1746s |      20 |  1477644 |   731027 |    88052     18 |        0 |        0
1748.76/1749.11	c 1748s |      20 |  1478189 |   731527 |    88052     18 |        0 |        0
1750.86/1751.23	c 1750s |      20 |  1478738 |   732027 |    88052     18 |        0 |        0
1752.85/1753.29	c 1752s |      20 |  1479286 |   732527 |    88052     18 |        0 |        0
1754.95/1755.39	c 1754s |      20 |  1479819 |   733027 |    88052     18 |        0 |        0
1757.24/1757.63	c 1756s |      20 |  1480459 |   733627 |    88052     18 |        0 |        0
1759.54/1759.94	c 1759s |      20 |  1481209 |   734327 |    88052     18 |        0 |        0
1762.04/1762.46	c 1761s |      20 |  1482018 |   735127 |    88052     18 |        0 |        0
1764.34/1764.74	c 1764s |      20 |  1482651 |   735727 |    88052     18 |        0 |        0
1766.44/1766.81	c 1766s |      20 |  1483177 |   736227 |    88052     18 |        0 |        0
1768.64/1769.06	c 1768s |      20 |  1484016 |   737027 |    88052     18 |        0 |        0
1771.03/1771.48	c 1770s |      20 |  1484569 |   737527 |    88052     18 |        0 |        0
1773.13/1773.53	c 1772s |      20 |  1485186 |   738127 |    88052     18 |        0 |        0
1775.23/1775.65	c 1774s |      20 |  1485614 |   738527 |    88052     18 |        0 |        0
1777.34/1777.70	c 1777s |      20 |  1486140 |   739027 |    88052     18 |        0 |        0
1779.54/1779.93	c 1779s |      20 |  1486659 |   739527 |    88052     18 |        0 |        0
1781.64/1782.02	c 1781s |      20 |  1487056 |   739927 |    88052     18 |        0 |        0
1784.03/1784.46	c 1783s |      20 |  1487562 |   740427 |    88052     18 |        0 |        0
1786.34/1786.75	c 1786s |      20 |  1488171 |   741027 |    88052     18 |        0 |        0
1788.74/1789.10	c 1788s |      20 |  1488805 |   741627 |    88052     18 |        0 |        0
1790.74/1791.10	c 1790s |      20 |  1489314 |   742127 |    88052     18 |        0 |        0
1792.94/1793.33	c 1792s |      20 |  1489936 |   742727 |    88052     18 |        0 |        0
1795.14/1795.52	c 1794s |      20 |  1490564 |   743327 |    88052     18 |        0 |        0
1797.43/1797.84	c 1797s |      20 |  1491303 |   744027 |    88052     18 |        0 |        0
1799.83/1800.27	c 1799s |      20 |  1491932 |   744627 |    88052     18 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=2022
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: 0.34 0.26 0.17 3/171 2026
/proc/meminfo: memFree=28674408/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 2392 0 0 0 0 0 0 0 20 0 4 0 58524 660008960 2242 33554432000 4194304 16246674 140735916178048 140735916177472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 161903 2250 441 2943 0 158797 0
[pid=2026/tid=2030] ppid=2022 vsize=662972 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 678883328 2313 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=668092 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 684126208 2331 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=672188 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 58524 688320512 2348 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 0.34 0.26 0.17 3/171 2026
/proc/meminfo: memFree=28674408/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 27950 0 0 0 6 3 0 0 20 0 4 0 58524 1250496512 27738 33554432000 4194304 16246674 140735916178048 140735916177360 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 305297 27747 800 2943 0 302191 0
[pid=2026/tid=2030] ppid=2022 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1250496512 27752 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1250496512 27758 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1250496512 27764 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200532 s]
/proc/loadavg: 0.34 0.26 0.17 3/171 2026
/proc/meminfo: memFree=28674408/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 50446 0 0 0 12 6 0 0 20 0 4 0 58524 1344868352 50745 33554432000 4194304 16246674 140735916178048 140735916177360 7363458 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 50745 800 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50745 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50745 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50745 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.30052 s]
/proc/loadavg: 0.34 0.26 0.17 3/171 2026
/proc/meminfo: memFree=28674408/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 50579 0 0 0 22 6 0 0 20 0 4 0 58524 1344868352 50878 33554432000 4194304 16246674 140735916178048 140735916177360 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 50878 842 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50878 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50878 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 50878 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700413 s]
/proc/loadavg: 0.34 0.26 0.17 3/171 2026
/proc/meminfo: memFree=28674408/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 113390 0 0 0 53 16 0 0 20 0 4 0 58524 1344868352 113689 33554432000 4194304 16246674 140735916178048 140735916159936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 113697 876 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 113701 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 113706 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 113710 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 0.34 0.26 0.17 3/182 2037
/proc/meminfo: memFree=27292936/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 234640 0 0 0 117 32 0 0 20 0 4 0 58524 1344868352 234939 33554432000 4194304 16246674 140735916178048 140735916159936 5531957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 234945 888 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 234949 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 234952 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 234956 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 0.34 0.26 0.17 4/182 2037
/proc/meminfo: memFree=26512852/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 269015 0 0 0 272 37 0 0 20 0 4 0 58524 1344868352 269314 33554432000 4194304 16246674 140735916178048 140735916159936 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 269314 894 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269314 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269314 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269314 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 0.63 0.32 0.20 3/182 2037
/proc/meminfo: memFree=26512684/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 269017 0 0 0 592 37 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140735916159936 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 269316 895 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 0.74 0.35 0.20 3/182 2037
/proc/meminfo: memFree=26512752/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 269017 0 0 0 1232 37 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140735916161048 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 269316 895 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269316 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.02 0.43 0.23 3/182 2037
/proc/meminfo: memFree=26514920/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 269026 0 0 0 2511 37 0 0 20 0 4 0 58524 1344868352 269325 33554432000 4194304 16246674 140735916178048 140735916159936 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 328337 269325 901 2943 0 325231 0
[pid=2026/tid=2030] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269325 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269325 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1344868352 269325 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.48 0.58 0.29 3/182 2037
/proc/meminfo: memFree=26425024/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1320516 CPUtime=51.08 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 270724 0 0 0 5070 38 0 0 20 0 4 0 58524 1352208384 271023 33554432000 4194304 16246674 140735916178048 140735916159936 5823793 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 330129 271023 902 2943 0 327023 0
[pid=2026/tid=2030] ppid=2022 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1352208384 271023 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1352208384 271023 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1352208384 271023 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.301 s]
/proc/loadavg: 1.93 0.85 0.39 3/182 2038
/proc/meminfo: memFree=26416972/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 272611 0 0 0 10187 41 0 0 20 0 4 0 58524 1359548416 272910 33554432000 4194304 16246674 140735916178048 140735916177144 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 331921 272910 902 2943 0 328815 0
[pid=2026/tid=2030] ppid=2022 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1359548416 272910 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1359548416 272910 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1359548416 272910 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 294926 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1415748

[startup+1302.3 s]
/proc/loadavg: 2.26 2.28 1.76 4/182 2065
/proc/meminfo: memFree=26325192/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1302.09 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294629 0 0 0 130117 92 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 6025216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1415748

[startup+1362.3 s]
/proc/loadavg: 2.32 2.30 1.80 3/182 2066
/proc/meminfo: memFree=26325100/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1362.06 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294652 0 0 0 136111 95 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1415748

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 1.82 3/182 2067
/proc/meminfo: memFree=26325124/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1422.06 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294661 0 0 0 142106 100 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916177144 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1415748

[startup+1482.3 s]
/proc/loadavg: 2.18 2.26 1.84 4/182 2068
/proc/meminfo: memFree=26324804/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1482.04 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294662 0 0 0 148096 108 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916175872 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1415748

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 1.86 4/183 2072
/proc/meminfo: memFree=26324584/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1542.04 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294675 0 0 0 154092 112 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1415748

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 1.88 3/182 2073
/proc/meminfo: memFree=26324624/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1602.01 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294700 0 0 0 160088 113 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1415748

[startup+1662.3 s]
/proc/loadavg: 2.32 2.28 1.91 3/182 2074
/proc/meminfo: memFree=26317360/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1661.99 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294715 0 0 0 166083 116 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916161048 5676491 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1415748

[startup+1722.3 s]
/proc/loadavg: 2.39 2.30 1.94 3/182 2075
/proc/meminfo: memFree=26317108/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1721.96 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294753 0 0 0 172079 117 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 5824045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1415748

[startup+1782.3 s]
/proc/loadavg: 2.30 2.29 1.96 3/182 2076
/proc/meminfo: memFree=26144900/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1781.93 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294792 0 0 0 178076 117 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1415748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.29 1.96 4/182 2076
/proc/meminfo: memFree=26145492/32872528 swapFree=1553660/1717180
[pid=2026] ppid=2022 vsize=1415748 CPUtime=1800.03 cores=1,3,5,7
/proc/2026/stat : 2026 (toysat) R 2022 2026 1984 0 -1 4202496 294807 0 0 0 179885 118 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140735916159936 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2026/statm: 353937 295182 902 2943 0 350831 0
[pid=2026/tid=2030] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2030/stat : 2030 (toysat) S 2022 2026 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343797329136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2026/tid=2031] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2031/stat : 2031 (toysat) S 2022 2026 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343786839280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2026/tid=2032] ppid=2022 vsize=1415748 CPUtime=0 cores=1,3,5,7
/proc/2026/task/2032/stat : 2032 (toysat) S 2022 2026 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 58524 1449725952 295182 33554432000 4194304 16246674 140735916178048 140343776365744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1415748

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 2026 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.43
CPU time (s): 1800.06
CPU user time (s): 1798.86
CPU system time (s): 1.20182
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1415748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.20182
maximum resident set size= 1180728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294807
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= 199
involuntary context switches= 2436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14107 second user time and 9.15561 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-29 16:25:09
IDJOB=4117348
IDBENCH=111565
IDSOLVER=2542
FILE ID=node117/4117348-1467210309
RUNJOBID= node117-1467210309-2001
PBS_JOBID= 19997597
Free space on /tmp= 71624 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117348-1467210309/watcher-4117348-1467210309 -o /tmp/evaluation-result-4117348-1467210309/solver-4117348-1467210309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117348-1467210309.opb

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

MD5SUM BENCH= 4388f70cc0fac0165a49b338c248bcae
RANDOM SEED=1756291848

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        28676076 kB
Buffers:           32132 kB
Cached:          1719872 kB
SwapCached:            0 kB
Active:           126936 kB
Inactive:        1638500 kB
Active(anon):      16112 kB
Inactive(anon):        4 kB
Active(file):     110824 kB
Inactive(file):  1638496 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34952 kB
Writeback:             0 kB
AnonPages:       1730376 kB
Mapped:            13724 kB
Shmem:               204 kB
Slab:             579284 kB
SReclaimable:      23588 kB
SUnreclaim:       555696 kB
KernelStack:        1352 kB
PageTables:         7960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1815832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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= 71592 MiB
End job on node117 at 2016-06-29 16:55:10