Trace number 4308700

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)184000747 2520.08 2429.66

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark61.4336
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1068111642
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
27.74/16.29	c Parsing done, starting first complete search...
78.88/63.50	o 188576453
78.88/63.53	o 188563821
78.88/63.54	o 188563813
78.88/63.56	o 188551181
78.88/63.58	o 188551173
79.17/63.60	o 188551163
79.36/63.72	o 188551162
79.36/63.74	o 188551154
79.36/63.75	o 188538523
79.36/63.76	o 188538514
79.36/63.79	o 188525891
79.36/63.80	o 188525882
79.49/63.81	o 188525874
79.49/63.83	o 188513234
79.49/63.86	o 188500604
79.49/63.89	o 188487981
79.49/63.90	o 188487973
79.70/63.91	o 188487964
79.70/63.94	o 188475324
79.70/63.97	o 188475322
79.70/63.98	o 188475314
79.70/63.99	o 188462684
79.84/64.04	o 188450044
79.84/64.06	o 188450040
79.84/64.10	o 188437423
79.99/64.11	o 188437419
79.99/64.12	o 188437409
79.99/64.13	o 188437400
79.99/64.17	o 188424760
80.08/64.21	o 188412158
80.08/64.22	o 188412149
80.08/64.22	o 188412141
80.08/64.23	o 188412132
80.08/64.24	o 188412128
80.08/64.25	o 188412120
80.08/64.29	o 188399488
80.08/64.30	o 188399480
80.18/64.33	o 188386840
80.18/64.39	o 188386831
80.28/64.43	o 188374201
80.28/64.46	o 188374193
80.28/64.49	o 188361562
80.38/64.51	o 188348922
80.38/64.56	o 188336282
80.49/64.61	o 188323642
80.49/64.64	o 188311002
80.60/64.70	o 188298362
80.60/64.76	o 188298352
80.70/64.84	o 188285721
80.70/64.85	o 188285712
80.80/64.91	o 188273082
80.91/65.03	o 188273072
80.91/65.04	o 188260442
80.91/65.10	o 188247802
81.01/65.11	o 188235162
93.28/77.39	o 188222612
93.28/77.40	o 188222604
93.38/77.40	o 188222597
93.38/77.41	o 188222588
93.38/77.42	o 188222580
93.38/77.43	o 188222576
93.38/77.44	o 188222566
93.38/77.45	o 188222557
93.38/77.46	o 188222550
93.38/77.47	o 188222542
93.38/77.48	o 188222532
132.41/116.36	o 188222530
132.41/116.37	o 188209900
132.41/116.38	o 188209892
132.51/116.41	o 188197252
172.95/156.74	o 188184612
282.85/266.25	c First complete search done, starting ALNS search...
283.26/266.55	o 188184611
283.26/266.56	o 188184610
283.26/266.57	o 188184607
283.26/266.58	o 188184602
283.26/266.59	o 188171993
285.66/268.65	o 188171983
285.66/268.65	o 188159353
285.66/268.66	o 188159343
285.66/268.67	o 188146723
285.66/268.67	o 188146713
285.66/268.67	o 188134083
285.66/268.68	o 188134073
285.66/268.69	o 188121443
285.66/268.69	o 188121433
285.76/268.70	o 188108803
285.76/268.71	o 188108793
285.76/268.72	o 188096168
285.76/268.72	o 188096158
285.76/268.74	o 188096153
285.76/268.75	o 188083523
285.76/268.75	o 188083513
285.76/268.76	o 188070883
285.76/268.77	o 188070873
285.76/268.79	o 188058248
285.76/268.79	o 188058238
285.86/268.81	o 188058233
285.86/268.82	o 188045608
285.86/268.84	o 188045598
285.86/268.85	o 188045593
285.86/268.87	o 188032978
285.86/268.87	o 188032968
285.86/268.89	o 188032958
285.97/268.91	o 188032953
285.97/268.92	o 188020338
285.97/268.93	o 188020328
285.97/268.94	o 188020318
285.97/268.96	o 188020313
286.27/269.27	o 188020305
295.28/277.39	o 188007673
296.45/278.33	o 188007672
296.76/278.66	o 188007671
298.79/280.60	o 188007661
298.79/280.68	o 188007653
299.09/280.95	o 188007650
299.39/281.20	o 188007643
299.59/281.47	o 187995021
299.90/281.73	o 187995013
300.11/282.00	o 187995011
300.41/282.24	o 187995010
300.61/282.48	o 187995003
301.55/282.91	o 187995001
301.78/283.14	o 187995000
301.97/283.36	o 187994993
302.42/283.79	o 187982381
302.52/283.87	o 187982373
302.73/284.10	o 187982370
303.02/284.31	o 187982363
303.22/284.57	o 187969741
303.32/284.66	o 187969733
303.52/284.87	o 187969730
303.73/285.09	o 187969723
304.03/285.38	o 187969720
305.16/286.44	o 187969718
305.36/286.67	o 187969716
305.56/286.87	o 187969713
306.51/287.62	o 187957098
306.62/287.74	o 187957089
306.72/287.85	o 187957088
306.82/287.96	o 187957079
307.03/288.13	o 187944458
307.12/288.24	o 187944449
307.57/288.68	o 187944442
308.44/289.32	o 187931882
308.90/289.77	o 187931872
309.00/289.84	o 187919232
309.10/289.96	o 187906592
309.21/290.09	o 187893952
309.40/290.21	o 187881312
309.50/290.37	o 187868672
309.91/290.71	o 187856032
311.00/291.74	o 187856030
311.10/291.84	o 187856022
311.31/292.06	o 187843406
311.42/292.17	o 187843398
311.61/292.32	o 187843392
311.81/292.59	o 187830766
312.12/292.65	o 187830758
312.22/292.78	o 187830752
321.53/301.75	o 187818120
321.73/301.98	o 187818112
322.44/302.61	o 187805480
322.44/302.67	o 187805472
340.18/319.90	o 187792832
340.18/319.92	o 187780202
340.48/320.28	o 187780192
340.58/320.31	o 187767562
340.88/320.68	o 187767559
340.88/320.68	o 187754929
341.29/321.04	o 187754922
342.12/321.84	o 187742283
351.39/330.77	o 187742282
351.99/331.32	o 187742280
352.59/331.94	o 187742272
353.09/332.44	o 187742265
353.59/332.97	o 187742262
354.09/333.46	o 187742255
354.59/333.95	o 187742249
355.10/334.49	o 187742247
355.98/335.09	o 187742241
356.57/335.63	o 187742240
357.08/336.15	o 187742239
357.57/336.66	o 187742238
358.08/337.16	o 187742232
358.58/337.69	o 187742226
359.98/338.88	o 187729586
360.50/339.31	o 187716946
361.21/340.02	o 187704311
361.82/340.62	o 187691671
362.87/341.62	o 187679051
363.77/342.52	o 187679041
364.67/343.45	o 187679031
366.28/345.06	o 187679030
368.25/346.77	o 187666411
369.25/347.78	o 187666401
370.35/348.89	o 187666391
371.46/349.96	o 187653771
371.76/350.25	o 187653761
373.36/351.82	o 187653760
374.96/353.49	o 187653751
376.57/355.07	o 187653750
378.16/356.66	o 187641131
378.46/356.96	o 187641121
380.06/358.56	o 187641111
381.80/360.19	o 187628491
382.25/360.47	o 187628481
383.86/362.03	o 187628480
384.45/362.56	o 187628475
384.97/363.08	o 187615835
385.36/363.49	o 187603195
385.86/363.93	o 187590555
386.76/364.85	o 187577916
387.36/365.46	o 187577915
389.26/367.30	o 187577907
389.46/367.51	o 187577906
389.76/367.86	o 187577905
390.16/368.23	o 187565285
392.58/370.63	o 187552655
394.63/372.32	o 187540015
396.63/374.37	o 187540014
399.13/376.86	o 187527395
401.23/378.98	o 187527394
403.44/381.16	o 187527385
405.73/383.42	o 187514756
407.13/384.82	o 187514755
409.75/387.19	o 187514747
412.91/390.28	o 187502126
414.72/392.04	o 187502117
415.82/393.19	o 187502116
417.11/394.47	o 187502106
417.91/395.29	o 187502103
419.21/396.56	o 187489476
420.01/397.38	o 187489473
420.94/398.27	o 187464194
426.31/403.22	o 187451554
426.51/403.41	o 187438914
426.71/403.65	o 187426274
427.01/403.93	o 187413634
427.41/404.33	o 187400994
432.12/409.05	o 187400993
433.32/410.27	o 187400984
435.60/412.20	o 187400983
437.99/414.54	o 187388354
439.90/416.47	o 187388353
442.40/418.93	o 187375713
444.80/421.30	o 187375712
457.01/433.13	o 187363076
459.83/435.96	o 187350436
461.83/437.99	o 187325156
463.13/439.22	o 187312516
469.42/442.23	o 187299876
471.12/443.90	o 187287236
474.73/447.51	o 187274596
477.24/450.02	o 187261956
480.44/453.26	o 187249316
482.74/455.02	o 187249306
483.63/455.92	o 187236676
484.43/456.75	o 187236666
485.74/458.02	o 187224036
486.13/458.47	o 187224026
487.43/459.75	o 187211396
487.84/460.16	o 187211386
489.63/461.91	o 187198756
490.23/462.58	o 187198746
492.34/464.64	o 187186116
492.85/465.17	o 187186106
495.36/467.31	o 187173476
497.17/469.12	o 187160836
499.26/471.22	o 187148196
501.17/473.18	o 187148186
503.68/475.65	o 187135547
506.38/478.37	o 187122907
509.72/481.32	o 187122906
513.22/484.88	o 187122897
516.12/487.79	o 187122896
519.22/490.80	o 187122887
522.54/493.83	o 187122886
526.14/497.45	o 187122881
526.85/498.12	o 187122872
528.05/499.39	o 187110241
529.45/500.72	o 187110231
534.15/505.45	o 187097601
535.45/506.74	o 187097591
538.46/509.41	o 187084952
539.56/510.59	o 187084942
540.86/511.81	o 187072321
540.96/511.99	o 187072311
543.36/514.31	o 187072302
544.56/515.52	o 187059681
545.46/516.48	o 187059671
547.94/518.85	o 187047031
549.25/520.18	o 187034422
557.97/528.52	o 187021787
558.27/528.82	o 187021782
558.97/529.56	o 187021772
559.67/530.24	o 187021762
560.37/530.95	o 187021752
561.07/531.69	o 187021744
561.97/532.51	o 187021742
562.77/533.31	o 187021734
563.58/534.11	o 187021728
564.80/535.09	o 187021726
565.39/535.66	o 186958527
566.09/536.38	o 186945897
566.49/536.77	o 186933257
569.69/539.99	o 186933252
571.69/541.97	o 186933247
573.59/543.80	o 186920632
573.80/544.03	o 186920622
575.60/545.81	o 186920612
577.99/548.23	o 186920607
580.12/550.04	o 186907992
581.71/551.64	o 186907982
583.41/553.33	o 186907972
585.72/555.63	o 186895352
587.22/557.17	o 186895342
588.42/558.38	o 186895341
589.33/559.24	o 186895340
589.63/559.57	o 186895339
590.43/560.33	o 186895331
590.73/560.66	o 186895330
591.63/561.53	o 186882715
592.34/561.97	o 186882706
592.80/562.30	o 186882705
593.61/563.02	o 186882696
593.80/563.30	o 186882695
594.90/564.34	o 186882691
595.20/564.65	o 186882690
601.91/571.37	o 186882678
603.12/572.49	o 186882672
604.32/573.62	o 186870038
608.58/577.43	o 186870032
609.68/578.55	o 186857398
611.38/580.23	o 186857392
612.48/581.37	o 186844758
620.11/588.58	o 186832118
620.41/588.88	o 186819478
621.01/589.49	o 186806838
629.08/597.34	o 186794208
629.18/597.48	o 186794198
632.28/600.58	o 186781573
632.48/600.71	o 186781563
638.33/606.12	o 186768931
643.92/611.73	o 186768923
650.55/617.92	o 186768922
652.16/619.46	o 186756282
652.78/620.10	o 186743642
653.68/620.97	o 186731002
655.19/622.46	o 186718371
656.19/623.48	o 186705731
662.58/629.38	o 186693091
665.30/632.03	o 186693081
665.69/632.41	o 186680441
665.99/632.77	o 186667801
666.40/633.16	o 186655161
666.69/633.49	o 186642521
667.19/633.96	o 186629881
667.69/634.46	o 186617241
668.09/634.88	o 186604611
668.40/635.19	o 186604601
668.79/635.52	o 186591971
669.09/635.85	o 186591961
669.49/636.24	o 186579331
669.79/636.55	o 186579321
670.19/636.94	o 186566691
670.59/637.30	o 186566681
670.89/637.66	o 186554051
671.49/638.20	o 186541411
671.89/638.61	o 186541401
672.30/639.01	o 186528771
672.59/639.37	o 186528761
672.89/639.65	o 186528756
678.55/644.85	o 186516131
681.76/648.08	o 186516121
686.25/652.53	o 186516111
689.15/655.48	o 186503491
692.15/658.42	o 186503481
696.21/662.05	o 186490851
703.01/668.84	o 186490848
703.61/669.40	o 186490847
705.11/671.00	o 186478215
705.51/671.33	o 186478207
706.01/671.87	o 186465575
706.32/672.18	o 186465567
707.54/672.96	o 186452935
707.92/673.25	o 186452927
708.42/673.75	o 186440295
708.73/674.04	o 186440287
709.42/674.76	o 186427647
710.22/675.55	o 186415007
711.02/676.31	o 186402375
711.62/676.96	o 186402367
712.32/677.67	o 186389727
729.74/694.56	o 186377196
735.25/700.07	o 186364556
735.94/700.74	o 186351916
736.25/701.05	o 186351906
737.64/702.41	o 186339276
738.51/702.80	o 186339266
740.31/704.60	o 186326636
740.91/705.28	o 186326626
742.01/706.35	o 186326625
747.62/711.91	o 186313985
750.32/714.68	o 186301345
752.83/717.15	o 186301341
754.48/718.31	o 186301331
756.29/720.11	o 186301321
759.29/723.12	o 186301311
762.30/726.18	o 186301310
763.30/727.15	o 186288670
763.79/727.67	o 186276030
764.39/728.24	o 186263395
765.30/729.18	o 186263390
765.99/729.87	o 186250755
767.10/731.00	o 186250745
767.69/731.57	o 186238115
767.89/731.73	o 186238105
768.40/732.25	o 186225465
769.77/733.15	o 186212825
773.57/736.90	o 186212822
773.97/737.39	o 186200182
774.47/737.84	o 186200181
776.07/739.40	o 186200177
776.57/739.92	o 186200176
778.17/741.50	o 186187542
778.68/742.03	o 186187541
779.17/742.59	o 186187537
779.68/743.08	o 186187536
780.57/744.00	o 186174902
781.07/744.48	o 186174901
781.68/745.02	o 186174897
782.07/745.48	o 186174896
783.17/746.52	o 186162262
783.57/746.97	o 186162261
784.17/747.52	o 186162257
784.57/747.94	o 186162256
786.34/749.21	o 186149622
786.44/749.38	o 186149617
786.84/749.77	o 186149616
789.15/752.09	o 186136976
789.94/752.80	o 186136966
792.15/755.07	o 186086446
793.65/756.56	o 186073816
794.05/756.90	o 186061176
794.75/757.69	o 186061166
796.05/758.98	o 186061165
796.66/759.53	o 186048526
797.56/760.40	o 186010604
797.56/760.45	o 186010603
798.86/761.72	o 185972665
801.46/763.88	o 185960048
802.06/764.43	o 185960041
802.56/765.00	o 185960038
803.16/765.60	o 185960031
804.26/766.68	o 185947408
804.87/767.22	o 185947398
805.68/768.02	o 185934768
806.28/768.61	o 185934758
806.88/769.26	o 185934751
807.68/770.05	o 185934749
808.27/770.66	o 185934742
810.79/773.14	o 185922128
811.28/773.65	o 185922118
811.88/774.24	o 185922111
812.98/775.36	o 185922109
813.58/775.92	o 185922102
815.28/777.67	o 185909497
815.79/778.17	o 185909490
816.98/778.89	o 185909488
817.58/779.48	o 185909481
818.29/780.15	o 185909478
818.89/780.72	o 185909471
820.30/782.19	o 185896848
820.90/782.72	o 185896841
821.40/783.29	o 185896838
822.43/784.26	o 185896837
823.93/785.77	o 185896833
825.83/787.63	o 185896816
827.03/788.88	o 185896810
828.93/790.70	o 185884189
830.34/792.16	o 185884179
832.93/794.28	o 185871548
834.23/795.56	o 185871547
842.93/804.23	o 185858912
843.03/804.37	o 185858907
845.33/806.64	o 185846288
846.12/807.41	o 185795730
846.52/807.88	o 185795729
853.04/813.82	o 185795725
853.84/814.65	o 185795715
855.04/815.83	o 185795706
856.65/817.49	o 185795700
858.55/819.30	o 185795697
860.05/820.83	o 185795691
862.80/822.92	o 185795690
864.60/824.72	o 185795687
866.30/826.42	o 185795681
871.21/831.37	o 185783085
872.11/832.20	o 185783075
872.92/833.09	o 185783066
874.22/834.39	o 185783056
874.52/834.69	o 185770426
875.42/835.58	o 185757786
877.44/837.17	o 185745151
880.54/840.22	o 185732521
881.94/841.60	o 185732511
882.04/841.74	o 185719881
883.24/842.98	o 185719861
884.45/844.12	o 185707231
885.84/845.54	o 185707221
886.94/846.64	o 185694591
889.27/848.80	o 185694587
890.87/850.46	o 185694581
892.81/852.28	o 185694577
894.65/853.81	o 185694571
899.26/858.44	o 185681931
921.66/880.49	o 185669291
924.74/883.12	o 185656661
925.43/883.86	o 185656651
927.84/886.27	o 185656648
932.44/890.83	o 185656647
940.30/898.25	o 185644021
941.40/899.35	o 185631381
942.80/900.76	o 185631371
944.00/902.00	o 185618731
945.01/902.96	o 185606091
946.51/904.47	o 185593461
947.91/905.88	o 185593451
949.23/907.15	o 185580821
952.16/909.57	o 185580811
953.26/910.61	o 185568181
975.66/932.55	o 185568177
976.66/933.56	o 185568176
977.56/934.49	o 185555568
978.36/935.29	o 185555566
979.27/936.11	o 185555562
980.76/937.12	o 185555559
981.55/937.94	o 185555557
982.35/938.77	o 185555553
983.15/939.59	o 185555552
984.05/940.44	o 185555550
984.95/941.34	o 185555546
986.05/942.48	o 185555542
987.76/944.12	o 185555541
988.66/945.03	o 185542927
989.45/945.85	o 185542920
990.36/946.70	o 185542918
991.26/947.66	o 185542908
993.06/949.45	o 185530268
995.16/951.03	o 185517628
996.16/952.06	o 185504988
1000.78/956.63	o 185504970
1003.48/959.31	o 185504969
1006.08/961.99	o 185504961
1009.52/964.82	o 185504960
1013.12/968.43	o 185504959
1016.92/972.21	o 185504951
1020.43/975.76	o 185504950
1022.75/977.57	o 185504943
1027.75/982.57	o 185504936
1032.66/987.41	o 185504935
1034.76/989.55	o 185467042
1037.72/991.90	o 185467041
1052.08/1005.72	o 185467040
1056.88/1010.56	o 185454411
1071.37/1024.46	o 185441771
1072.57/1025.66	o 185429131
1074.77/1027.86	o 185416491
1078.31/1030.79	o 185403851
1080.21/1032.61	o 185391211
1082.81/1035.29	o 185391192
1089.11/1041.57	o 185378552
1094.67/1046.58	o 185378551
1099.87/1051.75	o 185365912
1105.00/1056.37	o 185353272
1107.20/1058.52	o 185340632
1109.50/1060.87	o 185327992
1112.01/1063.34	o 185315352
1119.73/1070.59	o 185302712
1130.95/1081.70	o 185290072
1133.17/1083.48	o 185277432
1197.77/1145.97	o 185252152
1198.78/1146.92	o 185239512
1200.69/1148.89	o 185226872
1203.89/1151.56	o 185214232
1219.80/1166.94	o 185201645
1222.01/1169.11	o 185201640
1224.11/1171.28	o 185201633
1226.30/1173.49	o 185201630
1227.50/1174.60	o 185176350
1237.36/1183.96	o 185176349
1247.33/1193.40	o 185176343
1256.08/1202.10	o 185176335
1258.28/1204.26	o 185176334
1267.51/1212.92	o 185176328
1269.91/1215.34	o 185176327
1273.31/1218.75	o 185176317
1275.11/1220.54	o 185163677
1278.23/1223.13	o 185151047
1281.32/1226.20	o 185138397
1294.01/1238.32	o 185125757
1294.91/1239.29	o 185113127
1298.51/1242.85	o 185113118
1304.41/1248.12	o 185100478
1306.01/1249.76	o 185087838
1307.81/1251.57	o 185075208
1309.61/1253.34	o 185075198
1334.58/1277.27	o 185062558
1336.78/1279.47	o 185062549
1338.68/1281.38	o 185062540
1360.43/1302.59	o 185062539
1424.93/1364.74	o 185062531
1428.17/1367.40	o 185062530
1430.88/1370.17	o 185049900
1431.57/1370.87	o 185049891
1433.78/1373.03	o 185049890
1446.67/1385.31	o 185037252
1449.87/1388.55	o 185037251
1462.23/1400.39	o 185037250
1465.24/1403.33	o 185037242
1465.54/1403.67	o 185037241
1466.64/1404.79	o 185037240
1489.40/1426.30	o 185024600
1491.51/1428.42	o 185011960
1493.70/1430.62	o 184999320
1495.70/1432.65	o 184986680
1499.61/1436.58	o 184974040
1502.41/1439.30	o 184961400
1515.36/1451.75	o 184961390
1517.86/1454.27	o 184948750
1522.62/1458.41	o 184936110
1524.12/1459.92	o 184923470
1546.57/1481.85	o 184910839
1547.37/1482.61	o 184910830
1559.12/1493.81	o 184910829
1584.81/1518.34	o 184898231
1586.91/1520.49	o 184898230
1589.31/1522.81	o 184898221
1591.31/1524.86	o 184898220
1594.21/1527.72	o 184898212
1596.42/1530.00	o 184898211
1602.46/1535.41	o 184898203
1604.37/1537.37	o 184898202
1634.11/1565.82	o 184885562
1637.11/1568.89	o 184872922
1661.80/1592.94	o 184860282
1669.35/1599.98	o 184847642
1672.75/1603.32	o 184835003
1674.75/1605.36	o 184822363
1676.46/1607.09	o 184822362
1716.62/1645.57	o 184822358
1719.93/1648.87	o 184822357
1722.34/1651.22	o 184809717
1758.41/1686.29	o 184797077
1761.71/1689.54	o 184784437
1765.54/1692.86	o 184771797
1771.86/1699.16	o 184759157
1775.55/1702.87	o 184746517
1780.08/1706.83	o 184733877
1783.98/1710.70	o 184721237
1792.30/1719.03	o 184695958
1792.69/1719.41	o 184695957
1799.22/1725.42	o 184683327
1801.22/1727.48	o 184683317
1804.52/1730.74	o 184670687
1806.73/1732.96	o 184670677
1830.70/1755.81	o 184658046
1835.41/1760.53	o 184645425
1842.22/1766.80	o 184645420
1846.02/1770.69	o 184645415
1849.13/1773.72	o 184632785
1855.44/1780.07	o 184620145
1883.48/1805.37	o 184607505
1888.38/1810.27	o 184594865
1890.08/1811.99	o 184582235
1891.78/1813.66	o 184582225
1914.27/1836.05	o 184569592
1915.06/1836.87	o 184569585
1921.00/1842.70	o 184556945
1924.61/1846.33	o 184544305
1927.91/1849.68	o 184531665
1931.71/1853.42	o 184519025
1935.42/1857.17	o 184506393
1936.21/1857.99	o 184506385
1938.36/1860.01	o 184506384
1948.65/1870.34	o 184493756
1970.93/1892.56	o 184493747
1975.14/1896.73	o 184481107
1979.85/1901.48	o 184468467
1985.09/1906.60	o 184455827
1990.99/1912.58	o 184455818
2015.09/1936.54	o 184455815
2017.70/1939.17	o 184455808
2022.19/1943.60	o 184443168
2025.70/1947.13	o 184430528
2061.33/1982.63	o 184430520
2068.24/1989.59	o 184430514
2077.18/1998.42	o 184430513
2090.00/2011.27	o 184417873
2094.85/2016.10	o 184405233
2099.35/2020.59	o 184392593
2102.67/2023.80	o 184379953
2106.30/2027.49	o 184367313
2116.70/2037.88	o 184354673
2122.06/2043.14	o 184342033
2131.26/2052.33	o 184304121
2142.91/2064.00	o 184291481
2152.02/2073.05	o 184278833
2155.66/2076.62	o 184266193
2159.67/2080.68	o 184253553
2163.97/2084.95	o 184240913
2169.23/2090.19	o 184228273
2172.54/2093.47	o 184215650
2174.94/2095.85	o 184215643
2177.64/2098.57	o 184203010
2180.04/2100.96	o 184203003
2182.75/2103.69	o 184203000
2184.59/2105.44	o 184202993
2189.09/2109.99	o 184202990
2190.79/2111.66	o 184202983
2193.69/2114.54	o 184202982
2215.06/2135.81	o 184202981
2218.01/2138.79	o 184202979
2219.14/2139.88	o 184202978
2227.65/2148.34	o 184190349
2230.36/2151.09	o 184190348
2232.66/2152.78	o 184177718
2240.56/2160.66	o 184165078
2244.16/2164.28	o 184152438
2254.09/2173.73	o 184152434
2272.83/2192.13	o 184139802
2275.62/2194.73	o 184127162
2279.12/2198.22	o 184114522
2282.19/2200.69	o 184114514
2296.00/2214.43	o 184114513
2298.15/2216.15	o 184114512
2302.80/2220.50	o 184114510
2308.50/2226.26	o 184114506
2314.97/2232.12	o 184114503
2320.16/2237.38	o 184114501
2323.26/2240.49	o 184101867
2348.12/2264.75	o 184101860
2352.19/2268.20	o 184089220
2357.79/2273.83	o 184076587
2362.49/2278.54	o 184076580
2369.15/2284.65	o 184063947
2400.69/2315.07	o 184051307
2426.89/2340.03	o 184038675
2428.49/2341.68	o 184038667
2441.36/2353.98	o 184038662
2446.16/2358.74	o 184026027
2452.58/2365.12	o 184013387
2482.64/2394.01	o 184000747
2520.01/2429.60	s SATISFIABLE
2520.01/2429.61	v <instantiation>
2520.01/2429.61	v 	<list>
2520.01/2429.61	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] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] 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] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] 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] 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] 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]
2520.01/2429.61	v 	</list>
2520.01/2429.61	v 	<values>
2520.01/2429.61	v 		2664 2308 2488 2652 2568 2648 2572 2688 2564 2440 2284 2328 2476 2388 2548 2440 2420 2664 2232 2644 2368 2524 2264 2220 2380 2260 2500 2408 2324 2660 2684 2588 2560 2392 2644 2476 2460 2660 2672 2648 2488 2424 2584 2652 2656 2700 2688 2632 2484 2324 2340 2400 2536 2220 2644 2340 2588 2480 2348 2700 2488 2396 2348 2696 2400 2528 2228 2260 2492 2328 2436 2364 2484 2400 2448 2556 2380 2596 2224 2516 2260 2224 2260 2556 2348 2240 2440 2460 2264 2260 2528 2304 2596 2220 2364 2452 2220 2556 2568 2548 2284 2496 2272 2576 2400 2344 2644 2220 2308 2444 2220 2312 2280 2656 2524 2288 2444 2392 2496 2336 2348 2388 2284 2520 2388 2264 2356 2412 2356 2328 2508 2272 2344 2348 2280 2700 2368 2624 2280 2468 2552 2408 2376 2260 2548 2416 2692 2616 2536 2684 2508 2664 2336 2360 2436 2500 2244 2660 2612 2360 2460 2428 2300 2352 2284 2656 2532 2264 2628 2400 2396 2272 2624 2464 2248 2548 2512 2508 2548 2568 2580 2368 2512 2332 2348 2480 2548 2428 2576 2496 2368 2348 2248 2484 2228 2604 2684 2492 2656 2432 2608 2660 2420 2532 2532 2420 2660 2288 2592 2460 2440 2384 2452 2540 2500 2380 2392 2580 2568 2248 2228 2516 2220 2396 2308 2268 2220 2648 2284 2688 2368 2340 2668 2516 2560 2508 2400 2640 2520 2700 2428 2308 2372 2500 2600 2592 2476 2220 2420 2460 2324 2260 2400 2364 2452 2248 2296 2540 2260 2552 2660 2528 2536 2636 2628 2272 2484 2420 2644 2476 2568 2420 2296 2504 2384 2576 2652 2456 2408 2220 2288 2464 2660 2320 2540 2652 2396 2544 2464 2480 2552 2628 2700 2528 2316 2352 2660 2412 2348 2360 2452 2404 2644 2436 2588 2556 2628 2548 2420 2540 2304 2284 2488 2424 2332 2432 2564 2388 2452 2260 2296 2624 2400 2404 2692 2244 2476 2424 2356 2388 2700 2544 2668 2300 2380 2508 2648 2528 2260 2396 2388 2444 2492 2440 2508 2660 2676 2528 2412 2636 2416 2552 2436 2360 2616 2452 2600 2244 2436 2296 2284 2608 2396 2288 2400 2684 2232 2444 2268 2436 2424 2444 2436 2396 2424 2672 2484 2536 2492 2220 2588 2300 2296 2388 2368 2260 2408 2604 2588 2428 2504 2464 2220 2232 2588 2400 2608 2368 2372 2332 2608 2616 2348 2384 2496 2484 2364 2700 2452 2528 2256 2360 2632 2424 2472 2464 2260 2524 2380 2388 2412 2700 2480 2324 2400 2648 2508 2384 2684 2660 2468 2356 2404 2244 2284 2360 2424 2436 2400 2396 2532 2624 2468 2320 2516 2260 2484 2244 2444 2324 2552 2504 2304 2500 2292 2336 2492 2520 2516 2480 2492 2360 2520 2356 2612 2588 2484 2312 2384 2584 2648 2592 2468 2340 2432 2444 2408 2700 2524 2372 2288 2516 2404 2316 2268 2440 2380 2628 2376 2492 2516 2360 2476 2548 2536 2700 2536 2556 2256 2380 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 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 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 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 1 1 1 1 1 1 0 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 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 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 0 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 0 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 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 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 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 1 1 1 1 1 1 1 11 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 10 10 0 0 10 0 0 10 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 0 9 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 0 10 10 10 0 0 0 10 10 10 0 10 0 10 10 10 10 10 0 0 0 9 10 0 10 0 10 0 10 10 10 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 0 0 0 0 10 0 10 10 10 10 0 0 7 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 0 0 10 10 10 10 10 10 10 10 0 10 10 0 10 0 5 0 10 10 10 0 10 10 10 0 0 10 0 0 10 10 0 10 10 10 10 10 0 0 10 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 10 10 0 10 0 10 10 0 0 10 10 10 0 10 10 10 10 0 0 0 10 10 10 10 10 0 0 0 10 10 0 0 5 10 10 0 0 10 10 0 10 10 0 0 10 10 0 0 10 10 0 0 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 10 0 0 10 10 0 10 10 10 10 0 0 10 10 0 0 10 0 10 0 10 10 0 10 10 10 10 10 0 0 10 10 0 10 10 10 0 10 0 10 0 10 0 0 10 10 10 0 10 10 0 10 10 0 0 10 10 10 0 10 0 0 10 10 0 0 10 10 10 10 10 10 0 0 9 10 0 10 10 0 0 0 0 8 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 10 10 0 0 10 0 0 10 0 10 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 10 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 10 0 10 10 0 10 10 0 10 0 0 10 0 10 10 10 0 0 0 0 0 10 10 10 0 0 10 0 0 0 10 10 10 0 10 0 0 0 10 0 10 10 10 10 0 10 0 10 0 0 0 10 10 10 0 0 0 0 0 10 10 10 0 0 0 10 0 10 10 10 10 0 0 0 10 0 10 0 0 10 0 0 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 10 10 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 0 0 10 10 10 0 0 10 0 10 10 0 10 10 10 10 0 10 0 10 0 0 0 10 0 10 0 10 10 0 10 10 0 0 0 10 10 0 10 0 0 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 0 0 0 0 9 10 0 10 10 0 10 0 10 10 0 10 10 10 0 10 0 0 10 10 0 10 0 10 0 10 10 10 0 10 10 0 10 0 0 10 0 10 0 0 10 10 10 10 0 0 10 0 10 0 0 10 0 10 10 0 0 10 0 10 10 0 0 0 10 0 10 0 10 10 10 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 0 10 0 0 8 0 0 0 10 0 0 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 10 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 10 0 0 10 10 10 0 0 10 0 10 0 0 10 10 0 10 10 0 10 10 10 0 10 0 10 10 0 0 0 10 10 0 10 0 10 10 0 10 0 0 0 10 0 0 10 0 0 10 10 10 10 0 0 0 0 0 0 10 10 10 10 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 0 0 0 10 0 0 10 10 0 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 10 10 10 0 9 10 0 10 10 0 0 0 10 10 10 10 0 10 0 10 10 10 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 10 0 10 0 10 10 0 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 10 0 10 0 0 10 10 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 10 10 0 0 10 0 10 0 10 10 10 0 10 0 0 0 10 10 10 5 10 0 10 0 10 10 10 0 0 0 10 0 0 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 0 10 0 10 10 0 0 10 10 0 0 0 10 0 0 10 10 10 0 10 0 10 10 0 10 4 0 0 10 0 0 10 0 0 0 10 10 10 10 10 0 10 10 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 10 0 168 148 376 88 156 320 52 212 220 4 308 368 352 360 280 92 204 136 348 280 336 340 124 244 132 344 172 168 128 180 328 60 340 468 84 80 44 144 24 164 124 92 188 12 92 380 412 212 168 116 136 260 168 108 300 72 76 168 60 140 0 0 28 200 28 328 144 156 64 196 80 260 184 204 8 268 96 440 108 220 352 100 372 268 200 328 244 444 192 252 424 284 112 184 360 108 64 140 52 56 116 260 236 92 368 16 268 228 424 336 128 204 232 204 80 100 112 0 296 236 172 256 12 228 216 168 176 68 292 4 108 236 112 40 152 160 64 76 80 12 36 312 388 0 120 208 168 376 284 296 300 368 152 124 164 4 308 8 144 144 364 208 164 272 76 192 40 56 32 192 72 40 36 60 0 108 300 304 164 64 272 244 424 376 372 132 144 120 252 96 268 152 76 68 24 100 140 44 56 104 60 16 68 188 160 116 372 356 172 136 308 128 212 280 248 328 328 56 388 404 320 356 16 104 204 376 44 40 96 104 84 268 192 60 4 352 80 176 28 40 104 208 76 276 212 84 60 112 172 116 480 64 48 280 304 56 60 344 92 136 96 104 300 152 368 112 88 40 200 28 108 84 68 108 76 180 12 332 60 120 20 88 76 44 40 28 104 148 56 192 40 128 40 88 64 348 256 252 452 140 72 4 76 52 52 116 4 128 4 48 20 252 192 124 416 272 364 316 400 40 236 36 168 156 208 340 136 232 56 48 76 252 28 284 272 336 36 68 104 56 8 160 252 164 268 168 108 200 88 336 212 236 128 72 168 72 200 144 268 140 376 228 368 96 248 120 284 236 72 68 28 8 124 144 296 144 164 268 204 172 88 136 280 268 404 176 240 140 196 172 240 108 200 108 160 80 44 224 100 116 208 68 4 132 80 172 76 224 348 160 8 100 248 272 120 208 216 432 104 160 20 292 156 4 32 152 16 52 172 68 160 180 316 428 204 264 60 140 108 24 312 128 92 220 320 108 0 248 60 100 100 96 244 4 76 56 368 252 8 108 40 116 52 112 112 108 172 40 292 216 180 52 12 68 24 204 244 200 104 44 148 120 192 388 428 272 76 92 240 24 96 220 144 24 24 80 64 296 184 368 316 348 80 24 104 228 348 420 28 80 272 28 52 304 16 264 376 224 176 240 48 64 112 148 108 52 24 112 196 252 108 52 16 92 100 168 364 156 4 52 80 128 76 12 168 260 12 340 76 108 100 100 68 20 28 116 272 48 140 144 392 172 436 20 224 28 48 192 260 164 52 80 228 176 128 24 80 176 156 56 152 328 4 356 72 108 44 160 220 132 204 116 328 360 28 340 224 76 140 112 192 128 312 188 228 132 204 172 376 268 260 12 96 44 184 340 332 184 272 68 220 12 60 80 84 24 0 92 12 96 112 80 272 68 160 180 276 160 84 92 220 264 396 324 268 220 216 64 208 28 60 92 156 80 252 104 132 296 324 80 140 296 36 196 180 68 40 220 100 64 64 36 16 28 252 168 108 116 176 392 284 404 24 252 184 356 92 40 88 76 240 92 52 140 48 100 168 72 268 52 192 44 16 108 20 52 64 308 272 128 188 168 128 380 156 0 124 144 96 188 20 136 108 148 164 152 268 372 112 252 204 76 236 240 184 40 148 204 356 252 52 124 152 112 160 104 52 60 292 112 116 60 148 8 60 40 208 136 156 36 140 124 84 160 148 264 180 40 12 16 324 132 352 104 128 156 36 220 104 32 136 24 16 68 32 188 8 140 196 44 328 0 260 188 44 40 156 144 308 52 148 180 36 204 40 80 300 360 64 52 80 312 376 24 264 128 192 120 72 56 132 88 260 176 396 164 116 52 300 8 172 292 152 232 168 24 124 164 108 312 8 144 192 124 128 68 296 272 260 228 192 164 148 16 28 24 72 164 68 96 272 56 304 44 80 148 116 60 28 16 104 168 180 48 60 32 140 76 80 100 176 108 236 208 172 112 160 140 328 252 20 68 152 80 12 176 284 408 168 64 352 236 164 416 220 348 152 12 4 160 4 212 80 40 280 52 8 76 136 204 120 108 192 4 96 76 256 288 120 84 288 184 224 80 112 48 144 288 112 36 164 68 80 44 56 16 60 28 124 56 48 84 160 64 244 108 324 204 124 176 92 56 28 64 160 96 96 300 44 0 68 20 4 72 12 32 136 16 12 248 156 84 152 144 132 308 68 192 120 132 72 284 300 216 20 168 240 100 28 240 32 324 304 160 116 104 220 12 64 48 56 44 4 72 212 168 16 72 20 332 100 84 12 4 264 84 100 132 272 8 44 12 48 96 108 368 180 268 136 156 160 76 28 60 16 208 36 60 148 272 228 164 64 108 92 28 28 4 204 100 108 268 340 148 120 92 20 160 156 168 40 112 168 120 68 280 180 28 28 24 76 48 160 200 12 172 64 152 96 0 328 148 272 120 124 16 8 124 164 256 84 212 184 64 12 60 44 80 48 56 148 332 132 0 60 92 128 64 180 180 104 156 284 292 428 104 96 164 12 184 200 40 192 72 20 56 4 192 44 36 192 120 28 24 100 48 88 52 28 428 60 52 324 80 108 36 60 112 136 100 360 208 340 80 48 120 104 132 12 180 76 24 240 76 140 200 140 24 56 72 8 164 20 152 4 24 28 0 16 100 228 68 44 12 52 68 148 308 264 16 352 0 140 284 12 12 140 408 72 140 284 352 96 100 92 220 116 44 80 60 48 156 88 16 156 124 68 76 124 4 236 56 120 80 24 264 172 84 28 0 192 128 144 232 236 76 252 60 28 68 216 12 32 56 0 4 112 16 44 232 128 72 104 
2520.01/2429.61	v 	</values>
2520.01/2429.61	v </instantiation>

Verifier Data 

OK	184000747

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308700-1534305638/watcher-4308700-1534305638 -o /tmp/evaluation-result-4308700-1534305638/solver-4308700-1534305638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1068111642 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308700-1534305638.xml 

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

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


[startup+0.107398 s]*
/proc/loadavg: 1.78 1.85 1.92 3/216 23380
/proc/meminfo: memFree=20897132/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14082736 memory=35668 CPUtime=0.12 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 7322 0 0 0 11 1 0 0 20 0 15 0 248127060 14420721664 8917 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3520684 8917 3137 1 0 3482761 0
[pid=23365/tid=23367] ppid=23362 vsize=14082736 memory=-6966721798027829888 CPUtime=0.1 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 5395 0 0 0 9 1 0 0 20 0 15 0 248127060 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300739506984 140300721475621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14082736 memory=5793854875103558073 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127062 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 8917 33554432000 4194304 4196468 140721540730304 140300275832480 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299712324848 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0.01 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 248127065 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127066 14420721664 8917 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 35668 KiB

[startup+0.210526 s]*
/proc/loadavg: 1.78 1.85 1.92 4/216 23380
/proc/meminfo: memFree=20884524/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14082736 memory=48792 CPUtime=0.3 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 10293 0 0 0 28 2 0 0 20 0 15 0 248127060 14420721664 12198 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3520684 12198 3365 1 0 3482761 0
[pid=23365/tid=23367] ppid=23362 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 8037 0 0 0 18 1 0 0 20 0 15 0 248127060 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300739515984 140300735308378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14082736 memory=4211973350298455434 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248127062 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 12198 33554432000 4194304 4196468 140721540730304 140300275832480 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299712324848 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 248127065 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) R 23362 23365 21941 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 248127065 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0.06 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) R 23362 23365 21941 0 -1 4202560 291 0 0 0 6 0 0 0 20 0 15 0 248127065 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299708114928 140300714205851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127066 14420721664 12198 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48792 KiB

[startup+0.310514 s]*
/proc/loadavg: 1.78 1.85 1.92 4/216 23380
/proc/meminfo: memFree=20881360/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14082736 memory=52120 CPUtime=0.44 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 10682 0 0 0 41 3 0 0 20 0 15 0 248127060 14420721664 13030 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3520684 13030 3367 1 0 3482761 0
[pid=23365/tid=23367] ppid=23362 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 8390 0 0 0 28 1 0 0 20 0 15 0 248127060 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300739468080 140300716850595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14082736 memory=4211973350298455434 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14082736 memory=139624093667253 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14082736 memory=139623951105989 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14082736 memory=139623951093199 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14082736 memory=139624093686864 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248127062 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14082736 memory=139623951102383 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 13030 33554432000 4194304 4196468 140721540730304 140300275832480 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14082736 memory=279247902195600 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127063 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299712324848 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14082736 memory=279247902193296 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 248127065 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 15 0 248127065 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0.08 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 314 0 0 0 8 0 0 0 20 0 15 0 248127065 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14082736 memory=139624093664896 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127066 14420721664 13030 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52120 KiB

[startup+0.70076 s]
/proc/loadavg: 1.78 1.85 1.92 3/216 23380
/proc/meminfo: memFree=20858976/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14084804 memory=90748 CPUtime=0.98 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 17537 0 0 0 94 4 0 0 20 0 15 0 248127060 14422839296 22687 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3521201 22687 3498 1 0 3483273 0
[pid=23365/tid=23367] ppid=23362 vsize=14084804 memory=1220 CPUtime=0.66 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 14827 0 0 0 63 3 0 0 20 0 15 0 248127060 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300739511024 140300719367518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127061 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 248127061 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14084804 memory=6370994028255662167 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 248127062 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 248127063 14422839296 22687 33554432000 4194304 4196468 140721540730304 140300275832480 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127063 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299712324848 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14084804 memory=229 CPUtime=0.07 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 593 0 0 0 7 0 0 0 20 0 15 0 248127065 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 15 0 248127065 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14084804 memory=707 CPUtime=0.15 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 415 0 0 0 15 0 0 0 20 0 15 0 248127065 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14084804 memory=279247902379504 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 248127066 14422839296 22687 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90748 KiB

[startup+1.5014 s]
/proc/loadavg: 1.88 1.87 1.92 4/216 23380
/proc/meminfo: memFree=20617692/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14086852 memory=387392 CPUtime=3.07 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 20025 0 0 0 279 28 0 0 20 0 15 0 248127060 14424936448 96848 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3521713 96848 3564 1 0 3483785 0
[pid=23365/tid=23367] ppid=23362 vsize=14086852 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 15321 0 0 0 129 7 0 0 20 0 15 0 248127060 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300739520376 140300358332761 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14086852 memory=4947090531163151232 CPUtime=0.07 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 15 0 248127061 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14086852 memory=-5862946231257819239 CPUtime=0.06 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 126 0 0 0 3 3 0 0 20 0 15 0 248127061 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14086852 memory=-6585528546044026665 CPUtime=0.08 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 165 0 0 0 4 4 0 0 20 0 15 0 248127061 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14086852 memory=-3472574513799858009 CPUtime=0.08 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 155 0 0 0 4 4 0 0 20 0 15 0 248127061 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14086852 memory=-7593178207252075054 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 248127062 14424936448 96848 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0

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

/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 426547 0 0 0 223741 96 0 0 20 0 15 0 248127060 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300739524560 140300359127235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14092996 memory=5763760 CPUtime=23.06 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 84289 0 0 0 2223 83 0 0 20 0 15 0 248127061 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14092996 memory=5763760 CPUtime=23.09 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 81734 0 0 0 2230 79 0 0 20 0 15 0 248127061 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14092996 memory=164 CPUtime=23.14 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 75744 0 0 0 2230 84 0 0 20 0 15 0 248127061 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14092996 memory=0 CPUtime=23.08 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 81682 0 0 0 2224 84 0 0 20 0 15 0 248127061 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14092996 memory=5763760 CPUtime=0.56 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 26680 0 0 0 52 4 0 0 20 0 15 0 248127062 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14092996 memory=5763760 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140300275832544 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14092996 memory=5763760 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299712324864 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14092996 memory=56 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14092996 memory=279247903189744 CPUtime=5.61 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 34753 0 0 0 555 6 0 0 20 0 15 0 248127065 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14092996 memory=5763760 CPUtime=5.54 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 41530 0 0 0 550 4 0 0 20 0 15 0 248127065 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14092996 memory=5763760 CPUtime=1.85 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 46734 0 0 0 178 7 0 0 20 0 15 0 248127065 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14092996 memory=67536 CPUtime=1.32 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 2732 0 0 0 67 65 0 0 20 0 15 0 248127066 14431227904 1440940 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 2345.72 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5763760 KiB

[startup+2322.3 s]
/proc/loadavg: 2.11 1.96 1.80 3/215 23544
/proc/meminfo: memFree=17443208/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14092996 memory=5763780 CPUtime=2407.99 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 921719 0 0 0 240300 499 0 0 20 0 15 0 248127060 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3523249 1440945 3631 1 0 3485321 0
[pid=23365/tid=23367] ppid=23362 vsize=14092996 memory=5763780 CPUtime=2297.61 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 433081 0 0 0 229664 97 0 0 20 0 15 0 248127060 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300739521448 140300359127248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14092996 memory=5763780 CPUtime=23.81 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 87682 0 0 0 2297 84 0 0 20 0 15 0 248127061 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14092996 memory=5763780 CPUtime=23.83 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 84342 0 0 0 2304 79 0 0 20 0 15 0 248127061 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14092996 memory=5763780 CPUtime=23.89 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 77106 0 0 0 2305 84 0 0 20 0 15 0 248127061 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14092996 memory=37336 CPUtime=23.82 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 82860 0 0 0 2298 84 0 0 20 0 15 0 248127061 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14092996 memory=5763780 CPUtime=0.56 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 26922 0 0 0 52 4 0 0 20 0 15 0 248127062 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14092996 memory=5763780 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140300275832544 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14092996 memory=5763780 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299712324864 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14092996 memory=5763780 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14092996 memory=5763780 CPUtime=5.61 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 35164 0 0 0 555 6 0 0 20 0 15 0 248127065 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14092996 memory=5763780 CPUtime=5.54 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 41538 0 0 0 550 4 0 0 20 0 15 0 248127065 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14092996 memory=5763780 CPUtime=1.85 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 48828 0 0 0 178 7 0 0 20 0 15 0 248127065 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14092996 memory=5763780 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14092996 memory=5763780 CPUtime=1.35 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 2761 0 0 0 68 67 0 0 20 0 15 0 248127066 14431227904 1440945 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 2407.99 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5763780 KiB

[startup+2382.3 s]
/proc/loadavg: 1.81 1.89 1.79 3/216 23553
/proc/meminfo: memFree=17451076/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14092996 memory=5747548 CPUtime=2470.92 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 941215 0 0 0 246590 502 0 0 20 0 15 0 248127060 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3523249 1436887 3631 1 0 3485321 0
[pid=23365/tid=23367] ppid=23362 vsize=14092996 memory=5763968 CPUtime=2356.63 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 440054 0 0 0 235566 97 0 0 20 0 15 0 248127060 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300739524560 140300363127055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14092996 memory=5763856 CPUtime=24.78 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 90418 0 0 0 2394 84 0 0 20 0 15 0 248127061 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14092996 memory=5747548 CPUtime=24.79 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 86131 0 0 0 2400 79 0 0 20 0 15 0 248127061 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14092996 memory=57 CPUtime=24.85 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 79800 0 0 0 2401 84 0 0 20 0 15 0 248127061 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14092996 memory=5763968 CPUtime=24.8 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 87729 0 0 0 2395 85 0 0 20 0 15 0 248127061 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14092996 memory=5747548 CPUtime=0.57 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 27153 0 0 0 53 4 0 0 20 0 15 0 248127062 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14092996 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140300275832544 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299712324864 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14092996 memory=5763856 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14092996 memory=5763856 CPUtime=5.61 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 35172 0 0 0 555 6 0 0 20 0 15 0 248127065 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14092996 memory=5763780 CPUtime=5.54 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 41675 0 0 0 550 4 0 0 20 0 15 0 248127065 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14092996 memory=3812 CPUtime=1.85 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 48857 0 0 0 178 7 0 0 20 0 15 0 248127065 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14092996 memory=5747548 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14092996 memory=13756 CPUtime=1.39 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 2791 0 0 0 70 69 0 0 20 0 15 0 248127066 14431227904 1436887 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 2470.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5747548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2429.6 s]
/proc/loadavg: 2.07 1.95 1.81 3/216 23554
/proc/meminfo: memFree=17445808/32770624 swapFree=67108372/67108860
[pid=23365] ppid=23362 vsize=14092996 memory=5747068 CPUtime=2520.01 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23365 21941 0 -1 1077944320 958069 0 0 0 251496 505 0 0 20 0 15 0 248127060 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140721540712848 140300735287031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
/proc/23365/statm: 3523249 1436767 3631 1 0 3485321 0
[pid=23365/tid=23367] ppid=23362 vsize=14092996 memory=5747068 CPUtime=2403.35 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) R 23362 23365 21941 0 -1 4202560 446314 0 0 0 240237 98 0 0 20 0 15 0 248127060 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300739523568 140300363127055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23368] ppid=23362 vsize=14092996 memory=928 CPUtime=25.35 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23365 21941 0 -1 1077944384 93018 0 0 0 2451 84 0 0 20 0 15 0 248127061 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300687907344 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23369] ppid=23362 vsize=14092996 memory=6791534058613427641 CPUtime=25.36 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23365 21941 0 -1 1077944384 87871 0 0 0 2456 80 0 0 20 0 15 0 248127061 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300686854800 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23370] ppid=23362 vsize=14092996 memory=2900 CPUtime=25.41 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23365 21941 0 -1 1077944384 80571 0 0 0 2457 84 0 0 20 0 15 0 248127061 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300685801744 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23371] ppid=23362 vsize=14092996 memory=2588 CPUtime=25.38 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23365 21941 0 -1 1077944384 90186 0 0 0 2453 85 0 0 20 0 15 0 248127061 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300684749200 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23372] ppid=23362 vsize=14092996 memory=4104 CPUtime=0.58 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23365 21941 0 -1 1077944384 27388 0 0 0 53 5 0 0 20 0 15 0 248127062 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300276886256 140300735298178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23373] ppid=23362 vsize=14092996 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23365 21941 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140300275832544 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23374] ppid=23362 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23365 21941 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 248127063 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299712324864 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23375] ppid=23362 vsize=14092996 memory=67548 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299711273424 140300735305627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23376] ppid=23362 vsize=14092996 memory=1100 CPUtime=5.66 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23365 21941 0 -1 1077944384 37281 0 0 0 560 6 0 0 20 0 15 0 248127065 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299710220528 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23377] ppid=23362 vsize=14092996 memory=2144 CPUtime=5.54 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23365 21941 0 -1 1077944384 41678 0 0 0 550 4 0 0 20 0 15 0 248127065 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299709167984 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23378] ppid=23362 vsize=14092996 memory=1752 CPUtime=1.86 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23365 21941 0 -1 1077944384 49484 0 0 0 179 7 0 0 20 0 15 0 248127065 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299708114928 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23379] ppid=23362 vsize=14092996 memory=5540 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23365 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 248127065 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299707062624 140300735297237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
[pid=23365/tid=23380] ppid=23362 vsize=14092996 memory=4400 CPUtime=1.42 cores=0,2,4,6
/proc/23365/task/23380/stat : 23380 (java) S 23362 23365 21941 0 -1 1077944384 2843 0 0 0 72 70 0 0 20 0 15 0 248127066 14431227904 1436767 33554432000 4194304 4196468 140721540730304 140299706010672 140300735298178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31682560 140721540731988 140721540732169 140721540732169 140721540734927 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5747068 KiB

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

[startup+2429.66 s]
# the end of solver process 23365 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.99 s, system=5.09115 s

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

Child status: 143
Real time (s): 2429.66
CPU time (s): 2520.08
CPU user time (s): 2514.99
CPU system time (s): 5.09115
CPU usage (%): 103.721
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5763968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.99
system time used= 5.09115
maximum resident set size= 5763968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63121
involuntary context switches= 3934


# summary of solver processes directly reported to runsolver:
#   pid: 23365
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2514.99
#   total CPU system time (s): 5.09115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3683 second user time and 22.5483 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-15 06:00:39
IDJOB=4308700
IDBENCH=141276
IDSOLVER=2792
FILE ID=node137/4308700-1534305638
RUNJOBID= node137-1534293443-21972
PBS_JOBID= 21038143
Free space on /tmp= 29064 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_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-4308700-1534305638/watcher-4308700-1534305638 -o /tmp/evaluation-result-4308700-1534305638/solver-4308700-1534305638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21972 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1068111642 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308700-1534305638.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1068111642

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:        20920428 kB
MemAvailable:   28619488 kB
Buffers:          159224 kB
Cached:          7757380 kB
SwapCached:            8 kB
Active:          7468084 kB
Inactive:        3774228 kB
Active(anon):    3272692 kB
Inactive(anon):   113400 kB
Active(file):    4195392 kB
Inactive(file):  3660828 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:            107260 kB
Writeback:             0 kB
AnonPages:       3349636 kB
Mapped:            69424 kB
Shmem:             57816 kB
Slab:             300212 kB
SReclaimable:     271300 kB
SUnreclaim:        28912 kB
KernelStack:        3808 kB
PageTables:        11636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4245400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3174400 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= 29148 MiB
End job on node137 at 2018-08-15 06:41:09