Trace number 4312036

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-17SAT (TO)9402052 2520.14 2508.05

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml
MD5SUM5aacc3d423af8ffef3990b4c8ed069d4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark31516
Best CPU time to get the best result obtained on this benchmark654.472
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
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.66/0.56	c version: 2018-08-17
0.66/0.56	c seed: 448944687
0.66/0.56	c timeout: 2520
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 1
0.66/0.58	c Parsing instance...
12.17/7.06	c Parsing done, starting search...
228.44/219.55	o 11263000
228.44/219.56	o 11262000
228.44/219.56	o 11261000
228.44/219.57	o 11260000
228.44/219.57	o 11259900
228.44/219.58	o 11259802
228.44/219.59	o 11259801
228.44/219.59	o 11259701
228.66/219.60	o 11259699
228.66/219.60	o 11259599
228.66/219.61	o 11059599
228.66/219.64	o 11059598
228.66/219.64	o 11059597
228.66/219.68	o 11059595
228.66/219.69	o 11059594
228.93/219.70	o 11058600
228.93/219.71	o 11058500
228.93/219.72	o 11058496
229.15/219.81	o 11058406
229.15/219.81	o 11058404
229.15/219.81	o 11058400
229.15/219.82	o 11058200
229.15/219.82	o 11058100
229.15/219.83	o 11058000
229.15/219.83	o 11057800
229.15/219.83	o 11057799
229.15/219.84	o 11057599
229.15/219.84	o 11057597
229.15/219.85	o 11057596
229.15/219.85	o 10858596
229.15/219.86	o 10858594
229.15/219.89	o 10857896
229.15/219.89	o 10857894
229.37/219.90	o 10857795
229.37/219.90	o 10857596
229.37/219.91	o 10857594
229.37/219.93	o 10855893
229.37/219.94	o 10855794
229.37/219.94	o 10855595
229.37/219.95	o 10855594
229.37/219.97	o 10855395
229.37/219.97	o 10855394
229.37/219.97	o 10855393
229.52/220.04	o 10854795
229.52/220.05	o 10854794
229.52/220.05	o 10854792
229.52/220.05	o 10854592
229.52/220.06	o 10854292
229.52/220.06	o 10854291
229.52/220.07	o 10854091
229.52/220.07	o 10853991
229.52/220.08	o 10853892
229.52/220.08	o 10853794
229.52/220.08	o 10853793
229.52/220.09	o 10853697
229.52/220.09	o 10853696
229.52/220.09	o 10853694
229.52/220.10	o 10853693
229.63/220.11	o 10853692
229.63/220.15	o 10853192
229.63/220.15	o 10853190
229.63/220.16	o 10852190
229.63/220.16	o 10852188
229.63/220.17	o 10852090
229.63/220.17	o 10852089
229.63/220.18	o 10851889
229.63/220.18	o 10851888
229.63/220.19	o 10851886
229.72/220.20	o 10851787
229.72/220.21	o 10851688
229.72/220.21	o 10851687
229.72/220.24	o 10851686
229.72/220.26	o 10851685
229.72/220.27	o 10851684
229.82/220.34	o 10851382
229.82/220.34	o 10851381
229.82/220.35	o 10851379
229.82/220.36	o 10851282
229.82/220.36	o 10851280
229.82/220.37	o 10851278
229.82/220.38	o 10851178
229.82/220.39	o 10851078
230.77/221.25	o 10850976
230.77/221.25	o 10850877
230.77/221.26	o 10850875
230.77/221.29	o 10850777
232.21/222.66	o 10850689
232.21/222.67	o 10850593
232.21/222.67	o 10850592
232.21/222.67	o 10850590
232.21/222.67	o 10850588
232.21/222.68	o 10850287
232.21/222.68	o 10849977
232.21/222.69	o 10849879
232.62/223.03	o 10849878
233.11/223.56	o 10849791
233.11/223.56	o 10849591
233.11/223.57	o 10849590
233.11/223.57	o 10849589
233.11/223.58	o 10849587
233.11/223.58	o 10849489
233.11/223.59	o 10849488
233.11/223.59	o 10849487
233.11/223.60	o 10849391
233.21/223.61	o 10849180
233.21/223.61	o 10849082
233.21/223.62	o 10848983
233.21/223.68	o 10848378
233.21/223.68	o 10848178
233.21/223.69	o 10847978
233.21/223.69	o 10847977
233.32/223.76	o 10847880
233.32/223.80	o 10847878
236.41/226.83	o 10847801
236.41/226.83	o 10847800
236.41/226.84	o 10847796
236.41/226.84	o 10847794
236.41/226.84	o 10847793
236.41/226.85	o 10847792
236.41/226.85	o 10847790
236.41/226.85	o 10847788
236.41/226.85	o 10847786
236.41/226.86	o 10847782
236.41/226.86	o 10847781
236.41/226.87	o 10847779
236.52/226.94	o 10847778
251.06/241.46	o 10847689
251.06/241.47	o 10847688
251.06/241.47	o 10847687
251.06/241.48	o 10847686
251.06/241.49	o 10847685
251.16/241.50	o 10847684
251.16/241.50	o 10847586
251.28/241.68	o 10847585
251.38/241.70	o 10847584
252.08/242.44	o 10847583
263.63/253.95	o 10847390
263.63/253.95	o 10847389
263.63/253.96	o 10847388
263.63/253.96	o 10847288
263.63/253.97	o 10847287
263.63/253.97	o 10847285
263.63/253.98	o 10847187
263.63/253.98	o 10847186
263.63/253.99	o 10847185
263.74/254.08	o 10847184
263.74/254.08	o 10847183
263.74/254.09	o 10847085
263.74/254.09	o 10847084
263.74/254.10	o 10847083
263.84/254.11	o 10847082
263.93/254.27	o 10846985
263.93/254.28	o 10846984
263.93/254.29	o 10846983
266.74/257.07	o 10846982
267.63/257.98	o 10846981
268.63/258.95	o 10846980
268.63/258.96	o 10846979
268.63/258.97	o 10846978
270.13/260.40	o 10846879
270.33/260.60	o 10846878
270.33/260.62	o 10846779
270.53/260.85	o 10846778
270.53/260.86	o 10846680
270.53/260.86	o 10846679
271.13/261.45	o 10846588
271.13/261.45	o 10846586
271.13/261.46	o 10846585
271.13/261.46	o 10846584
271.13/261.47	o 10846583
271.13/261.48	o 10846582
271.13/261.48	o 10846580
271.13/261.49	o 10846579
271.13/261.50	o 10845680
271.23/261.51	o 10845678
271.23/261.51	o 10845676
271.23/261.52	o 10845578
271.23/261.52	o 10845577
342.03/332.21	o 10633695
342.03/332.21	o 10613696
342.03/332.22	o 10613695
342.03/332.22	o 10612695
342.03/332.22	o 10612595
342.03/332.23	o 10610595
342.03/332.23	o 10609595
342.03/332.24	o 10609495
342.03/332.24	o 10609493
342.03/332.24	o 10609393
342.03/332.25	o 10609391
342.03/332.25	o 10609291
342.03/332.26	o 10609290
342.03/332.26	o 10608290
342.03/332.27	o 10607290
342.03/332.28	o 10607287
342.03/332.28	o 10607185
342.03/332.29	o 10607085
342.03/332.29	o 10607084
342.14/332.30	o 10605185
342.14/332.31	o 10605184
342.14/332.31	o 10605084
342.14/332.39	o 10604898
342.14/332.39	o 10604796
342.14/332.39	o 10604696
342.24/332.40	o 10604695
342.24/332.41	o 10604693
342.24/332.41	o 10604692
342.24/332.42	o 10604690
342.24/332.42	o 10604689
342.24/332.43	o 10604687
342.24/332.44	o 10604587
342.24/332.44	o 10604387
342.24/332.45	o 10604386
342.24/332.46	o 10604284
342.24/332.47	o 10604184
342.34/332.59	o 10603284
342.44/332.60	o 10603184
342.44/332.61	o 10603183
342.64/332.82	o 10603182
342.64/332.84	o 10603082
342.64/332.90	o 10603081
342.84/333.02	o 10603080
342.84/333.03	o 10603079
342.84/333.04	o 10583079
342.84/333.05	o 10582980
342.84/333.06	o 10582979
343.14/333.31	o 10582978
343.14/333.32	o 10582977
343.24/333.45	o 10582975
343.45/333.65	o 10582777
343.45/333.66	o 10582775
343.45/333.67	o 10582675
343.45/333.69	o 10582674
343.85/334.03	o 10580894
343.85/334.03	o 10580892
343.85/334.03	o 10580890
343.85/334.04	o 10580888
343.85/334.04	o 10580887
343.85/334.04	o 10580885
343.85/334.05	o 10580884
343.85/334.05	o 10580883
343.85/334.06	o 10580882
343.85/334.06	o 10580880
343.85/334.07	o 10580879
343.85/334.07	o 10580878
343.85/334.08	o 10580876
343.85/334.09	o 10580875
343.85/334.10	o 10580874
343.96/334.11	o 10580774
343.96/334.19	o 10580676
344.05/334.20	o 10580674
344.65/334.86	o 10579178
344.65/334.86	o 10579077
344.65/334.87	o 10578778
344.65/334.88	o 10578776
344.75/334.92	o 10578775
344.75/334.92	o 10578774
344.75/334.94	o 10578675
344.75/334.98	o 10578674
345.16/335.35	o 10578576
345.16/335.35	o 10578574
345.87/336.03	o 10577977
345.87/336.04	o 10577976
345.87/336.04	o 10577876
345.87/336.05	o 10577575
345.87/336.07	o 10577574
346.26/336.41	o 10577480
346.26/336.41	o 10577479
346.26/336.42	o 10577477
346.26/336.42	o 10577476
346.26/336.43	o 10577376
346.26/336.44	o 10577375
346.26/336.44	o 10577374
348.56/338.76	o 10576878
348.56/338.77	o 10576577
348.56/338.78	o 10576477
348.56/338.78	o 10576475
348.56/338.79	o 10576474
348.97/339.11	o 10576374
350.36/340.57	o 10557674
350.36/340.58	o 10557673
350.36/340.59	o 10557672
350.46/340.60	o 10557572
350.46/340.61	o 10557472
351.66/341.89	o 10557471
779.18/769.06	o 9859317
779.18/769.06	o 9859316
779.18/769.07	o 9858314
779.18/769.07	o 9858312
779.18/769.07	o 9858310
779.18/769.08	o 9857310
779.18/769.08	o 9856310
779.28/769.12	o 9856217
779.28/769.13	o 9856215
779.28/769.13	o 9856213
779.28/769.13	o 9856212
779.28/769.13	o 9856211
779.28/769.14	o 9856210
779.28/769.14	o 9856208
779.28/769.15	o 9856110
779.28/769.16	o 9856108
779.28/769.16	o 9855110
779.28/769.17	o 9855108
779.28/769.17	o 9855106
779.28/769.18	o 9855104
779.28/769.18	o 9855102
779.28/769.19	o 9854102
779.28/769.19	o 9854101
779.37/769.20	o 9853901
779.37/769.20	o 9853701
779.37/769.21	o 9852699
779.37/769.22	o 9852698
779.37/769.22	o 9852697
779.37/769.22	o 9852600
779.37/769.23	o 9852598
779.37/769.24	o 9852502
779.37/769.24	o 9852499
779.37/769.25	o 9852498
779.37/769.26	o 9852496
779.37/769.26	o 9852396
779.37/769.27	o 9852393
779.37/769.28	o 9852392
779.37/769.29	o 9852391
779.47/769.30	o 9852389
779.47/769.31	o 9852290
779.47/769.31	o 9852096
779.47/769.32	o 9652092
779.47/769.33	o 9652091
779.47/769.33	o 9651994
779.47/769.34	o 9651993
779.47/769.34	o 9651991
779.47/769.35	o 9632194
779.47/769.35	o 9632094
779.47/769.36	o 9631994
779.47/769.36	o 9631992
779.47/769.37	o 9631991
779.47/769.38	o 9631890
779.47/769.38	o 9631888
779.57/769.41	o 9631886
779.57/769.41	o 9631788
779.57/769.42	o 9631692
779.57/769.43	o 9631689
779.57/769.43	o 9631687
779.57/769.44	o 9631685
779.57/769.44	o 9631683
779.57/769.45	o 9631588
779.57/769.46	o 9629787
779.57/769.47	o 9629785
779.68/769.52	o 9629583
779.68/769.52	o 9629581
779.68/769.52	o 9629575
779.68/769.57	o 9628677
779.68/769.57	o 9628576
779.78/769.67	o 9628574
779.98/769.83	o 9628477
780.18/770.03	o 9628278
780.18/770.04	o 9628276
780.47/770.31	o 9627913
780.47/770.31	o 9627813
780.47/770.31	o 9627812
780.47/770.31	o 9627810
780.47/770.32	o 9627807
780.47/770.32	o 9627707
780.47/770.32	o 9627706
780.47/770.33	o 9627606
780.47/770.33	o 9627605
780.47/770.33	o 9627603
780.47/770.34	o 9627595
780.47/770.34	o 9627593
780.47/770.34	o 9627588
780.47/770.35	o 9627586
780.47/770.35	o 9627585
780.47/770.35	o 9627582
780.47/770.36	o 9627580
780.47/770.39	o 9627579
780.57/770.40	o 9627480
780.57/770.40	o 9627379
780.57/770.41	o 9627280
780.57/770.42	o 9627278
780.67/770.51	o 9626281
780.67/770.52	o 9626279
780.67/770.57	o 9626277
781.08/770.99	o 9626276
781.28/771.15	o 9626275
781.28/771.16	o 9626273
781.28/771.16	o 9626271
781.28/771.19	o 9626072
781.28/771.19	o 9626071
781.38/771.20	o 9626069
781.38/771.22	o 9626067
782.19/772.01	o 9625971
782.19/772.02	o 9625969
782.19/772.02	o 9625967
782.19/772.03	o 9625963
782.38/772.21	o 9625961
783.48/773.35	o 9429873
783.48/773.36	o 9429871
783.48/773.39	o 9429870
783.48/773.40	o 9429868
783.58/773.40	o 9429867
784.58/774.41	o 9429173
784.58/774.43	o 9429172
784.58/774.43	o 9429171
784.58/774.44	o 9429170
784.58/774.45	o 9429168
784.58/774.45	o 9429066
784.88/774.73	o 9428068
784.88/774.75	o 9428066
785.98/775.80	o 9426073
785.98/775.80	o 9426071
785.98/775.81	o 9426069
786.39/776.22	o 9426067
787.20/777.07	o 9425865
787.49/777.34	o 9425863
788.39/778.22	o 9425862
788.39/778.23	o 9425762
788.39/778.23	o 9425760
789.55/779.38	o 9425552
789.55/779.39	o 9425550
789.55/779.39	o 9425548
790.36/780.15	o 9424854
790.36/780.16	o 9424852
790.36/780.16	o 9424850
791.36/781.19	o 9424754
791.36/781.19	o 9424654
791.45/781.20	o 9424652
791.45/781.21	o 9424651
791.45/781.21	o 9424551
791.45/781.23	o 9424549
791.85/781.67	o 9424547
793.66/783.43	o 9409856
793.66/783.44	o 9409756
793.66/783.45	o 9409755
793.66/783.45	o 9409753
793.66/783.46	o 9409651
793.66/783.47	o 9409551
793.66/783.48	o 9409451
793.66/783.49	o 9409449
793.66/783.49	o 9409354
793.76/783.50	o 9409349
793.76/783.50	o 9409348
793.76/783.51	o 9409346
793.76/783.52	o 9407349
793.76/783.53	o 9407347
794.76/784.51	o 9406656
794.76/784.51	o 9406654
794.76/784.52	o 9406652
794.76/784.55	o 9406556
794.76/784.55	o 9406554
794.76/784.56	o 9406454
794.76/784.57	o 9406452
794.76/784.57	o 9406451
794.76/784.58	o 9406351
794.76/784.59	o 9406349
794.96/784.73	o 9406348
794.96/784.73	o 9406347
799.06/788.85	o 9406273
799.06/788.86	o 9406271
799.06/788.86	o 9406266
799.06/788.86	o 9406265
799.06/788.87	o 9406264
799.06/788.87	o 9406253
799.06/788.88	o 9406252
799.06/788.89	o 9406248
799.27/789.09	o 9406247
799.27/789.09	o 9406246
824.22/814.00	o 9406245
825.82/815.54	o 9406244
825.82/815.54	o 9406243
836.28/825.93	o 9406161
836.28/825.93	o 9406159
836.28/825.94	o 9406157
836.28/825.94	o 9406155
836.28/825.96	o 9406055
836.38/826.07	o 9406052
836.38/826.07	o 9405952
836.58/826.29	o 9404952
840.68/830.31	o 9403963
840.68/830.32	o 9403961
840.68/830.32	o 9403959
840.68/830.32	o 9403957
840.68/830.33	o 9403956
840.68/830.35	o 9403954
840.68/830.36	o 9402954
840.88/830.60	o 9402854
846.58/836.23	o 9402852
871.45/861.06	o 9402457
871.45/861.06	o 9402357
871.45/861.07	o 9402355
871.45/861.07	o 9402255
871.45/861.08	o 9402155
871.45/861.10	o 9402154
871.55/861.16	o 9402054
871.55/861.16	o 9402052
2520.08/2508.01	s SATISFIABLE
2520.08/2508.02	v <instantiation>
2520.08/2508.02	v 	<list>
2520.08/2508.02	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2520.08/2508.02	v 	</list>
2520.08/2508.02	v 	<values>
2520.08/2508.02	v 		442 680 554 792 694 456 722 484 722 484 666 428 428 666 680 442 310 72 16 254 652 414 16 254 414 652 666 428 282 44 100 338 484 722 414 652 540 778 394 156 442 680 554 792 554 792 778 540 456 694 722 484 44 282 338 100 16 254 722 484 338 100 652 414 44 282 114 352 324 86 750 512 58 296 526 764 526 764 142 380 156 394 310 72 44 282 380 142 470 708 366 128 16 254 498 736 652 414 526 764 338 100 44 282 554 792 414 652 750 512 708 470 750 512 142 380 456 694 44 282 30 268 16 254 282 44 114 352 394 156 428 666 296 58 456 694 442 680 156 394 442 680 442 680 58 296 268 30 394 156 100 338 750 512 16 254 792 554 170 408 554 792 736 498 254 16 268 30 380 142 414 652 254 16 352 114 652 414 442 680 778 540 470 708 296 58 380 142 428 666 254 16 142 380 722 484 792 554 352 114 58 296 268 30 456 694 442 680 540 778 100 338 526 764 428 666 680 442 30 268 722 484 142 380 694 456 540 778 456 694 764 526 268 30 694 456 86 324 680 442 428 666 666 428 540 778 750 512 428 666 470 708 778 540 380 142 30 268 380 142 792 554 282 44 30 268 428 666 324 86 708 470 380 142 750 512 366 128 44 282 694 456 86 324 86 324 30 268 282 44 778 540 540 778 484 722 666 428 268 30 540 778 778 540 540 778 428 666 142 380 540 778 456 694 540 778 512 750 526 764 708 470 282 44 512 750 666 428 352 114 540 778 338 100 100 338 428 666 540 778 44 282 58 296 540 778 142 380 456 694 554 792 366 128 750 512 764 526 72 310 142 380 722 484 792 554 470 708 512 750 680 442 380 142 310 72 456 694 282 44 764 526 750 512 778 540 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 128 366 296 58 666 428 750 512 764 526 58 296 736 498 428 666 394 156 428 666 512 750 366 128 142 380 750 512 680 442 352 114 778 540 708 470 442 680 86 324 30 268 778 540 708 470 736 498 498 736 694 456 142 380 498 736 268 30 352 114 414 652 414 652 16 254 156 394 750 512 366 128 324 86 338 100 456 694 268 30 380 142 296 58 484 722 352 114 778 540 526 764 442 680 282 44 44 282 512 750 792 554 792 554 484 722 142 380 708 470 324 86 310 72 526 764 512 750 484 722 296 58 380 142 352 114 268 30 282 44 44 282 694 456 680 442 456 694 366 128 58 296 484 722 254 16 128 366 352 114 722 484 708 470 540 778 666 428 310 72 142 380 268 30 428 666 352 114 708 470 380 142 442 680 296 58 310 72 764 526 764 526 666 428 30 268 142 380 86 324 338 100 380 142 680 442 366 128 778 540 142 380 30 268 666 428 114 352 380 142 310 72 512 750 338 100 736 498 114 352 156 394 498 736 128 366 156 394 380 142 30 268 792 554 44 282 736 498 778 540 708 470 296 58 142 380 30 268 72 310 268 30 666 428 44 282 86 324 428 666 44 282 722 484 282 44 254 16 324 86 72 310 100 338 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 0 0 10000 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 0 1000 0 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 1000 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 100 100 0 0 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 100 100 100 0 0 100 0 100 100 0 0 100 100 100 0 0 100 0 100 0 0 100 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 100 100 100 0 100 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 100 100 0 0 100 100 100 100 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 100 0 0 0 100 0 0 100 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 100 100 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 100 100 0 0 0 100 100 0 100 100 0 100 100 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 100 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 100 0 0 100 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 0 100 0 100 100 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 100 0 0 100 0 0 0 100 100 0 100 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 100 100 100 100 0 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 2 2 0 0 0 2 2 2 0 0 0 2 2 0 0 2 2 0 0 2 0 2 0 0 0 0 2 0 0 2 2 0 2 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 2 2 0 0 0 2 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 2 2 0 2 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 2 0 2 2 0 2 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 0 0 0 2 0 0 2 2 0 0 2 2 2 2 0 0 0 2 0 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 2 0 2 2 2 2 2 0 0 0 0 0 0 2 0 0 2 0 2 0 2 2 2 0 0 0 2 0 2 0 0 0 0 2 2 2 2 0 2 2 2 2 0 0 2 0 0 2 0 0 2 0 0 0 2 0 0 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 0 0 2 0 0 2 0 0 0 0 0 2 2 2 0 2 0 0 0 0 0 0 0 2 2 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 2 2 2 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 2 2 2 2 2 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 2 0 2 0 0 0 2 2 0 2 0 0 2 2 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 2 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 2 0 0 0 2 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 2 0 0 2 0 0 2 2 2 0 2 0 0 0 0 0 0 0 2 0 2 2 2 0 0 0 0 0 0 2 2 2 0 2 2 2 2 2 0 0 0 0 0 0 0 0 2 2 2 0 2 2 0 0 0 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 0 2 0 0 0 0 2 2 2 2 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 2 0 2 2 2 0 2 0 2 2 0 2 0 2 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 2 2 0 0 2 0 0 2 0 0 0 0 2 2 0 0 0 2 0 0 0 0 0 0 2 0 2 2 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 2 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 2 0 2 0 2 2 0 0 0 0 0 2 2 0 2 0 0 0 2 0 0 2 0 0 0 2 0 0 2 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 
2520.08/2508.02	v 	</values>
2520.08/2508.02	v </instantiation>

Verifier Data 

OK	9402052

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312036-1534548523/watcher-4312036-1534548523 -o /tmp/evaluation-result-4312036-1534548523/solver-4312036-1534548523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534541038-2258 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 448944687 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312036-1534548523.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 1.39 1.42 1.41 3/215 3017
/proc/meminfo: memFree=21454012/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14082736 memory=30464 CPUtime=0.12 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 6531 0 0 0 10 2 0 0 20 0 15 0 272415481 14420721664 7616 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3520684 7616 3155 1 0 3482761 0
[pid=3002/tid=3004] ppid=2999 vsize=14082736 memory=-8680510683829073088 CPUtime=0.09 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 4574 0 0 0 8 1 0 0 20 0 15 0 272415482 14420721664 7616 33554432000 4194304 4196468 140723665160272 139823758443856 139823738299742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 7616 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 7616 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 7616 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 7616 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822733415200 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822732362864 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0.01 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 7616 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30464 KiB

[startup+0.211288 s]*
/proc/loadavg: 1.39 1.42 1.41 6/215 3017
/proc/meminfo: memFree=21438260/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14082736 memory=47104 CPUtime=0.3 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 10381 0 0 0 27 3 0 0 20 0 15 0 272415481 14420721664 11776 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3520684 11776 3374 1 0 3482761 0
[pid=3002/tid=3004] ppid=2999 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 8052 0 0 0 18 1 0 0 20 0 15 0 272415482 14420721664 11776 33554432000 4194304 4196468 140723665160272 139823758439936 139823738299742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 11776 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14082736 memory=139689416935743 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 11776 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 11776 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 11776 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822733415200 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822732362864 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) R 2999 3002 2226 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) R 2999 3002 2226 0 -1 4202560 216 0 0 0 1 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822729197584 139823740283441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0.05 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) R 2999 3002 2226 0 -1 4202560 346 0 0 0 5 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822285806448 139823746456382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 11776 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47104 KiB

[startup+0.310225 s]*
/proc/loadavg: 1.39 1.42 1.41 4/215 3017
/proc/meminfo: memFree=21434476/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14082736 memory=50656 CPUtime=0.44 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 10790 0 0 0 41 3 0 0 20 0 15 0 272415481 14420721664 12664 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3520684 12664 3424 1 0 3482761 0
[pid=3002/tid=3004] ppid=2999 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 8415 0 0 0 28 2 0 0 20 0 15 0 272415482 14420721664 12716 33554432000 4194304 4196468 140723665160272 139823758421072 139823738299742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14082736 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 12716 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14082736 memory=139689416930257 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 12716 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 12716 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272415482 14420721664 12716 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822733415200 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272415484 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822732362864 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0.08 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 369 0 0 0 8 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14082736 memory=139689416910464 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415487 14420721664 12716 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50656 KiB

[startup+0.700765 s]
/proc/loadavg: 1.39 1.42 1.41 3/215 3017
/proc/meminfo: memFree=21410416/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14084804 memory=88968 CPUtime=0.98 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 17644 0 0 0 92 6 0 0 20 0 15 0 272415481 14422839296 22242 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3521201 22242 3499 1 0 3483273 0
[pid=3002/tid=3004] ppid=2999 vsize=14084804 memory=1764 CPUtime=0.67 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 14860 0 0 0 63 4 0 0 20 0 15 0 272415482 14422839296 22242 33554432000 4194304 4196468 140723665160272 139823758442024 139823754241181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14084804 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14422839296 22242 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14084804 memory=756 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14422839296 22242 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14084804 memory=9168 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415482 14422839296 22242 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14084804 memory=872 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272415482 14422839296 22242 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272415484 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14084804 memory=6300 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272415484 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822733415200 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272415484 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822732362864 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14084804 memory=3920 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14084804 memory=7302135314614015848 CPUtime=0.07 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 576 0 0 0 7 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14084804 memory=7885332796437780070 CPUtime=0.06 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 360 0 0 0 6 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14084804 memory=4641048821391970386 CPUtime=0.15 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) R 2999 3002 2226 0 -1 4202560 466 0 0 0 15 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822285806448 139823733572232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272415487 14422839296 22242 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88968 KiB

[startup+1.50067 s]
/proc/loadavg: 1.39 1.42 1.41 5/215 3017
/proc/meminfo: memFree=21349360/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14088900 memory=226948 CPUtime=3.42 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 22820 0 0 0 332 10 0 0 20 0 15 0 272415481 14427033600 56737 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3522225 56737 3548 1 0 3484297 0
[pid=3002/tid=3004] ppid=2999 vsize=14088900 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 16082 0 0 0 138 7 0 0 20 0 15 0 272415482 14427033600 56737 33554432000 4194304 4196468 140723665160272 139823758453264 139823352823899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14088900 memory=-6661058721126268558 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 272415482 14427033600 56737 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14088900 memory=-8608163762443492725 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 272415482 14427033600 56737 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14088900 memory=3047711462688066934 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 272415482 14427033600 56737 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14088900 memory=7974038411334692957 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 272415482 14427033600 56737 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 272415484 14427033600 56737 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0

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

/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 121399 0 0 0 238060 73 0 0 20 0 15 0 272415482 14429130752 927098 33554432000 4194304 4196468 140723665160272 139823758457200 139823360354920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14090948 memory=279378631411328 CPUtime=0.83 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 7146 0 0 0 65 18 0 0 20 0 15 0 272415482 14429130752 927098 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0.84 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 8617 0 0 0 65 19 0 0 20 0 15 0 272415482 14429130752 927098 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0.84 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 6948 0 0 0 65 19 0 0 20 0 15 0 272415482 14429130752 927098 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0.83 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 5036 0 0 0 64 19 0 0 20 0 15 0 272415482 14429130752 927098 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0.14 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 11910 0 0 0 9 5 0 0 20 0 15 0 272415484 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822733415264 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822732362880 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14090948 memory=3708392 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14090948 memory=3708392 CPUtime=3.35 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 9153 0 0 0 333 2 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14090948 memory=3708392 CPUtime=3.63 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 14872 0 0 0 360 3 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14090948 memory=756 CPUtime=1.14 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 16395 0 0 0 111 3 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14090948 memory=9168 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14090948 memory=3708392 CPUtime=1.2 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 2087 0 0 0 52 68 0 0 20 0 15 0 272415487 14429130752 927098 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 2394.23 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3708392 KiB

[startup+2442.3 s]
/proc/loadavg: 1.75 1.76 1.72 3/215 3191
/proc/meminfo: memFree=16107340/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14090948 memory=3670428 CPUtime=2454.29 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 208029 0 0 0 245202 227 0 0 20 0 15 0 272415481 14429130752 917607 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3522737 917607 3608 1 0 3484809 0
[pid=3002/tid=3004] ppid=2999 vsize=14090948 memory=3670428 CPUtime=2441.33 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 123412 0 0 0 244059 74 0 0 20 0 15 0 272415482 14429130752 917607 33554432000 4194304 4196468 140723665160272 139823758457216 139823359995609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.84 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 7228 0 0 0 66 18 0 0 20 0 15 0 272415482 14429130752 917607 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.85 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 8642 0 0 0 66 19 0 0 20 0 15 0 272415482 14429130752 917607 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.85 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 7409 0 0 0 66 19 0 0 20 0 15 0 272415482 14429130752 917607 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14090948 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 5199 0 0 0 65 19 0 0 20 0 15 0 272415482 14429130752 917607 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.14 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 12142 0 0 0 9 5 0 0 20 0 15 0 272415484 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822733415264 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822732362880 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14090948 memory=3684 CPUtime=3.35 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 9158 0 0 0 333 2 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14090948 memory=3670428 CPUtime=3.63 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 14879 0 0 0 360 3 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14090948 memory=3684 CPUtime=1.14 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 16404 0 0 0 111 3 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14090948 memory=3670428 CPUtime=1.23 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 2117 0 0 0 53 70 0 0 20 0 15 0 272415487 14429130752 917607 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 2454.29 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3670428 KiB

[startup+2502.3 s]
/proc/loadavg: 1.64 1.72 1.71 3/216 3200
/proc/meminfo: memFree=16135988/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14090948 memory=3659624 CPUtime=2514.37 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 211279 0 0 0 251206 231 0 0 20 0 15 0 272415481 14429130752 914906 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3522737 914906 3608 1 0 3484809 0
[pid=3002/tid=3004] ppid=2999 vsize=14090948 memory=3659624 CPUtime=2501.31 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 125585 0 0 0 250057 74 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823758457200 139823359995888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.86 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 7585 0 0 0 67 19 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14090948 memory=3684 CPUtime=0.86 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 8670 0 0 0 67 19 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14090948 memory=3670428 CPUtime=0.87 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 7613 0 0 0 67 20 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0.85 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 5370 0 0 0 65 20 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0.14 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 12384 0 0 0 9 5 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822733415264 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822732362880 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14090948 memory=3659624 CPUtime=3.35 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 9162 0 0 0 333 2 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14090948 memory=3659624 CPUtime=3.63 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 14887 0 0 0 360 3 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14090948 memory=3659624 CPUtime=1.14 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 16416 0 0 0 111 3 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14090948 memory=3659624 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14090948 memory=3659624 CPUtime=1.26 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 2168 0 0 0 54 72 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 2514.37 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3659624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508 s]*
/proc/loadavg: 1.59 1.70 1.71 3/216 3200
/proc/meminfo: memFree=16137600/32770624 swapFree=67108368/67108860
[pid=3002] ppid=2999 vsize=14090948 memory=3659624 CPUtime=2520.08 cores=1,3,5,7
/proc/3002/stat : 3002 (java) S 2999 3002 2226 0 -1 1077944320 211439 0 0 0 251776 232 0 0 20 0 15 0 272415481 14429130752 914906 33554432000 4194304 4196468 140723665160272 140723665142816 139823754219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
/proc/3002/statm: 3522737 914906 3608 1 0 3484809 0
[pid=3002/tid=3004] ppid=2999 vsize=14090948 memory=-6733704525061579059 CPUtime=2507.02 cores=1,3,5,7
/proc/3002/task/3004/stat : 3004 (java) R 2999 3002 2226 0 -1 4202560 125743 0 0 0 250628 74 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823758457200 139823360717492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3005] ppid=2999 vsize=14090948 memory=4872558044660077418 CPUtime=0.86 cores=1,3,5,7
/proc/3002/task/3005/stat : 3005 (java) S 2999 3002 2226 0 -1 1077944384 7585 0 0 0 67 19 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823669287824 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3006] ppid=2999 vsize=14090948 memory=7234585744268878952 CPUtime=0.86 cores=1,3,5,7
/proc/3002/task/3006/stat : 3006 (java) S 2999 3002 2226 0 -1 1077944384 8670 0 0 0 67 19 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823668235024 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3007] ppid=2999 vsize=14090948 memory=-8253362762721939848 CPUtime=0.87 cores=1,3,5,7
/proc/3002/task/3007/stat : 3007 (java) S 2999 3002 2226 0 -1 1077944384 7613 0 0 0 67 20 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823348182160 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3008] ppid=2999 vsize=14090948 memory=7378416085905073514 CPUtime=0.85 cores=1,3,5,7
/proc/3002/task/3008/stat : 3008 (java) S 2999 3002 2226 0 -1 1077944384 5370 0 0 0 65 20 0 0 20 0 15 0 272415482 14429130752 914906 33554432000 4194304 4196468 140723665160272 139823347129360 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3009] ppid=2999 vsize=14090948 memory=7595435478668045670 CPUtime=0.14 cores=1,3,5,7
/proc/3002/task/3009/stat : 3009 (java) S 2999 3002 2226 0 -1 1077944384 12384 0 0 0 9 5 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822734469232 139823754230402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3010] ppid=2999 vsize=14090948 memory=7595435478668045670 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3010/stat : 3010 (java) S 2999 3002 2226 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822733415264 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3011] ppid=2999 vsize=14090948 memory=7595435478668045670 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3011/stat : 3011 (java) S 2999 3002 2226 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272415484 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822732362880 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3012] ppid=2999 vsize=14090948 memory=7595435478668045670 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3012/stat : 3012 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822731311184 139823754237851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3013] ppid=2999 vsize=14090948 memory=7739832231896836205 CPUtime=3.35 cores=1,3,5,7
/proc/3002/task/3013/stat : 3013 (java) S 2999 3002 2226 0 -1 1077944384 9162 0 0 0 333 2 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822730259056 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3014] ppid=2999 vsize=14090948 memory=7668338700579268691 CPUtime=3.63 cores=1,3,5,7
/proc/3002/task/3014/stat : 3014 (java) S 2999 3002 2226 0 -1 1077944384 14887 0 0 0 360 3 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822729206256 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3015] ppid=2999 vsize=14090948 memory=7668338700579268691 CPUtime=1.14 cores=1,3,5,7
/proc/3002/task/3015/stat : 3015 (java) S 2999 3002 2226 0 -1 1077944384 16416 0 0 0 111 3 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822285806448 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3016] ppid=2999 vsize=14090948 memory=6226907535310940264 CPUtime=0 cores=1,3,5,7
/proc/3002/task/3016/stat : 3016 (java) S 2999 3002 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822284753888 139823754229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
[pid=3002/tid=3017] ppid=2999 vsize=14090948 memory=7595435478668045670 CPUtime=1.26 cores=1,3,5,7
/proc/3002/task/3017/stat : 3017 (java) S 2999 3002 2226 0 -1 1077944384 2170 0 0 0 54 72 0 0 20 0 15 0 272415487 14429130752 914906 33554432000 4194304 4196468 140723665160272 139822283700656 139823754230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37494784 140723665163337 140723665163529 140723665163529 140723665166287 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3659624 KiB

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

[startup+2508.05 s]
# the end of solver process 3002 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.8 s, system=2.33832 s

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

Child status: 143
Real time (s): 2508.05
CPU time (s): 2520.14
CPU user time (s): 2517.8
CPU system time (s): 2.33832
CPU usage (%): 100.482
Max. virtual memory (cumulated for all children) (KiB): 14090980
Max. memory (cumulated for all children) (KiB): 4075312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.8
system time used= 2.33832
maximum resident set size= 4092260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59191
involuntary context switches= 930


# summary of solver processes directly reported to runsolver:
#   pid: 3002
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.8
#   total CPU system time (s): 2.33832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5778 second user time and 22.8154 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-18 01:28:43
IDJOB=4312036
IDBENCH=141202
IDSOLVER=2799
FILE ID=node148/4312036-1534548523
RUNJOBID= node148-1534541038-2258
PBS_JOBID= 21038631
Free space on /tmp= 49636 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312036-1534548523/watcher-4312036-1534548523 -o /tmp/evaluation-result-4312036-1534548523/solver-4312036-1534548523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534541038-2258 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 448944687 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312036-1534548523.xml

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

MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4
RANDOM SEED=448944687

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21471404 kB
MemAvailable:   31701060 kB
Buffers:          214164 kB
Cached:         10274020 kB
SwapCached:            4 kB
Active:          7078844 kB
Inactive:        3652884 kB
Active(anon):     215756 kB
Inactive(anon):    96196 kB
Active(file):    6863088 kB
Inactive(file):  3556688 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             35876 kB
Writeback:            48 kB
AnonPages:        314328 kB
Mapped:            32548 kB
Shmem:             65972 kB
Slab:             266428 kB
SReclaimable:     238340 kB
SUnreclaim:        28088 kB
KernelStack:        3600 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1225556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 49600 MiB
End job on node148 at 2018-08-18 02:10:31