Trace number 4298230

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
The dodo solver 2018-04-29SAT (TO)29377 2520.13 2489.44

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-09-opt_c18.xml
MD5SUM4d691d8a72f812e8e4cdce7df220d9a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24191
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4689
Number of domains9
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 arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}]
Number of extensional constraints4409
Number of intensional constraints280
Distribution of constraint types[{"type":"extension","count":4409},{"type":"intension","count":280}]
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.14/0.13	c version: 2018-04-11
0.14/0.13	c seed: 1811631
0.14/0.13	c timeout: 2520
0.14/0.13	c memlimit: -1
0.14/0.13	c nbcore: -1
57.69/43.50	o 47916
57.69/43.51	o 47896
57.69/43.51	o 47876
57.69/43.54	o 45936
57.69/43.55	o 45916
57.69/43.56	o 45896
57.69/43.56	o 45876
57.98/43.61	o 45736
57.98/43.62	o 45716
57.98/43.63	o 45696
57.98/43.64	o 45676
57.98/43.65	o 45537
57.98/43.66	o 45517
57.98/43.67	o 45497
57.98/43.68	o 45477
58.17/43.73	o 45338
58.17/43.74	o 45318
58.17/43.75	o 45298
58.17/43.76	o 45278
58.17/43.79	o 45258
58.43/43.81	o 43937
58.43/43.86	o 43738
58.43/43.87	o 43737
58.43/43.88	o 43538
58.43/43.89	o 43339
58.59/43.91	o 43319
58.59/43.92	o 43299
58.59/43.93	o 43298
58.59/43.94	o 43278
58.59/43.97	o 43259
58.59/43.98	o 41938
58.70/44.03	o 41738
58.70/44.05	o 41539
58.70/44.06	o 41340
58.70/44.07	o 41339
58.70/44.08	o 41319
58.70/44.09	o 41299
58.70/44.10	o 41279
58.81/44.12	o 41141
58.81/44.13	o 41121
58.81/44.14	o 41101
58.81/44.14	o 41100
58.81/44.15	o 41080
58.81/44.17	o 41061
58.91/44.22	o 41060
58.91/44.22	o 41041
58.91/44.24	o 39938
59.11/44.31	o 39739
59.11/44.32	o 39720
59.11/44.36	o 39539
59.11/44.37	o 39520
59.11/44.39	o 39340
59.32/44.40	o 39321
59.32/44.42	o 39141
59.32/44.43	o 39122
59.32/44.45	o 39121
59.32/44.45	o 39102
59.32/44.46	o 39101
59.32/44.47	o 39082
59.32/44.48	o 39081
59.32/44.49	o 39080
59.32/44.49	o 39061
59.52/44.52	o 38942
59.52/44.53	o 38923
59.52/44.54	o 38922
59.52/44.55	o 38921
59.52/44.55	o 38902
59.52/44.57	o 38901
59.52/44.57	o 38882
59.52/44.58	o 38881
59.52/44.59	o 38862
59.74/44.62	o 38743
59.74/44.63	o 38724
59.74/44.64	o 38723
59.74/44.65	o 38704
59.74/44.66	o 38703
59.74/44.66	o 38684
59.74/44.67	o 38683
59.74/44.68	o 38682
59.74/44.68	o 38663
59.94/44.71	o 38645
59.94/44.73	o 38525
59.94/44.75	o 38506
59.94/44.76	o 38505
59.94/44.77	o 38504
59.94/44.77	o 38485
59.94/44.78	o 38484
59.94/44.79	o 38465
60.14/44.80	o 38464
60.14/44.81	o 38445
60.14/44.83	o 38426
60.32/44.91	o 38323
60.32/44.93	o 38304
60.32/44.94	o 38285
60.32/44.96	o 38284
60.32/44.96	o 38265
60.32/44.97	o 38264
60.32/44.98	o 38245
60.32/44.99	o 38244
60.32/44.99	o 38243
60.32/45.00	o 38224
60.54/45.12	o 38223
60.54/45.13	o 38204
60.54/45.15	o 38203
60.54/45.16	o 38184
60.54/45.18	o 38183
60.54/45.19	o 38164
60.74/45.33	o 37946
60.74/45.34	o 37927
60.74/45.35	o 37744
60.74/45.36	o 37725
60.74/45.37	o 37554
60.74/45.38	o 37535
60.84/45.41	o 37534
60.84/45.42	o 37515
60.84/45.43	o 37514
60.84/45.45	o 37494
60.84/45.46	o 37493
60.84/45.46	o 37475
60.84/45.48	o 37474
60.84/45.49	o 37465
60.84/45.49	o 37464
60.95/45.51	o 37365
60.95/45.54	o 37364
60.95/45.55	o 37345
60.95/45.56	o 37344
60.95/45.57	o 37325
60.95/45.58	o 37324
60.95/45.58	o 37315
60.95/45.59	o 37314
61.05/45.60	o 37306
61.05/45.60	o 37305
61.05/45.61	o 37296
61.05/45.62	o 37295
61.05/45.62	o 37294
61.05/45.63	o 37293
61.05/45.63	o 37284
61.05/45.64	o 37283
61.05/45.65	o 37282
61.05/45.65	o 37274
61.05/45.66	o 37273
61.05/45.66	o 37264
61.05/45.67	o 37263
61.05/45.69	o 37165
61.16/45.70	o 37164
61.16/45.71	o 37145
61.16/45.72	o 37144
61.16/45.73	o 37135
61.16/45.74	o 37134
61.16/45.75	o 37116
61.16/45.76	o 37115
61.16/45.76	o 37114
61.16/45.77	o 37096
61.16/45.78	o 37095
61.16/45.79	o 37094
61.16/45.79	o 37084
61.25/45.80	o 37083
61.25/45.81	o 37082
61.25/45.81	o 37064
61.25/45.82	o 37063
61.25/45.84	o 37045
61.25/45.85	o 37044
61.25/45.88	o 36934
61.35/45.92	o 36933
61.35/45.93	o 36924
61.35/45.93	o 36923
61.35/45.94	o 36914
61.35/45.95	o 36913
61.35/45.95	o 36905
61.35/45.96	o 36904
61.35/45.97	o 36895
61.35/45.97	o 36894
61.35/45.98	o 36893
61.35/45.98	o 36885
61.35/45.99	o 36884
61.35/46.00	o 36875
61.35/46.00	o 36874
61.46/46.01	o 36873
61.46/46.02	o 36872
61.46/46.02	o 36863
61.46/46.03	o 36862
61.46/46.03	o 36861
61.46/46.04	o 36853
61.46/46.04	o 36852
61.46/46.05	o 36843
61.46/46.06	o 36842
61.46/46.08	o 36833
61.46/46.09	o 36823
61.57/46.12	o 36735
61.57/46.12	o 36734
61.57/46.13	o 36715
61.57/46.14	o 36714
61.57/46.15	o 36695
61.57/46.17	o 36676
61.57/46.18	o 36675
61.57/46.19	o 36656
61.66/46.21	o 36655
61.66/46.22	o 36644
61.66/46.24	o 36643
61.66/46.24	o 36624
61.66/46.28	o 36536
61.66/46.29	o 36535
61.66/46.29	o 36516
61.76/46.30	o 36515
61.76/46.32	o 36497
61.76/46.33	o 36496
61.76/46.34	o 36477
61.76/46.36	o 36476
61.76/46.36	o 36457
61.76/46.38	o 36456
61.76/46.39	o 36445
61.86/46.41	o 36444
61.86/46.42	o 36425
61.86/46.46	o 36337
61.86/46.46	o 36336
61.86/46.47	o 36317
61.86/46.48	o 36316
61.86/46.49	o 36297
61.96/46.50	o 36296
61.96/46.51	o 36277
61.96/46.53	o 36258
61.96/46.55	o 36257
61.96/46.56	o 36246
61.96/46.58	o 36245
61.96/46.59	o 36226
62.06/46.64	o 36225
62.06/46.64	o 36206
62.06/46.68	o 36205
62.06/46.69	o 36186
62.17/46.73	o 36185
63.19/47.07	o 36184
63.19/47.08	o 36165
63.57/47.20	o 35966
63.57/47.23	o 35965
63.57/47.25	o 35776
63.57/47.27	o 35775
63.57/47.28	o 35766
63.57/47.29	o 35765
63.57/47.29	o 35757
63.67/47.30	o 35756
63.67/47.31	o 35747
63.67/47.31	o 35746
63.67/47.32	o 35574
63.67/47.35	o 35573
63.67/47.36	o 35564
63.67/47.37	o 35563
63.67/47.37	o 35545
63.67/47.39	o 35544
63.77/47.40	o 35364
63.77/47.43	o 35363
63.77/47.44	o 35355
63.77/47.44	o 35354
63.77/47.45	o 35345
63.77/47.46	o 35344
63.77/47.48	o 35175
63.87/47.51	o 35174
63.87/47.52	o 35165
63.87/47.52	o 35164
63.87/47.53	o 35146
63.87/47.54	o 35145
63.87/47.56	o 35144
63.87/47.56	o 35126
63.87/47.57	o 35125
63.97/47.60	o 34966
63.97/47.63	o 34965
63.97/47.64	o 34947
63.97/47.65	o 34946
63.97/47.65	o 34945
63.97/47.66	o 34927
63.97/47.67	o 34926
63.97/47.69	o 34925
63.97/47.69	o 34924
64.07/47.70	o 34923
64.07/47.71	o 34745
64.07/47.74	o 34744
64.07/47.75	o 34735
64.07/47.76	o 34734
64.07/47.76	o 34725
64.07/47.77	o 34724
64.07/47.79	o 34546
64.18/47.82	o 34545
64.18/47.83	o 34526
64.18/47.84	o 34525
64.18/47.86	o 34506
64.18/47.87	o 34505
64.18/47.89	o 34504
64.28/47.91	o 34345
64.28/47.94	o 34344
64.28/47.94	o 34325
64.28/47.96	o 34324
64.28/47.97	o 34305
64.28/47.98	o 34304
64.28/48.00	o 34286
64.39/48.01	o 34285
64.39/48.03	o 34266
64.39/48.05	o 34265
64.39/48.06	o 34246
64.39/48.08	o 34245
64.39/48.09	o 34226
64.49/48.12	o 34225
64.49/48.13	o 34214
64.49/48.16	o 34213
64.49/48.17	o 34194
64.58/48.20	o 34193
64.58/48.23	o 34192
64.58/48.23	o 34173
64.78/48.48	o 34169
64.78/48.48	o 34155
64.78/48.50	o 34154
64.88/48.50	o 34149
64.88/48.51	o 34148
64.88/48.51	o 34135
64.88/48.52	o 34134
64.88/48.53	o 34129
64.88/48.53	o 34128
64.88/48.54	o 34115
64.88/48.55	o 34114
64.88/48.56	o 34110
64.88/48.56	o 34109
64.88/48.57	o 34096
64.88/48.58	o 34095
64.88/48.59	o 34090
64.98/48.60	o 34076
64.98/48.65	o 34075
64.98/48.66	o 34070
64.98/48.66	o 34056
65.08/48.70	o 34055
65.08/48.72	o 34050
65.08/48.72	o 34036
65.08/48.76	o 34035
65.18/48.81	o 34034
65.18/48.82	o 34029
65.18/48.82	o 34015
65.18/48.88	o 34014
65.28/48.94	o 34003
65.39/49.02	o 34002
65.39/49.03	o 33997
65.39/49.04	o 33983
65.58/49.22	o 33978
65.58/49.23	o 33964
65.68/49.37	o 33963
65.98/49.62	o 33962
65.98/49.69	o 33957
66.08/49.70	o 33943
66.08/49.77	o 33936
66.18/49.80	o 33922
66.28/49.90	o 33920
66.68/50.31	o 33914
66.68/50.31	o 33913
66.88/50.57	o 33900
66.88/50.58	o 33899
67.08/50.71	o 33886
67.08/50.72	o 33885
67.08/50.73	o 33884
67.08/50.74	o 33866
67.08/50.75	o 33865
67.08/50.76	o 33864
67.08/50.77	o 33863
67.08/50.77	o 33845
67.08/50.79	o 33844
67.08/50.79	o 33843
67.18/50.81	o 33831
67.18/50.83	o 33830
67.18/50.83	o 33829
67.18/50.85	o 33826
67.18/50.85	o 33825
67.18/50.85	o 33824
67.18/50.87	o 33812
67.18/50.88	o 33811
67.18/50.89	o 33810
67.28/50.94	o 33806
67.28/50.94	o 33805
67.28/50.95	o 33792
67.28/50.97	o 33791
67.39/51.02	o 33790
67.94/51.26	o 33786
67.94/51.26	o 33785
67.94/51.30	o 33772
68.19/51.31	o 33771
68.19/51.36	o 33770
68.29/51.44	o 33766
68.29/51.44	o 33765
68.29/51.46	o 33752
68.29/51.47	o 33751
68.40/51.55	o 33734
68.40/51.56	o 33733
68.50/51.60	o 33720
68.50/51.62	o 33719
68.92/52.05	o 33718
68.92/52.06	o 33717
68.92/52.08	o 33713
68.92/52.08	o 33712
69.02/52.13	o 33699
69.02/52.15	o 33698
69.02/52.19	o 33572
69.11/52.23	o 33571
69.11/52.24	o 33570
69.11/52.25	o 33562
69.11/52.25	o 33561
69.11/52.26	o 33560
69.11/52.27	o 33543
69.11/52.28	o 33542
69.11/52.28	o 33541
69.11/52.29	o 33539
69.21/52.30	o 33538
69.21/52.30	o 33537
69.21/52.31	o 33363
69.21/52.34	o 33362
69.21/52.35	o 33361
69.21/52.36	o 33344
69.21/52.37	o 33343
69.21/52.38	o 33342
69.31/52.40	o 33175
69.31/52.42	o 33174
69.31/52.44	o 33173
69.31/52.45	o 33156
69.31/52.46	o 33155
69.31/52.46	o 33154
69.31/52.47	o 33153
69.31/52.48	o 33136
69.31/52.49	o 33135
69.31/52.49	o 33134
69.41/52.50	o 33133
69.41/52.51	o 33132
69.41/52.51	o 33131
69.41/52.52	o 33130
69.41/52.53	o 32975
69.41/52.55	o 32974
69.41/52.57	o 32973
69.41/52.58	o 32956
69.41/52.59	o 32955
69.41/52.59	o 32954
69.51/52.60	o 32953
69.51/52.61	o 32936
69.51/52.62	o 32935
69.51/52.63	o 32934
69.51/52.64	o 32922
69.51/52.66	o 32921
69.51/52.66	o 32920
69.51/52.68	o 32773
69.60/52.71	o 32772
69.60/52.72	o 32771
69.60/52.73	o 32754
69.60/52.75	o 32753
69.60/52.75	o 32752
69.60/52.76	o 32751
69.60/52.77	o 32734
69.60/52.78	o 32733
69.60/52.78	o 32732
69.70/52.81	o 32720
69.70/52.82	o 32719
69.70/52.83	o 32718
69.70/52.84	o 32717
69.70/52.85	o 32716
69.70/52.85	o 32715
69.70/52.86	o 32541
69.70/52.89	o 32540
69.81/52.90	o 32539
69.81/52.92	o 32521
69.81/52.93	o 32520
69.81/52.93	o 32519
69.81/52.95	o 32518
69.81/52.96	o 32516
69.81/52.96	o 32515
69.81/52.97	o 32514
69.81/52.98	o 32496
69.81/52.99	o 32495
69.81/52.99	o 32494
69.91/53.02	o 32340
69.91/53.04	o 32339
69.91/53.06	o 32338
69.91/53.07	o 32320
69.91/53.08	o 32319
69.91/53.09	o 32318
70.01/53.11	o 32311
70.01/53.11	o 32309
70.01/53.12	o 32308
70.01/53.12	o 32307
70.01/53.13	o 32289
70.01/53.14	o 32288
70.01/53.15	o 32287
70.01/53.17	o 32269
70.01/53.19	o 32268
70.01/53.19	o 32267
70.11/53.21	o 32266
70.11/53.22	o 32248
70.11/53.24	o 32247
70.11/53.24	o 32246
70.11/53.27	o 32229
70.11/53.28	o 32228
70.11/53.28	o 32227
70.20/53.31	o 32215
70.20/53.33	o 32214
70.20/53.33	o 32213
70.20/53.36	o 32209
70.20/53.36	o 32208
70.20/53.38	o 32195
70.20/53.40	o 32194
70.40/53.50	o 32193
70.40/53.55	o 32189
70.40/53.55	o 32188
70.40/53.58	o 32175
70.40/53.59	o 32174
70.50/53.65	o 32169
70.50/53.65	o 32168
70.60/53.75	o 32155
70.60/53.76	o 32154
70.70/53.80	o 32139
70.70/53.81	o 32138
70.70/53.82	o 32137
70.70/53.83	o 32119
70.70/53.84	o 32118
70.70/53.84	o 32117
70.70/53.85	o 32116
70.70/53.87	o 32114
70.70/53.87	o 32113
70.70/53.87	o 32112
70.70/53.89	o 31938
70.80/53.92	o 31937
70.80/53.93	o 31936
70.80/53.95	o 31918
70.80/53.96	o 31917
70.80/53.96	o 31916
70.80/53.98	o 31909
70.80/53.98	o 31907
70.80/53.99	o 31906
70.80/53.99	o 31905
70.80/54.00	o 31887
70.91/54.01	o 31886
70.91/54.02	o 31885
70.91/54.03	o 31867
70.91/54.04	o 31866
70.91/54.05	o 31865
70.91/54.06	o 31864
70.91/54.07	o 31855
70.91/54.07	o 31854
70.91/54.08	o 31853
70.91/54.09	o 31835
70.91/54.10	o 31834
71.01/54.11	o 31833
71.01/54.13	o 31821
71.01/54.14	o 31820
71.01/54.14	o 31819
71.01/54.16	o 31816
71.01/54.16	o 31815
71.01/54.17	o 31814
71.01/54.18	o 31802
71.01/54.19	o 31801
71.10/54.20	o 31800
71.10/54.21	o 31799
71.10/54.22	o 31798
71.10/54.23	o 31795
71.10/54.23	o 31794
71.10/54.23	o 31793
71.10/54.25	o 31781
71.10/54.26	o 31780
71.10/54.27	o 31779
71.20/54.30	o 31775
71.20/54.30	o 31774
71.20/54.31	o 31773
71.20/54.32	o 31761
71.20/54.34	o 31760
71.20/54.34	o 31759
71.20/54.36	o 31758
71.20/54.38	o 31755
71.20/54.38	o 31754
71.20/54.38	o 31753
71.30/54.40	o 31741
71.30/54.41	o 31740
71.30/54.42	o 31739
71.30/54.44	o 31738
71.30/54.46	o 31734
71.30/54.47	o 31733
71.30/54.47	o 31732
71.30/54.49	o 31720
71.41/54.51	o 31719
71.41/54.51	o 31718
71.61/54.71	o 31714
71.61/54.72	o 31713
71.61/54.73	o 31700
71.61/54.75	o 31699
71.70/54.88	o 31535
71.80/54.91	o 31534
71.80/54.93	o 31533
71.80/54.94	o 31335
71.80/54.97	o 31334
71.80/54.99	o 31333
71.80/55.00	o 31316
71.91/55.01	o 31315
71.91/55.02	o 31314
71.91/55.03	o 31136
71.91/55.06	o 31135
71.91/55.08	o 31134
71.91/55.09	o 31127
71.91/55.09	o 31126
71.91/55.09	o 31125
71.91/55.10	o 31117
71.91/55.10	o 31116
72.01/55.11	o 31115
72.01/55.13	o 30937
72.01/55.15	o 30936
72.01/55.17	o 30935
72.01/55.18	o 30918
72.01/55.19	o 30917
72.01/55.19	o 30916
72.10/55.22	o 30749
72.10/55.24	o 30748
72.10/55.26	o 30747
72.10/55.27	o 30730
72.10/55.29	o 30729
72.10/55.29	o 30728
72.20/55.30	o 30727
72.20/55.31	o 30726
72.20/55.31	o 30725
72.20/55.32	o 30716
72.20/55.32	o 30715
72.20/55.33	o 30714
72.20/55.34	o 30547
72.20/55.37	o 30546
72.20/55.39	o 30545
72.30/55.40	o 30528
72.30/55.41	o 30527
72.30/55.42	o 30526
72.30/55.43	o 30525
72.30/55.44	o 30516
72.30/55.45	o 30515
72.30/55.45	o 30514
72.30/55.47	o 30347
72.30/55.49	o 30346
72.40/55.51	o 30345
72.40/55.53	o 30328
72.40/55.54	o 30327
72.40/55.54	o 30326
72.62/55.67	o 30325
72.62/55.68	o 30308
72.62/55.69	o 30307
72.62/55.70	o 30306
72.94/55.71	o 30305
72.94/55.72	o 30288
72.94/55.73	o 30287
72.94/55.73	o 30286
72.94/55.76	o 30151
72.94/55.79	o 30150
73.04/55.81	o 30149
73.04/55.82	o 30132
73.04/55.83	o 30131
73.04/55.83	o 30130
73.04/55.85	o 30129
73.04/55.85	o 30112
73.04/55.86	o 30111
73.04/55.87	o 30110
73.04/55.89	o 30095
73.14/55.90	o 30094
73.14/55.91	o 30093
73.14/55.93	o 29919
73.14/55.96	o 29918
73.14/55.98	o 29917
73.14/55.99	o 29899
73.24/56.01	o 29898
73.24/56.01	o 29897
73.24/56.03	o 29896
73.24/56.04	o 29894
73.24/56.04	o 29893
73.24/56.04	o 29892
73.24/56.06	o 29874
73.24/56.07	o 29873
73.24/56.07	o 29872
73.24/56.10	o 29718
73.34/56.13	o 29717
73.34/56.15	o 29716
73.34/56.16	o 29698
73.34/56.18	o 29697
73.34/56.18	o 29696
73.43/56.21	o 29689
73.43/56.21	o 29687
73.43/56.22	o 29686
73.43/56.22	o 29685
73.43/56.23	o 29667
73.43/56.24	o 29666
73.43/56.24	o 29665
73.43/56.27	o 29647
73.43/56.28	o 29646
73.43/56.28	o 29645
73.53/56.31	o 29627
73.53/56.32	o 29626
73.53/56.37	o 29625
73.53/56.39	o 29615
73.63/56.40	o 29614
73.63/56.42	o 29613
73.63/56.44	o 29595
73.63/56.46	o 29594
73.73/56.52	o 29576
73.73/56.54	o 29575
73.83/56.60	o 29574
73.83/56.64	o 29573
73.83/56.70	o 29555
73.93/56.71	o 29554
74.13/56.97	o 29541
74.13/56.98	o 29540
74.34/57.12	o 29539
74.34/57.15	o 29538
74.34/57.15	o 29534
74.34/57.16	o 29533
74.34/57.17	o 29520
74.34/57.19	o 29519
74.53/57.30	o 29518
74.53/57.33	o 29517
74.53/57.38	o 29514
74.53/57.39	o 29513
74.53/57.39	o 29512
74.63/57.42	o 29500
74.63/57.44	o 29499
74.63/57.44	o 29498
74.73/57.52	o 29494
74.73/57.53	o 29493
74.83/57.63	o 29480
74.83/57.65	o 29479
666.29/643.99	o 29379
1181.59/1158.43	o 29377
2520.08/2489.40	s SATISFIABLE
2520.08/2489.41	v <instantiation>
2520.08/2489.41	v 	<list>
2520.08/2489.41	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/2489.41	v 	</list>
2520.08/2489.41	v 	<values>
2520.08/2489.41	v 		442 680 554 792 694 456 254 16 324 86 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 414 652 442 680 352 114 554 792 498 736 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 764 526 498 736 114 352 526 764 324 86 722 484 554 792 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 100 338 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 414 652 268 30 540 778 442 680 44 282 352 114 652 414 86 324 128 366 470 708 296 58 736 498 352 114 428 666 142 380 16 254 792 554 352 114 352 114 778 540 428 666 366 128 100 338 428 666 526 764 526 764 142 380 30 268 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 694 456 540 778 296 58 540 778 526 764 778 540 380 142 30 268 442 680 16 254 282 44 30 268 268 30 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 352 114 764 526 254 16 442 680 540 778 512 750 296 58 708 470 156 394 680 442 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 694 456 380 142 310 72 456 694 282 44 268 30 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 58 296 750 512 708 470 736 498 736 498 428 666 394 156 296 58 114 352 366 128 750 512 540 778 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 512 750 380 142 722 484 554 792 58 296 142 380 722 484 128 366 442 680 526 764 268 30 484 722 296 58 540 778 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 128 366 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 764 526 414 652 30 268 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 666 428 254 16 156 394 30 268 30 268 414 652 30 268 324 86 428 666 750 512 764 526 86 324 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 100 338 254 16 72 310 100 338 1000 1000 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 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 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 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 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 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 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 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 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 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 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 1000 0 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 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 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 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 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 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 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 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 0 0 0 0 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 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 0 0 0 0 0 100 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 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 0 0 0 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 0 0 0 0 0 0 0 100 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 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 0 0 100 0 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 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 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 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 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 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 100 0 0 100 0 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 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 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 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 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 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 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 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 100 0 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 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 100 0 100 100 0 0 0 100 0 0 0 0 100 100 100 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 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 10 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 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 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 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 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 0 0 0 0 0 0 0 0 0 10 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 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 0 10 10 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 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 0 0 10 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 0 0 10 0 0 0 10 0 0 10 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 0 0 0 0 10 0 0 10 0 0 10 0 10 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 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 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 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 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 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 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 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 1 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 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 
2520.08/2489.41	v 	</values>
2520.08/2489.41	v </instantiation>

Verifier Data 

OK	29377

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298230-1532749978/watcher-4298230-1532749978 -o /tmp/evaluation-result-4298230-1532749978/solver-4298230-1532749978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298230-1532749978.xml --timelimit 2520 

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 threadsolver pid=
Starting watchdog threadsolver pid=
21433, runsolver pid=21430
Current StackSize limit: 8192 KiB


[startup+0.10346 s]*
/proc/loadavg: 1.86 1.74 1.68 3/216 21448
/proc/meminfo: memFree=19757112/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10658972 memory=27492 CPUtime=0.14 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 5314 0 0 0 13 1 0 0 20 0 15 0 92560977 10914787328 6873 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2664743 6873 2859 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 3115 0 0 0 9 0 0 0 20 0 15 0 92560977 10914787328 6873 33554432000 4194304 4196468 140730887462880 140175052310624 140175048093078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10658972 memory=139640170763904 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560978 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10658972 memory=139640170763904 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560979 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560980 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174082962592 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560980 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) S 21430 21433 25017 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 92560982 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174079806192 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) S 21430 21433 25017 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 92560982 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174078753648 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10658972 memory=139640170763904 CPUtime=0.02 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) R 21430 21433 25017 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 92560982 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174077700592 140175031438509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10658972 memory=139640170763904 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560983 10914787328 6873 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27492 KiB

[startup+0.210532 s]*
/proc/loadavg: 1.86 1.74 1.68 4/216 21448
/proc/meminfo: memFree=19745344/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661056 memory=40436 CPUtime=0.34 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 8211 0 0 0 32 2 0 0 20 0 15 0 92560977 10916921344 10109 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665264 10109 3004 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 5102 0 0 0 19 1 0 0 20 0 15 0 92560977 10916921344 10241 33554432000 4194304 4196468 140730887462880 140175052312016 140175048103069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661056 memory=139640171338788 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661056 memory=139640170763904 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560979 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560980 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174082962592 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560980 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) R 21430 21433 25017 0 -1 4202560 467 0 0 0 2 0 0 0 20 0 15 0 92560982 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174079797512 140175032480796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) R 21430 21433 25017 0 -1 4202560 500 0 0 0 3 0 0 0 20 0 15 0 92560982 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174078734552 140175031577931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661056 memory=139640170763904 CPUtime=0.07 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) R 21430 21433 25017 0 -1 4202560 898 0 0 0 7 0 0 0 20 0 15 0 92560982 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174077696472 140175027048040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661056 memory=139640170763904 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560983 10916921344 10241 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40436 KiB

[startup+0.310598 s]*
/proc/loadavg: 1.86 1.74 1.68 5/216 21448
/proc/meminfo: memFree=19708736/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661056 memory=81012 CPUtime=0.65 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 10140 0 0 0 62 3 0 0 20 0 15 0 92560977 10916921344 20253 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665264 20253 3046 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661056 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 5126 0 0 0 28 2 0 0 20 0 15 0 92560977 10916921344 20253 33554432000 4194304 4196468 140730887462880 140175052317648 140175048103069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661056 memory=139640170821920 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661056 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560978 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661056 memory=139640170828832 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560979 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560980 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174082962592 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661056 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560980 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661056 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661056 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) R 21430 21433 25017 0 -1 4202560 1041 0 0 0 10 0 0 0 20 0 15 0 92560982 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174079792072 140175033206552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661056 memory=139640057225167 CPUtime=0.12 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) R 21430 21433 25017 0 -1 4202560 1503 0 0 0 12 0 0 0 20 0 15 0 92560982 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174078739720 140175031292814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661056 memory=139640170785166 CPUtime=0.11 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) R 21430 21433 25017 0 -1 1077944384 1109 0 0 0 11 0 0 0 20 0 15 0 92560982 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661056 memory=139640057225167 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661056 memory=279280228005824 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560983 10916921344 20253 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 81012 KiB

[startup+0.700758 s]
/proc/loadavg: 2.11 1.79 1.69 5/216 21448
/proc/meminfo: memFree=19672672/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661132 memory=220504 CPUtime=1.94 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 12423 0 0 0 185 9 0 0 20 0 15 0 92560977 10916999168 55126 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665283 55126 3113 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661132 memory=2372 CPUtime=0.65 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 5525 0 0 0 61 4 0 0 20 0 15 0 92560977 10916999168 55126 33554432000 4194304 4196468 140730887462880 140175052317888 140175048093078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=6872598998417432672 CPUtime=0.02 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 15 0 92560978 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=7024 CPUtime=0.01 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 92560978 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=15044 CPUtime=0.01 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 92560978 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=20188 CPUtime=0.01 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 92560978 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92560979 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174082962592 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661132 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) R 21430 21433 25017 0 -1 4202560 1625 0 0 0 45 0 0 0 20 0 15 0 92560982 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174079797472 140175031467947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661132 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) R 21430 21433 25017 0 -1 4202560 2088 0 0 0 46 0 0 0 20 0 15 0 92560982 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174078733456 140175033190909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661132 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) R 21430 21433 25017 0 -1 1077944384 1637 0 0 0 25 0 0 0 20 0 15 0 92560982 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560983 10916999168 55126 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 220504 KiB

[startup+1.50071 s]
/proc/loadavg: 2.11 1.79 1.69 3/216 21448
/proc/meminfo: memFree=19496920/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661132 memory=417328 CPUtime=3.41 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 13765 0 0 0 320 21 0 0 20 0 15 0 92560977 10916999168 104332 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665283 104332 3133 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661132 memory=3835156164285782129 CPUtime=1.37 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 5592 0 0 0 133 4 0 0 20 0 15 0 92560977 10916999168 104332 33554432000 4194304 4196468 140730887462880 140175052315760 140174666513219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=246516 CPUtime=0.08 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 140 0 0 0 4 4 0 0 20 0 15 0 92560978 10916999168 104332 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 147 0 0 0 5 3 0 0 20 0 15 0 92560978 10916999168 104332 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=7024 CPUtime=0.08 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 278 0 0 0 5 3 0 0 20 0 15 0 92560978 10916999168 104332 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=15044 CPUtime=0.08 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 231 0 0 0 5 3 0 0 20 0 15 0 92560978 10916999168 104332 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=20188 CPUtime=0 cores=1,3,5,7

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

/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 1416700 0 0 0 231386 104 0 0 20 0 15 0 92560977 10916999168 586830 33554432000 4194304 4196468 140730887462880 140175052322448 140174671259790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=2349372 CPUtime=6.91 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 157328 0 0 0 595 96 0 0 20 0 15 0 92560978 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=2353476 CPUtime=6.94 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 160704 0 0 0 594 100 0 0 20 0 15 0 92560978 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=2349372 CPUtime=6.9 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 154666 0 0 0 594 96 0 0 20 0 15 0 92560978 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=2347320 CPUtime=6.95 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 167723 0 0 0 598 97 0 0 20 0 15 0 92560978 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=2347320 CPUtime=0.28 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 17619 0 0 0 16 12 0 0 20 0 15 0 92560979 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661132 memory=2347320 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174082962656 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661132 memory=2347320 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661132 memory=2347320 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661132 memory=2349372 CPUtime=3.12 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) S 21430 21433 25017 0 -1 1077944384 10860 0 0 0 311 1 0 0 20 0 15 0 92560982 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174079806192 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661132 memory=2349372 CPUtime=2.66 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) S 21430 21433 25017 0 -1 1077944384 9932 0 0 0 265 1 0 0 20 0 15 0 92560982 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174078753648 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661132 memory=2349372 CPUtime=0.78 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) S 21430 21433 25017 0 -1 1077944384 7914 0 0 0 76 2 0 0 20 0 15 0 92560982 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661132 memory=2349372 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661132 memory=2349372 CPUtime=0.94 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1959 0 0 0 45 49 0 0 20 0 15 0 92560983 10916999168 586830 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 2350.47 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2347320 KiB

[startup+2382.3 s]
/proc/loadavg: 1.51 1.73 1.81 3/216 21702
/proc/meminfo: memFree=16646664/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661132 memory=2320124 CPUtime=2411.37 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 2111493 0 0 0 240581 556 0 0 20 0 15 0 92560977 10916999168 580031 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665283 580031 3201 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661132 memory=2333980 CPUtime=2374.58 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 1418439 0 0 0 237354 104 0 0 20 0 15 0 92560977 10916999168 580031 33554432000 4194304 4196468 140730887462880 140175052321024 140174671259808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=2325256 CPUtime=7.2 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 158081 0 0 0 624 96 0 0 20 0 15 0 92560978 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=2322180 CPUtime=7.23 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 161587 0 0 0 623 100 0 0 20 0 15 0 92560978 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=2321664 CPUtime=7.19 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 155224 0 0 0 623 96 0 0 20 0 15 0 92560978 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=2364768 CPUtime=7.24 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 168196 0 0 0 627 97 0 0 20 0 15 0 92560978 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=2329876 CPUtime=0.3 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 17873 0 0 0 17 13 0 0 20 0 15 0 92560979 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661132 memory=279280116177760 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174082962656 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661132 memory=2321664 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661132 memory=2329876 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661132 memory=1284 CPUtime=3.12 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) S 21430 21433 25017 0 -1 1077944384 10862 0 0 0 311 1 0 0 20 0 15 0 92560982 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174079806192 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661132 memory=1088 CPUtime=2.66 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) S 21430 21433 25017 0 -1 1077944384 9935 0 0 0 265 1 0 0 20 0 15 0 92560982 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174078753648 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661132 memory=2325256 CPUtime=0.78 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) S 21430 21433 25017 0 -1 1077944384 7917 0 0 0 76 2 0 0 20 0 15 0 92560982 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661132 memory=2325256 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661132 memory=2329876 CPUtime=0.96 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 1996 0 0 0 46 50 0 0 20 0 15 0 92560983 10916999168 580031 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 2411.37 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2320124 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.70 1.79 3/216 21703
/proc/meminfo: memFree=16806768/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661132 memory=2290364 CPUtime=2472.29 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 2117130 0 0 0 246671 558 0 0 20 0 15 0 92560977 10916999168 572591 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665283 572591 3201 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661132 memory=2291904 CPUtime=2434.26 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 1420299 0 0 0 243321 105 0 0 20 0 15 0 92560977 10916999168 572591 33554432000 4194304 4196468 140730887462880 140175052321024 140174670852488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=2293956 CPUtime=7.5 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 159138 0 0 0 654 96 0 0 20 0 15 0 92560978 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=2296008 CPUtime=7.53 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 162473 0 0 0 653 100 0 0 20 0 15 0 92560978 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=2296008 CPUtime=7.49 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 156092 0 0 0 653 96 0 0 20 0 15 0 92560978 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=2308836 CPUtime=7.54 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 168882 0 0 0 657 97 0 0 20 0 15 0 92560978 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=2298060 CPUtime=0.31 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 18110 0 0 0 18 13 0 0 20 0 15 0 92560979 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661132 memory=2298060 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174082962656 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661132 memory=2293956 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661132 memory=2293956 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661132 memory=2293956 CPUtime=3.12 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) S 21430 21433 25017 0 -1 1077944384 10865 0 0 0 311 1 0 0 20 0 15 0 92560982 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174079806192 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661132 memory=2290364 CPUtime=2.66 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) S 21430 21433 25017 0 -1 1077944384 9943 0 0 0 265 1 0 0 20 0 15 0 92560982 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174078753648 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661132 memory=3708 CPUtime=0.78 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) S 21430 21433 25017 0 -1 1077944384 7921 0 0 0 76 2 0 0 20 0 15 0 92560982 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661132 memory=2293956 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661132 memory=3708 CPUtime=0.98 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 2024 0 0 0 47 51 0 0 20 0 15 0 92560983 10916999168 572591 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 2472.29 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2290364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2489.4 s]
/proc/loadavg: 1.58 1.69 1.79 3/216 21703
/proc/meminfo: memFree=16886968/32770624 swapFree=67108796/67108860
[pid=21433] ppid=21430 vsize=10661132 memory=2271380 CPUtime=2520.08 cores=1,3,5,7
/proc/21433/stat : 21433 (java) S 21430 21433 25017 0 -1 1077944320 2118233 0 0 0 251448 560 0 0 20 0 15 0 92560977 10916999168 567845 33554432000 4194304 4196468 140730887462880 140730887445424 140175048081143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
/proc/21433/statm: 2665283 567845 3201 1 0 2627263 0
[pid=21433/tid=21435] ppid=21430 vsize=10661132 memory=288230583166042425 CPUtime=2481.12 cores=1,3,5,7
/proc/21433/task/21435/stat : 21435 (java) R 21430 21433 25017 0 -1 4202560 1421026 0 0 0 248007 105 0 0 20 0 15 0 92560977 10916999168 567845 33554432000 4194304 4196468 140730887462880 140175052322448 140174671259093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21436] ppid=21430 vsize=10661132 memory=15539617717815893 CPUtime=7.72 cores=1,3,5,7
/proc/21433/task/21436/stat : 21436 (java) S 21430 21433 25017 0 -1 1077944384 159202 0 0 0 676 96 0 0 20 0 15 0 92560978 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174984772624 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21437] ppid=21430 vsize=10661132 memory=1676 CPUtime=7.76 cores=1,3,5,7
/proc/21433/task/21437/stat : 21437 (java) S 21430 21433 25017 0 -1 1077944384 162533 0 0 0 675 101 0 0 20 0 15 0 92560978 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174983720080 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21438] ppid=21430 vsize=10661132 memory=960 CPUtime=7.72 cores=1,3,5,7
/proc/21433/task/21438/stat : 21438 (java) S 21430 21433 25017 0 -1 1077944384 156194 0 0 0 676 96 0 0 20 0 15 0 92560978 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174652467984 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21439] ppid=21430 vsize=10661132 memory=1232 CPUtime=7.77 cores=1,3,5,7
/proc/21433/task/21439/stat : 21439 (java) S 21430 21433 25017 0 -1 1077944384 169017 0 0 0 680 97 0 0 20 0 15 0 92560978 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174651415440 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21440] ppid=21430 vsize=10661132 memory=4068 CPUtime=0.33 cores=1,3,5,7
/proc/21433/task/21440/stat : 21440 (java) S 21430 21433 25017 0 -1 1077944384 18121 0 0 0 19 14 0 0 20 0 15 0 92560979 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174084016368 140175048092290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21441] ppid=21430 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21441/stat : 21441 (java) S 21430 21433 25017 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174082962656 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21442] ppid=21430 vsize=10661132 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21442/stat : 21442 (java) S 21430 21433 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92560980 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174081909488 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21443] ppid=21430 vsize=10661132 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21443/stat : 21443 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174080858064 140175048099739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21444] ppid=21430 vsize=10661132 memory=1572 CPUtime=3.12 cores=1,3,5,7
/proc/21433/task/21444/stat : 21444 (java) S 21430 21433 25017 0 -1 1077944384 10865 0 0 0 311 1 0 0 20 0 15 0 92560982 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174079806192 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21445] ppid=21430 vsize=10661132 memory=2092 CPUtime=2.66 cores=1,3,5,7
/proc/21433/task/21445/stat : 21445 (java) S 21430 21433 25017 0 -1 1077944384 9943 0 0 0 265 1 0 0 20 0 15 0 92560982 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174078753648 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21446] ppid=21430 vsize=10661132 memory=7524 CPUtime=0.78 cores=1,3,5,7
/proc/21433/task/21446/stat : 21446 (java) S 21430 21433 25017 0 -1 1077944384 7921 0 0 0 76 2 0 0 20 0 15 0 92560982 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174077700592 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21447] ppid=21430 vsize=10661132 memory=836 CPUtime=0 cores=1,3,5,7
/proc/21433/task/21447/stat : 21447 (java) S 21430 21433 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560982 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174076648288 140175048091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
[pid=21433/tid=21448] ppid=21430 vsize=10661132 memory=3708 CPUtime=1.01 cores=1,3,5,7
/proc/21433/task/21448/stat : 21448 (java) S 21430 21433 25017 0 -1 1077944384 2028 0 0 0 48 53 0 0 20 0 15 0 92560983 10916999168 567845 33554432000 4194304 4196468 140730887462880 140174075595312 140175048092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 36003840 140730887464056 140730887464201 140730887464201 140730887466959 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2271380 KiB

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

[startup+2489.44 s]
# the end of solver process 21433 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.51 s, system=5.61649 s

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

Child status: 143
Real time (s): 2489.44
CPU time (s): 2520.13
CPU user time (s): 2514.51
CPU system time (s): 5.61649
CPU usage (%): 101.233
Max. virtual memory (cumulated for all children) (KiB): 10663108
Max. memory (cumulated for all children) (KiB): 4529864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.51
system time used= 5.61649
maximum resident set size= 4530004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2119853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63678
involuntary context switches= 1670


# summary of solver processes directly reported to runsolver:
#   pid: 21433
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2514.51
#   total CPU system time (s): 5.61649

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5844 second user time and 24.5114 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 05:52:58
IDJOB=4298230
IDBENCH=141087
IDSOLVER=2768
FILE ID=node138/4298230-1532749978
RUNJOBID= node138-1532740019-20129
PBS_JOBID= 21022442
Free space on /tmp= 53768 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-09-opt_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298230-1532749978/watcher-4298230-1532749978 -o /tmp/evaluation-result-4298230-1532749978/solver-4298230-1532749978 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298230-1532749978.xml --timelimit 2520

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

MD5SUM BENCH= 4d691d8a72f812e8e4cdce7df220d9a2
RANDOM SEED=2053665905

node138.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.71
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.71
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.71
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.71
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:        19773744 kB
MemAvailable:   29433384 kB
Buffers:          202224 kB
Cached:          9665304 kB
SwapCached:           44 kB
Active:          4997640 kB
Inactive:        7415776 kB
Active(anon):    2490280 kB
Inactive(anon):    83516 kB
Active(file):    2507360 kB
Inactive(file):  7332260 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:       2626932 kB
Mapped:            49488 kB
Shmem:             25164 kB
Slab:             276860 kB
SReclaimable:     248480 kB
SUnreclaim:        28380 kB
KernelStack:        3536 kB
PageTables:        10228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3520716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2295808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53760 MiB
End job on node138 at 2018-07-28 06:34:28