Trace number 4308709

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 - Hybrid 2018-08-14SAT (TO)379665800 2520.13 2346.57

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.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 651292971
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.59	c Parsing instance...
37.77/24.39	c Parsing done, starting first complete search...
90.56/70.28	o 388697718
90.56/70.28	o 388697715
90.56/70.29	o 388697713
90.73/70.30	o 388697709
90.73/70.31	o 388679609
90.73/70.32	o 388679602
90.73/70.33	o 388661512
90.73/70.34	o 388661502
90.73/70.35	o 388643412
90.73/70.35	o 388643402
90.73/70.36	o 388643395
90.73/70.39	o 388625291
91.02/70.40	o 388625287
91.02/70.41	o 388607177
91.02/70.43	o 388607175
91.02/70.44	o 388607167
91.02/70.45	o 388570967
91.02/70.46	o 388534767
91.02/70.47	o 388516667
91.02/70.48	o 388498579
91.02/70.49	o 388498571
91.27/70.50	o 388498567
91.27/70.51	o 388480477
91.27/70.52	o 388480467
91.27/70.52	o 388462377
91.27/70.53	o 388462375
91.27/70.54	o 388462367
91.27/70.58	o 388462364
91.27/70.59	o 388444284
91.27/70.59	o 388444274
91.37/70.60	o 388426184
91.37/70.61	o 388426174
91.37/70.62	o 388426171
91.37/70.63	o 388426167
91.37/70.63	o 388426164
91.37/70.65	o 388408068
91.37/70.68	o 388408064
91.37/70.70	o 388389981
91.37/70.70	o 388389978
91.48/70.72	o 388389974
91.48/70.73	o 388389972
91.48/70.74	o 388389964
91.58/70.85	o 388371882
91.58/70.85	o 388371878
91.58/70.86	o 388371876
91.58/70.86	o 388371868
91.58/70.87	o 388371864
92.27/71.55	o 388371860
92.27/71.55	o 388371856
92.37/71.69	o 388353785
92.37/71.69	o 388353781
92.37/71.69	o 388353778
92.37/71.70	o 388353770
92.37/71.70	o 388335670
92.48/71.71	o 388335668
92.48/71.71	o 388335660
92.77/72.00	o 388335656
92.77/72.07	o 388317578
92.77/72.08	o 388317570
92.88/72.11	o 388317566
93.38/72.67	o 388299476
93.38/72.68	o 388299474
93.38/72.68	o 388299466
93.88/73.14	o 388281384
93.88/73.15	o 388281374
93.88/73.19	o 388281366
94.59/73.86	o 388263276
94.59/73.87	o 388263266
94.68/73.91	o 388245184
94.68/73.92	o 388245174
94.68/73.93	o 388245166
95.08/74.30	o 388227094
95.08/74.31	o 388227084
95.08/74.32	o 388227082
95.08/74.32	o 388227074
95.08/74.34	o 388227066
99.04/78.20	o 388208976
99.04/78.21	o 388208966
100.44/79.60	o 388190866
100.94/80.18	o 388172784
100.94/80.19	o 388172774
101.24/80.42	o 388172766
109.52/88.40	o 388154676
109.72/88.60	o 388154666
109.72/88.64	o 388136566
109.72/88.67	o 388118466
110.62/89.55	o 388100376
110.62/89.55	o 388100366
133.54/112.41	o 388082269
133.54/112.41	o 388082266
245.67/224.33	c First complete search done, starting ALNS search...
246.24/224.75	o 388064195
246.24/224.75	o 388064186
246.24/224.77	o 388064185
246.24/224.77	o 388064176
246.24/224.78	o 388064175
246.24/224.79	o 388064166
246.24/224.80	o 388046085
246.24/224.80	o 388046076
247.19/225.30	o 388027976
247.19/225.31	o 388009876
247.19/225.33	o 387991784
247.19/225.34	o 387991776
247.19/225.35	o 387973684
247.19/225.37	o 387973681
247.19/225.38	o 387955589
247.19/225.39	o 387955584
247.29/225.40	o 387937489
247.29/225.41	o 387937484
247.29/225.42	o 387919389
247.29/225.44	o 387919386
247.29/225.47	o 387919381
247.29/225.48	o 387919378
247.40/225.50	o 387901289
247.40/225.51	o 387901286
247.61/225.80	o 387901281
247.71/225.81	o 387901278
247.71/225.83	o 387883189
247.71/225.84	o 387883186
247.71/225.86	o 387883181
247.71/225.87	o 387883178
247.71/225.88	o 387865089
247.71/225.89	o 387865086
248.57/226.66	o 387847016
248.57/226.68	o 387847011
248.57/226.69	o 387828916
248.68/226.75	o 387828913
248.68/226.76	o 387828903
251.92/229.48	o 387828898
251.92/229.49	o 387810798
252.03/229.50	o 387792703
252.03/229.52	o 387792698
254.06/230.64	o 387792688
254.06/230.65	o 387774588
254.06/230.66	o 387756498
254.06/230.66	o 387738398
254.06/230.67	o 387738388
254.06/230.68	o 387720288
254.06/230.68	o 387702188
254.06/230.69	o 387684088
254.06/230.70	o 387665988
254.17/230.72	o 387647888
254.17/230.72	o 387629788
254.17/230.73	o 387611688
254.17/230.74	o 387593588
254.17/230.78	o 387575498
254.17/230.80	o 387575488
254.46/231.05	o 387557398
254.46/231.05	o 387539298
254.46/231.06	o 387539288
254.46/231.08	o 387521188
254.46/231.09	o 387503088
254.57/231.11	o 387484998
254.57/231.11	o 387484988
254.57/231.14	o 387466905
254.57/231.14	o 387466895
254.57/231.15	o 387466888
254.67/231.20	o 387448796
254.67/231.21	o 387448788
254.67/231.22	o 387430688
254.67/231.23	o 387412588
254.67/231.25	o 387394488
254.67/231.26	o 387376398
254.67/231.27	o 387376388
254.67/231.29	o 387358298
254.77/231.30	o 387358288
255.66/232.17	o 387322088
255.97/232.42	o 387322080
256.76/233.11	o 387303980
256.76/233.13	o 387267780
256.76/233.14	o 387249680
257.38/233.76	o 387249672
258.84/235.18	o 387249657
258.84/235.18	o 387249653
258.84/235.19	o 387249651
258.84/235.19	o 387249647
258.84/235.20	o 387249644
258.94/235.23	o 387249643
258.94/235.24	o 387249639
258.94/235.24	o 387249636
258.94/235.25	o 387231574
258.94/235.26	o 387231571
258.94/235.26	o 387231570
258.94/235.27	o 387231567
258.94/235.27	o 387231564
258.94/235.28	o 387231561
258.94/235.29	o 387231560
258.94/235.29	o 387231556
259.04/235.30	o 387231553
259.04/235.31	o 387231550
259.04/235.31	o 387231548
259.04/235.32	o 387231547
259.04/235.33	o 387231544
259.04/235.34	o 387213457
259.04/235.34	o 387213453
259.04/235.35	o 387213451
259.04/235.35	o 387213447
259.04/235.36	o 387213444
259.04/235.37	o 387213442
259.04/235.37	o 387213440
259.04/235.38	o 387213439
259.04/235.39	o 387213436
259.04/235.40	o 387195349
259.14/235.40	o 387195346
259.14/235.40	o 387195345
259.14/235.41	o 387195342
259.14/235.41	o 387195339
259.14/235.42	o 387195336
259.14/235.44	o 387177249
259.14/235.44	o 387177245
259.14/235.45	o 387177243
259.14/235.45	o 387177239
259.14/235.46	o 387177236
259.14/235.47	o 387159167
259.14/235.47	o 387159164
259.14/235.48	o 387159163
259.14/235.48	o 387159160
259.14/235.49	o 387159157
259.14/235.49	o 387159154
259.24/235.51	o 387159153
259.24/235.51	o 387159151
259.24/235.52	o 387159149
259.24/235.53	o 387159148
259.24/235.53	o 387159145
259.24/235.54	o 387159142
259.24/235.55	o 387159140
259.24/235.55	o 387159139
259.24/235.56	o 387159136
259.24/235.57	o 387141058
259.24/235.57	o 387141054
259.24/235.58	o 387141052
259.24/235.58	o 387141048
259.24/235.59	o 387141045
259.24/235.59	o 387141042
259.35/235.60	o 387141040
259.35/235.61	o 387141039
259.35/235.61	o 387141036
259.35/235.63	o 387141035
259.35/235.63	o 387141031
259.35/235.64	o 387141028
259.35/235.66	o 387122966
259.35/235.67	o 387122963
259.35/235.67	o 387122962
259.35/235.68	o 387122959
259.35/235.68	o 387122956
259.35/235.69	o 387122953
259.46/235.72	o 387122950
259.46/235.72	o 387122948
259.46/235.73	o 387122947
259.46/235.73	o 387122944
259.46/235.74	o 387104857
259.46/235.75	o 387104853
259.46/235.75	o 387104851
259.46/235.76	o 387104847
259.46/235.76	o 387104844
262.30/238.25	o 387086744
262.41/238.31	o 387068644
263.23/239.09	o 387050544
263.43/239.21	o 387032444
263.43/239.25	o 387014344
263.74/239.55	o 386996249
265.65/241.06	o 386978159
273.76/248.81	o 386960054
274.93/249.91	o 386960046
276.47/250.93	o 386941956
276.67/251.12	o 386923861
279.30/253.73	o 386923856
279.49/253.97	o 386905756
279.69/254.11	o 386887656
279.79/254.23	o 386869556
279.99/254.41	o 386851466
280.09/254.52	o 386833366
280.30/254.72	o 386815271
280.49/254.95	o 386815266
280.59/255.03	o 386797166
280.79/255.21	o 386779071
280.99/255.43	o 386779056
280.99/255.47	o 386760956
281.20/255.65	o 386742861
281.42/255.82	o 386724766
281.42/255.89	o 386706671
281.61/256.08	o 386706661
281.81/256.24	o 386688566
282.79/256.61	o 386670471
283.00/256.86	o 386670466
283.19/257.01	o 386652371
283.39/257.22	o 386634281
283.49/257.37	o 386634271
283.69/257.57	o 386634266
283.90/257.73	o 386616171
284.51/258.32	o 386598081
284.71/258.50	o 386598071
313.76/285.25	o 386579976
314.16/285.60	o 386561876
314.76/286.21	o 386543776
315.56/287.06	o 386543772
315.96/287.44	o 386525682
316.91/287.91	o 386525672
317.41/288.42	o 386507572
317.82/288.85	o 386489490
318.11/289.19	o 386489480
318.51/289.51	o 386471390
322.65/293.26	o 386471380
322.95/293.58	o 386453290
332.50/302.65	o 386453284
333.14/303.22	o 386435184
334.58/304.19	o 386435181
334.68/304.29	o 386435176
334.78/304.39	o 386417081
335.08/304.66	o 386417076
335.19/304.80	o 386398981
335.48/305.05	o 386398976
335.58/305.11	o 386380881
335.58/305.17	o 386380876
335.68/305.23	o 386362781
336.60/306.12	o 386344690
345.09/313.65	o 386344680
345.59/314.10	o 386236090
345.89/314.48	o 386236080
346.30/314.88	o 386181790
346.69/315.22	o 386181780
347.20/315.75	o 386163690
347.50/316.09	o 386163680
348.00/316.51	o 386109390
354.66/318.57	o 386109380
355.57/319.48	o 386073190
355.88/319.78	o 386073180
356.47/320.38	o 386036990
356.77/320.65	o 386036980
357.37/321.24	o 386000790
357.67/321.50	o 386000780
358.88/322.30	o 385982690
359.18/322.52	o 385982680
359.78/323.10	o 385946490
359.98/323.32	o 385946480
362.18/325.58	o 385928408
362.72/325.84	o 385928398
363.31/326.41	o 385892208
363.41/326.55	o 385892198
364.11/327.30	o 385892190
364.31/327.43	o 385892180
364.91/328.09	o 385874108
365.01/328.18	o 385874098
365.72/328.82	o 385837908
365.81/328.91	o 385837898
367.07/329.96	o 385819798
368.81/331.64	o 385801718
368.81/331.66	o 385801708
369.41/332.21	o 385783618
369.92/332.75	o 385783608
371.40/333.89	o 385783602
372.40/334.85	o 385747428
382.47/343.83	o 385747420
382.96/344.32	o 385747410
383.37/344.76	o 385729320
384.78/345.65	o 385729310
385.18/346.09	o 385711220
385.68/346.58	o 385711210
386.18/347.01	o 385693120
386.89/347.75	o 385693112
386.89/347.79	o 385675022
387.09/347.92	o 385675021
387.79/348.69	o 385675018
387.90/348.79	o 385656928
389.12/349.40	o 385656922
389.53/349.82	o 385656921
390.22/350.51	o 385656912
390.62/350.93	o 385656911
391.02/351.35	o 385638822
392.72/353.03	o 385584503
393.22/353.57	o 385584502
393.82/354.13	o 385566408
395.08/354.85	o 385566407
395.57/355.37	o 385566403
400.09/359.88	o 385512110
401.62/360.89	o 385512109
404.04/363.20	o 385494027
405.55/364.30	o 385475927
408.06/366.80	o 385457827
426.78/383.89	o 385457806
427.07/384.10	o 385457801
427.97/385.00	o 385439706
429.37/386.46	o 385439701
431.01/387.50	o 385421618
452.79/407.61	o 385403528
453.69/408.52	o 385403518
455.86/410.37	o 385403515
456.27/410.80	o 385403514
456.66/411.17	o 385403511
462.41/416.78	o 385403508
462.90/417.20	o 385403501
463.30/417.62	o 385403498
463.60/417.96	o 385403491
464.00/418.37	o 385403488
464.41/418.79	o 385403481
465.04/419.29	o 385403478
465.44/419.68	o 385403471
465.94/420.13	o 385403468
466.44/420.62	o 385403467
466.84/421.04	o 385403465
467.24/421.42	o 385403461
467.65/421.81	o 385403458
468.14/422.30	o 385403455
468.44/422.61	o 385403451
468.84/423.02	o 385403448
473.09/427.13	o 385385371
473.29/427.36	o 385385363
473.59/427.60	o 385385358
474.59/428.64	o 385385348
475.09/429.19	o 385367263
475.52/429.48	o 385367258
476.32/430.22	o 385367253
476.72/430.68	o 385349158
477.23/431.13	o 385349153
477.63/431.54	o 385349148
478.33/432.21	o 385349143
478.73/432.66	o 385331048
481.79/435.53	o 385331043
482.19/435.91	o 385312953
482.49/436.29	o 385312948
484.50/438.28	o 385294863
485.01/438.71	o 385294858
485.40/439.14	o 385294853
485.80/439.56	o 385276758
486.81/440.43	o 385276756
487.22/440.85	o 385276751
487.62/441.26	o 385258661
488.01/441.67	o 385258656
488.72/442.39	o 385258648
489.72/443.36	o 385240562
490.13/443.72	o 385240557
492.24/445.77	o 385222467
493.34/446.87	o 385204377
537.01/489.53	o 385204362
560.94/513.17	o 385186278
563.94/516.15	o 385186273
564.44/516.67	o 385168183
565.04/517.22	o 385168173
565.44/517.64	o 385150083
566.10/518.24	o 385150082
566.71/518.85	o 385150073
566.80/518.91	o 385150072
567.30/519.42	o 385131983
567.30/519.48	o 385131982
568.10/520.26	o 385131973
568.61/520.74	o 385131972
569.11/521.23	o 385113883
569.11/521.27	o 385113882
571.31/523.42	o 385113873
571.77/523.89	o 385095783
572.26/524.36	o 385095782
573.36/525.42	o 385095778
573.77/525.89	o 385077688
574.26/526.37	o 385077687
576.67/528.78	o 385059602
577.16/529.26	o 385059601
578.02/530.08	o 385059597
578.52/530.55	o 385059596
579.32/531.30	o 385059592
579.62/531.69	o 385059591
580.34/532.29	o 385005291
580.95/532.83	o 384987191
582.54/534.47	o 384950991
583.14/535.01	o 384932891
584.20/536.03	o 384896691
584.70/536.56	o 384878591
585.91/537.75	o 384860491
586.91/538.73	o 384824291
587.41/539.22	o 384806191
588.41/540.26	o 384788091
589.57/541.34	o 384751891
589.98/541.77	o 384733791
590.98/542.80	o 384715691
592.17/543.93	o 384697591
593.27/545.02	o 384679491
594.44/546.11	o 384661391
594.74/546.46	o 384643291
595.85/547.58	o 384625191
596.95/548.68	o 384607091
598.06/549.78	o 384589000
599.06/550.81	o 384588991
605.07/556.45	o 384588987
606.58/557.91	o 384588986
608.39/559.77	o 384588982
608.49/559.81	o 384588977
609.08/560.47	o 384588970
609.58/560.91	o 384570880
610.45/561.73	o 384570870
610.84/562.12	o 384552780
611.64/562.92	o 384534698
612.75/564.02	o 384534696
613.46/564.72	o 384534695
613.95/565.24	o 384534694
614.35/565.62	o 384534693
614.75/566.02	o 384534692
620.51/571.69	o 384534679
622.08/573.12	o 384516579
623.88/574.96	o 384498484
625.88/576.98	o 384480384
627.38/578.40	o 384462293
628.50/579.55	o 384462292
631.19/581.37	o 384444202
633.09/583.28	o 384426107
633.79/583.90	o 384408007
638.11/588.05	o 384389907
639.11/589.03	o 384371807
640.11/590.03	o 384353707
641.83/591.73	o 384335607
643.04/592.71	o 384317507
643.93/593.68	o 384299407
645.04/594.74	o 384281307
646.14/595.89	o 384263207
647.23/596.95	o 384245107
648.75/598.24	o 384227007
649.85/599.38	o 384208907
650.95/600.40	o 384190807
652.15/601.62	o 384172707
653.65/603.14	o 384172702
655.39/604.67	o 384154602
656.60/605.85	o 384118402
656.69/605.90	o 384100302
657.79/607.08	o 384082202
657.89/607.13	o 384064102
658.99/608.29	o 384027902
660.50/609.53	o 384009802
661.81/610.81	o 383973602
662.90/611.98	o 383955502
664.10/613.19	o 383955482
665.30/614.39	o 383919282
666.82/615.63	o 383901182
668.12/616.99	o 383883082
669.32/618.16	o 383864982
670.52/619.38	o 383846892
672.15/620.71	o 383828792
673.25/621.88	o 383810692
674.54/623.18	o 383792592
675.74/624.35	o 383774492
678.02/626.21	o 383774488
679.42/627.67	o 383756402
680.73/628.92	o 383756398
681.08/629.23	o 383738307
682.38/630.52	o 383738302
684.61/632.06	o 383720202
685.42/632.82	o 383702117
685.81/633.20	o 383702112
687.21/634.68	o 383684017
688.32/635.71	o 383665917
688.61/636.04	o 383665912
689.51/636.95	o 383647817
691.69/638.52	o 383647812
692.48/639.35	o 383629717
693.38/640.28	o 383593517
694.28/641.12	o 383593512
695.08/641.97	o 383575417
697.33/643.60	o 383557317
698.13/644.43	o 383557312
698.93/645.28	o 383539217
700.44/646.78	o 383539212
701.33/647.63	o 383521117
703.60/649.36	o 383521112
704.50/650.20	o 383503017
705.90/651.64	o 383503012
706.70/652.47	o 383484917
709.26/654.40	o 383484912
709.96/655.14	o 383466817
710.96/656.14	o 383466812
711.76/656.90	o 383448717
737.07/680.02	o 383448707
738.17/681.14	o 383430617
740.18/682.68	o 383430607
741.18/683.63	o 383412517
742.29/684.74	o 383412516
743.30/685.74	o 383412507
744.90/686.88	o 383394417
755.82/697.20	o 383394416
755.82/697.24	o 383394407
765.84/706.20	o 383376317
767.35/707.72	o 383376315
771.84/711.49	o 383376311
774.44/714.06	o 383376310
798.19/735.79	o 383358220
798.38/735.97	o 383358212
798.98/736.54	o 383340117
799.08/736.65	o 383340112
801.09/738.62	o 383322017
801.30/738.83	o 383322012
802.79/740.31	o 383303912
806.14/743.01	o 383285812
807.74/744.65	o 383267712
809.34/746.27	o 383249617
809.54/746.47	o 383249612
823.03/758.65	o 383231512
826.37/761.29	o 383231509
826.47/761.35	o 383231505
828.78/763.65	o 383213423
829.28/764.13	o 383213409
829.38/764.20	o 383213405
830.78/765.68	o 383195328
831.28/766.14	o 383195314
831.38/766.22	o 383195310
833.47/767.65	o 383195309
834.58/768.75	o 383195305
835.87/770.03	o 383177228
835.97/770.13	o 383177214
836.07/770.21	o 383177210
850.17/782.97	o 383159120
851.17/783.97	o 383159118
853.26/785.31	o 383159115
854.56/786.64	o 383141015
865.33/796.69	o 383122915
868.76/799.35	o 383122910
869.96/800.53	o 383104821
873.07/802.98	o 383104820
873.67/803.58	o 383104817
874.38/804.25	o 383086717
875.08/804.99	o 383068617
875.89/805.74	o 383068608
876.68/806.54	o 383068603
877.68/807.56	o 383050512
879.28/808.48	o 383050503
880.89/810.04	o 383032417
881.60/810.77	o 383032408
882.39/811.51	o 383032403
884.00/813.11	o 383014312
884.00/813.18	o 383014303
886.57/815.06	o 382996222
886.67/815.12	o 382996213
887.28/815.74	o 382996208
888.97/817.42	o 382996203
890.47/818.92	o 382978122
890.47/818.96	o 382978113
892.76/820.56	o 382978108
894.36/822.10	o 382978103
895.76/823.58	o 382960017
895.86/823.61	o 382960008
920.45/846.17	o 382887637
931.65/855.96	o 382887630
933.15/857.44	o 382869538
934.66/858.91	o 382851438
936.92/860.59	o 382851430
938.92/862.57	o 382833330
940.33/863.91	o 382815230
942.93/865.87	o 382797137
944.42/867.38	o 382797130
946.02/868.91	o 382779030
949.18/871.40	o 382779020
952.08/874.33	o 382760940
953.68/875.96	o 382760930
956.25/877.88	o 382760920
958.04/879.63	o 382742820
959.74/881.32	o 382724720
963.01/883.95	o 382724711
964.61/885.59	o 382706611
972.51/892.77	o 382688511
976.15/895.62	o 382670420
1026.52/941.11	o 382652324
1030.21/944.15	o 382652319
1031.21/945.11	o 382634224
1038.99/952.13	o 382616124
1040.09/953.28	o 382598029
1041.49/954.60	o 382598024
1044.59/957.09	o 382598021
1045.09/957.50	o 382598016
1046.09/958.53	o 382579916
1047.30/959.78	o 382561816
1048.30/960.77	o 382543716
1049.70/962.17	o 382525621
1051.89/963.51	o 382525616
1053.40/965.00	o 382507516
1057.46/968.35	o 382507514
1057.97/968.81	o 382507509
1059.46/970.30	o 382489425
1060.66/971.58	o 382489414
1061.06/971.91	o 382489409
1061.66/972.52	o 382489404
1064.76/974.92	o 382471304
1067.16/977.38	o 382453209
1067.26/977.48	o 382453204
1068.86/979.03	o 382417004
1071.40/980.87	o 382398904
1073.29/982.71	o 382380809
1074.69/984.18	o 382380804
1077.60/986.35	o 382362709
1079.02/987.74	o 382362704
1080.91/989.60	o 382344604
1108.67/1014.51	o 382344600
1116.30/1021.40	o 382344598
1118.90/1024.04	o 382326498
1126.47/1028.08	o 382308408
1130.98/1032.53	o 382308407
1133.33/1034.88	o 382308404
1135.33/1036.84	o 382308402
1137.33/1038.89	o 382308399
1139.37/1040.86	o 382290309
1141.37/1042.81	o 382290307
1143.70/1045.19	o 382290304
1145.81/1047.25	o 382290299
1147.61/1049.02	o 382272209
1150.36/1051.74	o 382272207
1151.85/1053.23	o 382272206
1152.25/1053.66	o 382272204
1152.75/1054.14	o 382272198
1153.25/1054.62	o 382272197
1153.75/1055.11	o 382272191
1175.55/1076.76	o 382235995
1177.70/1078.89	o 382235990
1179.89/1081.08	o 382217905
1182.14/1083.26	o 382217900
1184.86/1085.95	o 382217894
1186.56/1087.63	o 382199805
1203.68/1104.45	o 382181710
1207.78/1108.43	o 382163619
1208.69/1109.39	o 382163610
1211.41/1112.04	o 382163605
1213.53/1114.02	o 382145510
1216.04/1116.53	o 382145507
1216.25/1116.79	o 382145503
1216.54/1117.08	o 382145501
1216.94/1117.43	o 382145498
1226.14/1126.42	o 382127407
1236.87/1135.78	o 382073107
1239.87/1138.76	o 382018807
1243.66/1141.86	o 381982607
1247.86/1145.46	o 381946407
1254.05/1151.59	o 381928307
1256.73/1153.54	o 381910207
1259.53/1156.34	o 381910202
1282.37/1177.18	o 381892119
1286.25/1180.34	o 381892114
1290.23/1183.66	o 381892113
1293.03/1186.48	o 381892112
1293.13/1186.58	o 381892108
1299.77/1192.48	o 381892102
1301.40/1194.09	o 381874013
1304.40/1197.05	o 381874009
1306.44/1199.07	o 381855920
1311.46/1204.00	o 381837820
1315.46/1207.29	o 381819729
1324.34/1215.33	o 381819720
1327.83/1218.03	o 381801620
1335.07/1224.56	o 381801615
1337.98/1227.48	o 381783515
1341.72/1230.44	o 381765419
1346.26/1234.23	o 381747324
1348.96/1236.96	o 381747319
1357.60/1241.74	o 381729219
1361.42/1245.56	o 381711129
1364.12/1248.23	o 381711124
1365.92/1250.08	o 381711121
1366.32/1250.45	o 381711117
1366.77/1250.85	o 381711113
1367.26/1251.32	o 381711112
1367.67/1251.71	o 381711108
1368.06/1252.13	o 381711104
1368.46/1252.57	o 381711100
1371.10/1255.15	o 381693022
1371.20/1255.23	o 381693018
1371.30/1255.30	o 381693016
1371.30/1255.39	o 381693012
1373.00/1257.01	o 381693010
1375.20/1259.25	o 381693008
1383.48/1267.49	o 381693001
1390.71/1274.63	o 381692996
1396.97/1280.86	o 381674901
1397.87/1281.60	o 381638701
1401.21/1284.93	o 381638696
1404.41/1288.17	o 381602496
1412.99/1296.70	o 381548196
1416.10/1299.73	o 381511996
1419.54/1303.11	o 381457704
1438.06/1319.41	o 381439612
1439.56/1320.95	o 381439610
1443.26/1323.89	o 381421521
1444.86/1325.42	o 381421519
1447.27/1327.88	o 381403407
1451.43/1331.24	o 381385307
1474.45/1351.23	o 381385306
1476.85/1353.67	o 381385298
1479.39/1356.19	o 381367194
1481.39/1358.11	o 381349109
1483.04/1359.78	o 381349104
1485.04/1361.78	o 381330994
1486.34/1363.08	o 381312899
1488.27/1364.95	o 381294809
1491.61/1368.24	o 381276729
1491.71/1368.38	o 381276727
1494.31/1370.94	o 381276720
1494.41/1371.06	o 381276718
1497.45/1374.08	o 381258630
1497.65/1374.22	o 381258628
1500.16/1376.73	o 381258620
1500.26/1376.87	o 381258618
1501.05/1377.68	o 381258613
1502.90/1379.41	o 381258612
1504.40/1380.96	o 381258608
1506.00/1382.56	o 381240518
1507.84/1384.31	o 381240508
1509.54/1386.04	o 381222418
1511.18/1387.61	o 381222408
1512.98/1389.41	o 381222403
1514.78/1391.28	o 381222402
1514.88/1391.33	o 381222397
1514.88/1391.38	o 381222393
1516.62/1393.00	o 381204313
1518.22/1394.60	o 381204303
1520.22/1396.60	o 381204302
1529.01/1405.38	o 381204298
1537.46/1413.74	o 381186208
1537.46/1413.79	o 381186204
1537.65/1413.90	o 381186203
1540.35/1416.60	o 381186202
1540.46/1416.77	o 381186198
1543.50/1419.75	o 381168106
1546.39/1422.63	o 381150006
1549.54/1425.74	o 381149996
1552.54/1428.76	o 381131896
1555.58/1431.77	o 381113806
1558.52/1434.65	o 381095706
1561.62/1437.73	o 381095696
1565.35/1441.45	o 381077606
1568.55/1444.65	o 381077596
1574.39/1449.65	o 381059527
1574.50/1449.72	o 381059525
1574.50/1449.79	o 381059523
1574.60/1449.88	o 381059519
1575.92/1450.67	o 381059517
1576.05/1450.74	o 381059515
1576.15/1450.81	o 381059513
1576.15/1450.88	o 381059509
1577.05/1451.73	o 381059505
1579.54/1454.23	o 381041427
1579.64/1454.30	o 381041425
1579.64/1454.37	o 381041423
1579.74/1454.46	o 381041419
1580.64/1455.30	o 381041417
1580.64/1455.36	o 381041415
1580.74/1455.41	o 381041413
1580.74/1455.47	o 381041409
1582.29/1456.47	o 381041405
1584.60/1458.78	o 381023328
1584.71/1458.85	o 381023326
1584.80/1458.92	o 381023324
1584.90/1459.00	o 381023320
1584.90/1459.08	o 381023316
1585.00/1459.17	o 381023314
1585.10/1459.26	o 381023310
1585.20/1459.35	o 381023306
1586.50/1460.64	o 381023305
1613.86/1485.73	o 381005215
1619.15/1490.26	o 380987122
1631.56/1501.19	o 380969034
1633.36/1502.96	o 380969029
1636.49/1505.34	o 380950929
1640.10/1508.96	o 380932829
1657.48/1524.02	o 380932808
1658.58/1525.14	o 380932803
1672.44/1534.36	o 380914703
1677.48/1539.36	o 380896603
1685.32/1547.13	o 380878503
1699.30/1561.01	o 380860427
1699.54/1561.22	o 380860418
1700.05/1561.75	o 380842328
1700.15/1561.86	o 380842319
1700.34/1562.07	o 380842318
1700.94/1562.69	o 380824227
1701.15/1562.89	o 380824218
1701.74/1563.44	o 380806127
1701.94/1563.62	o 380806118
1704.89/1566.52	o 380788033
1704.99/1566.62	o 380788024
1705.10/1566.71	o 380788023
1708.80/1570.46	o 380769932
1712.44/1574.01	o 380769928
1715.29/1576.84	o 380769923
1741.65/1602.95	o 380751828
1742.65/1603.97	o 380733728
1744.05/1605.30	o 380733723
1747.29/1608.54	o 380715628
1748.50/1609.78	o 380715623
1818.62/1673.50	o 380697513
1833.88/1687.21	o 380679413
1837.73/1690.32	o 380661339
1840.14/1692.75	o 380661329
1844.35/1696.13	o 380661324
1846.50/1698.24	o 380607024
1846.50/1698.28	o 380588924
1846.60/1698.36	o 380570833
1846.70/1698.43	o 380570824
1846.70/1698.47	o 380552733
1846.80/1698.54	o 380552724
1846.90/1698.68	o 380534624
1847.11/1698.89	o 380516533
1854.64/1706.35	o 380516532
1858.49/1710.18	o 380516529
1862.33/1713.96	o 380498429
1866.18/1717.78	o 380480338
1867.67/1719.20	o 380480333
1871.01/1722.58	o 380444138
1871.11/1722.67	o 380444133
1874.51/1726.08	o 380444130
1875.52/1727.03	o 380426030
1875.62/1727.18	o 380426025
1893.89/1745.28	o 380407930
1894.19/1745.56	o 380407925
1904.68/1755.91	o 380407924
1913.88/1765.06	o 380389842
1917.48/1768.65	o 380389839
1919.32/1770.40	o 380389834
1932.22/1782.40	o 380371745
1936.82/1786.40	o 380371740
1941.23/1790.23	o 380353654
1941.33/1790.39	o 380353645
1945.14/1794.19	o 380353641
1946.35/1794.72	o 380353640
1952.98/1800.49	o 380353638
1973.39/1818.50	o 380353626
1978.33/1822.62	o 380335536
1979.44/1823.75	o 380335531
1988.68/1828.97	o 380317438
1991.98/1832.30	o 380317431
1993.22/1833.42	o 380317426
1996.12/1836.36	o 380299326
1999.86/1840.03	o 380299324
2000.86/1841.00	o 380299319
2007.81/1847.96	o 380299318
2008.81/1848.90	o 380263118
2022.44/1862.42	o 380263103
2027.78/1867.77	o 380263098
2031.31/1871.24	o 380245003
2033.32/1873.22	o 380226903
2034.32/1874.28	o 380226893
2040.64/1879.81	o 380208798
2041.23/1880.39	o 380190699
2041.83/1880.95	o 380190698
2051.63/1889.13	o 380172599
2052.13/1889.61	o 380172598
2063.23/1900.63	o 380172594
2070.67/1908.07	o 380172590
2074.52/1911.84	o 380172589
2077.76/1915.03	o 380172584
2081.36/1918.60	o 380154495
2085.70/1922.97	o 380136415
2090.55/1927.71	o 380136405
2095.29/1932.44	o 380136400
2097.29/1934.42	o 380118310
2099.29/1936.42	o 380118305
2102.23/1939.38	o 380100217
2104.03/1941.20	o 380100212
2120.95/1956.40	o 380100208
2124.05/1959.53	o 380100203
2126.27/1961.78	o 380082118
2127.43/1962.20	o 380082113
2129.43/1964.25	o 380082108
2135.40/1969.55	o 380082103
2142.23/1975.63	o 380064012
2144.53/1977.93	o 380064003
2148.28/1981.60	o 380045920
2150.49/1983.86	o 380045911
2153.72/1987.00	o 380045903
2156.44/1989.73	o 380027812
2158.67/1991.93	o 380027803
2159.67/1992.95	o 380009721
2161.77/1995.07	o 380009718
2164.42/1997.67	o 380009716
2166.53/1999.77	o 380009713
2194.55/2027.53	o 380009708
2196.87/2029.83	o 379991631
2197.16/2030.11	o 379991621
2199.40/2032.37	o 379991616
2202.00/2034.91	o 379991613
2204.30/2037.27	o 379991608
2207.05/2039.96	o 379973531
2207.15/2040.06	o 379973526
2209.35/2042.26	o 379973521
2211.69/2044.50	o 379973516
2213.90/2046.72	o 379973508
2214.69/2047.52	o 379955413
2215.20/2048.08	o 379955408
2221.14/2053.93	o 379937308
2246.04/2078.64	o 379919213
2248.04/2080.70	o 379919208
2272.44/2104.84	o 379901108
2274.44/2106.82	o 379901098
2276.48/2108.88	o 379883013
2278.48/2110.81	o 379883003
2281.81/2114.16	o 379882998
2285.32/2117.62	o 379882988
2288.66/2120.97	o 379864903
2291.77/2124.01	o 379864893
2314.01/2146.16	o 379846798
2316.16/2148.28	o 379846793
2324.61/2156.65	o 379846783
2334.80/2166.80	o 379828693
2393.45/2225.06	o 379810603
2400.50/2232.04	o 379810598
2402.80/2234.34	o 379810593
2404.64/2236.18	o 379810590
2405.84/2237.33	o 379810585
2408.05/2239.53	o 379792495
2410.15/2241.69	o 379792490
2413.71/2245.13	o 379774390
2416.43/2247.81	o 379774385
2418.02/2249.45	o 379756285
2420.07/2251.49	o 379738190
2458.40/2289.60	o 379720102
2458.80/2289.95	o 379720099
2459.50/2290.62	o 379720098
2459.80/2290.95	o 379720095
2461.24/2292.30	o 379720094
2461.84/2292.96	o 379720093
2462.44/2293.55	o 379720090
2463.94/2295.04	o 379702002
2464.44/2295.50	o 379701999
2464.94/2296.08	o 379701998
2465.44/2296.54	o 379701995
2466.76/2297.84	o 379701994
2467.35/2298.44	o 379701993
2467.89/2298.99	o 379701990
2469.49/2300.55	o 379683905
2469.99/2301.07	o 379683902
2471.29/2302.39	o 379683900
2471.80/2302.89	o 379683897
2473.30/2304.33	o 379683895
2474.54/2305.58	o 379683893
2475.76/2306.74	o 379683890
2504.26/2330.81	o 379665809
2504.26/2330.87	o 379665806
2504.35/2330.93	o 379665804
2507.85/2334.46	o 379665802
2511.40/2337.96	o 379665800
2520.04/2346.50	s SATISFIABLE
2520.04/2346.51	v <instantiation>
2520.04/2346.51	v 	<list>
2520.04/2346.51	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.04/2346.51	v 	</list>
2520.04/2346.51	v 	<values>
2520.04/2346.51	v 		2344 2392 2196 2480 2452 2372 2172 2524 2356 2648 2304 2624 2468 2444 2456 2608 2524 2524 2668 2268 2408 2540 2468 2544 2316 2364 2272 2488 2420 2456 2680 2500 2516 2412 2176 2552 2504 2288 2584 2576 2364 2304 2528 2488 2476 2416 2500 2496 2628 2480 2380 2632 2484 2328 2568 2652 2276 2432 2660 2524 2408 2160 2456 2204 2332 2308 2448 2160 2372 2216 2588 2196 2288 2256 2164 2504 2456 2664 2328 2416 2564 2644 2472 2484 2532 2460 2120 2544 2440 2176 2488 2248 2500 2428 2128 2400 2556 2520 2472 2480 2444 2416 2420 2496 2216 2692 2456 2608 2416 2520 2340 2460 2188 2544 2176 2468 2668 2524 2236 2404 2332 2420 2236 2548 2136 2584 2344 2484 2376 2528 2468 2460 2484 2388 2196 2492 2148 2468 2592 2440 2416 2332 2540 2212 2676 2604 2176 2576 2460 2248 2544 2544 2428 2428 2120 2196 2500 2228 2380 2536 2368 2704 2588 2384 2416 2480 2540 2292 2496 2328 2464 2568 2664 2480 2448 2200 2208 2448 2548 2488 2264 2484 2536 2120 2512 2420 2428 2420 2700 2380 2160 2512 2248 2420 2368 2284 2504 2240 2400 2460 2612 2652 2372 2648 2408 2424 2344 2564 2472 2216 2308 2484 2624 2448 2588 2712 2456 2368 2324 2304 2432 2628 2340 2264 2160 2508 2416 2328 2484 2156 2504 2380 2324 2524 2612 2436 2228 2476 2440 2308 2464 2432 2288 2672 2408 2528 2460 2516 2520 2500 2188 2592 2720 2288 2500 2456 2572 2268 2548 2524 2432 2688 2488 2516 2484 2376 2276 2136 2492 2476 2496 2360 2572 2528 2368 2300 2476 2716 2268 2444 2332 2392 2376 2436 2504 2156 2312 2316 2472 2304 2420 2380 2456 2692 2396 2168 2120 2508 2532 2348 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 11 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 10 10 10 0 0 10 10 9 0 10 10 10 0 0 10 10 10 0 10 0 10 0 10 10 0 10 10 0 10 0 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 10 0 10 10 0 10 0 10 0 10 10 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 10 10 10 0 10 0 0 10 10 0 0 0 0 10 10 0 10 0 0 10 10 10 10 10 10 0 10 0 10 10 10 0 10 10 0 10 10 0 0 10 0 0 0 0 10 10 10 0 0 10 0 0 10 0 0 0 10 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 0 10 0 0 10 0 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 0 0 0 10 10 10 10 10 10 0 0 0 10 0 0 10 10 0 10 0 10 0 10 10 10 0 0 10 10 10 10 0 10 10 0 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 10 10 10 10 0 10 10 0 10 10 0 0 10 0 10 0 10 10 0 0 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 0 10 10 10 0 10 0 0 0 10 0 0 10 10 10 10 10 10 0 0 0 0 0 10 10 0 0 0 10 10 10 10 0 0 0 10 10 0 10 10 10 0 10 10 10 0 0 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 10 10 10 10 10 10 10 0 10 0 0 0 0 10 0 10 10 10 0 10 0 10 10 10 10 10 0 0 10 0 0 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 6 10 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 0 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 10 10 10 0 0 0 10 0 0 0 10 10 10 10 0 0 10 0 10 0 0 0 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 0 10 0 0 10 10 10 10 10 10 0 10 10 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 10 0 0 10 10 10 10 10 10 0 10 10 0 10 10 0 0 0 10 10 0 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 0 0 10 10 0 10 0 10 0 0 10 10 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 0 10 10 10 10 10 10 0 10 0 10 10 0 10 0 0 0 10 10 0 10 0 10 10 0 10 0 10 0 10 10 0 10 0 0 10 0 5 10 10 10 10 10 0 10 0 10 0 0 0 0 10 10 0 0 0 0 10 4 0 10 0 10 10 0 10 0 10 0 0 10 10 10 10 0 0 10 0 0 10 10 10 0 0 10 0 10 10 10 10 0 0 0 10 0 10 10 10 0 10 0 10 0 10 0 0 10 10 10 10 0 10 10 10 0 10 0 10 10 10 5 10 0 0 10 10 10 0 0 10 0 0 10 10 10 10 0 0 10 10 10 10 10 0 0 10 10 0 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 0 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 10 0 10 10 0 10 0 0 10 0 0 10 0 10 10 10 0 0 0 0 10 0 10 10 10 0 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 0 0 10 0 0 10 10 0 10 10 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 10 0 10 0 10 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 0 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 0 10 0 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 10 10 10 0 0 0 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 0 7 10 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 0 10 0 0 0 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 0 0 0 10 10 10 10 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 10 10 10 10 10 10 10 0 10 0 0 10 10 0 10 10 0 10 0 0 10 0 0 0 0 0 10 0 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 0 0 10 10 10 10 0 10 0 10 0 0 10 10 10 10 0 10 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 10 0 10 10 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 10 10 0 0 10 10 4 10 0 10 10 10 10 10 0 10 0 10 0 0 10 0 10 0 10 10 0 10 0 10 10 10 10 0 0 0 10 10 10 10 0 10 10 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 10 0 10 10 10 10 10 10 0 0 0 10 0 10 0 10 0 10 10 0 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 10 10 0 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 10 10 10 10 10 10 0 0 0 10 10 0 10 10 10 10 0 10 10 0 10 10 10 0 10 10 10 0 0 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 10 10 0 10 0 10 10 10 10 10 0 0 10 0 10 0 0 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 0 0 0 0 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 0 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 0 10 10 10 0 0 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 0 10 0 0 0 10 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 0 0 0 10 10 10 10 10 0 10 0 64 124 68 72 156 204 248 196 96 56 228 228 128 176 260 116 176 172 264 156 152 52 84 104 124 92 88 300 344 292 92 212 392 244 332 0 244 468 308 432 68 288 280 88 48 172 52 104 196 4 360 24 132 64 24 40 20 36 236 156 292 236 136 124 204 108 40 152 124 60 220 48 96 80 44 80 124 252 68 20 436 352 316 392 300 52 324 44 296 432 256 308 368 16 176 36 52 140 4 96 44 60 404 124 20 200 88 336 148 268 196 304 288 12 12 376 144 120 148 124 44 28 188 220 220 320 4 216 332 172 196 68 244 196 140 144 196 504 24 280 0 208 140 264 280 0 4 252 52 60 80 36 16 256 48 232 124 76 168 40 272 0 96 76 8 168 0 16 88 260 56 88 192 132 76 68 108 112 152 68 96 148 112 240 44 236 404 276 52 12 116 40 40 8 48 48 368 404 28 128 248 364 308 52 64 20 156 184 216 164 212 220 144 168 400 180 4 104 124 240 60 240 548 284 120 380 180 292 248 212 364 108 236 32 200 216 200 160 76 20 260 60 8 8 60 52 20 184 136 296 40 40 120 92 164 64 4 120 284 84 4 152 64 108 84 108 104 224 52 52 32 0 8 80 124 68 236 100 80 104 4 332 128 164 276 232 88 48 208 92 140 248 180 224 196 220 100 140 160 128 124 136 108 116 104 116 8 120 24 72 100 68 128 16 232 420 252 212 404 44 56 108 380 212 112 320 160 284 32 28 40 4 100 36 80 4 256 64 64 4 60 128 148 220 44 108 44 240 12 92 156 96 0 300 520 92 196 432 248 220 300 212 28 20 28 48 44 36 68 344 12 20 100 36 148 44 108 156 44 8 60 8 192 236 48 52 252 100 12 108 328 312 56 516 164 60 372 240 152 64 476 204 416 244 100 392 8 124 104 264 192 252 164 248 172 216 48 88 188 20 160 148 124 236 28 188 384 76 240 112 96 40 364 132 8 52 408 40 104 204 128 144 12 92 216 316 272 56 88 248 156 92 400 36 64 148 128 36 200 44 76 108 116 24 20 52 136 8 60 68 76 112 72 128 220 360 24 184 124 116 72 124 68 140 116 228 44 324 36 88 48 64 48 8 108 288 120 0 152 12 72 160 164 36 312 88 68 272 140 200 12 44 24 168 44 192 144 72 36 96 4 20 108 28 84 56 52 44 160 120 32 200 48 128 56 4 88 380 20 108 84 84 132 116 216 24 212 104 188 28 108 208 8 60 8 340 40 432 16 84 92 152 280 24 284 24 268 360 132 4 156 240 212 72 64 164 168 296 208 68 320 92 76 168 104 112 304 204 232 212 256 44 152 136 120 204 260 20 256 100 168 112 24 44 72 64 104 12 220 24 88 152 128 236 204 88 88 100 208 44 68 84 48 192 44 92 80 220 492 168 160 88 312 344 352 348 40 60 156 168 332 56 376 64 52 32 240 36 28 104 72 104 312 56 32 116 156 16 280 24 104 180 76 176 260 184 540 36 104 104 20 124 108 136 116 64 76 48 252 120 116 88 68 28 56 448 256 180 0 148 528 140 556 152 220 532 124 28 124 192 336 156 48 20 264 256 156 88 212 28 168 140 256 176 188 108 172 276 232 76 100 384 188 272 260 80 36 32 36 124 116 72 448 300 336 296 84 88 44 48 128 184 96 120 20 328 324 348 92 300 84 500 96 88 96 76 128 420 240 68 288 0 224 260 60 196 152 180 128 96 252 108 160 328 120 340 252 312 128 172 44 256 276 8 264 20 184 60 28 100 280 12 4 120 24 32 24 32 28 188 140 100 236 324 288 124 152 236 156 336 132 236 100 72 184 40 0 196 284 188 148 56 200 72 76 160 288 124 48 132 40 44 80 24 132 44 80 36 408 240 100 108 404 244 236 300 72 284 116 340 224 28 20 324 12 12 352 40 36 4 68 208 24 56 220 0 36 4 12 72 48 180 76 36 76 92 40 168 136 112 8 116 308 252 312 168 156 64 76 76 48 252 120 64 124 260 44 88 144 96 164 20 192 212 24 224 108 72 124 32 192 280 8 88 204 68 188 28 60 108 272 184 124 112 20 120 296 188 468 100 28 284 84 40 92 52 148 28 16 132 60 212 72 180 160 112 120 308 104 100 48 52 480 276 420 336 80 120 180 320 136 252 148 24 100 20 188 112 48 72 212 100 24 108 132 140 136 216 32 120 56 60 136 36 288 72 436 28 92 104 24 32 60 192 4 120 64 232 200 12 184 76 20 0 16 280 60 216 60 312 360 40 56 40 16 112 128 48 12 284 208 112 112 248 212 52 180 192 12 28 88 68 76 52 72 48 28 36 152 72 60 40 228 360 312 20 272 80 52 172 456 208 16 364 284 236 376 272 152 124 148 32 336 56 16 116 20 192 264 140 124 92 124 76 220 92 8 36 292 24 96 32 144 336 312 76 144 24 208 284 44 104 48 112 324 68 84 304 404 348 272 400 4 60 4 96 384 144 168 60 112 84 176 168 184 192 244 8 80 68 20 100 80 24 104 100 120 180 156 80 236 328 196 24 128 144 68 256 92 40 208 404 180 148 332 28 352 132 88 48 288 280 124 16 100 32 212 148 172 40 176 80 40 168 156 8 92 44 108 112 304 308 308 20 476 88 80 208 296 160 12 180 156 100 180 188 72 208 304 40 92 300 56 144 168 8 156 104 164 40 284 196 332 116 148 192 192 60 36 328 52 116 52 8 32 36 164 212 172 52 212 236 0 208 156 236 24 144 12 392 132 108 100 192 24 40 76 244 92 88 112 12 288 272 288 180 24 160 328 212 60 268 20 52 20 104 184 84 172 280 172 240 316 76 276 184 32 36 80 96 348 420 516 364 380 572 128 212 72 136 12 80 308 100 220 192 24 12 112 128 144 248 304 44 8 20 72 60 132 56 80 48 84 0 96 72 56 212 148 92 320 240 20 164 328 4 60 352 32 272 452 292 128 24 244 192 360 68 24 80 140 144 120 112 536 16 204 396 372 216 92 52 48 288 212 204 12 28 44 180 32 244 144 68 108 376 424 120 28 244 172 148 60 8 232 48 188 284 328 300 288 356 288 340 396 156 372 224 148 308 40 72 200 344 16 20 168 212 288 300 132 12 96 28 92 308 80 224 64 40 32 88 380 96 12 96 44 72 256 324 336 264 436 156 48 76 140 0 260 24 212 80 56 224 328 72 96 236 44 68 256 68 24 44 152 176 112 212 104 24 312 28 28 112 92 48 272 164 8 256 16 164 76 148 24 76 152 360 104 376 52 244 60 156 12 224 248 12 40 8 68 96 44 192 244 256 240 232 232 92 28 24 172 192 20 12 48 176 124 240 48 304 452 232 324 276 208 160 220 256 152 188 80 124 160 100 44 24 284 84 88 172 68 68 12 220 212 8 92 224 28 0 0 104 40 44 24 40 8 36 168 180 368 416 528 356 472 184 100 136 172 136 292 16 56 88 60 160 100 52 96 76 260 136 84 96 80 56 332 276 396 184 512 164 120 312 552 284 80 244 8 32 92 216 116 36 64 64 108 140 340 216 188 224 120 4 236 68 4 24 100 284 288 260 104 96 128 20 232 4 28 184 232 60 96 60 336 144 116 104 344 160 336 228 192 480 120 76 12 76 236 100 128 280 372 148 256 124 264 88 152 260 184 128 204 100 124 248 244 144 196 84 24 20 24 108 232 308 140 40 8 52 260 72 132 256 56 524 20 20 0 288 180 124 92 196 204 212 200 92 96 72 116 32 348 40 376 28 40 352 8 116 212 456 212 156 144 164 64 352 0 148 76 148 284 132 48 60 4 52 328 64 240 68 212 96 76 112 136 36 156 296 148 24 48 136 236 80 148 104 120 44 24 56 108 380 8 408 4 4 72 384 328 64 88 344 140 432 12 428 16 92 404 112 140 24 28 100 260 160 72 80 20 404 180 324 68 160 196 204 344 88 436 100 112 24 76 48 256 52 60 12 312 172 388 384 308 140 204 212 136 176 120 20 96 52 0 96 132 76 8 20 12 80 324 412 336 128 100 60 192 84 48 8 68 196 388 312 24 
2520.04/2346.51	v 	</values>
2520.04/2346.51	v </instantiation>

Verifier Data 

OK	379665800

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 (12096 MiB free)
  memory of node 1: 16384 MiB (6503 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308709-1534303273/watcher-4308709-1534303273 -o /tmp/evaluation-result-4308709-1534303273/solver-4308709-1534303273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 651292971 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308709-1534303273.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
solver pid=23054, runsolver pid=23051
Current StackSize limit: 8192 KiB


[startup+0.105084 s]*
/proc/loadavg: 2.15 2.01 2.12 3/215 23069
/proc/meminfo: memFree=19028380/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14082736 memory=33400 CPUtime=0.11 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 7292 0 0 0 10 1 0 0 20 0 15 0 247890479 14420721664 8350 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3520684 8350 3137 1 0 3482761 0
[pid=23054/tid=23056] ppid=23051 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 5358 0 0 0 8 1 0 0 20 0 15 0 247890479 14420721664 8350 33554432000 4194304 4196468 140736236963296 140369053844616 140369049658525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14082736 memory=5793855697475488185 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 8350 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 8350 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 8350 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247890481 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368522761504 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368521709168 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0.01 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) R 23051 23054 21941 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 247890484 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368517499248 140369028605830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890485 14420721664 8350 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33400 KiB

[startup+0.212176 s]*
/proc/loadavg: 2.15 2.01 2.12 4/215 23069
/proc/meminfo: memFree=19013744/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14082736 memory=46788 CPUtime=0.3 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 10293 0 0 0 28 2 0 0 20 0 15 0 247890479 14420721664 11697 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3520684 11697 3377 1 0 3482761 0
[pid=23054/tid=23056] ppid=23051 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) S 23051 23054 21941 0 -1 1077944384 8047 0 0 0 18 2 0 0 20 0 15 0 247890479 14420721664 11697 33554432000 4194304 4196468 140736236963296 140369053865440 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14082736 memory=4211974172670385546 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 11697 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 11697 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 11697 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247890481 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368522761504 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368521709168 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) R 23051 23054 21941 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 247890484 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) R 23051 23054 21941 0 -1 4202560 106 0 0 0 1 0 0 0 20 0 15 0 247890484 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368518551536 140369028882398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0.06 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) R 23051 23054 21941 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 15 0 247890484 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368517495616 140369028439736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890485 14420721664 11697 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46788 KiB

[startup+0.310513 s]*
/proc/loadavg: 2.15 2.01 2.12 3/215 23069
/proc/meminfo: memFree=19010828/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14082736 memory=50372 CPUtime=0.43 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 10703 0 0 0 41 2 0 0 20 0 15 0 247890479 14420721664 12593 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3520684 12593 3380 1 0 3482761 0
[pid=23054/tid=23056] ppid=23051 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 8426 0 0 0 27 2 0 0 20 0 15 0 247890479 14420721664 12593 33554432000 4194304 4196468 140736236963296 140369053852000 140369031201073 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14082736 memory=4211974172670385546 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 12593 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14082736 memory=140446465597365 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 12593 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14082736 memory=140446303125445 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 12593 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14082736 memory=140446303112655 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247890480 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14082736 memory=140446465616976 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247890481 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14082736 memory=140446303121839 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368522761504 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14082736 memory=280892606234512 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247890482 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368521709168 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14082736 memory=280892606232208 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 247890484 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 247890484 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0.08 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) S 23051 23054 21941 0 -1 1077944384 303 0 0 0 8 0 0 0 20 0 15 0 247890484 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368517499248 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14082736 memory=140446465595008 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890485 14420721664 12593 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50372 KiB

[startup+0.70077 s]
/proc/loadavg: 2.15 2.01 2.12 3/215 23069
/proc/meminfo: memFree=18988436/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14084804 memory=86696 CPUtime=0.99 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 17539 0 0 0 95 4 0 0 20 0 15 0 247890479 14422839296 21674 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3521201 21674 3503 1 0 3483273 0
[pid=23054/tid=23056] ppid=23051 vsize=14084804 memory=1220 CPUtime=0.66 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 14822 0 0 0 63 3 0 0 20 0 15 0 247890479 14422839296 21674 33554432000 4194304 4196468 140736236963296 140369053854240 140369031031805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14422839296 21674 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14422839296 21674 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890480 14422839296 21674 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247890480 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14084804 memory=6370994028255662165 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247890481 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247890482 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368522761504 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247890482 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368521709168 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14084804 memory=229 CPUtime=0.06 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 649 0 0 0 6 0 0 0 20 0 15 0 247890484 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 272 0 0 0 8 0 0 0 20 0 15 0 247890484 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14084804 memory=706 CPUtime=0.15 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) R 23051 23054 21941 0 -1 4202560 416 0 0 0 15 0 0 0 20 0 15 0 247890484 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368517499248 140369028775373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14084804 memory=280892606418416 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247890485 14422839296 21674 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86696 KiB

[startup+1.50072 s]
/proc/loadavg: 2.13 2.01 2.11 3/215 23069
/proc/meminfo: memFree=18746416/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14086852 memory=448916 CPUtime=3.21 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 20531 0 0 0 291 30 0 0 20 0 15 0 247890479 14424936448 112229 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3521713 112229 3562 1 0 3483785 0
[pid=23054/tid=23056] ppid=23051 vsize=14086852 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 15322 0 0 0 125 9 0 0 20 0 15 0 247890479 14424936448 112229 33554432000 4194304 4196468 140736236963296 140369053870344 140368679234608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14086852 memory=4945971215441173376 CPUtime=0.11 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 197 0 0 0 6 5 0 0 20 0 15 0 247890480 14424936448 112229 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14086852 memory=-5935003825295549024 CPUtime=0.08 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 143 0 0 0 4 4 0 0 20 0 15 0 247890480 14424936448 112229 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14086852 memory=-6585528546044026665 CPUtime=0.09 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 138 0 0 0 5 4 0 0 20 0 15 0 247890480 14424936448 112229 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14086852 memory=-3472574513799858009 CPUtime=0.09 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 133 0 0 0 5 4 0 0 20 0 15 0 247890480 14424936448 112229 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14086852 memory=-7162802967861482030 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 247890481 14424936448 112229 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0

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

/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 245935 0 0 0 214888 83 0 0 20 0 15 0 247890479 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140369053874272 140368680551611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14092996 memory=928 CPUtime=51.1 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 97142 0 0 0 4982 128 0 0 20 0 15 0 247890480 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14092996 memory=6855048 CPUtime=51.14 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 113624 0 0 0 4991 123 0 0 20 0 15 0 247890480 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14092996 memory=6855040 CPUtime=51.17 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 105677 0 0 0 4990 127 0 0 20 0 15 0 247890480 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14092996 memory=6855036 CPUtime=51.19 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 100096 0 0 0 4994 125 0 0 20 0 15 0 247890480 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=0.98 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 49757 0 0 0 91 7 0 0 20 0 15 0 247890481 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14092996 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368522761568 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14092996 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368521709184 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14092996 memory=67464 CPUtime=6.33 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 41278 0 0 0 628 5 0 0 20 0 15 0 247890484 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14092996 memory=1100 CPUtime=5.62 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 40005 0 0 0 558 4 0 0 20 0 15 0 247890484 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14092996 memory=0 CPUtime=1.89 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) S 23051 23054 21941 0 -1 1077944384 47728 0 0 0 183 6 0 0 20 0 15 0 247890484 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368517499248 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14092996 memory=11702 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14092996 memory=24398 CPUtime=1.36 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 2174 0 0 0 66 70 0 0 20 0 15 0 247890485 14431227904 1713768 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 2370.6 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6855072 KiB

[startup+2262.3 s]
/proc/loadavg: 1.73 1.85 1.92 3/215 23213
/proc/meminfo: memFree=13438096/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14092996 memory=6882228 CPUtime=2431.03 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 860940 0 0 0 242436 667 0 0 20 0 15 0 247890479 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3523249 1720557 3629 1 0 3485321 0
[pid=23054/tid=23056] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=2209.56 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 253201 0 0 0 220872 84 0 0 20 0 15 0 247890479 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140369053874208 140368680551523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14092996 memory=1220 CPUtime=51.23 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 99011 0 0 0 4994 129 0 0 20 0 15 0 247890480 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14092996 memory=1800 CPUtime=51.27 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 116074 0 0 0 5003 124 0 0 20 0 15 0 247890480 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14092996 memory=6882228 CPUtime=51.31 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 107276 0 0 0 5003 128 0 0 20 0 15 0 247890480 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14092996 memory=6882228 CPUtime=51.31 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 101765 0 0 0 5005 126 0 0 20 0 15 0 247890480 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14092996 memory=6882228 CPUtime=0.99 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 50003 0 0 0 92 7 0 0 20 0 15 0 247890481 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368522761568 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14092996 memory=67468 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368521709184 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14092996 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14092996 memory=2144 CPUtime=6.33 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 41280 0 0 0 628 5 0 0 20 0 15 0 247890484 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14092996 memory=1752 CPUtime=5.62 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 40007 0 0 0 558 4 0 0 20 0 15 0 247890484 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14092996 memory=5540 CPUtime=1.9 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) S 23051 23054 21941 0 -1 1077944384 48657 0 0 0 184 6 0 0 20 0 15 0 247890484 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368517499248 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14092996 memory=4400 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14092996 memory=1620 CPUtime=1.41 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 2212 0 0 0 68 73 0 0 20 0 15 0 247890485 14431227904 1720557 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 2431.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6882228 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.86 1.92 3/215 23214
/proc/meminfo: memFree=13727024/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14092996 memory=6898624 CPUtime=2491.45 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 879926 0 0 0 248474 671 0 0 20 0 15 0 247890479 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3523249 1724656 3629 1 0 3485321 0
[pid=23054/tid=23056] ppid=23051 vsize=14092996 memory=6896576 CPUtime=2269.43 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 262354 0 0 0 226858 85 0 0 20 0 15 0 247890479 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140369053869280 140368678172274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14092996 memory=6896576 CPUtime=51.35 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 101605 0 0 0 5006 129 0 0 20 0 15 0 247890480 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14092996 memory=928 CPUtime=51.41 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 117639 0 0 0 5016 125 0 0 20 0 15 0 247890480 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14092996 memory=3812 CPUtime=51.44 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 109717 0 0 0 5015 129 0 0 20 0 15 0 247890480 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14092996 memory=67468 CPUtime=51.43 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 103402 0 0 0 5017 126 0 0 20 0 15 0 247890480 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14092996 memory=1100 CPUtime=1 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 50273 0 0 0 92 8 0 0 20 0 15 0 247890481 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368522761568 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14092996 memory=67468 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368521709184 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14092996 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=6.33 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 41587 0 0 0 628 5 0 0 20 0 15 0 247890484 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14092996 memory=1800 CPUtime=5.62 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 40867 0 0 0 558 4 0 0 20 0 15 0 247890484 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14092996 memory=868 CPUtime=1.9 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) S 23051 23054 21941 0 -1 1077944384 48789 0 0 0 184 6 0 0 20 0 15 0 247890484 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368517499248 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14092996 memory=6544 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14092996 memory=6898624 CPUtime=1.44 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 2239 0 0 0 70 74 0 0 20 0 15 0 247890485 14431227904 1724656 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 2491.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6898624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2346.5 s]
/proc/loadavg: 1.81 1.86 1.92 3/216 23221
/proc/meminfo: memFree=13870720/32770624 swapFree=67108372/67108860
[pid=23054] ppid=23051 vsize=14092996 memory=6934360 CPUtime=2520.04 cores=0,2,4,6
/proc/23054/stat : 23054 (java) S 23051 23054 21941 0 -1 1077944320 897612 0 0 0 251330 674 0 0 20 0 15 0 247890479 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140736236945840 140369049636599 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
/proc/23054/statm: 3523249 1733590 3629 1 0 3485321 0
[pid=23054/tid=23056] ppid=23051 vsize=14092996 memory=7532 CPUtime=2292.13 cores=0,2,4,6
/proc/23054/task/23056/stat : 23056 (java) R 23051 23054 21941 0 -1 4202560 264497 0 0 0 229127 86 0 0 20 0 15 0 247890479 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140369053874208 140368680551353 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23057] ppid=23051 vsize=14092996 memory=6791534058613427641 CPUtime=52.82 cores=0,2,4,6
/proc/23054/task/23057/stat : 23057 (java) S 23051 23054 21941 0 -1 1077944384 102640 0 0 0 5153 129 0 0 20 0 15 0 247890480 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140369002256784 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23058] ppid=23051 vsize=14092996 memory=2196 CPUtime=52.84 cores=0,2,4,6
/proc/23054/task/23058/stat : 23058 (java) S 23051 23054 21941 0 -1 1077944384 118710 0 0 0 5159 125 0 0 20 0 15 0 247890480 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140369001203984 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23059] ppid=23051 vsize=14092996 memory=3988 CPUtime=52.9 cores=0,2,4,6
/proc/23054/task/23059/stat : 23059 (java) S 23051 23054 21941 0 -1 1077944384 111071 0 0 0 5161 129 0 0 20 0 15 0 247890480 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140369000151696 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23060] ppid=23051 vsize=14092996 memory=1924 CPUtime=52.9 cores=0,2,4,6
/proc/23054/task/23060/stat : 23060 (java) S 23051 23054 21941 0 -1 1077944384 109694 0 0 0 5163 127 0 0 20 0 15 0 247890480 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368999098896 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23061] ppid=23051 vsize=14092996 memory=7532 CPUtime=1.04 cores=0,2,4,6
/proc/23054/task/23061/stat : 23061 (java) S 23051 23054 21941 0 -1 1077944384 56053 0 0 0 96 8 0 0 20 0 15 0 247890481 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368523815536 140369049647746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23062] ppid=23051 vsize=14092996 memory=6934360 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23062/stat : 23062 (java) S 23051 23054 21941 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368522761568 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23063] ppid=23051 vsize=14092996 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23063/stat : 23063 (java) S 23051 23054 21941 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 247890482 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368521709184 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23064] ppid=23051 vsize=14092996 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23064/stat : 23064 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368520657488 140369049655195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23065] ppid=23051 vsize=14092996 memory=3188 CPUtime=6.33 cores=0,2,4,6
/proc/23054/task/23065/stat : 23065 (java) S 23051 23054 21941 0 -1 1077944384 41587 0 0 0 628 5 0 0 20 0 15 0 247890484 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368519604336 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23066] ppid=23051 vsize=14092996 memory=3453400 CPUtime=5.62 cores=0,2,4,6
/proc/23054/task/23066/stat : 23066 (java) S 23051 23054 21941 0 -1 1077944384 40867 0 0 0 558 4 0 0 20 0 15 0 247890484 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368518551536 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23067] ppid=23051 vsize=14092996 memory=928 CPUtime=1.9 cores=0,2,4,6
/proc/23054/task/23067/stat : 23067 (java) S 23051 23054 21941 0 -1 1077944384 48789 0 0 0 184 6 0 0 20 0 15 0 247890484 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368517499248 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23068] ppid=23051 vsize=14092996 memory=67476 CPUtime=0 cores=0,2,4,6
/proc/23054/task/23068/stat : 23068 (java) S 23051 23054 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247890484 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368516446688 140369049646805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
[pid=23054/tid=23069] ppid=23051 vsize=14092996 memory=1100 CPUtime=1.45 cores=0,2,4,6
/proc/23054/task/23069/stat : 23069 (java) S 23051 23054 21941 0 -1 1077944384 2250 0 0 0 70 75 0 0 20 0 15 0 247890485 14431227904 1733590 33554432000 4194304 4196468 140736236963296 140368515394480 140369049647746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8712192 140736236971093 140736236971273 140736236971273 140736236974031 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6934360 KiB

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

[startup+2346.57 s]
# the end of solver process 23054 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.35 s, system=6.78675 s

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

Child status: 143
Real time (s): 2346.57
CPU time (s): 2520.13
CPU user time (s): 2513.35
CPU system time (s): 6.78675
CPU usage (%): 107.397
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 6934360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.35
system time used= 6.78674
maximum resident set size= 6934924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 898219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64222
involuntary context switches= 5184


# summary of solver processes directly reported to runsolver:
#   pid: 23054
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2513.35
#   total CPU system time (s): 6.78675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4468 second user time and 22.7085 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-15 05:21:13
IDJOB=4308709
IDBENCH=141269
IDSOLVER=2792
FILE ID=node137/4308709-1534303273
RUNJOBID= node137-1534293443-21972
PBS_JOBID= 21038143
Free space on /tmp= 29012 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308709-1534303273/watcher-4308709-1534303273 -o /tmp/evaluation-result-4308709-1534303273/solver-4308709-1534303273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 651292971 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308709-1534303273.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=651292971

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19047232 kB
MemAvailable:   26796716 kB
Buffers:          157112 kB
Cached:          7809800 kB
SwapCached:            8 kB
Active:          9338904 kB
Inactive:        3772204 kB
Active(anon):    5091336 kB
Inactive(anon):   113400 kB
Active(file):    4247568 kB
Inactive(file):  3658804 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:            136964 kB
Writeback:             0 kB
AnonPages:       5151612 kB
Mapped:            69192 kB
Shmem:             57816 kB
Slab:             300192 kB
SReclaimable:     271572 kB
SUnreclaim:        28620 kB
KernelStack:        3504 kB
PageTables:        15424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6344396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4956160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 28996 MiB
End job on node137 at 2018-08-15 06:00:20