Trace number 4308359

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)372860365 2520.07 2492.13

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark82.1309
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 509320245
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
37.15/23.53	c Parsing done, starting search...
945.35/922.94	o 375159071
945.35/922.95	o 375159067
945.35/922.96	o 375159065
945.35/922.97	o 375140965
945.35/922.98	o 375140957
945.35/922.99	o 375140953
945.35/923.00	o 375122862
945.61/923.02	o 375104784
945.61/923.03	o 375104778
945.61/923.03	o 375104775
945.61/923.04	o 375104771
945.61/923.05	o 375104762
945.61/923.06	o 375086662
945.61/923.07	o 375086661
945.61/923.07	o 375086653
945.61/923.08	o 375068562
945.61/923.09	o 375050472
945.61/923.10	o 375050466
945.61/923.10	o 375050462
945.83/923.11	o 375032362
945.83/923.12	o 375032354
945.83/923.13	o 375032350
945.83/923.15	o 375014267
945.83/923.15	o 375014261
945.83/923.16	o 375014257
945.83/923.17	o 375014250
945.83/923.18	o 374996154
945.83/923.19	o 374996150
945.95/923.21	o 374996149
945.95/923.22	o 374996141
945.95/923.23	o 374996138
945.95/923.23	o 374996134
945.95/923.25	o 374996132
945.95/923.26	o 374978041
945.95/923.27	o 374978034
945.95/923.29	o 374978032
946.05/923.30	o 374959945
946.05/923.31	o 374959943
946.05/923.32	o 374959939
946.05/923.33	o 374959936
946.05/923.33	o 374959932
946.05/923.35	o 374941859
946.05/923.35	o 374941855
946.05/923.36	o 374941853
946.05/923.37	o 374941846
946.05/923.38	o 374923754
946.05/923.38	o 374923746
946.05/923.39	o 374923742
946.15/923.41	o 374905649
946.15/923.43	o 374905648
946.15/923.43	o 374905646
946.15/923.44	o 374905642
946.15/923.49	o 374887570
946.25/923.50	o 374887563
946.25/923.50	o 374887555
946.25/923.51	o 374887553
946.25/923.52	o 374887552
946.25/923.53	o 374869470
946.25/923.54	o 374869464
946.25/923.54	o 374869456
946.25/923.56	o 374869452
946.25/923.59	o 374869443
946.35/923.60	o 374851352
946.35/923.62	o 374851351
946.35/923.62	o 374851347
946.35/923.63	o 374833256
946.35/923.66	o 374833252
946.35/923.67	o 374833251
946.35/923.67	o 374833247
946.35/923.68	o 374815157
946.35/923.69	o 374815156
946.45/923.71	o 374815152
946.45/923.72	o 374815150
946.45/923.73	o 374815146
946.55/923.82	o 374797064
946.55/923.82	o 374797054
946.55/923.83	o 374797046
946.65/923.96	o 374797042
946.65/923.98	o 374797041
946.65/923.98	o 374797037
946.65/923.99	o 374778947
946.65/924.00	o 374778946
946.76/924.05	o 374778943
946.76/924.06	o 374760853
946.76/924.06	o 374760852
946.76/924.10	o 374760851
946.76/924.10	o 374760850
946.86/924.11	o 374760846
946.86/924.14	o 374760842
946.86/924.15	o 374760841
946.86/924.16	o 374760837
946.86/924.16	o 374742747
946.86/924.17	o 374742746
946.95/924.23	o 374742742
946.95/924.26	o 374742741
946.95/924.27	o 374724651
946.95/924.28	o 374724650
946.95/924.30	o 374724646
947.05/924.37	o 374724644
947.05/924.38	o 374724640
947.15/924.46	o 374706555
947.15/924.47	o 374706547
947.15/924.48	o 374706540
948.77/926.05	o 374688478
948.77/926.06	o 374688472
948.77/926.06	o 374688464
948.77/926.07	o 374688454
948.77/926.08	o 374688453
948.77/926.09	o 374688444
948.87/926.11	o 374688441
948.96/926.20	o 374688438
948.96/926.20	o 374688437
949.06/926.31	o 374688435
949.06/926.32	o 374688434
949.06/926.33	o 374670334
949.06/926.37	o 374670332
949.06/926.38	o 374670331
951.17/928.50	o 374652264
951.27/928.50	o 374652262
951.27/928.51	o 374652254
951.27/928.52	o 374652253
951.27/928.53	o 374652249
951.27/928.53	o 374652240
951.27/928.58	o 374652239
951.27/928.59	o 374652234
951.37/928.62	o 374652231
951.37/928.63	o 374652229
951.37/928.63	o 374634139
951.37/928.65	o 374634138
951.37/928.70	o 374634135
951.47/928.70	o 374634134
951.67/928.97	o 374634132
951.67/928.98	o 374634131
955.35/932.58	o 374616070
955.35/932.58	o 374616067
955.35/932.59	o 374616063
955.35/932.59	o 374616061
955.45/932.60	o 374616057
955.45/932.63	o 374616054
955.45/932.65	o 374616053
955.65/932.90	o 374616048
955.75/932.90	o 374616047
955.96/933.16	o 374616045
955.96/933.16	o 374616044
956.65/933.80	o 374597976
956.65/933.81	o 374597972
956.65/933.81	o 374597970
956.65/933.82	o 374597960
956.65/933.83	o 374597952
956.65/933.83	o 374597951
956.65/933.89	o 374597945
956.75/933.91	o 374597942
956.75/933.98	o 374597941
956.86/934.05	o 374597938
959.15/936.30	o 374597937
960.35/937.33	o 374579851
960.35/937.34	o 374579850
960.45/937.40	o 374579849
960.45/937.41	o 374561759
960.45/937.42	o 374561752
960.45/937.43	o 374561751
960.45/937.44	o 374561747
964.75/941.72	o 374543685
964.75/941.72	o 374543682
964.75/941.73	o 374543674
964.75/941.73	o 374543664
964.75/941.74	o 374543656
964.75/941.75	o 374543655
969.36/946.37	o 374543653
969.36/946.37	o 374543652
969.46/946.40	o 374543650
969.46/946.41	o 374543649
969.46/946.43	o 374525550
969.46/946.44	o 374525549
970.36/947.32	o 374525548
970.36/947.33	o 374525547
970.36/947.36	o 374525545
970.36/947.36	o 374525544
970.46/947.45	o 374525541
970.46/947.49	o 374525540
973.17/950.12	o 374507467
973.17/950.12	o 374507464
973.17/950.13	o 374507458
973.17/950.13	o 374507450
973.17/950.17	o 374507447
973.27/950.22	o 374507438
973.47/950.43	o 374507437
973.57/950.54	o 374507435
973.57/950.55	o 374507434
974.37/951.35	o 374489357
974.37/951.36	o 374489351
974.37/951.36	o 374489350
974.37/951.37	o 374489348
974.37/951.38	o 374489347
974.47/951.41	o 374489342
974.47/951.42	o 374489339
974.47/951.42	o 374489338
974.47/951.46	o 374489335
974.47/951.47	o 374489334
974.97/951.98	o 374489332
974.97/951.99	o 374489331
975.18/952.12	o 374471249
975.18/952.12	o 374471240
975.18/952.14	o 374471231
990.92/967.75	o 374471230
990.92/967.75	o 374471223
990.92/967.76	o 374471219
990.92/967.77	o 374453126
991.52/968.39	o 374453122
1045.72/1022.48	o 374453121
1125.96/1102.45	o 374453118
1125.96/1102.46	o 374453117
1125.96/1102.48	o 374453114
1126.06/1102.57	o 374453111
1126.06/1102.60	o 374435017
1126.16/1102.61	o 374435014
1126.16/1102.70	o 374435007
1126.26/1102.71	o 374435004
1126.26/1102.78	o 374435000
1126.26/1102.79	o 374434997
1126.36/1102.81	o 374434994
1126.36/1102.83	o 374416917
1127.26/1103.73	o 374416913
1127.26/1103.74	o 374416907
1127.26/1103.76	o 374416905
1127.26/1103.77	o 374416904
1127.26/1103.79	o 374398804
1127.36/1103.80	o 374398803
1127.36/1103.82	o 374380713
1127.36/1103.83	o 374380703
1127.36/1103.85	o 374362610
1127.36/1103.86	o 374362609
1127.36/1103.88	o 374362603
1127.46/1103.90	o 374344510
1127.46/1103.92	o 374326413
1127.46/1103.94	o 374326411
1127.46/1103.96	o 374308311
1127.57/1104.10	o 374308307
1127.67/1104.11	o 374308304
1127.67/1104.13	o 374308302
1128.57/1105.06	o 374290214
1128.57/1105.08	o 374272139
1128.57/1105.10	o 374272135
1128.67/1105.11	o 374272133
1128.67/1105.13	o 374272126
1128.67/1105.15	o 374272117
1128.67/1105.17	o 374272116
1128.67/1105.19	o 374254026
1128.76/1105.21	o 374254016
1128.87/1105.37	o 374235956
1128.87/1105.38	o 374235953
1128.87/1105.39	o 374235944
1128.97/1105.41	o 374235922
1128.97/1105.43	o 374235916
1129.97/1106.40	o 374217842
1129.97/1106.41	o 374217840
1129.97/1106.43	o 374217837
1129.97/1106.45	o 374217836
1129.97/1106.47	o 374199736
1130.07/1106.50	o 374199726
1130.07/1106.51	o 374199723
1130.07/1106.52	o 374199720
1130.07/1106.55	o 374181639
1130.07/1106.57	o 374181638
1130.17/1106.60	o 374163540
1130.17/1106.62	o 374163538
1130.17/1106.65	o 374163534
1130.17/1106.66	o 374163531
1130.17/1106.68	o 374163529
1130.28/1106.70	o 374163528
1130.28/1106.72	o 374163527
1130.28/1106.73	o 374163524
1130.28/1106.75	o 374163521
1130.28/1106.76	o 374163519
1131.18/1107.68	o 374163518
1131.28/1107.70	o 374145422
1131.28/1107.75	o 374127331
1131.28/1107.77	o 374127327
1131.46/1107.81	o 374127326
1131.46/1107.83	o 374127325
1131.46/1107.85	o 374127320
1131.46/1107.87	o 374109223
1131.46/1107.89	o 374109220
1131.56/1107.90	o 374109217
1131.56/1107.92	o 374109214
1132.96/1109.39	o 374091158
1133.94/1110.28	o 374091155
1134.04/1110.30	o 374091152
1134.04/1110.32	o 374091149
1134.04/1110.34	o 374091140
1134.04/1110.35	o 374073050
1134.04/1110.37	o 374073040
1134.04/1110.39	o 374073039
1135.50/1111.72	o 374054998
1135.50/1111.73	o 374054995
1135.50/1111.74	o 374054992
1135.50/1111.75	o 374054984
1135.50/1111.76	o 374054980
1135.50/1111.77	o 374054970
1135.50/1111.78	o 374054967
1135.60/1111.84	o 374036874
1135.60/1111.86	o 374036871
1135.60/1111.87	o 374036870
1135.60/1111.88	o 374036867
1136.81/1113.04	o 374036860
1136.81/1113.05	o 374036856
1136.81/1113.08	o 374036853
1136.92/1113.16	o 374018768
1136.92/1113.17	o 374018764
1136.92/1113.19	o 374018755
1137.01/1113.20	o 374018753
1138.01/1114.26	o 374000660
1138.01/1114.28	o 374000657
1138.11/1114.30	o 374000656
1138.11/1114.31	o 374000652
1138.11/1114.33	o 373982552
1138.11/1114.35	o 373964452
1138.11/1114.37	o 373964449
1138.11/1114.39	o 373946359
1138.21/1114.42	o 373928292
1138.21/1114.43	o 373928289
1138.21/1114.44	o 373928285
1138.21/1114.46	o 373928281
1138.21/1114.48	o 373928278
1138.31/1114.50	o 373928270
1138.31/1114.52	o 373928265
1138.31/1114.54	o 373928256
1138.31/1114.57	o 373910166
1138.41/1114.60	o 373910163
1138.41/1114.61	o 373910160
1138.41/1114.63	o 373910156
1139.31/1115.55	o 373910146
1139.31/1115.57	o 373892046
1139.31/1115.59	o 373873946
1139.41/1115.61	o 373855846
1139.41/1115.64	o 373837749
1139.41/1115.66	o 373819660
1139.41/1115.69	o 373819652
1139.51/1115.70	o 373819650
1139.51/1115.72	o 373819649
1139.51/1115.74	o 373819646
1139.51/1115.75	o 373801546
1139.51/1115.78	o 373783453
1139.51/1115.79	o 373765373
1139.61/1115.81	o 373765369
1139.61/1115.83	o 373765365
1139.61/1115.85	o 373765361
1142.01/1118.28	o 373765357
1142.01/1118.29	o 373765354
1142.11/1118.32	o 373765350
1142.11/1118.34	o 373765347
1142.21/1118.47	o 373765344
1142.21/1118.48	o 373765341
1142.31/1118.50	o 373765337
1142.31/1118.52	o 373747247
1142.31/1118.54	o 373747244
1142.41/1118.64	o 373729147
1142.41/1118.66	o 373729144
1142.41/1118.68	o 373711071
1142.41/1118.70	o 373711061
1142.51/1118.72	o 373711057
1142.51/1118.74	o 373711054
1143.82/1120.02	o 373692992
1143.82/1120.03	o 373692989
1143.82/1120.03	o 373692983
1143.82/1120.04	o 373692981
1143.82/1120.05	o 373692975
1143.82/1120.07	o 373692971
1143.82/1120.09	o 373692968
1143.82/1120.10	o 373692958
1143.92/1120.14	o 373674890
1143.92/1120.15	o 373674887
1143.92/1120.16	o 373674885
1143.92/1120.17	o 373674881
1143.92/1120.18	o 373674877
1143.92/1120.19	o 373674873
1144.01/1120.21	o 373674871
1144.01/1120.22	o 373674868
1144.01/1120.23	o 373674858
1144.01/1120.25	o 373656758
1145.11/1121.20	o 373656751
1145.11/1121.22	o 373638670
1145.11/1121.24	o 373638663
1145.11/1121.26	o 373620576
1145.11/1121.27	o 373620573
1145.11/1121.29	o 373620567
1145.21/1121.31	o 373620563
1145.21/1121.34	o 373620561
1146.41/1122.54	o 373620560
1146.41/1122.55	o 373620557
1146.41/1122.56	o 373620551
1146.51/1122.61	o 373602467
1146.51/1122.62	o 373602463
1146.51/1122.63	o 373602461
1146.61/1122.77	o 373584373
1146.61/1122.78	o 373584369
1147.81/1123.97	o 373584366
1147.81/1123.98	o 373584363
1147.81/1124.00	o 373566273
1147.92/1124.01	o 373566269
1150.41/1126.56	o 373548203
1150.41/1126.57	o 373548194
1150.41/1126.58	o 373548191
1150.41/1126.59	o 373548181
1150.51/1126.60	o 373548171
1150.51/1126.65	o 373530081
1150.51/1126.68	o 373530080
1150.51/1126.69	o 373530077
1150.61/1126.70	o 373530074
1150.61/1126.71	o 373530071
1150.61/1126.74	o 373530068
1150.61/1126.75	o 373511973
1150.61/1126.76	o 373511971
1150.61/1126.80	o 373493881
1150.71/1126.82	o 373493871
1150.71/1126.87	o 373475791
1150.71/1126.88	o 373475781
1150.82/1126.90	o 373475780
1150.82/1126.91	o 373475771
1150.82/1126.96	o 373457693
1150.82/1126.98	o 373457683
1150.92/1127.05	o 373439593
1150.92/1127.05	o 373439589
1150.92/1127.06	o 373439587
1150.92/1127.08	o 373439584
1150.92/1127.10	o 373439574
1151.02/1127.12	o 373439571
1151.02/1127.13	o 373421476
1151.02/1127.14	o 373421474
1152.12/1128.23	o 373403403
1153.31/1129.45	o 373403394
1153.31/1129.46	o 373403387
1153.31/1129.47	o 373403384
1154.81/1130.92	o 373403383
1154.81/1130.94	o 373403378
1154.81/1130.95	o 373403369
1154.81/1130.96	o 373403366
1154.81/1130.97	o 373403357
1157.42/1133.41	o 373385298
1157.42/1133.42	o 373385294
1157.42/1133.43	o 373385292
1157.42/1133.44	o 373385291
1157.42/1133.45	o 373385288
1157.42/1133.47	o 373367201
1157.42/1133.48	o 373367192
1157.42/1133.50	o 373367188
1157.52/1133.51	o 373367186
1157.52/1133.58	o 373367183
1157.62/1133.62	o 373349078
1157.62/1133.63	o 373349076
1157.62/1133.64	o 373349073
1157.82/1133.81	o 373349071
1157.82/1133.84	o 373330980
1157.92/1133.92	o 373330965
1157.92/1133.93	o 373330960
1157.92/1133.94	o 373330956
1159.13/1135.14	o 373330955
1159.13/1135.15	o 373330951
1159.13/1135.16	o 373330949
1159.13/1135.17	o 373330945
1159.13/1135.18	o 373330942
1159.13/1135.19	o 373330939
1159.22/1135.20	o 373330937
1159.32/1135.36	o 373312856
1159.32/1135.37	o 373312853
1159.32/1135.38	o 373312847
1159.32/1135.39	o 373312845
1159.42/1135.40	o 373312843
1159.42/1135.42	o 373312841
1159.42/1135.44	o 373312839
1160.32/1136.37	o 373312837
1160.32/1136.39	o 373294753
1160.42/1136.40	o 373294749
1160.42/1136.41	o 373294740
1160.42/1136.43	o 373294737
1160.52/1136.59	o 373294735
1160.72/1136.73	o 373294732
1160.72/1136.74	o 373294729
1161.62/1137.67	o 373294727
1161.62/1137.68	o 373294724
1161.72/1137.70	o 373276624
1161.72/1137.71	o 373258527
1161.72/1137.73	o 373258523
1161.72/1137.74	o 373258521
1161.72/1137.75	o 373240421
1164.22/1140.23	o 373222370
1164.22/1140.24	o 373222368
1164.22/1140.25	o 373222365
1164.22/1140.26	o 373222363
1164.22/1140.27	o 373222360
1164.22/1140.28	o 373222357
1164.22/1140.29	o 373204257
1164.32/1140.31	o 373204254
1164.32/1140.32	o 373204246
1164.32/1140.35	o 373186199
1164.32/1140.35	o 373186196
1164.32/1140.36	o 373186193
1164.32/1140.37	o 373186191
1164.32/1140.39	o 373186183
1164.42/1140.40	o 373186174
1164.42/1140.41	o 373186167
1164.42/1140.43	o 373186158
1164.42/1140.44	o 373186149
1164.42/1140.45	o 373186146
1164.42/1140.47	o 373168055
1164.42/1140.49	o 373149955
1164.52/1140.51	o 373131858
1164.52/1140.52	o 373131855
1164.52/1140.54	o 373131852
1164.62/1140.66	o 373131851
1164.62/1140.68	o 373131849
1164.72/1140.75	o 373113752
1164.72/1140.77	o 373113749
1164.93/1140.99	o 373095652
1165.04/1141.02	o 373095649
1165.04/1141.06	o 373077569
1165.93/1141.96	o 373077562
1165.93/1141.98	o 373077559
1165.93/1141.99	o 373059459
1166.04/1142.01	o 373059457
1166.14/1142.18	o 373041405
1166.14/1142.18	o 373041399
1166.14/1142.19	o 373041396
1166.23/1142.20	o 373041393
1166.23/1142.21	o 373041384
1166.23/1142.22	o 373041375
1166.23/1142.23	o 373041372
1166.23/1142.25	o 373041365
1167.23/1143.28	o 373023265
1167.23/1143.29	o 373005165
1167.33/1143.31	o 373005160
1170.05/1145.96	o 372987098
1170.05/1145.97	o 372987095
1170.05/1145.97	o 372987092
1170.05/1145.98	o 372987088
1170.05/1145.99	o 372987086
1170.05/1146.00	o 372987077
1170.17/1146.01	o 372987068
1170.46/1146.35	o 372987067
1170.46/1146.36	o 372987065
1170.46/1146.38	o 372968971
1170.46/1146.39	o 372968968
1173.27/1149.16	o 372968967
1173.27/1149.17	o 372968964
1173.27/1149.18	o 372968961
1173.27/1149.19	o 372950861
1173.36/1149.21	o 372932752
1173.36/1149.22	o 372932749
1173.36/1149.23	o 372932747
1173.36/1149.25	o 372914654
1173.36/1149.26	o 372914652
1173.36/1149.29	o 372896562
1173.46/1149.30	o 372896560
1173.46/1149.32	o 372896552
1173.56/1149.48	o 372896551
1173.56/1149.49	o 372896549
1174.86/1150.70	o 372878479
1174.86/1150.71	o 372878477
1174.86/1150.72	o 372878474
1174.86/1150.73	o 372878467
1174.86/1150.75	o 372860367
1176.17/1152.09	o 372860365
2520.01/2492.11	s SATISFIABLE
2520.01/2492.12	v <instantiation>
2520.01/2492.12	v 	<list>
2520.01/2492.12	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808]
2520.01/2492.12	v 	</list>
2520.01/2492.12	v 	<values>
2520.01/2492.12	v 		2684 2720 2412 2592 2408 2672 2608 2524 2372 2120 2136 2528 2572 2460 2480 2604 2544 2616 2536 2136 2228 2588 2276 2424 2308 2284 2672 2640 2380 2492 2304 2460 2512 2368 2636 2656 2400 2644 2292 2688 2616 2644 2680 2420 2496 2344 2628 2532 2380 2416 2516 2172 2720 2324 2564 2676 2132 2684 2152 2680 2168 2208 2472 2176 2364 2176 2528 2304 2184 2596 2628 2416 2216 2400 2136 2464 2460 2264 2696 2236 2476 2600 2552 2484 2452 2480 2496 2672 2552 2176 2668 2176 2216 2408 2356 2160 2596 2504 2644 2424 2424 2596 2360 2416 2360 2716 2636 2664 2500 2480 2648 2184 2120 2332 2176 2448 2420 2120 2120 2324 2224 2176 2376 2708 2136 2488 2176 2504 2304 2432 2484 2216 2484 2224 2192 2492 2160 2236 2132 2464 2176 2172 2544 2568 2168 2640 2136 2648 2420 2264 2544 2440 2532 2524 2344 2160 2504 2184 2420 2648 2284 2224 2668 2252 2416 2544 2256 2212 2432 2400 2456 2664 2692 2520 2128 2568 2304 2708 2668 2472 2468 2420 2688 2236 2580 2144 2264 2556 2192 2320 2536 2512 2684 2520 2388 2316 2632 2608 2556 2476 2564 2200 2404 2624 2428 2496 2212 2160 2456 2176 2328 2500 2652 2188 2524 2120 2456 2656 2656 2508 2388 2576 2132 2252 2276 2276 2708 2216 2464 2372 2504 2172 2276 2516 2248 2536 2196 2536 2120 2372 2428 2416 2360 2160 2648 2624 2608 2456 2456 2436 2156 2616 2344 2176 2568 2456 2524 2332 2564 2524 2680 2160 2488 2556 2656 2196 2348 2136 2680 2552 2440 2596 2288 2460 2608 2688 2416 2128 2144 2460 2632 2428 2668 2496 2468 2152 2712 2172 2620 2292 2580 2540 2136 2160 2412 2316 2168 2316 2720 2288 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 11 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 0 0 10 10 10 10 0 10 0 10 10 0 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 10 0 10 10 10 0 10 0 0 10 0 0 10 10 0 10 0 10 0 10 0 10 0 0 10 0 10 10 0 10 0 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 10 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 0 0 0 10 10 0 10 0 0 0 0 10 10 10 10 3 0 10 7 10 0 10 10 7 10 0 0 0 10 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 0 10 10 10 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 10 0 10 0 10 0 10 10 0 0 10 0 10 0 10 10 10 0 0 10 10 0 10 10 0 10 0 10 10 0 0 0 0 8 0 10 10 10 10 10 0 0 0 10 10 0 10 10 10 10 0 10 10 0 10 10 0 10 10 0 0 10 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 10 10 0 0 10 0 0 10 10 0 0 0 10 0 10 10 10 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 10 0 0 10 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 10 5 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 10 10 0 10 0 10 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 10 0 0 10 10 0 10 0 0 10 10 0 10 0 10 0 0 5 0 0 0 10 9 10 0 0 0 0 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 10 10 0 10 10 0 10 0 0 0 10 0 10 10 0 10 0 10 0 3 10 0 0 10 10 0 0 0 10 6 0 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 10 0 10 10 0 0 0 0 10 10 10 10 0 0 0 0 10 10 10 10 10 0 0 0 0 10 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 10 10 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 0 10 10 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 10 10 0 0 0 0 0 10 0 10 10 10 0 0 0 10 10 0 0 0 0 0 10 10 0 10 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 8 0 10 0 10 10 10 0 10 10 0 0 10 10 10 6 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 0 10 10 10 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 10 8 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 10 10 10 10 0 0 10 0 10 0 0 10 0 10 10 10 3 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 10 10 10 0 0 10 0 0 10 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 10 10 0 10 10 10 10 10 0 10 10 10 0 10 0 0 10 10 0 0 9 10 10 0 10 0 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 10 10 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 0 10 0 10 10 10 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 0 0 10 10 4 0 0 0 10 10 10 0 0 10 0 9 0 10 10 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 10 0 10 0 0 0 10 10 10 0 0 0 10 0 10 10 0 10 10 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 10 0 0 0 10 0 10 10 0 10 10 10 0 0 10 10 10 10 0 0 10 0 0 10 9 0 0 0 0 10 10 0 0 0 10 10 3 10 0 0 0 10 0 0 10 10 10 0 10 10 0 0 0 0 0 10 3 10 10 0 10 0 0 0 10 0 8 7 0 0 10 0 0 0 0 10 10 0 10 10 0 0 0 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 10 10 10 0 10 10 10 0 0 10 0 0 0 0 6 0 0 10 0 10 10 10 0 0 0 10 10 0 0 10 10 0 10 10 0 0 0 10 10 0 0 10 0 0 10 0 10 10 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 10 10 10 9 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 456 408 316 448 468 24 552 140 564 508 160 396 64 368 44 588 124 244 364 344 280 588 348 360 164 32 428 560 176 228 232 244 216 140 20 220 52 280 220 164 160 244 140 28 92 416 184 104 424 172 356 40 28 116 88 136 24 36 464 196 104 188 220 288 232 232 84 232 240 172 248 160 156 312 76 460 240 436 164 244 4 64 32 132 56 112 192 248 160 32 84 64 352 456 320 116 164 260 44 0 20 68 288 100 20 248 276 368 328 156 284 220 228 88 16 552 280 560 508 560 596 48 300 412 404 280 80 560 52 360 492 48 532 300 44 104 4 184 96 316 124 180 128 396 452 124 116 396 136 52 84 292 276 340 32 292 204 72 104 40 332 0 176 36 48 264 20 72 148 288 32 92 144 176 308 36 192 72 32 60 92 4 260 4 128 328 48 368 100 144 116 384 44 88 256 128 392 376 40 60 484 408 20 64 136 176 332 484 244 456 96 324 76 456 400 116 272 60 136 128 128 12 192 284 132 360 48 132 376 280 36 72 328 240 348 348 100 388 76 40 324 48 116 8 220 12 4 96 316 4 480 428 52 340 60 392 164 208 188 48 256 364 52 36 64 200 92 416 68 40 60 172 60 52 144 372 52 380 288 12 344 144 284 252 280 288 288 308 372 140 164 168 172 236 36 380 132 148 244 152 356 176 268 108 200 400 120 216 152 252 144 396 396 4 272 44 552 188 504 488 272 352 472 172 396 56 8 464 160 456 208 220 116 116 80 36 244 124 104 36 164 168 284 188 48 244 288 104 68 216 72 104 356 212 0 324 180 128 112 304 236 184 220 44 92 248 84 4 72 308 168 96 96 32 180 56 140 352 108 196 184 8 272 232 52 88 168 144 128 140 236 216 140 80 12 260 72 220 236 28 436 464 20 56 20 448 216 124 468 296 60 32 528 364 116 244 72 164 316 280 224 200 228 68 152 228 232 28 36 468 392 244 444 492 396 160 156 148 228 28 164 172 232 388 316 148 44 516 424 8 328 268 552 432 108 424 500 440 492 32 400 64 192 32 440 440 112 212 108 228 496 200 120 40 36 380 52 24 236 468 340 380 240 184 64 76 356 504 204 128 256 548 32 32 160 72 252 56 484 76 76 96 256 260 244 228 276 244 156 244 148 40 132 104 16 76 272 172 84 176 40 40 112 28 128 300 104 128 304 304 364 168 312 168 276 96 0 132 124 36 128 140 344 376 312 112 268 216 356 48 108 308 44 36 64 380 248 36 220 164 308 156 92 56 0 48 152 180 148 84 240 72 272 340 92 184 192 348 152 192 324 340 60 48 168 372 524 236 12 4 132 496 372 260 408 92 232 76 24 548 44 536 240 168 124 544 300 288 252 244 196 88 136 152 128 272 148 208 88 80 88 112 84 260 48 28 76 276 468 192 184 516 544 304 12 384 516 464 364 292 532 40 68 0 84 240 424 580 160 408 220 12 188 16 524 24 16 496 564 228 468 436 368 332 404 400 16 12 124 160 48 124 28 504 48 44 332 288 204 8 356 272 248 328 388 456 32 76 68 164 48 480 80 504 332 48 108 64 248 4 236 92 44 64 60 432 304 4 128 144 72 352 300 308 240 324 40 312 368 76 128 16 8 352 408 96 108 180 64 252 104 140 360 120 128 152 32 296 8 40 252 28 164 496 244 76 52 436 224 40 92 468 116 304 428 364 412 312 340 60 68 256 140 40 280 12 128 20 40 36 40 196 308 356 180 496 572 280 160 292 44 200 280 32 144 60 304 4 24 136 284 24 244 188 84 12 220 28 196 316 288 212 144 384 40 8 316 0 12 48 456 220 288 536 116 308 480 180 448 240 144 408 124 60 256 412 12 24 420 328 100 188 28 220 88 20 180 64 480 276 160 88 8 44 172 388 76 4 140 308 376 128 60 392 132 132 316 164 276 60 112 232 268 48 232 20 28 4 44 28 48 332 4 64 168 196 76 96 204 192 140 120 36 92 108 136 148 248 188 436 540 460 20 152 116 356 104 216 64 376 88 132 288 368 96 140 116 40 380 68 212 40 140 508 48 492 500 248 136 348 492 160 420 472 352 180 368 360 48 112 428 144 272 0 84 492 408 240 284 440 96 40 72 256 260 152 260 172 248 192 128 212 308 32 352 100 52 328 28 168 104 184 8 144 344 260 508 420 28 56 88 408 36 156 560 0 120 52 476 428 92 164 76 20 264 60 428 12 28 88 72 32 28 384 196 512 4 420 484 36 468 80 36 24 8 144 280 172 156 108 256 80 80 4 52 164 52 312 332 404 56 28 136 280 56 28 248 204 68 172 84 128 80 260 72 84 68 4 208 80 120 40 84 280 72 168 128 224 216 236 340 232 548 316 68 260 544 136 28 412 4 164 400 80 180 112 84 164 488 180 244 208 8 8 340 184 48 4 296 48 16 8 164 480 448 396 8 476 236 48 448 24 92 340 48 244 484 32 12 568 356 404 212 308 76 204 204 224 212 132 84 276 276 336 420 432 404 232 224 200 260 60 116 232 160 244 248 52 92 104 32 72 280 548 80 52 496 212 560 536 52 48 56 132 544 184 404 536 156 36 404 436 476 148 184 172 320 296 408 180 72 328 244 492 292 88 40 20 284 544 168 168 64 200 256 280 4 84 344 484 60 424 484 0 52 112 292 40 328 0 48 360 56 24 312 160 36 32 344 164 200 368 8 244 16 472 512 140 152 16 144 220 184 32 48 48 264 364 364 40 220 56 108 12 416 220 200 272 124 296 20 164 200 136 196 168 432 8 440 348 72 404 292 84 324 208 8 208 332 88 484 12 432 104 424 456 64 396 464 360 416 304 356 76 316 164 24 132 204 80 272 504 532 352 464 184 188 436 308 404 308 432 300 152 76 112 224 100 92 324 576 80 44 432 336 92 76 292 60 24 132 36 328 240 336 312 420 372 348 436 28 116 540 144 24 104 24 388 20 212 124 64 500 32 512 488 4 48 64 124 212 32 16 40 16 140 36 388 428 292 228 132 24 472 156 272 36 32 288 268 88 416 164 128 48 228 376 252 116 248 312 280 44 36 364 204 84 404 216 200 84 192 304 264 112 4 504 396 52 308 8 240 312 132 48 48 128 64 372 276 92 32 104 8 36 260 268 268 248 160 132 60 276 528 84 172 372 164 484 96 432 104 108 340 412 88 480 144 452 420 472 352 52 284 132 56 164 216 12 84 140 48 296 192 144 36 64 400 124 408 228 408 324 8 68 268 76 60 464 456 116 244 444 92 68 124 192 296 4 264 228 124 68 256 228 152 336 96 12 164 44 208 148 4 172 264 196 304 12 404 532 64 148 160 48 160 428 524 396 32 312 64 368 180 52 32 80 28 12 432 292 108 52 432 532 144 28 88 416 240 60 0 84 48 64 140 124 32 60 20 160 80 44 248 96 300 188 104 132 120 80 560 372 520 388 300 380 364 332 384 540 172 24 392 392 488 124 260 48 68 368 204 20 240 52 100 120 4 196 304 316 264 36 144 248 80 416 316 168 368 76 508 312 256 12 64 136 120 148 72 336 252 304 0 20 64 488 136 316 432 476 92 16 40 472 48 68 24 280 20 12 128 392 404 8 416 28 116 84 260 116 136 88 44 488 308 196 228 16 60 340 28 36 440 84 548 212 0 528 256 32 132 380 0 124 168 168 252 432 420 176 100 224 72 108 96 224 480 336 300 52 224 308 68 180 108 196 36 80 40 320 140 92 24 52 200 232 52 40 96 236 208 216 240 28 556 4 580 408 28 156 80 284 92 300 328 84 116 184 124 40 376 28 564 32 392 20 72 416 48 312 116 40 20 444 244 36 260 120 320 40 320 356 80 8 288 52 472 176 436 92 120 32 44 444 212 316 244 340 80 168 212 292 32 240 260 108 16 328 232 68 180 200 192 316 32 152 332 292 80 4 40 20 460 452 284 92 64 204 504 416 152 388 276 180 276 56 28 520 24 0 100 512 396 528 132 380 200 156 264 16 396 196 60 264 92 136 460 48 148 60 320 24 148 300 164 412 268 172 496 244 112 332 420 172 4 132 380 404 
2520.01/2492.12	v 	</values>
2520.01/2492.12	v </instantiation>

Verifier Data 

OK	372860365

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13763 MiB free)
  memory of node 1: 16384 MiB (6241 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308359-1534288199/watcher-4308359-1534288199 -o /tmp/evaluation-result-4308359-1534288199/solver-4308359-1534288199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8642 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 509320245 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308359-1534288199.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10560, runsolver pid=10557

[startup+0.100166 s]*
/proc/loadavg: 1.54 1.53 1.49 3/220 10575
/proc/meminfo: memFree=20465576/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14082736 memory=31236 CPUtime=0.12 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 6733 0 0 0 11 1 0 0 20 0 15 0 246383099 14420721664 7809 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3520684 7809 3152 1 0 3482761 0
[pid=10560/tid=10562] ppid=10557 vsize=14082736 memory=-8701690554792055425 CPUtime=0.09 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 4772 0 0 0 8 1 0 0 20 0 15 0 246383099 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553736835136 140553716684126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246383101 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553205302304 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553204249456 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 246383104 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 246383104 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 7809 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31236 KiB

[startup+0.211294 s]*
/proc/loadavg: 1.54 1.53 1.49 6/220 10575
/proc/meminfo: memFree=20450816/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14082736 memory=47028 CPUtime=0.31 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 10391 0 0 0 28 3 0 0 20 0 15 0 246383099 14420721664 11757 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3520684 11757 3366 1 0 3482761 0
[pid=10560/tid=10562] ppid=10557 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 8087 0 0 0 18 2 0 0 20 0 15 0 246383099 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553736832496 140553712328752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14082736 memory=140313291362076 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246383101 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553205302304 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553204249456 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) R 10557 10560 6996 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 246383104 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) R 10557 10560 6996 0 -1 4202560 163 0 0 0 1 0 0 0 20 0 15 0 246383104 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553201093456 140553715990544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0.06 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) R 10557 10560 6996 0 -1 4202560 307 0 0 0 6 0 0 0 20 0 15 0 246383104 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553200040560 140553732624986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 11757 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47028 KiB

[startup+0.310785 s]*
/proc/loadavg: 1.54 1.53 1.49 3/220 10575
/proc/meminfo: memFree=20447268/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14082736 memory=50456 CPUtime=0.44 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 10780 0 0 0 41 3 0 0 20 0 15 0 246383099 14420721664 12614 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3520684 12614 3369 1 0 3482761 0
[pid=10560/tid=10562] ppid=10557 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 8445 0 0 0 28 2 0 0 20 0 15 0 246383099 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553736811472 140553712879417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14082736 memory=14835519064598168 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246383100 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246383101 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553205302304 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246383102 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553204249456 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 246383104 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 246383104 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0.08 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 246383104 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14082736 memory=140313291351680 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383105 14420721664 12614 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50456 KiB

[startup+0.700734 s]
/proc/loadavg: 1.54 1.53 1.49 3/220 10575
/proc/meminfo: memFree=20423332/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14084804 memory=89116 CPUtime=0.99 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 17631 0 0 0 93 6 0 0 20 0 15 0 246383099 14422839296 22279 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3521201 22279 3505 1 0 3483273 0
[pid=10560/tid=10562] ppid=10557 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 14895 0 0 0 63 4 0 0 20 0 15 0 246383099 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553736807648 140553716684126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14084804 memory=37192 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383100 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246383100 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246383101 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246383102 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553205302304 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246383102 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553204249456 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14084804 memory=7237400421040875609 CPUtime=0.08 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 607 0 0 0 8 0 0 0 20 0 15 0 246383104 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14084804 memory=7523071198212214892 CPUtime=0.06 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 334 0 0 0 6 0 0 0 20 0 15 0 246383104 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 414 0 0 0 14 0 0 0 20 0 15 0 246383104 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14084804 memory=6424 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246383105 14422839296 22279 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89116 KiB

[startup+1.5013 s]
/proc/loadavg: 1.54 1.53 1.49 3/220 10575
/proc/meminfo: memFree=20186120/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14086852 memory=449348 CPUtime=3.21 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 20647 0 0 0 284 37 0 0 20 0 15 0 246383099 14424936448 112337 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3521713 112337 3564 1 0 3483785 0
[pid=10560/tid=10562] ppid=10557 vsize=14086852 memory=339484 CPUtime=1.35 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 15367 0 0 0 125 10 0 0 20 0 15 0 246383099 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553736837080 140553362855727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14086852 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 167 0 0 0 4 7 0 0 20 0 15 0 246383100 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14086852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 136 0 0 0 2 6 0 0 20 0 15 0 246383100 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14086852 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 163 0 0 0 4 6 0 0 20 0 15 0 246383100 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14086852 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 137 0 0 0 3 5 0 0 20 0 15 0 246383100 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 246383101 14424936448 112337 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0

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

/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 184710 0 0 0 237553 71 0 0 20 0 15 0 246383099 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553736841616 140553371319117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14090948 memory=1921956 CPUtime=5.65 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 38719 0 0 0 485 80 0 0 20 0 15 0 246383100 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14090948 memory=1921956 CPUtime=5.63 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 36370 0 0 0 480 83 0 0 20 0 15 0 246383100 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14090948 memory=1921956 CPUtime=5.65 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 37068 0 0 0 488 77 0 0 20 0 15 0 246383100 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14090948 memory=0 CPUtime=5.59 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 40746 0 0 0 480 79 0 0 20 0 15 0 246383100 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14090948 memory=1905028 CPUtime=0.31 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 18129 0 0 0 24 7 0 0 20 0 15 0 246383101 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14090948 memory=1905028 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553205302368 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14090948 memory=1905028 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553204249472 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14090948 memory=1905028 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14090948 memory=1905028 CPUtime=4.13 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 16338 0 0 0 411 2 0 0 20 0 15 0 246383104 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14090948 memory=1905028 CPUtime=3.92 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 20124 0 0 0 389 3 0 0 20 0 15 0 246383104 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14090948 memory=1905028 CPUtime=1.4 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 21115 0 0 0 134 6 0 0 20 0 15 0 246383104 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14090948 memory=13920 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14090948 memory=3340 CPUtime=1.24 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 2360 0 0 0 59 65 0 0 20 0 15 0 246383105 14429130752 476257 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 2409.85 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1905028 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.92 1.94 3/221 10746
/proc/meminfo: memFree=18621636/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14090948 memory=1845520 CPUtime=2470.03 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 419782 0 0 0 246542 461 0 0 20 0 15 0 246383099 14429130752 461380 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3522737 461380 3618 1 0 3484809 0
[pid=10560/tid=10562] ppid=10557 vsize=14090948 memory=1888612 CPUtime=2436.17 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 185635 0 0 0 243546 71 0 0 20 0 15 0 246383099 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553736841616 140553363924543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14090948 memory=1859372 CPUtime=5.7 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 39060 0 0 0 490 80 0 0 20 0 15 0 246383100 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14090948 memory=1873736 CPUtime=5.68 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 36664 0 0 0 485 83 0 0 20 0 15 0 246383100 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14090948 memory=1859372 CPUtime=5.7 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 37311 0 0 0 493 77 0 0 20 0 15 0 246383100 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14090948 memory=1859372 CPUtime=5.64 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 41383 0 0 0 485 79 0 0 20 0 15 0 246383100 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14090948 memory=1845520 CPUtime=0.31 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 18302 0 0 0 24 7 0 0 20 0 15 0 246383101 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14090948 memory=1845520 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553205302368 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14090948 memory=1845520 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553204249472 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14090948 memory=1845520 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14090948 memory=1845520 CPUtime=4.13 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 16341 0 0 0 411 2 0 0 20 0 15 0 246383104 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14090948 memory=3708 CPUtime=3.92 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 20126 0 0 0 389 3 0 0 20 0 15 0 246383104 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14090948 memory=67040 CPUtime=1.4 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 21117 0 0 0 134 6 0 0 20 0 15 0 246383104 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14090948 memory=1845520 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14090948 memory=1845520 CPUtime=1.27 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 2378 0 0 0 60 67 0 0 20 0 15 0 246383105 14429130752 461380 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 2470.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1845520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2492.11 s]
/proc/loadavg: 1.90 1.93 1.94 3/221 10747
/proc/meminfo: memFree=18730992/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14090948 memory=1798832 CPUtime=2520.01 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 422097 0 0 0 251538 463 0 0 20 0 15 0 246383099 14429130752 449708 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3522737 449708 3618 1 0 3484809 0
[pid=10560/tid=10562] ppid=10557 vsize=14090948 memory=1798832 CPUtime=2485.93 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 186458 0 0 0 248522 71 0 0 20 0 15 0 246383099 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553736841616 140553360970594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14090948 memory=1920 CPUtime=5.74 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 39398 0 0 0 494 80 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.74 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 37001 0 0 0 490 84 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.75 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 37748 0 0 0 498 77 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.7 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 41561 0 0 0 490 80 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14090948 memory=1810632 CPUtime=0.32 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 18484 0 0 0 25 7 0 0 20 0 15 0 246383101 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14090948 memory=1810632 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553205302368 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553204249472 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14090948 memory=1798832 CPUtime=4.13 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 16343 0 0 0 411 2 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14090948 memory=1798832 CPUtime=3.92 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 20128 0 0 0 389 3 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14090948 memory=1798832 CPUtime=1.4 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 21119 0 0 0 134 6 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14090948 memory=1798832 CPUtime=1.29 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 2392 0 0 0 61 68 0 0 20 0 15 0 246383105 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1798832 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2492.13 s]
# the end of solver process 10560 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.42 s, system=4.64394 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2492.11 s]
/proc/loadavg: 1.90 1.93 1.94 3/221 10747
/proc/meminfo: memFree=18730992/32770624 swapFree=67108852/67108860
[pid=10560] ppid=10557 vsize=14090948 memory=1798832 CPUtime=2520.01 cores=0,2,4,6
/proc/10560/stat : 10560 (java) S 10557 10560 6996 0 -1 1077944320 422097 0 0 0 251538 463 0 0 20 0 15 0 246383099 14429130752 449708 33554432000 4194304 4196468 140734991877056 140734991859600 140553732603639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
/proc/10560/statm: 3522737 449708 3618 1 0 3484809 0
[pid=10560/tid=10562] ppid=10557 vsize=14090948 memory=1798832 CPUtime=2485.93 cores=0,2,4,6
/proc/10560/task/10562/stat : 10562 (java) R 10557 10560 6996 0 -1 4202560 186458 0 0 0 248522 71 0 0 20 0 15 0 246383099 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553736841616 140553360970594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10563] ppid=10557 vsize=14090948 memory=1920 CPUtime=5.74 cores=0,2,4,6
/proc/10560/task/10563/stat : 10563 (java) S 10557 10560 6996 0 -1 1077944384 39398 0 0 0 494 80 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553685224592 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10564] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.74 cores=0,2,4,6
/proc/10560/task/10564/stat : 10564 (java) S 10557 10560 6996 0 -1 1077944384 37001 0 0 0 490 84 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553684171792 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10565] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.75 cores=0,2,4,6
/proc/10560/task/10565/stat : 10565 (java) S 10557 10560 6996 0 -1 1077944384 37748 0 0 0 498 77 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553683118992 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10566] ppid=10557 vsize=14090948 memory=1798832 CPUtime=5.7 cores=0,2,4,6
/proc/10560/task/10566/stat : 10566 (java) S 10557 10560 6996 0 -1 1077944384 41561 0 0 0 490 80 0 0 20 0 15 0 246383100 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553682066192 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10567] ppid=10557 vsize=14090948 memory=1810632 CPUtime=0.32 cores=0,2,4,6
/proc/10560/task/10567/stat : 10567 (java) S 10557 10560 6996 0 -1 1077944384 18484 0 0 0 25 7 0 0 20 0 15 0 246383101 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553206356336 140553732614786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10568] ppid=10557 vsize=14090948 memory=1810632 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10568/stat : 10568 (java) S 10557 10560 6996 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553205302368 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10569] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10569/stat : 10569 (java) S 10557 10560 6996 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 246383102 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553204249472 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10570] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10570/stat : 10570 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553203197776 140553732622235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10571] ppid=10557 vsize=14090948 memory=1798832 CPUtime=4.13 cores=0,2,4,6
/proc/10560/task/10571/stat : 10571 (java) S 10557 10560 6996 0 -1 1077944384 16343 0 0 0 411 2 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553202146160 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10572] ppid=10557 vsize=14090948 memory=1798832 CPUtime=3.92 cores=0,2,4,6
/proc/10560/task/10572/stat : 10572 (java) S 10557 10560 6996 0 -1 1077944384 20128 0 0 0 389 3 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553201093360 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10573] ppid=10557 vsize=14090948 memory=1798832 CPUtime=1.4 cores=0,2,4,6
/proc/10560/task/10573/stat : 10573 (java) S 10557 10560 6996 0 -1 1077944384 21119 0 0 0 134 6 0 0 20 0 15 0 246383104 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553200040560 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10574] ppid=10557 vsize=14090948 memory=1798832 CPUtime=0 cores=0,2,4,6
/proc/10560/task/10574/stat : 10574 (java) S 10557 10560 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246383105 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553198988000 140553732613845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
[pid=10560/tid=10575] ppid=10557 vsize=14090948 memory=1798832 CPUtime=1.29 cores=0,2,4,6
/proc/10560/task/10575/stat : 10575 (java) S 10557 10560 6996 0 -1 1077944384 2392 0 0 0 61 68 0 0 20 0 15 0 246383105 14429130752 449708 33554432000 4194304 4196468 140734991877056 140553197935280 140553732614786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34840576 140734991885385 140734991885577 140734991885577 140734991888335 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1798832 KiB

Child status: 143
Real time (s): 2492.13
CPU time (s): 2520.07
CPU user time (s): 2515.42
CPU system time (s): 4.64394
CPU usage (%): 101.121
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4804392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.42
system time used= 4.64394
maximum resident set size= 4804432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60561
involuntary context switches= 2158


# summary of solver processes directly reported to runsolver:
#   pid: 10560
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.42
#   total CPU system time (s): 4.64394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9308 second user time and 22.3451 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-15 01:09:59
IDJOB=4308359
IDBENCH=141269
IDSOLVER=2791
FILE ID=node133/4308359-1534288199
RUNJOBID= node133-1534270696-8642
PBS_JOBID= 21038124
Free space on /tmp= 39252 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308359-1534288199/watcher-4308359-1534288199 -o /tmp/evaluation-result-4308359-1534288199/solver-4308359-1534288199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534270696-8642 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 509320245 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308359-1534288199.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=509320245

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20484840 kB
MemAvailable:   28492720 kB
Buffers:          142924 kB
Cached:          8097244 kB
SwapCached:            4 kB
Active:          7737316 kB
Inactive:        3962128 kB
Active(anon):    3409992 kB
Inactive(anon):   101732 kB
Active(file):    4327324 kB
Inactive(file):  3860396 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:            136732 kB
Writeback:             0 kB
AnonPages:       3466332 kB
Mapped:            68852 kB
Shmem:             49816 kB
Slab:             276516 kB
SReclaimable:     248620 kB
SUnreclaim:        27896 kB
KernelStack:        3584 kB
PageTables:        12588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4166204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3317760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 39072 MiB
End job on node133 at 2018-08-15 01:51:32