Trace number 4292066

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)184253556 2400.14 2281.45

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.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 1387305872
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
28.87/16.60	c Parsing done, starting first complete search...
80.82/65.14	o 188576453
80.82/65.16	o 188563821
80.82/65.18	o 188563813
81.04/65.20	o 188551181
81.04/65.22	o 188551173
81.04/65.24	o 188551163
81.50/65.43	o 188551162
81.50/65.44	o 188551154
81.50/65.46	o 188538523
81.50/65.47	o 188538514
81.62/65.50	o 188525891
81.62/65.52	o 188525882
81.62/65.53	o 188525874
81.62/65.55	o 188513234
81.62/65.59	o 188500604
81.82/65.63	o 188487981
81.82/65.64	o 188487973
81.82/65.66	o 188487964
81.82/65.69	o 188475324
81.97/65.73	o 188475322
81.97/65.74	o 188475314
81.97/65.75	o 188462684
82.11/65.81	o 188450044
82.11/65.84	o 188450040
82.11/65.89	o 188437423
82.22/65.90	o 188437419
82.22/65.91	o 188437409
82.22/65.93	o 188437400
82.22/65.96	o 188424760
82.33/66.01	o 188412158
82.33/66.02	o 188412149
82.33/66.03	o 188412141
82.33/66.04	o 188412132
82.33/66.05	o 188412128
82.33/66.06	o 188412120
82.43/66.11	o 188399488
82.43/66.12	o 188399480
82.43/66.16	o 188386840
82.52/66.22	o 188386831
82.52/66.26	o 188374201
82.62/66.30	o 188374193
82.62/66.33	o 188361562
82.62/66.36	o 188348922
82.72/66.41	o 188336282
82.72/66.46	o 188323642
82.82/66.50	o 188311002
82.82/66.56	o 188298362
82.92/66.62	o 188298352
83.02/66.70	o 188285721
83.02/66.72	o 188285712
83.02/66.78	o 188273082
83.22/66.90	o 188273072
83.22/66.91	o 188260442
83.22/66.98	o 188247802
83.22/66.99	o 188235162
95.87/79.36	o 188222612
95.87/79.37	o 188222604
95.87/79.38	o 188222597
95.87/79.39	o 188222588
95.97/79.40	o 188222580
95.97/79.41	o 188222576
95.97/79.42	o 188222566
95.97/79.44	o 188222557
95.97/79.45	o 188222550
95.97/79.46	o 188222542
95.97/79.48	o 188222532
137.48/120.98	o 188222530
137.48/120.99	o 188209900
137.48/121.01	o 188209892
137.59/121.04	o 188197252
178.98/162.22	o 188184612
271.83/254.54	c First complete search done, starting ALNS search...
273.95/256.03	o 188171981
273.95/256.04	o 188171972
273.95/256.06	o 188159341
273.95/256.08	o 188159332
273.95/256.11	o 188146701
274.14/256.12	o 188146692
274.14/256.15	o 188134061
274.14/256.17	o 188134052
274.24/256.20	o 188121421
274.24/256.21	o 188121412
275.36/257.24	o 188108782
275.46/257.34	o 188108772
275.46/257.35	o 188096142
275.57/257.42	o 188096132
275.57/257.46	o 188083502
280.17/261.81	o 188083501
280.89/262.43	o 188070872
281.68/262.77	o 188070871
283.36/264.30	o 188058232
283.95/264.88	o 188045592
284.18/265.03	o 188032952
284.30/265.19	o 188020312
284.50/265.34	o 188007682
284.70/265.55	o 188007672
284.80/265.69	o 187995042
285.10/265.92	o 187995032
285.21/266.06	o 187982402
285.50/266.33	o 187982392
285.70/266.58	o 187969762
286.01/266.83	o 187969752
286.22/267.07	o 187957122
286.52/267.34	o 187957112
288.75/269.51	o 187944472
289.66/270.43	o 187931832
290.46/271.22	o 187931822
291.82/272.39	o 187931821
292.96/273.42	o 187919182
293.26/273.74	o 187919181
293.57/274.09	o 187906542
293.86/274.38	o 187906541
294.26/274.71	o 187906532
294.46/274.98	o 187906531
295.07/275.50	o 187893920
295.27/275.77	o 187893919
295.58/276.09	o 187893910
298.75/278.85	o 187893908
298.96/279.05	o 187893898
299.25/279.30	o 187881278
299.55/279.65	o 187881270
299.75/279.84	o 187868648
299.96/280.09	o 187868647
300.45/280.51	o 187856016
302.08/281.88	o 187843387
302.68/282.48	o 187830757
303.29/283.05	o 187830748
303.68/283.43	o 187830747
304.39/284.12	o 187830746
304.78/284.54	o 187818117
305.08/284.88	o 187818116
306.68/286.44	o 187805487
306.98/286.78	o 187805486
307.61/287.35	o 187805477
307.91/287.68	o 187805476
308.52/288.26	o 187792847
308.82/288.59	o 187792846
309.52/289.21	o 187792845
321.54/300.50	o 187780197
336.50/315.04	o 187754911
337.32/315.80	o 187742271
337.32/315.89	o 187742270
337.83/316.37	o 187742253
338.13/316.66	o 187742248
338.43/317.00	o 187742246
338.73/317.29	o 187742241
339.13/317.65	o 187742240
340.53/318.90	o 187729600
340.65/319.05	o 187716960
340.84/319.23	o 187716950
342.45/320.43	o 187716944
342.95/320.94	o 187716936
343.16/321.14	o 187716930
343.85/321.83	o 187716926
344.07/322.03	o 187716920
345.08/323.09	o 187704296
345.27/323.28	o 187704290
345.97/323.91	o 187704286
346.47/324.48	o 187704280
347.18/325.18	o 187691646
347.77/325.77	o 187691640
348.57/326.50	o 187691636
349.08/327.10	o 187691630
349.77/327.76	o 187679006
350.37/328.38	o 187679000
351.41/329.18	o 187678996
351.76/329.33	o 187678990
352.47/330.07	o 187666366
353.07/330.68	o 187666360
353.77/331.39	o 187666356
354.36/331.98	o 187666350
355.57/333.18	o 187653726
356.17/333.80	o 187653720
356.97/334.53	o 187641096
360.22/337.62	o 187641076
360.22/337.68	o 187628446
360.32/337.74	o 187628436
360.63/338.02	o 187628435
361.62/338.65	o 187615796
361.92/338.93	o 187603166
362.66/339.62	o 187603156
362.86/339.85	o 187590526
362.96/339.98	o 187590516
363.46/340.41	o 187577886
363.56/340.52	o 187577876
363.96/340.97	o 187565238
364.68/341.69	o 187565229
364.87/341.82	o 187565228
369.21/346.15	o 187552591
369.90/346.81	o 187539951
370.40/347.39	o 187527311
371.45/347.96	o 187514671
371.56/348.09	o 187514670
372.86/349.34	o 187514662
372.86/349.39	o 187514661
372.96/349.45	o 187502030
374.05/350.59	o 187502029
375.15/351.69	o 187489391
376.26/352.71	o 187489390
377.26/353.75	o 187489389
379.36/355.85	o 187476781
381.03/357.04	o 187476780
382.22/358.21	o 187476779
383.53/359.55	o 187476770
384.72/360.71	o 187476769
385.82/361.89	o 187464140
387.03/363.04	o 187464139
388.84/364.47	o 187464131
389.34/364.91	o 187464130
390.64/366.22	o 187464121
393.73/369.23	o 187464112
402.64/377.64	o 187464111
404.55/379.59	o 187451472
406.36/380.92	o 187451471
407.86/382.49	o 187438841
408.06/382.63	o 187438839
408.16/382.75	o 187438837
408.26/382.88	o 187438834
408.47/383.01	o 187438832
409.57/384.11	o 187438831
411.06/385.63	o 187426192
412.77/387.26	o 187413552
412.97/387.44	o 187400921
419.74/389.93	o 187400912
420.34/390.53	o 187388277
420.95/391.19	o 187375647
421.64/391.85	o 187375637
422.14/392.34	o 187362997
422.34/392.53	o 187350363
422.45/392.69	o 187350357
422.75/392.93	o 187337732
422.75/392.96	o 187337726
423.05/393.20	o 187337723
423.15/393.37	o 187325092
423.35/393.58	o 187325086
423.65/393.87	o 187325083
423.75/393.91	o 187312452
423.96/394.11	o 187312446
424.25/394.40	o 187312443
424.25/394.45	o 187312437
424.45/394.62	o 187299812
424.45/394.66	o 187299806
446.05/415.19	o 187299805
446.45/415.53	o 187299797
446.85/415.93	o 187287167
447.25/416.33	o 187287165
447.65/416.72	o 187287157
448.14/417.28	o 187274527
448.54/417.69	o 187274525
449.18/418.24	o 187261885
449.71/418.54	o 187261884
449.92/418.76	o 187249244
450.12/418.99	o 187236604
450.42/419.29	o 187236599
451.64/420.43	o 187236598
451.94/420.78	o 187223959
452.35/421.14	o 187223958
453.14/421.95	o 187223950
453.44/422.25	o 187223949
454.35/423.16	o 187211319
454.64/423.40	o 187211318
455.35/424.17	o 187211310
455.64/424.42	o 187211309
456.54/425.37	o 187198679
456.64/425.46	o 187198670
456.94/425.74	o 187198669
458.17/426.74	o 187186039
458.37/426.97	o 187186030
458.58/427.19	o 187186029
459.67/428.25	o 187173399
459.87/428.50	o 187173390
460.17/428.76	o 187173389
461.07/429.66	o 187160759
461.27/429.87	o 187160750
461.48/430.09	o 187160749
462.67/431.24	o 187160748
463.98/432.57	o 187148129
465.41/433.78	o 187148120
466.61/434.93	o 187148119
467.72/436.09	o 187148118
472.16/440.22	o 187135489
473.07/441.14	o 187135488
474.97/443.01	o 187122854
475.76/443.82	o 187122853
477.66/445.75	o 187122849
478.56/446.68	o 187122848
480.31/448.15	o 187110209
481.21/449.06	o 187110208
482.71/450.59	o 187097574
483.71/451.50	o 187097573
485.22/453.03	o 187097569
486.11/453.93	o 187097568
487.84/455.49	o 187084934
488.74/456.35	o 187084933
490.35/458.00	o 187084929
491.25/458.87	o 187084928
492.56/460.19	o 187084922
493.56/461.14	o 187084921
504.17/471.21	o 187072299
504.27/471.33	o 187072291
505.27/472.31	o 187072290
506.67/473.73	o 187072282
507.67/474.70	o 187072281
510.31/477.33	o 187059664
511.31/478.31	o 187059663
512.82/479.82	o 187047023
513.62/480.67	o 187034374
514.22/481.28	o 187034373
514.92/481.96	o 187021734
515.52/482.57	o 187021733
518.10/484.82	o 187009093
519.20/485.93	o 186996453
520.20/486.95	o 186983813
521.20/487.97	o 186971173
522.20/488.94	o 186958533
523.20/489.96	o 186958524
525.06/491.54	o 186945900
525.96/492.49	o 186945891
527.06/493.55	o 186945884
528.26/494.78	o 186933253
528.46/494.94	o 186933244
529.57/496.09	o 186920620
530.67/497.12	o 186920611
531.76/498.20	o 186920604
537.62/503.84	o 186907978
538.12/504.38	o 186907969
538.73/504.95	o 186907968
539.23/505.40	o 186907959
541.59/507.51	o 186907956
541.99/508.00	o 186895316
542.59/508.55	o 186882676
543.10/509.09	o 186870036
543.99/509.90	o 186870029
545.69/511.67	o 186857396
546.49/512.48	o 186857389
548.20/514.19	o 186844766
549.56/515.27	o 186844759
551.37/517.05	o 186844754
553.06/518.73	o 186832131
554.76/520.41	o 186832124
556.56/522.22	o 186832119
558.52/523.99	o 186832116
558.73/524.19	o 186832109
560.42/525.81	o 186819486
560.63/526.01	o 186819479
561.82/527.26	o 186806839
562.12/527.56	o 186794199
562.52/527.97	o 186781559
567.60/532.79	o 186768968
567.90/533.04	o 186768959
568.20/533.32	o 186768958
568.40/533.59	o 186768949
568.90/534.01	o 186768940
569.50/534.63	o 186768939
569.92/535.02	o 186756328
570.21/535.33	o 186756319
570.51/535.64	o 186756318
570.91/535.90	o 186756309
571.63/536.65	o 186743679
571.83/536.80	o 186731039
572.04/537.08	o 186731029
573.79/538.52	o 186731028
574.30/539.02	o 186731019
577.40/542.16	o 186718397
577.69/542.46	o 186718388
578.30/543.10	o 186718379
579.59/544.32	o 186705757
580.09/544.80	o 186705748
580.69/545.45	o 186705739
581.59/546.37	o 186705738
583.16/547.68	o 186705737
583.86/548.32	o 186705729
584.06/548.52	o 186705728
585.56/550.03	o 186693117
586.26/550.71	o 186693108
586.86/551.38	o 186693107
587.57/552.01	o 186693098
588.16/552.68	o 186693097
588.86/553.36	o 186693089
589.06/553.56	o 186693088
589.96/554.42	o 186680487
590.17/554.66	o 186680477
590.77/555.22	o 186680467
591.27/555.79	o 186680458
592.33/556.55	o 186680457
593.85/558.10	o 186667817
594.34/558.57	o 186655177
594.85/559.09	o 186642537
597.97/562.12	o 186629897
598.16/562.39	o 186617257
598.56/562.71	o 186604617
598.87/563.10	o 186591977
599.36/563.52	o 186579337
600.67/564.87	o 186566697
602.26/565.98	o 186566688
602.86/566.48	o 186566679
607.86/571.45	o 186554049
608.06/571.65	o 186554039
608.67/572.23	o 186528760
608.97/572.56	o 186528759
609.37/572.91	o 186516120
609.67/573.23	o 186516119
611.27/574.82	o 186503485
611.58/575.12	o 186503484
614.76/577.87	o 186490854
615.07/578.19	o 186490844
615.46/578.50	o 186478214
615.97/579.04	o 186478204
616.66/579.72	o 186465574
622.37/585.46	o 186440305
623.77/586.32	o 186440304
625.37/587.92	o 186427675
626.07/588.61	o 186427674
627.67/590.26	o 186427673
629.67/592.29	o 186427664
631.37/593.93	o 186427663
634.26/596.31	o 186415025
635.86/597.94	o 186415024
637.56/599.68	o 186415023
640.16/602.24	o 186402394
641.86/603.98	o 186402393
643.73/605.33	o 186389763
644.03/605.65	o 186377133
644.73/606.31	o 186377123
644.93/606.58	o 186364493
645.73/607.30	o 186364483
646.73/608.31	o 186364482
650.04/611.64	o 186351852
650.94/612.53	o 186339220
651.74/613.36	o 186339212
653.14/614.73	o 186326580
653.84/615.49	o 186326572
656.02/617.14	o 186326571
656.71/617.84	o 186326562
660.02/621.20	o 186313960
660.41/621.55	o 186313950
660.81/621.92	o 186313941
661.52/622.62	o 186301301
661.92/623.10	o 186288661
662.81/623.97	o 186276021
663.51/624.68	o 186263381
664.52/625.60	o 186250741
666.00/626.69	o 186238101
667.00/627.61	o 186225461
667.90/628.51	o 186212821
672.51/633.14	o 186212817
677.48/637.66	o 186174906
680.99/641.18	o 186174896
681.28/641.44	o 186174887
696.68/656.25	o 186162247
698.38/657.99	o 186149612
701.87/660.96	o 186149611
705.37/664.40	o 186149607
709.37/668.45	o 186149597
712.57/671.18	o 186136967
716.58/675.17	o 186136966
719.39/677.94	o 186124332
722.78/680.84	o 186124331
726.58/684.67	o 186124327
729.28/687.36	o 186124326
732.09/690.12	o 186111692
735.48/693.02	o 186111691
745.17/702.14	o 186099078
746.56/703.57	o 186099071
750.97/707.94	o 186099069
773.97/729.95	o 186086429
774.97/730.92	o 186073789
775.78/731.73	o 186061149
777.11/732.75	o 186048509
782.21/737.80	o 186048499
783.11/738.79	o 186035859
787.44/742.73	o 186035858
787.85/743.19	o 186035854
788.34/743.64	o 186035849
789.44/744.71	o 186023233
790.04/745.30	o 186023228
790.54/745.87	o 186023224
791.14/746.43	o 186023219
791.45/746.72	o 186023210
791.55/746.83	o 186010589
791.65/746.91	o 186010580
791.65/747.01	o 186010579
791.75/747.07	o 186010570
792.54/747.86	o 185997959
792.75/748.02	o 185997949
793.45/748.78	o 185997939
799.44/754.43	o 185997930
802.84/757.84	o 185985299
803.05/758.02	o 185985290
805.74/760.74	o 185934750
806.05/761.10	o 185934749
808.68/763.33	o 185934741
808.99/763.69	o 185934740
811.28/766.00	o 185934739
823.10/777.47	o 185934730
824.41/778.77	o 185934729
832.62/786.67	o 185934720
833.92/787.94	o 185934719
836.82/790.85	o 185922090
838.22/792.23	o 185922089
842.63/796.34	o 185896809
849.74/803.40	o 185896801
850.14/803.87	o 185896800
852.70/806.04	o 185884169
858.29/811.63	o 185884161
858.49/811.89	o 185884160
863.91/817.00	o 185871530
864.81/817.81	o 185871520
865.42/818.43	o 185858890
866.02/819.03	o 185858889
866.82/819.86	o 185858880
867.43/820.46	o 185846250
868.23/821.22	o 185846249
869.23/822.30	o 185846240
869.93/822.92	o 185833610
870.63/823.66	o 185833609
872.94/825.67	o 185833591
876.14/828.83	o 185833590
879.14/831.82	o 185820951
880.58/833.22	o 185808311
881.49/834.12	o 185795671
884.45/836.72	o 185783031
887.05/839.39	o 185783022
889.35/841.62	o 185783021
891.65/843.99	o 185783020
894.51/846.41	o 185783019
895.72/847.64	o 185770385
896.12/848.06	o 185770379
897.62/849.57	o 185757745
898.23/850.14	o 185757739
903.23/855.16	o 185757736
903.92/855.85	o 185745106
919.49/870.72	o 185745099
920.40/871.65	o 185732459
942.50/893.03	o 185719825
942.79/893.35	o 185719819
943.69/894.28	o 185707185
943.99/894.57	o 185707179
945.69/896.28	o 185694539
946.50/897.02	o 185681899
947.50/898.01	o 185669259
954.75/904.92	o 185656619
955.85/906.10	o 185643979
956.75/907.00	o 185631339
965.37/915.23	o 185618709
965.77/915.63	o 185618699
968.29/918.19	o 185606069
968.48/918.32	o 185606059
973.32/922.85	o 185593419
973.71/923.25	o 185580779
974.82/924.36	o 185568139
975.91/925.41	o 185555509
977.32/926.88	o 185542869
1023.97/971.96	o 185542865
1025.97/973.93	o 185530234
1026.27/974.27	o 185530225
1027.67/975.69	o 185530215
1036.46/984.10	o 185517581
1037.25/984.81	o 185517575
1038.05/985.63	o 185504941
1038.65/986.21	o 185504935
1039.65/987.22	o 185492301
1040.15/987.74	o 185492295
1049.02/996.28	o 185479661
1049.72/997.00	o 185479654
1050.52/997.72	o 185479648
1070.54/1017.02	o 185467008
1093.62/1039.42	o 185429068
1094.72/1040.54	o 185429067
1103.91/1049.39	o 185416438
1111.76/1056.86	o 185403798
1122.73/1067.46	o 185403788
1124.63/1069.31	o 185391158
1128.34/1073.10	o 185391148
1133.09/1077.43	o 185391138
1133.39/1077.79	o 185378498
1133.88/1078.26	o 185365868
1148.83/1092.81	o 185353244
1149.93/1093.91	o 185353234
1152.14/1096.13	o 185353228
1159.79/1103.49	o 185353218
1165.20/1108.86	o 185340588
1167.64/1110.99	o 185340578
1170.95/1114.28	o 185327948
1174.15/1117.46	o 185327938
1230.23/1171.85	o 185327928
1232.55/1173.84	o 185315298
1232.75/1174.08	o 185315288
1234.15/1175.42	o 185315279
1235.25/1176.52	o 185302649
1235.35/1176.61	o 185302639
1238.35/1179.68	o 185290005
1246.33/1187.11	o 185290004
1252.63/1193.41	o 185277375
1259.79/1198.03	o 185277374
1263.89/1202.19	o 185277371
1267.41/1205.68	o 185277370
1285.04/1223.27	o 185277363
1287.04/1225.27	o 185277362
1291.27/1229.11	o 185264740
1293.36/1231.25	o 185264739
1296.86/1234.72	o 185264732
1298.80/1236.12	o 185264731
1303.81/1241.13	o 185264730
1309.49/1246.36	o 185252102
1314.39/1251.23	o 185252101
1318.79/1255.61	o 185252100
1330.62/1266.38	o 185239466
1339.52/1275.22	o 185226826
1343.52/1278.69	o 185214186
1345.82/1280.93	o 185214185
1350.13/1285.28	o 185214178
1357.08/1291.63	o 185214177
1365.32/1299.37	o 185214176
1388.59/1321.38	o 185201548
1402.80/1334.97	o 185201546
1405.31/1337.45	o 185188917
1414.13/1345.62	o 185188907
1418.61/1349.52	o 185188906
1423.71/1354.67	o 185188905
1427.88/1358.24	o 185188895
1428.98/1359.34	o 185176265
1429.98/1360.37	o 185176255
1430.98/1361.36	o 185163625
1431.88/1362.22	o 185163615
1435.38/1365.72	o 185150995
1439.32/1369.11	o 185150994
1440.71/1370.48	o 185150984
1442.32/1372.04	o 185138344
1465.43/1393.93	o 185125704
1471.49/1399.49	o 185113064
1480.04/1407.46	o 185100440
1480.94/1408.35	o 185100439
1482.65/1410.10	o 185087800
1483.24/1410.67	o 185087799
1484.55/1411.91	o 185075144
1484.65/1412.05	o 185075143
1485.66/1413.07	o 185075142
1494.59/1421.48	o 185075133
1500.72/1427.07	o 185075132
1506.21/1432.58	o 185075131
1508.01/1434.36	o 185062491
1525.95/1451.20	o 185049852
1528.36/1453.66	o 185049851
1536.34/1461.06	o 185049850
1542.99/1467.17	o 185037221
1552.46/1476.04	o 185037220
1561.89/1484.91	o 185037219
1574.65/1497.15	o 185037212
1577.04/1499.57	o 185037211
1579.94/1502.46	o 185037210
1585.72/1507.69	o 185024571
1587.52/1509.49	o 185011931
1589.52/1511.43	o 185011930
1623.88/1544.11	o 184999310
1624.37/1544.69	o 184999309
1624.97/1545.27	o 184999308
1628.91/1548.61	o 184999302
1629.32/1549.09	o 184999301
1630.12/1549.80	o 184986667
1631.42/1551.11	o 184986661
1635.82/1555.51	o 184986641
1637.02/1556.78	o 184974021
1637.43/1557.19	o 184974001
1639.78/1558.99	o 184961381
1640.89/1560.08	o 184961361
1645.48/1564.62	o 184961360
1658.08/1576.66	o 184948735
1708.69/1624.41	o 184948734
1710.99/1626.72	o 184948733
1715.30/1631.10	o 184948732
1721.71/1636.95	o 184948726
1724.41/1639.63	o 184948725
1736.02/1650.79	o 184936095
1737.62/1652.35	o 184923455
1739.62/1654.34	o 184923445
1741.84/1656.02	o 184910805
1743.64/1657.84	o 184898165
1746.44/1660.67	o 184885525
1748.04/1662.27	o 184872885
1749.74/1663.98	o 184860245
1753.24/1667.00	o 184860244
1755.24/1668.99	o 184847604
1757.45/1671.19	o 184834974
1758.04/1671.80	o 184834964
1758.74/1672.50	o 184822334
1759.24/1672.96	o 184822324
1759.95/1673.63	o 184809694
1760.36/1674.03	o 184809684
1779.88/1692.57	o 184797045
1781.68/1694.31	o 184797044
1782.88/1695.59	o 184784414
1784.80/1696.99	o 184784404
1789.30/1701.40	o 184771774
1790.20/1702.32	o 184771764
1799.91/1711.53	o 184771755
1800.81/1712.45	o 184771754
1802.81/1714.44	o 184746485
1803.71/1715.32	o 184746484
1805.52/1717.16	o 184746475
1806.42/1718.05	o 184746474
1810.11/1721.29	o 184733846
1811.31/1722.43	o 184733845
1817.82/1728.90	o 184733837
1820.51/1731.05	o 184733836
1828.31/1738.85	o 184721223
1851.09/1760.53	o 184708603
1852.58/1761.65	o 184708593
1854.52/1763.49	o 184708583
1855.23/1764.12	o 184695963
1855.83/1764.72	o 184695953
1869.47/1777.88	o 184683313
1871.57/1779.94	o 184670673
1895.24/1802.57	o 184658034
1905.44/1812.16	o 184658033
1916.18/1822.38	o 184645393
1919.62/1825.24	o 184645392
1923.62/1829.23	o 184632752
1925.72/1831.38	o 184620112
1928.13/1833.79	o 184607472
1985.01/1887.74	o 184594832
1994.45/1896.69	o 184582192
1995.75/1897.96	o 184569563
1996.55/1898.76	o 184569562
1997.45/1899.63	o 184569561
2000.05/1902.27	o 184569560
2023.43/1924.44	o 184556920
2029.18/1929.67	o 184544280
2037.15/1937.05	o 184531640
2040.25/1940.18	o 184519000
2044.35/1944.22	o 184518993
2045.05/1944.97	o 184518992
2046.64/1945.92	o 184518991
2067.81/1966.53	o 184506361
2071.27/1969.46	o 184506351
2073.76/1971.91	o 184493721
2076.76/1974.96	o 184493718
2079.26/1977.41	o 184481088
2082.72/1980.36	o 184481081
2085.92/1983.54	o 184481071
2105.37/2002.45	o 184468446
2107.72/2004.20	o 184468436
2110.02/2006.56	o 184443167
2126.43/2022.33	o 184443166
2130.70/2026.05	o 184430526
2133.91/2029.25	o 184417897
2137.41/2032.72	o 184417896
2155.09/2049.29	o 184417890
2157.09/2051.28	o 184417889
2159.09/2053.27	o 184417888
2162.49/2056.08	o 184417887
2165.68/2059.23	o 184405259
2170.29/2063.82	o 184405258
2177.25/2070.21	o 184392629
2187.56/2079.92	o 184392628
2218.71/2109.33	o 184392627
2221.42/2112.02	o 184379987
2225.02/2115.65	o 184367354
2228.82/2118.89	o 184367347
2244.18/2133.68	o 184354725
2245.18/2134.67	o 184354717
2247.48/2136.98	o 184354715
2248.38/2137.87	o 184354707
2252.35/2141.23	o 184342075
2253.26/2142.12	o 184342067
2258.56/2147.40	o 184342060
2264.57/2152.86	o 184342059
2276.15/2163.82	o 184342058
2281.96/2169.63	o 184342040
2286.23/2173.38	o 184329409
2288.93/2176.09	o 184329408
2291.83/2178.98	o 184329400
2295.10/2181.65	o 184316772
2295.70/2182.22	o 184316768
2296.30/2182.84	o 184316760
2299.21/2185.77	o 184304129
2301.31/2187.80	o 184304120
2344.39/2228.68	o 184291490
2345.80/2230.04	o 184291480
2348.19/2232.42	o 184278859
2348.80/2233.10	o 184278849
2351.55/2235.28	o 184266209
2354.55/2238.30	o 184266199
2384.92/2267.40	o 184253569
2387.37/2269.39	o 184253559
2390.57/2272.54	o 184253556
2400.08/2281.40	s SATISFIABLE
2400.08/2281.41	v <instantiation>
2400.08/2281.41	v 	<list>
2400.08/2281.41	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]
2400.08/2281.41	v 	</list>
2400.08/2281.41	v 	<values>
2400.08/2281.41	v 		2660 2284 2480 2480 2400 2660 2352 2388 2472 2428 2700 2440 2484 2344 2660 2420 2236 2588 2240 2660 2420 2532 2260 2700 2376 2692 2508 2380 2396 2528 2620 2380 2548 2220 2660 2588 2444 2644 2436 2504 2488 2480 2700 2696 2668 2228 2396 2476 2700 2660 2400 2428 2604 2588 2220 2404 2552 2552 2344 2224 2540 2472 2384 2628 2380 2528 2404 2264 2596 2260 2524 2436 2472 2404 2504 2692 2380 2624 2292 2564 2260 2220 2696 2552 2660 2248 2584 2480 2360 2700 2508 2316 2516 2460 2228 2420 2660 2464 2580 2512 2380 2248 2544 2224 2384 2344 2608 2648 2308 2356 2424 2336 2264 2600 2596 2288 2312 2308 2644 2452 2324 2428 2464 2508 2476 2252 2320 2380 2428 2468 2700 2280 2276 2392 2288 2568 2452 2620 2288 2472 2416 2436 2448 2628 2692 2488 2556 2576 2640 2260 2652 2624 2356 2360 2444 2404 2268 2688 2520 2272 2468 2480 2444 2296 2276 2616 2312 2224 2628 2480 2396 2292 2664 2440 2224 2512 2368 2528 2464 2540 2580 2452 2376 2608 2436 2624 2540 2468 2592 2348 2220 2348 2248 2396 2332 2512 2700 2616 2572 2412 2428 2660 2416 2576 2556 2440 2264 2316 2260 2384 2444 2384 2480 2588 2496 2380 2372 2520 2692 2276 2552 2592 2220 2360 2384 2592 2656 2532 2268 2700 2396 2424 2608 2652 2548 2220 2400 2508 2276 2684 2512 2432 2372 2548 2468 2604 2524 2652 2420 2456 2268 2608 2400 2360 2472 2224 2412 2620 2660 2564 2268 2500 2552 2616 2628 2660 2664 2340 2536 2484 2548 2420 2360 2440 2436 2600 2660 2288 2336 2304 2264 2568 2528 2328 2488 2596 2580 2660 2576 2520 2220 2340 2684 2652 2308 2260 2660 2432 2352 2360 2444 2320 2612 2512 2580 2320 2652 2548 2344 2560 2400 2228 2464 2528 2332 2536 2636 2372 2468 2420 2396 2628 2388 2340 2700 2236 2484 2476 2356 2392 2660 2624 2692 2340 2360 2528 2428 2520 2624 2472 2520 2660 2576 2560 2504 2644 2576 2360 2412 2664 2484 2576 2500 2440 2532 2536 2588 2264 2540 2444 2224 2540 2468 2264 2380 2568 2252 2532 2372 2436 2424 2384 2444 2460 2320 2500 2344 2308 2464 2660 2580 2376 2288 2388 2480 2336 2412 2572 2552 2332 2448 2488 2584 2700 2588 2372 2572 2376 2352 2392 2544 2640 2348 2492 2452 2492 2380 2648 2468 2500 2404 2424 2460 2532 2496 2480 2700 2512 2384 2700 2484 2700 2236 2416 2480 2436 2508 2360 2496 2700 2488 2348 2572 2228 2456 2468 2536 2432 2232 2396 2424 2356 2488 2224 2424 2464 2568 2340 2428 2424 2328 2664 2264 2448 2568 2400 2440 2512 2408 2468 2428 2332 2508 2320 2656 2588 2352 2584 2384 2396 2388 2616 2260 2300 2348 2528 2412 2700 2624 2372 2428 2360 2388 2360 2364 2440 2380 2648 2524 2508 2548 2340 2448 2540 2264 2488 2412 2556 2248 2276 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 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 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 0 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 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 10 0 0 10 10 10 10 0 10 10 0 0 0 0 10 0 0 10 0 0 10 0 10 0 0 10 10 0 6 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 10 0 10 0 10 10 0 10 0 0 10 10 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 10 0 0 10 0 10 0 10 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 0 0 10 10 10 10 10 0 0 10 0 10 10 0 0 10 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 0 10 10 0 0 10 0 10 0 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 0 9 0 10 10 10 10 10 0 0 10 0 10 10 0 9 10 10 10 0 5 0 10 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 10 10 0 10 10 10 0 10 0 10 0 10 10 10 10 0 10 10 0 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 0 10 10 10 10 10 0 10 0 0 10 10 0 0 10 10 0 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 10 9 10 0 0 0 9 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 10 10 10 10 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 5 10 0 10 0 0 10 0 0 10 10 0 10 10 0 10 0 0 0 0 10 0 0 2 10 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 10 6 0 10 0 0 10 0 10 10 0 0 0 0 0 10 10 10 10 10 0 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 10 0 10 10 10 0 0 0 10 0 0 10 0 0 9 0 10 0 10 10 0 10 0 0 0 10 0 10 10 10 0 0 0 10 0 10 10 0 10 10 10 10 0 10 10 0 0 10 10 0 10 10 0 0 0 10 10 0 0 10 10 10 0 0 10 10 0 9 0 10 0 10 10 0 0 10 10 10 10 0 0 10 0 0 0 0 10 0 10 10 10 0 10 0 0 0 10 10 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 0 10 10 0 0 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 0 10 0 10 10 0 0 10 10 0 10 10 0 10 10 10 0 0 0 0 10 0 10 0 10 0 10 0 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 10 0 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 0 0 0 0 10 10 10 0 0 10 0 10 0 10 10 10 10 0 10 0 10 0 10 0 0 0 10 0 10 10 10 0 10 10 0 10 10 0 10 0 10 0 0 10 10 10 10 0 10 0 0 0 0 0 10 10 10 10 0 10 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 10 10 0 10 0 0 10 10 0 10 0 10 9 0 10 0 0 10 10 0 0 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 0 0 9 10 0 10 10 0 0 10 0 10 0 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 0 0 10 10 0 10 0 0 10 10 10 0 10 10 10 0 10 0 10 0 10 0 0 10 0 10 10 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 10 10 0 10 10 10 10 0 0 10 10 0 10 10 0 0 0 0 10 0 10 10 0 10 0 10 0 0 0 10 10 10 0 10 0 0 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 0 10 10 0 0 0 10 10 10 10 10 10 0 10 10 0 0 0 0 0 10 10 0 10 10 0 0 10 10 10 0 0 10 10 0 0 0 10 10 0 10 0 0 10 10 0 0 10 10 10 0 0 0 10 0 0 0 10 0 10 10 10 10 10 10 10 0 0 0 0 0 0 10 10 0 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 10 0 0 0 0 0 10 10 10 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 0 0 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 10 10 10 10 0 10 0 0 0 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 10 10 0 0 0 10 10 10 10 0 208 236 232 368 204 364 108 180 108 188 136 212 140 88 108 188 36 12 180 136 300 228 276 92 92 200 36 220 176 312 116 240 48 196 80 0 36 52 108 240 32 116 200 16 80 112 72 352 256 468 0 112 12 8 208 192 80 124 68 84 44 356 12 276 60 76 88 40 20 184 48 68 172 384 232 464 124 368 36 232 252 48 20 164 172 308 284 336 184 112 72 300 84 276 436 156 104 108 76 112 68 172 216 4 216 12 316 316 480 148 348 172 232 164 8 140 52 4 0 444 280 332 32 36 232 100 84 160 156 0 64 156 20 100 192 304 232 16 176 4 64 132 132 0 40 60 100 188 248 80 92 280 52 104 152 252 464 160 88 192 396 216 36 308 160 124 64 168 84 252 132 28 8 64 116 68 176 324 216 8 36 76 212 76 60 88 64 148 32 72 64 36 108 68 88 92 204 120 0 256 104 160 48 232 380 212 432 336 176 288 276 168 312 112 308 124 144 80 48 120 0 64 104 0 4 72 112 140 212 148 224 44 112 28 56 156 40 252 40 12 16 144 20 96 336 132 120 176 224 136 72 364 296 140 80 68 76 296 8 120 32 156 236 52 108 148 244 44 264 80 28 80 140 28 4 164 108 4 284 320 320 60 56 112 52 20 24 152 64 236 12 100 8 316 100 32 44 316 288 120 116 16 16 8 44 96 16 48 104 60 12 220 16 144 208 44 212 328 396 76 188 96 48 208 104 348 220 168 52 32 148 140 80 96 180 264 36 16 108 88 8 144 192 232 288 240 80 76 172 268 416 364 360 40 160 100 140 132 56 132 36 404 72 76 276 176 236 276 180 208 56 104 132 156 288 356 220 196 216 348 56 136 12 280 288 236 12 64 120 192 88 184 216 212 140 84 292 104 20 252 440 8 88 152 36 140 16 184 280 260 128 72 192 248 32 184 240 200 36 184 116 388 48 132 104 92 80 60 64 92 236 276 108 232 124 308 216 24 160 92 228 132 76 256 332 124 32 252 72 92 84 44 248 92 20 172 216 32 192 140 164 28 240 52 184 164 96 84 232 116 196 96 4 124 108 204 244 296 20 140 196 224 236 108 260 272 76 92 240 24 32 212 88 60 16 24 152 168 104 156 160 72 36 72 148 388 76 384 28 8 216 28 28 60 24 132 336 80 192 388 156 196 244 280 188 76 68 356 280 408 252 260 408 72 248 212 248 56 28 72 8 200 12 28 156 40 172 200 124 128 168 88 72 52 44 184 212 40 24 184 364 184 396 24 260 64 64 228 320 188 92 236 128 200 180 64 84 200 60 88 100 68 88 232 68 32 284 92 436 60 204 240 308 180 52 16 416 64 216 8 196 88 308 20 68 28 220 208 144 220 176 72 116 40 176 392 52 152 288 8 248 48 180 100 144 44 160 128 24 228 72 36 20 84 184 108 32 320 8 16 176 76 268 76 20 216 188 0 164 12 20 300 280 108 416 320 304 260 180 64 264 172 136 200 236 36 168 200 24 52 0 100 28 32 156 72 136 88 152 396 232 120 96 352 8 116 172 100 4 84 164 12 56 164 44 172 60 160 248 184 4 64 100 32 76 92 28 180 232 96 356 176 148 312 120 0 36 180 80 108 204 160 80 120 304 56 196 320 200 332 324 4 36 280 92 0 132 184 288 272 116 128 68 148 140 148 76 112 64 20 92 0 92 8 36 4 116 192 52 44 120 164 84 48 16 152 16 120 248 172 36 120 112 176 216 12 240 76 100 20 108 28 116 72 180 200 72 204 112 84 344 8 284 220 132 204 312 88 356 140 328 152 88 128 44 24 88 292 52 88 176 256 240 8 88 28 80 20 88 28 260 24 8 52 128 132 136 52 4 104 4 264 440 148 220 56 28 168 152 336 68 168 112 28 108 24 96 436 216 92 220 128 144 92 28 28 200 216 40 76 216 132 188 44 4 116 132 20 8 152 36 88 40 96 8 20 180 156 228 204 252 72 16 108 320 272 236 68 320 172 124 128 132 12 12 184 264 316 268 200 88 48 180 432 440 400 436 212 24 124 44 140 84 64 92 172 0 56 16 200 120 168 480 80 0 24 72 424 96 44 200 276 148 4 12 76 36 288 36 28 40 0 204 76 112 64 232 180 20 52 20 96 216 112 176 128 8 332 24 184 236 92 176 68 224 252 288 284 260 28 8 124 0 84 164 52 108 16 32 212 56 28 100 52 120 80 48 216 384 68 96 200 172 264 48 60 72 116 44 148 100 228 212 124 288 284 216 76 52 28 60 28 16 56 228 160 24 44 20 292 36 96 16 8 0 52 24 216 336 132 116 96 124 136 88 248 68 56 56 164 168 48 132 180 84 60 100 92 68 116 276 328 140 148 192 112 112 176 24 248 172 0 216 292 224 208 20 140 244 84 40 80 204 8 36 300 168 28 32 24 56 4 316 252 16 28 160 56 116 0 244 140 92 112 204 4 8 100 52 332 68 24 260 40 12 40 148 80 108 56 152 64 32 0 196 4 28 64 32 96 120 124 180 320 264 112 100 148 64 64 196 44 100 108 8 8 136 40 176 92 80 112 36 36 92 44 188 96 36 392 44 80 80 32 140 268 24 40 296 16 284 308 112 152 48 16 64 92 108 204 36 144 184 4 100 192 40 144 52 72 8 164 36 136 4 108 76 148 144 52 96 180 120 232 24 232 140 196 20 96 320 0 48 136 88 100 64 64 112 328 156 324 104 12 104 156 36 60 12 76 144 152 40 4 128 24 76 100 32 0 96 52 32 12 80 52 108 108 12 24 56 188 100 240 268 0 44 184 20 28 260 88 160 20 100 104 240 20 164 268 168 88 92 
2400.08/2281.41	v 	</values>
2400.08/2281.41	v </instantiation>

Verifier Data 

OK	184253556

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

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

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

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

solver pid=5214, runsolver pid=5211

[startup+0.100153 s]*
/proc/loadavg: 1.92 1.90 1.95 4/215 5229
/proc/meminfo: memFree=16511820/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14082740 memory=34360 CPUtime=0.12 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 6965 0 0 0 10 2 0 0 20 0 15 0 45043809 14420725760 8590 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3520685 8590 3162 1 0 3482761 0
[pid=5214/tid=5216] ppid=5211 vsize=14082740 memory=-8968742142312543424 CPUtime=0.09 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 5020 0 0 0 8 1 0 0 20 0 15 0 45043809 14420725760 8590 33554432000 4194304 4196468 140737124866144 139785306917816 139785286796638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 8590 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 8590 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 8590 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 8590 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784776807712 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784775755376 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0.01 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) R 5211 5214 3256 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784771545456 139785294953278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 8590 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34360 KiB

[startup+0.214135 s]*
/proc/loadavg: 1.92 1.90 1.95 6/215 5229
/proc/meminfo: memFree=16496936/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14082740 memory=47772 CPUtime=0.31 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 10036 0 0 0 29 2 0 0 20 0 15 0 45043809 14420725760 11943 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3520685 11943 3369 1 0 3482761 0
[pid=5214/tid=5216] ppid=5211 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 7743 0 0 0 18 2 0 0 20 0 15 0 45043809 14420725760 11943 33554432000 4194304 4196468 140737124866144 139785306943808 139785286759781 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14082740 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 11943 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14082740 memory=139901185436495 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 11943 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 11943 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 11943 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784776807712 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784775755376 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0.06 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 303 0 0 0 6 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 11943 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47772 KiB

[startup+0.310619 s]*
/proc/loadavg: 1.92 1.90 1.95 3/215 5229
/proc/meminfo: memFree=16449208/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14082740 memory=50980 CPUtime=0.44 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 10368 0 0 0 41 3 0 0 20 0 15 0 45043809 14420725760 12745 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3520685 12745 3371 1 0 3482761 0
[pid=5214/tid=5216] ppid=5211 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 8068 0 0 0 28 2 0 0 20 0 15 0 45043809 14420725760 12745 33554432000 4194304 4196468 140737124866144 139785306877888 139785286796638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14082740 memory=304556144767270935 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 12745 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14082740 memory=15111058557114008 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 12745 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 12745 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45043810 14420725760 12745 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784776807712 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45043812 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784775755376 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) R 5211 5214 3256 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0.08 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) R 5211 5214 3256 0 -1 4202560 309 0 0 0 8 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784771545456 139785302737498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14082740 memory=139901185431168 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043815 14420725760 12745 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50980 KiB

[startup+0.700728 s]
/proc/loadavg: 1.92 1.90 1.95 3/215 5229
/proc/meminfo: memFree=16429288/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14084808 memory=88776 CPUtime=1 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 17086 0 0 0 95 5 0 0 20 0 15 0 45043809 14422843392 22194 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3521202 22194 3499 1 0 3483273 0
[pid=5214/tid=5216] ppid=5211 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 14393 0 0 0 63 4 0 0 20 0 15 0 45043809 14422843392 22194 33554432000 4194304 4196468 140737124866144 139785306941232 139785286796638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14422843392 22194 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14422843392 22194 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043810 14422843392 22194 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45043810 14422843392 22194 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45043812 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45043812 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784776807712 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45043812 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784775755376 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14084808 memory=12972 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14084808 memory=7662705889289527641 CPUtime=0.09 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 623 0 0 0 9 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14084808 memory=7597685182856913236 CPUtime=0.06 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 302 0 0 0 6 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14084808 memory=7007715718637572176 CPUtime=0.15 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 389 0 0 0 15 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45043815 14422843392 22194 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88776 KiB

[startup+1.50093 s]
/proc/loadavg: 1.92 1.90 1.95 3/215 5229
/proc/meminfo: memFree=16189308/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14086856 memory=385516 CPUtime=3.11 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 19552 0 0 0 281 30 0 0 20 0 15 0 45043809 14424940544 96379 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3521714 96379 3565 1 0 3483785 0
[pid=5214/tid=5216] ppid=5211 vsize=14086856 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 14848 0 0 0 128 8 0 0 20 0 15 0 45043809 14424940544 96379 33554432000 4194304 4196468 140737124866144 139785306951648 139784899017823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14086856 memory=-8754540793456063680 CPUtime=0.08 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 129 0 0 0 4 4 0 0 20 0 15 0 45043810 14424940544 96379 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14086856 memory=-2843869621055772062 CPUtime=0.09 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 148 0 0 0 4 5 0 0 20 0 15 0 45043810 14424940544 96379 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14086856 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 175 0 0 0 4 5 0 0 20 0 15 0 45043810 14424940544 96379 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14086856 memory=7005738693937936738 CPUtime=0.08 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 89 0 0 0 4 4 0 0 20 0 15 0 45043810 14424940544 96379 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 45043812 14424940544 96379 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0

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

/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 315223 0 0 0 210828 82 0 0 20 0 15 0 45043809 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139785306945232 139784902591884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14095048 memory=5554056 CPUtime=32.21 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 85416 0 0 0 3145 76 0 0 20 0 15 0 45043810 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14095048 memory=5552008 CPUtime=32.23 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 79465 0 0 0 3146 77 0 0 20 0 15 0 45043810 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14095048 memory=5552008 CPUtime=32.23 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 86918 0 0 0 3149 74 0 0 20 0 15 0 45043810 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14095048 memory=5552008 CPUtime=32.24 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 81627 0 0 0 3154 70 0 0 20 0 15 0 45043810 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14095048 memory=5552008 CPUtime=0.6 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 25386 0 0 0 54 6 0 0 20 0 15 0 45043812 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14095048 memory=5552008 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784776807776 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14095048 memory=5552008 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784775755392 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14095048 memory=5554056 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14095048 memory=5552008 CPUtime=5.67 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 41914 0 0 0 563 4 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14095048 memory=5554056 CPUtime=5.93 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 43636 0 0 0 588 5 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14095048 memory=636 CPUtime=1.91 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 42931 0 0 0 187 4 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14095048 memory=210429 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14095048 memory=5554056 CPUtime=1.21 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 3339 0 0 0 53 68 0 0 20 0 15 0 45043815 14433329152 1388514 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 2253.45 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5554056 KiB

[startup+2202.3 s]
/proc/loadavg: 1.62 1.60 1.68 6/216 5640
/proc/meminfo: memFree=15552756/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14095048 memory=5563276 CPUtime=2316.94 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 825243 0 0 0 231236 458 0 0 20 0 15 0 45043809 14433329152 1390819 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3523762 1390819 3626 1 0 3485833 0
[pid=5214/tid=5216] ppid=5211 vsize=14095048 memory=5564304 CPUtime=2167.92 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 320657 0 0 0 216709 83 0 0 20 0 15 0 45043809 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139785306953840 139784902591954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14095048 memory=5564304 CPUtime=33.37 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 87758 0 0 0 3261 76 0 0 20 0 15 0 45043810 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14095048 memory=5560208 CPUtime=33.37 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 84161 0 0 0 3260 77 0 0 20 0 15 0 45043810 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14095048 memory=5560208 CPUtime=33.39 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 89077 0 0 0 3265 74 0 0 20 0 15 0 45043810 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14095048 memory=5564304 CPUtime=33.39 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 84008 0 0 0 3269 70 0 0 20 0 15 0 45043810 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14095048 memory=5564304 CPUtime=0.62 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 25641 0 0 0 55 7 0 0 20 0 15 0 45043812 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14095048 memory=5564304 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784776807776 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14095048 memory=5564304 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784775755392 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14095048 memory=5564304 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14095048 memory=62 CPUtime=5.67 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 41922 0 0 0 563 4 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14095048 memory=55 CPUtime=5.94 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 43639 0 0 0 589 5 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14095048 memory=5560208 CPUtime=1.91 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 43551 0 0 0 187 4 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14095048 memory=223482 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14095048 memory=135 CPUtime=1.25 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 3369 0 0 0 55 70 0 0 20 0 15 0 45043815 14433329152 1390819 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 2316.94 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5563276 KiB

[startup+2262.3 s]
/proc/loadavg: 1.64 1.61 1.68 3/216 5641
/proc/meminfo: memFree=15539688/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14095048 memory=5577612 CPUtime=2379.81 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 841005 0 0 0 237519 462 0 0 20 0 15 0 45043809 14433329152 1394403 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3523762 1394403 3626 1 0 3485833 0
[pid=5214/tid=5216] ppid=5211 vsize=14095048 memory=5571468 CPUtime=2226.98 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 327473 0 0 0 222613 85 0 0 20 0 15 0 45043809 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139785306953728 139784902870269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14095048 memory=5571468 CPUtime=34.31 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 91343 0 0 0 3355 76 0 0 20 0 15 0 45043810 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14095048 memory=5571468 CPUtime=34.31 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 85092 0 0 0 3353 78 0 0 20 0 15 0 45043810 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14095048 memory=5577612 CPUtime=34.34 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 92504 0 0 0 3359 75 0 0 20 0 15 0 45043810 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14095048 memory=5577612 CPUtime=34.34 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 84708 0 0 0 3364 70 0 0 20 0 15 0 45043810 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14095048 memory=5577612 CPUtime=0.62 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 25906 0 0 0 55 7 0 0 20 0 15 0 45043812 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14095048 memory=139901044276353 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784776807776 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14095048 memory=5577612 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784775755392 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14095048 memory=5577612 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14095048 memory=12972 CPUtime=5.67 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 41926 0 0 0 563 4 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14095048 memory=33 CPUtime=5.94 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 43643 0 0 0 589 5 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14095048 memory=15180 CPUtime=1.91 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 43554 0 0 0 187 4 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14095048 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14095048 memory=5408 CPUtime=1.29 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 3396 0 0 0 57 72 0 0 20 0 15 0 45043815 14433329152 1394403 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 2379.81 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5577612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2281.4 s]
/proc/loadavg: 1.81 1.65 1.69 3/216 5641
/proc/meminfo: memFree=15533732/32770624 swapFree=67108860/67108860
[pid=5214] ppid=5211 vsize=14095048 memory=5583756 CPUtime=2400.08 cores=1,3,5,7
/proc/5214/stat : 5214 (java) S 5211 5214 3256 0 -1 1077944320 842601 0 0 0 239545 463 0 0 20 0 15 0 45043809 14433329152 1395939 33554432000 4194304 4196468 140737124866144 140737124848688 139785302716151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
/proc/5214/statm: 3523762 1395939 3626 1 0 3485833 0
[pid=5214/tid=5216] ppid=5211 vsize=14095048 memory=5577612 CPUtime=2245.68 cores=1,3,5,7
/proc/5214/task/5216/stat : 5216 (java) R 5211 5214 3256 0 -1 4202560 328938 0 0 0 224483 85 0 0 20 0 15 0 45043809 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139785306953728 139784900675400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5217] ppid=5211 vsize=14095048 memory=1408 CPUtime=34.7 cores=1,3,5,7
/proc/5214/task/5217/stat : 5217 (java) S 5211 5214 3256 0 -1 1077944384 91408 0 0 0 3394 76 0 0 20 0 15 0 45043810 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139785217784208 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5218] ppid=5211 vsize=14095048 memory=3296 CPUtime=34.71 cores=1,3,5,7
/proc/5214/task/5218/stat : 5218 (java) S 5211 5214 3256 0 -1 1077944384 85120 0 0 0 3393 78 0 0 20 0 15 0 45043810 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139785216731408 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5219] ppid=5211 vsize=14095048 memory=515692 CPUtime=34.72 cores=1,3,5,7
/proc/5214/task/5219/stat : 5219 (java) S 5211 5214 3256 0 -1 1077944384 92511 0 0 0 3397 75 0 0 20 0 15 0 45043810 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139785215679120 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5220] ppid=5211 vsize=14095048 memory=2200 CPUtime=34.73 cores=1,3,5,7
/proc/5214/task/5220/stat : 5220 (java) S 5211 5214 3256 0 -1 1077944384 84733 0 0 0 3403 70 0 0 20 0 15 0 45043810 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139785214626320 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5221] ppid=5211 vsize=14095048 memory=7532 CPUtime=0.63 cores=1,3,5,7
/proc/5214/task/5221/stat : 5221 (java) S 5211 5214 3256 0 -1 1077944384 25910 0 0 0 56 7 0 0 20 0 15 0 45043812 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784777861744 139785302727298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5222] ppid=5211 vsize=14095048 memory=844 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5222/stat : 5222 (java) S 5211 5214 3256 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784776807776 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5223] ppid=5211 vsize=14095048 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5223/stat : 5223 (java) S 5211 5214 3256 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 45043812 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784775755392 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5224] ppid=5211 vsize=14095048 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5224/stat : 5224 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784774703696 139785302734747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5225] ppid=5211 vsize=14095048 memory=13573695205542171 CPUtime=5.67 cores=1,3,5,7
/proc/5214/task/5225/stat : 5225 (java) S 5211 5214 3256 0 -1 1077944384 41926 0 0 0 563 4 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784773650544 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5226] ppid=5211 vsize=14095048 memory=65 CPUtime=5.94 cores=1,3,5,7
/proc/5214/task/5226/stat : 5226 (java) S 5211 5214 3256 0 -1 1077944384 43643 0 0 0 589 5 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784772597744 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5227] ppid=5211 vsize=14095048 memory=7598811100138176585 CPUtime=1.91 cores=1,3,5,7
/proc/5214/task/5227/stat : 5227 (java) S 5211 5214 3256 0 -1 1077944384 43554 0 0 0 187 4 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784771545456 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5228] ppid=5211 vsize=14095048 memory=12110 CPUtime=0 cores=1,3,5,7
/proc/5214/task/5228/stat : 5228 (java) S 5211 5214 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784770492896 139785302726357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
[pid=5214/tid=5229] ppid=5211 vsize=14095048 memory=3774129090675945504 CPUtime=1.3 cores=1,3,5,7
/proc/5214/task/5229/stat : 5229 (java) S 5211 5214 3256 0 -1 1077944384 3398 0 0 0 57 73 0 0 20 0 15 0 45043815 14433329152 1395939 33554432000 4194304 4196468 140737124866144 139784769440688 139785302727298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140737124873300 140737124873481 140737124873481 140737124876239 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 5583756 KiB

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

[startup+2281.45 s]
# the end of solver process 5214 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.48 s, system=4.6669 s

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

Child status: 143
Real time (s): 2281.45
CPU time (s): 2400.14
CPU user time (s): 2395.48
CPU system time (s): 4.6669
CPU usage (%): 105.203
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 5583756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.48
system time used= 4.6669
maximum resident set size= 5584300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60260
involuntary context switches= 2611


# summary of solver processes directly reported to runsolver:
#   pid: 5214
#   total CPU time (s): 2400.14
#   total CPU user time (s): 2395.48
#   total CPU system time (s): 4.6669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9963 second user time and 22.8085 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 17:53:26
IDJOB=4292066
IDBENCH=141276
IDSOLVER=2746
FILE ID=node137/4292066-1532274806
RUNJOBID= node137-1532260876-3288
PBS_JOBID= 21018969
Free space on /tmp= 56748 MiB

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

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1387305872

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:        16531668 kB
MemAvailable:   26888280 kB
Buffers:          242844 kB
Cached:         10308808 kB
SwapCached:            0 kB
Active:          6942604 kB
Inactive:        8705776 kB
Active(anon):    5099584 kB
Inactive(anon):    16944 kB
Active(file):    1843020 kB
Inactive(file):  8688832 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            107028 kB
Writeback:             0 kB
AnonPages:       5104064 kB
Mapped:            49536 kB
Shmem:             17036 kB
Slab:             280340 kB
SReclaimable:     253220 kB
SUnreclaim:        27120 kB
KernelStack:        3520 kB
PageTables:        15068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6026908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4855808 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= 56752 MiB
End job on node137 at 2018-07-22 18:31:28