Trace number 4107929

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.05 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
MD5SUMb4d4215a44d43278004dfcd0ea549fa8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57354
Total number of constraints192702
Number of constraints which are clauses191758
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 754
Number of bits of the biggest sum of numbers10
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-19T00:41:28+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107929-1466289688.opb"]
0.00/0.01	c use --random-gen="3478540730 1631677148 3377910939 1773607347 3548714357 4042860935 2890448742 656213395 1873469572 2330143742 291460123 3768271579 3637235761 256725068 584240879 1282035913 2311182565 928890241 1255435925 4278202737 2676171390 2465632657 871830067 2946489521 688045795 74757459 50635059 384951074 2131924464 1613055260 912254188 1530142715 2439930099 1215286053 306295380 277047949 1371558609 936291318 1075687981 1569842389 1234646995 3843564885 3094248177 2116751131 2104530655 2371619711 1192871501 214382741 4051412806 2358451686 3649545561 2838592846 1807157905 2360829201 1288410181 3139606407 2546932332 405501795 2954429836 347962404 3149879526 2126462736 2635845146 3316104340 3682571664 2650893655 3198121318 2493724942 188342454 1197757238 2176322506 2061084902 3125711122 53397912 2800524720 1992820667 605169804 3829748524 1625784198 3616428254 1654666011 1465933886 393941350 3029646840 939699805 3067063344 1359036093 1202136144 1235714649 1118310849 657550570 2027824871 1781864462 2512209162 984672590 1376594130 1827697994 2945099871 1728830611 62662272 1721554031 1095086800 749491946 2267837576 1703110598 1184671384 1991297440 2344659569 2205512336 2146235844 2186789510 2488435158 1647184334 9156019 3904751491 204835638 3232645302 4064517636 229796968 2837354513 693280784 3390661759 3647629567 2192090915 787745163 640641630 2325105291 2075153844 4248449306 3347325860 65828455 178519340 55828384 1740162687 2539362400 3067064440 438385699 569466189 2059735833 2258238577 1346594025 1100019491 78548934 400665597 2273853825 3017542454 333694203 2225311567 586558340 733736284 225683798 2686153256 1172406598 2116172404 3547483802 3068815666 1214038981 499971277 675578254 760598385 1057911631 1206192734 3383334515 2541871858 1518962981 444136237 2484355032 3380822594 2754720898 572305990 1312996193 2817173308 974349469 3495002091 1147155156 1494123838 542547843 2074195863 1510819326 2900675871 4252569453 265469016 615990088 1122050265 3149741737 287234446 164491082 1603389582 2901975666 4087928860 2831210577 3279300256 1291584933 2324331880 3263401486 3546306226 1801704136 1104294088 3883867990 3198821603 1775153048 236649668 2356258012 705293920 2809892309 3345901591 680798643 4158645613 4091246052 978261734 2380100196 253921525 1288087463 995551833 2130103318 3639684243 330863901 3898638718 2440599414 1979364912 2253631043 3595026539 3862653848 3363683814 2077122119 2381096806 2382788449 3227340968 1656992836 3274954665 1951918668 1173786893 1384849775 4083166067 2345102294 3660158924 2979081859 1010724417 2185633064 3945660060 663010767 727223702 1206753044 3124736066 2147227478 3630609593 1876824083 3661298611 631000446 2875869577 1570737956 2418044313 2415732154 1278761376 2788832085 2213068416 255 362436" option to reproduce the execution
1.19/1.22	c #vars 57354
1.19/1.22	c #constraints 192702
3.59/3.63	c Solving starts ...
3.59/3.63	c ============================[ Search Statistics ]============================
3.59/3.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.59/3.63	c       |         |          |          |    Limit     GC | Var      | Constra 
3.59/3.63	c =============================================================================
3.59/3.63	c  0.0s |       0 |        0 |        0 |    68212      0 |    17630 |        0
3.79/3.89	c  0.3s |       1 |      195 |      100 |    68212      0 |    17630 |    22463
4.19/4.23	c  0.6s |       2 |      487 |      250 |    75034      0 |    17630 |    22463
4.89/4.92	c  1.3s |       3 |      831 |      475 |    82538      0 |    17630 |    22463
5.39/5.50	c  1.9s |       4 |     1374 |      813 |    90792      0 |    17630 |    22463
6.29/6.36	c  2.7s |       5 |     2279 |     1320 |    99872      0 |    17630 |    22463
7.69/7.72	c  4.1s |       6 |     3555 |     2081 |   120847      0 |    17630 |    22463
9.58/9.62	c  6.0s |       7 |     5439 |     3223 |   132932      0 |    17630 |    22463
11.58/11.63	c  8.0s |       7 |     7288 |     4423 |   132932      0 |    17630 |    22463
12.48/12.56	c  8.9s |       8 |     7996 |     4936 |   146226      0 |    17630 |    22463
14.58/14.68	c 11.0s |       8 |     9510 |     6036 |   146226      0 |    17630 |    22463
16.59/16.69	c 13.1s |       8 |    11264 |     7336 |   146226      0 |    17630 |    22463
17.08/17.14	c 13.5s |       9 |    11474 |     7506 |   160849      0 |    17630 |    22463
19.18/19.21	c 15.6s |       9 |    12589 |     8306 |   160849      0 |    17630 |    22463
21.28/21.37	c 17.7s |       9 |    13666 |     9106 |   160849      0 |    17630 |    22463
23.48/23.58	c 20.0s |       9 |    14684 |     9906 |   160849      0 |    17630 |    22463
25.58/25.60	c 22.0s |       9 |    15746 |    10706 |   160849      0 |    17630 |    22463
26.78/26.87	c 23.2s |      10 |    16578 |    11361 |   176934      0 |    17630 |    22463
28.88/28.97	c 25.3s |      10 |    17746 |    12161 |   176934      0 |    17630 |    22463
30.98/31.06	c 27.4s |      10 |    18851 |    13061 |   176934      0 |    17630 |    22463
33.09/33.14	c 29.5s |      10 |    20534 |    14261 |   176934      0 |    17630 |    22463
35.08/35.19	c 31.6s |      10 |    22398 |    15561 |   176934      0 |    17630 |    22463
37.18/37.23	c 33.6s |      10 |    23910 |    16661 |   176934      0 |    17630 |    22463
38.19/38.23	c 34.6s |      11 |    24513 |    17144 |   194628      0 |    17630 |    22463
40.19/40.29	c 36.7s |      11 |    25972 |    18144 |   194628      0 |    17630 |    22463
42.39/42.40	c 38.8s |      11 |    27391 |    19244 |   194628      0 |    17630 |    22463
44.39/44.47	c 40.8s |      11 |    28943 |    20444 |   194628      0 |    17630 |    22463
46.49/46.52	c 42.9s |      11 |    30482 |    21644 |   194628      0 |    17630 |    22463
48.59/48.62	c 45.0s |      11 |    31882 |    22744 |   194628      0 |    17630 |    22463
50.69/50.73	c 47.1s |      11 |    33191 |    23844 |   194628      0 |    17630 |    22463
52.79/52.85	c 49.2s |      11 |    34717 |    25044 |   194628      0 |    17630 |    22463
54.38/54.46	c 50.8s |      12 |    35651 |    25819 |   214091      0 |    17630 |    22463
56.38/56.50	c 52.9s |      12 |    37007 |    26719 |   214091      0 |    17630 |    22463
58.68/58.77	c 55.1s |      12 |    38354 |    27619 |   214091      0 |    17630 |    22463
60.88/60.93	c 57.3s |      12 |    39615 |    28519 |   214091      0 |    17630 |    22463
62.88/62.97	c 59.3s |      12 |    40530 |    29219 |   214091      0 |    17630 |    22463
65.08/65.16	c 61.5s |      12 |    41565 |    30019 |   214091      0 |    17630 |    22463
67.28/67.31	c 63.7s |      12 |    42699 |    30819 |   214091      0 |    17630 |    22463
69.39/69.46	c 65.8s |      12 |    43647 |    31519 |   214091      0 |    17630 |    22463
71.68/71.74	c 68.1s |      12 |    44521 |    32219 |   214091      0 |    17630 |    22463
73.79/73.81	c 70.2s |      12 |    45372 |    32919 |   214091      0 |    17630 |    22463
75.89/75.91	c 72.3s |      12 |    46056 |    33519 |   214091      0 |    17630 |    22463
77.88/77.93	c 74.3s |      12 |    46802 |    34119 |   214091      0 |    17630 |    22463
80.08/80.19	c 76.6s |      12 |    47522 |    34719 |   214091      0 |    17630 |    22463
82.28/82.35	c 78.7s |      12 |    48260 |    35319 |   214091      0 |    17630 |    22463
84.48/84.53	c 80.9s |      12 |    48981 |    35919 |   214091      0 |    17630 |    22463
86.58/86.61	c 83.0s |      12 |    49809 |    36519 |   214091      0 |    17630 |    22463
88.68/88.71	c 85.1s |      12 |    50537 |    37119 |   214091      0 |    17630 |    22463
90.78/90.81	c 87.2s |      12 |    51275 |    37719 |   214091      0 |    17630 |    22463
92.88/92.97	c 89.3s |      12 |    52066 |    38319 |   214091      0 |    17630 |    22463
94.88/94.94	c 91.3s |      13 |    52731 |    38832 |   235501      0 |    17630 |    22463
97.08/97.19	c 93.6s |      13 |    53801 |    39432 |   235501      0 |    17630 |    22463
99.28/99.39	c 95.8s |      13 |    54734 |    40032 |   235501      0 |    17630 |    22463
101.28/101.39	c 97.8s |      13 |    55404 |    40532 |   235501      0 |    17630 |    22463
103.68/103.75	c  100s |      13 |    56321 |    41232 |   235501      0 |    17630 |    22463
105.87/105.99	c  102s |      13 |    57155 |    41832 |   235501      0 |    17630 |    22463
107.97/108.02	c  104s |      13 |    57940 |    42432 |   235501      0 |    17630 |    22463
110.17/110.20	c  106s |      13 |    58655 |    43032 |   235501      0 |    17630 |    22463
112.37/112.49	c  108s |      13 |    59296 |    43532 |   235501      0 |    17630 |    22463
114.57/114.67	c  111s |      13 |    59967 |    44032 |   235501      0 |    17630 |    22463
116.87/116.92	c  113s |      13 |    61003 |    44632 |   235501      0 |    17630 |    22463
119.07/119.14	c  115s |      13 |    62479 |    45732 |   235501      0 |    17630 |    22463
121.27/121.37	c  117s |      13 |    63884 |    46632 |   235501      0 |    17638 |    22493
123.47/123.53	c  119s |      13 |    65189 |    47632 |   235501      0 |    17638 |    22493
125.48/125.54	c  121s |      13 |    66304 |    48532 |   235501      0 |    17638 |    22493
127.58/127.62	c  123s |      13 |    67462 |    49432 |   235501      0 |    17638 |    22493
129.67/129.72	c  126s |      13 |    68627 |    50332 |   235501      0 |    17638 |    22493
131.67/131.77	c  128s |      13 |    69839 |    51132 |   235501      0 |    17638 |    22493
133.97/134.07	c  130s |      13 |    71141 |    52132 |   235501      0 |    17638 |    22493
136.27/136.31	c  132s |      13 |    72381 |    53032 |   235501      0 |    17638 |    22493
138.37/138.45	c  134s |      13 |    73610 |    53932 |   235501      0 |    17638 |    22493
140.57/140.68	c  137s |      13 |    74632 |    54732 |   235501      0 |    17638 |    22493
142.77/142.83	c  139s |      13 |    75618 |    55532 |   235501      0 |    17638 |    22493
144.97/145.01	c  141s |      13 |    76640 |    56332 |   235501      0 |    17638 |    22493
146.97/147.05	c  143s |      13 |    77555 |    57032 |   235501      0 |    17638 |    22493
149.17/149.24	c  145s |      13 |    78457 |    57732 |   235501      0 |    17638 |    22493
151.27/151.32	c  147s |      13 |    79184 |    58332 |   259052      0 |    17638 |    22493
151.37/151.41	c  147s |      14 |    79224 |    58352 |   259052      0 |    17638 |    22493
153.67/153.74	c  150s |      14 |    80367 |    58952 |   259052      0 |    17638 |    22493
155.77/155.85	c  152s |      14 |    82196 |    60052 |   259052      0 |    17638 |    22493
157.77/157.88	c  154s |      14 |    83580 |    61052 |   259052      0 |    17638 |    22493
159.87/159.95	c  156s |      14 |    85099 |    62152 |   259052      0 |    17638 |    22493
161.97/162.05	c  158s |      14 |    86486 |    63152 |   259052      0 |    17638 |    22493
164.17/164.26	c  160s |      14 |    87837 |    64152 |   259052      0 |    17638 |    22493
166.27/166.32	c  162s |      14 |    89060 |    65052 |   259052      0 |    17638 |    22493
168.37/168.48	c  164s |      14 |    90360 |    66052 |   259052      0 |    17638 |    22493
170.57/170.68	c  167s |      14 |    91757 |    67152 |   259052      0 |    17638 |    22493
172.56/172.69	c  169s |      14 |    92921 |    68052 |   259052      0 |    17638 |    22493
174.87/174.95	c  171s |      14 |    94048 |    68952 |   259052      0 |    17638 |    22493
176.96/177.01	c  173s |      14 |    95094 |    69752 |   259052      0 |    17638 |    22493
179.16/179.28	c  175s |      14 |    96161 |    70552 |   259052      0 |    17638 |    22493
181.26/181.32	c  177s |      14 |    97123 |    71352 |   259052      0 |    17638 |    22493
183.36/183.44	c  179s |      14 |    98151 |    72152 |   259052      0 |    17638 |    22493
185.46/185.58	c  181s |      14 |    99343 |    73052 |   259052      0 |    17638 |    22493
187.56/187.64	c  184s |      14 |   100249 |    73752 |   259052      0 |    17638 |    22493
189.86/189.91	c  186s |      14 |   101133 |    74452 |   259052      0 |    17638 |    22493
191.96/192.03	c  188s |      14 |   101866 |    75052 |   259052      0 |    17638 |    22493
194.16/194.22	c  190s |      14 |   103029 |    75952 |   259052      0 |    17638 |    22493
196.26/196.32	c  192s |      14 |   104053 |    76752 |   259052      0 |    17638 |    22493
198.26/198.35	c  194s |      14 |   104953 |    77452 |   259052      0 |    17638 |    22493
200.27/200.36	c  196s |      14 |   105668 |    78052 |   259052      0 |    17638 |    22493
202.47/202.59	c  198s |      14 |   106622 |    78752 |   259052      0 |    17638 |    22493
204.57/204.67	c  201s |      14 |   107491 |    79452 |   259052      0 |    17638 |    22493
206.77/206.89	c  203s |      14 |   108322 |    80152 |   259052      0 |    17638 |    22493
208.97/209.09	c  205s |      14 |   109226 |    80852 |   259052      0 |    17638 |    22493
211.06/211.12	c  207s |      14 |   109991 |    81452 |   259052      0 |    17638 |    22493
213.06/213.14	c  209s |      14 |   110766 |    82052 |   259052      0 |    17638 |    22493
215.36/215.41	c  211s |      14 |   111496 |    82652 |   259052      0 |    17638 |    22493
217.56/217.63	c  214s |      14 |   112236 |    83252 |   259052      0 |    17638 |    22493
219.66/219.74	c  216s |      14 |   113178 |    83952 |   259052      0 |    17638 |    22493
221.66/221.75	c  218s |      14 |   113958 |    84552 |   259052      0 |    17638 |    22493
223.86/223.91	c  220s |      14 |   114875 |    85252 |   259052      0 |    17638 |    22493
225.96/226.09	c  222s |      14 |   115705 |    85952 |   259052      0 |    17638 |    22493
228.16/228.26	c  224s |      14 |   116462 |    86552 |   259052      0 |    17638 |    22493
230.26/230.30	c  226s |      14 |   117075 |    87052 |   284958      0 |    17638 |    22493
232.55/232.61	c  228s |      15 |   117769 |    87632 |   284958      0 |    17638 |    22493
234.75/234.82	c  231s |      15 |   118477 |    88132 |   284958      0 |    17638 |    22493
236.95/237.01	c  233s |      15 |   119195 |    88732 |   284958      0 |    17638 |    22493
238.95/239.07	c  235s |      15 |   120010 |    89332 |   284958      0 |    17638 |    22493
241.05/241.12	c  237s |      15 |   120747 |    89932 |   284958      0 |    17638 |    22493
243.16/243.24	c  239s |      15 |   121485 |    90532 |   284958      0 |    17638 |    22493
245.36/245.42	c  241s |      15 |   122267 |    91132 |   284958      0 |    17638 |    22493
247.35/247.42	c  243s |      15 |   122943 |    91732 |   284958      0 |    17638 |    22493
249.55/249.66	c  246s |      15 |   123875 |    92432 |   284958      0 |    17638 |    22493
251.86/251.99	c  248s |      15 |   124797 |    93132 |   284958      0 |    17638 |    22493
254.25/254.34	c  250s |      15 |   125516 |    93732 |   284958      0 |    17638 |    22493
256.45/256.54	c  252s |      15 |   126293 |    94332 |   284958      0 |    17638 |    22493
258.46/258.58	c  254s |      15 |   127169 |    95032 |   284958      0 |    17638 |    22493
260.66/260.74	c  257s |      15 |   127956 |    95632 |   284958      0 |    17638 |    22493
262.75/262.90	c  259s |      15 |   128838 |    96332 |   284958      0 |    17638 |    22493
265.06/265.17	c  261s |      15 |   129932 |    97232 |   284958      0 |    17638 |    22493
267.15/267.23	c  263s |      15 |   130782 |    97932 |   284958      0 |    17638 |    22493
269.35/269.41	c  265s |      15 |   131675 |    98632 |   284958      0 |    17638 |    22493
271.35/271.42	c  267s |      15 |   132376 |    99232 |   284958      0 |    17638 |    22493
273.55/273.70	c  270s |      15 |   133134 |    99832 |   284958      0 |    17638 |    22493
275.85/275.92	c  272s |      15 |   133864 |   100432 |   284958      0 |    17638 |    22493
278.15/278.22	c  274s |      15 |   134433 |   100932 |   284958      0 |    17638 |    22493
280.25/280.39	c  276s |      15 |   135172 |   101532 |   284958      0 |    17638 |    22493
282.55/282.67	c  279s |      15 |   135885 |   102132 |   284958      0 |    17638 |    22493
284.75/284.86	c  281s |      15 |   136613 |   102732 |   284958      0 |    17638 |    22493
287.15/287.21	c  283s |      15 |   137328 |   103332 |   284958      0 |    17638 |    22493
289.35/289.44	c  285s |      15 |   138039 |   103932 |   284958      0 |    17638 |    22493
291.64/291.73	c  288s |      15 |   138808 |   104532 |   284958      0 |    17638 |    22493
293.94/294.06	c  290s |      15 |   139557 |   105132 |   284958      0 |    17638 |    22493
296.34/296.43	c  292s |      15 |   140282 |   105732 |   284958      0 |    17638 |    22493
298.74/298.83	c  295s |      15 |   140992 |   106332 |   284958      0 |    17638 |    22493
300.84/300.92	c  297s |      15 |   141729 |   106932 |   284958      0 |    17638 |    22493
302.84/302.99	c  299s |      15 |   142512 |   107532 |   284958      0 |    17638 |    22493
305.14/305.22	c  301s |      15 |   143102 |   108032 |   284958      0 |    17638 |    22493
307.24/307.34	c  303s |      15 |   143692 |   108532 |   284958      0 |    17638 |    22493
309.34/309.45	c  305s |      15 |   144303 |   109032 |   284958      0 |    17638 |    22493
311.54/311.69	c  308s |      15 |   145021 |   109632 |   284958      0 |    17638 |    22493
313.84/313.96	c  310s |      15 |   145729 |   110232 |   284958      0 |    17638 |    22493
316.24/316.36	c  312s |      15 |   146450 |   110832 |   284958      0 |    17638 |    22493
318.34/318.44	c  314s |      15 |   147032 |   111332 |   284958      0 |    17638 |    22493
320.74/320.80	c  317s |      15 |   147615 |   111832 |   284958      0 |    17638 |    22493
322.84/322.99	c  319s |      15 |   148316 |   112432 |   284958      0 |    17638 |    22493
325.24/325.30	c  321s |      15 |   149058 |   113032 |   284958      0 |    17638 |    22493
327.74/327.82	c  324s |      15 |   149720 |   113532 |   284958      0 |    17638 |    22493
330.14/330.23	c  326s |      15 |   150334 |   114032 |   284958      0 |    17638 |    22493
332.34/332.48	c  328s |      15 |   150948 |   114532 |   284958      0 |    17638 |    22493
334.84/334.93	c  331s |      15 |   151736 |   115132 |   284958      0 |    17638 |    22493
337.13/337.22	c  333s |      15 |   152342 |   115632 |   284958      0 |    17638 |    22493
339.43/339.59	c  335s |      15 |   153013 |   116132 |   284958      0 |    17638 |    22493
341.83/341.94	c  338s |      15 |   153620 |   116632 |   284958      0 |    17638 |    22493
344.03/344.15	c  340s |      15 |   154067 |   117032 |   284958      0 |    17638 |    22493
346.63/346.70	c  343s |      15 |   154688 |   117532 |   284958      0 |    17638 |    22493
348.74/348.86	c  345s |      15 |   155146 |   117932 |   284958      0 |    17638 |    22493
350.73/350.87	c  347s |      15 |   155596 |   118332 |   284958      0 |    17638 |    22493
353.04/353.16	c  349s |      15 |   156335 |   118932 |   284958      0 |    17638 |    22493
355.13/355.23	c  351s |      15 |   156928 |   119432 |   284958      0 |    17638 |    22493
357.44/357.51	c  353s |      15 |   157696 |   120032 |   284958      0 |    17638 |    22493
359.83/359.94	c  356s |      15 |   158300 |   120532 |   284958      0 |    17638 |    22493
362.03/362.14	c  358s |      15 |   158916 |   121032 |   284958      0 |    17638 |    22493
364.23/364.32	c  360s |      15 |   159545 |   121532 |   284958      0 |    17638 |    22493
366.43/366.54	c  362s |      15 |   160158 |   122032 |   284958      0 |    17638 |    22493
368.73/368.85	c  365s |      15 |   160926 |   122632 |   284958      0 |    17638 |    22493
371.13/371.20	c  367s |      15 |   161495 |   123132 |   284958      0 |    17638 |    22493
373.23/373.30	c  369s |      15 |   162074 |   123632 |   284958      0 |    17638 |    22493
375.33/375.49	c  371s |      15 |   162757 |   124132 |   284958      0 |    17638 |    22493
377.73/377.88	c  374s |      15 |   163361 |   124632 |   284958      0 |    17638 |    22493
380.03/380.11	c  376s |      15 |   163969 |   125132 |   284958      0 |    17638 |    22493
382.33/382.46	c  378s |      15 |   164427 |   125532 |   284958      0 |    17638 |    22493
384.73/384.85	c  381s |      15 |   165053 |   126032 |   284958      0 |    17638 |    22493
387.23/387.31	c  383s |      15 |   165516 |   126432 |   284958      0 |    17638 |    22493
389.43/389.52	c  385s |      15 |   165977 |   126832 |   284958      0 |    17638 |    22493
391.72/391.85	c  388s |      15 |   166678 |   127432 |   284958      0 |    17638 |    22493
393.83/393.97	c  390s |      15 |   167282 |   127932 |   284958      0 |    17638 |    22493
396.12/396.20	c  392s |      15 |   167872 |   128432 |   284958      0 |    17638 |    22493
398.42/398.57	c  394s |      15 |   168315 |   128832 |   284958      0 |    17638 |    22493
400.92/401.09	c  397s |      15 |   168894 |   129332 |   284958      0 |    17638 |    22493
402.92/403.09	c  399s |      15 |   169405 |   129732 |   284958      0 |    17638 |    22493
405.42/405.58	c  401s |      15 |   170041 |   130232 |   284958      0 |    17638 |    22493
407.52/407.69	c  404s |      15 |   170545 |   130632 |   284958      0 |    17638 |    22493
409.72/409.84	c  406s |      15 |   171048 |   131032 |   313454      0 |    17638 |    22493
411.83/411.98	c  408s |      15 |   171527 |   131432 |   313454      0 |    17638 |    22493
412.44/412.50	c  408s |      16 |   171712 |   131552 |   313454      0 |    17638 |    22493
414.43/414.58	c  410s |      16 |   172123 |   131852 |   313454      0 |    17638 |    22493
416.84/416.92	c  413s |      16 |   172786 |   132352 |   313454      0 |    17638 |    22493
418.93/419.09	c  415s |      16 |   173273 |   132752 |   313454      0 |    17638 |    22493
421.43/421.50	c  417s |      16 |   173917 |   133252 |   313454      0 |    17638 |    22493
423.63/423.77	c  420s |      16 |   174398 |   133652 |   313454      0 |    17638 |    22493
425.73/425.89	c  422s |      16 |   174880 |   134052 |   313454      0 |    17638 |    22493
428.33/428.45	c  424s |      16 |   175536 |   134552 |   313454      0 |    17638 |    22493
430.63/430.73	c  427s |      16 |   176021 |   134952 |   313454      0 |    17638 |    22493
432.83/432.97	c  429s |      16 |   176622 |   135452 |   313454      0 |    17638 |    22493
435.13/435.28	c  431s |      16 |   177126 |   135852 |   313454      0 |    17638 |    22493
437.43/437.51	c  433s |      16 |   177585 |   136252 |   313454      0 |    17638 |    22493
439.43/439.55	c  435s |      16 |   178068 |   136652 |   313454      0 |    17638 |    22493
441.62/441.70	c  438s |      16 |   178555 |   137052 |   313454      0 |    17638 |    22493
443.82/443.99	c  440s |      16 |   179167 |   137552 |   313454      0 |    17638 |    22493
446.42/446.55	c  442s |      16 |   179724 |   138052 |   313454      0 |    17638 |    22493
448.52/448.64	c  445s |      16 |   180185 |   138452 |   313454      0 |    17638 |    22493
450.72/450.88	c  447s |      16 |   180651 |   138852 |   313454      0 |    17638 |    22493
453.02/453.18	c  449s |      16 |   181270 |   139352 |   313454      0 |    17638 |    22493
455.02/455.19	c  451s |      16 |   181740 |   139752 |   313454      0 |    17638 |    22493
457.32/457.47	c  453s |      16 |   182201 |   140152 |   313454      0 |    17638 |    22493
459.73/459.86	c  456s |      16 |   182688 |   140552 |   313454      0 |    17638 |    22493
461.93/462.01	c  458s |      16 |   183205 |   140952 |   313454      0 |    17638 |    22493
464.32/464.45	c  460s |      16 |   183835 |   141452 |   313454      0 |    17638 |    22493
466.72/466.81	c  463s |      16 |   184498 |   141952 |   313454      0 |    17638 |    22493
468.92/469.02	c  465s |      16 |   185013 |   142352 |   313454      0 |    17638 |    22493
471.22/471.32	c  467s |      16 |   185622 |   142852 |   313454      0 |    17638 |    22493
473.62/473.72	c  470s |      16 |   186312 |   143352 |   313454      0 |    17638 |    22493
475.62/475.73	c  472s |      16 |   186802 |   143752 |   313454      0 |    17638 |    22493
478.02/478.10	c  474s |      16 |   187373 |   144152 |   313454      0 |    17638 |    22493
480.32/480.41	c  476s |      16 |   187998 |   144652 |   313454      0 |    17638 |    22493
482.52/482.68	c  479s |      16 |   188629 |   145152 |   313454      0 |    17638 |    22493
484.62/484.78	c  481s |      16 |   189099 |   145552 |   313454      0 |    17638 |    22493
486.72/486.84	c  483s |      16 |   189603 |   145952 |   313454      0 |    17638 |    22493
488.92/489.05	c  485s |      16 |   190101 |   146352 |   313454      0 |    17638 |    22493
491.42/491.53	c  487s |      16 |   190769 |   146852 |   313454      0 |    17638 |    22493
493.62/493.71	c  490s |      16 |   191244 |   147252 |   313454      0 |    17638 |    22493
495.92/496.08	c  492s |      16 |   191858 |   147752 |   313454      0 |    17638 |    22493
498.22/498.32	c  494s |      16 |   192465 |   148252 |   313454      0 |    17638 |    22493
500.22/500.38	c  496s |      16 |   192931 |   148652 |   313454      0 |    17638 |    22493
502.72/502.88	c  499s |      16 |   193524 |   149152 |   313454      0 |    17638 |    22493
505.12/505.22	c  501s |      16 |   194106 |   149652 |   313454      0 |    17638 |    22493
507.51/507.66	c  504s |      16 |   194716 |   150152 |   313454      0 |    17638 |    22493
509.81/509.95	c  506s |      16 |   195209 |   150552 |   313454      0 |    17638 |    22493
511.91/512.01	c  508s |      16 |   195674 |   150952 |   313454      0 |    17638 |    22493
513.91/514.06	c  510s |      16 |   196114 |   151352 |   313454      0 |    17638 |    22493
516.01/516.17	c  512s |      16 |   196589 |   151752 |   313454      0 |    17638 |    22493
518.12/518.24	c  514s |      16 |   197066 |   152152 |   313454      0 |    17638 |    22493
520.11/520.29	c  516s |      16 |   197547 |   152552 |   313454      0 |    17638 |    22493
522.21/522.33	c  518s |      16 |   198068 |   152952 |   313454      0 |    17638 |    22493
524.21/524.33	c  520s |      16 |   198557 |   153352 |   313454      0 |    17638 |    22493
526.61/526.71	c  523s |      16 |   199084 |   153752 |   313454      0 |    17638 |    22493
529.21/529.35	c  525s |      16 |   199547 |   154152 |   313454      0 |    17638 |    22493
531.32/531.42	c  527s |      16 |   200039 |   154552 |   313454      0 |    17638 |    22493
533.52/533.69	c  530s |      16 |   200515 |   154952 |   313454      0 |    17638 |    22493
535.62/535.73	c  532s |      16 |   201011 |   155352 |   313454      0 |    17638 |    22493
537.71/537.83	c  534s |      16 |   201495 |   155752 |   313454      0 |    17638 |    22493
540.11/540.25	c  536s |      16 |   201954 |   156152 |   313454      0 |    17638 |    22493
542.41/542.59	c  538s |      16 |   202414 |   156552 |   313454      0 |    17638 |    22493
544.41/544.59	c  540s |      16 |   202880 |   156952 |   313454      0 |    17638 |    22493
546.71/546.82	c  543s |      16 |   203341 |   157352 |   313454      0 |    17638 |    22493
549.11/549.24	c  545s |      16 |   203762 |   157752 |   313454      0 |    17638 |    22493
551.51/551.64	c  548s |      16 |   204242 |   158152 |   313454      0 |    17638 |    22493
553.91/554.06	c  550s |      16 |   204728 |   158552 |   313454      0 |    17638 |    22493
556.31/556.48	c  552s |      16 |   205240 |   158952 |   313454      0 |    17638 |    22493
558.71/558.82	c  555s |      16 |   205770 |   159352 |   313454      0 |    17638 |    22493
560.80/561.00	c  557s |      16 |   206261 |   159752 |   313454      0 |    17638 |    22493
563.30/563.47	c  559s |      16 |   206729 |   160152 |   313454      0 |    17638 |    22493
565.70/565.83	c  562s |      16 |   207232 |   160552 |   313454      0 |    17638 |    22493
568.10/568.28	c  564s |      16 |   207747 |   160952 |   313454      0 |    17638 |    22493
570.70/570.86	c  567s |      16 |   208238 |   161352 |   313454      0 |    17638 |    22493
573.30/573.45	c  569s |      16 |   208706 |   161752 |   313454      0 |    17638 |    22493
575.60/575.71	c  572s |      16 |   209194 |   162152 |   313454      0 |    17638 |    22493
578.00/578.18	c  574s |      16 |   209649 |   162552 |   313454      0 |    17638 |    22493
580.30/580.49	c  576s |      16 |   210143 |   162952 |   313454      0 |    17638 |    22493
582.70/582.80	c  579s |      16 |   210611 |   163352 |   313454      0 |    17638 |    22493
584.90/585.02	c  581s |      16 |   211065 |   163752 |   313454      0 |    17638 |    22493
587.31/587.47	c  583s |      16 |   211553 |   164152 |   313454      0 |    17638 |    22493
590.00/590.15	c  586s |      16 |   211995 |   164552 |   313454      0 |    17638 |    22493
592.40/592.54	c  588s |      16 |   212509 |   164952 |   313454      0 |    17638 |    22493
594.90/595.01	c  591s |      16 |   212886 |   165252 |   313454      0 |    17638 |    22493
596.90/597.09	c  593s |      16 |   213382 |   165652 |   313454      0 |    17638 |    22493
599.40/599.51	c  595s |      16 |   213881 |   166052 |   313454      0 |    17638 |    22493
602.00/602.11	c  598s |      16 |   214426 |   166452 |   313454      0 |    17638 |    22493
604.10/604.26	c  600s |      16 |   214954 |   166852 |   313454      0 |    17638 |    22493
606.30/606.43	c  602s |      16 |   215616 |   167352 |   313454      0 |    17638 |    22493
608.30/608.45	c  604s |      16 |   216154 |   167752 |   313454      0 |    17638 |    22493
610.70/610.82	c  607s |      16 |   216802 |   168252 |   313454      0 |    17638 |    22493
612.99/613.18	c  609s |      16 |   217446 |   168752 |   313454      0 |    17638 |    22493
615.09/615.20	c  611s |      16 |   218045 |   169252 |   313454      0 |    17638 |    22493
617.39/617.56	c  613s |      16 |   218699 |   169752 |   313454      0 |    17638 |    22493
619.89/620.06	c  616s |      16 |   219220 |   170152 |   313454      0 |    17638 |    22493
622.19/622.36	c  618s |      16 |   219711 |   170552 |   313454      0 |    17638 |    22493
624.70/624.89	c  621s |      16 |   220349 |   171052 |   313454      0 |    17638 |    22493
627.19/627.34	c  623s |      16 |   220843 |   171452 |   313454      0 |    17638 |    22493
629.39/629.56	c  625s |      16 |   221383 |   171852 |   313454      0 |    17638 |    22493
631.69/631.89	c  628s |      16 |   222164 |   172452 |   313454      0 |    17638 |    22493
634.09/634.21	c  630s |      16 |   222789 |   172952 |   313454      0 |    17638 |    22493
636.29/636.44	c  632s |      16 |   223267 |   173352 |   313454      0 |    17638 |    22493
638.69/638.82	c  635s |      16 |   223758 |   173752 |   313454      0 |    17638 |    22493
640.79/640.96	c  637s |      16 |   224459 |   174252 |   313454      0 |    17638 |    22493
642.89/643.01	c  639s |      16 |   225353 |   174952 |   313454      0 |    17638 |    22493
644.89/645.08	c  641s |      16 |   226370 |   175752 |   313454      0 |    17638 |    22493
646.99/647.11	c  643s |      16 |   227248 |   176352 |   313454      0 |    17638 |    22493
649.09/649.28	c  645s |      16 |   228542 |   177152 |   313454      0 |    17638 |    22493
651.39/651.58	c  647s |      16 |   229275 |   177652 |   313454      0 |    17638 |    22493
653.49/653.62	c  649s |      16 |   230062 |   178252 |   313454      0 |    17638 |    22493
655.99/656.17	c  652s |      16 |   230773 |   178752 |   313454      0 |    17638 |    22493
658.39/658.50	c  654s |      16 |   231427 |   179252 |   313454      0 |    17638 |    22493
660.59/660.74	c  657s |      16 |   232241 |   179852 |   313454      0 |    17638 |    22493
662.68/662.82	c  659s |      16 |   233214 |   180452 |   313454      0 |    17638 |    22493
664.98/665.19	c  661s |      16 |   233944 |   181052 |   313454      0 |    17638 |    22493
667.08/667.22	c  663s |      16 |   234587 |   181552 |   313454      0 |    17638 |    22493
669.28/669.48	c  665s |      16 |   235319 |   182152 |   313454      0 |    17638 |    22493
671.68/671.89	c  668s |      16 |   236016 |   182752 |   313454      0 |    17638 |    22493
673.88/674.05	c  670s |      16 |   236623 |   183252 |   313454      0 |    17638 |    22493
676.08/676.26	c  672s |      16 |   237242 |   183752 |   313454      0 |    17638 |    22493
678.28/678.50	c  674s |      16 |   237828 |   184252 |   313454      0 |    17638 |    22493
680.38/680.54	c  676s |      16 |   238412 |   184752 |   313454      0 |    17638 |    22493
682.68/682.84	c  679s |      16 |   239014 |   185252 |   313454      0 |    17638 |    22493
684.88/685.08	c  681s |      16 |   239626 |   185752 |   313454      0 |    17638 |    22493
686.98/687.16	c  683s |      16 |   240188 |   186252 |   313454      0 |    17638 |    22493
689.08/689.29	c  685s |      16 |   240779 |   186752 |   313454      0 |    17638 |    22493
691.18/691.31	c  687s |      16 |   241271 |   187152 |   313454      0 |    17638 |    22493
693.28/693.43	c  689s |      16 |   241831 |   187652 |   313454      0 |    17638 |    22493
695.68/695.80	c  692s |      16 |   242524 |   188252 |   313454      0 |    17638 |    22493
697.88/698.05	c  694s |      16 |   243103 |   188752 |   313454      0 |    17638 |    22493
700.08/700.27	c  696s |      16 |   243695 |   189252 |   313454      0 |    17638 |    22493
702.38/702.51	c  698s |      16 |   244282 |   189752 |   313454      0 |    17638 |    22493
704.58/704.77	c  701s |      16 |   244760 |   190152 |   313454      0 |    17638 |    22493
706.78/706.95	c  703s |      16 |   245210 |   190552 |   313454      0 |    17638 |    22493
709.08/709.24	c  705s |      16 |   245776 |   191052 |   313454      0 |    17638 |    22493
711.18/711.32	c  707s |      16 |   246359 |   191552 |   313454      0 |    17638 |    22493
713.38/713.56	c  709s |      16 |   247094 |   192152 |   313454      0 |    17638 |    22493
715.58/715.76	c  712s |      16 |   247815 |   192752 |   313454      0 |    17638 |    22493
717.58/717.77	c  714s |      16 |   248413 |   193252 |   313454      0 |    17638 |    22493
719.78/719.93	c  716s |      16 |   249009 |   193752 |   313454      0 |    17638 |    22493
721.98/722.16	c  718s |      16 |   249569 |   194252 |   313454      0 |    17638 |    22493
723.98/724.18	c  720s |      16 |   250149 |   194752 |   313454      0 |    17638 |    22493
726.27/726.41	c  722s |      16 |   250742 |   195252 |   313454      0 |    17638 |    22493
728.57/728.72	c  725s |      16 |   251375 |   195752 |   313454      0 |    17638 |    22493
730.87/731.08	c  727s |      16 |   252095 |   196352 |   344800      0 |    17638 |    22493
733.07/733.24	c  729s |      16 |   252669 |   196852 |   344800      0 |    17638 |    22493
735.37/735.59	c  731s |      16 |   253259 |   197352 |   344800      0 |    17638 |    22493
735.78/735.93	c  732s |      17 |   253346 |   197432 |   344800      0 |    17638 |    22493
737.98/738.11	c  734s |      17 |   254499 |   198032 |   344800      0 |    17638 |    22493
740.18/740.31	c  736s |      17 |   255840 |   199032 |   344800      0 |    17638 |    22493
742.27/742.45	c  738s |      17 |   257190 |   200032 |   344800      0 |    17638 |    22493
744.37/744.59	c  740s |      17 |   258443 |   200932 |   344800      0 |    17638 |    22493
746.47/746.62	c  742s |      17 |   259427 |   201732 |   344800      0 |    17638 |    22493
748.67/748.81	c  745s |      17 |   260704 |   202732 |   344800      0 |    17638 |    22493
750.67/750.82	c  747s |      17 |   261828 |   203632 |   344800      0 |    17638 |    22493
752.67/752.86	c  749s |      17 |   262795 |   204432 |   344800      0 |    17638 |    22493
754.97/755.11	c  751s |      17 |   263903 |   205332 |   344800      0 |    17638 |    22493
757.07/757.24	c  753s |      17 |   265051 |   206232 |   344800      0 |    17638 |    22493
759.07/759.27	c  755s |      17 |   266068 |   207032 |   344800      0 |    17638 |    22493
761.07/761.28	c  757s |      17 |   267055 |   207832 |   344800      0 |    17638 |    22493
763.37/763.51	c  759s |      17 |   268136 |   208732 |   344800      0 |    17638 |    22493
765.37/765.54	c  761s |      17 |   269056 |   209532 |   344800      0 |    17638 |    22493
767.47/767.68	c  764s |      17 |   270081 |   210332 |   344800      0 |    17638 |    22493
769.67/769.87	c  766s |      17 |   271107 |   211132 |   344800      0 |    17638 |    22493
771.77/771.99	c  768s |      17 |   271971 |   211832 |   344800      0 |    17638 |    22493
773.87/774.00	c  770s |      17 |   272856 |   212532 |   344800      0 |    17638 |    22493
776.17/776.30	c  772s |      17 |   273799 |   213332 |   344800      0 |    17638 |    22493
778.16/778.39	c  774s |      17 |   274629 |   214032 |   344800      0 |    17638 |    22493
780.46/780.61	c  776s |      17 |   275426 |   214732 |   344800      0 |    17638 |    22493
782.66/782.81	c  779s |      17 |   276264 |   215432 |   344800      0 |    17638 |    22493
784.96/785.11	c  781s |      17 |   277128 |   216132 |   344800      0 |    17638 |    22493
787.16/787.36	c  783s |      17 |   277986 |   216832 |   344800      0 |    17638 |    22493
789.26/789.45	c  785s |      17 |   278785 |   217532 |   344800      0 |    17638 |    22493
791.56/791.73	c  788s |      17 |   279617 |   218232 |   344800      0 |    17638 |    22493
793.86/794.09	c  790s |      17 |   280396 |   218932 |   344800      0 |    17638 |    22493
796.16/796.32	c  792s |      17 |   281052 |   219532 |   344800      0 |    17638 |    22493
798.36/798.53	c  794s |      17 |   281749 |   220132 |   344800      0 |    17638 |    22493
800.46/800.65	c  797s |      17 |   282440 |   220732 |   344800      0 |    17638 |    22493
802.46/802.68	c  799s |      17 |   283094 |   221332 |   344800      0 |    17638 |    22493
804.86/805.02	c  801s |      17 |   283826 |   221932 |   344800      0 |    17638 |    22493
807.16/807.37	c  803s |      17 |   284643 |   222632 |   344800      0 |    17638 |    22493
809.57/809.71	c  806s |      17 |   285331 |   223232 |   344800      0 |    17638 |    22493
811.86/812.06	c  808s |      17 |   286046 |   223832 |   344800      0 |    17638 |    22493
814.16/814.39	c  810s |      17 |   286747 |   224432 |   344800      0 |    17638 |    22493
816.56/816.71	c  813s |      17 |   287493 |   225032 |   344800      0 |    17638 |    22493
818.57/818.77	c  815s |      17 |   288109 |   225532 |   344800      0 |    17638 |    22493
820.77/820.99	c  817s |      17 |   288859 |   226132 |   344800      0 |    17638 |    22493
823.07/823.26	c  819s |      17 |   289591 |   226732 |   344800      0 |    17638 |    22493
825.17/825.34	c  821s |      17 |   290408 |   227332 |   344800      0 |    17638 |    22493
827.27/827.44	c  823s |      17 |   291148 |   227932 |   344800      0 |    17638 |    22493
829.66/829.85	c  826s |      17 |   291854 |   228532 |   344800      0 |    17638 |    22493
831.86/832.02	c  828s |      17 |   292472 |   229032 |   344800      0 |    17638 |    22493
833.86/834.09	c  830s |      17 |   293223 |   229632 |   344800      0 |    17638 |    22493
836.06/836.20	c  832s |      17 |   293810 |   230132 |   344800      0 |    17638 |    22493
838.07/838.21	c  834s |      17 |   294413 |   230632 |   344800      0 |    17638 |    22493
840.56/840.72	c  837s |      17 |   295127 |   231232 |   344800      0 |    17638 |    22493
842.57/842.75	c  839s |      17 |   295699 |   231732 |   344800      0 |    17638 |    22493
844.67/844.82	c  841s |      17 |   296472 |   232332 |   344800      0 |    17638 |    22493
846.66/846.87	c  843s |      17 |   297050 |   232832 |   344800      0 |    17638 |    22493
848.76/848.91	c  845s |      17 |   297641 |   233332 |   344800      0 |    17638 |    22493
850.96/851.13	c  847s |      17 |   298251 |   233832 |   344800      0 |    17638 |    22493
853.26/853.45	c  849s |      17 |   298875 |   234332 |   344800      0 |    17638 |    22493
855.45/855.63	c  852s |      17 |   299757 |   235032 |   344800      0 |    17638 |    22493
857.55/857.76	c  854s |      17 |   300609 |   235732 |   344800      0 |    17638 |    22493
859.65/859.81	c  856s |      17 |   301483 |   236432 |   344800      0 |    17638 |    22493
861.75/861.91	c  858s |      17 |   302324 |   237132 |   344800      0 |    17638 |    22493
863.95/864.17	c  860s |      17 |   303123 |   237832 |   344800      0 |    17638 |    22493
866.15/866.33	c  862s |      17 |   304003 |   238532 |   344800      0 |    17638 |    22493
868.15/868.36	c  864s |      17 |   304990 |   239332 |   344800      0 |    17638 |    22493
870.35/870.58	c  866s |      17 |   306009 |   240132 |   344800      0 |    17638 |    22493
872.55/872.78	c  869s |      17 |   306862 |   240832 |   344800      0 |    17638 |    22493
874.74/874.99	c  871s |      17 |   307590 |   241432 |   344800      0 |    17638 |    22493
877.04/877.20	c  873s |      17 |   308434 |   242132 |   344800      0 |    17638 |    22493
879.14/879.32	c  875s |      17 |   309310 |   242832 |   344800      0 |    17638 |    22493
881.34/881.54	c  877s |      17 |   310188 |   243532 |   344800      0 |    17638 |    22493
883.54/883.79	c  880s |      17 |   310943 |   244132 |   344800      0 |    17638 |    22493
885.73/885.93	c  882s |      17 |   311783 |   244832 |   344800      0 |    17638 |    22493
888.03/888.27	c  884s |      17 |   312653 |   245532 |   344800      0 |    17638 |    22493
890.33/890.50	c  886s |      17 |   313653 |   246332 |   344800      0 |    17638 |    22493
892.33/892.51	c  888s |      17 |   314698 |   247132 |   344800      0 |    17638 |    22493
894.33/894.58	c  890s |      17 |   315571 |   247832 |   344800      0 |    17638 |    22493
896.53/896.78	c  893s |      17 |   316425 |   248532 |   344800      0 |    17638 |    22493
898.83/899.08	c  895s |      17 |   317135 |   249132 |   344800      0 |    17638 |    22493
900.93/901.11	c  897s |      17 |   317878 |   249732 |   344800      0 |    17638 |    22493
902.93/903.18	c  899s |      17 |   318578 |   250332 |   344800      0 |    17638 |    22493
904.92/905.19	c  901s |      17 |   319142 |   250832 |   344800      0 |    17638 |    22493
907.12/907.38	c  903s |      17 |   319837 |   251432 |   344800      0 |    17638 |    22493
909.32/909.59	c  905s |      17 |   320563 |   252032 |   344800      0 |    17638 |    22493
911.52/911.71	c  908s |      17 |   321539 |   252832 |   344800      0 |    17638 |    22493
913.72/913.99	c  910s |      17 |   322518 |   253632 |   344800      0 |    17638 |    22493
915.82/916.05	c  912s |      17 |   323388 |   254332 |   344800      0 |    17638 |    22493
917.82/918.09	c  914s |      17 |   324446 |   255132 |   344800      0 |    17638 |    22493
920.02/920.28	c  916s |      17 |   325227 |   255732 |   344800      0 |    17638 |    22493
922.32/922.52	c  918s |      17 |   325975 |   256332 |   344800      0 |    17638 |    22493
924.32/924.53	c  920s |      17 |   326724 |   256932 |   344800      0 |    17638 |    22493
926.41/926.63	c  923s |      17 |   327489 |   257532 |   344800      0 |    17638 |    22493
928.61/928.82	c  925s |      17 |   328194 |   258132 |   344800      0 |    17638 |    22493
931.01/931.25	c  927s |      17 |   328919 |   258732 |   344800      0 |    17638 |    22493
933.21/933.46	c  929s |      17 |   329678 |   259332 |   344800      0 |    17638 |    22493
935.41/935.60	c  931s |      17 |   330448 |   259932 |   344800      0 |    17638 |    22493
937.61/937.85	c  934s |      17 |   331324 |   260632 |   344800      0 |    17638 |    22493
939.61/939.87	c  936s |      17 |   332023 |   261232 |   344800      0 |    17638 |    22493
941.80/942.05	c  938s |      17 |   332594 |   261732 |   344800      0 |    17638 |    22493
943.80/944.05	c  940s |      17 |   333174 |   262232 |   344800      0 |    17638 |    22493
945.81/946.05	c  942s |      17 |   333782 |   262732 |   344800      0 |    17638 |    22493
947.80/948.06	c  944s |      17 |   334360 |   263232 |   344800      0 |    17638 |    22493
950.00/950.25	c  946s |      17 |   334922 |   263732 |   344800      0 |    17638 |    22493
952.10/952.38	c  948s |      17 |   335487 |   264232 |   344800      0 |    17638 |    22493
954.40/954.69	c  951s |      17 |   336173 |   264832 |   344800      0 |    17638 |    22493
956.49/956.79	c  953s |      17 |   337009 |   265532 |   344800      0 |    17638 |    22493
958.69/958.90	c  955s |      17 |   337702 |   266132 |   344800      0 |    17638 |    22493
960.79/961.05	c  957s |      17 |   338428 |   266732 |   344800      0 |    17638 |    22493
962.89/963.18	c  959s |      17 |   339014 |   267232 |   344800      0 |    17638 |    22493
965.39/965.68	c  962s |      17 |   339609 |   267732 |   344800      0 |    17638 |    22493
967.49/967.73	c  964s |      17 |   340069 |   268132 |   344800      0 |    17638 |    22493
969.69/969.91	c  966s |      17 |   340665 |   268632 |   344800      0 |    17638 |    22493
971.79/972.01	c  968s |      17 |   341251 |   269132 |   344800      0 |    17638 |    22493
973.79/974.04	c  970s |      17 |   341882 |   269632 |   344800      0 |    17638 |    22493
975.88/976.11	c  972s |      17 |   342387 |   270032 |   344800      0 |    17638 |    22493
977.88/978.13	c  974s |      17 |   342858 |   270432 |   344800      0 |    17638 |    22493
979.98/980.25	c  976s |      17 |   343309 |   270832 |   344800      0 |    17638 |    22493
982.38/982.62	c  978s |      17 |   343758 |   271232 |   344800      0 |    17638 |    22493
984.67/984.95	c  981s |      17 |   344375 |   271732 |   344800      0 |    17638 |    22493
987.07/987.34	c  983s |      17 |   344942 |   272232 |   344800      0 |    17638 |    22493
989.37/989.63	c  985s |      17 |   345535 |   272732 |   344800      0 |    17638 |    22493
991.47/991.75	c  988s |      17 |   346138 |   273232 |   344800      0 |    17638 |    22493
993.97/994.23	c  990s |      17 |   346733 |   273732 |   344800      0 |    17638 |    22493
996.16/996.49	c  992s |      17 |   347318 |   274232 |   344800      0 |    17638 |    22493
998.67/998.90	c  995s |      17 |   347924 |   274732 |   344800      0 |    17638 |    22493
1001.06/1001.31	c  997s |      17 |   348514 |   275232 |   344800      0 |    17638 |    22493
1003.46/1003.71	c 1000s |      17 |   349026 |   275632 |   344800      0 |    17638 |    22493
1005.86/1006.17	c 1002s |      17 |   349524 |   276032 |   344800      0 |    17638 |    22493
1008.25/1008.51	c 1004s |      17 |   350037 |   276432 |   344800      0 |    17638 |    22493
1010.85/1011.13	c 1007s |      17 |   350501 |   276832 |   344800      0 |    17638 |    22493
1013.35/1013.62	c 1009s |      17 |   350994 |   277232 |   344800      0 |    17638 |    22493
1015.45/1015.76	c 1012s |      17 |   351522 |   277632 |   344800      0 |    17638 |    22493
1017.95/1018.21	c 1014s |      17 |   352006 |   278032 |   344800      0 |    17638 |    22493
1020.14/1020.47	c 1016s |      17 |   352616 |   278532 |   344800      0 |    17638 |    22493
1022.44/1022.73	c 1019s |      17 |   353245 |   279032 |   344800      0 |    17638 |    22493
1024.74/1025.04	c 1021s |      17 |   353735 |   279432 |   344800      0 |    17638 |    22493
1027.04/1027.31	c 1023s |      17 |   354228 |   279832 |   344800      0 |    17638 |    22493
1029.24/1029.52	c 1025s |      17 |   354674 |   280232 |   344800      0 |    17638 |    22493
1031.24/1031.58	c 1027s |      17 |   355133 |   280632 |   344800      0 |    17638 |    22493
1033.54/1033.81	c 1030s |      17 |   355649 |   281032 |   344800      0 |    17638 |    22493
1035.63/1035.96	c 1032s |      17 |   356141 |   281432 |   344800      0 |    17638 |    22493
1038.03/1038.31	c 1034s |      17 |   356615 |   281832 |   344800      0 |    17638 |    22493
1040.23/1040.54	c 1036s |      17 |   357091 |   282232 |   344800      0 |    17638 |    22493
1042.53/1042.80	c 1039s |      17 |   357563 |   282632 |   344800      0 |    17638 |    22493
1044.62/1044.99	c 1041s |      17 |   358033 |   283032 |   344800      0 |    17638 |    22493
1047.03/1047.39	c 1043s |      17 |   358512 |   283432 |   344800      0 |    17638 |    22493
1049.42/1049.77	c 1046s |      17 |   358967 |   283832 |   344800      0 |    17638 |    22493
1051.62/1051.96	c 1048s |      17 |   359435 |   284232 |   344800      0 |    17638 |    22493
1053.72/1054.07	c 1050s |      17 |   359916 |   284632 |   344800      0 |    17638 |    22493
1056.02/1056.39	c 1052s |      17 |   360380 |   285032 |   344800      0 |    17638 |    22493
1058.22/1058.52	c 1054s |      17 |   360879 |   285432 |   344800      0 |    17638 |    22493
1060.32/1060.62	c 1056s |      17 |   361354 |   285832 |   344800      0 |    17638 |    22493
1062.62/1062.94	c 1059s |      17 |   361860 |   286232 |   344800      0 |    17638 |    22493
1064.82/1065.19	c 1061s |      17 |   362330 |   286632 |   344800      0 |    17638 |    22493
1067.32/1067.63	c 1064s |      17 |   362761 |   287032 |   344800      0 |    17638 |    22493
1069.52/1069.82	c 1066s |      17 |   363251 |   287432 |   344800      0 |    17638 |    22493
1071.82/1072.11	c 1068s |      17 |   363736 |   287832 |   344800      0 |    17638 |    22493
1074.21/1074.57	c 1070s |      17 |   364202 |   288232 |   344800      0 |    17638 |    22493
1076.91/1077.28	c 1073s |      17 |   364658 |   288632 |   344800      0 |    17638 |    22493
1079.51/1079.89	c 1076s |      17 |   365112 |   289032 |   344800      0 |    17638 |    22493
1082.22/1082.55	c 1078s |      17 |   365566 |   289432 |   344800      0 |    17638 |    22493
1084.81/1085.18	c 1081s |      17 |   366028 |   289832 |   344800      0 |    17638 |    22493
1087.11/1087.40	c 1083s |      17 |   366358 |   290132 |   344800      0 |    17638 |    22493
1089.61/1089.92	c 1086s |      17 |   366804 |   290532 |   344800      0 |    17638 |    22493
1091.81/1092.14	c 1088s |      17 |   367331 |   290932 |   344800      0 |    17638 |    22493
1094.10/1094.46	c 1090s |      17 |   367978 |   291432 |   344800      0 |    17638 |    22493
1096.21/1096.51	c 1092s |      17 |   368621 |   291932 |   344800      0 |    17638 |    22493
1098.41/1098.74	c 1095s |      17 |   369281 |   292432 |   344800      0 |    17638 |    22493
1100.71/1101.09	c 1097s |      17 |   369930 |   292932 |   344800      0 |    17638 |    22493
1102.91/1103.30	c 1099s |      17 |   370557 |   293432 |   344800      0 |    17638 |    22493
1105.31/1105.63	c 1102s |      17 |   371165 |   293932 |   344800      0 |    17638 |    22493
1107.30/1107.66	c 1104s |      17 |   371633 |   294332 |   379281      0 |    17638 |    22493
1109.61/1109.92	c 1106s |      17 |   372271 |   294832 |   379281      0 |    17638 |    22493
1111.91/1112.23	c 1108s |      17 |   372862 |   295332 |   379281      0 |    17638 |    22493
1114.01/1114.33	c 1110s |      17 |   373323 |   295732 |   379281      0 |    17638 |    22493
1116.30/1116.67	c 1113s |      17 |   373974 |   296232 |   379281      0 |    17638 |    22493
1116.40/1116.76	c 1113s |      18 |   373998 |   296252 |   379281      0 |    17638 |    22493
1118.50/1118.84	c 1115s |      18 |   374475 |   296452 |   379281      0 |    17638 |    22493
1120.60/1120.94	c 1117s |      18 |   375478 |   297152 |   379281      0 |    17638 |    22493
1122.90/1123.21	c 1119s |      18 |   376336 |   297852 |   379281      0 |    17638 |    22493
1124.89/1125.27	c 1121s |      18 |   377204 |   298552 |   379281      0 |    17638 |    22493
1126.99/1127.39	c 1123s |      18 |   378084 |   299252 |   379281      0 |    17638 |    22493
1129.19/1129.58	c 1125s |      18 |   379084 |   300052 |   379281      0 |    17638 |    22493
1131.29/1131.68	c 1128s |      18 |   380096 |   300852 |   379281      0 |    17638 |    22493
1133.59/1133.92	c 1130s |      18 |   381037 |   301552 |   379281      0 |    17638 |    22493
1135.88/1136.29	c 1132s |      18 |   381792 |   302152 |   379281      0 |    17638 |    22493
1137.98/1138.39	c 1134s |      18 |   382569 |   302752 |   379281      0 |    17638 |    22493
1140.08/1140.41	c 1136s |      18 |   383344 |   303352 |   379281      0 |    17638 |    22493
1142.28/1142.66	c 1139s |      18 |   384173 |   304052 |   379281      0 |    17638 |    22493
1144.38/1144.75	c 1141s |      18 |   384961 |   304652 |   379281      0 |    17638 |    22493
1146.68/1147.04	c 1143s |      18 |   385667 |   305252 |   379281      0 |    17638 |    22493
1148.88/1149.21	c 1145s |      18 |   386299 |   305752 |   379281      0 |    17638 |    22493
1151.08/1151.48	c 1147s |      18 |   386897 |   306252 |   379281      0 |    17638 |    22493
1153.48/1153.89	c 1150s |      18 |   387503 |   306752 |   379281      0 |    17638 |    22493
1155.78/1156.20	c 1152s |      18 |   388144 |   307252 |   379281      0 |    17638 |    22493
1157.87/1158.29	c 1154s |      18 |   388784 |   307752 |   379281      0 |    17638 |    22493
1159.97/1160.33	c 1156s |      18 |   389404 |   308252 |   379281      0 |    17638 |    22493
1162.38/1162.72	c 1159s |      18 |   390008 |   308752 |   379281      0 |    17638 |    22493
1164.87/1165.22	c 1161s |      18 |   390616 |   309252 |   379281      0 |    17638 |    22493
1167.07/1167.41	c 1163s |      18 |   391239 |   309752 |   379281      0 |    17638 |    22493
1169.27/1169.60	c 1165s |      18 |   391822 |   310252 |   379281      0 |    17638 |    22493
1171.47/1171.89	c 1168s |      18 |   392494 |   310752 |   379281      0 |    17638 |    22493
1173.57/1173.90	c 1170s |      18 |   393097 |   311252 |   379281      0 |    17638 |    22493
1175.57/1175.93	c 1172s |      18 |   393700 |   311752 |   379281      0 |    17638 |    22493
1177.66/1178.03	c 1174s |      18 |   394164 |   312152 |   379281      0 |    17638 |    22493
1179.66/1180.07	c 1176s |      18 |   394758 |   312652 |   379281      0 |    17638 |    22493
1182.16/1182.54	c 1178s |      18 |   395440 |   313252 |   379281      0 |    17638 |    22493
1184.65/1185.01	c 1181s |      18 |   396097 |   313752 |   379281      0 |    17638 |    22493
1186.75/1187.12	c 1183s |      18 |   396685 |   314252 |   379281      0 |    17638 |    22493
1188.86/1189.29	c 1185s |      18 |   397273 |   314752 |   379281      0 |    17638 |    22493
1191.25/1191.67	c 1188s |      18 |   397878 |   315252 |   379281      0 |    17638 |    22493
1193.75/1194.18	c 1190s |      18 |   398487 |   315752 |   379281      0 |    17638 |    22493
1195.95/1196.30	c 1192s |      18 |   398972 |   316152 |   379281      0 |    17638 |    22493
1197.95/1198.32	c 1194s |      18 |   399462 |   316552 |   379281      0 |    17638 |    22493
1200.05/1200.49	c 1196s |      18 |   400354 |   317152 |   379281      0 |    17638 |    22493
1202.35/1202.78	c 1199s |      18 |   400823 |   317552 |   379281      0 |    17638 |    22493
1204.55/1204.90	c 1201s |      18 |   401322 |   317952 |   379281      0 |    17638 |    22493
1206.74/1207.15	c 1203s |      18 |   401828 |   318352 |   379281      0 |    17638 |    22493
1209.04/1209.48	c 1205s |      18 |   402265 |   318752 |   379281      0 |    17638 |    22493
1211.64/1212.03	c 1208s |      18 |   402773 |   319152 |   379281      0 |    17638 |    22493
1213.74/1214.18	c 1210s |      18 |   403265 |   319552 |   379281      0 |    17638 |    22493
1216.03/1216.40	c 1212s |      18 |   403743 |   319952 |   379281      0 |    17638 |    22493
1218.33/1218.76	c 1215s |      18 |   404206 |   320352 |   379281      0 |    17638 |    22493
1220.93/1221.36	c 1217s |      18 |   404675 |   320752 |   379281      0 |    17638 |    22493
1223.33/1223.77	c 1220s |      18 |   405157 |   321152 |   379281      0 |    17638 |    22493
1225.63/1226.02	c 1222s |      18 |   405813 |   321652 |   379281      0 |    17638 |    22493
1227.63/1228.03	c 1224s |      18 |   406576 |   322152 |   379281      0 |    17638 |    22493
1229.73/1230.10	c 1226s |      18 |   407258 |   322652 |   379281      0 |    17638 |    22493
1232.13/1232.59	c 1228s |      18 |   407885 |   323152 |   379281      0 |    17638 |    22493
1234.53/1234.95	c 1231s |      18 |   408600 |   323752 |   379281      0 |    17638 |    22493
1236.83/1237.22	c 1233s |      18 |   409384 |   324352 |   379281      0 |    17638 |    22493
1239.12/1239.52	c 1235s |      18 |   410117 |   324952 |   379281      0 |    17638 |    22493
1241.22/1241.62	c 1237s |      18 |   410713 |   325452 |   379281      0 |    17638 |    22493
1243.32/1243.79	c 1240s |      18 |   411464 |   326052 |   379281      0 |    17638 |    22493
1245.52/1245.98	c 1242s |      18 |   412174 |   326652 |   379281      0 |    17638 |    22493
1247.82/1248.23	c 1244s |      18 |   412915 |   327252 |   379281      0 |    17638 |    22493
1250.12/1250.58	c 1246s |      18 |   413648 |   327852 |   379281      0 |    17638 |    22493
1252.22/1252.68	c 1249s |      18 |   414274 |   328352 |   379281      0 |    17638 |    22493
1254.52/1254.99	c 1251s |      18 |   414988 |   328952 |   379281      0 |    17638 |    22493
1256.61/1257.06	c 1253s |      18 |   415613 |   329452 |   379281      0 |    17638 |    22493
1259.01/1259.47	c 1255s |      18 |   416348 |   330052 |   379281      0 |    17638 |    22493
1261.11/1261.56	c 1257s |      18 |   416949 |   330552 |   379281      0 |    17638 |    22493
1263.31/1263.77	c 1260s |      18 |   417407 |   330952 |   379281      0 |    17638 |    22493
1265.31/1265.77	c 1262s |      18 |   417854 |   331352 |   379281      0 |    17638 |    22493
1267.61/1268.04	c 1264s |      18 |   418458 |   331852 |   379281      0 |    17638 |    22493
1269.61/1270.07	c 1266s |      18 |   419063 |   332352 |   379281      0 |    17638 |    22493
1271.91/1272.36	c 1268s |      18 |   419665 |   332852 |   379281      0 |    17638 |    22493
1274.11/1274.52	c 1270s |      18 |   420265 |   333352 |   379281      0 |    17638 |    22493
1276.30/1276.73	c 1273s |      18 |   420856 |   333852 |   379281      0 |    17638 |    22493
1278.50/1278.97	c 1275s |      18 |   421499 |   334352 |   379281      0 |    17638 |    22493
1280.70/1281.12	c 1277s |      18 |   422148 |   334852 |   379281      0 |    17638 |    22493
1283.00/1283.41	c 1279s |      18 |   422941 |   335452 |   379281      0 |    17638 |    22493
1285.10/1285.50	c 1281s |      18 |   423533 |   335952 |   379281      0 |    17638 |    22493
1287.40/1287.87	c 1284s |      18 |   424178 |   336452 |   379281      0 |    17638 |    22493
1289.49/1289.98	c 1286s |      18 |   424783 |   336952 |   379281      0 |    17638 |    22493
1292.10/1292.52	c 1288s |      18 |   425389 |   337452 |   379281      0 |    17638 |    22493
1294.30/1294.75	c 1291s |      18 |   426183 |   338052 |   379281      0 |    17638 |    22493
1296.39/1296.86	c 1293s |      18 |   426673 |   338452 |   379281      0 |    17638 |    22493
1298.80/1299.25	c 1295s |      18 |   427275 |   338952 |   379281      0 |    17638 |    22493
1301.09/1301.53	c 1297s |      18 |   427723 |   339352 |   379281      0 |    17638 |    22493
1303.39/1303.82	c 1300s |      18 |   428215 |   339752 |   379281      0 |    17638 |    22493
1305.39/1305.85	c 1302s |      18 |   428692 |   340152 |   379281      0 |    17638 |    22493
1307.79/1308.26	c 1304s |      18 |   429306 |   340652 |   379281      0 |    17638 |    22493
1310.39/1310.88	c 1307s |      18 |   429932 |   341152 |   379281      0 |    17638 |    22493
1312.49/1312.96	c 1309s |      18 |   430516 |   341652 |   379281      0 |    17638 |    22493
1314.59/1315.01	c 1311s |      18 |   431140 |   342152 |   379281      0 |    17638 |    22493
1316.68/1317.13	c 1313s |      18 |   431628 |   342552 |   379281      0 |    17638 |    22493
1318.78/1319.21	c 1315s |      18 |   432082 |   342952 |   379281      0 |    17638 |    22493
1321.18/1321.62	c 1317s |      18 |   432668 |   343452 |   379281      0 |    17638 |    22493
1323.18/1323.68	c 1320s |      18 |   433282 |   343952 |   379281      0 |    17638 |    22493
1325.37/1325.86	c 1322s |      18 |   433902 |   344452 |   379281      0 |    17638 |    22493
1327.97/1328.45	c 1324s |      18 |   434517 |   344952 |   379281      0 |    17638 |    22493
1330.27/1330.71	c 1327s |      18 |   435013 |   345352 |   379281      0 |    17638 |    22493
1332.37/1332.86	c 1329s |      18 |   435494 |   345752 |   379281      0 |    17638 |    22493
1334.47/1334.95	c 1331s |      18 |   436037 |   346152 |   379281      0 |    17638 |    22493
1336.67/1337.18	c 1333s |      18 |   436582 |   346552 |   379281      0 |    17638 |    22493
1338.97/1339.45	c 1335s |      18 |   437099 |   346952 |   379281      0 |    17638 |    22493
1341.17/1341.69	c 1338s |      18 |   437581 |   347352 |   379281      0 |    17638 |    22493
1343.57/1344.06	c 1340s |      18 |   438195 |   347852 |   379281      0 |    17638 |    22493
1346.07/1346.54	c 1342s |      18 |   438684 |   348252 |   379281      0 |    17638 |    22493
1348.36/1348.89	c 1345s |      18 |   439409 |   348752 |   379281      0 |    17638 |    22493
1350.37/1350.89	c 1347s |      18 |   439974 |   349152 |   379281      0 |    17638 |    22493
1352.86/1353.32	c 1349s |      18 |   440680 |   349652 |   379281      0 |    17638 |    22493
1355.16/1355.62	c 1351s |      18 |   441181 |   350052 |   379281      0 |    17638 |    22493
1357.25/1357.71	c 1354s |      18 |   441667 |   350452 |   379281      0 |    17638 |    22493
1359.55/1360.06	c 1356s |      18 |   442271 |   350952 |   379281      0 |    17638 |    22493
1361.75/1362.27	c 1358s |      18 |   442803 |   351352 |   379281      0 |    17638 |    22493
1364.15/1364.60	c 1360s |      18 |   443284 |   351752 |   379281      0 |    17638 |    22493
1366.65/1367.16	c 1363s |      18 |   443743 |   352152 |   379281      0 |    17638 |    22493
1368.95/1369.40	c 1365s |      18 |   444246 |   352552 |   379281      0 |    17638 |    22493
1371.26/1371.75	c 1368s |      18 |   444778 |   352952 |   379281      0 |    17638 |    22493
1373.46/1373.93	c 1370s |      18 |   445339 |   353352 |   379281      0 |    17638 |    22493
1375.54/1376.10	c 1372s |      18 |   445805 |   353752 |   379281      0 |    17638 |    22493
1377.85/1378.36	c 1374s |      18 |   446288 |   354152 |   379281      0 |    17638 |    22493
1380.15/1380.62	c 1376s |      18 |   446787 |   354552 |   379281      0 |    17638 |    22493
1382.35/1382.89	c 1379s |      18 |   447293 |   354952 |   379281      0 |    17638 |    22493
1384.84/1385.31	c 1381s |      18 |   447789 |   355352 |   379281      0 |    17638 |    22493
1387.24/1387.73	c 1384s |      18 |   448267 |   355752 |   379281      0 |    17638 |    22493
1389.54/1390.08	c 1386s |      18 |   448796 |   356152 |   379281      0 |    17638 |    22493
1391.74/1392.21	c 1388s |      18 |   449279 |   356552 |   379281      0 |    17638 |    22493
1394.14/1394.67	c 1391s |      18 |   449943 |   357052 |   379281      0 |    17638 |    22493
1396.33/1396.81	c 1393s |      18 |   450445 |   357452 |   379281      0 |    17638 |    22493
1398.63/1399.16	c 1395s |      18 |   451078 |   357952 |   379281      0 |    17638 |    22493
1400.94/1401.47	c 1397s |      18 |   451561 |   358352 |   379281      0 |    17638 |    22493
1403.53/1404.03	c 1400s |      18 |   452043 |   358752 |   379281      0 |    17638 |    22493
1405.93/1406.47	c 1402s |      18 |   452516 |   359152 |   379281      0 |    17638 |    22493
1408.03/1408.50	c 1404s |      18 |   452866 |   359452 |   379281      0 |    17638 |    22493
1410.33/1410.82	c 1407s |      18 |   453374 |   359852 |   379281      0 |    17638 |    22493
1412.93/1413.42	c 1409s |      18 |   453864 |   360252 |   379281      0 |    17638 |    22493
1414.93/1415.46	c 1411s |      18 |   454257 |   360552 |   379281      0 |    17638 |    22493
1416.93/1417.48	c 1413s |      18 |   454595 |   360852 |   379281      0 |    17638 |    22493
1419.13/1419.65	c 1416s |      18 |   454957 |   361152 |   379281      0 |    17638 |    22493
1421.33/1421.84	c 1418s |      18 |   455324 |   361452 |   379281      0 |    17638 |    22493
1423.43/1423.97	c 1420s |      18 |   455682 |   361752 |   379281      0 |    17638 |    22493
1427.52/1428.03	c 1424s |      18 |   456095 |   362052 |   379281      0 |    17654 |    22553
1429.82/1430.36	c 1426s |      18 |   456570 |   362452 |   379281      0 |    17654 |    22553
1432.02/1432.55	c 1428s |      18 |   457044 |   362852 |   379281      0 |    17654 |    22553
1434.12/1434.62	c 1430s |      18 |   457513 |   363252 |   379281      0 |    17654 |    22553
1436.41/1436.93	c 1433s |      18 |   458150 |   363752 |   379281      0 |    17654 |    22553
1438.71/1439.21	c 1435s |      18 |   458989 |   364452 |   379281      0 |    17654 |    22553
1441.01/1441.55	c 1437s |      18 |   459755 |   365052 |   379281      0 |    17654 |    22553
1443.31/1443.80	c 1440s |      18 |   460393 |   365552 |   379281      0 |    17654 |    22553
1445.31/1445.84	c 1442s |      18 |   460983 |   366052 |   379281      0 |    17654 |    22553
1447.32/1447.84	c 1444s |      18 |   461576 |   366552 |   379281      0 |    17654 |    22553
1449.51/1450.05	c 1446s |      18 |   462188 |   367052 |   379281      0 |    17654 |    22553
1452.11/1452.61	c 1448s |      18 |   462769 |   367552 |   379281      0 |    17654 |    22553
1454.51/1455.05	c 1451s |      18 |   463372 |   368052 |   379281      0 |    17654 |    22553
1456.91/1457.42	c 1453s |      18 |   463966 |   368552 |   379281      0 |    17654 |    22553
1459.32/1459.90	c 1456s |      18 |   464545 |   369052 |   379281      0 |    17654 |    22553
1461.81/1462.32	c 1458s |      18 |   465149 |   369552 |   379281      0 |    17654 |    22553
1463.91/1464.44	c 1460s |      18 |   465588 |   369952 |   379281      0 |    17654 |    22553
1466.10/1466.61	c 1462s |      18 |   466161 |   370452 |   379281      0 |    17654 |    22553
1468.40/1468.90	c 1465s |      18 |   466787 |   370952 |   379281      0 |    17654 |    22553
1470.50/1471.05	c 1467s |      18 |   467391 |   371452 |   379281      0 |    17654 |    22553
1472.60/1473.14	c 1469s |      18 |   468011 |   371952 |   379281      0 |    17654 |    22553
1474.70/1475.27	c 1471s |      18 |   468476 |   372352 |   379281      0 |    17654 |    22553
1476.80/1477.39	c 1473s |      18 |   469125 |   372852 |   379281      0 |    17654 |    22553
1479.00/1479.53	c 1475s |      18 |   469730 |   373352 |   379281      0 |    17654 |    22553
1481.20/1481.72	c 1478s |      18 |   470303 |   373852 |   379281      0 |    17654 |    22553
1483.60/1484.16	c 1480s |      18 |   470884 |   374352 |   379281      0 |    17654 |    22553
1485.60/1486.17	c 1482s |      18 |   471381 |   374752 |   379281      0 |    17654 |    22553
1487.90/1488.41	c 1484s |      18 |   472002 |   375252 |   379281      0 |    17654 |    22553
1490.39/1490.90	c 1487s |      18 |   472598 |   375752 |   379281      0 |    17654 |    22553
1492.69/1493.22	c 1489s |      18 |   473181 |   376252 |   379281      0 |    17654 |    22553
1495.19/1495.78	c 1492s |      18 |   473794 |   376752 |   379281      0 |    17654 |    22553
1497.59/1498.16	c 1494s |      18 |   474360 |   377252 |   379281      0 |    17654 |    22553
1499.89/1500.48	c 1496s |      18 |   474967 |   377752 |   379281      0 |    17654 |    22553
1502.09/1502.66	c 1499s |      18 |   475579 |   378252 |   379281      0 |    17654 |    22553
1504.18/1504.79	c 1501s |      18 |   476027 |   378652 |   379281      0 |    17654 |    22553
1506.68/1507.23	c 1503s |      18 |   476622 |   379152 |   379281      0 |    17654 |    22553
1509.08/1509.62	c 1505s |      18 |   477210 |   379652 |   379281      0 |    17654 |    22553
1511.48/1512.00	c 1508s |      18 |   477780 |   380152 |   379281      0 |    17654 |    22553
1513.48/1514.03	c 1510s |      18 |   478247 |   380552 |   379281      0 |    17654 |    22553
1515.78/1516.32	c 1512s |      18 |   478712 |   380952 |   379281      0 |    17654 |    22553
1517.98/1518.57	c 1514s |      18 |   479270 |   381452 |   379281      0 |    17654 |    22553
1520.18/1520.79	c 1517s |      18 |   479725 |   381852 |   379281      0 |    17654 |    22553
1522.68/1523.25	c 1519s |      18 |   480327 |   382352 |   379281      0 |    17654 |    22553
1524.78/1525.36	c 1521s |      18 |   480783 |   382752 |   379281      0 |    17654 |    22553
1526.98/1527.54	c 1523s |      18 |   481252 |   383152 |   379281      0 |    17654 |    22553
1529.28/1529.88	c 1526s |      18 |   481708 |   383552 |   379281      0 |    17654 |    22553
1531.38/1531.96	c 1528s |      18 |   482176 |   383952 |   379281      0 |    17654 |    22553
1533.99/1534.53	c 1530s |      18 |   482783 |   384452 |   379281      0 |    17654 |    22553
1536.38/1536.90	c 1533s |      18 |   483240 |   384852 |   379281      0 |    17654 |    22553
1538.58/1539.10	c 1535s |      18 |   483709 |   385252 |   379281      0 |    17654 |    22553
1540.69/1541.23	c 1537s |      18 |   484173 |   385652 |   379281      0 |    17654 |    22553
1542.68/1543.23	c 1539s |      18 |   484633 |   386052 |   379281      0 |    17654 |    22553
1544.68/1545.28	c 1541s |      18 |   485118 |   386452 |   379281      0 |    17654 |    22553
1546.98/1547.53	c 1543s |      18 |   485584 |   386852 |   379281      0 |    17654 |    22553
1549.18/1549.75	c 1546s |      18 |   486033 |   387252 |   379281      0 |    17654 |    22553
1551.58/1552.17	c 1548s |      18 |   486484 |   387652 |   379281      0 |    17654 |    22553
1553.58/1554.19	c 1550s |      18 |   486943 |   388052 |   379281      0 |    17654 |    22553
1555.88/1556.49	c 1552s |      18 |   487523 |   388552 |   379281      0 |    17654 |    22553
1558.38/1558.98	c 1555s |      18 |   488098 |   389052 |   379281      0 |    17654 |    22553
1560.48/1561.07	c 1557s |      18 |   488531 |   389452 |   379281      0 |    17654 |    22553
1562.58/1563.12	c 1559s |      18 |   488985 |   389852 |   379281      0 |    17654 |    22553
1564.78/1565.39	c 1561s |      18 |   489570 |   390352 |   379281      0 |    17654 |    22553
1566.87/1567.44	c 1563s |      18 |   490036 |   390752 |   379281      0 |    17654 |    22553
1568.97/1569.56	c 1565s |      18 |   490494 |   391152 |   379281      0 |    17654 |    22553
1571.07/1571.68	c 1568s |      18 |   490936 |   391552 |   379281      0 |    17654 |    22553
1573.37/1573.93	c 1570s |      18 |   491402 |   391952 |   379281      0 |    17654 |    22553
1575.67/1576.22	c 1572s |      18 |   491847 |   392352 |   379281      0 |    17654 |    22553
1577.77/1578.38	c 1574s |      18 |   492272 |   392752 |   379281      0 |    17654 |    22553
1580.37/1580.93	c 1577s |      18 |   492860 |   393252 |   379281      0 |    17654 |    22553
1582.67/1583.20	c 1579s |      18 |   493311 |   393652 |   379281      0 |    17654 |    22553
1584.97/1585.55	c 1581s |      18 |   493807 |   394052 |   379281      0 |    17654 |    22553
1587.37/1587.91	c 1584s |      18 |   494313 |   394452 |   379281      0 |    17654 |    22553
1589.87/1590.40	c 1586s |      18 |   494769 |   394852 |   379281      0 |    17654 |    22553
1592.07/1592.65	c 1589s |      18 |   495243 |   395252 |   379281      0 |    17654 |    22553
1594.67/1595.23	c 1591s |      18 |   495715 |   395652 |   379281      0 |    17654 |    22553
1596.97/1597.58	c 1593s |      18 |   496186 |   396052 |   379281      0 |    17654 |    22553
1599.07/1599.60	c 1595s |      18 |   496529 |   396352 |   379281      0 |    17654 |    22553
1601.17/1601.73	c 1598s |      18 |   496981 |   396752 |   379281      0 |    17654 |    22553
1603.77/1604.37	c 1600s |      18 |   497438 |   397152 |   379281      0 |    17654 |    22553
1606.47/1607.02	c 1603s |      18 |   497891 |   397552 |   379281      0 |    17654 |    22553
1608.47/1609.03	c 1605s |      18 |   498252 |   397852 |   379281      0 |    17654 |    22553
1611.17/1611.75	c 1608s |      18 |   498706 |   398252 |   379281      0 |    17654 |    22553
1613.77/1614.35	c 1610s |      18 |   499157 |   398652 |   379281      0 |    17654 |    22553
1616.17/1616.75	c 1613s |      18 |   499626 |   399052 |   379281      0 |    17654 |    22553
1618.37/1618.91	c 1615s |      18 |   500001 |   399352 |   379281      0 |    17654 |    22553
1620.66/1621.24	c 1617s |      18 |   500443 |   399752 |   379281      0 |    17654 |    22553
1623.17/1623.79	c 1620s |      18 |   500915 |   400152 |   379281      0 |    17654 |    22553
1625.46/1626.06	c 1622s |      18 |   501369 |   400552 |   379281      0 |    17654 |    22553
1627.57/1628.11	c 1624s |      18 |   501712 |   400852 |   379281      0 |    17654 |    22553
1629.96/1630.56	c 1626s |      18 |   502187 |   401252 |   379281      0 |    17654 |    22553
1632.66/1633.28	c 1629s |      18 |   502644 |   401652 |   379281      0 |    17654 |    22553
1635.17/1635.80	c 1632s |      18 |   503098 |   402052 |   379281      0 |    17654 |    22553
1637.66/1638.26	c 1634s |      18 |   503543 |   402452 |   379281      0 |    17654 |    22553
1640.06/1640.60	c 1636s |      18 |   504005 |   402852 |   379281      0 |    17654 |    22553
1642.06/1642.62	c 1638s |      18 |   504473 |   403252 |   379281      0 |    17654 |    22553
1644.16/1644.76	c 1641s |      18 |   504821 |   403552 |   379281      0 |    17654 |    22553
1646.76/1647.31	c 1643s |      18 |   505336 |   403952 |   379281      0 |    17654 |    22553
1649.26/1649.89	c 1646s |      18 |   505797 |   404352 |   379281      0 |    17654 |    22553
1651.56/1652.13	c 1648s |      18 |   506114 |   404652 |   379281      0 |    17654 |    22553
1654.06/1654.64	c 1651s |      18 |   506574 |   405052 |   379281      0 |    17654 |    22553
1656.56/1657.12	c 1653s |      18 |   507034 |   405452 |   379281      0 |    17654 |    22553
1658.56/1659.19	c 1655s |      18 |   507385 |   405752 |   379281      0 |    17654 |    22553
1660.96/1661.51	c 1657s |      18 |   507742 |   406052 |   379281      0 |    17654 |    22553
1663.26/1663.87	c 1660s |      18 |   508076 |   406352 |   379281      0 |    17654 |    22553
1666.06/1666.63	c 1663s |      18 |   508418 |   406652 |   379281      0 |    17654 |    22553
1668.66/1669.26	c 1665s |      18 |   508751 |   406952 |   379281      0 |    17654 |    22553
1671.06/1671.61	c 1667s |      18 |   509097 |   407252 |   379281      0 |    17654 |    22553
1673.46/1674.02	c 1670s |      18 |   509446 |   407552 |   379281      0 |    17654 |    22553
1675.96/1676.58	c 1672s |      18 |   509904 |   407952 |   379281      0 |    17654 |    22553
1678.66/1679.20	c 1675s |      18 |   510347 |   408352 |   379281      0 |    17654 |    22553
1681.16/1681.78	c 1678s |      18 |   510680 |   408652 |   379281      0 |    17654 |    22553
1683.46/1684.01	c 1680s |      18 |   511010 |   408952 |   379281      0 |    17654 |    22553
1685.55/1686.14	c 1682s |      18 |   511367 |   409252 |   379281      0 |    17654 |    22553
1687.65/1688.26	c 1684s |      18 |   511857 |   409652 |   379281      0 |    17654 |    22553
1689.75/1690.36	c 1686s |      18 |   512341 |   410052 |   379281      0 |    17654 |    22553
1692.36/1692.96	c 1689s |      18 |   512837 |   410452 |   379281      0 |    17654 |    22553
1695.05/1695.60	c 1691s |      18 |   513315 |   410852 |   379281      0 |    17654 |    22553
1697.15/1697.72	c 1694s |      18 |   513665 |   411152 |   379281      0 |    17654 |    22553
1699.55/1700.10	c 1696s |      18 |   514022 |   411452 |   379281      0 |    17654 |    22553
1701.55/1702.17	c 1698s |      18 |   514522 |   411852 |   379281      0 |    17654 |    22553
1703.85/1704.48	c 1700s |      18 |   514991 |   412252 |   379281      0 |    17654 |    22553
1708.75/1709.36	c 1705s |      18 |   515222 |   412452 |   379281      1 |    17654 |    22553
1711.15/1711.75	c 1708s |      18 |   515686 |   412852 |   379281      1 |    17654 |    22553
1713.55/1714.17	c 1710s |      18 |   516151 |   413252 |   379281      1 |    17654 |    22553
1715.85/1716.46	c 1712s |      18 |   516621 |   413652 |   379281      1 |    17654 |    22553
1718.05/1718.62	c 1714s |      18 |   517128 |   414052 |   379281      1 |    17654 |    22553
1720.05/1720.69	c 1717s |      18 |   517617 |   414452 |   379281      1 |    17654 |    22553
1722.55/1723.14	c 1719s |      18 |   518091 |   414852 |   379281      1 |    17654 |    22553
1724.95/1725.53	c 1721s |      18 |   518591 |   415252 |   379281      1 |    17654 |    22553
1727.05/1727.66	c 1724s |      18 |   519061 |   415652 |   379281      1 |    17654 |    22553
1729.35/1729.96	c 1726s |      18 |   519559 |   416052 |   379281      1 |    17654 |    22553
1731.54/1732.10	c 1728s |      18 |   520059 |   416452 |   379281      1 |    17654 |    22553
1733.64/1734.24	c 1730s |      18 |   520525 |   416852 |   379281      1 |    17654 |    22553
1735.84/1736.49	c 1732s |      18 |   520994 |   417252 |   379281      1 |    17654 |    22553
1738.14/1738.74	c 1735s |      18 |   521487 |   417652 |   379281      1 |    17654 |    22553
1740.54/1741.15	c 1737s |      18 |   521953 |   418052 |   379281      1 |    17654 |    22553
1742.74/1743.31	c 1739s |      18 |   522433 |   418452 |   379281      1 |    17654 |    22553
1745.34/1745.91	c 1742s |      18 |   522894 |   418852 |   379281      1 |    17654 |    22553
1747.45/1748.02	c 1744s |      18 |   523243 |   419152 |   379281      1 |    17654 |    22553
1749.84/1750.48	c 1746s |      18 |   523686 |   419552 |   379281      1 |    17654 |    22553
1751.94/1752.55	c 1748s |      18 |   524021 |   419852 |   379281      1 |    17654 |    22553
1753.95/1754.56	c 1750s |      18 |   524363 |   420152 |   379281      1 |    17654 |    22553
1756.25/1756.86	c 1753s |      18 |   524824 |   420552 |   379281      1 |    17654 |    22553
1758.45/1759.08	c 1755s |      18 |   525279 |   420952 |   379281      1 |    17654 |    22553
1761.04/1761.64	c 1758s |      18 |   525752 |   421352 |   379281      1 |    17654 |    22553
1763.14/1763.71	c 1760s |      18 |   526093 |   421652 |   379281      1 |    17654 |    22553
1765.64/1766.21	c 1762s |      18 |   526563 |   422052 |   379281      1 |    17654 |    22553
1768.04/1768.67	c 1765s |      18 |   527055 |   422452 |   379281      1 |    17654 |    22553
1770.74/1771.30	c 1767s |      18 |   527513 |   422852 |   379281      1 |    17654 |    22553
1773.04/1773.69	c 1770s |      18 |   527969 |   423252 |   379281      1 |    17654 |    22553
1775.44/1776.04	c 1772s |      18 |   528480 |   423652 |   379281      1 |    17654 |    22553
1777.94/1778.55	c 1774s |      18 |   528938 |   424052 |   379281      1 |    17654 |    22553
1780.14/1780.76	c 1777s |      18 |   529440 |   424452 |   379281      1 |    17654 |    22553
1782.34/1782.94	c 1779s |      18 |   529944 |   424852 |   379281      1 |    17654 |    22553
1784.74/1785.36	c 1781s |      18 |   530559 |   425352 |   379281      1 |    17654 |    22553
1786.84/1787.47	c 1783s |      18 |   531026 |   425752 |   379281      1 |    17654 |    22553
1789.34/1789.97	c 1786s |      18 |   531622 |   426252 |   379281      1 |    17654 |    22553
1791.44/1792.03	c 1788s |      18 |   532120 |   426652 |   379281      1 |    17654 |    22553
1793.83/1794.43	c 1790s |      18 |   532572 |   427052 |   379281      1 |    17654 |    22553
1795.93/1796.59	c 1792s |      18 |   532910 |   427352 |   379281      1 |    17654 |    22553
1798.73/1799.31	c 1795s |      18 |   533379 |   427752 |   379281      1 |    17654 |    22553

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 17065
/proc/meminfo: memFree=30003448/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 2851 0 0 0 0 0 0 0 20 0 4 0 31018064 779546624 2700 33554432000 4194304 16246674 140736663880848 140736663880272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 191087 2709 441 2943 0 187981 0
[pid=17065/tid=17066] ppid=17062 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 797372416 2768 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 801566720 2784 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31018064 806809600 2801 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 17065
/proc/meminfo: memFree=30003448/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 28220 0 0 0 5 3 0 0 20 0 4 0 31018064 1333334016 28008 33554432000 4194304 16246674 140736663880848 140736663880160 7379101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 325521 28024 801 2943 0 322415 0
[pid=17065/tid=17066] ppid=17062 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1333334016 28034 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1333334016 28045 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1333334016 28056 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200518 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 17065
/proc/meminfo: memFree=30003448/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 46750 0 0 0 12 6 0 0 20 0 4 0 31018064 1344868352 47048 33554432000 4194304 16246674 140736663880848 140736663880160 7361381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 328337 47048 801 2943 0 325231 0
[pid=17065/tid=17066] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 47048 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 47048 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 47048 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300517 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 17065
/proc/meminfo: memFree=30003448/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 55021 0 0 0 21 7 0 0 20 0 4 0 31018064 1344868352 55319 33554432000 4194304 16246674 140736663880848 140736663880160 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 328337 55319 801 2943 0 325231 0
[pid=17065/tid=17066] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 55319 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 55319 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 55319 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700418 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 17065
/proc/meminfo: memFree=30003448/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 64084 0 0 0 60 9 0 0 20 0 4 0 31018064 1344868352 64382 33554432000 4194304 16246674 140736663880848 140736663880160 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 328337 64382 802 2943 0 325231 0
[pid=17065/tid=17066] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 64382 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 64382 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1344868352 64382 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 17069
/proc/meminfo: memFree=29704976/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1.49 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 97467 0 0 0 135 14 0 0 20 0 4 0 31018064 1365839872 97765 33554432000 4194304 16246674 140736663880848 140736663863840 5740329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 97774 835 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 97780 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 97785 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 97790 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1333828

[startup+3.1004 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 17069
/proc/meminfo: memFree=29124532/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=3.09 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274079 0 0 0 268 41 0 0 20 0 4 0 31018064 1365839872 274377 33554432000 4194304 16246674 140736663880848 140736663862720 13775091 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274377 840 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274377 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274377 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274377 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1333828

[startup+6.30043 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 17069
/proc/meminfo: memFree=28907184/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=6.29 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274134 0 0 0 588 41 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140736663862720 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274432 891 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1333828

[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 17069
/proc/meminfo: memFree=28907660/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=12.68 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274134 0 0 0 1227 41 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140736663862720 5662768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274432 891 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274432 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1333828

[startup+25.5005 s]
/proc/loadavg: 2.09 2.07 2.06 3/183 17069
/proc/meminfo: memFree=28906272/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=25.48 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274135 0 0 0 2507 41 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140736663862720 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274433 891 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1333828

[startup+51.1005 s]
/proc/loadavg: 2.06 2.06 2.06 3/183 17069
/proc/meminfo: memFree=28906372/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=51.09 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274135 0 0 0 5067 42 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140736663862720 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274433 891 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274433 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1333828

[startup+102.301 s]
/proc/loadavg: 2.08 2.06 2.06 3/183 17070
/proc/meminfo: memFree=28907928/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=102.28 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274137 0 0 0 10186 42 0 0 20 0 4 0 31018064 1365839872 274435 33554432000 4194304 16246674 140736663880848 140736663862720 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274435 891 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274435 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274435 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274435 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1333828


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

/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.16 2.11 2.06 3/183 17221
/proc/meminfo: memFree=28903164/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1301.89 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274458 0 0 0 130144 45 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5829917 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/183 17222
/proc/meminfo: memFree=28903080/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1361.85 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274503 0 0 0 136140 45 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.07 2.10 2.06 3/183 17223
/proc/meminfo: memFree=28903264/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1421.83 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274531 0 0 0 142138 45 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 6021616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.10 2.09 2.06 4/183 17224
/proc/meminfo: memFree=28902812/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1481.8 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274574 0 0 0 148134 46 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5677164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.09 2.09 2.06 3/183 17226
/proc/meminfo: memFree=28903000/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1541.79 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274587 0 0 0 154133 46 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.28 2.13 2.07 3/183 17227
/proc/meminfo: memFree=28902900/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1601.77 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274587 0 0 0 160131 46 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.18 2.14 2.08 3/183 17228
/proc/meminfo: memFree=28902804/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1333828 CPUtime=1661.76 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 274587 0 0 0 166130 46 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140736663862720 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333457 274694 892 2943 0 330351 0
[pid=17065/tid=17066] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1365839872 274694 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.18 2.14 2.08 3/184 17232
/proc/meminfo: memFree=28900296/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1335876 CPUtime=1721.75 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 275100 0 0 0 172129 46 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140736663862720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333969 275207 893 2943 0 330863 0
[pid=17065/tid=17066] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.24 2.16 2.09 3/183 17233
/proc/meminfo: memFree=28900632/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1335876 CPUtime=1781.74 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 275100 0 0 0 178128 46 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140736663862720 5661440 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333969 275207 893 2943 0 330863 0
[pid=17065/tid=17066] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.17 2.10 3/183 17234
/proc/meminfo: memFree=28900596/32872528 swapFree=681964/737152
[pid=17065] ppid=17062 vsize=1335876 CPUtime=1800.03 cores=1,3,5,7
/proc/17065/stat : 17065 (toysat) R 17062 17065 13233 0 -1 4202496 275100 0 0 0 179957 46 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140736663862720 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17065/statm: 333969 275207 893 2943 0 330863 0
[pid=17065/tid=17066] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17066/stat : 17066 (toysat) S 17062 17065 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351644871920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17065/tid=17067] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17067/stat : 17067 (toysat) S 17062 17065 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351634382064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17065/tid=17068] ppid=17062 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/17065/task/17068/stat : 17068 (toysat) S 17062 17065 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31018064 1367937024 275207 33554432000 4194304 16246674 140736663880848 140351623908528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1335876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.58
CPU system time (s): 0.467928
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.467928
maximum resident set size= 1100828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275100
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= 473
involuntary context switches= 2058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36334 second user time and 7.27989 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-19 00:41:28
IDJOB=4107929
IDBENCH=74232
IDSOLVER=2542
FILE ID=node112/4107929-1466289688
RUNJOBID= node112-1466264161-13250
PBS_JOBID= 19918218
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107929-1466289688/watcher-4107929-1466289688 -o /tmp/evaluation-result-4107929-1466289688/solver-4107929-1466289688 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107929-1466289688.opb

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

MD5SUM BENCH= b4d4215a44d43278004dfcd0ea549fa8
RANDOM SEED=1548555265

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30003456 kB
Buffers:           89436 kB
Cached:           189604 kB
SwapCached:         2028 kB
Active:          1222864 kB
Inactive:         169564 kB
Active(anon):    1113624 kB
Inactive(anon):     2096 kB
Active(file):     109240 kB
Inactive(file):   167468 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             22884 kB
Writeback:             0 kB
AnonPages:       1853768 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             603740 kB
SReclaimable:      47032 kB
SUnreclaim:       556708 kB
KernelStack:        1520 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1996072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 71668 MiB
End job on node112 at 2016-06-19 01:11:29