Trace number 4312031

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-17SAT (TO)354960 2520.1 2495.43

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-08-17
0.68/0.56	c seed: 999867702
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 1
0.68/0.58	c Parsing instance...
8.55/4.46	c Parsing done, starting search...
1020.56/1012.25	o 428345
1020.56/1012.25	o 428245
1020.56/1012.26	o 428045
1020.56/1012.27	o 427936
1020.56/1012.27	o 427836
1020.56/1012.28	o 427726
1020.56/1012.29	o 427720
1020.77/1012.30	o 427719
1020.77/1012.31	o 427717
1020.77/1012.31	o 427716
1020.77/1012.32	o 427696
1020.77/1012.33	o 427695
1020.77/1012.33	o 427495
1020.77/1012.34	o 427395
1020.77/1012.35	o 427197
1020.77/1012.36	o 426197
1020.77/1012.36	o 426187
1020.77/1012.37	o 426178
1020.77/1012.38	o 425167
1020.77/1012.39	o 425147
1020.77/1012.39	o 425137
1021.03/1012.40	o 424137
1021.03/1012.41	o 424136
1021.03/1012.42	o 424126
1021.03/1012.43	o 424026
1021.03/1012.45	o 422997
1021.03/1012.45	o 422996
1021.03/1012.47	o 422016
1021.03/1012.48	o 421016
1021.03/1012.49	o 420036
1021.34/1012.50	o 419926
1021.34/1012.51	o 419826
1021.34/1012.52	o 417607
1021.34/1012.54	o 417507
1021.34/1012.54	o 417506
1021.34/1012.55	o 417496
1021.34/1012.56	o 417386
1021.34/1012.58	o 416906
1021.34/1012.58	o 416896
1021.34/1012.59	o 416816
1021.59/1012.60	o 416716
1021.59/1012.61	o 416706
1021.59/1012.62	o 416696
1021.59/1012.62	o 416587
1021.59/1012.63	o 416577
1021.59/1012.64	o 416477
1021.59/1012.65	o 416476
1021.59/1012.65	o 415496
1021.59/1012.66	o 415386
1021.59/1012.68	o 413787
1021.59/1012.70	o 413696
1021.74/1012.70	o 413587
1021.74/1012.71	o 413487
1021.74/1012.72	o 413486
1021.74/1012.74	o 413208
1021.74/1012.75	o 413108
1021.74/1012.76	o 413097
1021.74/1012.77	o 413088
1021.74/1012.77	o 412898
1021.74/1012.78	o 412888
1021.87/1012.81	o 412817
1021.87/1012.81	o 412807
1021.87/1012.81	o 412806
1021.87/1012.82	o 412696
1021.87/1012.83	o 412687
1021.87/1012.83	o 412686
1021.87/1012.84	o 411808
1021.87/1012.85	o 411798
1021.87/1012.87	o 411698
1021.87/1012.87	o 411697
1022.09/1013.07	o 411497
1022.09/1013.08	o 411387
1022.09/1013.09	o 411287
1022.09/1013.09	o 411187
1022.09/1013.10	o 411077
1022.23/1013.11	o 410968
1022.23/1013.11	o 410868
1022.23/1013.12	o 410867
1022.23/1013.12	o 410667
1022.23/1013.14	o 410568
1022.23/1013.15	o 410567
1022.32/1013.20	o 410007
1022.32/1013.20	o 409897
1022.32/1013.21	o 409887
1022.32/1013.21	o 409787
1022.32/1013.22	o 409687
1022.32/1013.23	o 409686
1022.32/1013.26	o 409587
1022.32/1013.26	o 409586
1022.43/1013.34	o 409585
1022.43/1013.34	o 409584
1022.43/1013.35	o 409574
1022.43/1013.37	o 409485
1022.63/1013.57	o 409476
1022.63/1013.57	o 409475
1023.03/1013.99	o 409466
1023.03/1013.99	o 409465
1023.03/1014.00	o 409375
1023.33/1014.29	o 409085
1023.33/1014.30	o 408985
1023.43/1014.30	o 408885
1023.43/1014.31	o 408775
1023.43/1014.31	o 408675
1023.43/1014.32	o 408674
1023.43/1014.33	o 408564
1023.53/1014.46	o 408485
1023.53/1014.46	o 408484
1024.07/1014.91	o 408475
1024.07/1014.91	o 408474
1024.47/1015.38	o 408473
1024.89/1015.71	o 408465
1024.89/1015.72	o 408464
1024.89/1015.72	o 408374
1025.49/1016.30	o 407563
1025.49/1016.31	o 407562
1025.49/1016.31	o 407561
1025.49/1016.32	o 407552
1025.49/1016.34	o 407452
1025.49/1016.35	o 407451
1025.79/1016.68	o 407363
1025.79/1016.68	o 407362
1027.49/1018.39	o 406484
1027.49/1018.39	o 406483
1027.49/1018.40	o 406373
1027.59/1018.40	o 406372
1029.23/1020.02	o 406363
1029.23/1020.02	o 406362
1033.83/1024.61	o 406194
1033.83/1024.61	o 406094
1033.83/1024.62	o 405984
1033.83/1024.62	o 405884
1033.83/1024.63	o 405874
1033.83/1024.63	o 405764
1033.83/1024.64	o 405664
1033.83/1024.64	o 405663
1033.83/1024.65	o 405662
1033.83/1024.66	o 405661
1033.83/1024.66	o 405561
1034.03/1024.86	o 405462
1034.03/1024.87	o 405461
1034.73/1025.50	o 405460
1035.24/1026.06	o 405453
1035.24/1026.06	o 405452
1035.43/1026.26	o 405363
1035.43/1026.27	o 405362
1040.34/1031.14	o 405361
1040.34/1031.14	o 405360
1040.34/1031.15	o 405351
1049.06/1039.81	o 405350
1057.77/1048.58	o 405344
1057.77/1048.59	o 405343
1057.77/1048.59	o 405342
1057.77/1048.59	o 405341
1057.87/1048.60	o 405340
1069.00/1059.79	o 405339
1069.00/1059.80	o 405338
1069.10/1059.80	o 405337
1069.10/1059.84	o 405240
1069.10/1059.84	o 405239
1069.20/1059.98	o 405238
1069.20/1059.99	o 405237
1069.31/1060.08	o 405141
1069.31/1060.08	o 405140
1069.31/1060.09	o 405139
1070.90/1061.69	o 404559
1070.90/1061.69	o 404459
1071.00/1061.70	o 404349
1071.00/1061.70	o 404249
1071.00/1061.71	o 404149
1071.00/1061.71	o 404148
1071.00/1061.75	o 404147
1071.00/1061.76	o 404146
1075.81/1066.53	o 404050
1075.81/1066.53	o 404049
1075.81/1066.54	o 404048
1091.49/1082.14	o 403668
1091.49/1082.15	o 403658
1091.49/1082.16	o 403648
1091.49/1082.17	o 403638
1091.49/1082.18	o 403628
1091.49/1082.18	o 403627
1091.49/1082.19	o 403527
1091.57/1082.20	o 403526
1091.57/1082.21	o 403426
1091.57/1082.22	o 403326
1091.57/1082.29	o 403325
1091.68/1082.30	o 402325
1091.68/1082.31	o 401637
1091.68/1082.32	o 401416
1091.68/1082.33	o 401415
1091.68/1082.34	o 401315
1091.78/1082.41	o 400367
1091.78/1082.41	o 400366
1091.78/1082.42	o 400356
1091.78/1082.43	o 400327
1091.78/1082.44	o 400317
1091.78/1082.44	o 400316
1091.78/1082.45	o 400315
1091.78/1082.48	o 399315
1091.88/1082.54	o 399252
1091.88/1082.55	o 399242
1091.88/1082.56	o 399232
1091.88/1082.56	o 399231
1091.88/1082.57	o 399230
1091.88/1082.58	o 399217
1091.98/1082.67	o 399161
1091.98/1082.67	o 399160
1091.98/1082.68	o 399131
1091.98/1082.69	o 399130
1092.08/1082.70	o 399117
1092.08/1082.75	o 398915
1092.18/1082.89	o 398905
1092.28/1082.91	o 398902
1092.28/1082.93	o 397931
1092.28/1082.94	o 397902
1092.28/1082.96	o 397231
1092.28/1082.97	o 397133
1092.28/1082.99	o 397104
1092.38/1083.01	o 397103
1092.38/1083.02	o 397003
1092.38/1083.03	o 396902
1092.38/1083.04	o 396812
1092.38/1083.05	o 396802
1092.38/1083.07	o 396131
1092.38/1083.08	o 396033
1092.38/1083.09	o 396004
1092.91/1083.54	o 395994
1092.91/1083.55	o 394994
1092.91/1083.55	o 394894
1093.13/1083.79	o 394361
1093.13/1083.80	o 394351
1093.23/1083.80	o 394341
1093.23/1083.81	o 394331
1093.23/1083.82	o 394330
1093.23/1083.83	o 394301
1093.23/1083.83	o 394201
1093.23/1083.84	o 394103
1093.23/1083.85	o 394003
1093.23/1083.86	o 393904
1093.23/1083.88	o 393894
1093.44/1084.03	o 393130
1093.44/1084.03	o 393120
1093.44/1084.04	o 393032
1093.44/1084.05	o 393022
1093.44/1084.06	o 392993
1093.44/1084.07	o 392894
1093.54/1084.18	o 391874
1093.64/1084.28	o 391873
1094.88/1085.49	o 391674
1094.98/1085.50	o 390873
1095.08/1085.64	o 390820
1095.08/1085.65	o 390810
1095.08/1085.65	o 390800
1095.08/1085.66	o 390790
1095.08/1085.67	o 390780
1095.08/1085.68	o 390682
1095.08/1085.70	o 389912
1095.19/1085.70	o 389911
1095.62/1086.19	o 389882
1095.71/1086.21	o 389791
1095.71/1086.23	o 389783
1095.71/1086.24	o 389782
1095.81/1086.36	o 389773
1095.81/1086.36	o 389772
1095.91/1086.49	o 389771
1096.33/1086.89	o 389099
1096.43/1086.90	o 389089
1096.43/1086.91	o 388989
1096.43/1086.92	o 388960
1096.43/1086.93	o 388860
1096.43/1086.94	o 388850
1096.43/1087.00	o 388760
1097.05/1087.53	o 388759
1097.15/1087.62	o 388750
1097.15/1087.63	o 388749
1097.35/1087.87	o 387997
1097.35/1087.88	o 387987
1097.35/1087.88	o 387977
1097.35/1087.89	o 387967
1097.45/1087.90	o 387957
1097.45/1087.91	o 387947
1097.45/1087.92	o 387847
1097.45/1087.96	o 387749
1097.58/1088.03	o 387649
2036.30/2017.53	o 387648
2036.30/2017.53	o 387638
2036.30/2017.54	o 387538
2036.30/2017.55	o 387338
2036.30/2017.55	o 387327
2036.30/2017.56	o 387326
2036.30/2017.57	o 387325
2036.30/2017.57	o 387303
2036.30/2017.59	o 387302
2036.41/2017.60	o 387203
2036.41/2017.61	o 387202
2036.41/2017.62	o 387193
2036.41/2017.62	o 387192
2036.41/2017.63	o 387182
2036.41/2017.64	o 387181
2036.41/2017.65	o 387171
2036.41/2017.66	o 387170
2036.41/2017.67	o 387094
2036.41/2017.68	o 387093
2036.41/2017.69	o 386993
2036.51/2017.70	o 386982
2036.51/2017.71	o 386972
2036.51/2017.72	o 386971
2036.51/2017.73	o 386861
2036.51/2017.73	o 386860
2036.51/2017.76	o 386270
2036.51/2017.78	o 386269
2036.51/2017.79	o 386169
2036.62/2017.80	o 385991
2036.62/2017.81	o 385990
2036.62/2017.82	o 385971
2036.62/2017.83	o 385970
2036.62/2017.84	o 385969
2036.62/2017.84	o 385968
2036.62/2017.85	o 385967
2036.62/2017.86	o 385869
2036.62/2017.90	o 385867
2036.73/2017.93	o 385369
2036.73/2017.94	o 385368
2036.73/2017.94	o 385367
2036.73/2017.95	o 385268
2036.73/2017.96	o 385267
2036.73/2017.97	o 385169
2036.73/2017.99	o 384267
2036.84/2018.01	o 383977
2036.84/2018.02	o 383968
2036.84/2018.03	o 383967
2036.84/2018.04	o 383966
2036.84/2018.04	o 383965
2036.84/2018.05	o 383964
2036.84/2018.06	o 383866
2036.94/2018.13	o 383857
2036.94/2018.13	o 383856
2036.94/2018.14	o 383855
2036.94/2018.15	o 383854
2036.94/2018.16	o 383074
2036.94/2018.17	o 383073
2036.94/2018.17	o 383072
2036.94/2018.19	o 382974
2037.04/2018.28	o 382280
2037.04/2018.29	o 382279
2037.14/2018.30	o 382278
2037.14/2018.31	o 381520
2037.14/2018.32	o 381519
2037.14/2018.33	o 381508
2037.14/2018.34	o 381498
2037.14/2018.35	o 381398
2037.14/2018.36	o 381378
2037.14/2018.37	o 381300
2037.14/2018.38	o 381298
2037.14/2018.39	o 381245
2037.24/2018.40	o 381244
2037.24/2018.41	o 381243
2037.24/2018.42	o 381165
2037.24/2018.43	o 381067
2037.24/2018.44	o 380189
2037.24/2018.45	o 380187
2037.24/2018.46	o 380186
2037.24/2018.47	o 380076
2037.24/2018.48	o 380075
2037.35/2018.60	o 379376
2037.45/2018.64	o 379076
2037.45/2018.65	o 379075
2037.55/2018.74	o 379074
2037.55/2018.74	o 379073
2037.55/2018.74	o 379071
2037.55/2018.75	o 379070
2037.55/2018.75	o 379069
2037.55/2018.76	o 379068
2037.55/2018.77	o 379067
2037.55/2018.77	o 379057
2037.55/2018.78	o 379056
2037.65/2018.80	o 379055
2037.65/2018.80	o 379054
2037.65/2018.85	o 378043
2037.65/2018.86	o 378033
2037.65/2018.88	o 377976
2037.65/2018.89	o 377955
2037.75/2018.96	o 377866
2037.75/2018.96	o 377865
2037.75/2018.97	o 377864
2037.75/2018.98	o 377845
2037.75/2018.99	o 377843
2039.59/2020.79	o 376973
2039.59/2020.79	o 376963
2039.69/2020.81	o 376921
2039.69/2020.82	o 376845
2039.69/2020.83	o 376843
2039.69/2020.84	o 375846
2039.69/2020.86	o 375829
2039.69/2020.87	o 375827
2039.69/2020.87	o 375825
2039.79/2020.94	o 375110
2039.79/2020.95	o 375068
2039.79/2020.97	o 375049
2039.79/2020.98	o 375047
2039.79/2020.99	o 374947
2039.90/2021.03	o 374945
2040.00/2021.15	o 374869
2040.00/2021.16	o 374868
2040.00/2021.16	o 374867
2040.00/2021.18	o 374866
2040.00/2021.18	o 374865
2040.09/2021.26	o 374846
2040.09/2021.27	o 374844
2040.50/2021.63	o 374835
2040.50/2021.64	o 374834
2040.50/2021.64	o 374833
2068.54/2049.42	o 374287
2068.54/2049.43	o 374245
2068.54/2049.45	o 374224
2068.64/2049.52	o 373925
2068.64/2049.53	o 373924
2068.64/2049.55	o 373913
2069.17/2050.05	o 373888
2069.17/2050.05	o 373887
2069.17/2050.06	o 373886
2069.17/2050.07	o 373844
2069.17/2050.08	o 373823
2115.09/2095.51	o 373698
2115.09/2095.52	o 373697
2115.09/2095.53	o 373696
2115.09/2095.54	o 373654
2115.09/2095.55	o 373556
2115.09/2095.58	o 373368
2115.09/2095.59	o 373268
2115.20/2095.63	o 373267
2115.20/2095.64	o 373266
2115.20/2095.68	o 373259
2115.20/2095.69	o 373258
2115.30/2095.70	o 373257
2115.30/2095.71	o 373255
2115.71/2096.14	o 373111
2115.71/2096.15	o 373110
2115.71/2096.15	o 373109
2115.71/2096.16	o 373067
2115.71/2096.18	o 373065
2117.22/2097.62	o 372988
2117.22/2097.63	o 372946
2117.32/2097.77	o 372945
2117.32/2097.77	o 372944
2149.12/2129.23	o 372925
2149.12/2129.24	o 372924
2149.12/2129.25	o 372923
2175.91/2155.76	o 372922
2175.91/2155.77	o 372912
2175.91/2155.78	o 372812
2175.91/2155.79	o 372811
2176.01/2155.80	o 372711
2176.01/2155.81	o 372710
2176.01/2155.82	o 372709
2176.01/2155.84	o 372610
2176.01/2155.85	o 372520
2176.01/2155.86	o 372519
2176.72/2156.51	o 372434
2176.72/2156.51	o 372424
2176.72/2156.55	o 372423
2176.82/2156.62	o 372254
2176.82/2156.63	o 372244
2176.82/2156.63	o 372243
2176.82/2156.64	o 372233
2176.82/2156.65	o 372223
2176.82/2156.66	o 372213
2176.82/2156.66	o 372212
2176.82/2156.67	o 372202
2176.82/2156.69	o 372192
2176.93/2156.70	o 372191
2176.93/2156.73	o 372190
2176.93/2156.74	o 372189
2177.05/2156.80	o 372179
2177.15/2156.91	o 372173
2177.15/2156.92	o 372172
2177.15/2156.93	o 372171
2177.15/2156.94	o 372170
2177.15/2156.94	o 372160
2177.15/2156.95	o 372159
2178.16/2157.96	o 371921
2178.16/2157.97	o 371821
2178.16/2157.97	o 371721
2178.16/2157.98	o 371711
2178.16/2157.99	o 371710
2178.28/2158.01	o 371601
2178.28/2158.01	o 371600
2178.28/2158.02	o 371500
2178.28/2158.03	o 371400
2178.28/2158.04	o 371300
2178.28/2158.05	o 371200
2178.28/2158.07	o 371199
2178.38/2158.15	o 371190
2178.38/2158.16	o 371189
2186.25/2165.87	o 370972
2186.25/2165.88	o 370971
2186.25/2165.89	o 370970
2186.25/2165.89	o 370870
2186.35/2165.90	o 370860
2186.35/2165.91	o 370760
2186.35/2165.93	o 370752
2186.35/2165.93	o 370751
2186.35/2165.94	o 370750
2186.35/2165.95	o 370740
2186.35/2165.96	o 370731
2186.35/2165.97	o 370631
2186.35/2165.98	o 370630
2186.45/2166.01	o 370608
2186.45/2166.02	o 370508
2186.45/2166.03	o 370409
2186.45/2166.04	o 369918
2186.45/2166.05	o 369908
2186.45/2166.06	o 369808
2186.45/2166.07	o 369709
2186.45/2166.08	o 369700
2186.45/2166.09	o 369399
2186.66/2166.22	o 369390
2186.66/2166.23	o 369389
2186.76/2166.35	o 369299
2186.76/2166.36	o 369289
2187.97/2167.59	o 369288
2188.08/2167.60	o 369188
2188.08/2167.61	o 369089
2188.28/2167.83	o 368989
2189.30/2168.81	o 368761
2189.30/2168.82	o 368751
2189.30/2168.83	o 368651
2189.30/2168.87	o 368650
2189.30/2168.88	o 368649
2189.30/2168.89	o 368639
2189.40/2168.90	o 368629
2189.40/2168.91	o 368619
2189.40/2168.92	o 368618
2189.40/2168.93	o 368519
2189.40/2168.94	o 368509
2189.40/2168.95	o 368288
2189.40/2168.96	o 368278
2189.51/2169.05	o 368178
2193.41/2172.90	o 368078
2193.51/2172.90	o 368068
2193.51/2172.92	o 368058
2193.51/2172.92	o 368048
2193.62/2173.03	o 368047
2193.62/2173.04	o 368037
2197.09/2176.49	o 367620
2197.19/2176.51	o 367610
2197.31/2176.60	o 367608
2197.31/2176.61	o 367508
2197.31/2176.62	o 367498
2197.31/2176.62	o 367488
2197.31/2176.63	o 367388
2197.51/2176.87	o 367387
2203.98/2183.16	o 367186
2203.98/2183.17	o 367086
2204.59/2183.74	o 367077
2204.59/2183.75	o 367076
2205.92/2185.07	o 366967
2205.92/2185.07	o 366966
2390.20/2367.48	o 366914
2390.20/2367.48	o 366913
2390.20/2367.49	o 366692
2390.30/2367.50	o 366592
2390.30/2367.51	o 366392
2390.30/2367.53	o 365392
2390.30/2367.54	o 365192
2390.30/2367.57	o 364393
2390.30/2367.58	o 364382
2390.30/2367.59	o 364282
2390.41/2367.61	o 364182
2390.41/2367.62	o 364172
2390.41/2367.64	o 364062
2390.41/2367.67	o 364056
2390.41/2367.67	o 364045
2390.41/2367.68	o 364035
2390.41/2367.69	o 364025
2390.51/2367.70	o 363915
2390.51/2367.72	o 363715
2390.51/2367.74	o 363713
2390.51/2367.75	o 362743
2390.51/2367.76	o 361743
2390.51/2367.79	o 361731
2390.61/2367.80	o 361631
2390.61/2367.84	o 360761
2390.61/2367.85	o 360751
2390.61/2367.86	o 360741
2390.61/2367.87	o 360721
2390.61/2367.88	o 360621
2390.61/2367.89	o 360602
2390.72/2367.91	o 359742
2390.72/2367.92	o 359741
2390.72/2367.93	o 359721
2390.83/2368.01	o 359059
2390.83/2368.01	o 359058
2390.83/2368.02	o 359038
2390.83/2368.03	o 359018
2390.83/2368.04	o 358909
2390.83/2368.06	o 358818
2390.83/2368.07	o 358709
2391.53/2368.70	o 358640
2391.53/2368.71	o 358639
2391.53/2368.71	o 358619
2391.73/2368.98	o 357859
2391.73/2368.99	o 357858
2391.73/2369.00	o 357838
2391.84/2369.01	o 357828
2391.84/2369.10	o 357719
2392.65/2369.89	o 357640
2392.65/2369.90	o 357639
2392.75/2369.91	o 357619
2393.46/2370.61	o 357609
2426.78/2403.58	o 357598
2426.78/2403.59	o 357498
2426.88/2403.60	o 357399
2426.88/2403.61	o 357299
2426.88/2403.62	o 357209
2426.88/2403.63	o 357199
2426.88/2403.64	o 357189
2426.88/2403.65	o 357099
2426.88/2403.66	o 357089
2426.88/2403.67	o 357083
2426.88/2403.67	o 357082
2427.03/2403.77	o 357081
2427.03/2403.77	o 357080
2427.03/2403.78	o 357079
2427.03/2403.79	o 357069
2427.29/2403.80	o 356979
2427.29/2403.81	o 356969
2427.29/2403.83	o 356968
2427.29/2403.85	o 356958
2427.29/2403.88	o 356870
2427.29/2403.89	o 356850
2427.39/2403.90	o 356849
2427.39/2403.93	o 356839
2427.39/2403.98	o 356759
2427.39/2403.99	o 356749
2428.51/2405.03	o 356744
2428.51/2405.05	o 356733
2428.51/2405.07	o 356732
2428.51/2405.08	o 356731
2428.51/2405.08	o 356721
2428.51/2405.09	o 356711
2428.51/2405.10	o 356710
2428.51/2405.11	o 356700
2428.63/2405.13	o 356691
2428.63/2405.14	o 356690
2428.63/2405.16	o 356670
2428.63/2405.17	o 356660
2428.63/2405.19	o 356640
2428.72/2405.21	o 355872
2428.72/2405.21	o 355772
2428.72/2405.22	o 355761
2428.72/2405.24	o 355640
2440.52/2416.89	o 355631
2440.52/2416.89	o 355521
2440.62/2416.90	o 355421
2440.62/2416.91	o 355321
2440.62/2416.92	o 355242
2440.62/2416.93	o 355222
2440.62/2416.94	o 355212
2440.62/2416.95	o 355202
2440.62/2416.96	o 355192
2440.62/2416.97	o 355092
2440.62/2416.98	o 355091
2440.62/2416.99	o 355081
2440.62/2417.00	o 354960
2520.05/2495.40	s SATISFIABLE
2520.05/2495.41	v <instantiation>
2520.05/2495.41	v 	<list>
2520.05/2495.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] 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] 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] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] 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] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] 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] 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] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] 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]
2520.05/2495.41	v 	</list>
2520.05/2495.41	v 	<values>
2520.05/2495.41	v 		16 254 30 268 680 442 72 310 526 764 380 142 114 352 170 408 792 554 128 366 554 792 352 114 16 254 708 470 414 652 58 296 16 254 694 456 338 100 30 268 282 44 694 456 470 708 778 540 16 254 58 296 240 478 694 456 554 792 792 554 666 428 498 736 722 484 156 394 324 86 86 324 792 554 680 442 44 282 30 268 100 338 680 442 142 380 428 666 240 478 394 156 44 282 338 100 338 100 792 554 408 170 792 554 16 254 254 16 100 338 268 30 792 554 764 526 128 366 58 296 764 526 380 142 652 414 498 736 792 554 652 414 30 268 240 478 680 442 16 254 526 764 16 254 428 666 708 470 680 442 254 16 114 352 352 114 58 296 540 778 44 282 72 310 86 324 792 554 554 792 156 394 282 44 254 16 142 380 792 554 282 44 394 156 380 142 736 498 142 380 708 470 722 484 512 750 366 128 736 498 352 114 16 254 72 310 792 554 86 324 554 792 478 240 470 708 282 44 736 498 352 114 16 254 100 338 652 414 254 16 16 254 44 282 72 310 694 456 750 512 282 44 324 86 414 652 268 30 86 324 778 540 86 324 554 792 16 254 512 750 526 764 394 156 16 254 666 428 394 156 296 58 792 554 44 282 792 554 792 554 114 352 708 470 324 86 792 554 142 380 394 156 156 394 128 366 240 478 16 254 142 380 680 442 792 554 764 526 352 114 736 498 652 414 128 366 156 394 16 254 792 554 792 554 380 142 778 540 428 666 16 254 380 142 16 254 170 408 380 142 428 666 666 428 16 254 484 722 282 44 456 694 338 100 114 352 142 380 540 778 792 554 442 680 512 750 324 86 512 750 512 750 380 142 30 268 456 694 394 156 736 498 750 512 778 540 736 498 484 722 526 764 352 114 30 268 240 478 86 324 44 282 16 254 352 114 296 58 366 128 268 30 44 282 792 554 16 254 792 554 254 16 470 708 554 792 254 16 44 282 484 722 30 268 792 554 414 652 142 380 408 170 764 526 498 736 268 30 240 478 750 512 324 86 652 414 764 526 156 394 478 240 44 282 736 498 792 554 240 478 380 142 708 470 156 394 240 478 86 324 16 254 156 394 736 498 352 114 722 484 58 296 666 428 498 736 792 554 540 778 792 554 554 792 694 456 16 254 16 254 792 554 16 254 254 16 484 722 764 526 414 652 750 512 352 114 428 666 764 526 100 338 442 680 408 170 708 470 442 680 792 554 512 750 778 540 666 428 16 254 296 58 414 652 44 282 16 254 254 16 100 338 428 666 456 694 554 792 268 30 170 408 428 666 652 414 540 778 142 380 736 498 478 240 254 16 352 114 792 554 470 708 366 128 142 380 778 540 736 498 324 86 526 764 16 254 282 44 792 554 778 540 666 428 16 254 142 380 778 540 792 554 170 408 750 512 470 708 268 30 652 414 722 484 778 540 380 142 72 310 428 666 736 498 380 142 380 142 366 128 722 484 86 324 778 540 792 554 750 512 554 792 310 72 16 254 16 254 142 380 16 254 652 414 170 408 254 16 428 666 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 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 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 0 0 1000 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 1000 1000 0 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 1000 1000 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 0 1000 0 0 1000 0 0 0 1000 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 1000 1000 0 100 0 100 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 100 100 0 100 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 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 100 0 100 0 100 100 0 100 100 100 100 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 100 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 100 0 100 100 0 100 100 0 0 100 0 0 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 0 0 100 100 0 0 0 0 100 100 0 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 0 0 100 100 100 0 100 100 0 0 100 0 0 100 100 100 100 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 100 100 0 100 100 100 0 100 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 100 0 0 100 0 100 100 100 100 100 0 0 100 0 0 0 100 0 0 100 100 100 100 0 100 100 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 100 100 100 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 100 100 100 0 100 100 100 100 100 0 0 100 0 0 100 0 0 100 0 100 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 0 100 100 100 0 100 100 0 0 100 0 0 0 100 0 0 100 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 0 0 0 0 100 100 100 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 100 100 0 0 100 0 0 100 100 100 0 100 100 100 0 100 100 100 0 100 100 0 0 0 100 100 0 100 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 0 0 100 100 0 0 0 0 0 100 100 0 0 0 100 0 0 100 100 100 100 100 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 0 100 100 0 100 0 100 100 0 0 100 0 100 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 100 100 0 100 100 0 0 100 0 0 0 100 0 100 0 100 100 100 0 0 100 100 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 100 100 0 0 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 100 0 100 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 100 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 0 10 0 0 10 0 10 10 10 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 10 10 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 0 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 10 0 0 10 10 0 10 0 0 10 0 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 10 10 0 10 0 10 10 0 10 10 0 10 10 0 10 0 10 10 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 10 0 10 0 10 10 0 10 0 10 10 10 0 10 0 0 10 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 0 10 10 10 0 10 10 0 0 0 10 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 10 0 10 0 10 10 0 0 10 0 10 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 0 0 10 10 10 0 10 0 10 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 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 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 
2520.05/2495.41	v 	</values>
2520.05/2495.41	v </instantiation>

Verifier Data 

OK	354960

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

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

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

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

solver pid=20572, runsolver pid=20569

[startup+0.100084 s]*
/proc/loadavg: 1.25 1.45 1.42 3/215 20587
/proc/meminfo: memFree=22701124/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14082736 memory=30488 CPUtime=0.12 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 6542 0 0 0 11 1 0 0 20 0 15 0 272190241 14420721664 7622 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3520684 7622 3153 1 0 3482761 0
[pid=20572/tid=20574] ppid=20569 vsize=14082736 memory=-8773748148829851007 CPUtime=0.09 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 4585 0 0 0 8 1 0 0 20 0 15 0 272190241 14420721664 7622 33554432000 4194304 4196468 140727593302256 140006362482976 140006342358366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 7622 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 7622 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 7622 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272190243 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005539022368 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005537969520 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 272190246 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0.01 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 272190246 14420721664 7622 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 7622 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 7622 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30488 KiB

[startup+0.216149 s]*
/proc/loadavg: 1.25 1.45 1.42 5/215 20587
/proc/meminfo: memFree=22685464/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14082736 memory=47352 CPUtime=0.32 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 10420 0 0 0 30 2 0 0 20 0 15 0 272190241 14420721664 11838 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3520684 11838 3368 1 0 3482761 0
[pid=20572/tid=20574] ppid=20569 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 8095 0 0 0 19 2 0 0 20 0 15 0 272190241 14420721664 11838 33554432000 4194304 4196468 140727593302256 140006362504192 140006342358366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 11838 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14082736 memory=139952483651897 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 11838 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 11838 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272190243 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005539022368 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005537969520 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 272190246 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 272190246 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0.06 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) R 20569 20572 19594 0 -1 4202560 333 0 0 0 6 0 0 0 20 0 15 0 272190246 14420721664 11838 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 11838 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 11838 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47352 KiB

[startup+0.310367 s]*
/proc/loadavg: 1.25 1.45 1.42 4/215 20587
/proc/meminfo: memFree=22681672/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14082736 memory=50896 CPUtime=0.44 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 10790 0 0 0 41 3 0 0 20 0 15 0 272190241 14420721664 12724 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3520684 12724 3414 1 0 3482761 0
[pid=20572/tid=20574] ppid=20569 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 8428 0 0 0 28 2 0 0 20 0 15 0 272190241 14420721664 12724 33554432000 4194304 4196468 140727593302256 140006362487232 140006338553221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14082736 memory=4294977871 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 12724 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14082736 memory=139952483654498 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 12724 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 12724 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272190242 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272190243 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005539022368 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272190244 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005537969520 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 272190246 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 272190246 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0.08 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 351 0 0 0 8 0 0 0 20 0 15 0 272190246 14420721664 12724 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 12724 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14082736 memory=139952482162304 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190247 14420721664 12724 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50896 KiB

[startup+0.700693 s]
/proc/loadavg: 1.25 1.45 1.42 3/215 20587
/proc/meminfo: memFree=22657860/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14084804 memory=88732 CPUtime=0.98 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 17632 0 0 0 93 5 0 0 20 0 15 0 272190241 14422839296 22183 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3521201 22183 3497 1 0 3483273 0
[pid=20572/tid=20574] ppid=20569 vsize=14084804 memory=228338513765314 CPUtime=0.67 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 14869 0 0 0 63 4 0 0 20 0 15 0 272190241 14422839296 22183 33554432000 4194304 4196468 140727593302256 140006362492784 140006342358366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14084804 memory=1477454 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14422839296 22183 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14422839296 22183 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190242 14422839296 22183 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272190242 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272190243 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272190244 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005539022368 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272190244 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005537969520 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14084804 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 629 0 0 0 7 0 0 0 20 0 15 0 272190246 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 272190246 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 439 0 0 0 14 0 0 0 20 0 15 0 272190246 14422839296 22183 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14422839296 22183 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14084804 memory=15764 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272190247 14422839296 22183 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88732 KiB

[startup+1.5052 s]
/proc/loadavg: 1.25 1.45 1.42 5/215 20587
/proc/meminfo: memFree=22597672/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14088900 memory=219720 CPUtime=3.43 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 24477 0 0 0 333 10 0 0 20 0 15 0 272190241 14427033600 54930 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3522225 54930 3555 1 0 3484297 0
[pid=20572/tid=20574] ppid=20569 vsize=14088900 memory=10803 CPUtime=1.45 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) S 20569 20572 19594 0 -1 1077944384 17176 0 0 0 138 7 0 0 20 0 15 0 272190241 14427033600 54930 33554432000 4194304 4196468 140727593302256 140006362512000 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14088900 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 272190242 14427033600 54930 33554432000 4194304 4196468 140727593302256 140006273346208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272190242 14427033600 54930 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) R 20569 20572 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272190242 14427033600 54930 33554432000 4194304 4196468 140727593302256 140006271240672 140006358288085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14088900 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 272190242 14427033600 54930 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 272190243 14427033600 54930 33554432000 4194304 4196468 140727593302256 140005540074912 140006358288085 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0

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

/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 79273 0 0 0 231308 49 0 0 20 0 15 0 272190241 14429130752 405687 33554432000 4194304 4196468 140727593302256 140006362515808 140005964184459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14090948 memory=1623776 CPUtime=5 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 16269 0 0 0 477 23 0 0 20 0 15 0 272190242 14429130752 405687 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14090948 memory=5795677876532695138 CPUtime=4.95 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 16839 0 0 0 472 23 0 0 20 0 15 0 272190242 14429130752 405687 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14090948 memory=1623780 CPUtime=4.97 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 21120 0 0 0 471 26 0 0 20 0 15 0 272190242 14429130752 405687 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14090948 memory=1624288 CPUtime=4.99 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 17182 0 0 0 476 23 0 0 20 0 15 0 272190242 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14090948 memory=1623776 CPUtime=1.94 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 15045 0 0 0 175 19 0 0 20 0 15 0 272190243 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14090948 memory=1623776 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005539022432 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14090948 memory=1623264 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005537969536 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14090948 memory=1622748 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14090948 memory=1622748 CPUtime=3.53 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 14979 0 0 0 351 2 0 0 20 0 15 0 272190246 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14090948 memory=6468 CPUtime=3.6 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 12179 0 0 0 358 2 0 0 20 0 15 0 272190246 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14090948 memory=1096 CPUtime=1.15 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 22195 0 0 0 113 2 0 0 20 0 15 0 272190246 14429130752 405687 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14090948 memory=1623264 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14429130752 405687 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14090948 memory=3808 CPUtime=0.88 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1532 0 0 0 43 45 0 0 20 0 15 0 272190247 14429130752 405687 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 2344.68 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1622748 KiB

[startup+2382.3 s]
/proc/loadavg: 1.35 1.37 1.41 3/216 20765
/proc/meminfo: memFree=21643812/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14090948 memory=1603228 CPUtime=2405.3 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 220403 0 0 0 240330 200 0 0 20 0 15 0 272190241 14429130752 400807 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3522737 400807 3596 1 0 3484809 0
[pid=20572/tid=20574] ppid=20569 vsize=14090948 memory=924 CPUtime=2373.25 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 80169 0 0 0 237275 50 0 0 20 0 15 0 272190241 14429130752 400807 33554432000 4194304 4196468 140727593302256 140006362515680 140005963643108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14090948 memory=3114 CPUtime=5.21 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 16480 0 0 0 497 24 0 0 20 0 15 0 272190242 14429130752 400807 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14090948 memory=1253 CPUtime=5.16 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 17006 0 0 0 493 23 0 0 20 0 15 0 272190242 14429130752 400807 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14090948 memory=1613504 CPUtime=5.19 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 21366 0 0 0 492 27 0 0 20 0 15 0 272190242 14429130752 400807 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14090948 memory=1619668 CPUtime=5.19 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 17665 0 0 0 496 23 0 0 20 0 15 0 272190242 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14090948 memory=15764 CPUtime=2.01 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 15360 0 0 0 181 20 0 0 20 0 15 0 272190243 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14090948 memory=4244 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005539022432 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14090948 memory=1606820 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005537969536 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14090948 memory=3808 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14090948 memory=1605280 CPUtime=3.53 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 14983 0 0 0 351 2 0 0 20 0 15 0 272190246 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14090948 memory=1605792 CPUtime=3.6 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 12183 0 0 0 358 2 0 0 20 0 15 0 272190246 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14090948 memory=1603740 CPUtime=1.15 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 22199 0 0 0 113 2 0 0 20 0 15 0 272190246 14429130752 400807 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14090948 memory=3808 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14429130752 400807 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14090948 memory=3808 CPUtime=0.9 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1551 0 0 0 44 46 0 0 20 0 15 0 272190247 14429130752 400807 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 2405.3 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1603228 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.35 1.40 3/216 20766
/proc/meminfo: memFree=21740248/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14090948 memory=1497660 CPUtime=2466.42 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 225412 0 0 0 246437 205 0 0 20 0 15 0 272190241 14429130752 374415 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3522737 374415 3609 1 0 3484809 0
[pid=20572/tid=20574] ppid=20569 vsize=14090948 memory=1497660 CPUtime=2432.73 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 81193 0 0 0 243223 50 0 0 20 0 15 0 272190241 14429130752 374415 33554432000 4194304 4196468 140727593302256 140006362515744 140005964184672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14090948 memory=1502788 CPUtime=5.58 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 16660 0 0 0 534 24 0 0 20 0 15 0 272190242 14429130752 374415 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14090948 memory=1501252 CPUtime=5.55 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 17628 0 0 0 531 24 0 0 20 0 15 0 272190242 14429130752 374415 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14090948 memory=1497660 CPUtime=5.57 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 21905 0 0 0 529 28 0 0 20 0 15 0 272190242 14429130752 374415 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14090948 memory=1560196 CPUtime=5.58 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 18187 0 0 0 534 24 0 0 20 0 15 0 272190242 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14090948 memory=1501252 CPUtime=2.1 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 17417 0 0 0 189 21 0 0 20 0 15 0 272190243 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14090948 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005539022432 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14090948 memory=6476 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005537969536 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14090948 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14090948 memory=1530456 CPUtime=3.53 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 14985 0 0 0 351 2 0 0 20 0 15 0 272190246 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14090948 memory=1514076 CPUtime=3.6 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 12185 0 0 0 358 2 0 0 20 0 15 0 272190246 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14090948 memory=1502276 CPUtime=1.16 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 22235 0 0 0 114 2 0 0 20 0 15 0 272190246 14429130752 374415 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14090948 memory=1502276 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14429130752 374415 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14090948 memory=1501252 CPUtime=0.92 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1576 0 0 0 45 47 0 0 20 0 15 0 272190247 14429130752 374415 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 2466.42 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1497660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.4 s]
/proc/loadavg: 1.37 1.35 1.40 3/216 20767
/proc/meminfo: memFree=21772232/32770624 swapFree=67108792/67108860
[pid=20572] ppid=20569 vsize=14090948 memory=1461264 CPUtime=2520.05 cores=0,2,4,6
/proc/20572/stat : 20572 (java) S 20569 20572 19594 0 -1 1077944320 226818 0 0 0 251797 208 0 0 20 0 15 0 272190241 14429130752 365316 33554432000 4194304 4196468 140727593302256 140727593284800 140006358277879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
/proc/20572/statm: 3522737 365316 3613 1 0 3484809 0
[pid=20572/tid=20574] ppid=20569 vsize=14090948 memory=3984 CPUtime=2485.49 cores=0,2,4,6
/proc/20572/task/20574/stat : 20574 (java) R 20569 20572 19594 0 -1 4202560 81948 0 0 0 248499 50 0 0 20 0 15 0 272190241 14429130752 365316 33554432000 4194304 4196468 140727593302256 140006362515760 140005963850897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20575] ppid=20569 vsize=14090948 memory=1916 CPUtime=5.78 cores=0,2,4,6
/proc/20572/task/20575/stat : 20575 (java) S 20569 20572 19594 0 -1 1077944384 16770 0 0 0 553 25 0 0 20 0 15 0 272190242 14429130752 365316 33554432000 4194304 4196468 140727593302256 140006273346192 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20576] ppid=20569 vsize=14090948 memory=7892 CPUtime=5.73 cores=0,2,4,6
/proc/20572/task/20576/stat : 20576 (java) S 20569 20572 19594 0 -1 1077944384 17656 0 0 0 549 24 0 0 20 0 15 0 272190242 14429130752 365316 33554432000 4194304 4196468 140727593302256 140006272293392 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20577] ppid=20569 vsize=14090948 memory=2168 CPUtime=5.76 cores=0,2,4,6
/proc/20572/task/20577/stat : 20577 (java) S 20569 20572 19594 0 -1 1077944384 22025 0 0 0 548 28 0 0 20 0 15 0 272190242 14429130752 365316 33554432000 4194304 4196468 140727593302256 140006271240592 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20578] ppid=20569 vsize=14090948 memory=1748 CPUtime=5.77 cores=0,2,4,6
/proc/20572/task/20578/stat : 20578 (java) S 20569 20572 19594 0 -1 1077944384 18379 0 0 0 553 24 0 0 20 0 15 0 272190242 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005951400208 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20579] ppid=20569 vsize=14090948 memory=1620 CPUtime=2.18 cores=0,2,4,6
/proc/20572/task/20579/stat : 20579 (java) S 20569 20572 19594 0 -1 1077944384 17597 0 0 0 196 22 0 0 20 0 15 0 272190243 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005540076400 140006358289026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20580] ppid=20569 vsize=14090948 memory=4512 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20580/stat : 20580 (java) S 20569 20572 19594 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005539022432 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20581] ppid=20569 vsize=14090948 memory=3668 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20581/stat : 20581 (java) S 20569 20572 19594 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 272190244 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005537969536 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20582] ppid=20569 vsize=14090948 memory=8520 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20582/stat : 20582 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190246 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005536917840 140006358296475 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20583] ppid=20569 vsize=14090948 memory=1264 CPUtime=3.53 cores=0,2,4,6
/proc/20572/task/20583/stat : 20583 (java) S 20569 20572 19594 0 -1 1077944384 14988 0 0 0 351 2 0 0 20 0 15 0 272190246 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005535865200 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20584] ppid=20569 vsize=14090948 memory=6576 CPUtime=3.6 cores=0,2,4,6
/proc/20572/task/20584/stat : 20584 (java) S 20569 20572 19594 0 -1 1077944384 12187 0 0 0 358 2 0 0 20 0 15 0 272190246 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005534812400 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20585] ppid=20569 vsize=14090948 memory=748 CPUtime=1.16 cores=0,2,4,6
/proc/20572/task/20585/stat : 20585 (java) S 20569 20572 19594 0 -1 1077944384 22237 0 0 0 114 2 0 0 20 0 15 0 272190246 14429130752 365316 33554432000 4194304 4196468 140727593302256 140005533759600 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20586] ppid=20569 vsize=14090948 memory=872 CPUtime=0 cores=0,2,4,6
/proc/20572/task/20586/stat : 20586 (java) S 20569 20572 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272190247 14429130752 365316 33554432000 4194304 4196468 140727593302256 140004889024736 140006358288085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
[pid=20572/tid=20587] ppid=20569 vsize=14090948 memory=1220 CPUtime=0.95 cores=0,2,4,6
/proc/20572/task/20587/stat : 20587 (java) S 20569 20572 19594 0 -1 1077944384 1590 0 0 0 46 49 0 0 20 0 15 0 272190247 14429130752 365316 33554432000 4194304 4196468 140727593302256 140004887973040 140006358289026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 54 0 0 6293624 6294260 27537408 140727593309257 140727593309449 140727593309449 140727593312207 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1461264 KiB

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

[startup+2495.43 s]
# the end of solver process 20572 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518 s, system=2.09533 s

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

Child status: 143
Real time (s): 2495.43
CPU time (s): 2520.1
CPU user time (s): 2518
CPU system time (s): 2.09533
CPU usage (%): 100.989
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 2245984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518
system time used= 2.09533
maximum resident set size= 2266540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110655
involuntary context switches= 5774


# summary of solver processes directly reported to runsolver:
#   pid: 20572
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518
#   total CPU system time (s): 2.09533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4204 second user time and 24.6553 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-18 00:51:10
IDJOB=4312031
IDBENCH=141195
IDSOLVER=2799
FILE ID=node150/4312031-1534546270
RUNJOBID= node150-1534541038-19625
PBS_JOBID= 21038629
Free space on /tmp= 48188 MiB

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

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=999867702

node150.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.76
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.76
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.76
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.76
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:        22719700 kB
MemAvailable:   31197556 kB
Buffers:          182828 kB
Cached:          8555040 kB
SwapCached:            0 kB
Active:          5371816 kB
Inactive:        4111116 kB
Active(anon):     721596 kB
Inactive(anon):    92016 kB
Active(file):    4650220 kB
Inactive(file):  4019100 kB
Unevictable:        7708 kB
Mlocked:            7708 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             35936 kB
Writeback:             0 kB
AnonPages:        905820 kB
Mapped:            32160 kB
Shmem:             66116 kB
Slab:             265692 kB
SReclaimable:     236996 kB
SUnreclaim:        28696 kB
KernelStack:        3792 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1915628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    759808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 48152 MiB
End job on node150 at 2018-08-18 01:32:45