Trace number 4093326

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMfc69cf5fb8ed09269ce87a121862dce7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints140
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 6854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6853
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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-16T14:32:39+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","--wbo","--search=bcd2","HOME/instance-4093326-1466080358.wbo"]
0.00/0.01	c use --random-gen="1747120393 2784950635 79113899 1754884975 1940388361 2036093733 2466955256 4244393561 3630270533 3597946903 4052067025 4058793838 1088888383 922262538 1535348242 2366371647 1152353336 4009486706 710967304 3658033191 1899815086 3291731728 1210211220 2765076116 1667356067 1401829464 2239820777 1940263400 2837057092 1177676703 2429150743 637886084 1963655797 2150995075 3120308596 743286562 1685815273 1998674696 2883066464 912040696 3034370802 1512959785 1144454584 1926742596 1277944160 2046685164 2298657169 1462708786 1769267757 4018837888 1455209734 1413067833 2718796155 2066677712 583629886 3263680970 2259857489 3675210061 439196846 114255110 2315044377 836995686 2995362883 2919293526 551100242 201530593 2134656857 4137854248 4234138156 944635930 434413471 4188073894 1998849014 204963510 1437872453 4238919204 2612026225 2424792483 1487447452 2265025537 1523059818 3504959005 1313985024 1299453 1678534650 2897649901 4142466826 1491937448 2124166739 1686163816 56832162 2082048879 3016204048 1716643782 1122566115 2094922301 876386477 2579745093 2203078182 1276868816 463284242 4166329206 922211386 3134234040 2386821512 1107498117 2365471501 3470992170 25036804 2827688149 2789870003 136300933 1791703735 805262041 1242946716 802606872 2831280310 281787344 676844530 908567269 2925731778 3908330002 264919301 538018422 2567010458 598226339 750583092 1819012783 3244924765 3281292730 1974722435 2602285570 2876675795 845534491 3994432545 1862191428 2698508820 3227314835 44630388 2716784619 2476367827 795594595 1741221686 986464013 843532480 1204335982 2337246960 3902614291 250698215 591407307 956412453 3163900397 2482949425 3351903255 802341082 3983691528 3089070879 2948305174 882783962 303476431 2963988886 4266074494 4173542156 2431456431 2780657481 743869558 1485025815 3399374042 2514817577 1989988394 2382867446 3858952769 3144707020 2879131661 3866549306 152885021 2549604520 2917366689 3100880027 3984947990 3942285068 4007245348 516115798 2328451790 2508001145 2208198130 3404356386 4205558587 3068453423 1457138244 105012596 3907624288 1129372818 2286838775 3720155930 1091995761 4220349580 1929682002 738473429 4038224840 3456379479 355078914 2148611925 1479223201 3428307851 1541649805 1491908036 3112590911 4161096970 4172531779 879280519 4045546340 87020583 2881169940 1315620104 2021911099 1647403638 841576510 1619680866 3158434293 4206072730 2429325587 1551933078 2414602120 476613800 3321584253 428116006 984603653 1316135129 2394638032 1194693652 1886431687 4052854605 1013541112 1521761449 1439550829 2028033283 565527686 1545108765 3299540409 1607427286 211608186 1100019192 3330199595 1776491177 3237899624 3784330247 3680856665 261899517 1563375676 2711758404 750615283 2931107307 3036187658 3319747046 3886202822 255 362436" option to reproduce the execution
0.19/0.26	c #vars 5100
0.19/0.26	c #constraints 202
0.19/0.29	c BCD2: Hardening is enabled.
0.19/0.29	c BCD2: BiasedSearch is enabled.
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.19/0.29	c  0.0s |       0 |        0 |        0 |     1814      0 |        0 |        0
0.29/0.35	c  0.1s |       1 |      303 |      100 |     1814      0 |        0 |        0
0.29/0.38	c  0.1s |       1 |     3883 |      102 |     1996      0 |        0 |        0
0.29/0.38	c #cpu_time = 0.085s
0.29/0.38	c #wall_clock_time = 0.085s
0.29/0.38	c #decision = 3883
0.29/0.38	c #random_decision = 10
0.29/0.38	c #conflict = 102
0.29/0.38	c #restart = 1
0.29/0.38	o 3261
0.29/0.38	c BCD2: updating upper bound: 6853 -> 3260
0.29/0.38	c BCD2: 0 <= obj <= 3260
0.29/0.38	c BCD2: #cores=0, #unrelaxed=140, #relaxed=0, #hardened=0
0.29/0.38	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |     1996      0 |        0 |        0
0.39/0.44	c  0.1s |       1 |      663 |      100 |     1996      0 |        0 |        0
0.59/0.63	c  0.2s |       2 |     2380 |      250 |     2196      0 |        0 |        0
0.68/1.02	c  0.6s |       3 |     4777 |      475 |     2416      0 |        0 |        0
1.59/1.65	c  1.3s |       4 |     7998 |      813 |     2658      0 |        0 |        0
2.08/2.17	c  1.8s |       5 |    10817 |     1320 |     2924      0 |        0 |        0
3.08/3.12	c  2.7s |       6 |    13851 |     2081 |     3217      0 |        0 |        0
4.78/4.82	c  4.4s |       7 |    16596 |     3223 |     3539      0 |        0 |        0
6.79/6.82	c  6.4s |       7 |    19373 |     4423 |     3539      0 |        0 |        0
7.78/7.83	c  7.5s |       8 |    19976 |     4936 |     3893      0 |        0 |        0
9.88/9.97	c  9.6s |       8 |    23133 |     6336 |     3893      1 |        0 |        0
11.88/11.96	c 11.6s |       9 |    24458 |     7506 |     4283      1 |        0 |        0
14.08/14.10	c 13.7s |       9 |    27380 |     8406 |     4283      2 |        0 |        0
16.18/16.22	c 15.8s |       9 |    28988 |     9506 |     4283      2 |        0 |        0
18.28/18.33	c 18.0s |       9 |    29760 |    10206 |     4283      2 |        0 |        0
20.28/20.35	c 20.0s |       9 |    30422 |    10806 |     4283      2 |        0 |        0
22.08/22.13	c 21.7s |      10 |    31039 |    11361 |     4712      2 |        0 |        0
24.18/24.27	c 23.9s |      10 |    34014 |    12661 |     4712      3 |        0 |        0
26.38/26.40	c 26.0s |      10 |    35257 |    13761 |     4712      3 |        0 |        0
28.48/28.53	c 28.1s |      10 |    36713 |    14761 |     4712      3 |        0 |        0
30.68/30.76	c 30.4s |      10 |    37627 |    15561 |     4712      4 |        0 |        0
32.88/32.93	c 32.6s |      10 |    38423 |    16261 |     4712      4 |        0 |        0
34.87/34.94	c 34.6s |      10 |    39111 |    16861 |     4712      4 |        0 |        0
35.77/35.86	c 35.5s |      11 |    39431 |    17144 |     5184      4 |        0 |        0
37.88/37.93	c 37.5s |      11 |    43206 |    18444 |     5184      5 |        0 |        0
40.08/40.11	c 39.7s |      11 |    44607 |    19644 |     5184      5 |        0 |        0
42.28/42.34	c 42.0s |      11 |    45638 |    20544 |     5184      5 |        0 |        0
44.29/44.37	c 44.0s |      11 |    46543 |    21344 |     5184      5 |        0 |        0
46.49/46.52	c 46.1s |      11 |    47730 |    22344 |     5184      6 |        0 |        0
48.48/48.60	c 48.2s |      11 |    48756 |    23244 |     5184      6 |        0 |        0
50.79/50.84	c 50.5s |      11 |    49640 |    24044 |     5184      6 |        0 |        0
52.88/52.99	c 52.6s |      11 |    50395 |    24744 |     5184      6 |        0 |        0
55.19/55.21	c 54.8s |      11 |    51156 |    25444 |     5184      6 |        0 |        0
56.29/56.39	c 56.0s |      12 |    51561 |    25819 |     5703      6 |        0 |        0
58.38/58.45	c 58.1s |      12 |    54597 |    26919 |     5703      7 |        0 |        0
60.38/60.46	c 60.1s |      12 |    56294 |    28419 |     5703      7 |        0 |        0
62.58/62.65	c 62.3s |      12 |    57855 |    29319 |     5703      7 |        0 |        0
64.78/64.87	c 64.5s |      12 |    59031 |    30219 |     5703      7 |        0 |        0
66.87/66.92	c 66.5s |      12 |    59816 |    30919 |     5703      8 |        0 |        0
69.07/69.10	c 68.7s |      12 |    60584 |    31619 |     5703      8 |        0 |        0
71.17/71.20	c 70.8s |      12 |    61369 |    32319 |     5703      8 |        0 |        0
73.17/73.29	c 72.9s |      12 |    62153 |    33019 |     5703      8 |        0 |        0
75.27/75.36	c 75.0s |      12 |    63090 |    33819 |     5703      8 |        0 |        0
77.77/77.80	c 77.4s |      12 |    63989 |    34619 |     5703      9 |        0 |        0
79.77/79.89	c 79.5s |      12 |    64927 |    35419 |     5703      9 |        0 |        0
81.87/81.90	c 81.5s |      12 |    65841 |    36219 |     5703      9 |        0 |        0
84.07/84.14	c 83.8s |      12 |    66735 |    37019 |     5703      9 |        0 |        0
86.18/86.29	c 85.9s |      12 |    67774 |    37919 |     5703      9 |        0 |        0
88.48/88.53	c 88.1s |      12 |    68652 |    38719 |     6274      9 |        0 |        0
88.78/88.87	c 88.5s |      13 |    68775 |    38832 |     6274      9 |        0 |        0
90.88/90.97	c 90.6s |      13 |    71795 |    39832 |     6274     10 |        0 |        0
92.97/93.02	c 92.6s |      13 |    73067 |    40832 |     6274     10 |        0 |        0
95.07/95.13	c 94.7s |      13 |    74204 |    41732 |     6274     10 |        0 |        0
97.27/97.36	c 97.0s |      13 |    75446 |    42732 |     6274     10 |        0 |        0
99.37/99.47	c 99.1s |      13 |    76496 |    43632 |     6274     10 |        0 |        0
101.57/101.67	c  101s |      13 |    77270 |    44332 |     6274     11 |        0 |        0
103.97/104.00	c  103s |      13 |    78123 |    45032 |     6274     11 |        0 |        0
106.27/106.33	c  105s |      13 |    78814 |    45632 |     6274     11 |        0 |        0
108.47/108.56	c  108s |      13 |    79901 |    46532 |     6274     11 |        0 |        0
110.57/110.66	c  110s |      13 |    80844 |    47332 |     6274     11 |        0 |        0
112.67/112.71	c  112s |      13 |    81602 |    48032 |     6274     11 |        0 |        0
114.87/114.95	c  114s |      13 |    82293 |    48632 |     6274     12 |        0 |        0
116.97/117.01	c  116s |      13 |    82990 |    49232 |     6274     12 |        0 |        0
119.07/119.15	c  118s |      13 |    83689 |    49832 |     6274     12 |        0 |        0
121.06/121.17	c  120s |      13 |    84394 |    50432 |     6274     12 |        0 |        0
123.27/123.32	c  122s |      13 |    85065 |    51032 |     6274     12 |        0 |        0
125.58/125.66	c  125s |      13 |    85774 |    51632 |     6274     12 |        0 |        0
127.88/127.91	c  127s |      13 |    86448 |    52232 |     6274     12 |        0 |        0
130.17/130.22	c  129s |      13 |    87136 |    52832 |     6274     12 |        0 |        0
132.56/132.66	c  132s |      13 |    87710 |    53332 |     6274     13 |        0 |        0
134.56/134.69	c  134s |      13 |    88269 |    53832 |     6274     13 |        0 |        0
136.67/136.71	c  136s |      13 |    88828 |    54332 |     6274     13 |        0 |        0
138.77/138.90	c  138s |      13 |    89376 |    54832 |     6274     13 |        0 |        0
140.97/141.07	c  140s |      13 |    89925 |    55332 |     6274     13 |        0 |        0
143.17/143.24	c  142s |      13 |    90494 |    55832 |     6274     13 |        0 |        0
145.26/145.34	c  144s |      13 |    91021 |    56332 |     6274     13 |        0 |        0
147.36/147.43	c  147s |      13 |    91992 |    57132 |     6274     13 |        0 |        0
149.56/149.62	c  149s |      13 |    92929 |    57932 |     6902     13 |        0 |        0
150.97/151.01	c  150s |      14 |    93399 |    58352 |     6902     13 |        0 |        0
153.06/153.11	c  152s |      14 |    96402 |    59552 |     6902     14 |        0 |        0
155.16/155.24	c  154s |      14 |    97711 |    60752 |     6902     14 |        0 |        0
157.26/157.30	c  156s |      14 |    99171 |    62052 |     6902     14 |        0 |        0
159.26/159.40	c  159s |      14 |   100480 |    63252 |     6902     14 |        0 |        0
161.46/161.54	c  161s |      14 |   101684 |    64352 |     6902     15 |        0 |        0
163.56/163.65	c  163s |      14 |   102913 |    65452 |     6902     15 |        0 |        0
165.76/165.82	c  165s |      14 |   104136 |    66552 |     6902     15 |        0 |        0
167.85/167.94	c  167s |      14 |   105205 |    67552 |     6902     15 |        0 |        0
169.85/169.95	c  169s |      14 |   106196 |    68452 |     6902     15 |        0 |        0
171.95/172.05	c  171s |      14 |   107179 |    69352 |     6902     16 |        0 |        0
174.16/174.21	c  173s |      14 |   108147 |    70252 |     6902     16 |        0 |        0
176.17/176.24	c  175s |      14 |   109160 |    71152 |     6902     16 |        0 |        0
178.26/178.37	c  177s |      14 |   110394 |    72252 |     6902     16 |        0 |        0
180.46/180.52	c  180s |      14 |   111508 |    73252 |     6902     16 |        0 |        0
182.77/182.87	c  182s |      14 |   112524 |    74152 |     6902     17 |        0 |        0
184.97/185.09	c  184s |      14 |   113478 |    74952 |     6902     17 |        0 |        0
187.17/187.23	c  186s |      14 |   114420 |    75752 |     6902     17 |        0 |        0
189.16/189.25	c  188s |      14 |   115427 |    76652 |     6902     17 |        0 |        0
191.36/191.42	c  191s |      14 |   116421 |    77552 |     6902     17 |        0 |        0
193.36/193.46	c  193s |      14 |   117194 |    78252 |     6902     17 |        0 |        0
195.56/195.68	c  195s |      14 |   118092 |    79052 |     6902     18 |        0 |        0
197.66/197.70	c  197s |      14 |   119014 |    79852 |     6902     18 |        0 |        0
199.75/199.85	c  199s |      14 |   119921 |    80652 |     6902     18 |        0 |        0
201.75/201.87	c  201s |      14 |   120845 |    81452 |     6902     18 |        0 |        0
203.85/203.92	c  203s |      14 |   121719 |    82252 |     6902     18 |        0 |        0
206.05/206.13	c  205s |      14 |   122708 |    83152 |     6902     18 |        0 |        0
208.06/208.18	c  207s |      14 |   123384 |    83752 |     6902     19 |        0 |        0
210.15/210.22	c  209s |      14 |   124254 |    84552 |     6902     19 |        0 |        0
212.35/212.41	c  212s |      14 |   125142 |    85352 |     6902     19 |        0 |        0
214.45/214.53	c  214s |      14 |   126005 |    86152 |     6902     19 |        0 |        0
216.65/216.71	c  216s |      14 |   127124 |    87152 |     7593     19 |        0 |        0
217.95/218.08	c  217s |      15 |   127669 |    87632 |     7593     19 |        0 |        0
220.05/220.11	c  219s |      15 |   131080 |    88532 |     7593     20 |        0 |        0
222.14/222.29	c  221s |      15 |   132332 |    89632 |     7593     20 |        0 |        0
224.34/224.47	c  224s |      15 |   133464 |    90632 |     7593     20 |        0 |        0
226.55/226.61	c  226s |      15 |   134485 |    91532 |     7593     20 |        0 |        0
228.65/228.74	c  228s |      15 |   135516 |    92432 |     7593     20 |        0 |        0
230.85/230.91	c  230s |      15 |   136590 |    93332 |     7593     20 |        0 |        0
232.95/233.00	c  232s |      15 |   137517 |    94132 |     7593     20 |        0 |        0
235.14/235.26	c  234s |      15 |   138532 |    95032 |     7593     20 |        0 |        0
237.14/237.26	c  236s |      15 |   139217 |    95632 |     7593     21 |        0 |        0
239.44/239.53	c  239s |      15 |   140110 |    96432 |     7593     21 |        0 |        0
241.64/241.77	c  241s |      15 |   140884 |    97132 |     7593     21 |        0 |        0
243.94/244.05	c  243s |      15 |   141800 |    97932 |     7593     21 |        0 |        0
246.03/246.12	c  245s |      15 |   142464 |    98532 |     7593     21 |        0 |        0
248.34/248.40	c  248s |      15 |   143229 |    99232 |     7593     21 |        0 |        0
250.34/250.42	c  250s |      15 |   143883 |    99832 |     7593     21 |        0 |        0
252.64/252.71	c  252s |      15 |   144532 |   100432 |     7593     21 |        0 |        0
255.04/255.17	c  254s |      15 |   145202 |   101032 |     7593     21 |        0 |        0
257.33/257.48	c  257s |      15 |   145854 |   101632 |     7593     21 |        0 |        0
259.63/259.71	c  259s |      15 |   146322 |   102032 |     7593     22 |        0 |        0
261.63/261.77	c  261s |      15 |   147089 |   102732 |     7593     22 |        0 |        0
263.84/263.98	c  263s |      15 |   147896 |   103432 |     7593     22 |        0 |        0
265.94/266.06	c  265s |      15 |   148680 |   104132 |     7593     22 |        0 |        0
268.23/268.35	c  267s |      15 |   149454 |   104832 |     7593     22 |        0 |        0
270.43/270.57	c  270s |      15 |   150260 |   105532 |     7593     22 |        0 |        0
272.63/272.72	c  272s |      15 |   150935 |   106132 |     7593     22 |        0 |        0
274.73/274.86	c  274s |      15 |   151596 |   106732 |     7593     22 |        0 |        0
276.93/277.03	c  276s |      15 |   152265 |   107332 |     7593     22 |        0 |        0
279.03/279.16	c  278s |      15 |   152957 |   107932 |     7593     22 |        0 |        0
281.34/281.43	c  281s |      15 |   153626 |   108532 |     7593     23 |        0 |        0
283.43/283.53	c  283s |      15 |   154532 |   109332 |     7593     23 |        0 |        0
285.53/285.64	c  285s |      15 |   155454 |   110132 |     7593     23 |        0 |        0
287.63/287.74	c  287s |      15 |   156229 |   110832 |     7593     23 |        0 |        0
289.73/289.89	c  289s |      15 |   157016 |   111532 |     7593     23 |        0 |        0
291.83/291.98	c  291s |      15 |   157706 |   112132 |     7593     23 |        0 |        0
294.03/294.16	c  293s |      15 |   158513 |   112832 |     7593     23 |        0 |        0
296.22/296.34	c  295s |      15 |   159176 |   113432 |     7593     23 |        0 |        0
298.42/298.50	c  298s |      15 |   159841 |   114032 |     7593     23 |        0 |        0
300.62/300.77	c  300s |      15 |   160390 |   114532 |     7593     24 |        0 |        0
302.82/302.91	c  302s |      15 |   161160 |   115232 |     7593     24 |        0 |        0
304.83/304.99	c  304s |      15 |   161853 |   115832 |     7593     24 |        0 |        0
307.03/307.12	c  306s |      15 |   162627 |   116532 |     7593     24 |        0 |        0
309.02/309.19	c  308s |      15 |   163274 |   117132 |     7593     24 |        0 |        0
311.22/311.35	c  310s |      15 |   163832 |   117632 |     7593     24 |        0 |        0
313.52/313.60	c  313s |      15 |   164494 |   118232 |     7593     24 |        0 |        0
315.61/315.71	c  315s |      15 |   165173 |   118832 |     7593     24 |        0 |        0
317.62/317.74	c  317s |      15 |   165820 |   119432 |     7593     24 |        0 |        0
319.91/320.02	c  319s |      15 |   166467 |   120032 |     7593     24 |        0 |        0
322.01/322.12	c  321s |      15 |   166924 |   120432 |     7593     25 |        0 |        0
324.21/324.30	c  323s |      15 |   167698 |   121132 |     7593     25 |        0 |        0
326.31/326.49	c  326s |      15 |   168372 |   121732 |     7593     25 |        0 |        0
328.31/328.49	c  328s |      15 |   169059 |   122332 |     7593     25 |        0 |        0
330.40/330.52	c  330s |      15 |   169704 |   122932 |     7593     25 |        0 |        0
332.71/332.88	c  332s |      15 |   170331 |   123532 |     7593     25 |        0 |        0
335.11/335.28	c  334s |      15 |   170995 |   124132 |     7593     25 |        0 |        0
337.41/337.50	c  337s |      15 |   171658 |   124732 |     7593     25 |        0 |        0
339.61/339.74	c  339s |      15 |   172319 |   125332 |     7593     25 |        0 |        0
342.01/342.14	c  341s |      15 |   172963 |   125932 |     7593     25 |        0 |        0
344.91/345.09	c  344s |      15 |   173617 |   126532 |     7593     26 |        0 |        0
347.10/347.26	c  346s |      15 |   174270 |   127132 |     7593     26 |        0 |        0
349.51/349.65	c  349s |      15 |   174920 |   127732 |     7593     26 |        0 |        0
351.81/351.94	c  351s |      15 |   175570 |   128332 |     7593     26 |        0 |        0
354.01/354.18	c  353s |      15 |   176247 |   128932 |     7593     26 |        0 |        0
356.40/356.51	c  356s |      15 |   177054 |   129632 |     7593     26 |        0 |        0
358.50/358.61	c  358s |      15 |   177734 |   130232 |     7593     26 |        0 |        0
360.80/360.95	c  360s |      15 |   178405 |   130832 |     8353     26 |        0 |        0
363.10/363.27	c  362s |      15 |   179046 |   131432 |     8353     26 |        0 |        0
363.49/363.66	c  363s |      16 |   179191 |   131552 |     8353     26 |        0 |        0
365.69/365.81	c  365s |      16 |   181596 |   131952 |     8353     27 |        0 |        0
367.79/367.95	c  367s |      16 |   182926 |   133052 |     8353     27 |        0 |        0
369.89/370.02	c  369s |      16 |   184003 |   133952 |     8353     27 |        0 |        0
372.01/372.12	c  371s |      16 |   185077 |   134852 |     8353     27 |        0 |        0
374.00/374.16	c  373s |      16 |   185963 |   135652 |     8353     27 |        0 |        0
376.00/376.17	c  375s |      16 |   186851 |   136452 |     8353     27 |        0 |        0
378.10/378.27	c  377s |      16 |   187774 |   137252 |     8353     27 |        0 |        0
380.30/380.46	c  380s |      16 |   188648 |   138052 |     8353     27 |        0 |        0
382.59/382.75	c  382s |      16 |   189328 |   138652 |     8353     28 |        0 |        0
384.79/384.94	c  384s |      16 |   190092 |   139352 |     8353     28 |        0 |        0
386.99/387.19	c  386s |      16 |   190839 |   140052 |     8353     28 |        0 |        0
389.19/389.31	c  388s |      16 |   191669 |   140752 |     8353     28 |        0 |        0
391.39/391.55	c  391s |      16 |   192577 |   141552 |     8353     28 |        0 |        0
393.69/393.84	c  393s |      16 |   193340 |   142252 |     8353     28 |        0 |        0
395.99/396.12	c  395s |      16 |   194110 |   142952 |     8353     28 |        0 |        0
397.99/398.14	c  397s |      16 |   194777 |   143552 |     8353     28 |        0 |        0
400.18/400.34	c  399s |      16 |   195553 |   144252 |     8353     28 |        0 |        0
402.38/402.53	c  402s |      16 |   196089 |   144752 |     8353     29 |        0 |        0
404.58/404.78	c  404s |      16 |   196997 |   145552 |     8353     29 |        0 |        0
406.78/406.93	c  406s |      16 |   197686 |   146152 |     8353     29 |        0 |        0
408.78/408.98	c  408s |      16 |   198607 |   146952 |     8353     29 |        0 |        0
410.99/411.14	c  410s |      16 |   199378 |   147652 |     8353     29 |        0 |        0
413.09/413.20	c  412s |      16 |   200188 |   148352 |     8353     29 |        0 |        0
415.09/415.27	c  414s |      16 |   201000 |   149052 |     8353     29 |        0 |        0
417.29/417.42	c  417s |      16 |   201765 |   149752 |     8353     29 |        0 |        0
419.39/419.58	c  419s |      16 |   202440 |   150352 |     8353     29 |        0 |        0
421.79/421.92	c  421s |      16 |   203094 |   150952 |     8353     29 |        0 |        0
423.79/423.96	c  423s |      16 |   203663 |   151452 |     8353     30 |        0 |        0
425.79/425.96	c  425s |      16 |   204354 |   152052 |     8353     30 |        0 |        0
427.99/428.15	c  427s |      16 |   205129 |   152752 |     8353     30 |        0 |        0
430.19/430.34	c  429s |      16 |   205892 |   153452 |     8353     30 |        0 |        0
432.49/432.62	c  432s |      16 |   206700 |   154152 |     8353     30 |        0 |        0
434.59/434.77	c  434s |      16 |   207343 |   154752 |     8353     30 |        0 |        0
436.88/437.02	c  436s |      16 |   207989 |   155352 |     8353     30 |        0 |        0
438.98/439.18	c  438s |      16 |   208640 |   155952 |     8353     30 |        0 |        0
441.18/441.38	c  440s |      16 |   209296 |   156552 |     8353     30 |        0 |        0
443.48/443.62	c  443s |      16 |   209960 |   157152 |     8353     30 |        0 |        0
445.69/445.81	c  445s |      16 |   210403 |   157552 |     8353     31 |        0 |        0
447.98/448.11	c  447s |      16 |   211171 |   158252 |     8353     31 |        0 |        0
450.09/450.20	c  449s |      16 |   211819 |   158852 |     8353     31 |        0 |        0
452.38/452.53	c  452s |      16 |   212591 |   159552 |     8353     31 |        0 |        0
454.39/454.55	c  454s |      16 |   213255 |   160152 |     8353     31 |        0 |        0
456.48/456.60	c  456s |      16 |   214031 |   160852 |     8353     31 |        0 |        0
458.68/458.88	c  458s |      16 |   214810 |   161552 |     8353     31 |        0 |        0
460.87/461.08	c  460s |      16 |   215571 |   162252 |     8353     31 |        0 |        0
463.28/463.42	c  463s |      16 |   216339 |   162952 |     8353     31 |        0 |        0
465.27/465.44	c  465s |      16 |   216874 |   163452 |     8353     32 |        0 |        0
467.37/467.58	c  467s |      16 |   217740 |   164252 |     8353     32 |        0 |        0
469.56/469.79	c  469s |      16 |   218495 |   164952 |     8353     32 |        0 |        0
471.67/471.89	c  471s |      16 |   219079 |   165452 |     8353     32 |        0 |        0
473.87/474.01	c  473s |      16 |   219843 |   166152 |     8353     32 |        0 |        0
475.86/476.03	c  475s |      16 |   220511 |   166752 |     8353     32 |        0 |        0
478.06/478.21	c  477s |      16 |   221362 |   167452 |     8353     32 |        0 |        0
480.16/480.31	c  479s |      16 |   222022 |   168052 |     8353     32 |        0 |        0
482.26/482.41	c  482s |      16 |   222665 |   168652 |     8353     32 |        0 |        0
484.36/484.58	c  484s |      16 |   223315 |   169252 |     8353     32 |        0 |        0
486.46/486.67	c  486s |      16 |   223855 |   169752 |     8353     33 |        0 |        0
488.66/488.87	c  488s |      16 |   224634 |   170452 |     8353     33 |        0 |        0
490.86/491.05	c  490s |      16 |   225399 |   171152 |     8353     33 |        0 |        0
493.06/493.29	c  492s |      16 |   226156 |   171852 |     8353     33 |        0 |        0
495.25/495.47	c  495s |      16 |   226803 |   172452 |     8353     33 |        0 |        0
497.26/497.50	c  497s |      16 |   227456 |   173052 |     8353     33 |        0 |        0
499.56/499.72	c  499s |      16 |   228091 |   173652 |     8353     33 |        0 |        0
501.75/501.93	c  501s |      16 |   228745 |   174252 |     8353     33 |        0 |        0
503.96/504.15	c  503s |      16 |   229403 |   174852 |     8353     33 |        0 |        0
506.24/506.40	c  506s |      16 |   230068 |   175452 |     8353     33 |        0 |        0
508.25/508.47	c  508s |      16 |   230634 |   175952 |     8353     34 |        0 |        0
510.45/510.62	c  510s |      16 |   231408 |   176652 |     8353     34 |        0 |        0
512.45/512.65	c  512s |      16 |   232176 |   177352 |     8353     34 |        0 |        0
514.45/514.66	c  514s |      16 |   232936 |   178052 |     8353     34 |        0 |        0
516.55/516.79	c  516s |      16 |   233703 |   178752 |     8353     34 |        0 |        0
518.84/519.07	c  518s |      16 |   234470 |   179452 |     8353     34 |        0 |        0
521.14/521.32	c  520s |      16 |   235247 |   180152 |     8353     34 |        0 |        0
523.44/523.64	c  523s |      16 |   236032 |   180852 |     8353     34 |        0 |        0
525.54/525.73	c  525s |      16 |   236658 |   181452 |     8353     34 |        0 |        0
527.64/527.90	c  527s |      16 |   237306 |   182052 |     8353     34 |        0 |        0
529.74/529.96	c  529s |      16 |   237844 |   182552 |     8353     35 |        0 |        0
532.03/532.20	c  531s |      16 |   238617 |   183252 |     8353     35 |        0 |        0
534.23/534.41	c  534s |      16 |   239394 |   183952 |     8353     35 |        0 |        0
536.33/536.56	c  536s |      16 |   240146 |   184652 |     8353     35 |        0 |        0
538.63/538.84	c  538s |      16 |   240899 |   185352 |     8353     35 |        0 |        0
540.73/540.92	c  540s |      16 |   241560 |   185952 |     8353     35 |        0 |        0
542.83/543.05	c  542s |      16 |   242366 |   186652 |     8353     35 |        0 |        0
545.03/545.22	c  544s |      16 |   243123 |   187352 |     8353     35 |        0 |        0
547.23/547.49	c  547s |      16 |   243912 |   188052 |     8353     35 |        0 |        0
549.33/549.53	c  549s |      16 |   244456 |   188552 |     8353     36 |        0 |        0
551.43/551.64	c  551s |      16 |   245247 |   189252 |     8353     36 |        0 |        0
553.62/553.84	c  553s |      16 |   246122 |   190052 |     8353     36 |        0 |        0
555.72/555.93	c  555s |      16 |   246878 |   190752 |     8353     36 |        0 |        0
558.12/558.31	c  557s |      16 |   247543 |   191352 |     8353     36 |        0 |        0
560.12/560.35	c  559s |      16 |   248174 |   191952 |     8353     36 |        0 |        0
562.32/562.50	c  562s |      16 |   248850 |   192552 |     8353     36 |        0 |        0
564.52/564.78	c  564s |      16 |   249481 |   193152 |     8353     36 |        0 |        0
566.62/566.87	c  566s |      16 |   250157 |   193752 |     8353     36 |        0 |        0
568.91/569.18	c  568s |      16 |   250802 |   194352 |     8353     36 |        0 |        0
571.02/571.29	c  570s |      16 |   251363 |   194852 |     8353     37 |        0 |        0
573.22/573.42	c  573s |      16 |   252255 |   195652 |     8353     37 |        0 |        0
575.41/575.61	c  575s |      16 |   253165 |   196452 |     9189     37 |        0 |        0
577.41/577.68	c  577s |      16 |   253958 |   197152 |     9189     37 |        0 |        0
578.31/578.54	c  578s |      17 |   254266 |   197432 |     9189     37 |        0 |        0
580.41/580.62	c  580s |      17 |   257702 |   198732 |     9189     37 |        0 |        0
582.51/582.74	c  582s |      17 |   259066 |   199932 |     9189     37 |        0 |        0
584.70/584.91	c  584s |      17 |   260342 |   201032 |     9189     37 |        0 |        0
586.80/587.01	c  586s |      17 |   261345 |   201932 |     9189     38 |        0 |        0
588.90/589.18	c  588s |      17 |   262581 |   203032 |     9189     38 |        0 |        0
591.00/591.25	c  590s |      17 |   263697 |   204032 |     9189     38 |        0 |        0
593.10/593.32	c  592s |      17 |   264598 |   204832 |     9189     38 |        0 |        0
595.10/595.34	c  594s |      17 |   265626 |   205732 |     9189     38 |        0 |        0
597.19/597.46	c  597s |      17 |   266520 |   206532 |     9189     38 |        0 |        0
599.39/599.65	c  599s |      17 |   267424 |   207332 |     9189     38 |        0 |        0
601.49/601.74	c  601s |      17 |   268206 |   208032 |     9189     39 |        0 |        0
603.49/603.80	c  603s |      17 |   269089 |   208832 |     9189     39 |        0 |        0
605.78/606.02	c  605s |      17 |   270150 |   209732 |     9189     39 |        0 |        0
607.98/608.22	c  607s |      17 |   271232 |   210632 |     9189     39 |        0 |        0
609.98/610.29	c  609s |      17 |   272159 |   211432 |     9189     39 |        0 |        0
612.18/612.44	c  612s |      17 |   273181 |   212332 |     9189     39 |        0 |        0
614.18/614.47	c  614s |      17 |   274107 |   213132 |     9189     39 |        0 |        0
616.18/616.49	c  616s |      17 |   274890 |   213832 |     9189     40 |        0 |        0
618.48/618.71	c  618s |      17 |   276078 |   214832 |     9189     40 |        0 |        0
620.48/620.78	c  620s |      17 |   277137 |   215732 |     9189     40 |        0 |        0
622.58/622.82	c  622s |      17 |   278061 |   216532 |     9189     40 |        0 |        0
624.78/625.02	c  624s |      17 |   278974 |   217332 |     9189     40 |        0 |        0
626.77/627.08	c  626s |      17 |   279784 |   218032 |     9189     40 |        0 |        0
628.87/629.13	c  628s |      17 |   280591 |   218732 |     9189     40 |        0 |        0
630.98/631.29	c  630s |      17 |   281393 |   219432 |     9189     40 |        0 |        0
633.08/633.39	c  633s |      17 |   282043 |   220032 |     9189     41 |        0 |        0
635.37/635.63	c  635s |      17 |   282921 |   220832 |     9189     41 |        0 |        0
637.37/637.67	c  637s |      17 |   283835 |   221632 |     9189     41 |        0 |        0
639.67/639.91	c  639s |      17 |   284870 |   222532 |     9189     41 |        0 |        0
641.87/642.18	c  641s |      17 |   285899 |   223432 |     9189     41 |        0 |        0
644.17/644.44	c  644s |      17 |   286853 |   224232 |     9189     41 |        0 |        0
646.16/646.48	c  646s |      17 |   287755 |   225032 |     9189     41 |        0 |        0
648.27/648.57	c  648s |      17 |   288645 |   225832 |     9189     41 |        0 |        0
650.47/650.78	c  650s |      17 |   289533 |   226632 |     9189     42 |        0 |        0
652.57/652.80	c  652s |      17 |   290104 |   227132 |     9189     42 |        0 |        0
654.57/654.89	c  654s |      17 |   290983 |   227932 |     9189     42 |        0 |        0
656.56/656.90	c  656s |      17 |   291889 |   228732 |     9189     42 |        0 |        0
658.66/658.92	c  658s |      17 |   292811 |   229532 |     9189     42 |        0 |        0
660.76/661.00	c  660s |      17 |   293696 |   230332 |     9189     42 |        0 |        0
662.76/663.07	c  662s |      17 |   294478 |   231032 |     9189     42 |        0 |        0
664.85/665.11	c  664s |      17 |   295241 |   231732 |     9189     42 |        0 |        0
666.85/667.15	c  666s |      17 |   296044 |   232432 |     9189     42 |        0 |        0
669.56/669.88	c  669s |      17 |   296739 |   233032 |     9189     43 |        0 |        0
671.65/671.92	c  671s |      17 |   297679 |   233832 |     9189     43 |        0 |        0
673.85/674.16	c  673s |      17 |   298616 |   234632 |     9189     43 |        0 |        0
675.85/676.18	c  675s |      17 |   299433 |   235332 |     9189     43 |        0 |        0
678.15/678.47	c  678s |      17 |   300343 |   236132 |     9189     43 |        0 |        0
680.45/680.73	c  680s |      17 |   301277 |   236932 |     9189     43 |        0 |        0
682.75/683.05	c  682s |      17 |   302163 |   237732 |     9189     43 |        0 |        0
684.74/685.10	c  684s |      17 |   302929 |   238432 |     9189     43 |        0 |        0
686.94/687.23	c  686s |      17 |   303603 |   239032 |     9189     44 |        0 |        0
689.04/689.32	c  688s |      17 |   304385 |   239732 |     9189     44 |        0 |        0
691.05/691.37	c  690s |      17 |   305174 |   240432 |     9189     44 |        0 |        0
693.25/693.58	c  693s |      17 |   305947 |   241132 |     9189     44 |        0 |        0
695.44/695.79	c  695s |      17 |   306832 |   241932 |     9189     44 |        0 |        0
697.64/697.97	c  697s |      17 |   307622 |   242632 |     9189     44 |        0 |        0
699.74/700.06	c  699s |      17 |   308388 |   243332 |     9189     44 |        0 |        0
701.93/702.20	c  701s |      17 |   309073 |   243932 |     9189     44 |        0 |        0
704.04/704.31	c  703s |      17 |   309723 |   244532 |     9189     44 |        0 |        0
706.53/706.80	c  706s |      17 |   310498 |   245232 |     9189     45 |        0 |        0
708.54/708.81	c  708s |      17 |   311213 |   245832 |     9189     45 |        0 |        0
710.54/710.90	c  710s |      17 |   312010 |   246532 |     9189     45 |        0 |        0
712.63/712.93	c  712s |      17 |   312936 |   247332 |     9189     45 |        0 |        0
714.73/715.00	c  714s |      17 |   313816 |   248132 |     9189     45 |        0 |        0
716.83/717.10	c  716s |      17 |   314735 |   248932 |     9189     45 |        0 |        0
718.83/719.18	c  718s |      17 |   315690 |   249732 |     9189     45 |        0 |        0
721.03/721.34	c  720s |      17 |   316586 |   250532 |     9189     45 |        0 |        0
723.02/723.38	c  723s |      17 |   317236 |   251132 |     9189     45 |        0 |        0
725.42/725.70	c  725s |      17 |   317947 |   251732 |     9189     46 |        0 |        0
727.42/727.73	c  727s |      17 |   318762 |   252432 |     9189     46 |        0 |        0
729.42/729.75	c  729s |      17 |   319559 |   253132 |     9189     46 |        0 |        0
731.62/731.92	c  731s |      17 |   320311 |   253832 |     9189     46 |        0 |        0
733.62/733.98	c  733s |      17 |   320977 |   254432 |     9189     46 |        0 |        0
735.71/736.09	c  735s |      17 |   321629 |   255032 |     9189     46 |        0 |        0
738.03/738.33	c  737s |      17 |   322393 |   255732 |     9189     46 |        0 |        0
740.22/740.57	c  740s |      17 |   323158 |   256432 |     9189     46 |        0 |        0
742.42/742.72	c  742s |      17 |   324012 |   257132 |     9189     46 |        0 |        0
744.52/744.85	c  744s |      17 |   324701 |   257732 |     9189     47 |        0 |        0
746.71/747.09	c  746s |      17 |   325713 |   258632 |     9189     47 |        0 |        0
748.91/749.22	c  748s |      17 |   326597 |   259432 |     9189     47 |        0 |        0
751.11/751.43	c  751s |      17 |   327479 |   260232 |     9189     47 |        0 |        0
753.21/753.55	c  753s |      17 |   328239 |   260932 |     9189     47 |        0 |        0
755.40/755.77	c  755s |      17 |   328900 |   261532 |     9189     47 |        0 |        0
757.50/757.83	c  757s |      17 |   329711 |   262232 |     9189     47 |        0 |        0
759.60/759.97	c  759s |      17 |   330510 |   262932 |     9189     47 |        0 |        0
761.80/762.16	c  761s |      17 |   331294 |   263632 |     9189     47 |        0 |        0
764.10/764.45	c  764s |      17 |   331967 |   264232 |     9189     48 |        0 |        0
766.40/766.73	c  766s |      17 |   332510 |   264732 |     9189     48 |        0 |        0
768.50/768.83	c  768s |      17 |   333421 |   265532 |     9189     48 |        0 |        0
770.60/770.99	c  770s |      17 |   334339 |   266332 |     9189     48 |        0 |        0
772.90/773.27	c  772s |      17 |   335224 |   267132 |     9189     48 |        0 |        0
775.10/775.40	c  775s |      17 |   335995 |   267832 |     9189     48 |        0 |        0
777.20/777.52	c  777s |      17 |   336780 |   268532 |     9189     48 |        0 |        0
779.20/779.55	c  779s |      17 |   337436 |   269132 |     9189     48 |        0 |        0
781.50/781.82	c  781s |      17 |   338206 |   269832 |     9189     48 |        0 |        0
783.60/783.98	c  783s |      17 |   338888 |   270432 |     9189     49 |        0 |        0
785.79/786.13	c  785s |      17 |   339919 |   271332 |     9189     49 |        0 |        0
787.89/788.20	c  787s |      17 |   340580 |   271932 |     9189     49 |        0 |        0
789.99/790.33	c  789s |      17 |   341487 |   272732 |     9189     49 |        0 |        0
792.19/792.58	c  792s |      17 |   342362 |   273532 |     9189     49 |        0 |        0
794.29/794.61	c  794s |      17 |   343139 |   274232 |     9189     49 |        0 |        0
796.58/796.97	c  796s |      17 |   343916 |   274932 |     9189     49 |        0 |        0
798.78/799.16	c  798s |      17 |   344854 |   275732 |     9189     49 |        0 |        0
800.88/801.28	c  800s |      17 |   345674 |   276432 |     9189     49 |        0 |        0
803.48/803.81	c  803s |      17 |   346391 |   277032 |     9189     50 |        0 |        0
805.68/806.05	c  805s |      17 |   347512 |   277932 |     9189     50 |        0 |        0
807.78/808.14	c  807s |      17 |   348280 |   278632 |     9189     50 |        0 |        0
809.99/810.34	c  809s |      17 |   349029 |   279332 |     9189     50 |        0 |        0
812.19/812.57	c  812s |      17 |   350173 |   280332 |     9189     50 |        0 |        0
814.38/814.78	c  814s |      17 |   351231 |   281232 |     9189     50 |        0 |        0
816.68/817.03	c  816s |      17 |   352119 |   282032 |     9189     50 |        0 |        0
818.78/819.16	c  818s |      17 |   352897 |   282732 |     9189     50 |        0 |        0
820.98/821.35	c  820s |      17 |   353691 |   283432 |     9189     51 |        0 |        0
823.08/823.49	c  823s |      17 |   354575 |   284232 |     9189     51 |        0 |        0
825.27/825.62	c  825s |      17 |   355459 |   285032 |     9189     51 |        0 |        0
827.37/827.75	c  827s |      17 |   356240 |   285732 |     9189     51 |        0 |        0
829.57/829.95	c  829s |      17 |   357023 |   286432 |     9189     51 |        0 |        0
831.87/832.27	c  831s |      17 |   357690 |   287032 |     9189     51 |        0 |        0
834.27/834.62	c  834s |      17 |   358454 |   287732 |     9189     51 |        0 |        0
836.37/836.79	c  836s |      17 |   359151 |   288332 |     9189     51 |        0 |        0
838.46/838.86	c  838s |      17 |   359817 |   288932 |     9189     51 |        0 |        0
840.56/840.95	c  840s |      17 |   360236 |   289332 |     9189     52 |        0 |        0
842.77/843.17	c  842s |      17 |   361006 |   290032 |     9189     52 |        0 |        0
844.96/845.32	c  844s |      17 |   361694 |   290632 |     9189     52 |        0 |        0
846.97/847.36	c  846s |      17 |   362474 |   291332 |     9189     52 |        0 |        0
849.17/849.52	c  849s |      17 |   363473 |   292232 |     9189     52 |        0 |        0
851.27/851.63	c  851s |      17 |   364350 |   293032 |     9189     52 |        0 |        0
853.26/853.63	c  853s |      17 |   365284 |   293832 |     9189     52 |        0 |        0
855.36/855.77	c  855s |      17 |   366063 |   294532 |    10108     52 |        0 |        0
857.46/857.87	c  857s |      17 |   366853 |   295232 |    10108     52 |        0 |        0
859.46/859.88	c  859s |      17 |   367509 |   295832 |    10108     52 |        0 |        0
860.86/861.21	c  860s |      18 |   367969 |   296252 |    10108     52 |        0 |        0
862.86/863.28	c  862s |      18 |   371124 |   297352 |    10108     53 |        0 |        0
864.95/865.33	c  864s |      18 |   372857 |   298852 |    10108     53 |        0 |        0
867.05/867.46	c  867s |      18 |   374241 |   300052 |    10108     53 |        0 |        0
869.15/869.53	c  869s |      18 |   375624 |   301252 |    10108     53 |        0 |        0
871.25/871.64	c  871s |      18 |   377310 |   302652 |    10108     53 |        0 |        0
873.36/873.71	c  873s |      18 |   378587 |   303752 |    10108     53 |        0 |        0
875.35/875.71	c  875s |      18 |   379513 |   304552 |    10108     54 |        0 |        0
877.45/877.84	c  877s |      18 |   380869 |   305652 |    10108     54 |        0 |        0
879.44/879.85	c  879s |      18 |   381945 |   306552 |    10108     54 |        0 |        0
881.64/882.01	c  881s |      18 |   382890 |   307352 |    10108     54 |        0 |        0
883.74/884.11	c  883s |      18 |   383716 |   308052 |    10108     54 |        0 |        0
885.84/886.28	c  885s |      18 |   384645 |   308852 |    10108     54 |        0 |        0
888.15/888.56	c  888s |      18 |   385571 |   309652 |    10108     54 |        0 |        0
890.45/890.83	c  890s |      18 |   386380 |   310352 |    10108     54 |        0 |        0
892.45/892.83	c  892s |      18 |   387244 |   311052 |    10108     54 |        0 |        0
894.45/894.88	c  894s |      18 |   388088 |   311752 |    10108     54 |        0 |        0
896.54/896.92	c  896s |      18 |   388822 |   312352 |    10108     55 |        0 |        0
898.94/899.38	c  899s |      18 |   389728 |   313152 |    10108     55 |        0 |        0
901.14/901.51	c  901s |      18 |   390712 |   313952 |    10108     55 |        0 |        0
903.24/903.65	c  903s |      18 |   391849 |   314852 |    10108     55 |        0 |        0
905.35/905.70	c  905s |      18 |   392881 |   315752 |    10108     55 |        0 |        0
907.45/907.89	c  907s |      18 |   393932 |   316652 |    10108     55 |        0 |        0
909.55/910.00	c  909s |      18 |   394897 |   317452 |    10108     55 |        0 |        0
911.75/912.15	c  911s |      18 |   395863 |   318252 |    10108     55 |        0 |        0
913.84/914.28	c  913s |      18 |   396757 |   318952 |    10108     55 |        0 |        0
916.15/916.59	c  916s |      18 |   397445 |   319552 |    10108     56 |        0 |        0
918.24/918.61	c  918s |      18 |   398274 |   320252 |    10108     56 |        0 |        0
920.34/920.73	c  920s |      18 |   399288 |   321152 |    10108     56 |        0 |        0
922.54/922.98	c  922s |      18 |   400337 |   322052 |    10108     56 |        0 |        0
924.74/925.17	c  924s |      18 |   401273 |   322852 |    10108     56 |        0 |        0
926.94/927.32	c  926s |      18 |   402174 |   323652 |    10108     56 |        0 |        0
929.04/929.45	c  929s |      18 |   403109 |   324452 |    10108     56 |        0 |        0
931.24/931.66	c  931s |      18 |   404128 |   325252 |    10108     56 |        0 |        0
933.44/933.80	c  933s |      18 |   404983 |   325952 |    10108     56 |        0 |        0
935.64/936.09	c  935s |      18 |   406032 |   326752 |    10108     56 |        0 |        0
937.74/938.17	c  937s |      18 |   406724 |   327252 |    10108     57 |        0 |        0
939.94/940.37	c  939s |      18 |   407848 |   328152 |    10108     57 |        0 |        0
942.04/942.47	c  942s |      18 |   408859 |   329052 |    10108     57 |        0 |        0
944.13/944.51	c  944s |      18 |   409742 |   329852 |    10108     57 |        0 |        0
946.24/946.67	c  946s |      18 |   410520 |   330552 |    10108     57 |        0 |        0
948.44/948.81	c  948s |      18 |   411465 |   331352 |    10108     57 |        0 |        0
950.54/950.98	c  950s |      18 |   412350 |   332152 |    10108     57 |        0 |        0
952.64/953.05	c  952s |      18 |   413232 |   332952 |    10108     57 |        0 |        0
954.83/955.23	c  954s |      18 |   414141 |   333752 |    10108     57 |        0 |        0
956.84/957.23	c  956s |      18 |   414924 |   334452 |    10108     57 |        0 |        0
958.93/959.33	c  958s |      18 |   415580 |   335052 |    10108     58 |        0 |        0
961.03/961.41	c  961s |      18 |   416450 |   335852 |    10108     58 |        0 |        0
963.23/963.62	c  963s |      18 |   417323 |   336652 |    10108     58 |        0 |        0
965.44/965.88	c  965s |      18 |   418241 |   337452 |    10108     58 |        0 |        0
967.64/968.01	c  967s |      18 |   419015 |   338152 |    10108     58 |        0 |        0
969.64/970.03	c  969s |      18 |   419921 |   338952 |    10108     58 |        0 |        0
971.84/972.29	c  971s |      18 |   420912 |   339852 |    10108     58 |        0 |        0
973.93/974.34	c  973s |      18 |   421654 |   340552 |    10108     58 |        0 |        0
976.03/976.40	c  976s |      18 |   422438 |   341252 |    10108     58 |        0 |        0
978.13/978.51	c  978s |      18 |   423218 |   341952 |    10108     58 |        0 |        0
980.23/980.62	c  980s |      18 |   423873 |   342552 |    10108     59 |        0 |        0
982.34/982.77	c  982s |      18 |   424329 |   342952 |    10108     59 |        0 |        0
984.44/984.85	c  984s |      18 |   425224 |   343752 |    10108     59 |        0 |        0
986.64/987.08	c  986s |      18 |   426102 |   344552 |    10108     59 |        0 |        0
988.74/989.15	c  988s |      18 |   426872 |   345252 |    10108     59 |        0 |        0
990.83/991.26	c  990s |      18 |   427817 |   346052 |    10108     59 |        0 |        0
993.03/993.47	c  993s |      18 |   428965 |   347052 |    10108     59 |        0 |        0
995.23/995.64	c  995s |      18 |   429999 |   347952 |    10108     59 |        0 |        0
997.53/997.91	c  997s |      18 |   430875 |   348752 |    10108     59 |        0 |        0
999.53/999.95	c  999s |      18 |   431669 |   349452 |    10108     59 |        0 |        0
1001.52/1001.98	c 1001s |      18 |   432381 |   350052 |    10108     60 |        0 |        0
1003.73/1004.15	c 1003s |      18 |   433387 |   350952 |    10108     60 |        0 |        0
1005.93/1006.35	c 1005s |      18 |   434434 |   351852 |    10108     60 |        0 |        0
1008.13/1008.57	c 1008s |      18 |   435295 |   352652 |    10108     60 |        0 |        0
1010.33/1010.75	c 1010s |      18 |   436172 |   353452 |    10108     60 |        0 |        0
1012.43/1012.81	c 1012s |      18 |   436949 |   354152 |    10108     60 |        0 |        0
1014.62/1015.06	c 1014s |      18 |   437811 |   354952 |    10108     60 |        0 |        0
1016.82/1017.20	c 1016s |      18 |   438570 |   355652 |    10108     60 |        0 |        0
1019.02/1019.42	c 1019s |      18 |   439361 |   356352 |    10108     60 |        0 |        0
1021.62/1022.08	c 1021s |      18 |   440138 |   357052 |    10108     61 |        0 |        0
1023.93/1024.32	c 1023s |      18 |   441006 |   357852 |    10108     61 |        0 |        0
1026.02/1026.42	c 1026s |      18 |   441884 |   358652 |    10108     61 |        0 |        0
1028.33/1028.74	c 1028s |      18 |   442741 |   359452 |    10108     61 |        0 |        0
1030.53/1030.96	c 1030s |      18 |   443629 |   360252 |    10108     61 |        0 |        0
1032.73/1033.16	c 1032s |      18 |   444522 |   361052 |    10108     61 |        0 |        0
1034.82/1035.20	c 1034s |      18 |   445397 |   361852 |    10108     61 |        0 |        0
1036.82/1037.21	c 1036s |      18 |   446142 |   362552 |    10108     61 |        0 |        0
1039.02/1039.46	c 1039s |      18 |   447026 |   363352 |    10108     61 |        0 |        0
1041.22/1041.61	c 1041s |      18 |   447797 |   364052 |    10108     61 |        0 |        0
1043.22/1043.63	c 1043s |      18 |   448340 |   364552 |    10108     62 |        0 |        0
1045.43/1045.86	c 1045s |      18 |   449100 |   365252 |    10108     62 |        0 |        0
1047.53/1047.94	c 1047s |      18 |   449949 |   366052 |    10108     62 |        0 |        0
1049.62/1050.04	c 1049s |      18 |   450713 |   366652 |    10108     62 |        0 |        0
1051.72/1052.10	c 1051s |      18 |   451870 |   367652 |    10108     62 |        0 |        0
1053.82/1054.29	c 1053s |      18 |   452758 |   368452 |    10108     62 |        0 |        0
1055.82/1056.29	c 1055s |      18 |   453652 |   369252 |    10108     62 |        0 |        0
1058.03/1058.45	c 1058s |      18 |   454576 |   370052 |    10108     62 |        0 |        0
1060.23/1060.67	c 1060s |      18 |   455510 |   370852 |    10108     62 |        0 |        0
1062.32/1062.71	c 1062s |      18 |   456284 |   371552 |    10108     62 |        0 |        0
1064.42/1064.84	c 1064s |      18 |   456840 |   372052 |    10108     63 |        0 |        0
1066.72/1067.14	c 1066s |      18 |   457736 |   372852 |    10108     63 |        0 |        0
1069.02/1069.44	c 1069s |      18 |   458568 |   373552 |    10108     63 |        0 |        0
1071.12/1071.59	c 1071s |      18 |   459607 |   374452 |    10108     63 |        0 |        0
1073.42/1073.82	c 1073s |      18 |   460627 |   375352 |    10108     63 |        0 |        0
1075.52/1075.97	c 1075s |      18 |   461549 |   376152 |    10108     63 |        0 |        0
1077.62/1078.01	c 1077s |      18 |   462437 |   376952 |    10108     63 |        0 |        0
1079.62/1080.02	c 1079s |      18 |   463382 |   377752 |    10108     63 |        0 |        0
1081.82/1082.20	c 1081s |      18 |   464165 |   378452 |    10108     63 |        0 |        0
1083.92/1084.30	c 1083s |      18 |   464976 |   379152 |    10108     63 |        0 |        0
1085.92/1086.38	c 1086s |      18 |   465523 |   379652 |    10108     64 |        0 |        0
1088.01/1088.49	c 1088s |      18 |   466146 |   380152 |    10108     64 |        0 |        0
1090.11/1090.54	c 1090s |      18 |   467162 |   381052 |    10108     64 |        0 |        0
1092.31/1092.77	c 1092s |      18 |   468041 |   381852 |    10108     64 |        0 |        0
1094.42/1094.85	c 1094s |      18 |   468932 |   382652 |    10108     64 |        0 |        0
1096.52/1096.99	c 1096s |      18 |   469817 |   383452 |    10108     64 |        0 |        0
1098.82/1099.24	c 1098s |      18 |   470721 |   384252 |    10108     64 |        0 |        0
1100.82/1101.26	c 1100s |      18 |   471620 |   385052 |    10108     64 |        0 |        0
1103.12/1103.51	c 1103s |      18 |   472525 |   385852 |    10108     64 |        0 |        0
1105.22/1105.62	c 1105s |      18 |   473276 |   386552 |    10108     64 |        0 |        0
1107.22/1107.63	c 1107s |      18 |   473847 |   387052 |    10108     65 |        0 |        0
1109.31/1109.78	c 1109s |      18 |   474775 |   387852 |    10108     65 |        0 |        0
1111.41/1111.83	c 1111s |      18 |   475714 |   388652 |    10108     65 |        0 |        0
1113.51/1113.99	c 1113s |      18 |   476700 |   389552 |    10108     65 |        0 |        0
1115.71/1116.17	c 1115s |      18 |   477582 |   390352 |    10108     65 |        0 |        0
1117.91/1118.34	c 1117s |      18 |   478466 |   391152 |    10108     65 |        0 |        0
1119.91/1120.34	c 1119s |      18 |   479243 |   391852 |    10108     65 |        0 |        0
1122.11/1122.56	c 1122s |      18 |   480001 |   392552 |    10108     65 |        0 |        0
1124.32/1124.77	c 1124s |      18 |   481008 |   393452 |    10108     65 |        0 |        0
1126.51/1126.93	c 1126s |      18 |   481855 |   394252 |    10108     65 |        0 |        0
1128.71/1129.13	c 1128s |      18 |   482532 |   394852 |    10108     66 |        0 |        0
1130.81/1131.23	c 1130s |      18 |   483418 |   395652 |    10108     66 |        0 |        0
1132.91/1133.37	c 1132s |      18 |   484101 |   396252 |    10108     66 |        0 |        0
1135.11/1135.59	c 1135s |      18 |   485021 |   397052 |    10108     66 |        0 |        0
1137.31/1137.71	c 1137s |      18 |   485927 |   397852 |    10108     66 |        0 |        0
1139.30/1139.80	c 1139s |      18 |   486696 |   398552 |    10108     66 |        0 |        0
1141.51/1141.97	c 1141s |      18 |   487480 |   399252 |    10108     66 |        0 |        0
1143.51/1143.99	c 1143s |      18 |   488152 |   399852 |    10108     66 |        0 |        0
1145.81/1146.23	c 1145s |      18 |   488932 |   400552 |    10108     66 |        0 |        0
1148.11/1148.58	c 1148s |      18 |   489714 |   401252 |    10108     66 |        0 |        0
1150.81/1151.23	c 1150s |      18 |   490358 |   401852 |    10108     67 |        0 |        0
1152.80/1153.28	c 1152s |      18 |   490938 |   402352 |    10108     67 |        0 |        0
1155.00/1155.49	c 1155s |      18 |   491839 |   403152 |    10108     67 |        0 |        0
1157.20/1157.67	c 1157s |      18 |   492738 |   403952 |    10108     67 |        0 |        0
1159.50/1159.96	c 1159s |      18 |   493508 |   404652 |    10108     67 |        0 |        0
1161.61/1162.08	c 1161s |      18 |   494285 |   405352 |    10108     67 |        0 |        0
1164.00/1164.41	c 1164s |      18 |   495067 |   406052 |    10108     67 |        0 |        0
1166.10/1166.58	c 1166s |      18 |   495984 |   406852 |    10108     67 |        0 |        0
1168.21/1168.61	c 1168s |      18 |   496899 |   407652 |    10108     67 |        0 |        0
1170.31/1170.75	c 1170s |      18 |   497715 |   408352 |    10108     67 |        0 |        0
1172.51/1172.96	c 1172s |      18 |   498518 |   409052 |    10108     67 |        0 |        0
1174.71/1175.12	c 1174s |      18 |   499071 |   409552 |    10108     68 |        0 |        0
1176.91/1177.32	c 1176s |      18 |   499985 |   410352 |    10108     68 |        0 |        0
1179.11/1179.51	c 1179s |      18 |   500877 |   411152 |    10108     68 |        0 |        0
1181.11/1181.55	c 1181s |      18 |   501636 |   411852 |    10108     68 |        0 |        0
1183.41/1183.85	c 1183s |      18 |   502419 |   412552 |    10108     68 |        0 |        0
1185.71/1186.18	c 1185s |      18 |   503180 |   413252 |    10108     68 |        0 |        0
1187.81/1188.27	c 1187s |      18 |   503621 |   413652 |    10108     68 |        0 |        0
1190.01/1190.43	c 1190s |      18 |   504509 |   414452 |    10108     68 |        0 |        0
1192.10/1192.57	c 1192s |      18 |   505389 |   415252 |    10108     68 |        0 |        0
1194.40/1194.83	c 1194s |      18 |   506280 |   416052 |    10108     68 |        0 |        0
1196.70/1197.17	c 1196s |      18 |   507061 |   416752 |    10108     68 |        0 |        0
1198.90/1199.31	c 1198s |      18 |   507596 |   417252 |    10108     69 |        0 |        0
1200.90/1201.31	c 1200s |      18 |   508482 |   418052 |    10108     69 |        0 |        0
1203.00/1203.40	c 1203s |      18 |   509272 |   418752 |    10108     69 |        0 |        0
1205.20/1205.63	c 1205s |      18 |   510066 |   419452 |    10108     69 |        0 |        0
1207.40/1207.84	c 1207s |      18 |   510848 |   420152 |    10108     69 |        0 |        0
1209.70/1210.11	c 1209s |      18 |   511591 |   420852 |    10108     69 |        0 |        0
1211.80/1212.28	c 1211s |      18 |   512245 |   421452 |    10108     69 |        0 |        0
1214.00/1214.45	c 1214s |      18 |   512898 |   422052 |    10108     69 |        0 |        0
1216.20/1216.69	c 1216s |      18 |   513650 |   422752 |    10108     69 |        0 |        0
1218.29/1218.75	c 1218s |      18 |   514330 |   423352 |    10108     69 |        0 |        0
1220.39/1220.84	c 1220s |      18 |   514979 |   423952 |    10108     69 |        0 |        0
1222.49/1222.90	c 1222s |      18 |   515427 |   424352 |    10108     70 |        0 |        0
1224.70/1225.16	c 1224s |      18 |   516345 |   425152 |    10108     70 |        0 |        0
1226.80/1227.22	c 1226s |      18 |   517222 |   425952 |    10108     70 |        0 |        0
1229.00/1229.47	c 1229s |      18 |   518112 |   426752 |    10108     70 |        0 |        0
1231.19/1231.64	c 1231s |      18 |   518788 |   427352 |    10108     70 |        0 |        0
1233.39/1233.82	c 1233s |      18 |   519462 |   427952 |    10108     70 |        0 |        0
1235.49/1235.94	c 1235s |      18 |   520014 |   428452 |    10108     70 |        0 |        0
1237.59/1238.06	c 1237s |      18 |   520540 |   428952 |    10108     70 |        0 |        0
1239.99/1240.40	c 1240s |      18 |   521083 |   429452 |    10108     70 |        0 |        0
1242.20/1242.60	c 1242s |      18 |   521617 |   429952 |    10108     70 |        0 |        0
1244.19/1244.64	c 1244s |      18 |   522174 |   430452 |    10108     70 |        0 |        0
1246.49/1246.97	c 1246s |      18 |   522943 |   431152 |    10108     70 |        0 |        0
1249.39/1249.82	c 1249s |      18 |   523714 |   431852 |    10108     71 |        0 |        0
1251.50/1251.91	c 1251s |      18 |   524617 |   432652 |    10108     71 |        0 |        0
1253.69/1254.16	c 1253s |      18 |   525395 |   433352 |    10108     71 |        0 |        0
1255.69/1256.19	c 1255s |      18 |   526176 |   434052 |    10108     71 |        0 |        0
1257.99/1258.40	c 1258s |      18 |   526988 |   434752 |    10108     71 |        0 |        0
1260.09/1260.56	c 1260s |      18 |   527666 |   435352 |    10108     71 |        0 |        0
1262.29/1262.77	c 1262s |      18 |   528457 |   436052 |    10108     71 |        0 |        0
1264.39/1264.83	c 1264s |      18 |   529228 |   436752 |    10108     71 |        0 |        0
1266.49/1266.96	c 1266s |      18 |   530028 |   437452 |    10108     71 |        0 |        0
1268.68/1269.14	c 1268s |      18 |   530838 |   438152 |    10108     71 |        0 |        0
1270.69/1271.14	c 1270s |      18 |   531500 |   438752 |    10108     71 |        0 |        0
1272.99/1273.49	c 1273s |      18 |   532171 |   439352 |    10108     72 |        0 |        0
1275.19/1275.62	c 1275s |      18 |   532881 |   439952 |    10108     72 |        0 |        0
1277.29/1277.79	c 1277s |      18 |   533770 |   440752 |    10108     72 |        0 |        0
1279.49/1279.91	c 1279s |      18 |   534524 |   441452 |    11119     72 |        0 |        0
1281.49/1281.97	c 1281s |      18 |   535076 |   441952 |    11119     72 |        0 |        0
1283.98/1284.42	c 1284s |      18 |   535634 |   442452 |    11119     72 |        0 |        0
1286.08/1286.52	c 1286s |      18 |   536173 |   442952 |    11119     72 |        0 |        0
1288.38/1288.82	c 1288s |      18 |   536720 |   443452 |    11119     72 |        0 |        0
1290.78/1291.20	c 1290s |      18 |   537383 |   444052 |    11119     72 |        0 |        0
1292.58/1293.06	c 1292s |      19 |   537849 |   444482 |    11119     72 |        0 |        0
1294.68/1295.12	c 1294s |      19 |   540364 |   445182 |    11119     73 |        0 |        0
1296.69/1297.19	c 1296s |      19 |   541766 |   446382 |    11119     73 |        0 |        0
1298.89/1299.36	c 1298s |      19 |   543127 |   447582 |    11119     73 |        0 |        0
1300.89/1301.37	c 1300s |      19 |   544207 |   448582 |    11119     73 |        0 |        0
1302.99/1303.47	c 1303s |      19 |   545165 |   449382 |    11119     73 |        0 |        0
1305.09/1305.54	c 1305s |      19 |   546213 |   450282 |    11119     73 |        0 |        0
1307.19/1307.60	c 1307s |      19 |   547225 |   451182 |    11119     73 |        0 |        0
1309.39/1309.81	c 1309s |      19 |   548235 |   452082 |    11119     73 |        0 |        0
1311.38/1311.86	c 1311s |      19 |   549141 |   452882 |    11119     73 |        0 |        0
1313.98/1314.42	c 1314s |      19 |   550165 |   453782 |    11119     74 |        0 |        0
1316.08/1316.50	c 1316s |      19 |   551063 |   454582 |    11119     74 |        0 |        0
1318.08/1318.57	c 1318s |      19 |   551963 |   455382 |    11119     74 |        0 |        0
1320.28/1320.77	c 1320s |      19 |   553003 |   456282 |    11119     74 |        0 |        0
1322.58/1323.03	c 1322s |      19 |   554047 |   457182 |    11119     74 |        0 |        0
1324.68/1325.13	c 1324s |      19 |   554961 |   457982 |    11119     74 |        0 |        0
1326.68/1327.19	c 1326s |      19 |   555841 |   458782 |    11119     74 |        0 |        0
1329.08/1329.54	c 1329s |      19 |   556696 |   459582 |    11119     74 |        0 |        0
1331.08/1331.58	c 1331s |      19 |   557352 |   460182 |    11119     74 |        0 |        0
1333.38/1333.81	c 1333s |      19 |   558143 |   460882 |    11119     74 |        0 |        0
1335.48/1335.99	c 1335s |      19 |   558810 |   461482 |    11119     74 |        0 |        0
1337.68/1338.19	c 1337s |      19 |   559138 |   461782 |    11119     75 |        0 |        0
1339.88/1340.33	c 1339s |      19 |   560011 |   462582 |    11119     75 |        0 |        0
1342.08/1342.58	c 1342s |      19 |   560913 |   463382 |    11119     75 |        0 |        0
1344.38/1344.82	c 1344s |      19 |   561781 |   464182 |    11119     75 |        0 |        0
1346.38/1346.84	c 1346s |      19 |   562564 |   464882 |    11119     75 |        0 |        0
1348.68/1349.11	c 1348s |      19 |   563426 |   465682 |    11119     75 |        0 |        0
1350.78/1351.21	c 1350s |      19 |   564209 |   466382 |    11119     75 |        0 |        0
1352.88/1353.33	c 1352s |      19 |   564980 |   467082 |    11119     75 |        0 |        0
1354.98/1355.44	c 1355s |      19 |   565805 |   467782 |    11119     75 |        0 |        0
1357.18/1357.65	c 1357s |      19 |   566580 |   468482 |    11119     75 |        0 |        0
1359.27/1359.73	c 1359s |      19 |   567367 |   469182 |    11119     75 |        0 |        0
1361.37/1361.88	c 1361s |      19 |   568076 |   469782 |    11119     76 |        0 |        0
1363.47/1363.93	c 1363s |      19 |   569101 |   470682 |    11119     76 |        0 |        0
1365.47/1365.96	c 1365s |      19 |   569995 |   471482 |    11119     76 |        0 |        0
1367.87/1368.33	c 1367s |      19 |   570673 |   472082 |    11119     76 |        0 |        0
1370.07/1370.59	c 1370s |      19 |   571555 |   472882 |    11119     76 |        0 |        0
1372.37/1372.87	c 1372s |      19 |   572429 |   473682 |    11119     76 |        0 |        0
1374.47/1374.95	c 1374s |      19 |   573110 |   474282 |    11119     76 |        0 |        0
1376.77/1377.21	c 1376s |      19 |   573897 |   474982 |    11119     76 |        0 |        0
1378.97/1379.41	c 1379s |      19 |   574681 |   475682 |    11119     76 |        0 |        0
1381.17/1381.63	c 1381s |      19 |   575439 |   476382 |    11119     76 |        0 |        0
1383.37/1383.81	c 1383s |      19 |   576214 |   477082 |    11119     76 |        0 |        0
1385.37/1385.84	c 1385s |      19 |   576786 |   477582 |    11119     77 |        0 |        0
1387.47/1387.96	c 1387s |      19 |   577671 |   478382 |    11119     77 |        0 |        0
1389.67/1390.10	c 1389s |      19 |   578366 |   478982 |    11119     77 |        0 |        0
1391.87/1392.39	c 1392s |      19 |   579140 |   479682 |    11119     77 |        0 |        0
1394.07/1394.56	c 1394s |      19 |   579906 |   480382 |    11119     77 |        0 |        0
1396.27/1396.74	c 1396s |      19 |   580552 |   480982 |    11119     77 |        0 |        0
1398.27/1398.75	c 1398s |      19 |   581498 |   481782 |    11119     77 |        0 |        0
1400.47/1400.98	c 1400s |      19 |   582442 |   482582 |    11119     77 |        0 |        0
1402.47/1402.98	c 1402s |      19 |   583217 |   483282 |    11119     77 |        0 |        0
1404.67/1405.18	c 1404s |      19 |   584111 |   484082 |    11119     77 |        0 |        0
1406.86/1407.32	c 1406s |      19 |   584922 |   484782 |    11119     77 |        0 |        0
1408.98/1409.45	c 1409s |      19 |   585479 |   485282 |    11119     78 |        0 |        0
1411.08/1411.52	c 1411s |      19 |   586395 |   486082 |    11119     78 |        0 |        0
1413.28/1413.72	c 1413s |      19 |   587281 |   486882 |    11119     78 |        0 |        0
1415.37/1415.82	c 1415s |      19 |   588049 |   487582 |    11119     78 |        0 |        0
1417.57/1418.10	c 1417s |      19 |   588723 |   488182 |    11119     78 |        0 |        0
1419.67/1420.11	c 1419s |      19 |   589499 |   488882 |    11119     78 |        0 |        0
1421.77/1422.24	c 1421s |      19 |   590186 |   489482 |    11119     78 |        0 |        0
1423.87/1424.33	c 1423s |      19 |   590987 |   490182 |    11119     78 |        0 |        0
1425.87/1426.36	c 1425s |      19 |   591689 |   490782 |    11119     78 |        0 |        0
1428.27/1428.71	c 1428s |      19 |   592448 |   491482 |    11119     78 |        0 |        0
1430.46/1430.93	c 1430s |      19 |   593114 |   492082 |    11119     78 |        0 |        0
1432.76/1433.26	c 1432s |      19 |   593789 |   492682 |    11119     78 |        0 |        0
1434.96/1435.49	c 1435s |      19 |   594377 |   493182 |    11119     79 |        0 |        0
1437.17/1437.60	c 1437s |      19 |   595146 |   493882 |    11119     79 |        0 |        0
1439.26/1439.70	c 1439s |      19 |   595932 |   494582 |    11119     79 |        0 |        0
1441.46/1441.90	c 1441s |      19 |   596692 |   495282 |    11119     79 |        0 |        0
1443.66/1444.16	c 1443s |      19 |   597597 |   496082 |    11119     79 |        0 |        0
1445.86/1446.38	c 1445s |      19 |   598397 |   496782 |    11119     79 |        0 |        0
1448.07/1448.51	c 1448s |      19 |   599060 |   497382 |    11119     79 |        0 |        0
1450.27/1450.76	c 1450s |      19 |   599864 |   498082 |    11119     79 |        0 |        0
1452.56/1453.01	c 1452s |      19 |   600673 |   498782 |    11119     79 |        0 |        0
1454.76/1455.24	c 1454s |      19 |   601445 |   499482 |    11119     79 |        0 |        0
1456.86/1457.33	c 1456s |      19 |   602097 |   500082 |    11119     79 |        0 |        0
1459.36/1459.81	c 1459s |      19 |   602669 |   500582 |    11119     80 |        0 |        0
1461.56/1462.04	c 1461s |      19 |   603429 |   501282 |    11119     80 |        0 |        0
1463.76/1464.21	c 1463s |      19 |   604194 |   501982 |    11119     80 |        0 |        0
1465.95/1466.41	c 1466s |      19 |   604986 |   502682 |    11119     80 |        0 |        0
1468.06/1468.58	c 1468s |      19 |   605771 |   503382 |    11119     80 |        0 |        0
1470.26/1470.71	c 1470s |      19 |   606494 |   503982 |    11119     80 |        0 |        0
1472.36/1472.82	c 1472s |      19 |   607265 |   504682 |    11119     80 |        0 |        0
1474.46/1474.94	c 1474s |      19 |   608122 |   505382 |    11119     80 |        0 |        0
1476.76/1477.24	c 1476s |      19 |   608924 |   506082 |    11119     80 |        0 |        0
1478.86/1479.36	c 1478s |      19 |   609710 |   506782 |    11119     80 |        0 |        0
1480.96/1481.47	c 1481s |      19 |   610534 |   507482 |    11119     80 |        0 |        0
1483.06/1483.51	c 1483s |      19 |   611210 |   508082 |    11119     80 |        0 |        0
1485.15/1485.61	c 1485s |      19 |   611766 |   508582 |    11119     81 |        0 |        0
1487.25/1487.70	c 1487s |      19 |   612545 |   509282 |    11119     81 |        0 |        0
1489.26/1489.73	c 1489s |      19 |   613200 |   509882 |    11119     81 |        0 |        0
1491.37/1491.86	c 1491s |      19 |   613969 |   510582 |    11119     81 |        0 |        0
1493.46/1493.90	c 1493s |      19 |   614736 |   511282 |    11119     81 |        0 |        0
1495.56/1496.00	c 1495s |      19 |   615504 |   511982 |    11119     81 |        0 |        0
1497.75/1498.25	c 1497s |      19 |   616177 |   512582 |    11119     81 |        0 |        0
1500.05/1500.51	c 1500s |      19 |   616824 |   513182 |    11119     81 |        0 |        0
1502.25/1502.71	c 1502s |      19 |   617599 |   513882 |    11119     81 |        0 |        0
1504.45/1504.93	c 1504s |      19 |   618393 |   514582 |    11119     81 |        0 |        0
1506.55/1507.06	c 1506s |      19 |   619185 |   515282 |    11119     81 |        0 |        0
1508.85/1509.31	c 1508s |      19 |   619997 |   515982 |    11119     81 |        0 |        0
1510.95/1511.44	c 1511s |      19 |   620484 |   516382 |    11119     82 |        0 |        0
1513.05/1513.51	c 1513s |      19 |   621419 |   517182 |    11119     82 |        0 |        0
1515.15/1515.66	c 1515s |      19 |   622332 |   517982 |    11119     82 |        0 |        0
1517.35/1517.87	c 1517s |      19 |   623227 |   518782 |    11119     82 |        0 |        0
1519.55/1520.09	c 1519s |      19 |   623953 |   519382 |    11119     82 |        0 |        0
1521.75/1522.24	c 1521s |      19 |   624967 |   520282 |    11119     82 |        0 |        0
1523.85/1524.38	c 1523s |      19 |   625869 |   521082 |    11119     82 |        0 |        0
1526.15/1526.68	c 1526s |      19 |   626815 |   521882 |    11119     82 |        0 |        0
1528.35/1528.89	c 1528s |      19 |   627639 |   522582 |    11119     82 |        0 |        0
1530.45/1530.99	c 1530s |      19 |   628322 |   523182 |    11119     82 |        0 |        0
1532.55/1533.05	c 1532s |      19 |   628989 |   523782 |    11119     82 |        0 |        0
1534.75/1535.29	c 1534s |      19 |   629538 |   524282 |    11119     83 |        0 |        0
1536.85/1537.36	c 1536s |      19 |   630217 |   524882 |    11119     83 |        0 |        0
1539.05/1539.57	c 1539s |      19 |   630889 |   525482 |    11119     83 |        0 |        0
1541.35/1541.83	c 1541s |      19 |   631846 |   526282 |    11119     83 |        0 |        0
1543.35/1543.89	c 1543s |      19 |   632625 |   526982 |    11119     83 |        0 |        0
1545.55/1546.04	c 1545s |      19 |   633458 |   527682 |    11119     83 |        0 |        0
1547.85/1548.35	c 1547s |      19 |   634290 |   528382 |    11119     83 |        0 |        0
1550.15/1550.60	c 1550s |      19 |   635098 |   529082 |    11119     83 |        0 |        0
1552.25/1552.76	c 1552s |      19 |   635889 |   529782 |    11119     83 |        0 |        0
1554.25/1554.76	c 1554s |      19 |   636573 |   530382 |    11119     83 |        0 |        0
1556.35/1556.86	c 1556s |      19 |   637253 |   530982 |    11119     83 |        0 |        0
1558.45/1558.99	c 1558s |      19 |   638093 |   531682 |    11119     83 |        0 |        0
1560.65/1561.19	c 1560s |      19 |   638636 |   532182 |    11119     84 |        0 |        0
1562.95/1563.46	c 1563s |      19 |   639351 |   532782 |    11119     84 |        0 |        0
1565.05/1565.56	c 1565s |      19 |   640163 |   533482 |    11119     84 |        0 |        0
1567.14/1567.65	c 1567s |      19 |   641081 |   534182 |    11119     84 |        0 |        0
1569.25/1569.76	c 1569s |      19 |   641903 |   534882 |    11119     84 |        0 |        0
1571.34/1571.82	c 1571s |      19 |   642574 |   535482 |    11119     84 |        0 |        0
1573.54/1574.01	c 1573s |      19 |   643391 |   536182 |    11119     84 |        0 |        0
1575.74/1576.26	c 1575s |      19 |   644313 |   536982 |    11119     84 |        0 |        0
1578.04/1578.51	c 1578s |      19 |   645115 |   537682 |    11119     84 |        0 |        0
1580.14/1580.68	c 1580s |      19 |   645787 |   538282 |    11119     84 |        0 |        0
1582.44/1582.90	c 1582s |      19 |   646449 |   538882 |    11119     84 |        0 |        0
1584.74/1585.23	c 1584s |      19 |   647142 |   539482 |    11119     84 |        0 |        0
1586.94/1587.49	c 1587s |      19 |   647694 |   539982 |    11119     85 |        0 |        0
1589.14/1589.62	c 1589s |      19 |   648502 |   540682 |    11119     85 |        0 |        0
1591.14/1591.68	c 1591s |      19 |   649195 |   541282 |    11119     85 |        0 |        0
1593.33/1593.89	c 1593s |      19 |   649985 |   541982 |    11119     85 |        0 |        0
1595.64/1596.10	c 1595s |      19 |   650775 |   542682 |    11119     85 |        0 |        0
1597.74/1598.28	c 1597s |      19 |   651530 |   543382 |    11119     85 |        0 |        0
1600.04/1600.59	c 1600s |      19 |   652177 |   543982 |    11119     85 |        0 |        0
1602.14/1602.68	c 1602s |      19 |   652726 |   544482 |    11119     85 |        0 |        0
1604.34/1604.81	c 1604s |      19 |   653379 |   545082 |    11119     85 |        0 |        0
1606.54/1607.00	c 1606s |      19 |   654053 |   545682 |    11119     85 |        0 |        0
1608.53/1609.01	c 1608s |      19 |   654728 |   546282 |    11119     85 |        0 |        0
1610.93/1611.42	c 1611s |      19 |   655520 |   546982 |    11119     85 |        0 |        0
1613.83/1614.30	c 1613s |      19 |   656096 |   547482 |    11119     86 |        0 |        0
1615.83/1616.36	c 1615s |      19 |   656872 |   548182 |    11119     86 |        0 |        0
1617.94/1618.49	c 1618s |      19 |   657625 |   548882 |    11119     86 |        0 |        0
1620.15/1620.64	c 1620s |      19 |   658288 |   549482 |    11119     86 |        0 |        0
1622.25/1622.80	c 1622s |      19 |   658957 |   550082 |    11119     86 |        0 |        0
1624.45/1624.99	c 1624s |      19 |   659609 |   550682 |    11119     86 |        0 |        0
1626.64/1627.19	c 1626s |      19 |   660283 |   551282 |    11119     86 |        0 |        0
1628.94/1629.46	c 1629s |      19 |   660955 |   551882 |    11119     86 |        0 |        0
1631.24/1631.75	c 1631s |      19 |   661826 |   552682 |    11119     86 |        0 |        0
1633.43/1633.99	c 1633s |      19 |   662591 |   553382 |    11119     86 |        0 |        0
1635.83/1636.34	c 1635s |      19 |   663403 |   554082 |    11119     86 |        0 |        0
1638.13/1638.69	c 1638s |      19 |   664192 |   554782 |    11119     86 |        0 |        0
1640.43/1640.97	c 1640s |      19 |   664752 |   555282 |    11119     87 |        0 |        0
1642.43/1642.99	c 1642s |      19 |   665396 |   555882 |    11119     87 |        0 |        0
1644.53/1645.03	c 1644s |      19 |   666143 |   556582 |    11119     87 |        0 |        0
1646.53/1647.09	c 1646s |      19 |   666919 |   557282 |    11119     87 |        0 |        0
1648.73/1649.28	c 1648s |      19 |   667670 |   557982 |    11119     87 |        0 |        0
1650.94/1651.43	c 1651s |      19 |   668332 |   558582 |    11119     87 |        0 |        0
1653.14/1653.68	c 1653s |      19 |   669124 |   559282 |    11119     87 |        0 |        0
1655.24/1655.74	c 1655s |      19 |   669776 |   559882 |    11119     87 |        0 |        0
1657.43/1657.99	c 1657s |      19 |   670209 |   560282 |    11119     87 |        0 |        0
1659.63/1660.11	c 1659s |      19 |   671120 |   561082 |    11119     87 |        0 |        0
1661.83/1662.36	c 1661s |      19 |   671995 |   561882 |    11119     87 |        0 |        0
1663.82/1664.38	c 1663s |      19 |   672793 |   562582 |    11119     87 |        0 |        0
1666.12/1666.63	c 1666s |      19 |   673445 |   563182 |    11119     88 |        0 |        0
1668.13/1668.68	c 1668s |      19 |   673783 |   563482 |    11119     88 |        0 |        0
1670.33/1670.85	c 1670s |      19 |   674570 |   564182 |    11119     88 |        0 |        0
1672.53/1673.07	c 1672s |      19 |   675331 |   564882 |    11119     88 |        0 |        0
1674.63/1675.17	c 1674s |      19 |   676118 |   565582 |    11119     88 |        0 |        0
1676.73/1677.22	c 1676s |      19 |   676778 |   566182 |    11119     88 |        0 |        0
1678.82/1679.39	c 1679s |      19 |   677456 |   566782 |    11119     88 |        0 |        0
1681.12/1681.64	c 1681s |      19 |   678227 |   567482 |    11119     88 |        0 |        0
1683.22/1683.72	c 1683s |      19 |   679011 |   568182 |    11119     88 |        0 |        0
1685.32/1685.81	c 1685s |      19 |   679696 |   568782 |    11119     88 |        0 |        0
1687.42/1688.00	c 1687s |      19 |   680350 |   569382 |    11119     88 |        0 |        0
1689.73/1690.28	c 1689s |      19 |   681004 |   569982 |    11119     88 |        0 |        0
1692.03/1692.54	c 1692s |      19 |   681654 |   570582 |    11119     88 |        0 |        0
1694.23/1694.72	c 1694s |      19 |   682093 |   570982 |    11119     89 |        0 |        0
1696.33/1696.84	c 1696s |      19 |   682758 |   571582 |    11119     89 |        0 |        0
1698.32/1698.86	c 1698s |      19 |   683431 |   572182 |    11119     89 |        0 |        0
1700.62/1701.12	c 1700s |      19 |   684193 |   572882 |    11119     89 |        0 |        0
1702.82/1703.35	c 1702s |      19 |   684848 |   573482 |    11119     89 |        0 |        0
1705.12/1705.63	c 1705s |      19 |   685762 |   574282 |    11119     89 |        0 |        0
1707.32/1707.82	c 1707s |      19 |   686526 |   574982 |    11119     89 |        0 |        0
1709.42/1709.97	c 1709s |      19 |   687319 |   575682 |    11119     89 |        0 |        0
1711.52/1712.06	c 1711s |      19 |   688010 |   576282 |    11119     89 |        0 |        0
1713.62/1714.13	c 1713s |      19 |   688739 |   576882 |    11119     89 |        0 |        0
1715.82/1716.33	c 1715s |      19 |   689414 |   577482 |    11119     89 |        0 |        0
1718.12/1718.64	c 1718s |      19 |   690070 |   578082 |    11119     89 |        0 |        0
1720.22/1720.76	c 1720s |      19 |   690603 |   578582 |    11119     89 |        0 |        0
1722.42/1722.91	c 1722s |      19 |   691029 |   578982 |    11119     90 |        0 |        0
1724.63/1725.16	c 1724s |      19 |   691770 |   579682 |    11119     90 |        0 |        0
1726.73/1727.23	c 1726s |      19 |   692556 |   580382 |    11119     90 |        0 |        0
1728.82/1729.31	c 1728s |      19 |   693336 |   581082 |    11119     90 |        0 |        0
1730.92/1731.46	c 1731s |      19 |   694088 |   581782 |    11119     90 |        0 |        0
1733.02/1733.57	c 1733s |      19 |   694855 |   582482 |    11119     90 |        0 |        0
1735.02/1735.58	c 1735s |      19 |   695514 |   583082 |    11119     90 |        0 |        0
1737.12/1737.64	c 1737s |      19 |   696205 |   583682 |    11119     90 |        0 |        0
1739.21/1739.78	c 1739s |      19 |   696882 |   584282 |    11119     90 |        0 |        0
1741.31/1741.83	c 1741s |      19 |   697560 |   584882 |    11119     90 |        0 |        0
1743.32/1743.84	c 1743s |      19 |   698207 |   585482 |    11119     90 |        0 |        0
1745.31/1745.87	c 1745s |      19 |   698736 |   585982 |    11119     90 |        0 |        0
1747.81/1748.32	c 1747s |      19 |   699281 |   586482 |    11119     91 |        0 |        0
1750.21/1750.71	c 1750s |      19 |   699810 |   586982 |    11119     91 |        0 |        0
1752.32/1752.83	c 1752s |      19 |   700466 |   587582 |    11119     91 |        0 |        0
1754.42/1754.94	c 1754s |      19 |   701130 |   588182 |    11119     91 |        0 |        0
1756.42/1756.98	c 1756s |      19 |   701663 |   588682 |    11119     91 |        0 |        0
1758.62/1759.17	c 1758s |      19 |   702724 |   589582 |    11119     91 |        0 |        0
1760.82/1761.32	c 1760s |      19 |   703611 |   590382 |    11119     91 |        0 |        0
1763.02/1763.52	c 1763s |      19 |   704514 |   591182 |    11119     91 |        0 |        0
1765.01/1765.58	c 1765s |      19 |   705293 |   591882 |    11119     91 |        0 |        0
1767.11/1767.69	c 1767s |      19 |   706187 |   592682 |    11119     91 |        0 |        0
1769.31/1769.89	c 1769s |      19 |   706952 |   593382 |    11119     91 |        0 |        0
1771.61/1772.15	c 1771s |      19 |   707849 |   594182 |    11119     91 |        0 |        0
1773.81/1774.32	c 1773s |      19 |   708398 |   594682 |    11119     92 |        0 |        0
1775.81/1776.33	c 1775s |      19 |   709165 |   595382 |    11119     92 |        0 |        0
1777.91/1778.46	c 1778s |      19 |   709840 |   595982 |    11119     92 |        0 |        0
1780.02/1780.56	c 1780s |      19 |   710605 |   596682 |    11119     92 |        0 |        0
1782.11/1782.69	c 1782s |      19 |   711393 |   597382 |    11119     92 |        0 |        0
1784.21/1784.70	c 1784s |      19 |   712063 |   597982 |    11119     92 |        0 |        0
1786.22/1786.77	c 1786s |      19 |   712720 |   598582 |    11119     92 |        0 |        0
1788.32/1788.87	c 1788s |      19 |   713387 |   599182 |    11119     92 |        0 |        0
1790.41/1790.94	c 1790s |      19 |   714015 |   599782 |    11119     92 |        0 |        0
1792.41/1792.97	c 1792s |      19 |   714643 |   600382 |    11119     92 |        0 |        0
1794.70/1795.25	c 1794s |      19 |   715346 |   600982 |    11119     92 |        0 |        0
1796.90/1797.46	c 1797s |      19 |   715877 |   601482 |    11119     92 |        0 |        0
1799.42/1799.90	c 1799s |      19 |   716519 |   602082 |    11119     92 |        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-4093326-1466080358/watcher-4093326-1466080358 -o /tmp/evaluation-result-4093326-1466080358/solver-4093326-1466080358 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093326-1466080358.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.19 2.15 3/179 14575
/proc/meminfo: memFree=30383432/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=370108 CPUtime=0 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 1319 0 0 0 0 0 0 0 20 0 4 0 10081479 378990592 1169 33554432000 4194304 16246674 140734903783488 140734903782912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14575/statm: 93039 1177 441 2943 0 89933 0
[pid=14575/tid=14576] ppid=14572 vsize=385604 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 394858496 1229 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=389700 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 399052800 1244 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=393796 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10081480 403247104 1260 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.17 2.19 2.15 3/179 14575
/proc/meminfo: memFree=30383432/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 25556 0 0 0 6 3 0 0 20 0 4 0 10081479 1247350784 25398 33554432000 4194304 16246674 140734903783488 140734903782912 12481124 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14575/statm: 304529 25406 607 2943 0 301423 0
[pid=14575/tid=14576] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 25413 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 25418 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 25423 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200543 s]
/proc/loadavg: 2.17 2.19 2.15 3/179 14575
/proc/meminfo: memFree=30383432/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 45615 0 0 0 13 6 0 0 20 0 4 0 10081479 1247350784 45457 33554432000 4194304 16246674 140734903783488 140734903765376 12459048 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14575/statm: 304529 45467 607 2943 0 301423 0
[pid=14575/tid=14576] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 45474 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 45480 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 45486 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300378 s]
/proc/loadavg: 2.17 2.19 2.15 3/179 14575
/proc/meminfo: memFree=30383432/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 67747 0 0 0 19 10 0 0 20 0 4 0 10081479 1247350784 67583 33554432000 4194304 16246674 140734903783488 140734903765376 13191557 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14575/statm: 304529 67592 776 2943 0 301423 0
[pid=14575/tid=14576] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 67599 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 67605 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10081480 1247350784 67610 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70036 s]
/proc/loadavg: 2.17 2.19 2.15 3/179 14575
/proc/meminfo: memFree=30383432/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 98309 0 0 0 54 14 0 0 20 0 4 0 10081479 1338576896 98122 33554432000 4194304 16246674 140734903783488 140734903782800 12477787 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14575/statm: 326801 98122 869 2943 0 323695 0
[pid=14575/tid=14576] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 98122 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 98122 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 98122 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.50053 s]
/proc/loadavg: 2.16 2.19 2.14 3/183 14579
/proc/meminfo: memFree=29890964/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 188859 0 0 0 121 27 0 0 20 0 4 0 10081479 1338576896 188672 33554432000 4194304 16246674 140734903783488 140734903782664 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 326801 188686 869 2943 0 323695 0
[pid=14575/tid=14576] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 188694 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 188703 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 188711 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.16 2.19 2.14 3/183 14579
/proc/meminfo: memFree=29313496/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 267795 0 0 0 270 38 0 0 20 0 4 0 10081479 1338576896 267608 33554432000 4194304 16246674 140734903783488 140734903765376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 326801 267608 869 2943 0 323695 0
[pid=14575/tid=14576] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267608 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267608 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267608 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.14 2.19 2.14 3/183 14579
/proc/meminfo: memFree=29313124/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 267920 0 0 0 590 38 0 0 20 0 4 0 10081479 1338576896 267733 33554432000 4194304 16246674 140734903783488 140734903765376 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 326801 267733 869 2943 0 323695 0
[pid=14575/tid=14576] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267733 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267733 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1338576896 267733 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.13 2.18 2.14 3/183 14579
/proc/meminfo: memFree=29311652/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 268320 0 0 0 1230 38 0 0 20 0 4 0 10081479 1340674048 268133 33554432000 4194304 16246674 140734903783488 140734903765376 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 327313 268133 875 2943 0 324207 0
[pid=14575/tid=14576] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268133 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268133 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268133 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.18 2.19 2.15 4/183 14579
/proc/meminfo: memFree=29310596/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 268439 0 0 0 2511 38 0 0 20 0 4 0 10081479 1340674048 268252 33554432000 4194304 16246674 140734903783488 140734903765376 5711369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 327313 268252 876 2943 0 324207 0
[pid=14575/tid=14576] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268252 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268252 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1340674048 268252 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.12 2.17 2.14 3/183 14579
/proc/meminfo: memFree=29305520/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 269748 0 0 0 5069 39 0 0 20 0 4 0 10081479 1346965504 269561 33554432000 4194304 16246674 140734903783488 140734903765376 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 328849 269561 876 2943 0 325743 0
[pid=14575/tid=14576] ppid=14572 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1346965504 269561 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1346965504 269561 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1346965504 269561 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.10 2.16 2.14 3/183 14580
/proc/meminfo: memFree=29296588/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1322564 CPUtime=102.27 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 271767 0 0 0 10187 40 0 0 20 0 4 0 10081479 1354305536 271580 33554432000 4194304 16246674 140734903783488 140734903782664 13963995 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 330641 271580 876 2943 0 327535 0
[pid=14575/tid=14576] ppid=14572 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1354305536 271580 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1354305536 271580 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1354305536 271580 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1322564


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

/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1380519936 278238 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1348164

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.13 3/183 14661
/proc/meminfo: memFree=29268108/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1361.87 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279266 0 0 0 136093 94 0 0 20 0 4 0 10081479 1383665664 278972 33554432000 4194304 16246674 140734903783488 140734903765376 13191752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 278972 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 278972 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 278972 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 278972 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1351236

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 2.13 3/183 14662
/proc/meminfo: memFree=29267772/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1421.87 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 142091 96 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1351236

[startup+1482.3 s]
/proc/loadavg: 2.12 2.13 2.12 3/183 14664
/proc/meminfo: memFree=29267580/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1481.85 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 148086 99 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903782664 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1351236

[startup+1542.3 s]
/proc/loadavg: 2.14 2.13 2.12 3/183 14665
/proc/meminfo: memFree=29267484/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1541.85 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 154084 101 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1351236

[startup+1602.3 s]
/proc/loadavg: 2.20 2.15 2.12 3/183 14666
/proc/meminfo: memFree=29268300/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1601.84 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 160081 103 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903782664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1351236

[startup+1662.3 s]
/proc/loadavg: 2.26 2.17 2.13 3/184 14670
/proc/meminfo: memFree=29267816/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1661.83 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 166078 105 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1351236

[startup+1722.3 s]
/proc/loadavg: 2.18 2.16 2.13 3/184 14694
/proc/meminfo: memFree=29266580/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1721.82 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 172075 107 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1351236

[startup+1782.31 s]
/proc/loadavg: 2.18 2.16 2.12 3/183 14696
/proc/meminfo: memFree=29267312/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1781.82 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 178072 110 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1351236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.12 3/183 14696
/proc/meminfo: memFree=29267560/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1800.01 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 179890 111 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1351236

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.12 3/183 14696
/proc/meminfo: memFree=29267560/32872528 swapFree=532956/565660
[pid=14575] ppid=14572 vsize=1351236 CPUtime=1800.01 cores=0,2,4,6
/proc/14575/stat : 14575 (toysat) R 14572 14575 11130 0 -1 4202496 279300 0 0 0 179890 111 0 0 20 0 4 0 10081479 1383665664 279006 33554432000 4194304 16246674 140734903783488 140734903765376 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14575/statm: 337809 279006 878 2943 0 334703 0
[pid=14575/tid=14576] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14576/stat : 14576 (toysat) S 14572 14575 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303548787952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14575/tid=14577] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14577/stat : 14577 (toysat) S 14572 14575 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303538298096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14575/tid=14578] ppid=14572 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/14575/task/14578/stat : 14578 (toysat) S 14572 14575 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10081480 1383665664 279006 33554432000 4194304 16246674 140734903783488 140303527824560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1351236

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.91
CPU system time (s): 1.11083
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1351236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.11083
maximum resident set size= 1116024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279300
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= 377
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4383 second user time and 17.5173 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 14:32:38
IDJOB=4093326
IDBENCH=78692
IDSOLVER=2553
FILE ID=node138/4093326-1466080358
RUNJOBID= node138-1466074865-13651
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093326-1466080358/watcher-4093326-1466080358 -o /tmp/evaluation-result-4093326-1466080358/solver-4093326-1466080358 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093326-1466080358.wbo

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

MD5SUM BENCH= fc69cf5fb8ed09269ce87a121862dce7
RANDOM SEED=1686860570

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30383820 kB
Buffers:           25560 kB
Cached:           105740 kB
SwapCached:         1380 kB
Active:          1166324 kB
Inactive:          57300 kB
Active(anon):    1092928 kB
Inactive(anon):     1664 kB
Active(file):      73396 kB
Inactive(file):    55636 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16288 kB
Writeback:             0 kB
AnonPages:       1656932 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             566880 kB
SReclaimable:      10656 kB
SUnreclaim:       556224 kB
KernelStack:        1456 kB
PageTables:         7432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1802036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1116160 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= 71716 MiB
End job on node138 at 2016-06-16 15:02:39