Trace number 4292031

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-07-02SAT (TO)382326506 2400.08 2247.86

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 200577680
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.58	c Parsing instance...
37.90/23.55	c Parsing done, starting first complete search...
97.83/75.64	o 388697718
97.83/75.65	o 388697715
97.83/75.66	o 388697713
97.83/75.67	o 388697709
97.83/75.68	o 388679609
97.83/75.69	o 388679602
97.83/75.70	o 388661512
98.06/75.71	o 388661502
98.06/75.72	o 388643412
98.06/75.73	o 388643402
98.06/75.75	o 388643395
98.06/75.78	o 388625291
98.06/75.79	o 388625287
98.33/75.81	o 388607177
98.33/75.83	o 388607175
98.33/75.84	o 388607167
98.33/75.85	o 388570967
98.33/75.86	o 388534767
98.33/75.88	o 388516667
98.33/75.89	o 388498579
98.53/75.90	o 388498571
98.53/75.92	o 388498567
98.53/75.93	o 388480477
98.53/75.93	o 388480467
98.53/75.94	o 388462377
98.53/75.96	o 388462375
98.53/75.96	o 388462367
98.66/76.01	o 388462364
98.66/76.02	o 388444284
98.66/76.03	o 388444274
98.66/76.04	o 388426184
98.66/76.05	o 388426174
98.66/76.07	o 388426171
98.66/76.07	o 388426167
98.66/76.08	o 388426164
98.76/76.11	o 388408068
98.76/76.13	o 388408064
98.76/76.16	o 388389981
98.76/76.16	o 388389978
98.76/76.19	o 388389974
98.76/76.20	o 388389972
98.86/76.21	o 388389964
98.97/76.35	o 388371882
98.97/76.35	o 388371878
98.97/76.36	o 388371876
98.97/76.36	o 388371868
98.97/76.38	o 388371864
99.86/77.25	o 388371860
99.86/77.26	o 388371856
100.07/77.44	o 388353785
100.07/77.44	o 388353781
100.07/77.45	o 388353778
100.07/77.45	o 388353770
100.07/77.46	o 388335670
100.07/77.47	o 388335668
100.07/77.47	o 388335660
100.47/77.82	o 388335656
100.57/77.91	o 388317578
100.57/77.92	o 388317570
100.57/77.95	o 388317566
101.28/78.62	o 388299476
101.28/78.63	o 388299474
101.28/78.63	o 388299466
101.78/79.16	o 388281384
101.78/79.17	o 388281374
101.88/79.22	o 388281366
102.97/80.09	o 388263276
103.07/80.10	o 388263266
103.07/80.15	o 388245184
103.07/80.16	o 388245174
103.07/80.18	o 388245166
103.57/80.61	o 388227094
103.57/80.62	o 388227084
103.57/80.63	o 388227082
103.57/80.64	o 388227074
103.57/80.65	o 388227066
108.05/85.02	o 388208976
108.05/85.03	o 388208966
109.55/86.59	o 388190866
110.25/87.24	o 388172784
110.25/87.25	o 388172774
110.55/87.54	o 388172766
119.86/96.82	o 388154676
120.06/97.07	o 388154666
120.16/97.12	o 388136566
120.16/97.15	o 388118466
121.16/98.17	o 388100376
121.16/98.17	o 388100366
147.26/124.15	o 388082269
147.26/124.16	o 388082266
271.30/247.84	c First complete search done, starting ALNS search...
271.79/248.24	o 388046066
271.79/248.25	o 388027966
271.79/248.25	o 388009866
271.79/248.25	o 387973666
271.79/248.26	o 387919366
271.79/248.26	o 387883166
272.85/249.11	o 387865066
273.39/249.68	o 387846966
273.53/249.75	o 387828866
273.86/250.07	o 387810766
273.96/250.16	o 387774566
275.61/251.41	o 387756475
275.90/251.75	o 387756472
276.70/252.57	o 387738390
276.81/252.61	o 387738388
276.81/252.65	o 387738386
276.91/252.71	o 387738382
276.91/252.76	o 387738380
277.01/252.81	o 387738378
277.11/252.92	o 387720300
277.11/252.95	o 387720298
277.11/252.99	o 387720296
277.21/253.05	o 387720292
277.21/253.09	o 387720290
277.63/253.46	o 387720286
278.03/253.83	o 387702186
278.24/254.05	o 387684096
278.24/254.06	o 387684094
278.24/254.07	o 387684090
278.24/254.07	o 387684086
278.44/254.29	o 387665991
278.44/254.30	o 387665990
278.55/254.31	o 387665986
278.84/254.61	o 387665976
279.04/254.82	o 387647881
279.04/254.83	o 387647880
279.04/254.84	o 387647876
279.26/255.05	o 387629781
279.26/255.05	o 387629780
279.26/255.06	o 387629776
279.67/255.46	o 387611681
279.67/255.46	o 387611680
279.67/255.47	o 387611676
280.08/255.80	o 387593581
280.08/255.80	o 387593580
280.08/255.81	o 387593576
280.38/256.12	o 387575481
280.38/256.13	o 387575480
280.38/256.13	o 387575476
280.69/256.47	o 387557381
280.69/256.48	o 387557380
280.69/256.49	o 387557376
281.10/256.80	o 387539281
281.10/256.81	o 387539280
281.10/256.82	o 387539276
281.40/257.15	o 387521181
281.40/257.15	o 387521180
281.40/257.16	o 387521176
281.70/257.48	o 387503081
281.70/257.49	o 387503080
281.80/257.50	o 387503076
282.74/257.97	o 387484981
282.74/257.98	o 387484980
282.74/257.99	o 387484976
283.15/258.34	o 387466889
283.15/258.34	o 387466888
283.15/258.35	o 387466884
283.34/258.52	o 387466883
283.94/259.11	o 387448790
283.94/259.12	o 387448789
283.94/259.13	o 387448785
284.26/259.44	o 387430698
284.26/259.45	o 387430697
284.26/259.46	o 387430693
284.55/259.74	o 387430692
285.05/260.25	o 387430685
285.35/260.56	o 387412593
285.65/260.85	o 387412592
286.05/261.24	o 387394503
286.35/261.57	o 387394502
289.38/264.53	o 387394500
289.48/264.62	o 387394496
289.58/264.71	o 387394494
289.68/264.80	o 387394493
289.78/264.90	o 387394489
289.88/265.05	o 387394487
289.98/265.14	o 387394485
290.08/265.22	o 387394481
290.60/265.75	o 387394472
298.27/272.17	o 387394470
298.58/272.41	o 387394466
298.77/272.65	o 387394464
298.97/272.86	o 387394461
299.87/273.63	o 387376361
299.97/273.79	o 387358261
300.17/273.90	o 387340161
300.27/274.01	o 387322061
300.47/274.20	o 387322051
300.58/274.32	o 387303951
300.68/274.42	o 387285851
302.40/275.32	o 387267756
309.76/282.69	o 387267751
310.39/283.29	o 387267748
310.90/283.75	o 387249656
311.30/284.15	o 387249653
312.44/284.86	o 387249651
312.54/284.99	o 387231556
313.05/285.41	o 387231553
313.54/285.94	o 387231546
313.95/286.39	o 387231543
314.44/286.85	o 387231541
314.95/287.33	o 387213446
315.44/287.83	o 387213436
316.14/288.53	o 387195365
317.65/290.01	o 387195356
318.62/290.65	o 387195346
319.12/291.16	o 387177265
324.03/296.09	o 387159173
324.53/296.53	o 387159168
325.50/297.10	o 387141073
325.90/297.55	o 387141068
326.30/297.99	o 387122973
337.86/308.58	o 387104968
338.06/308.70	o 387104959
338.16/308.87	o 387104950
338.36/309.08	o 387104941
345.96/316.19	o 387104937
350.88/320.35	o 387086856
350.98/320.42	o 387086852
351.07/320.50	o 387086850
352.08/321.56	o 387086848
352.18/321.62	o 387086846
352.18/321.67	o 387086842
352.28/321.74	o 387086840
352.89/322.33	o 387068760
352.89/322.38	o 387068756
352.99/322.43	o 387068754
352.99/322.48	o 387068750
354.00/323.49	o 387050658
354.90/324.35	o 387050650
355.70/325.16	o 387032558
357.36/326.78	o 387032548
359.16/328.51	o 387014468
361.33/330.20	o 386996376
362.93/331.86	o 386978266
365.73/334.67	o 386978265
366.93/335.82	o 386978261
367.13/336.03	o 386978259
367.33/336.24	o 386978255
367.63/336.50	o 386978251
367.83/336.72	o 386978249
368.03/336.95	o 386978245
368.33/337.30	o 386960170
368.54/337.48	o 386960166
368.74/337.65	o 386960164
368.94/337.84	o 386960160
369.14/338.02	o 386960159
369.24/338.18	o 386960155
369.45/338.38	o 386960151
369.64/338.57	o 386960149
369.84/338.78	o 386960145
370.24/339.19	o 386942070
370.45/339.32	o 386942066
371.04/339.94	o 386942058
371.04/339.95	o 386942052
373.00/341.46	o 386923963
373.00/341.47	o 386923957
375.69/344.18	o 386905858
375.69/344.19	o 386905852
376.59/345.05	o 386887763
376.59/345.06	o 386887757
377.90/346.32	o 386887752
378.70/347.16	o 386869663
378.70/347.17	o 386869657
380.10/348.52	o 386869652
380.90/349.35	o 386851563
380.90/349.36	o 386851557
382.85/350.81	o 386851552
383.65/351.63	o 386833463
383.65/351.64	o 386833457
385.85/353.83	o 386833453
385.85/353.84	o 386833447
387.25/355.28	o 386815348
387.25/355.29	o 386815342
388.75/356.73	o 386797253
388.75/356.74	o 386797247
390.25/358.21	o 386797242
391.65/359.65	o 386797239
393.50/361.04	o 386779144
394.70/362.29	o 386779139
396.00/363.57	o 386761044
397.50/365.03	o 386742945
398.70/366.28	o 386724845
400.00/367.57	o 386706750
401.31/368.84	o 386706745
409.80/372.08	o 386688650
411.21/373.46	o 386688645
412.51/374.72	o 386670550
415.31/377.56	o 386670544
424.32/386.03	o 386670534
425.52/387.21	o 386652443
426.63/388.36	o 386652434
428.18/389.63	o 386634343
429.08/390.59	o 386634334
430.28/391.79	o 386616253
431.48/392.94	o 386616244
434.58/396.06	o 386616243
435.58/397.04	o 386616234
437.14/398.35	o 386598153
438.45/399.67	o 386543853
439.76/400.93	o 386507653
441.07/402.24	o 386507643
442.37/403.56	o 386489553
443.57/404.76	o 386489543
458.77/419.45	o 386471448
480.63/440.77	o 386471439
499.22/458.85	o 386453339
521.60/480.66	o 386435239
522.70/481.79	o 386417139
524.10/483.16	o 386399039
526.31/485.33	o 386380949
527.60/486.67	o 386362849
529.36/488.33	o 386344749
530.65/489.67	o 386326649
532.06/491.01	o 386308549
533.36/492.36	o 386290449
535.66/494.60	o 386272349
536.86/495.83	o 386254249
538.22/497.18	o 386236149
540.22/499.10	o 386218049
541.43/500.37	o 386218039
545.93/504.81	o 386181848
547.60/506.03	o 386163748
549.50/507.91	o 386145653
551.60/510.06	o 386127562
554.12/512.56	o 386127553
554.32/512.76	o 386127545
554.42/512.85	o 386109453
554.52/512.97	o 386109445
554.62/513.04	o 386091353
555.12/513.52	o 386091345
555.22/513.60	o 386073253
555.32/513.78	o 386073245
555.32/513.79	o 386055153
555.72/514.13	o 386055145
555.93/514.37	o 386037053
556.22/514.65	o 386037045
556.42/514.81	o 386018945
556.62/515.00	o 386000853
556.82/515.23	o 385982766
556.93/515.36	o 385982762
557.03/515.41	o 385982754
557.22/515.63	o 385964654
557.42/515.89	o 385946562
558.72/516.53	o 385946554
558.82/516.66	o 385928454
559.02/516.84	o 385910362
560.02/517.84	o 385910357
560.63/518.41	o 385892265
567.02/524.81	o 385892236
569.12/526.91	o 385892226
572.48/529.78	o 385892222
574.70/531.90	o 385874130
576.21/533.48	o 385874128
576.50/533.76	o 385874125
578.02/535.26	o 385874120
579.02/536.27	o 385874114
579.32/536.55	o 385856020
579.32/536.56	o 385856014
581.82/539.10	o 385837925
581.92/539.11	o 385837919
584.99/541.58	o 385837912
584.99/541.59	o 385837906
587.30/543.76	o 385819817
587.30/543.77	o 385819811
589.61/546.00	o 385801712
589.61/546.01	o 385801706
591.62/548.03	o 385783612
591.62/548.04	o 385783606
593.82/550.22	o 385765517
593.82/550.23	o 385765511
596.89/552.73	o 385765506
598.79/554.69	o 385747412
598.89/554.71	o 385747406
600.60/556.45	o 385729316
602.79/558.67	o 385711216
604.89/560.74	o 385675016
608.08/563.26	o 385656945
608.19/563.35	o 385656940
608.29/563.44	o 385656939
608.38/563.53	o 385656934
609.59/564.72	o 385656930
609.69/564.85	o 385656925
610.39/565.53	o 385638830
611.00/566.17	o 385620728
611.60/566.74	o 385602633
613.21/568.34	o 385602632
613.70/568.86	o 385602628
614.21/569.39	o 385584538
614.31/569.44	o 385584537
614.40/569.50	o 385584533
617.20/571.71	o 385566442
619.60/574.14	o 385566433
621.91/576.46	o 385548343
626.89/580.64	o 385548342
627.89/581.60	o 385530252
634.71/588.47	o 385512162
634.80/588.51	o 385512158
634.80/588.55	o 385512156
634.90/588.61	o 385512152
639.51/592.69	o 385512137
640.41/593.54	o 385494037
641.41/594.57	o 385475937
642.51/595.68	o 385457837
643.71/596.86	o 385439737
644.52/597.65	o 385421637
650.52/602.97	o 385403537
666.29/618.02	o 385385447
668.90/620.67	o 385385442
672.46/623.50	o 385367352
678.03/628.48	o 385367347
685.53/635.98	o 385349262
687.04/637.41	o 385349261
687.54/637.95	o 385349258
688.04/638.49	o 385349256
688.54/638.99	o 385349252
689.14/639.54	o 385349249
691.39/641.14	o 385313068
693.99/643.73	o 385294977
696.79/646.52	o 385294975
699.40/649.15	o 385276885
706.90/655.94	o 385240685
709.70/658.71	o 385222632
710.00/659.05	o 385222630
710.31/659.39	o 385222627
710.70/659.72	o 385222623
711.20/660.23	o 385222620
711.70/660.73	o 385222616
712.20/661.25	o 385222614
712.70/661.75	o 385222611
714.17/662.50	o 385222607
714.67/663.01	o 385222604
715.17/663.53	o 385222601
715.67/664.06	o 385222597
716.27/664.61	o 385222595
716.77/665.12	o 385222592
731.25/678.95	o 385204484
732.25/679.96	o 385168284
733.15/680.80	o 385150184
739.52/686.54	o 385132084
742.83/689.82	o 385132074
747.43/694.48	o 385132071
750.70/697.04	o 385113971
753.01/699.38	o 385095871
755.11/701.42	o 385077771
756.30/702.61	o 385077768
757.40/703.71	o 385077760
762.45/708.13	o 385059660
765.85/711.55	o 385041560
767.45/713.13	o 385023470
771.94/716.96	o 385005378
777.15/722.16	o 384987288
781.91/726.23	o 384987278
787.42/731.71	o 384969220
787.62/731.92	o 384969215
788.73/733.05	o 384969205
793.79/737.45	o 384951087
797.80/741.42	o 384914894
807.93/750.95	o 384914891
808.03/751.05	o 384914881
808.23/751.20	o 384914871
808.63/751.62	o 384914865
808.83/751.81	o 384896793
808.93/751.92	o 384896783
809.13/752.13	o 384896773
809.44/752.49	o 384896763
811.93/754.94	o 384878688
812.03/755.03	o 384878678
813.23/756.26	o 384878673
813.44/756.42	o 384860601
813.53/756.58	o 384860591
813.73/756.73	o 384860581
814.13/757.13	o 384842493
814.23/757.20	o 384842483
814.54/757.51	o 384842473
817.28/759.67	o 384824398
817.38/759.76	o 384824388
817.58/759.90	o 384824378
817.88/760.21	o 384806323
817.99/760.32	o 384806313
818.09/760.46	o 384806303
818.28/760.62	o 384806293
820.29/762.61	o 384770102
821.79/764.15	o 384770095
824.24/765.98	o 384752009
825.34/767.00	o 384752008
827.34/769.06	o 384752007
829.65/771.31	o 384752004
829.84/771.57	o 384752000
831.84/773.56	o 384751999
834.66/775.76	o 384751998
836.76/777.85	o 384733907
836.96/778.02	o 384733904
837.16/778.27	o 384733900
837.46/778.51	o 384733899
839.06/780.15	o 384733898
842.06/783.17	o 384715807
842.27/783.36	o 384715804
842.57/783.62	o 384715800
863.56/803.39	o 384715792
864.15/803.91	o 384715791
864.75/804.51	o 384715790
868.49/807.64	o 384715782
869.49/808.63	o 384715781
870.69/809.80	o 384715780
873.49/812.63	o 384697682
874.69/813.80	o 384697681
875.79/814.92	o 384697680
883.92/822.41	o 384679582
885.02/823.58	o 384679581
886.22/824.70	o 384679580
888.93/827.41	o 384661481
890.23/828.79	o 384661480
895.38/833.28	o 384643389
896.78/834.67	o 384643388
899.89/837.74	o 384643387
903.69/841.56	o 384625293
908.22/845.48	o 384625292
912.03/849.29	o 384625288
912.93/850.10	o 384625284
914.67/851.88	o 384607195
915.07/852.26	o 384607194
915.57/852.78	o 384607193
917.49/853.92	o 384607190
917.79/854.27	o 384607189
919.49/855.95	o 384607188
920.00/856.49	o 384607186
920.59/857.03	o 384607184
921.09/857.55	o 384607182
921.79/858.23	o 384589105
922.19/858.67	o 384589104
922.69/859.17	o 384589100
923.29/859.71	o 384589098
923.80/860.24	o 384589096
924.40/860.85	o 384589094
924.90/861.39	o 384589092
925.50/861.97	o 384589090
926.01/862.45	o 384589088
926.50/862.92	o 384589086
927.01/863.44	o 384589084
927.50/863.96	o 384589082
930.55/866.35	o 384571024
930.94/866.74	o 384571022
931.34/867.14	o 384571020
931.74/867.55	o 384571018
932.14/867.99	o 384571016
932.74/868.51	o 384571014
933.14/868.90	o 384571012
933.44/869.30	o 384571010
933.94/869.76	o 384571008
934.44/870.23	o 384571006
934.94/870.79	o 384571005
935.44/871.23	o 384571004
935.84/871.67	o 384571000
936.34/872.14	o 384570998
936.84/872.62	o 384570996
937.34/873.14	o 384570995
937.74/873.58	o 384570994
938.24/874.01	o 384570990
938.65/874.49	o 384570988
954.25/889.36	o 384552903
956.68/891.14	o 384552902
961.68/896.11	o 384552901
967.79/901.54	o 384534812
971.71/905.42	o 384534811
976.90/910.68	o 384534797
980.63/913.74	o 384534796
983.43/916.57	o 384534795
992.30/924.65	o 384516711
994.11/926.43	o 384516708
994.70/927.09	o 384516701
997.71/930.09	o 384516700
1009.96/941.61	o 384516691
1011.46/943.16	o 384516690
1012.16/943.87	o 384516686
1012.87/944.57	o 384516683
1013.57/945.24	o 384516679
1014.27/945.96	o 384516678
1014.97/946.63	o 384516674
1015.68/947.35	o 384516670
1016.47/948.11	o 384516668
1017.17/948.81	o 384516667
1017.87/949.50	o 384516664
1018.47/950.13	o 384516660
1026.51/957.55	o 384498589
1031.51/962.52	o 384498582
1032.01/963.07	o 384498580
1034.46/964.74	o 384480503
1035.37/965.64	o 384480502
1040.98/971.30	o 384480498
1047.51/977.17	o 384480488
1053.11/982.77	o 384462398
1057.51/987.19	o 384444314
1058.01/987.69	o 384444312
1058.51/988.17	o 384444308
1060.17/989.11	o 384444306
1060.57/989.56	o 384444304
1061.07/990.02	o 384444300
1062.17/991.19	o 384426214
1062.67/991.62	o 384426212
1063.07/992.09	o 384426208
1064.07/993.01	o 384426206
1064.48/993.44	o 384426204
1064.87/993.89	o 384426200
1066.97/995.99	o 384408114
1067.48/996.41	o 384408112
1067.87/996.87	o 384408108
1068.98/997.95	o 384408106
1069.48/998.45	o 384408102
1070.38/999.39	o 384408100
1073.02/1001.39	o 384408098
1074.21/1002.53	o 384390006
1074.61/1002.93	o 384390004
1075.02/1003.38	o 384390000
1075.92/1004.30	o 384389998
1077.52/1005.89	o 384389997
1079.61/1007.96	o 384371898
1081.41/1009.75	o 384371897
1088.33/1015.98	o 384353808
1090.43/1018.00	o 384353807
1095.94/1023.57	o 384353798
1099.11/1026.07	o 384281416
1101.31/1028.23	o 384281415
1103.61/1030.54	o 384263321
1105.72/1032.64	o 384263320
1113.65/1039.82	o 384245222
1115.85/1042.08	o 384227120
1117.66/1043.82	o 384227119
1123.62/1049.15	o 384209020
1125.32/1050.84	o 384209019
1130.52/1056.10	o 384190920
1132.22/1057.79	o 384190919
1137.00/1061.81	o 384190910
1138.51/1063.34	o 384190909
1144.52/1069.32	o 384172812
1146.52/1071.36	o 384172811
1153.40/1077.53	o 384172801
1157.50/1081.60	o 384172786
1159.50/1083.68	o 384136587
1163.09/1086.51	o 384118492
1175.16/1097.97	o 384118488
1179.67/1102.43	o 384100397
1181.27/1104.08	o 384100392
1185.02/1107.15	o 384100388
1187.33/1109.48	o 384082297
1189.42/1111.57	o 384082292
1191.72/1113.82	o 384082288
1202.87/1124.38	o 384082287
1203.36/1124.86	o 384082283
1204.87/1126.40	o 384064198
1205.26/1126.74	o 384064189
1205.66/1127.17	o 384064187
1206.16/1127.62	o 384064183
1211.27/1132.74	o 384046098
1211.57/1133.08	o 384046089
1212.92/1133.72	o 384046087
1213.32/1134.18	o 384046083
1219.13/1139.99	o 384046082
1221.43/1142.26	o 384046080
1222.13/1142.97	o 384046078
1222.93/1143.79	o 384046074
1229.79/1149.93	o 384046073
1236.09/1156.30	o 384027974
1242.96/1162.41	o 384027973
1249.45/1168.96	o 384027969
1250.06/1169.50	o 384009885
1250.36/1169.87	o 384009883
1250.76/1170.24	o 384009879
1252.16/1171.60	o 384009875
1252.46/1171.91	o 384009873
1252.76/1172.26	o 384009869
1253.26/1172.77	o 383991785
1253.66/1173.11	o 383991783
1253.97/1173.45	o 383991779
1254.56/1174.01	o 383991775
1255.78/1174.62	o 383991773
1256.18/1175.05	o 383991769
1257.08/1175.98	o 383973675
1257.49/1176.40	o 383973673
1257.88/1176.74	o 383973669
1258.78/1177.60	o 383955585
1259.18/1178.03	o 383955583
1259.49/1178.37	o 383955579
1260.78/1179.63	o 383937495
1261.18/1180.00	o 383937493
1261.59/1180.45	o 383937489
1262.28/1181.16	o 383937485
1262.69/1181.50	o 383937483
1263.88/1182.72	o 383937466
1270.60/1188.72	o 383937465
1276.60/1194.75	o 383919376
1283.33/1200.71	o 383919375
1285.14/1202.55	o 383901276
1285.85/1203.25	o 383901275
1292.06/1209.45	o 383883185
1299.87/1216.51	o 383883184
1301.20/1217.80	o 383865098
1301.71/1218.34	o 383865090
1306.58/1222.52	o 383865085
1309.69/1225.67	o 383846998
1312.70/1228.60	o 383846990
1316.97/1232.29	o 383846985
1318.11/1233.38	o 383828895
1324.90/1240.14	o 383828894
1332.80/1247.33	o 383828883
1336.09/1250.65	o 383810761
1336.49/1251.09	o 383792661
1342.45/1256.32	o 383774561
1346.94/1260.82	o 383756471
1352.10/1265.38	o 383738381
1354.29/1267.55	o 383738377
1355.00/1268.28	o 383738375
1355.80/1269.04	o 383738373
1356.60/1269.83	o 383738369
1357.60/1270.86	o 383738365
1358.70/1271.97	o 383738364
1359.60/1272.88	o 383738360
1360.49/1273.79	o 383738356
1385.78/1297.70	o 383720256
1393.58/1304.76	o 383702156
1400.69/1311.80	o 383702146
1403.14/1313.69	o 383702135
1405.14/1315.68	o 383684045
1413.15/1322.92	o 383665935
1417.05/1326.84	o 383647845
1425.23/1334.31	o 383647842
1426.53/1335.68	o 383647839
1427.13/1336.27	o 383629749
1434.23/1343.34	o 383611662
1444.15/1352.43	o 383557364
1459.50/1367.07	o 383539278
1460.01/1367.55	o 383539273
1460.51/1368.02	o 383539269
1461.21/1368.79	o 383539266
1462.41/1369.93	o 383539263
1464.55/1371.26	o 383539259
1465.45/1372.18	o 383539256
1469.15/1375.83	o 383539252
1469.95/1376.62	o 383539249
1472.85/1379.59	o 383521188
1473.35/1380.07	o 383521183
1473.85/1380.57	o 383521179
1474.66/1381.37	o 383521178
1475.05/1381.78	o 383521173
1475.55/1382.22	o 383521169
1476.35/1383.08	o 383521166
1478.91/1384.98	o 383521163
1479.41/1385.48	o 383521159
1481.01/1387.02	o 383448765
1486.12/1392.12	o 383448758
1500.84/1406.16	o 383448744
1503.98/1408.51	o 383430654
1513.98/1418.50	o 383412561
1516.99/1420.89	o 383412559
1519.60/1423.47	o 383412556
1526.20/1429.39	o 383412552
1526.39/1429.58	o 383412550
1526.69/1429.81	o 383412546
1530.20/1433.31	o 383394466
1530.31/1433.47	o 383394462
1530.50/1433.63	o 383394460
1530.70/1433.85	o 383394456
1535.80/1438.95	o 383394452
1536.10/1439.24	o 383394450
1563.46/1464.43	o 383394449
1570.36/1471.33	o 383376359
1579.09/1479.21	o 383376354
1584.70/1484.81	o 383376343
1602.55/1501.13	o 383358278
1602.55/1501.13	o 383358273
1602.55/1501.13	o 383358272
1602.55/1501.13	o 383358267
1604.05/1502.61	o 383358261
1604.76/1503.31	o 383358257
1608.05/1506.67	o 383340172
1608.15/1506.74	o 383340167
1609.45/1508.00	o 383340161
1610.55/1509.11	o 383340157
1622.80/1520.67	o 383322076
1625.30/1523.13	o 383322072
1631.78/1528.82	o 383322071
1634.18/1531.25	o 383322067
1640.61/1536.93	o 383322061
1642.81/1539.10	o 383322057
1645.60/1541.98	o 383322053
1647.90/1544.26	o 383322049
1653.09/1548.62	o 383322043
1655.09/1550.65	o 383322039
1662.09/1557.63	o 383322030
1665.24/1560.08	o 383303935
1673.46/1568.26	o 383285844
1683.66/1577.74	o 383285834
1690.03/1583.40	o 383267744
1695.32/1588.66	o 383267734
1707.45/1600.05	o 383213439
1715.01/1606.86	o 383195339
1722.91/1614.72	o 383195330
1725.92/1617.08	o 383159130
1728.52/1619.65	o 383122930
1732.12/1623.23	o 383086730
1736.86/1627.29	o 383068630
1741.57/1631.95	o 383050530
1789.20/1677.01	o 382996259
1800.16/1687.22	o 382978159
1825.41/1710.96	o 382978157
1826.31/1711.87	o 382960067
1827.21/1712.76	o 382960061
1831.61/1717.15	o 382960057
1833.47/1718.26	o 382941961
1842.29/1727.02	o 382797157
1849.71/1733.71	o 382797148
1858.49/1741.74	o 382779058
1914.08/1794.40	o 382779053
1918.37/1798.63	o 382760963
1924.40/1803.91	o 382760958
1927.70/1807.27	o 382760953
1930.40/1809.94	o 382742863
1935.79/1814.56	o 382706663
1962.22/1839.47	o 382706653
1973.21/1849.60	o 382688572
1988.97/1864.61	o 382652330
2004.30/1879.29	o 382634230
2013.88/1888.04	o 382616130
2024.94/1898.33	o 382616128
2033.14/1906.52	o 382616127
2039.89/1912.50	o 382616118
2050.53/1922.31	o 382598028
2062.37/1933.34	o 382561821
2064.26/1935.25	o 382543726
2141.72/2008.05	o 382543706
2149.16/2014.79	o 382507506
2189.96/2053.00	o 382471323
2192.76/2055.81	o 382471321
2202.69/2064.92	o 382453221
2274.83/2130.19	o 382453212
2335.75/2188.16	o 382453202
2342.36/2194.06	o 382453192
2347.68/2199.38	o 382453188
2355.87/2206.84	o 382380800
2363.86/2214.03	o 382380793
2365.56/2215.75	o 382362693
2370.27/2220.48	o 382344604
2377.61/2227.07	o 382344603
2380.71/2230.10	o 382344601
2382.61/2232.05	o 382326513
2396.02/2244.61	o 382326508
2398.40/2246.22	o 382326506
2400.00/2247.80	s SATISFIABLE
2400.00/2247.81	v <instantiation>
2400.00/2247.81	v 	<list>
2400.00/2247.81	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]
2400.00/2247.81	v 	</list>
2400.00/2247.81	v 	<values>
2400.00/2247.81	v 		2196 2488 2192 2464 2428 2624 2268 2524 2392 2340 2460 2592 2560 2448 2452 2488 2504 2436 2516 2328 2400 2532 2448 2532 2436 2336 2560 2500 2380 2468 2256 2536 2512 2468 2412 2320 2488 2316 2332 2484 2392 2156 2460 2472 2488 2528 2492 2428 2628 2544 2480 2504 2484 2328 2528 2712 2308 2484 2132 2524 2400 2412 2524 2196 2376 2368 2448 2320 2672 2452 2456 2424 2176 2176 2236 2492 2456 2264 2312 2476 2488 2588 2492 2492 2540 2472 2308 2468 2424 2176 2564 2136 2312 2484 2388 2396 2424 2424 2444 2460 2528 2432 2336 2428 2136 2672 2392 2668 2416 2524 2240 2536 2160 2372 2360 2444 2668 2672 2204 2376 2632 2452 2384 2380 2136 2632 2420 2544 2488 2464 2476 2412 2484 2296 2192 2500 2120 2456 2544 2420 2384 2492 2460 2228 2352 2628 2204 2600 2496 2524 2352 2528 2520 2436 2280 2244 2500 2372 2420 2524 2368 2304 2420 2320 2508 2464 2352 2532 2484 2464 2420 2628 2444 2564 2440 2420 2564 2524 2496 2504 2348 2488 2640 2656 2460 2496 2256 2520 2172 2376 2348 2532 2356 2512 2376 2312 2508 2380 2324 2484 2440 2364 2336 2628 2416 2460 2280 2712 2492 2244 2396 2500 2484 2440 2408 2260 2468 2352 2432 2308 2464 2476 2436 2340 2616 2416 2404 2360 2488 2152 2312 2396 2272 2448 2508 2448 2464 2468 2356 2280 2448 2532 2424 2220 2432 2668 2476 2424 2504 2444 2424 2360 2216 2400 2516 2468 2480 2320 2448 2452 2448 2300 2488 2464 2396 2436 2396 2320 2464 2472 2492 2364 2468 2432 2472 2280 2464 2312 2332 2460 2664 2424 2444 2508 2488 2152 2600 2268 2420 2300 2388 2428 2424 2324 2432 2348 2372 2408 2504 2436 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 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 0 1 1 1 1 0 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 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 0 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 6 10 0 10 10 10 10 10 10 10 0 10 0 10 10 0 10 10 0 0 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 0 10 10 10 10 10 0 10 0 10 0 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 0 10 10 9 10 10 10 10 10 0 10 10 0 10 10 0 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 8 10 10 0 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 0 0 10 10 10 10 10 10 0 0 0 10 10 10 10 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 0 0 0 0 0 0 10 10 10 0 10 10 10 10 10 0 0 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 0 10 0 0 10 10 10 10 0 10 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 10 10 10 0 10 10 0 10 10 10 0 10 10 0 10 0 0 0 10 10 0 10 10 10 10 0 0 0 10 10 0 10 0 10 10 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 0 10 0 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 10 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 0 10 9 0 10 0 10 10 10 10 10 10 10 0 0 10 0 10 10 0 10 10 10 10 0 10 0 10 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 0 10 10 10 10 0 10 0 10 10 0 10 10 0 0 0 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 0 0 10 0 10 10 0 10 10 10 0 0 10 10 0 0 0 10 0 10 10 10 0 0 10 0 0 0 0 10 0 0 10 0 10 0 10 10 0 10 10 10 0 0 10 10 0 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 0 10 0 10 0 0 0 0 10 10 10 10 0 0 10 0 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 0 10 0 10 10 3 10 10 0 0 10 10 10 3 10 10 0 0 10 10 0 10 0 0 0 10 0 0 0 10 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 5 10 10 0 10 0 10 0 0 10 0 10 10 10 10 10 10 10 0 3 10 0 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 10 10 10 10 10 10 0 0 0 10 10 10 10 0 0 0 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 10 10 10 10 10 0 0 0 10 0 0 0 10 10 10 10 0 10 0 10 10 10 10 0 0 10 0 10 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 10 10 0 0 0 10 10 10 10 0 10 10 0 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 0 10 0 10 0 0 0 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 0 0 0 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 0 10 0 0 10 0 10 0 0 0 10 0 10 10 10 10 0 10 10 0 0 10 0 10 10 0 10 0 0 10 0 10 10 0 10 0 0 10 10 0 10 10 10 10 0 10 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 10 0 10 0 10 10 0 10 0 10 10 10 10 0 10 10 0 0 10 10 0 10 0 10 10 0 0 0 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 0 10 0 0 10 0 0 0 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 0 0 0 10 0 0 0 10 10 10 10 10 10 0 0 0 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 0 10 0 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 0 10 0 0 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 0 10 0 10 10 10 10 0 10 0 0 10 0 0 10 10 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 10 0 0 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 10 10 0 10 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 0 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 0 0 10 0 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 0 10 0 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 0 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 0 10 10 10 10 10 10 0 0 10 204 252 272 280 116 184 348 264 160 204 284 272 224 152 224 180 36 0 100 104 40 52 208 64 24 208 188 164 340 308 124 208 264 232 272 0 228 252 316 284 148 204 280 64 20 96 20 168 112 24 192 44 24 60 152 40 52 0 152 60 108 24 28 116 292 8 72 200 172 32 208 88 20 76 192 92 140 32 316 200 220 236 232 220 224 40 160 132 176 360 168 196 84 116 168 24 40 260 0 88 60 104 132 104 212 252 16 100 88 200 72 260 196 24 16 220 148 120 152 184 332 12 156 180 96 124 24 108 72 28 32 212 36 16 100 132 72 312 36 312 108 188 196 364 400 116 68 316 156 108 56 48 88 288 52 96 180 72 8 52 136 12 132 28 4 276 4 40 80 260 80 76 176 20 56 4 16 60 96 28 44 12 272 16 40 328 196 368 60 136 88 208 4 80 36 40 352 132 116 276 128 24 16 56 36 92 68 0 156 136 164 136 8 112 188 44 252 28 48 32 152 80 236 196 20 116 28 72 184 216 176 84 164 56 148 156 128 108 48 72 104 48 128 76 44 12 104 144 48 96 124 48 0 116 68 20 0 152 356 140 160 236 96 96 48 68 24 264 80 28 136 4 36 152 96 76 144 96 0 20 28 304 128 136 200 68 108 44 88 36 88 52 300 24 156 204 192 32 36 24 164 200 156 200 140 20 0 164 100 112 112 112 128 100 72 112 112 76 208 188 96 184 196 60 56 200 112 304 24 36 36 12 92 48 156 148 144 164 104 128 84 152 248 40 68 288 64 16 60 88 28 104 44 224 64 200 236 120 276 220 172 220 76 8 44 156 184 116 72 384 52 84 4 48 68 20 28 292 92 104 24 132 160 264 28 48 120 64 8 160 76 60 104 260 172 28 32 96 52 32 48 16 52 24 392 92 208 200 120 104 44 40 8 20 108 172 36 12 184 184 68 124 92 168 16 220 116 76 144 140 4 148 48 164 152 208 128 196 232 44 136 24 148 132 140 0 328 20 220 172 148 184 280 132 24 228 44 24 48 20 216 100 68 152 28 8 108 56 84 72 36 72 116 328 368 108 156 408 328 296 332 100 180 304 232 348 280 264 28 36 0 84 140 64 52 80 44 208 24 16 56 144 240 52 112 128 24 228 4 72 44 12 4 100 36 180 144 8 28 112 4 20 16 0 216 84 84 116 72 4 4 284 176 128 108 64 36 184 68 176 76 140 124 172 180 44 68 60 60 48 200 124 60 80 60 276 172 204 40 276 12 160 192 20 120 52 316 112 104 44 112 328 212 112 48 108 100 128 60 44 308 80 12 32 84 148 192 20 108 52 16 84 40 20 44 248 168 4 68 0 228 188 12 60 60 32 64 0 136 0 4 180 128 160 212 104 56 192 328 8 104 184 4 40 80 60 40 92 300 220 212 0 276 432 432 412 388 144 0 220 360 184 56 128 52 28 156 292 8 120 8 172 176 80 88 104 64 44 224 16 124 24 76 352 192 340 240 40 4 12 16 200 120 68 272 120 100 68 248 0 52 92 64 108 40 256 28 24 204 132 112 132 100 188 16 88 148 40 108 176 132 84 108 76 260 280 188 40 280 68 68 80 120 124 60 48 232 264 92 48 196 44 4 272 288 16 40 44 40 176 216 4 348 216 164 148 496 200 288 176 228 248 276 208 248 16 8 260 172 12 172 140 148 152 80 192 44 108 20 36 60 180 96 44 104 0 12 280 208 144 176 256 228 264 76 272 168 228 4 0 4 32 120 8 112 40 192 32 36 32 96 20 44 144 8 48 8 32 60 124 188 224 220 24 224 88 196 8 152 96 240 176 172 84 148 64 48 136 196 112 160 32 340 56 24 124 172 56 124 28 52 180 56 136 24 16 92 80 384 212 60 52 208 264 172 308 108 224 156 288 356 36 8 372 4 4 164 28 76 32 60 180 80 28 152 4 12 4 0 68 40 280 72 44 52 104 48 4 200 4 80 76 212 28 156 116 88 8 8 12 76 64 24 96 52 156 48 0 208 4 204 72 100 52 4 20 72 108 156 4 200 248 172 168 108 112 212 68 44 188 320 256 56 128 156 252 216 312 176 300 132 176 320 100 232 212 316 180 188 40 44 88 156 184 64 132 12 172 52 124 16 48 280 12 8 32 176 32 8 52 48 8 8 92 104 24 24 64 44 36 112 120 40 12 108 8 248 184 248 72 76 60 88 64 104 28 52 76 96 84 60 80 60 164 0 100 80 140 224 32 44 4 20 24 24 40 36 120 72 112 88 16 28 40 44 32 80 64 176 260 52 236 0 84 228 40 44 104 80 104 80 152 156 84 100 56 48 68 200 32 20 40 108 108 328 56 352 184 196 148 288 188 320 208 240 204 404 284 276 240 236 112 264 68 100 88 80 252 248 192 180 244 272 84 172 8 60 40 152 40 64 36 244 112 124 100 156 28 132 332 28 176 120 56 216 112 92 384 384 480 324 248 88 256 20 68 24 48 112 116 160 104 100 72 4 112 28 32 148 80 80 68 4 20 24 40 172 164 136 260 204 480 208 176 308 276 312 352 224 276 404 300 180 116 424 360 204 148 68 220 248 260 160 76 68 132 280 68 124 296 480 48 32 32 104 196 92 16 20 52 76 32 144 140 124 48 232 76 120 84 144 12 76 144 28 16 84 284 284 68 236 372 168 212 248 32 196 68 136 148 352 40 68 76 176 104 220 108 24 200 20 176 96 76 120 40 260 68 8 232 80 20 52 140 16 68 44 244 0 144 32 124 108 80 12 68 112 108 60 36 56 8 292 256 240 40 0 212 332 92 228 360 56 60 136 168 172 124 160 280 280 316 296 8 256 104 52 168 32 68 364 508 324 412 548 96 276 244 4 172 8 40 108 80 156 60 4 32 240 124 20 264 144 96 20 100 44 24 60 72 56 4 116 124 148 104 20 140 72 112 128 24 108 144 232 68 104 36 20 140 216 84 144 12 96 44 84 12 152 180 180 152 232 164 56 412 192 276 244 220 112 152 68 200 28 52 4 32 92 4 280 60 100 112 156 4 20 84 64 248 216 204 32 12 192 60 56 176 160 216 136 188 152 196 144 116 384 276 36 244 92 244 328 348 76 4 164 16 92 60 112 44 108 4 72 120 140 268 152 32 16 0 372 168 76 52 64 12 220 72 48 52 16 144 68 40 20 12 60 88 16 12 84 28 60 4 48 144 172 8 108 20 152 32 0 156 8 132 20 40 116 276 108 96 88 56 32 84 152 36 136 64 180 176 200 36 144 164 60 112 68 16 144 68 196 40 160 52 68 0 12 136 180 184 68 28 16 20 4 24 120 96 284 140 48 100 116 44 40 140 52 88 56 44 28 48 12 56 32 4 200 132 172 252 124 76 60 104 156 48 20 52 16 8 36 184 108 12 72 140 28 12 0 92 40 132 12 36 16 124 168 328 292 268 28 188 296 100 48 24 140 184 236 48 28 168 120 152 104 180 408 232 172 208 208 96 76 48 204 288 136 252 252 132 140 144 88 68 84 200 24 112 204 92 204 44 116 68 92 32 172 204 108 96 24 8 176 0 100 136 56 68 288 136 60 16 344 64 20 16 4 88 44 220 24 4 96 44 152 4 320 140 28 240 204 280 252 20 16 16 36 8 36 204 32 308 432 412 432 248 400 412 284 388 172 24 56 204 232 120 84 28 84 52 24 20 60 216 32 48 16 8 48 16 192 256 96 164 0 4 44 120 96 112 28 72 108 116 180 124 204 100 196 156 136 156 124 164 8 112 0 56 128 124 132 48 32 196 44 264 8 84 60 72 148 116 76 28 304 44 336 100 280 168 36 68 28 176 152 92 76 16 228 4 32 40 72 4 24 200 28 64 48 80 92 20 0 32 320 20 148 44 128 16 4 76 52 208 144 112 124 4 100 72 112 16 76 24 348 196 36 84 60 64 48 40 92 88 72 64 364 4 160 152 168 20 28 20 148 52 16 60 76 164 20 0 128 52 136 164 36 140 244 44 4 40 8 60 0 12 28 36 320 148 112 12 116 100 16 176 112 100 64 300 172 104 24 104 96 
2400.00/2247.81	v 	</values>
2400.00/2247.81	v </instantiation>

Verifier Data 

OK	382326506

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292031-1532272540/watcher-4292031-1532272540 -o /tmp/evaluation-result-4292031-1532272540/solver-4292031-1532272540 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 200577680 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292031-1532272540.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4905, runsolver pid=4902

[startup+0.100091 s]*
/proc/loadavg: 1.96 2.00 2.16 3/215 4920
/proc/meminfo: memFree=10203972/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14082740 memory=33384 CPUtime=0.11 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 7272 0 0 0 11 0 0 0 20 0 15 0 44817186 14420725760 8346 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3520685 8346 3135 1 0 3482761 0
[pid=4905/tid=4907] ppid=4902 vsize=14082740 memory=-8679948820502377664 CPUtime=0.09 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 5348 0 0 0 9 0 0 0 20 0 15 0 44817186 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966587613424 139966567499102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817188 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966057219232 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966056166128 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 44817191 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0.01 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) R 4902 4905 3256 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 44817191 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966051957232 139966562554082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 8346 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33384 KiB

[startup+0.214818 s]*
/proc/loadavg: 1.96 2.00 2.16 6/215 4920
/proc/meminfo: memFree=10188964/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14082740 memory=47012 CPUtime=0.32 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 10391 0 0 0 30 2 0 0 20 0 15 0 44817186 14420725760 11753 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3520685 11753 3366 1 0 3482761 0
[pid=4905/tid=4907] ppid=4902 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 8121 0 0 0 19 1 0 0 20 0 15 0 44817186 14420725760 11753 33554432000 4194304 4196468 140736541540560 139966587646080 139966567499132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14082740 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14082740 memory=140709474056802 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44817188 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966057219232 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966056166128 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) R 4902 4905 3256 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 44817191 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 15 0 44817191 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0.06 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 293 0 0 0 6 0 0 0 20 0 15 0 44817191 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 11815 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47012 KiB

[startup+0.310463 s]*
/proc/loadavg: 1.96 2.00 2.16 3/215 4920
/proc/meminfo: memFree=10185520/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14082740 memory=50472 CPUtime=0.43 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 10725 0 0 0 41 2 0 0 20 0 15 0 44817186 14420725760 12618 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3520685 12618 3413 1 0 3482761 0
[pid=4905/tid=4907] ppid=4902 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 8429 0 0 0 28 1 0 0 20 0 15 0 44817186 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966587618048 139966576135767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14082740 memory=304556144767270935 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14082740 memory=14555544010073752 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44817188 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966057219232 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44817189 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966056166128 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 44817191 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 15 0 44817191 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0.08 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 44817191 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14082740 memory=140709474051712 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817192 14420725760 12618 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50472 KiB

[startup+0.700717 s]
/proc/loadavg: 1.96 2.00 2.16 3/215 4920
/proc/meminfo: memFree=10161212/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14084808 memory=89004 CPUtime=0.99 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 17583 0 0 0 94 5 0 0 20 0 15 0 44817186 14422843392 22251 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3521202 22251 3499 1 0 3483273 0
[pid=4905/tid=4907] ppid=4902 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 14881 0 0 0 63 4 0 0 20 0 15 0 44817186 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966587633552 139966551013909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817187 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44817187 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44817188 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44817189 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966057219232 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44817189 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966056166128 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14084808 memory=12972 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14084808 memory=7662705889289527641 CPUtime=0.07 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 630 0 0 0 7 0 0 0 20 0 15 0 44817191 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14084808 memory=7597685182856913236 CPUtime=0.07 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 15 0 44817191 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14084808 memory=7151830906713428048 CPUtime=0.15 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 398 0 0 0 15 0 0 0 20 0 15 0 44817191 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44817192 14422843392 22251 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89004 KiB

[startup+1.50082 s]
/proc/loadavg: 1.96 2.00 2.16 5/215 4920
/proc/meminfo: memFree=9922224/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14086856 memory=446944 CPUtime=3.21 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 20136 0 0 0 291 30 0 0 20 0 15 0 44817186 14424940544 111736 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3521714 111736 3564 1 0 3483785 0
[pid=4905/tid=4907] ppid=4902 vsize=14086856 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 15347 0 0 0 125 8 0 0 20 0 15 0 44817186 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966587652712 139966224335392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14086856 memory=-8754540793456063680 CPUtime=0.09 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 157 0 0 0 5 4 0 0 20 0 15 0 44817187 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14086856 memory=-2843869621055772062 CPUtime=0.11 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 188 0 0 0 7 4 0 0 20 0 15 0 44817187 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14086856 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 148 0 0 0 5 4 0 0 20 0 15 0 44817187 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14086856 memory=7005738693937936738 CPUtime=0.11 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 156 0 0 0 7 4 0 0 20 0 15 0 44817187 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 44817188 14424940544 111736 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0

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

/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 243426 0 0 0 209651 77 0 0 20 0 15 0 44817186 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966587656272 139966228286899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14095048 memory=4872558044660077418 CPUtime=43.78 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 92906 0 0 0 4272 106 0 0 20 0 15 0 44817187 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14095048 memory=1200 CPUtime=43.83 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 85255 0 0 0 4274 109 0 0 20 0 15 0 44817187 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14095048 memory=15872 CPUtime=43.75 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 86193 0 0 0 4272 103 0 0 20 0 15 0 44817187 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14095048 memory=9292 CPUtime=43.72 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 94239 0 0 0 4264 108 0 0 20 0 15 0 44817187 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14095048 memory=16448 CPUtime=0.78 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 32127 0 0 0 71 7 0 0 20 0 15 0 44817188 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14095048 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966057219296 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14095048 memory=636 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966056166144 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14095048 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14095048 memory=1240 CPUtime=5.42 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 34925 0 0 0 537 5 0 0 20 0 15 0 44817191 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14095048 memory=140709370731505 CPUtime=5.98 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 51625 0 0 0 593 5 0 0 20 0 15 0 44817191 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14095048 memory=-8412656567318647667 CPUtime=1.94 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 42520 0 0 0 188 6 0 0 20 0 15 0 44817191 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14095048 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14095048 memory=-8412652152092201843 CPUtime=1.21 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 2614 0 0 0 56 65 0 0 20 0 15 0 44817192 14433329152 1593816 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 2287.79 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6375264 KiB

[startup+2202.3 s]*
/proc/loadavg: 1.85 1.89 1.95 3/214 5068
/proc/meminfo: memFree=10194796/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14095048 memory=6348696 CPUtime=2351.38 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 790425 0 0 0 234556 582 0 0 20 0 15 0 44817186 14433329152 1587174 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3523762 1587174 3629 1 0 3485833 0
[pid=4905/tid=4907] ppid=4902 vsize=14095048 memory=8112282956445269571 CPUtime=2156.09 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 249307 0 0 0 215530 79 0 0 20 0 15 0 44817186 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966587656384 139966231626828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14095048 memory=4872558044660077418 CPUtime=44.96 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 96419 0 0 0 4390 106 0 0 20 0 15 0 44817187 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14095048 memory=6944652177228980320 CPUtime=45.01 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 88907 0 0 0 4392 109 0 0 20 0 15 0 44817187 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14095048 memory=6944656592387989600 CPUtime=44.95 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 91473 0 0 0 4392 103 0 0 20 0 15 0 44817187 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14095048 memory=6944656592455360604 CPUtime=44.91 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 97933 0 0 0 4383 108 0 0 20 0 15 0 44817187 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14095048 memory=6348696 CPUtime=0.78 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 32400 0 0 0 71 7 0 0 20 0 15 0 44817188 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14095048 memory=6348696 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966057219296 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14095048 memory=6375764 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966056166144 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14095048 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14095048 memory=1228 CPUtime=5.43 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 34929 0 0 0 538 5 0 0 20 0 15 0 44817191 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14095048 memory=1944 CPUtime=5.99 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 52351 0 0 0 594 5 0 0 20 0 15 0 44817191 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14095048 memory=1004 CPUtime=1.94 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 42524 0 0 0 188 6 0 0 20 0 15 0 44817191 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14095048 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14095048 memory=8112282956445269571 CPUtime=1.23 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 2643 0 0 0 57 66 0 0 20 0 15 0 44817192 14433329152 1587174 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 2351.38 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6348696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2247.8 s]
/proc/loadavg: 1.81 1.87 1.95 3/215 5070
/proc/meminfo: memFree=10184772/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14095048 memory=6349080 CPUtime=2400 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 809208 0 0 0 239416 584 0 0 20 0 15 0 44817186 14433329152 1587270 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3523762 1587270 3629 1 0 3485833 0
[pid=4905/tid=4907] ppid=4902 vsize=14095048 memory=6348784 CPUtime=2200.53 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 254518 0 0 0 219974 79 0 0 20 0 15 0 44817186 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966587656384 139966228714899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14095048 memory=0 CPUtime=45.98 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 100277 0 0 0 4492 106 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14095048 memory=6348784 CPUtime=46.05 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 93740 0 0 0 4496 109 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14095048 memory=6348784 CPUtime=45.99 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 92638 0 0 0 4496 103 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14095048 memory=6349080 CPUtime=45.95 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 101341 0 0 0 4487 108 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0.78 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 32665 0 0 0 71 7 0 0 20 0 15 0 44817188 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14095048 memory=6348784 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966057219296 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966056166144 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14095048 memory=6349080 CPUtime=5.43 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 34931 0 0 0 538 5 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14095048 memory=6348772 CPUtime=5.99 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 52353 0 0 0 594 5 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14095048 memory=164 CPUtime=1.94 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 42527 0 0 0 188 6 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14095048 memory=4140 CPUtime=1.26 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 2679 0 0 0 59 67 0 0 20 0 15 0 44817192 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6349080 KiB

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

[startup+2247.85 s]
# the end of solver process 4905 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.2 s, system=5.88165 s

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

[startup+2247.8 s]
/proc/loadavg: 1.81 1.87 1.95 3/215 5070
/proc/meminfo: memFree=10184772/32770624 swapFree=67108860/67108860
[pid=4905] ppid=4902 vsize=14095048 memory=6349080 CPUtime=2400 cores=1,3,5,7
/proc/4905/stat : 4905 (java) S 4902 4905 3256 0 -1 1077944320 809208 0 0 0 239416 584 0 0 20 0 15 0 44817186 14433329152 1587270 33554432000 4194304 4196468 140736541540560 140736541523104 139966583418615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
/proc/4905/statm: 3523762 1587270 3629 1 0 3485833 0
[pid=4905/tid=4907] ppid=4902 vsize=14095048 memory=6348784 CPUtime=2200.53 cores=1,3,5,7
/proc/4905/task/4907/stat : 4907 (java) R 4902 4905 3256 0 -1 4202560 254518 0 0 0 219974 79 0 0 20 0 15 0 44817186 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966587656384 139966228714899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4908] ppid=4902 vsize=14095048 memory=0 CPUtime=45.98 cores=1,3,5,7
/proc/4905/task/4908/stat : 4908 (java) S 4902 4905 3256 0 -1 1077944384 100277 0 0 0 4492 106 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966179261456 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4909] ppid=4902 vsize=14095048 memory=6348784 CPUtime=46.05 cores=1,3,5,7
/proc/4905/task/4909/stat : 4909 (java) S 4902 4905 3256 0 -1 1077944384 93740 0 0 0 4496 109 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966178208912 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4910] ppid=4902 vsize=14095048 memory=6348784 CPUtime=45.99 cores=1,3,5,7
/proc/4905/task/4910/stat : 4910 (java) S 4902 4905 3256 0 -1 1077944384 92638 0 0 0 4496 103 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966177155856 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4911] ppid=4902 vsize=14095048 memory=6349080 CPUtime=45.95 cores=1,3,5,7
/proc/4905/task/4911/stat : 4911 (java) S 4902 4905 3256 0 -1 1077944384 101341 0 0 0 4487 108 0 0 20 0 15 0 44817187 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966176103312 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4912] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0.78 cores=1,3,5,7
/proc/4905/task/4912/stat : 4912 (java) S 4902 4905 3256 0 -1 1077944384 32665 0 0 0 71 7 0 0 20 0 15 0 44817188 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966058273008 139966583429762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4913] ppid=4902 vsize=14095048 memory=6348784 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4913/stat : 4913 (java) S 4902 4905 3256 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966057219296 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4914] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4914/stat : 4914 (java) S 4902 4905 3256 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 44817189 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966056166144 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4915] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4915/stat : 4915 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966055114704 139966583437211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4916] ppid=4902 vsize=14095048 memory=6349080 CPUtime=5.43 cores=1,3,5,7
/proc/4905/task/4916/stat : 4916 (java) S 4902 4905 3256 0 -1 1077944384 34931 0 0 0 538 5 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966054062832 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4917] ppid=4902 vsize=14095048 memory=6348772 CPUtime=5.99 cores=1,3,5,7
/proc/4905/task/4917/stat : 4917 (java) S 4902 4905 3256 0 -1 1077944384 52353 0 0 0 594 5 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966053010288 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4918] ppid=4902 vsize=14095048 memory=164 CPUtime=1.94 cores=1,3,5,7
/proc/4905/task/4918/stat : 4918 (java) S 4902 4905 3256 0 -1 1077944384 42527 0 0 0 188 6 0 0 20 0 15 0 44817191 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966051957232 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4919] ppid=4902 vsize=14095048 memory=6349080 CPUtime=0 cores=1,3,5,7
/proc/4905/task/4919/stat : 4919 (java) S 4902 4905 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44817192 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966050904928 139966583428821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
[pid=4905/tid=4920] ppid=4902 vsize=14095048 memory=4140 CPUtime=1.26 cores=1,3,5,7
/proc/4905/task/4920/stat : 4920 (java) S 4902 4905 3256 0 -1 1077944384 2679 0 0 0 59 67 0 0 20 0 15 0 44817192 14433329152 1587270 33554432000 4194304 4196468 140736541540560 139966049851952 139966583429762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15572992 140736541549653 140736541549833 140736541549833 140736541552591 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 6349080 KiB

Child status: 143
Real time (s): 2247.86
CPU time (s): 2400.08
CPU user time (s): 2394.2
CPU system time (s): 5.88165
CPU usage (%): 106.772
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 6384272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.19
system time used= 5.88165
maximum resident set size= 6384272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59553
involuntary context switches= 3277


# summary of solver processes directly reported to runsolver:
#   pid: 4905
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2394.2
#   total CPU system time (s): 5.88165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7091 second user time and 17.1047 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 17:15:40
IDJOB=4292031
IDBENCH=141269
IDSOLVER=2746
FILE ID=node137/4292031-1532272540
RUNJOBID= node137-1532260876-3288
PBS_JOBID= 21018969
Free space on /tmp= 56548 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4292031-1532272540/watcher-4292031-1532272540 -o /tmp/evaluation-result-4292031-1532272540/solver-4292031-1532272540 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 200577680 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292031-1532272540.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=200577680

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:        10223880 kB
MemAvailable:   20790772 kB
Buffers:          241840 kB
Cached:         10514628 kB
SwapCached:            0 kB
Active:         13233020 kB
Inactive:        8705420 kB
Active(anon):   11184832 kB
Inactive(anon):    16944 kB
Active(file):    2048188 kB
Inactive(file):  8688476 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            136844 kB
Writeback:             0 kB
AnonPages:      11189092 kB
Mapped:            49492 kB
Shmem:             17036 kB
Slab:             286080 kB
SReclaimable:     258688 kB
SUnreclaim:        27392 kB
KernelStack:        3632 kB
PageTables:        26860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11962044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10743808 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= 56684 MiB
End job on node137 at 2018-07-22 17:53:08